runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node63/watcher-313314-1176882567 -o ROOT/results/node63/solver-313314-1176882567 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/313314-1176882567/dewSatz /tmp/evaluation/313314-1176882567/instance-313314-1176882567.cnf
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): 2400 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.92 0.96 0.97 3/64 25335
/proc/meminfo: memFree=1653268/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=690016 CPUtime=0
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 87 0 0 0 0 0 0 0 18 0 1 0 164246656 706576384 71 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134594829 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 172504 71 39 100 0 172401 0
[startup+0.0642461 s]
/proc/loadavg: 0.92 0.96 0.97 3/64 25335
/proc/meminfo: memFree=1653268/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=690940 CPUtime=0.06
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 498 0 0 0 6 0 0 0 18 0 1 0 164246656 707522560 482 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134691469 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 172735 483 39 100 0 172632 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 690940
[startup+0.102245 s]
/proc/loadavg: 0.92 0.96 0.97 3/64 25335
/proc/meminfo: memFree=1653268/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=691600 CPUtime=0.09
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 754 0 0 0 9 0 0 0 18 0 1 0 164246656 708198400 738 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134657429 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 172900 738 39 100 0 172797 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 691600
[startup+0.301263 s]
/proc/loadavg: 0.92 0.96 0.97 3/64 25335
/proc/meminfo: memFree=1653268/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=694504 CPUtime=0.29
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 2035 0 0 0 29 0 0 0 19 0 1 0 164246656 711172096 2019 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134574791 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 173626 2019 39 100 0 173523 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 694504
[startup+0.701306 s]
/proc/loadavg: 0.92 0.96 0.97 3/64 25335
/proc/meminfo: memFree=1653268/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=700312 CPUtime=0.69
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 4410 0 0 0 67 2 0 0 22 0 1 0 164246656 717119488 4394 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 175078 4396 39 100 0 174975 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 700312
[startup+1.50139 s]
/proc/loadavg: 0.93 0.96 0.97 2/65 25336
/proc/meminfo: memFree=1627660/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=734092 CPUtime=1.49
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 25610 0 0 0 141 8 0 0 25 0 1 0 164246656 751710208 15377 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134520915 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 183523 15377 40 100 0 183420 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 734092
[startup+3.10156 s]
/proc/loadavg: 0.93 0.96 0.97 2/65 25336
/proc/meminfo: memFree=1582732/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=747860 CPUtime=3.1
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 29098 0 0 0 301 9 0 0 25 0 1 0 164246656 765808640 18865 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134517357 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 186965 18865 40 100 0 186862 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 747860
[startup+6.3019 s]
/proc/loadavg: 0.93 0.96 0.97 2/65 25336
/proc/meminfo: memFree=1553420/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=763228 CPUtime=6.29
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 35768 0 0 0 618 11 0 0 25 0 1 0 164246656 781545472 24912 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134531776 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 190807 24912 43 100 0 190704 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 763228
[startup+12.7016 s]
/proc/loadavg: 0.94 0.96 0.97 2/65 25336
/proc/meminfo: memFree=1552908/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=763228 CPUtime=12.69
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 35958 0 0 0 1257 12 0 0 25 0 1 0 164246656 781545472 25059 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134536834 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 190807 25059 43 100 0 190704 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 763228
[startup+25.5029 s]
/proc/loadavg: 0.95 0.96 0.97 2/65 25336
/proc/meminfo: memFree=1550924/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=763228 CPUtime=25.49
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 36553 0 0 0 2537 12 0 0 25 0 1 0 164246656 781545472 25583 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134531741 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 190807 25583 43 100 0 190704 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 763228
[startup+51.1026 s]
/proc/loadavg: 0.96 0.96 0.97 2/65 25336
/proc/meminfo: memFree=1549196/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=763228 CPUtime=51.07
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 37003 0 0 0 5095 12 0 0 25 0 1 0 164246656 781545472 26010 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134536890 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 190807 26010 43 100 0 190704 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 763228
[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.97 2/65 25336
/proc/meminfo: memFree=1548492/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=763228 CPUtime=102.26
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 37183 0 0 0 10214 12 0 0 25 0 1 0 164246656 781545472 26190 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134531917 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 190807 26190 43 100 0 190704 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 763228
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25336
/proc/meminfo: memFree=1547404/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=763228 CPUtime=162.24
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 37461 0 0 0 16211 13 0 0 25 0 1 0 164246656 781545472 26468 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134531763 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 190807 26468 43 100 0 190704 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 763228
[startup+222.303 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25336
/proc/meminfo: memFree=1546188/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=763228 CPUtime=222.23
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 37748 0 0 0 22210 13 0 0 25 0 1 0 164246656 781545472 26755 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134531668 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 190807 26755 43 100 0 190704 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 763228
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25336
/proc/meminfo: memFree=1545164/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=763228 CPUtime=282.21
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 37986 0 0 0 28208 13 0 0 25 0 1 0 164246656 781545472 26993 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134531776 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 190807 26993 43 100 0 190704 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 763228
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25336
/proc/meminfo: memFree=1544332/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=763228 CPUtime=342.19
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 38186 0 0 0 34206 13 0 0 25 0 1 0 164246656 781545472 27193 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134536890 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 190807 27193 43 100 0 190704 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 763228
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25336
/proc/meminfo: memFree=1543756/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=763228 CPUtime=402.18
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 38338 0 0 0 40204 14 0 0 25 0 1 0 164246656 781545472 27345 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134531763 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 190807 27345 43 100 0 190704 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 763228
[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25336
/proc/meminfo: memFree=1543692/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=763228 CPUtime=462.16
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 38338 0 0 0 46202 14 0 0 25 0 1 0 164246656 781545472 27345 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134531917 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 190807 27345 43 100 0 190704 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 763228
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25336
/proc/meminfo: memFree=1543692/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=763228 CPUtime=522.15
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 38338 0 0 0 52201 14 0 0 25 0 1 0 164246656 781545472 27345 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134531763 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 190807 27345 43 100 0 190704 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 763228
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 25336
/proc/meminfo: memFree=1543692/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=763228 CPUtime=582.13
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 38338 0 0 0 58199 14 0 0 25 0 1 0 164246656 781545472 27345 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134531776 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 190807 27345 43 100 0 190704 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 763228
[startup+642.301 s]
/proc/loadavg: 1.07 0.99 0.97 2/65 25336
/proc/meminfo: memFree=1543692/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=763228 CPUtime=642.12
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 38338 0 0 0 64198 14 0 0 25 0 1 0 164246656 781545472 27345 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134531646 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 190807 27345 43 100 0 190704 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 763228
[startup+702.302 s]
/proc/loadavg: 1.09 1.00 0.98 2/71 25408
/proc/meminfo: memFree=1542420/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=763228 CPUtime=702.08
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 38338 0 0 0 70192 16 0 0 25 0 1 0 164246656 781545472 27345 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134531787 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 190807 27345 43 100 0 190704 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 763228
[startup+762.305 s]
/proc/loadavg: 1.09 1.02 0.98 2/65 25534
/proc/meminfo: memFree=1543436/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=763228 CPUtime=761.98
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 38338 0 0 0 76182 16 0 0 25 0 1 0 164246656 781545472 27345 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134532450 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 190807 27345 43 100 0 190704 0
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (KiB) 763228
[startup+822.301 s]
/proc/loadavg: 1.09 1.03 0.99 2/65 25534
/proc/meminfo: memFree=1543436/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=763228 CPUtime=821.96
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 38338 0 0 0 82180 16 0 0 25 0 1 0 164246656 781545472 27345 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134531763 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 190807 27345 43 100 0 190704 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 763228
[startup+882.302 s]
/proc/loadavg: 1.08 1.03 0.99 2/65 25534
/proc/meminfo: memFree=1543372/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=763228 CPUtime=881.95
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 38338 0 0 0 88179 16 0 0 25 0 1 0 164246656 781545472 27345 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134531763 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 190807 27345 43 100 0 190704 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 763228
[startup+942.301 s]
/proc/loadavg: 1.16 1.06 1.01 2/65 25534
/proc/meminfo: memFree=1543372/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=763228 CPUtime=941.93
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 38338 0 0 0 94177 16 0 0 25 0 1 0 164246656 781545472 27345 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134531763 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 190807 27345 43 100 0 190704 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 763228
[startup+1002.3 s]
/proc/loadavg: 1.10 1.06 1.00 2/65 25534
/proc/meminfo: memFree=1543372/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=763228 CPUtime=1001.92
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 38338 0 0 0 100175 17 0 0 25 0 1 0 164246656 781545472 27345 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134531763 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 190807 27345 43 100 0 190704 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 763228
[startup+1062.3 s]
/proc/loadavg: 1.04 1.05 1.00 2/65 25534
/proc/meminfo: memFree=1543372/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=763228 CPUtime=1061.91
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 38338 0 0 0 106174 17 0 0 25 0 1 0 164246656 781545472 27345 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134531741 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 190807 27345 43 100 0 190704 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 763228
[startup+1122.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 25534
/proc/meminfo: memFree=1543308/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=763228 CPUtime=1121.89
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 38338 0 0 0 112172 17 0 0 25 0 1 0 164246656 781545472 27345 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134531763 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 190807 27345 43 100 0 190704 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 763228
[startup+1182.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 25534
/proc/meminfo: memFree=1543372/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=763228 CPUtime=1181.87
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 38338 0 0 0 118170 17 0 0 25 0 1 0 164246656 781545472 27345 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134531776 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 190807 27345 43 100 0 190704 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 763228
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 25534
/proc/meminfo: memFree=1543436/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=763228 CPUtime=1200.07
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 38338 0 0 0 119990 17 0 0 25 0 1 0 164246656 781545472 27345 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134531668 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 190807 27345 43 100 0 190704 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 763228
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 25534
/proc/meminfo: memFree=1543436/2055920 swapFree=4182612/4192956
[pid=25335] ppid=25333 vsize=763228 CPUtime=1200.07
/proc/25335/stat : 25335 (dewSatz) R 25333 25335 24727 0 -1 4194304 38338 0 0 0 119990 17 0 0 25 0 1 0 164246656 781545472 27345 18446744073709551615 134512640 134923568 4294956672 18446744073709551615 134531668 0 0 4096 0 0 0 0 17 1 0 0
/proc/25335/statm: 190807 27345 43 100 0 190704 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 763228
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.52
CPU time (s): 1200.1
CPU user time (s): 1199.91
CPU system time (s): 0.19297
CPU usage (%): 99.9647
Max. virtual memory (cumulated for all children) (KiB): 763228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.91
system time used= 0.19297
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38338
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= 6
involuntary context switches= 2472
runsolver used 0.831873 second user time and 2.51462 second system time
The end
Begin job on node63 on Wed Apr 18 07:49:27 UTC 2007
IDJOB= 313314
IDBENCH= 20363
IDSOLVER= 119
FILE ID= node63/313314-1176882567
PBS_JOBID= 4595105
Free space on /tmp= 66467 MiB
SOLVER NAME= DEWSATZ 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/industrial/anbulagan/medium-sat/dated-10-17-s.cnf
COMMAND LINE= /tmp/evaluation/313314-1176882567/dewSatz /tmp/evaluation/313314-1176882567/instance-313314-1176882567.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-313314-1176882567 -o ROOT/results/node63/solver-313314-1176882567 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/313314-1176882567/dewSatz /tmp/evaluation/313314-1176882567/instance-313314-1176882567.cnf
META MD5SUM SOLVER= 96edd87e369231aed4bad098c50e0080
MD5SUM BENCH= 334ef674dc213d40fc569890874cc7af
RANDOM SEED= 608253611
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node63.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/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.232
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.232
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: 1653676 kB
Buffers: 14476 kB
Cached: 317904 kB
SwapCached: 4016 kB
Active: 104384 kB
Inactive: 258356 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1653676 kB
SwapTotal: 4192956 kB
SwapFree: 4182612 kB
Dirty: 20420 kB
Writeback: 0 kB
Mapped: 36056 kB
Slab: 25408 kB
Committed_AS: 1978784 kB
PageTables: 1508 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= 66467 MiB
End job on node63 on Wed Apr 18 08:09:30 UTC 2007