runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1731937-1240776298/watcher-1731937-1240776298 -o /tmp/evaluation-result-1731937-1240776298/solver-1731937-1240776298 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/gnovelty+ HOME/instance-1731937-1240776298.cnf 533203694 2
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.22 1.03 1.01 3/64 25128
/proc/meminfo: memFree=1364720/2055920 swapFree=4192812/4192956
[pid=25128] ppid=25126 vsize=509152 CPUtime=0
/proc/25128/stat : 25128 (gnovelty+) R 25126 25128 24635 0 -1 4194304 1018 0 0 0 0 0 0 0 18 0 1 0 105663590 521371648 1003 1992294400 134512640 135680988 4294956192 18446744073709551615 134537167 0 0 4096 0 0 0 0 17 1 0 0
/proc/25128/statm: 127288 1010 101 285 0 127000 0
[startup+0.0327119 s]
/proc/loadavg: 1.22 1.03 1.01 3/64 25128
/proc/meminfo: memFree=1364720/2055920 swapFree=4192812/4192956
[pid=25128] ppid=25126 vsize=509152 CPUtime=0.02
/proc/25128/stat : 25128 (gnovelty+) R 25126 25128 24635 0 -1 4194304 6705 0 0 0 0 2 0 0 18 0 1 0 105663590 521371648 6690 1992294400 134512640 135680988 4294956192 18446744073709551615 134537167 0 0 4096 0 0 0 0 17 1 0 0
/proc/25128/statm: 127288 6698 101 285 0 127000 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 509152
[startup+0.10172 s]
/proc/loadavg: 1.22 1.03 1.01 3/64 25128
/proc/meminfo: memFree=1364720/2055920 swapFree=4192812/4192956
[pid=25128] ppid=25126 vsize=516964 CPUtime=0.09
/proc/25128/stat : 25128 (gnovelty+) R 25126 25128 24635 0 -1 4194304 16097 0 0 0 3 6 0 0 18 0 1 0 105663590 529371136 16081 1992294400 134512640 135680988 4294956192 18446744073709551615 134537708 0 0 4096 0 0 0 0 17 1 0 0
/proc/25128/statm: 129241 16086 102 285 0 128953 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 516964
[startup+0.301742 s]
/proc/loadavg: 1.22 1.03 1.01 3/64 25128
/proc/meminfo: memFree=1364720/2055920 swapFree=4192812/4192956
[pid=25128] ppid=25126 vsize=529164 CPUtime=0.47
/proc/25128/stat : 25128 (gnovelty+) R 25126 25128 24635 0 -1 4194304 19680 0 0 0 24 23 0 0 16 0 2 0 105663590 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25128/statm: 132291 19664 106 285 0 132003 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 529164
[startup+0.701978 s]
/proc/loadavg: 1.22 1.03 1.01 3/64 25128
/proc/meminfo: memFree=1364720/2055920 swapFree=4192812/4192956
[pid=25128] ppid=25126 vsize=529164 CPUtime=1.26
/proc/25128/stat : 25128 (gnovelty+) R 25126 25128 24635 0 -1 4194304 19680 0 0 0 72 54 0 0 16 0 2 0 105663590 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134997743 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25128/statm: 132291 19664 106 285 0 132003 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 529164
[startup+1.50207 s]
/proc/loadavg: 1.22 1.03 1.01 3/66 25130
/proc/meminfo: memFree=1286240/2055920 swapFree=4192812/4192956
[pid=25128] ppid=25126 vsize=529164 CPUtime=2.86
/proc/25128/stat : 25128 (gnovelty+) R 25126 25128 24635 0 -1 4194304 19680 0 0 0 165 121 0 0 16 0 2 0 105663590 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957422 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25128/statm: 132291 19664 106 285 0 132003 0
[pid=25128/tid=25130] ppid=25126 vsize=529164 CPUtime=1.36
/proc/25128/task/25130/stat : 25130 (gnovelty+) R 25126 25128 24635 0 -1 4194368 0 0 0 0 81 55 0 0 16 0 2 0 105663603 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134533800 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 529164
[startup+3.10206 s]
/proc/loadavg: 1.22 1.03 1.01 3/66 25130
/proc/meminfo: memFree=1286112/2055920 swapFree=4192812/4192956
[pid=25128] ppid=25126 vsize=529164 CPUtime=6.05
/proc/25128/stat : 25128 (gnovelty+) R 25126 25128 24635 0 -1 4194304 19680 0 0 0 357 248 0 0 16 0 2 0 105663590 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25128/statm: 132291 19664 106 285 0 132003 0
[pid=25128/tid=25130] ppid=25126 vsize=529164 CPUtime=2.95
/proc/25128/task/25130/stat : 25130 (gnovelty+) R 25126 25128 24635 0 -1 4194368 0 0 0 0 179 116 0 0 16 0 2 0 105663603 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 529164
[startup+6.30141 s]
/proc/loadavg: 1.28 1.05 1.02 3/66 25130
/proc/meminfo: memFree=1286112/2055920 swapFree=4192812/4192956
[pid=25128] ppid=25126 vsize=529164 CPUtime=12.42
/proc/25128/stat : 25128 (gnovelty+) R 25126 25128 24635 0 -1 4194304 19680 0 0 0 745 497 0 0 16 0 2 0 105663590 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134533068 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/25128/statm: 132291 19664 106 285 0 132003 0
[pid=25128/tid=25130] ppid=25126 vsize=529164 CPUtime=6.14
/proc/25128/task/25130/stat : 25130 (gnovelty+) R 25126 25128 24635 0 -1 4194368 0 0 0 0 373 241 0 0 16 0 2 0 105663603 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 529164
[startup+12.7011 s]
/proc/loadavg: 1.34 1.06 1.02 3/66 25130
/proc/meminfo: memFree=1286048/2055920 swapFree=4192812/4192956
[pid=25128] ppid=25126 vsize=529164 CPUtime=25.19
/proc/25128/stat : 25128 (gnovelty+) R 25126 25128 24635 0 -1 4194304 19680 0 0 0 1516 1003 0 0 16 0 2 0 105663590 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957422 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/25128/statm: 132291 19664 106 285 0 132003 0
[pid=25128/tid=25130] ppid=25126 vsize=529164 CPUtime=12.53
/proc/25128/task/25130/stat : 25130 (gnovelty+) R 25126 25128 24635 0 -1 4194368 0 0 0 0 753 500 0 0 16 0 2 0 105663603 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 529164
[startup+25.5017 s]
/proc/loadavg: 1.40 1.09 1.03 2/66 25130
/proc/meminfo: memFree=1285984/2055920 swapFree=4192812/4192956
[pid=25128] ppid=25126 vsize=529164 CPUtime=50.71
/proc/25128/stat : 25128 (gnovelty+) R 25126 25128 24635 0 -1 4194304 19680 0 0 0 3036 2035 0 0 16 0 2 0 105663590 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134541481 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25128/statm: 132291 19664 106 285 0 132003 0
[pid=25128/tid=25130] ppid=25126 vsize=529164 CPUtime=25.29
/proc/25128/task/25130/stat : 25130 (gnovelty+) R 25126 25128 24635 0 -1 4194368 0 0 0 0 1513 1016 0 0 16 0 2 0 105663603 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 529164
[startup+51.1014 s]
/proc/loadavg: 1.54 1.15 1.05 3/66 25130
/proc/meminfo: memFree=1285984/2055920 swapFree=4192812/4192956
[pid=25128] ppid=25126 vsize=529164 CPUtime=101.74
/proc/25128/stat : 25128 (gnovelty+) R 25126 25128 24635 0 -1 4194304 19680 0 0 0 6086 4088 0 0 16 0 2 0 105663590 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/25128/statm: 132291 19664 106 285 0 132003 0
[pid=25128/tid=25130] ppid=25126 vsize=529164 CPUtime=50.8
/proc/25128/task/25130/stat : 25130 (gnovelty+) R 25126 25128 24635 0 -1 4194368 0 0 0 0 3034 2046 0 0 16 0 2 0 105663603 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 529164
[startup+102.305 s]
/proc/loadavg: 1.59 1.22 1.08 3/66 25130
/proc/meminfo: memFree=1285856/2055920 swapFree=4192812/4192956
[pid=25128] ppid=25126 vsize=529164 CPUtime=203.84
/proc/25128/stat : 25128 (gnovelty+) R 25126 25128 24635 0 -1 4194304 19680 0 0 0 12200 8184 0 0 16 0 2 0 105663590 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957422 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/25128/statm: 132291 19664 106 285 0 132003 0
[pid=25128/tid=25130] ppid=25126 vsize=529164 CPUtime=101.85
/proc/25128/task/25130/stat : 25130 (gnovelty+) R 25126 25128 24635 0 -1 4194368 0 0 0 0 6092 4093 0 0 16 0 2 0 105663603 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.84
Current children cumulated vsize (KiB) 529164
[startup+162.302 s]
/proc/loadavg: 1.68 1.30 1.11 2/66 25130
/proc/meminfo: memFree=1285856/2055920 swapFree=4192812/4192956
[pid=25128] ppid=25126 vsize=529164 CPUtime=323.47
/proc/25128/stat : 25128 (gnovelty+) R 25126 25128 24635 0 -1 4194304 19680 0 0 0 19364 12983 0 0 16 0 2 0 105663590 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957422 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25128/statm: 132291 19664 106 285 0 132003 0
[pid=25128/tid=25130] ppid=25126 vsize=529164 CPUtime=161.64
/proc/25128/task/25130/stat : 25130 (gnovelty+) R 25126 25128 24635 0 -1 4194368 0 0 0 0 9665 6499 0 0 16 0 2 0 105663603 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.47
Current children cumulated vsize (KiB) 529164
[startup+222.301 s]
/proc/loadavg: 1.69 1.38 1.15 3/66 25130
/proc/meminfo: memFree=1285856/2055920 swapFree=4192812/4192956
[pid=25128] ppid=25126 vsize=529164 CPUtime=443.09
/proc/25128/stat : 25128 (gnovelty+) R 25126 25128 24635 0 -1 4194304 19680 0 0 0 26530 17779 0 0 16 0 2 0 105663590 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957422 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/25128/statm: 132291 19664 106 285 0 132003 0
[pid=25128/tid=25130] ppid=25126 vsize=529164 CPUtime=221.42
/proc/25128/task/25130/stat : 25130 (gnovelty+) R 25126 25128 24635 0 -1 4194368 0 0 0 0 13223 8919 0 0 16 0 2 0 105663603 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.09
Current children cumulated vsize (KiB) 529164
[startup+282.301 s]
/proc/loadavg: 1.75 1.45 1.19 3/66 25130
/proc/meminfo: memFree=1285856/2055920 swapFree=4192812/4192956
[pid=25128] ppid=25126 vsize=529164 CPUtime=562.71
/proc/25128/stat : 25128 (gnovelty+) R 25126 25128 24635 0 -1 4194304 19680 0 0 0 33691 22580 0 0 16 0 2 0 105663590 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25128/statm: 132291 19664 106 285 0 132003 0
[pid=25128/tid=25130] ppid=25126 vsize=529164 CPUtime=281.21
/proc/25128/task/25130/stat : 25130 (gnovelty+) R 25126 25128 24635 0 -1 4194368 0 0 0 0 16803 11318 0 0 16 0 2 0 105663603 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957422 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.71
Current children cumulated vsize (KiB) 529164
[startup+342.301 s]
/proc/loadavg: 1.72 1.49 1.21 3/66 25130
/proc/meminfo: memFree=1285864/2055920 swapFree=4192812/4192956
[pid=25128] ppid=25126 vsize=529164 CPUtime=682.32
/proc/25128/stat : 25128 (gnovelty+) R 25126 25128 24635 0 -1 4194304 19680 0 0 0 40822 27410 0 0 16 0 2 0 105663590 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/25128/statm: 132291 19664 106 285 0 132003 0
[pid=25128/tid=25130] ppid=25126 vsize=529164 CPUtime=341.02
/proc/25128/task/25130/stat : 25130 (gnovelty+) R 25126 25128 24635 0 -1 4194368 0 0 0 0 20372 13730 0 0 16 0 2 0 105663603 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.32
Current children cumulated vsize (KiB) 529164
[startup+402.302 s]
/proc/loadavg: 1.83 1.57 1.25 3/66 25130
/proc/meminfo: memFree=1285864/2055920 swapFree=4192812/4192956
[pid=25128] ppid=25126 vsize=529164 CPUtime=801.9
/proc/25128/stat : 25128 (gnovelty+) R 25126 25128 24635 0 -1 4194304 19680 0 0 0 48023 32167 0 0 16 0 2 0 105663590 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134533489 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25128/statm: 132291 19664 106 285 0 132003 0
[pid=25128/tid=25130] ppid=25126 vsize=529164 CPUtime=400.79
/proc/25128/task/25130/stat : 25130 (gnovelty+) R 25126 25128 24635 0 -1 4194368 0 0 0 0 23975 16104 0 0 16 0 2 0 105663603 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 801.9
Current children cumulated vsize (KiB) 529164
[startup+462.301 s]
/proc/loadavg: 1.83 1.61 1.29 3/66 25130
/proc/meminfo: memFree=1285864/2055920 swapFree=4192812/4192956
[pid=25128] ppid=25126 vsize=529164 CPUtime=921.5
/proc/25128/stat : 25128 (gnovelty+) R 25126 25128 24635 0 -1 4194304 19680 0 0 0 55188 36962 0 0 16 0 2 0 105663590 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/25128/statm: 132291 19664 106 285 0 132003 0
[pid=25128/tid=25130] ppid=25126 vsize=529164 CPUtime=460.61
/proc/25128/task/25130/stat : 25130 (gnovelty+) R 25126 25128 24635 0 -1 4194368 0 0 0 0 27549 18512 0 0 16 0 2 0 105663603 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 921.5
Current children cumulated vsize (KiB) 529164
[startup+522.302 s]
/proc/loadavg: 1.73 1.63 1.31 3/66 25130
/proc/meminfo: memFree=1285800/2055920 swapFree=4192812/4192956
[pid=25128] ppid=25126 vsize=529164 CPUtime=1041.11
/proc/25128/stat : 25128 (gnovelty+) R 25126 25128 24635 0 -1 4194304 19680 0 0 0 62353 41758 0 0 16 0 2 0 105663590 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/25128/statm: 132291 19664 106 285 0 132003 0
[pid=25128/tid=25130] ppid=25126 vsize=529164 CPUtime=520.44
/proc/25128/task/25130/stat : 25130 (gnovelty+) R 25126 25128 24635 0 -1 4194368 0 0 0 0 31118 20926 0 0 16 0 2 0 105663603 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.11
Current children cumulated vsize (KiB) 529164
[startup+582.302 s]
/proc/loadavg: 1.85 1.68 1.35 3/66 25130
/proc/meminfo: memFree=1285864/2055920 swapFree=4192812/4192956
[pid=25128] ppid=25126 vsize=529164 CPUtime=1160.72
/proc/25128/stat : 25128 (gnovelty+) R 25126 25128 24635 0 -1 4194304 19680 0 0 0 69539 46533 0 0 16 0 2 0 105663590 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/25128/statm: 132291 19664 106 285 0 132003 0
[pid=25128/tid=25130] ppid=25126 vsize=529164 CPUtime=580.23
/proc/25128/task/25130/stat : 25130 (gnovelty+) R 25126 25128 24635 0 -1 4194368 0 0 0 0 34725 23298 0 0 16 0 2 0 105663603 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134997786 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1160.72
Current children cumulated vsize (KiB) 529164
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+602.101 s]
/proc/loadavg: 1.69 1.65 1.35 3/66 25130
/proc/meminfo: memFree=1285800/2055920 swapFree=4192812/4192956
[pid=25128] ppid=25126 vsize=529164 CPUtime=1200.18
/proc/25128/stat : 25128 (gnovelty+) R 25126 25128 24635 0 -1 4194304 19680 0 0 0 71892 48126 0 0 16 0 2 0 105663590 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134533773 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/25128/statm: 132291 19664 106 285 0 132003 0
[pid=25128/tid=25130] ppid=25126 vsize=529164 CPUtime=599.92
/proc/25128/task/25130/stat : 25130 (gnovelty+) R 25126 25128 24635 0 -1 4194368 0 0 0 0 35904 24088 0 0 16 0 2 0 105663603 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.18
Current children cumulated vsize (KiB) 529164
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+602.101 s]
/proc/loadavg: 1.69 1.65 1.35 3/66 25130
/proc/meminfo: memFree=1285800/2055920 swapFree=4192812/4192956
[pid=25128] ppid=25126 vsize=529164 CPUtime=1200.18
/proc/25128/stat : 25128 (gnovelty+) R 25126 25128 24635 0 -1 4194304 19680 0 0 0 71892 48126 0 0 16 0 2 0 105663590 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134533773 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/25128/statm: 132291 19664 106 285 0 132003 0
[pid=25128/tid=25130] ppid=25126 vsize=529164 CPUtime=599.92
/proc/25128/task/25130/stat : 25130 (gnovelty+) R 25126 25128 24635 0 -1 4194368 0 0 0 0 35904 24088 0 0 16 0 2 0 105663603 541863936 19664 1992294400 134512640 135680988 4294956192 18446744073709551615 134957681 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.18
Current children cumulated vsize (KiB) 529164
Child ended because it received signal 15 (SIGTERM)
Real time (s): 602.125
CPU time (s): 1200.22
CPU user time (s): 718.934
CPU system time (s): 481.291
CPU usage (%): 199.331
Max. virtual memory (cumulated for all children) (KiB): 529164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 718.934
system time used= 481.291
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19680
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= 323182
involuntary context switches= 6439
runsolver used 0.578911 second user time and 1.63275 second system time
The end
Begin job on node9 at 2009-04-26 22:04:59
IDJOB=1731937
IDBENCH=71106
IDSOLVER=550
FILE ID=node9/1731937-1240776298
PBS_JOBID= 9187170
Free space on /tmp= 66364 MiB
SOLVER NAME= gNovelty+-T 2009-03-22
BENCH NAME= SAT09/CRAFTED/sgen/unsat/sgen1-unsat-85-100.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1731937-1240776298/watcher-1731937-1240776298 -o /tmp/evaluation-result-1731937-1240776298/solver-1731937-1240776298 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/gnovelty+ HOME/instance-1731937-1240776298.cnf 533203694 2
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 2
MD5SUM BENCH= 5edff193beb565edf484fbb5f8f23427
RANDOM SEED=533203694
node9.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.240
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.240
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: 1365200 kB
Buffers: 69616 kB
Cached: 528572 kB
SwapCached: 144 kB
Active: 50720 kB
Inactive: 561436 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1365200 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1588 kB
Writeback: 0 kB
Mapped: 23688 kB
Slab: 64612 kB
Committed_AS: 387260 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= 66364 MiB
End job on node9 at 2009-04-26 22:15:03