runsolver version 3.2.9 (svn:489) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1542189-1238507511/watcher-1542189-1238507511 -o /tmp/evaluation-result-1542189-1238507511/solver-1542189-1238507511 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/gnovelty+ HOME/instance-1542189-1238507511.cnf 1510779799 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.83 1.82 1.45 3/73 28847
/proc/meminfo: memFree=1619160/2055920 swapFree=4177652/4192956
[pid=28847] ppid=28845 vsize=71320 CPUtime=0
/proc/28847/stat : 28847 (gnovelty+) R 28845 28847 28685 0 -1 4194304 223 0 0 0 0 0 0 0 20 0 2 0 1123415058 73031680 183 1992294400 134512640 135730148 4294956192 18446744073709551615 134528252 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28847/statm: 17830 184 106 297 0 17530 0
[pid=28847/tid=28848] ppid=28845 vsize=71320 CPUtime=0
/proc/28847/task/28848/stat : 28848 (gnovelty+) R 28845 28847 28685 0 -1 4194368 0 0 0 0 0 0 0 0 22 0 2 0 1123415058 73031680 184 1992294400 134512640 135730148 4294956192 18446744073709551615 135207460 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.0803061 s]
/proc/loadavg: 1.83 1.82 1.45 3/73 28847
/proc/meminfo: memFree=1619160/2055920 swapFree=4177652/4192956
[pid=28847] ppid=28845 vsize=71320 CPUtime=0.32
/proc/28847/stat : 28847 (gnovelty+) S 28845 28847 28685 0 -1 4194304 287 0 0 0 29 3 0 0 16 0 2 0 1123415058 73031680 224 1992294400 134512640 135730148 4294956192 18446744073709551615 134613374 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28847/statm: 17830 224 106 297 0 17530 0
[pid=28847/tid=28848] ppid=28845 vsize=71320 CPUtime=0.21
/proc/28847/task/28848/stat : 28848 (gnovelty+) R 28845 28847 28685 0 -1 4194368 50 0 0 0 19 2 0 0 17 0 2 0 1123415058 73031680 224 1992294400 134512640 135730148 4294956192 18446744073709551615 135045135 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 71320
[startup+0.380881 s]
/proc/loadavg: 1.83 1.82 1.45 3/73 28847
/proc/meminfo: memFree=1619160/2055920 swapFree=4177652/4192956
[pid=28847] ppid=28845 vsize=71320 CPUtime=0.76
/proc/28847/stat : 28847 (gnovelty+) R 28845 28847 28685 0 -1 4194304 288 0 0 0 68 8 0 0 17 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134613374 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28847/statm: 17830 225 106 297 0 17530 0
[pid=28847/tid=28848] ppid=28845 vsize=71320 CPUtime=0.38
/proc/28847/task/28848/stat : 28848 (gnovelty+) R 28845 28847 28685 0 -1 4194368 51 0 0 0 34 4 0 0 17 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134613633 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 71320
[startup+0.412885 s]
/proc/loadavg: 1.83 1.82 1.45 3/73 28847
/proc/meminfo: memFree=1619160/2055920 swapFree=4177652/4192956
[pid=28847] ppid=28845 vsize=71320 CPUtime=0.81
/proc/28847/stat : 28847 (gnovelty+) R 28845 28847 28685 0 -1 4194304 288 0 0 0 73 8 0 0 17 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134613374 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28847/statm: 17830 225 106 297 0 17530 0
[pid=28847/tid=28848] ppid=28845 vsize=71320 CPUtime=0.4
/proc/28847/task/28848/stat : 28848 (gnovelty+) R 28845 28847 28685 0 -1 4194368 51 0 0 0 36 4 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134613633 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 71320
[startup+0.701058 s]
/proc/loadavg: 1.83 1.82 1.45 3/73 28847
/proc/meminfo: memFree=1619160/2055920 swapFree=4177652/4192956
[pid=28847] ppid=28845 vsize=71320 CPUtime=1.38
/proc/28847/stat : 28847 (gnovelty+) R 28845 28847 28685 0 -1 4194304 288 0 0 0 123 15 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134529493 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28847/statm: 17830 225 106 297 0 17530 0
[pid=28847/tid=28848] ppid=28845 vsize=71320 CPUtime=0.68
/proc/28847/task/28848/stat : 28848 (gnovelty+) R 28845 28847 28685 0 -1 4194368 51 0 0 0 61 7 0 0 17 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134613633 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 71320
[startup+1.50114 s]
/proc/loadavg: 1.83 1.82 1.45 3/75 28849
/proc/meminfo: memFree=1618576/2055920 swapFree=4177652/4192956
[pid=28847] ppid=28845 vsize=71320 CPUtime=2.98
/proc/28847/stat : 28847 (gnovelty+) R 28845 28847 28685 0 -1 4194304 288 0 0 0 261 37 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134529443 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28847/statm: 17830 225 106 297 0 17530 0
[pid=28847/tid=28848] ppid=28845 vsize=71320 CPUtime=1.48
/proc/28847/task/28848/stat : 28848 (gnovelty+) R 28845 28847 28685 0 -1 4194368 51 0 0 0 130 18 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134613633 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 71320
[startup+3.1013 s]
/proc/loadavg: 1.83 1.82 1.45 3/75 28849
/proc/meminfo: memFree=1618448/2055920 swapFree=4177652/4192956
[pid=28847] ppid=28845 vsize=71320 CPUtime=6.17
/proc/28847/stat : 28847 (gnovelty+) R 28845 28847 28685 0 -1 4194304 288 0 0 0 545 72 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 135045135 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28847/statm: 17830 225 106 297 0 17530 0
[pid=28847/tid=28848] ppid=28845 vsize=71320 CPUtime=3.08
/proc/28847/task/28848/stat : 28848 (gnovelty+) R 28845 28847 28685 0 -1 4194368 51 0 0 0 273 35 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134613633 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 71320
[startup+6.30163 s]
/proc/loadavg: 1.85 1.82 1.45 3/75 28849
/proc/meminfo: memFree=1618448/2055920 swapFree=4177652/4192956
[pid=28847] ppid=28845 vsize=71320 CPUtime=12.54
/proc/28847/stat : 28847 (gnovelty+) R 28845 28847 28685 0 -1 4194304 288 0 0 0 1108 146 0 0 17 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134518573 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28847/statm: 17830 225 106 297 0 17530 0
[pid=28847/tid=28848] ppid=28845 vsize=71320 CPUtime=6.28
/proc/28847/task/28848/stat : 28848 (gnovelty+) R 28845 28847 28685 0 -1 4194368 51 0 0 0 557 71 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134613633 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 71320
[startup+12.7011 s]
/proc/loadavg: 1.86 1.83 1.45 3/75 28849
/proc/meminfo: memFree=1618328/2055920 swapFree=4177652/4192956
[pid=28847] ppid=28845 vsize=71320 CPUtime=25.32
/proc/28847/stat : 28847 (gnovelty+) R 28845 28847 28685 0 -1 4194304 288 0 0 0 2230 302 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134613374 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/28847/statm: 17830 225 106 297 0 17530 0
[pid=28847/tid=28848] ppid=28845 vsize=71320 CPUtime=12.67
/proc/28847/task/28848/stat : 28848 (gnovelty+) R 28845 28847 28685 0 -1 4194368 51 0 0 0 1119 148 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134613633 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 71320
[startup+25.5064 s]
/proc/loadavg: 1.89 1.83 1.46 3/75 28849
/proc/meminfo: memFree=1618328/2055920 swapFree=4177652/4192956
[pid=28847] ppid=28845 vsize=71320 CPUtime=50.85
/proc/28847/stat : 28847 (gnovelty+) R 28845 28847 28685 0 -1 4194304 288 0 0 0 4483 602 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134518000 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/28847/statm: 17830 225 106 297 0 17530 0
[pid=28847/tid=28848] ppid=28845 vsize=71320 CPUtime=25.43
/proc/28847/task/28848/stat : 28848 (gnovelty+) R 28845 28847 28685 0 -1 4194368 51 0 0 0 2245 298 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134613633 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 71320
[startup+51.1012 s]
/proc/loadavg: 1.93 1.85 1.47 3/75 28849
/proc/meminfo: memFree=1618328/2055920 swapFree=4177652/4192956
[pid=28847] ppid=28845 vsize=71320 CPUtime=101.89
/proc/28847/stat : 28847 (gnovelty+) R 28845 28847 28685 0 -1 4194304 288 0 0 0 8938 1251 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134517602 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28847/statm: 17830 225 106 297 0 17530 0
[pid=28847/tid=28848] ppid=28845 vsize=71320 CPUtime=50.96
/proc/28847/task/28848/stat : 28848 (gnovelty+) R 28845 28847 28685 0 -1 4194368 51 0 0 0 4473 623 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134613633 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 71320
[startup+102.301 s]
/proc/loadavg: 1.97 1.87 1.50 3/75 28849
/proc/meminfo: memFree=1618264/2055920 swapFree=4177652/4192956
[pid=28847] ppid=28845 vsize=71320 CPUtime=204.01
/proc/28847/stat : 28847 (gnovelty+) R 28845 28847 28685 0 -1 4194304 288 0 0 0 17923 2478 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134613633 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/28847/statm: 17830 225 106 297 0 17530 0
[pid=28847/tid=28848] ppid=28845 vsize=71320 CPUtime=102.05
/proc/28847/task/28848/stat : 28848 (gnovelty+) R 28845 28847 28685 0 -1 4194368 51 0 0 0 8967 1238 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134613633 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (KiB) 71320
[startup+162.301 s]
/proc/loadavg: 1.90 1.86 1.52 3/75 28849
/proc/meminfo: memFree=1618264/2055920 swapFree=4177652/4192956
[pid=28847] ppid=28845 vsize=71320 CPUtime=323.65
/proc/28847/stat : 28847 (gnovelty+) R 28845 28847 28685 0 -1 4194304 288 0 0 0 28427 3938 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134613374 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28847/statm: 17830 225 106 297 0 17530 0
[pid=28847/tid=28848] ppid=28845 vsize=71320 CPUtime=161.84
/proc/28847/task/28848/stat : 28848 (gnovelty+) R 28845 28847 28685 0 -1 4194368 51 0 0 0 14220 1964 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134613633 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.65
Current children cumulated vsize (KiB) 71320
[startup+222.301 s]
/proc/loadavg: 1.89 1.87 1.54 3/75 28849
/proc/meminfo: memFree=1618264/2055920 swapFree=4177652/4192956
[pid=28847] ppid=28845 vsize=71320 CPUtime=443.32
/proc/28847/stat : 28847 (gnovelty+) R 28845 28847 28685 0 -1 4194304 288 0 0 0 38941 5391 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134518465 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/28847/statm: 17830 225 106 297 0 17530 0
[pid=28847/tid=28848] ppid=28845 vsize=71320 CPUtime=221.66
/proc/28847/task/28848/stat : 28848 (gnovelty+) R 28845 28847 28685 0 -1 4194368 51 0 0 0 19472 2694 0 0 17 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134517849 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.32
Current children cumulated vsize (KiB) 71320
[startup+282.302 s]
/proc/loadavg: 1.92 1.87 1.56 4/75 28849
/proc/meminfo: memFree=1618264/2055920 swapFree=4177652/4192956
[pid=28847] ppid=28845 vsize=71320 CPUtime=562.96
/proc/28847/stat : 28847 (gnovelty+) R 28845 28847 28685 0 -1 4194304 288 0 0 0 49480 6816 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134613633 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/28847/statm: 17830 225 106 297 0 17530 0
[pid=28847/tid=28848] ppid=28845 vsize=71320 CPUtime=281.49
/proc/28847/task/28848/stat : 28848 (gnovelty+) R 28845 28847 28685 0 -1 4194368 51 0 0 0 24734 3415 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134529405 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.96
Current children cumulated vsize (KiB) 71320
[startup+342.307 s]
/proc/loadavg: 1.94 1.88 1.58 3/75 28849
/proc/meminfo: memFree=1618328/2055920 swapFree=4177652/4192956
[pid=28847] ppid=28845 vsize=71320 CPUtime=682.62
/proc/28847/stat : 28847 (gnovelty+) R 28845 28847 28685 0 -1 4194304 288 0 0 0 59986 8276 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134613633 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/28847/statm: 17830 225 106 297 0 17530 0
[pid=28847/tid=28848] ppid=28845 vsize=71320 CPUtime=341.32
/proc/28847/task/28848/stat : 28848 (gnovelty+) R 28845 28847 28685 0 -1 4194368 51 0 0 0 29981 4151 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134528336 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 682.62
Current children cumulated vsize (KiB) 71320
[startup+402.302 s]
/proc/loadavg: 1.86 1.87 1.59 3/75 28849
/proc/meminfo: memFree=1618264/2055920 swapFree=4177652/4192956
[pid=28847] ppid=28845 vsize=71320 CPUtime=802.23
/proc/28847/stat : 28847 (gnovelty+) R 28845 28847 28685 0 -1 4194304 288 0 0 0 70496 9727 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134613633 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/28847/statm: 17830 225 106 297 0 17530 0
[pid=28847/tid=28848] ppid=28845 vsize=71320 CPUtime=401.12
/proc/28847/task/28848/stat : 28848 (gnovelty+) R 28845 28847 28685 0 -1 4194368 51 0 0 0 35235 4877 0 0 17 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134526930 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 802.23
Current children cumulated vsize (KiB) 71320
[startup+462.302 s]
/proc/loadavg: 1.84 1.86 1.60 3/75 28849
/proc/meminfo: memFree=1618264/2055920 swapFree=4177652/4192956
[pid=28847] ppid=28845 vsize=71320 CPUtime=921.88
/proc/28847/stat : 28847 (gnovelty+) R 28845 28847 28685 0 -1 4194304 288 0 0 0 81004 11184 0 0 17 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134518102 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28847/statm: 17830 225 106 297 0 17530 0
[pid=28847/tid=28848] ppid=28845 vsize=71320 CPUtime=460.91
/proc/28847/task/28848/stat : 28848 (gnovelty+) R 28845 28847 28685 0 -1 4194368 51 0 0 0 40481 5610 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134613633 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 921.88
Current children cumulated vsize (KiB) 71320
[startup+522.302 s]
/proc/loadavg: 2.00 1.90 1.63 3/75 28849
/proc/meminfo: memFree=1618200/2055920 swapFree=4177652/4192956
[pid=28847] ppid=28845 vsize=71320 CPUtime=1041.51
/proc/28847/stat : 28847 (gnovelty+) R 28845 28847 28685 0 -1 4194304 288 0 0 0 91527 12624 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134613633 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28847/statm: 17830 225 106 297 0 17530 0
[pid=28847/tid=28848] ppid=28845 vsize=71320 CPUtime=520.71
/proc/28847/task/28848/stat : 28848 (gnovelty+) R 28845 28847 28685 0 -1 4194368 51 0 0 0 45743 6328 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134529605 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.51
Current children cumulated vsize (KiB) 71320
[startup+582.302 s]
/proc/loadavg: 1.89 1.88 1.64 3/75 28855
/proc/meminfo: memFree=1618200/2055920 swapFree=4177652/4192956
[pid=28847] ppid=28845 vsize=71320 CPUtime=1161.13
/proc/28847/stat : 28847 (gnovelty+) R 28845 28847 28685 0 -1 4194304 288 0 0 0 102038 14075 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134613633 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28847/statm: 17830 225 106 297 0 17530 0
[pid=28847/tid=28848] ppid=28845 vsize=71320 CPUtime=580.53
/proc/28847/task/28848/stat : 28848 (gnovelty+) R 28845 28847 28685 0 -1 4194368 51 0 0 0 51001 7052 0 0 17 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134613633 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.13
Current children cumulated vsize (KiB) 71320
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+601.802 s]
/proc/loadavg: 1.92 1.89 1.65 3/75 28855
/proc/meminfo: memFree=1618200/2055920 swapFree=4177652/4192956
[pid=28847] ppid=28845 vsize=71320 CPUtime=1200.02
/proc/28847/stat : 28847 (gnovelty+) R 28845 28847 28685 0 -1 4194304 288 0 0 0 105451 14551 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134518443 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/28847/statm: 17830 225 106 297 0 17530 0
[pid=28847/tid=28848] ppid=28845 vsize=71320 CPUtime=600
/proc/28847/task/28848/stat : 28848 (gnovelty+) R 28845 28847 28685 0 -1 4194368 51 0 0 0 52709 7291 0 0 16 0 2 0 1123415058 73031680 225 1992294400 134512640 135730148 4294956192 18446744073709551615 134518573 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 71320
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.817
CPU time (s): 1200.05
CPU user time (s): 1054.53
CPU system time (s): 145.519
CPU usage (%): 199.404
Max. virtual memory (cumulated for all children) (KiB): 71320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1054.53
system time used= 145.519
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288
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= 170057
involuntary context switches= 7225
runsolver used 0.72289 second user time and 1.64375 second system time
The end
Begin job on node84 at 2009-03-31 15:51:51
IDJOB=1542189
IDBENCH=70561
IDSOLVER=551
FILE ID=node84/1542189-1238507511
PBS_JOBID= 9061975
Free space on /tmp= 66312 MiB
SOLVER NAME= gNovelty+-V.2-T-H 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/420/unif-k3-r4.25-v420-c1785-S1136141672-041.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1542189-1238507511/watcher-1542189-1238507511 -o /tmp/evaluation-result-1542189-1238507511/solver-1542189-1238507511 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/gnovelty+ HOME/instance-1542189-1238507511.cnf 1510779799 2
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 2
MD5SUM BENCH= 09d6fe3a1e05d3fb5871651e475eb37c
RANDOM SEED=1510779799
node84.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.231
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.231
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: 1619576 kB
Buffers: 78612 kB
Cached: 269404 kB
SwapCached: 6944 kB
Active: 177260 kB
Inactive: 179944 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1619576 kB
SwapTotal: 4192956 kB
SwapFree: 4177652 kB
Dirty: 1476 kB
Writeback: 0 kB
Mapped: 14856 kB
Slab: 64232 kB
Committed_AS: 2961932 kB
PageTables: 1980 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= 66312 MiB
End job on node84 at 2009-03-31 16:01:55