runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1737767-1240832747/watcher-1737767-1240832747 -o /tmp/evaluation-result-1737767-1240832747/solver-1737767-1240832747 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1737767-1240832747.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: 0.91 0.95 0.82 3/64 27547
/proc/meminfo: memFree=1682272/2055920 swapFree=4192812/4192956
[pid=27547] ppid=27545 vsize=3708 CPUtime=0
/proc/27547/stat : 27547 (satake) S 27545 27547 27480 0 -1 4194304 694 0 0 0 0 0 0 0 18 0 4 0 111307346 3796992 680 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27547/statm: 927 686 65 163 0 762 0
[pid=27547/tid=27548] ppid=27545 vsize=3708 CPUtime=0
/proc/27547/task/27548/stat : 27548 (satake) S 27545 27547 27480 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 111307346 3796992 704 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27547/tid=27549] ppid=27545 vsize=3708 CPUtime=0
/proc/27547/task/27549/stat : 27549 (satake) R 27545 27547 27480 0 -1 4194368 473 0 0 0 0 0 0 0 19 0 4 0 111307346 3796992 713 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27547/tid=27550] ppid=27545 vsize=3708 CPUtime=0
/proc/27547/task/27550/stat : 27550 (satake) R 27545 27547 27480 0 -1 4194368 164 0 0 0 0 0 0 0 19 0 4 0 111307346 3796992 720 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.0520951 s]
/proc/loadavg: 0.91 0.95 0.82 3/64 27547
/proc/meminfo: memFree=1682272/2055920 swapFree=4192812/4192956
[pid=27547] ppid=27545 vsize=23608 CPUtime=0.11
/proc/27547/stat : 27547 (satake) S 27545 27547 27480 0 -1 4194304 4829 0 0 0 8 3 0 0 18 0 4 0 111307346 24174592 4810 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27547/statm: 5902 4843 65 163 0 5737 0
[pid=27547/tid=27548] ppid=27545 vsize=23900 CPUtime=0
/proc/27547/task/27548/stat : 27548 (satake) S 27545 27547 27480 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 111307346 24473600 4902 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27547/tid=27549] ppid=27545 vsize=24192 CPUtime=0.06
/proc/27547/task/27549/stat : 27549 (satake) R 27545 27547 27480 0 -1 4194368 2439 0 0 0 5 1 0 0 17 0 4 0 111307346 24772608 4989 1992294400 134512640 135180984 4294956208 18446744073709551615 134702260 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27547/tid=27550] ppid=27545 vsize=24456 CPUtime=0.07
/proc/27547/task/27550/stat : 27550 (satake) R 27545 27547 27480 0 -1 4194368 2561 0 0 0 5 2 0 0 17 0 4 0 111307346 25042944 5162 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 23608
[startup+0.195555 s]
/proc/loadavg: 0.91 0.95 0.82 3/64 27547
/proc/meminfo: memFree=1682272/2055920 swapFree=4192812/4192956
[pid=27547] ppid=27545 vsize=32884 CPUtime=0.39
/proc/27547/stat : 27547 (satake) S 27545 27547 27480 0 -1 4194304 7189 0 0 0 33 6 0 0 18 0 4 0 111307346 33673216 7170 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27547/statm: 8608 7305 65 163 0 8443 0
[pid=27547/tid=27548] ppid=27545 vsize=34432 CPUtime=0
/proc/27547/task/27548/stat : 27548 (satake) S 27545 27547 27480 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 111307346 35258368 7353 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27547/tid=27549] ppid=27545 vsize=34564 CPUtime=0.21
/proc/27547/task/27549/stat : 27549 (satake) R 27545 27547 27480 0 -1 4194368 3585 0 0 0 18 3 0 0 16 0 4 0 111307346 35393536 7409 1992294400 134512640 135180984 4294956208 18446744073709551615 134579745 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27547/tid=27550] ppid=27545 vsize=34960 CPUtime=0.2
/proc/27547/task/27550/stat : 27550 (satake) R 27545 27547 27480 0 -1 4194368 3864 0 0 0 17 3 0 0 16 0 4 0 111307346 35799040 7586 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 32884
[startup+0.309837 s]
/proc/loadavg: 0.91 0.95 0.82 3/64 27547
/proc/meminfo: memFree=1682272/2055920 swapFree=4192812/4192956
[pid=27547] ppid=27545 vsize=30028 CPUtime=0.59
/proc/27547/stat : 27547 (satake) S 27545 27547 27480 0 -1 4194304 9235 0 0 0 51 8 0 0 18 0 4 0 111307346 30748672 6496 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27547/statm: 7507 6496 68 163 0 7342 0
[pid=27547/tid=27548] ppid=27545 vsize=30028 CPUtime=0
/proc/27547/task/27548/stat : 27548 (satake) S 27545 27547 27480 0 -1 4194368 386 0 0 0 0 0 0 0 16 0 4 0 111307346 30748672 6496 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27547/tid=27549] ppid=27545 vsize=30028 CPUtime=0.29
/proc/27547/task/27549/stat : 27549 (satake) R 27545 27547 27480 0 -1 4194368 4307 0 0 0 26 3 0 0 17 0 4 0 111307346 30748672 6496 1992294400 134512640 135180984 4294956208 18446744073709551615 134522734 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27547/tid=27550] ppid=27545 vsize=30028 CPUtime=0.29
/proc/27547/task/27550/stat : 27550 (satake) R 27545 27547 27480 0 -1 4194368 4459 0 0 0 25 4 0 0 16 0 4 0 111307346 30748672 6496 1992294400 134512640 135180984 4294956208 18446744073709551615 134520913 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 30028
[startup+0.702886 s]
/proc/loadavg: 0.91 0.95 0.82 3/64 27547
/proc/meminfo: memFree=1682272/2055920 swapFree=4192812/4192956
[pid=27547] ppid=27545 vsize=32108 CPUtime=1.38
/proc/27547/stat : 27547 (satake) S 27545 27547 27480 0 -1 4194304 9749 0 0 0 123 15 0 0 18 0 4 0 111307346 32878592 7010 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27547/statm: 8027 7010 70 163 0 7862 0
[pid=27547/tid=27548] ppid=27545 vsize=32108 CPUtime=0.03
/proc/27547/task/27548/stat : 27548 (satake) S 27545 27547 27480 0 -1 4194368 395 0 0 0 1 2 0 0 16 0 4 0 111307346 32878592 7010 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27547/tid=27549] ppid=27545 vsize=32108 CPUtime=0.67
/proc/27547/task/27549/stat : 27549 (satake) R 27545 27547 27480 0 -1 4194368 4586 0 0 0 61 6 0 0 17 0 4 0 111307346 32878592 7010 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27547/tid=27550] ppid=27545 vsize=32108 CPUtime=0.66
/proc/27547/task/27550/stat : 27550 (satake) R 27545 27547 27480 0 -1 4194368 4685 0 0 0 60 6 0 0 17 0 4 0 111307346 32878592 7010 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 32108
[startup+1.50298 s]
/proc/loadavg: 0.91 0.95 0.82 3/68 27551
/proc/meminfo: memFree=1653888/2055920 swapFree=4192812/4192956
[pid=27547] ppid=27545 vsize=33540 CPUtime=2.96
/proc/27547/stat : 27547 (satake) S 27545 27547 27480 0 -1 4194304 10007 0 0 0 258 38 0 0 18 0 4 0 111307346 34344960 7268 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27547/statm: 8385 7268 70 163 0 8220 0
[pid=27547/tid=27548] ppid=27545 vsize=33540 CPUtime=0.16
/proc/27547/task/27548/stat : 27548 (satake) S 27545 27547 27480 0 -1 4194368 441 0 0 0 5 11 0 0 16 0 4 0 111307346 34344960 7268 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=27547/tid=27549] ppid=27545 vsize=33540 CPUtime=1.38
/proc/27547/task/27549/stat : 27549 (satake) R 27545 27547 27480 0 -1 4194368 4679 0 0 0 126 12 0 0 16 0 4 0 111307346 34344960 7268 1992294400 134512640 135180984 4294956208 18446744073709551615 134518522 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27547/tid=27550] ppid=27545 vsize=33540 CPUtime=1.39
/proc/27547/task/27550/stat : 27550 (satake) R 27545 27547 27480 0 -1 4194368 4804 0 0 0 126 13 0 0 16 0 4 0 111307346 34344960 7268 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 33540
[startup+3.10117 s]
/proc/loadavg: 0.91 0.95 0.82 4/68 27551
/proc/meminfo: memFree=1652352/2055920 swapFree=4192812/4192956
[pid=27547] ppid=27545 vsize=34732 CPUtime=6.09
/proc/27547/stat : 27547 (satake) S 27545 27547 27480 0 -1 4194304 10479 0 0 0 525 84 0 0 18 0 4 0 111307346 35565568 7740 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27547/statm: 8683 7740 70 163 0 8518 0
[pid=27547/tid=27548] ppid=27545 vsize=34732 CPUtime=0.44
/proc/27547/task/27548/stat : 27548 (satake) S 27545 27547 27480 0 -1 4194368 551 0 0 0 11 33 0 0 15 0 4 0 111307346 35565568 7740 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27547/tid=27549] ppid=27545 vsize=34732 CPUtime=2.82
/proc/27547/task/27549/stat : 27549 (satake) R 27545 27547 27480 0 -1 4194368 4856 0 0 0 258 24 0 0 16 0 4 0 111307346 35565568 7740 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27547/tid=27550] ppid=27545 vsize=34732 CPUtime=2.82
/proc/27547/task/27550/stat : 27550 (satake) R 27545 27547 27480 0 -1 4194368 4989 0 0 0 255 27 0 0 17 0 4 0 111307346 35565568 7740 1992294400 134512640 135180984 4294956208 18446744073709551615 134528286 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 34732
[startup+6.30155 s]
/proc/loadavg: 1.08 0.99 0.84 4/68 27551
/proc/meminfo: memFree=1648704/2055920 swapFree=4192812/4192956
[pid=27547] ppid=27545 vsize=39108 CPUtime=12.42
/proc/27547/stat : 27547 (satake) S 27545 27547 27480 0 -1 4194304 11337 0 0 0 1085 157 0 0 18 0 4 0 111307346 40046592 8598 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27547/statm: 9777 8598 70 163 0 9612 0
[pid=27547/tid=27548] ppid=27545 vsize=39108 CPUtime=0.87
/proc/27547/task/27548/stat : 27548 (satake) S 27545 27547 27480 0 -1 4194368 717 0 0 0 20 67 0 0 16 0 4 0 111307346 40046592 8598 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=27547/tid=27549] ppid=27545 vsize=39108 CPUtime=5.78
/proc/27547/task/27549/stat : 27549 (satake) R 27545 27547 27480 0 -1 4194368 5180 0 0 0 536 42 0 0 16 0 4 0 111307346 40046592 8598 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27547/tid=27550] ppid=27545 vsize=39108 CPUtime=5.74
/proc/27547/task/27550/stat : 27550 (satake) R 27545 27547 27480 0 -1 4194368 5357 0 0 0 528 46 0 0 16 0 4 0 111307346 40046592 8598 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 39108
[startup+12.7013 s]
/proc/loadavg: 1.15 1.00 0.84 3/68 27551
/proc/meminfo: memFree=1641600/2055920 swapFree=4192812/4192956
[pid=27547] ppid=27545 vsize=44684 CPUtime=25.1
/proc/27547/stat : 27547 (satake) S 27545 27547 27480 0 -1 4194304 13048 0 0 0 2247 263 0 0 18 0 4 0 111307346 45756416 10309 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27547/statm: 11171 10309 70 163 0 11006 0
[pid=27547/tid=27548] ppid=27545 vsize=44684 CPUtime=1.49
/proc/27547/task/27548/stat : 27548 (satake) S 27545 27547 27480 0 -1 4194368 923 0 0 0 34 115 0 0 16 0 4 0 111307346 45756416 10309 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=27547/tid=27549] ppid=27545 vsize=44684 CPUtime=11.81
/proc/27547/task/27549/stat : 27549 (satake) R 27545 27547 27480 0 -1 4194368 5982 0 0 0 1113 68 0 0 18 0 4 0 111307346 45756416 10309 1992294400 134512640 135180984 4294956208 18446744073709551615 134528230 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27547/tid=27550] ppid=27545 vsize=44684 CPUtime=11.78
/proc/27547/task/27550/stat : 27550 (satake) R 27545 27547 27480 0 -1 4194368 6060 0 0 0 1099 79 0 0 18 0 4 0 111307346 45756416 10309 1992294400 134512640 135180984 4294956208 18446744073709551615 134518227 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 44684
[startup+25.5028 s]
/proc/loadavg: 1.34 1.05 0.86 3/68 27551
/proc/meminfo: memFree=1630528/2055920 swapFree=4192812/4192956
[pid=27547] ppid=27545 vsize=56132 CPUtime=50.61
/proc/27547/stat : 27547 (satake) S 27545 27547 27480 0 -1 4194304 15684 0 0 0 4654 407 0 0 18 0 4 0 111307346 57479168 12945 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27547/statm: 14033 12945 70 163 0 13868 0
[pid=27547/tid=27548] ppid=27545 vsize=56132 CPUtime=2.36
/proc/27547/task/27548/stat : 27548 (satake) S 27545 27547 27480 0 -1 4194368 1241 0 0 0 56 180 0 0 16 0 4 0 111307346 57479168 12945 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27547/tid=27549] ppid=27545 vsize=56132 CPUtime=24.16
/proc/27547/task/27549/stat : 27549 (satake) R 27545 27547 27480 0 -1 4194368 7200 0 0 0 2308 108 0 0 18 0 4 0 111307346 57479168 12945 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=27547/tid=27550] ppid=27545 vsize=56132 CPUtime=24.09
/proc/27547/task/27550/stat : 27550 (satake) R 27545 27547 27480 0 -1 4194368 7160 0 0 0 2290 119 0 0 18 0 4 0 111307346 57479168 12945 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 56132
[startup+51.1029 s]
/proc/loadavg: 1.56 1.13 0.89 3/68 27551
/proc/meminfo: memFree=1615296/2055920 swapFree=4192812/4192956
[pid=27547] ppid=27545 vsize=71320 CPUtime=101.65
/proc/27547/stat : 27547 (satake) S 27545 27547 27480 0 -1 4194304 19539 0 0 0 9590 575 0 0 18 0 4 0 111307346 73031680 16800 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27547/statm: 17830 16800 70 163 0 17665 0
[pid=27547/tid=27548] ppid=27545 vsize=71320 CPUtime=3.37
/proc/27547/task/27548/stat : 27548 (satake) S 27545 27547 27480 0 -1 4194368 1579 0 0 0 81 256 0 0 16 0 4 0 111307346 73031680 16800 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27547/tid=27549] ppid=27545 vsize=71320 CPUtime=49.13
/proc/27547/task/27549/stat : 27549 (satake) R 27545 27547 27480 0 -1 4194368 9078 0 0 0 4754 159 0 0 20 0 4 0 111307346 73031680 16800 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27547/tid=27550] ppid=27545 vsize=71320 CPUtime=49.15
/proc/27547/task/27550/stat : 27550 (satake) R 27545 27547 27480 0 -1 4194368 8799 0 0 0 4755 160 0 0 19 0 4 0 111307346 73031680 16800 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 71320
[startup+102.306 s]
/proc/loadavg: 1.81 1.26 0.94 4/68 27551
/proc/meminfo: memFree=1590464/2055920 swapFree=4192812/4192956
[pid=27547] ppid=27545 vsize=96692 CPUtime=203.8
/proc/27547/stat : 27547 (satake) S 27545 27547 27480 0 -1 4194304 25631 0 0 0 19601 779 0 0 18 0 4 0 111307346 99012608 22892 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27547/statm: 24173 22892 70 163 0 24008 0
[pid=27547/tid=27548] ppid=27545 vsize=96692 CPUtime=4.53
/proc/27547/task/27548/stat : 27548 (satake) S 27545 27547 27480 0 -1 4194368 1986 0 0 0 107 346 0 0 16 0 4 0 111307346 99012608 22892 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27547/tid=27549] ppid=27545 vsize=96692 CPUtime=99.57
/proc/27547/task/27549/stat : 27549 (satake) R 27545 27547 27480 0 -1 4194368 11402 0 0 0 9741 216 0 0 18 0 4 0 111307346 99012608 22892 1992294400 134512640 135180984 4294956208 18446744073709551615 134528696 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27547/tid=27550] ppid=27545 vsize=96692 CPUtime=99.68
/proc/27547/task/27550/stat : 27550 (satake) R 27545 27547 27480 0 -1 4194368 12160 0 0 0 9752 216 0 0 25 0 4 0 111307346 99012608 22892 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 96692
[startup+162.302 s]
/proc/loadavg: 1.97 1.41 1.01 3/68 27551
/proc/meminfo: memFree=1568512/2055920 swapFree=4192812/4192956
[pid=27547] ppid=27545 vsize=117504 CPUtime=323.5
/proc/27547/stat : 27547 (satake) S 27545 27547 27480 0 -1 4194304 31154 0 0 0 31413 937 0 0 18 0 4 0 111307346 120324096 28415 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27547/statm: 29376 28415 70 163 0 29211 0
[pid=27547/tid=27548] ppid=27545 vsize=117504 CPUtime=5.43
/proc/27547/task/27548/stat : 27548 (satake) S 27545 27547 27480 0 -1 4194368 2309 0 0 0 128 415 0 0 16 0 4 0 111307346 120324096 28415 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=27547/tid=27549] ppid=27545 vsize=117504 CPUtime=158.96
/proc/27547/task/27549/stat : 27549 (satake) R 27545 27547 27480 0 -1 4194368 13831 0 0 0 15639 257 0 0 25 0 4 0 111307346 120324096 28415 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27547/tid=27550] ppid=27545 vsize=117504 CPUtime=159.1
/proc/27547/task/27550/stat : 27550 (satake) R 27545 27547 27480 0 -1 4194368 14931 0 0 0 15645 265 0 0 18 0 4 0 111307346 120324096 28415 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.5
Current children cumulated vsize (KiB) 117504
[startup+222.302 s]
/proc/loadavg: 1.99 1.51 1.07 3/68 27551
/proc/meminfo: memFree=1547008/2055920 swapFree=4192812/4192956
[pid=27547] ppid=27545 vsize=140064 CPUtime=443.24
/proc/27547/stat : 27547 (satake) S 27545 27547 27480 0 -1 4194304 36480 0 0 0 43266 1058 0 0 18 0 4 0 111307346 143425536 33741 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27547/statm: 35016 33741 70 163 0 34851 0
[pid=27547/tid=27548] ppid=27545 vsize=140064 CPUtime=6.07
/proc/27547/task/27548/stat : 27548 (satake) S 27545 27547 27480 0 -1 4194368 2534 0 0 0 141 466 0 0 16 0 4 0 111307346 143425536 33741 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27547/tid=27549] ppid=27545 vsize=140064 CPUtime=218.38
/proc/27547/task/27549/stat : 27549 (satake) R 27545 27547 27480 0 -1 4194368 16259 0 0 0 21547 291 0 0 25 0 4 0 111307346 143425536 33741 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27547/tid=27550] ppid=27545 vsize=140064 CPUtime=218.75
/proc/27547/task/27550/stat : 27550 (satake) R 27545 27547 27480 0 -1 4194368 17604 0 0 0 21576 299 0 0 22 0 4 0 111307346 143425536 33741 1992294400 134512640 135180984 4294956208 18446744073709551615 134525506 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.24
Current children cumulated vsize (KiB) 140064
[startup+282.302 s]
/proc/loadavg: 1.99 1.60 1.13 3/68 27551
/proc/meminfo: memFree=1526208/2055920 swapFree=4192812/4192956
[pid=27547] ppid=27545 vsize=160592 CPUtime=562.99
/proc/27547/stat : 27547 (satake) S 27545 27547 27480 0 -1 4194304 41706 0 0 0 55128 1171 0 0 18 0 4 0 111307346 164446208 38967 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27547/statm: 40148 38967 70 163 0 39983 0
[pid=27547/tid=27548] ppid=27545 vsize=160592 CPUtime=6.68
/proc/27547/task/27548/stat : 27548 (satake) S 27545 27547 27480 0 -1 4194368 2742 0 0 0 154 514 0 0 16 0 4 0 111307346 164446208 38967 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=27547/tid=27549] ppid=27545 vsize=160592 CPUtime=277.85
/proc/27547/task/27549/stat : 27549 (satake) R 27545 27547 27480 0 -1 4194368 18702 0 0 0 27459 326 0 0 17 0 4 0 111307346 164446208 38967 1992294400 134512640 135180984 4294956208 18446744073709551615 134528655 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27547/tid=27550] ppid=27545 vsize=160592 CPUtime=278.44
/proc/27547/task/27550/stat : 27550 (satake) R 27545 27547 27480 0 -1 4194368 20179 0 0 0 27514 330 0 0 25 0 4 0 111307346 164446208 38967 1992294400 134512640 135180984 4294956208 18446744073709551615 134528543 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.99
Current children cumulated vsize (KiB) 160592
[startup+342.302 s]
/proc/loadavg: 1.99 1.67 1.18 3/68 27551
/proc/meminfo: memFree=1506368/2055920 swapFree=4192812/4192956
[pid=27547] ppid=27545 vsize=180768 CPUtime=682.73
/proc/27547/stat : 27547 (satake) S 27545 27547 27480 0 -1 4194304 46627 0 0 0 66969 1304 0 0 18 0 4 0 111307346 185106432 43888 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27547/statm: 45192 43888 70 163 0 45027 0
[pid=27547/tid=27548] ppid=27545 vsize=180768 CPUtime=7.38
/proc/27547/task/27548/stat : 27548 (satake) S 27545 27547 27480 0 -1 4194368 3015 0 0 0 170 568 0 0 16 0 4 0 111307346 185106432 43888 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27547/tid=27549] ppid=27545 vsize=180768 CPUtime=337.25
/proc/27547/task/27549/stat : 27549 (satake) R 27545 27547 27480 0 -1 4194368 20950 0 0 0 33359 366 0 0 25 0 4 0 111307346 185106432 43888 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27547/tid=27550] ppid=27545 vsize=180768 CPUtime=338.07
/proc/27547/task/27550/stat : 27550 (satake) R 27545 27547 27480 0 -1 4194368 22579 0 0 0 33439 368 0 0 23 0 4 0 111307346 185106432 43888 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.73
Current children cumulated vsize (KiB) 180768
[startup+402.302 s]
/proc/loadavg: 1.99 1.73 1.23 3/68 27551
/proc/meminfo: memFree=1486720/2055920 swapFree=4192812/4192956
[pid=27547] ppid=27545 vsize=200932 CPUtime=802.46
/proc/27547/stat : 27547 (satake) S 27545 27547 27480 0 -1 4194304 51565 0 0 0 78870 1376 0 0 18 0 4 0 111307346 205754368 48826 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27547/statm: 50233 48826 70 163 0 50068 0
[pid=27547/tid=27548] ppid=27545 vsize=200932 CPUtime=7.78
/proc/27547/task/27548/stat : 27548 (satake) S 27545 27547 27480 0 -1 4194368 3166 0 0 0 180 598 0 0 16 0 4 0 111307346 205754368 48826 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=27547/tid=27549] ppid=27545 vsize=200932 CPUtime=396.82
/proc/27547/task/27549/stat : 27549 (satake) R 27545 27547 27480 0 -1 4194368 23032 0 0 0 39297 385 0 0 25 0 4 0 111307346 205754368 48826 1992294400 134512640 135180984 4294956208 18446744073709551615 134528763 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27547/tid=27550] ppid=27545 vsize=200932 CPUtime=397.84
/proc/27547/task/27550/stat : 27550 (satake) R 27545 27547 27480 0 -1 4194368 25284 0 0 0 39392 392 0 0 25 0 4 0 111307346 205754368 48826 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.46
Current children cumulated vsize (KiB) 200932
[startup+462.302 s]
/proc/loadavg: 1.99 1.77 1.27 3/68 27551
/proc/meminfo: memFree=1469440/2055920 swapFree=4192812/4192956
[pid=27547] ppid=27545 vsize=218036 CPUtime=922.2
/proc/27547/stat : 27547 (satake) S 27545 27547 27480 0 -1 4194304 55823 0 0 0 90778 1442 0 0 18 0 4 0 111307346 223268864 53084 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27547/statm: 54509 53084 70 163 0 54344 0
[pid=27547/tid=27548] ppid=27545 vsize=218036 CPUtime=8.11
/proc/27547/task/27548/stat : 27548 (satake) S 27545 27547 27480 0 -1 4194368 3281 0 0 0 186 625 0 0 16 0 4 0 111307346 223268864 53084 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27547/tid=27549] ppid=27545 vsize=218036 CPUtime=456.39
/proc/27547/task/27549/stat : 27549 (satake) R 27545 27547 27480 0 -1 4194368 24821 0 0 0 45234 405 0 0 25 0 4 0 111307346 223268864 53084 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27547/tid=27550] ppid=27545 vsize=218036 CPUtime=457.66
/proc/27547/task/27550/stat : 27550 (satake) R 27545 27547 27480 0 -1 4194368 27638 0 0 0 45356 410 0 0 25 0 4 0 111307346 223268864 53084 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.2
Current children cumulated vsize (KiB) 218036
[startup+522.302 s]
/proc/loadavg: 1.99 1.81 1.31 3/68 27551
/proc/meminfo: memFree=1455424/2055920 swapFree=4192812/4192956
[pid=27547] ppid=27545 vsize=231860 CPUtime=1041.93
/proc/27547/stat : 27547 (satake) S 27545 27547 27480 0 -1 4194304 59350 0 0 0 102705 1488 0 0 18 0 4 0 111307346 237424640 56611 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27547/statm: 57965 56611 70 163 0 57800 0
[pid=27547/tid=27548] ppid=27545 vsize=231860 CPUtime=8.37
/proc/27547/task/27548/stat : 27548 (satake) S 27545 27547 27480 0 -1 4194368 3356 0 0 0 192 645 0 0 16 0 4 0 111307346 237424640 56611 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=27547/tid=27549] ppid=27545 vsize=231860 CPUtime=516.02
/proc/27547/task/27549/stat : 27549 (satake) R 27545 27547 27480 0 -1 4194368 26196 0 0 0 51183 419 0 0 25 0 4 0 111307346 237424640 56611 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27547/tid=27550] ppid=27545 vsize=231860 CPUtime=517.52
/proc/27547/task/27550/stat : 27550 (satake) R 27545 27547 27480 0 -1 4194368 29715 0 0 0 51329 423 0 0 25 0 4 0 111307346 237424640 56611 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.93
Current children cumulated vsize (KiB) 231860
[startup+582.302 s]
/proc/loadavg: 1.99 1.84 1.36 3/68 27551
/proc/meminfo: memFree=1441920/2055920 swapFree=4192812/4192956
[pid=27547] ppid=27545 vsize=244916 CPUtime=1161.68
/proc/27547/stat : 27547 (satake) S 27545 27547 27480 0 -1 4194304 62703 0 0 0 114637 1531 0 0 18 0 4 0 111307346 250793984 59964 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27547/statm: 61229 59964 70 163 0 61064 0
[pid=27547/tid=27548] ppid=27545 vsize=244916 CPUtime=8.6
/proc/27547/task/27548/stat : 27548 (satake) S 27545 27547 27480 0 -1 4194368 3440 0 0 0 198 662 0 0 16 0 4 0 111307346 250793984 59964 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27547/tid=27549] ppid=27545 vsize=244916 CPUtime=575.67
/proc/27547/task/27549/stat : 27549 (satake) R 27545 27547 27480 0 -1 4194368 27747 0 0 0 57132 435 0 0 25 0 4 0 111307346 250793984 59964 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27547/tid=27550] ppid=27545 vsize=244916 CPUtime=577.39
/proc/27547/task/27550/stat : 27550 (satake) R 27545 27547 27480 0 -1 4194368 31433 0 0 0 57306 433 0 0 25 0 4 0 111307346 250793984 59964 1992294400 134512640 135180984 4294956208 18446744073709551615 134518252 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.68
Current children cumulated vsize (KiB) 244916
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+601.602 s]
/proc/loadavg: 1.99 1.85 1.37 3/68 27551
/proc/meminfo: memFree=1437440/2055920 swapFree=4192812/4192956
[pid=27547] ppid=27545 vsize=249544 CPUtime=1200.2
/proc/27547/stat : 27547 (satake) S 27545 27547 27480 0 -1 4194304 63782 0 0 0 118480 1540 0 0 18 0 4 0 111307346 255533056 61043 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27547/statm: 62386 61043 70 163 0 62221 0
[pid=27547/tid=27548] ppid=27545 vsize=249544 CPUtime=8.65
/proc/27547/task/27548/stat : 27548 (satake) S 27545 27547 27480 0 -1 4194368 3454 0 0 0 199 666 0 0 16 0 4 0 111307346 255533056 61043 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=27547/tid=27549] ppid=27545 vsize=249544 CPUtime=594.87
/proc/27547/task/27549/stat : 27549 (satake) R 27545 27547 27480 0 -1 4194368 28261 0 0 0 59049 438 0 0 25 0 4 0 111307346 255533056 61043 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=27547/tid=27550] ppid=27545 vsize=249544 CPUtime=596.65
/proc/27547/task/27550/stat : 27550 (satake) R 27545 27547 27480 0 -1 4194368 31984 0 0 0 59230 435 0 0 21 0 4 0 111307346 255533056 61043 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.2
Current children cumulated vsize (KiB) 249544
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): 601.659
CPU time (s): 1200.26
CPU user time (s): 1184.81
CPU system time (s): 15.4497
CPU usage (%): 199.493
Max. virtual memory (cumulated for all children) (KiB): 249544
deleting IPC queue 1769472
deleting IPC queue 1802241
deleting IPC queue 1835010
deleting IPC queue 1867779
deleting IPC queue 1900548
deleting IPC queue 1933317
deleting IPC queue 1966086
deleting IPC queue 1998855
deleting IPC queue 2031624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1184.81
system time used= 15.4497
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63782
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= 1168929
involuntary context switches= 1166322
runsolver used 0.52192 second user time and 1.68274 second system time
The end
Begin job on node33 at 2009-04-27 13:45:47
IDJOB=1737767
IDBENCH=71794
IDSOLVER=553
FILE ID=node33/1737767-1240832747
PBS_JOBID= 9187506
Free space on /tmp= 66420 MiB
SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/CRAFTED/parity-games/instance_n8_i8_pp_ci_ce.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1737767-1240832747/watcher-1737767-1240832747 -o /tmp/evaluation-result-1737767-1240832747/solver-1737767-1240832747 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1737767-1240832747.cnf 3 1200
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 3
MD5SUM BENCH= 68c51e190d82ac762156471d1f7373da
RANDOM SEED=435024620
node33.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.212
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.212
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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1682688 kB
Buffers: 47948 kB
Cached: 232076 kB
SwapCached: 0 kB
Active: 51224 kB
Inactive: 242680 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1682688 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6184 kB
Writeback: 0 kB
Mapped: 23632 kB
Slab: 65332 kB
Committed_AS: 405716 kB
PageTables: 1388 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= 66420 MiB
End job on node33 at 2009-04-27 13:55:51