runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1724282-1240694341/watcher-1724282-1240694341 -o /tmp/evaluation-result-1724282-1240694341/solver-1724282-1240694341 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1724282-1240694341.cnf 3 1200
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18449
/proc/meminfo: memFree=1655736/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=5120 CPUtime=0
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 689 0 0 0 0 0 0 0 20 0 4 0 97463106 5242880 674 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 1280 679 65 163 0 1115 0
[pid=18449/tid=18450] ppid=18447 vsize=5120 CPUtime=0
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 97463106 5242880 697 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=5120 CPUtime=0
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 630 0 0 0 0 0 0 0 22 0 4 0 97463106 5242880 705 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=5120 CPUtime=0
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 0 0 0 0 0 0 0 0 22 0 4 0 97463106 5242880 713 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.050214 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18449
/proc/meminfo: memFree=1655736/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=21952 CPUtime=0.1
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 4929 0 0 0 7 3 0 0 20 0 4 0 97463106 22478848 4911 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 5521 4920 65 163 0 5356 0
[pid=18449/tid=18450] ppid=18447 vsize=22084 CPUtime=0
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 97463106 22614016 4927 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=22216 CPUtime=0.05
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 2443 0 0 0 4 1 0 0 17 0 4 0 97463106 22749184 4936 1992294400 134512640 135180984 4294956208 18446744073709551615 134691935 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=22216 CPUtime=0.04
/proc/18449/task/18452/stat : 18452 (satake) S 18447 18449 18322 0 -1 4194368 2422 0 0 0 3 1 0 0 16 0 4 0 97463106 22749184 4943 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 21952
[startup+0.113409 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18449
/proc/meminfo: memFree=1655736/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=30976 CPUtime=0.2
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 6700 0 0 0 16 4 0 0 20 0 4 0 97463106 31719424 6674 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 7744 6674 65 163 0 7579 0
[pid=18449/tid=18450] ppid=18447 vsize=30976 CPUtime=0
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 97463106 31719424 6674 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=30976 CPUtime=0.1
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 3314 0 0 0 8 2 0 0 17 0 4 0 97463106 31719424 6674 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=30976 CPUtime=0.1
/proc/18449/task/18452/stat : 18452 (satake) D 18447 18449 18322 0 -1 4194368 3296 0 0 0 8 2 0 0 16 0 4 0 97463106 31719424 6674 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 30976
[startup+0.301251 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18449
/proc/meminfo: memFree=1655736/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=59496 CPUtime=0.59
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 13042 0 0 0 49 10 0 0 20 0 4 0 97463106 60923904 13016 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 14874 13016 65 163 0 14709 0
[pid=18449/tid=18450] ppid=18447 vsize=59496 CPUtime=0
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 97463106 60923904 13018 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=59496 CPUtime=0.29
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 6472 0 0 0 25 4 0 0 16 0 4 0 97463106 60923904 13019 1992294400 134512640 135180984 4294956208 18446744073709551615 134681037 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=59496 CPUtime=0.28
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 6483 0 0 0 23 5 0 0 16 0 4 0 97463106 60923904 13019 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 59496
[startup+0.701334 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18449
/proc/meminfo: memFree=1655736/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=65080 CPUtime=1.38
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 18504 0 0 0 123 15 0 0 20 0 4 0 97463106 66641920 15190 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 16270 15190 70 163 0 16105 0
[pid=18449/tid=18450] ppid=18447 vsize=65080 CPUtime=0.04
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 2312 0 0 0 2 2 0 0 15 0 4 0 97463106 66641920 15190 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18449/tid=18451] ppid=18447 vsize=65080 CPUtime=0.65
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 8010 0 0 0 60 5 0 0 17 0 4 0 97463106 66641920 15190 1992294400 134512640 135180984 4294956208 18446744073709551615 134523641 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=65080 CPUtime=0.68
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 8099 0 0 0 61 7 0 0 17 0 4 0 97463106 66641920 15190 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 65080
[startup+1.5015 s]
/proc/loadavg: 1.00 1.00 1.00 3/69 18453
/proc/meminfo: memFree=1594776/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=65212 CPUtime=2.98
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 18597 0 0 0 275 23 0 0 20 0 4 0 97463106 66777088 15283 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 16303 15283 70 163 0 16138 0
[pid=18449/tid=18450] ppid=18447 vsize=65212 CPUtime=0.07
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 2317 0 0 0 2 5 0 0 16 0 4 0 97463106 66777088 15283 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=65212 CPUtime=1.41
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 8062 0 0 0 134 7 0 0 17 0 4 0 97463106 66777088 15283 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=65212 CPUtime=1.46
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 8135 0 0 0 137 9 0 0 16 0 4 0 97463106 66777088 15283 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 65212
[startup+3.10283 s]
/proc/loadavg: 1.00 1.00 1.00 3/69 18453
/proc/meminfo: memFree=1594072/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=66500 CPUtime=6.16
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 18802 0 0 0 579 37 0 0 20 0 4 0 97463106 68096000 15488 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 16625 15488 70 163 0 16460 0
[pid=18449/tid=18450] ppid=18447 vsize=66500 CPUtime=0.17
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 2334 0 0 0 5 12 0 0 15 0 4 0 97463106 68096000 15488 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=66500 CPUtime=2.96
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 8151 0 0 0 285 11 0 0 17 0 4 0 97463106 68096000 15488 1992294400 134512640 135180984 4294956208 18446744073709551615 134523775 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=66500 CPUtime=3.02
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 8234 0 0 0 289 13 0 0 17 0 4 0 97463106 68096000 15488 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 66500
[startup+6.30132 s]
/proc/loadavg: 1.08 1.02 1.01 3/69 18453
/proc/meminfo: memFree=1592088/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=68348 CPUtime=12.5
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 19294 0 0 0 1157 93 0 0 20 0 4 0 97463106 69988352 15980 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 17087 15980 70 163 0 16922 0
[pid=18449/tid=18450] ppid=18447 vsize=68348 CPUtime=0.48
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 2418 0 0 0 11 37 0 0 15 0 4 0 97463106 69988352 15980 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18449/tid=18451] ppid=18447 vsize=68348 CPUtime=5.96
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 8311 0 0 0 570 26 0 0 17 0 4 0 97463106 69988352 15980 1992294400 134512640 135180984 4294956208 18446744073709551615 134523674 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=68348 CPUtime=6.05
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 8482 0 0 0 575 30 0 0 18 0 4 0 97463106 69988352 15980 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 68348
[startup+12.7016 s]
/proc/loadavg: 1.15 1.03 1.01 3/69 18453
/proc/meminfo: memFree=1586648/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=73880 CPUtime=25.22
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 20702 0 0 0 2341 181 0 0 20 0 4 0 97463106 75653120 17388 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 18470 17388 70 163 0 18305 0
[pid=18449/tid=18450] ppid=18447 vsize=73880 CPUtime=1.01
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 2567 0 0 0 23 78 0 0 15 0 4 0 97463106 75653120 17388 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18449/tid=18451] ppid=18447 vsize=73880 CPUtime=12.07
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 8948 0 0 0 1159 48 0 0 17 0 4 0 97463106 75653120 17388 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18449/tid=18452] ppid=18447 vsize=73880 CPUtime=12.12
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 9104 0 0 0 1159 53 0 0 17 0 4 0 97463106 75653120 17388 1992294400 134512640 135180984 4294956208 18446744073709551615 134532448 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 73880
[startup+25.5014 s]
/proc/loadavg: 1.34 1.08 1.02 3/69 18453
/proc/meminfo: memFree=1576792/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=83444 CPUtime=50.62
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 23084 0 0 0 4686 376 0 0 20 0 4 0 97463106 85446656 19770 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 20861 19770 70 163 0 20696 0
[pid=18449/tid=18450] ppid=18447 vsize=83444 CPUtime=2.13
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 2966 0 0 0 46 167 0 0 15 0 4 0 97463106 85446656 19770 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=83444 CPUtime=24.17
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 10013 0 0 0 2317 100 0 0 16 0 4 0 97463106 85446656 19770 1992294400 134512640 135180984 4294956208 18446744073709551615 134526471 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=83444 CPUtime=24.3
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 10022 0 0 0 2322 108 0 0 17 0 4 0 97463106 85446656 19770 1992294400 134512640 135180984 4294956208 18446744073709551615 134519077 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 83444
[startup+51.1014 s]
/proc/loadavg: 1.56 1.15 1.05 3/69 18453
/proc/meminfo: memFree=1559960/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=101236 CPUtime=101.49
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 27340 0 0 0 9436 713 0 0 20 0 4 0 97463106 103665664 24026 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 25309 24026 70 163 0 25144 0
[pid=18449/tid=18450] ppid=18447 vsize=101236 CPUtime=4.1
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 3689 0 0 0 89 321 0 0 15 0 4 0 97463106 103665664 24026 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=101236 CPUtime=48.52
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 11996 0 0 0 4661 191 0 0 17 0 4 0 97463106 103665664 24026 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=101236 CPUtime=48.86
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 11572 0 0 0 4686 200 0 0 18 0 4 0 97463106 103665664 24026 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 101236
[startup+102.306 s]
/proc/loadavg: 1.81 1.28 1.10 3/69 18453
/proc/meminfo: memFree=1533656/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=126592 CPUtime=203.46
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 33790 0 0 0 19162 1184 0 0 20 0 4 0 97463106 129630208 30476 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 31648 30476 70 163 0 31483 0
[pid=18449/tid=18450] ppid=18447 vsize=126592 CPUtime=6.84
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 4696 0 0 0 148 536 0 0 16 0 4 0 97463106 129630208 30476 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=126592 CPUtime=98.22
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 14649 0 0 0 9504 318 0 0 17 0 4 0 97463106 129630208 30476 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=126592 CPUtime=98.37
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 14362 0 0 0 9509 328 0 0 17 0 4 0 97463106 129630208 30476 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.46
Current children cumulated vsize (KiB) 126592
[startup+162.301 s]
/proc/loadavg: 1.93 1.41 1.15 3/69 18453
/proc/meminfo: memFree=1511512/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=150076 CPUtime=323.05
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 39305 0 0 0 30690 1615 0 0 20 0 4 0 97463106 153677824 35991 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 37519 35991 70 163 0 37354 0
[pid=18449/tid=18450] ppid=18447 vsize=150076 CPUtime=9.35
/proc/18449/task/18450/stat : 18450 (satake) R 18447 18449 18322 0 -1 4194368 5614 0 0 0 201 734 0 0 15 0 4 0 97463106 153677824 35991 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18449/tid=18451] ppid=18447 vsize=150076 CPUtime=156.79
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 16777 0 0 0 15241 438 0 0 17 0 4 0 97463106 153677824 35991 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18449/tid=18452] ppid=18447 vsize=150076 CPUtime=156.89
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 16831 0 0 0 15247 442 0 0 19 0 4 0 97463106 153677824 35991 1992294400 134512640 135180984 4294956208 18446744073709551615 134528576 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.05
Current children cumulated vsize (KiB) 150076
[startup+222.302 s]
/proc/loadavg: 1.97 1.52 1.20 3/69 18453
/proc/meminfo: memFree=1493464/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=166160 CPUtime=442.68
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 43794 0 0 0 42257 2011 0 0 20 0 4 0 97463106 170147840 40480 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 41540 40480 70 163 0 41375 0
[pid=18449/tid=18450] ppid=18447 vsize=166160 CPUtime=11.66
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 6313 0 0 0 249 917 0 0 15 0 4 0 97463106 170147840 40480 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=166160 CPUtime=215.47
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 18794 0 0 0 20996 551 0 0 22 0 4 0 97463106 170147840 40480 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=166160 CPUtime=215.53
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 18604 0 0 0 21010 543 0 0 25 0 4 0 97463106 170147840 40480 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 442.68
Current children cumulated vsize (KiB) 166160
[startup+282.303 s]
/proc/loadavg: 1.99 1.60 1.25 3/69 18453
/proc/meminfo: memFree=1480664/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=179124 CPUtime=562.35
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 47043 0 0 0 53961 2274 0 0 20 0 4 0 97463106 183422976 43729 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 44781 43729 70 163 0 44616 0
[pid=18449/tid=18450] ppid=18447 vsize=179124 CPUtime=13.16
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 6557 0 0 0 282 1034 0 0 15 0 4 0 97463106 183422976 43729 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=179124 CPUtime=274.52
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 20048 0 0 0 26831 621 0 0 25 0 4 0 97463106 183422976 43729 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=179124 CPUtime=274.65
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 20355 0 0 0 26847 618 0 0 25 0 4 0 97463106 183422976 43729 1992294400 134512640 135180984 4294956208 18446744073709551615 134518720 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.35
Current children cumulated vsize (KiB) 179124
[startup+342.302 s]
/proc/loadavg: 1.99 1.67 1.29 3/69 18453
/proc/meminfo: memFree=1463256/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=199120 CPUtime=682.02
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 51380 0 0 0 65707 2495 0 0 20 0 4 0 97463106 203898880 48066 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 49780 48066 70 163 0 49615 0
[pid=18449/tid=18450] ppid=18447 vsize=199120 CPUtime=14.4
/proc/18449/task/18450/stat : 18450 (satake) R 18447 18449 18322 0 -1 4194368 7014 0 0 0 311 1129 0 0 15 0 4 0 97463106 203898880 48066 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18449/tid=18451] ppid=18447 vsize=199120 CPUtime=333.72
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 22148 0 0 0 32691 681 0 0 23 0 4 0 97463106 203898880 48066 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=199120 CPUtime=333.88
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 22135 0 0 0 32704 684 0 0 17 0 4 0 97463106 203898880 48066 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.02
Current children cumulated vsize (KiB) 199120
[startup+402.302 s]
/proc/loadavg: 1.99 1.73 1.33 3/69 18453
/proc/meminfo: memFree=1446360/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=217048 CPUtime=801.72
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 55573 0 0 0 77471 2701 0 0 20 0 4 0 97463106 222257152 52259 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 54262 52259 70 163 0 54097 0
[pid=18449/tid=18450] ppid=18447 vsize=217048 CPUtime=15.62
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 7479 0 0 0 339 1223 0 0 15 0 4 0 97463106 222257152 52259 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=217048 CPUtime=392.87
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 24207 0 0 0 38545 742 0 0 19 0 4 0 97463106 222257152 52259 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=217048 CPUtime=393.2
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 23804 0 0 0 38586 734 0 0 18 0 4 0 97463106 222257152 52259 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 801.72
Current children cumulated vsize (KiB) 217048
[startup+462.302 s]
/proc/loadavg: 2.05 1.79 1.38 3/69 18453
/proc/meminfo: memFree=1431512/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=231636 CPUtime=921.4
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 59264 0 0 0 89248 2892 0 0 20 0 4 0 97463106 237195264 55950 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 57909 55950 70 163 0 57744 0
[pid=18449/tid=18450] ppid=18447 vsize=231636 CPUtime=16.72
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 7889 0 0 0 362 1310 0 0 15 0 4 0 97463106 237195264 55950 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=231636 CPUtime=452.18
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 25721 0 0 0 44419 799 0 0 21 0 4 0 97463106 237195264 55950 1992294400 134512640 135180984 4294956208 18446744073709551615 134519941 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18449/tid=18452] ppid=18447 vsize=231636 CPUtime=452.49
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 25571 0 0 0 44467 782 0 0 25 0 4 0 97463106 237195264 55950 1992294400 134512640 135180984 4294956208 18446744073709551615 134526482 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 921.4
Current children cumulated vsize (KiB) 231636
[startup+522.302 s]
/proc/loadavg: 2.02 1.83 1.41 3/69 18453
/proc/meminfo: memFree=1418712/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=244396 CPUtime=1041.13
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 62515 0 0 0 101085 3028 0 0 20 0 4 0 97463106 250261504 59201 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 61099 59201 70 163 0 60934 0
[pid=18449/tid=18450] ppid=18447 vsize=244396 CPUtime=17.52
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 8181 0 0 0 379 1373 0 0 15 0 4 0 97463106 250261504 59201 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=244396 CPUtime=511.57
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 27210 0 0 0 50323 834 0 0 17 0 4 0 97463106 250261504 59201 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18449/tid=18452] ppid=18447 vsize=244396 CPUtime=512.02
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 27041 0 0 0 50382 820 0 0 18 0 4 0 97463106 250261504 59201 1992294400 134512640 135180984 4294956208 18446744073709551615 134523791 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1041.13
Current children cumulated vsize (KiB) 244396
[startup+582.302 s]
/proc/loadavg: 2.00 1.85 1.45 3/69 18453
/proc/meminfo: memFree=1406936/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=256772 CPUtime=1160.84
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 65399 0 0 0 112910 3174 0 0 20 0 4 0 97463106 262934528 62085 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 64193 62085 70 163 0 64028 0
[pid=18449/tid=18450] ppid=18447 vsize=256772 CPUtime=18.4
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 8522 0 0 0 399 1441 0 0 15 0 4 0 97463106 262934528 62085 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=256772 CPUtime=570.95
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 28571 0 0 0 56225 870 0 0 19 0 4 0 97463106 262934528 62085 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18449/tid=18452] ppid=18447 vsize=256772 CPUtime=571.47
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 28223 0 0 0 56285 862 0 0 25 0 4 0 97463106 262934528 62085 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1160.84
Current children cumulated vsize (KiB) 256772
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+602.001 s]
/proc/loadavg: 2.00 1.86 1.46 3/69 18453
/proc/meminfo: memFree=1403736/2055920 swapFree=4181392/4192956
[pid=18449] ppid=18447 vsize=259148 CPUtime=1200.14
/proc/18449/stat : 18449 (satake) S 18447 18449 18322 0 -1 4194304 66175 0 0 0 116797 3217 0 0 20 0 4 0 97463106 265367552 62861 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18449/statm: 64787 62861 70 163 0 64622 0
[pid=18449/tid=18450] ppid=18447 vsize=259148 CPUtime=18.65
/proc/18449/task/18450/stat : 18450 (satake) S 18447 18449 18322 0 -1 4194368 8615 0 0 0 405 1460 0 0 15 0 4 0 97463106 265367552 62861 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18449/tid=18451] ppid=18447 vsize=259148 CPUtime=590.45
/proc/18449/task/18451/stat : 18451 (satake) R 18447 18449 18322 0 -1 4194368 28912 0 0 0 58162 883 0 0 25 0 4 0 97463106 265367552 62861 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18449/tid=18452] ppid=18447 vsize=259148 CPUtime=591.02
/proc/18449/task/18452/stat : 18452 (satake) R 18447 18449 18322 0 -1 4194368 28565 0 0 0 58229 873 0 0 25 0 4 0 97463106 265367552 62861 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.14
Current children cumulated vsize (KiB) 259148
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 602.053
CPU time (s): 1200.21
CPU user time (s): 1167.99
CPU system time (s): 32.2181
CPU usage (%): 199.353
Max. virtual memory (cumulated for all children) (KiB): 259148
deleting IPC queue 884736
deleting IPC queue 917505
deleting IPC queue 950274
deleting IPC queue 983043
deleting IPC queue 1015812
deleting IPC queue 1048581
deleting IPC queue 1081350
deleting IPC queue 1114119
deleting IPC queue 1146888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1167.99
system time used= 32.2181
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66175
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= 2920677
involuntary context switches= 2897533
runsolver used 0.549916 second user time and 1.66375 second system time
The end
Begin job on node80 at 2009-04-25 23:19:02
IDJOB=1724282
IDBENCH=71766
IDSOLVER=553
FILE ID=node80/1724282-1240694341
PBS_JOBID= 9186757
Free space on /tmp= 66148 MiB
SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT_RACE06/manol-pipe-c7bidw_i.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1724282-1240694341/watcher-1724282-1240694341 -o /tmp/evaluation-result-1724282-1240694341/solver-1724282-1240694341 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1724282-1240694341.cnf 3 1200
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 3
MD5SUM BENCH= 3eac71f4fca7132b74d6d27cfa83813f
RANDOM SEED=9548155
node80.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.270
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.270
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1656216 kB
Buffers: 52804 kB
Cached: 270892 kB
SwapCached: 5424 kB
Active: 138188 kB
Inactive: 193308 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1656216 kB
SwapTotal: 4192956 kB
SwapFree: 4181392 kB
Dirty: 7320 kB
Writeback: 0 kB
Mapped: 13452 kB
Slab: 54120 kB
Committed_AS: 328948 kB
PageTables: 1384 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66148 MiB
End job on node80 at 2009-04-25 23:29:06