runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051233/aspcud-trendy-1.2/large2.cudf.cudf_set.log.runsolver ./aspcud-trendy-1.2 /home/misc2010/data/2010/cudf_set/large2.cudf /home/misc2010/tmp/201007051233/aspcud-trendy-1.2/large2.cudf.cudf_set.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 5/36 7904 /proc/meminfo: memFree=843836/1048576 swapFree=2092224/2097144 [pid=7904] ppid=7903 vsize=4528 CPUtime=0.01 /proc/7904/stat : 7904 (aspcud-trendy-1) R 7903 7904 3447 769 3447 4202496 927 0 0 0 1 0 0 0 25 0 1 0 527077761 4636672 791 1283457024 134512640 135539072 4290016848 18446744073709551615 4159409822 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/7904/statm: 1132 791 383 251 0 406 0 [startup+0.215716 s] /proc/loadavg: 1.00 1.00 1.00 5/36 7904 /proc/meminfo: memFree=843836/1048576 swapFree=2092224/2097144 [pid=7904] ppid=7903 vsize=4592 CPUtime=0.12 /proc/7904/stat : 7904 (aspcud-trendy-1) S 7903 7904 3447 769 3447 4202496 1218 744 0 0 1 0 8 3 25 0 1 0 527077761 4702208 843 1283457024 134512640 135539072 4290016848 18446744073709551615 4160189358 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/7904/statm: 1148 843 404 251 0 406 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 4592 [startup+0.315723 s] /proc/loadavg: 1.00 1.00 1.00 5/36 7904 /proc/meminfo: memFree=843836/1048576 swapFree=2092224/2097144 [pid=7904] ppid=7903 vsize=4592 CPUtime=0.12 /proc/7904/stat : 7904 (aspcud-trendy-1) S 7903 7904 3447 769 3447 4202496 1218 744 0 0 1 0 8 3 25 0 1 0 527077761 4702208 843 1283457024 134512640 135539072 4290016848 18446744073709551615 4160189358 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/7904/statm: 1148 843 404 251 0 406 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 4592 [startup+0.415738 s] /proc/loadavg: 1.00 1.00 1.00 5/36 7904 /proc/meminfo: memFree=843836/1048576 swapFree=2092224/2097144 [pid=7904] ppid=7903 vsize=4592 CPUtime=0.12 /proc/7904/stat : 7904 (aspcud-trendy-1) S 7903 7904 3447 769 3447 4202496 1218 744 0 0 1 0 8 3 25 0 1 0 527077761 4702208 843 1283457024 134512640 135539072 4290016848 18446744073709551615 4160189358 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/7904/statm: 1148 843 404 251 0 406 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 4592 [startup+0.715768 s] /proc/loadavg: 1.00 1.00 1.00 5/36 7904 /proc/meminfo: memFree=843836/1048576 swapFree=2092224/2097144 [pid=7904] ppid=7903 vsize=4592 CPUtime=0.12 /proc/7904/stat : 7904 (aspcud-trendy-1) S 7903 7904 3447 769 3447 4202496 1218 744 0 0 1 0 8 3 25 0 1 0 527077761 4702208 843 1283457024 134512640 135539072 4290016848 18446744073709551615 4160189358 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/7904/statm: 1148 843 404 251 0 406 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 4592 [startup+1.51588 s] /proc/loadavg: 1.00 1.00 1.00 2/39 7908 /proc/meminfo: memFree=840240/1048576 swapFree=2092224/2097144 [pid=7904] ppid=7903 vsize=4592 CPUtime=0.12 /proc/7904/stat : 7904 (aspcud-trendy-1) S 7903 7904 3447 769 3447 4202496 1218 744 0 0 1 0 8 3 25 0 1 0 527077761 4702208 843 1283457024 134512640 135539072 4290016848 18446744073709551615 4160189358 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/7904/statm: 1148 843 404 251 0 406 0 [pid=7907] ppid=7904 vsize=4352 CPUtime=1.38 /proc/7907/stat : 7907 (bingo) R 7904 7904 3447 769 3447 4202496 1024 0 0 0 137 1 0 0 25 0 1 0 527077774 4456448 727 1283457024 134512640 136195415 4294212272 18446744073709551615 134701828 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/7907/statm: 1088 727 220 411 0 675 0 [pid=7908] ppid=7904 vsize=2532 CPUtime=0 /proc/7908/stat : 7908 (clasp) S 7904 7904 3447 769 3447 4202496 543 0 0 0 0 0 0 0 24 0 1 0 527077776 2592768 380 1283457024 134512640 136080129 4294103680 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/7908/statm: 633 380 144 383 0 248 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 11476 [startup+3.10621 s] /proc/loadavg: 1.00 1.00 1.00 2/39 7908 /proc/meminfo: memFree=840240/1048576 swapFree=2092224/2097144 [pid=7904] ppid=7903 vsize=4592 CPUtime=0.12 /proc/7904/stat : 7904 (aspcud-trendy-1) S 7903 7904 3447 769 3447 4202496 1218 744 0 0 1 0 8 3 25 0 1 0 527077761 4702208 843 1283457024 134512640 135539072 4290016848 18446744073709551615 4160189358 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/7904/statm: 1148 843 404 251 0 406 0 [pid=7907] ppid=7904 vsize=4352 CPUtime=2.97 /proc/7907/stat : 7907 (bingo) R 7904 7904 3447 769 3447 4202496 1024 0 0 0 296 1 0 0 25 0 1 0 527077774 4456448 727 1283457024 134512640 136195415 4294212272 18446744073709551615 135604619 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/7907/statm: 1088 727 220 411 0 675 0 [pid=7908] ppid=7904 vsize=2532 CPUtime=0 /proc/7908/stat : 7908 (clasp) S 7904 7904 3447 769 3447 4202496 543 0 0 0 0 0 0 0 24 0 1 0 527077776 2592768 380 1283457024 134512640 136080129 4294103680 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/7908/statm: 633 380 144 383 0 248 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11476 [startup+6.30672 s] /proc/loadavg: 1.00 1.00 1.00 2/39 7908 /proc/meminfo: memFree=840116/1048576 swapFree=2092224/2097144 [pid=7904] ppid=7903 vsize=4592 CPUtime=0.12 /proc/7904/stat : 7904 (aspcud-trendy-1) S 7903 7904 3447 769 3447 4202496 1218 744 0 0 1 0 8 3 25 0 1 0 527077761 4702208 843 1283457024 134512640 135539072 4290016848 18446744073709551615 4160189358 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/7904/statm: 1148 843 404 251 0 406 0 [pid=7907] ppid=7904 vsize=4352 CPUtime=6.17 /proc/7907/stat : 7907 (bingo) R 7904 7904 3447 769 3447 4202496 1024 0 0 0 616 1 0 0 25 0 1 0 527077774 4456448 727 1283457024 134512640 136195415 4294212272 18446744073709551615 134775332 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/7907/statm: 1088 727 220 411 0 675 0 [pid=7908] ppid=7904 vsize=2532 CPUtime=0 /proc/7908/stat : 7908 (clasp) S 7904 7904 3447 769 3447 4202496 543 0 0 0 0 0 0 0 24 0 1 0 527077776 2592768 380 1283457024 134512640 136080129 4294103680 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/7908/statm: 633 380 144 383 0 248 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11476 [startup+12.7083 s] /proc/loadavg: 1.00 1.00 1.00 2/39 7908 /proc/meminfo: memFree=840116/1048576 swapFree=2092224/2097144 [pid=7904] ppid=7903 vsize=4592 CPUtime=0.12 /proc/7904/stat : 7904 (aspcud-trendy-1) S 7903 7904 3447 769 3447 4202496 1218 744 0 0 1 0 8 3 25 0 1 0 527077761 4702208 843 1283457024 134512640 135539072 4290016848 18446744073709551615 4160189358 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/7904/statm: 1148 843 404 251 0 406 0 [pid=7907] ppid=7904 vsize=4352 CPUtime=12.56 /proc/7907/stat : 7907 (bingo) R 7904 7904 3447 769 3447 4202496 1024 0 0 0 1255 1 0 0 25 0 1 0 527077774 4456448 727 1283457024 134512640 136195415 4294212272 18446744073709551615 134652545 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/7907/statm: 1088 727 220 411 0 675 0 [pid=7908] ppid=7904 vsize=2532 CPUtime=0 /proc/7908/stat : 7908 (clasp) S 7904 7904 3447 769 3447 4202496 543 0 0 0 0 0 0 0 24 0 1 0 527077776 2592768 380 1283457024 134512640 136080129 4294103680 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/7908/statm: 633 380 144 383 0 248 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 11476 [startup+25.5112 s] /proc/loadavg: 1.00 1.00 1.00 2/39 7908 /proc/meminfo: memFree=840116/1048576 swapFree=2092224/2097144 [pid=7904] ppid=7903 vsize=4592 CPUtime=0.12 /proc/7904/stat : 7904 (aspcud-trendy-1) S 7903 7904 3447 769 3447 4202496 1218 744 0 0 1 0 8 3 25 0 1 0 527077761 4702208 843 1283457024 134512640 135539072 4290016848 18446744073709551615 4160189358 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/7904/statm: 1148 843 404 251 0 406 0 [pid=7907] ppid=7904 vsize=4352 CPUtime=25.34 /proc/7907/stat : 7907 (bingo) R 7904 7904 3447 769 3447 4202496 1024 0 0 0 2533 1 0 0 25 0 1 0 527077774 4456448 727 1283457024 134512640 136195415 4294212272 18446744073709551615 134652879 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/7907/statm: 1088 727 220 411 0 675 0 [pid=7908] ppid=7904 vsize=2532 CPUtime=0 /proc/7908/stat : 7908 (clasp) S 7904 7904 3447 769 3447 4202496 543 0 0 0 0 0 0 0 24 0 1 0 527077776 2592768 380 1283457024 134512640 136080129 4294103680 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/7908/statm: 633 380 144 383 0 248 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 11476 [startup+51.1069 s] /proc/loadavg: 1.00 1.00 1.00 2/39 7908 /proc/meminfo: memFree=840116/1048576 swapFree=2092224/2097144 [pid=7904] ppid=7903 vsize=4592 CPUtime=0.12 /proc/7904/stat : 7904 (aspcud-trendy-1) S 7903 7904 3447 769 3447 4202496 1218 744 0 0 1 0 8 3 25 0 1 0 527077761 4702208 843 1283457024 134512640 135539072 4290016848 18446744073709551615 4160189358 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/7904/statm: 1148 843 404 251 0 406 0 [pid=7907] ppid=7904 vsize=4352 CPUtime=50.94 /proc/7907/stat : 7907 (bingo) R 7904 7904 3447 769 3447 4202496 1025 0 0 0 5093 1 0 0 25 0 1 0 527077774 4456448 728 1283457024 134512640 136195415 4294212272 18446744073709551615 135604580 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/7907/statm: 1088 728 220 411 0 675 0 [pid=7908] ppid=7904 vsize=2532 CPUtime=0 /proc/7908/stat : 7908 (clasp) S 7904 7904 3447 769 3447 4202496 543 0 0 0 0 0 0 0 24 0 1 0 527077776 2592768 380 1283457024 134512640 136080129 4294103680 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/7908/statm: 633 380 144 383 0 248 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 11476 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/39 7908 /proc/meminfo: memFree=839992/1048576 swapFree=2092224/2097144 [pid=7904] ppid=7903 vsize=4592 CPUtime=0.12 /proc/7904/stat : 7904 (aspcud-trendy-1) S 7903 7904 3447 769 3447 4202496 1218 744 0 0 1 0 8 3 25 0 1 0 527077761 4702208 843 1283457024 134512640 135539072 4290016848 18446744073709551615 4160189358 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/7904/statm: 1148 843 404 251 0 406 0 [pid=7907] ppid=7904 vsize=4352 CPUtime=102.11 /proc/7907/stat : 7907 (bingo) R 7904 7904 3447 769 3447 4202496 1026 0 0 0 10210 1 0 0 25 0 1 0 527077774 4456448 729 1283457024 134512640 136195415 4294212272 18446744073709551615 135604544 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/7907/statm: 1088 729 220 411 0 675 0 [pid=7908] ppid=7904 vsize=2664 CPUtime=0 /proc/7908/stat : 7908 (clasp) S 7904 7904 3447 769 3447 4202496 551 0 0 0 0 0 0 0 18 0 1 0 527077776 2727936 388 1283457024 134512640 136080129 4294103680 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/7908/statm: 666 388 144 383 0 281 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 11608 [startup+162.313 s] /proc/loadavg: 1.00 1.00 1.00 2/39 7908 /proc/meminfo: memFree=838884/1048576 swapFree=2092224/2097144 [pid=7904] ppid=7903 vsize=4592 CPUtime=0.12 /proc/7904/stat : 7904 (aspcud-trendy-1) S 7903 7904 3447 769 3447 4202496 1218 744 0 0 1 0 8 3 18 0 1 0 527077761 4702208 843 1283457024 134512640 135539072 4290016848 18446744073709551615 4160189358 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/7904/statm: 1148 843 404 251 0 406 0 [pid=7907] ppid=7904 vsize=0 CPUtime=135.29 /proc/7907/stat : 7907 (bingo) Z 7904 7904 3447 769 3447 4202508 4250 0 0 0 13528 1 0 0 25 0 1 0 527077774 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/7907/statm: 0 0 0 0 0 0 0 [pid=7908] ppid=7904 vsize=5716 CPUtime=26.77 /proc/7908/stat : 7908 (clasp) R 7904 7904 3447 769 3447 4202496 1415 0 0 0 2677 0 0 0 25 0 1 0 527077776 5853184 1217 1283457024 134512640 136080129 4294103680 18446744073709551615 134849659 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/7908/statm: 1429 1217 187 383 0 1044 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 10308 [startup+222.306 s] /proc/loadavg: 1.00 1.00 1.00 2/39 7908 /proc/meminfo: memFree=837396/1048576 swapFree=2092224/2097144 [pid=7904] ppid=7903 vsize=4592 CPUtime=0.12 /proc/7904/stat : 7904 (aspcud-trendy-1) S 7903 7904 3447 769 3447 4202496 1218 744 0 0 1 0 8 3 18 0 1 0 527077761 4702208 843 1283457024 134512640 135539072 4290016848 18446744073709551615 4160189358 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/7904/statm: 1148 843 404 251 0 406 0 [pid=7907] ppid=7904 vsize=0 CPUtime=135.29 /proc/7907/stat : 7907 (bingo) Z 7904 7904 3447 769 3447 4202508 4250 0 0 0 13528 1 0 0 25 0 1 0 527077774 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/7907/statm: 0 0 0 0 0 0 0 [pid=7908] ppid=7904 vsize=7216 CPUtime=86.74 /proc/7908/stat : 7908 (clasp) R 7904 7904 3447 769 3447 4202496 1783 0 0 0 8674 0 0 0 25 0 1 0 527077776 7389184 1585 1283457024 134512640 136080129 4294103680 18446744073709551615 134850025 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/7908/statm: 1804 1585 187 383 0 1419 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 11808 [startup+282.31 s] /proc/loadavg: 1.00 1.00 1.00 2/39 7908 /proc/meminfo: memFree=836404/1048576 swapFree=2092224/2097144 [pid=7904] ppid=7903 vsize=4592 CPUtime=0.12 /proc/7904/stat : 7904 (aspcud-trendy-1) S 7903 7904 3447 769 3447 4202496 1218 744 0 0 1 0 8 3 18 0 1 0 527077761 4702208 843 1283457024 134512640 135539072 4290016848 18446744073709551615 4160189358 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/7904/statm: 1148 843 404 251 0 406 0 [pid=7907] ppid=7904 vsize=0 CPUtime=135.29 /proc/7907/stat : 7907 (bingo) Z 7904 7904 3447 769 3447 4202508 4250 0 0 0 13528 1 0 0 25 0 1 0 527077774 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/7907/statm: 0 0 0 0 0 0 0 [pid=7908] ppid=7904 vsize=8176 CPUtime=146.7 /proc/7908/stat : 7908 (clasp) R 7904 7904 3447 769 3447 4202496 2022 0 0 0 14670 0 0 0 25 0 1 0 527077776 8372224 1824 1283457024 134512640 136080129 4294103680 18446744073709551615 134588765 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/7908/statm: 2044 1824 187 383 0 1659 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 12768 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+290.212 s] /proc/loadavg: 1.00 1.00 1.00 2/39 7908 /proc/meminfo: memFree=836280/1048576 swapFree=2092224/2097144 [pid=7904] ppid=7903 vsize=4592 CPUtime=0.12 /proc/7904/stat : 7904 (aspcud-trendy-1) S 7903 7904 3447 769 3447 4202496 1218 744 0 0 1 0 8 3 18 0 1 0 527077761 4702208 843 1283457024 134512640 135539072 4290016848 18446744073709551615 4160189358 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/7904/statm: 1148 843 404 251 0 406 0 [pid=7907] ppid=7904 vsize=0 CPUtime=135.29 /proc/7907/stat : 7907 (bingo) Z 7904 7904 3447 769 3447 4202508 4250 0 0 0 13528 1 0 0 25 0 1 0 527077774 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/7907/statm: 0 0 0 0 0 0 0 [pid=7908] ppid=7904 vsize=8312 CPUtime=154.6 /proc/7908/stat : 7908 (clasp) R 7904 7904 3447 769 3447 4202496 2036 0 0 0 15460 0 0 0 25 0 1 0 527077776 8511488 1838 1283457024 134512640 136080129 4294103680 18446744073709551615 134846230 0 0 16781312 16386 0 0 0 17 0 0 0 0 /proc/7908/statm: 2078 1838 187 383 0 1693 0 Current children cumulated CPU time (s) 290.01 Current children cumulated vsize (KiB) 12904 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples Child status: 1 Real time (s): 290.236 CPU time (s): 290.038 CPU user time (s): 289.978 CPU system time (s): 0.060003 CPU usage (%): 99.9318 Max. virtual memory (cumulated for all children) (KiB): 27628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 289.978 system time used= 0.060003 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8682 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 91 involuntary context switches= 3610 runsolver used 0 second user time and 0 second system time The end