runsolver version 3.2.9 (svn:489) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1541614-1238464110/watcher-1541614-1238464110 -o /tmp/evaluation-result-1541614-1238464110/solver-1541614-1238464110 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/gnovelty+ HOME/instance-1541614-1238464110.cnf 305297857 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: 0.84 0.94 0.97 3/64 32226
/proc/meminfo: memFree=974872/2055920 swapFree=4176868/4192956
[pid=32226] ppid=32224 vsize=60764 CPUtime=0
/proc/32226/stat : 32226 (gnovelty+) R 32224 32226 32189 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 1119073352 62222336 133 1992294400 134512640 135728688 4294956192 18446744073709551615 134549760 0 0 4096 0 0 0 0 17 1 0 0
/proc/32226/statm: 15191 133 100 296 0 14892 0
[startup+0.0898361 s]
/proc/loadavg: 0.84 0.94 0.97 3/64 32226
/proc/meminfo: memFree=974872/2055920 swapFree=4176868/4192956
[pid=32226] ppid=32224 vsize=71420 CPUtime=0.15
/proc/32226/stat : 32226 (gnovelty+) R 32224 32226 32189 0 -1 4194304 305 0 0 0 15 0 0 0 18 0 2 0 1119073352 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134612145 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32226/statm: 17855 289 104 296 0 17556 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 71420
[startup+0.101836 s]
/proc/loadavg: 0.84 0.94 0.97 3/64 32226
/proc/meminfo: memFree=974872/2055920 swapFree=4176868/4192956
[pid=32226] ppid=32224 vsize=71420 CPUtime=0.17
/proc/32226/stat : 32226 (gnovelty+) R 32224 32226 32189 0 -1 4194304 305 0 0 0 17 0 0 0 18 0 2 0 1119073352 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134612145 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32226/statm: 17855 289 104 296 0 17556 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 71420
[startup+0.301855 s]
/proc/loadavg: 0.84 0.94 0.97 3/64 32226
/proc/meminfo: memFree=974872/2055920 swapFree=4176868/4192956
[pid=32226] ppid=32224 vsize=71420 CPUtime=0.57
/proc/32226/stat : 32226 (gnovelty+) R 32224 32226 32189 0 -1 4194304 305 0 0 0 57 0 0 0 20 0 2 0 1119073352 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134553199 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32226/statm: 17855 289 104 296 0 17556 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 71420
[startup+0.701891 s]
/proc/loadavg: 0.84 0.94 0.97 3/64 32226
/proc/meminfo: memFree=974872/2055920 swapFree=4176868/4192956
[pid=32226] ppid=32224 vsize=71420 CPUtime=1.37
/proc/32226/stat : 32226 (gnovelty+) R 32224 32226 32189 0 -1 4194304 305 0 0 0 137 0 0 0 18 0 2 0 1119073352 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134612145 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32226/statm: 17855 289 104 296 0 17556 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 71420
[startup+1.50197 s]
/proc/loadavg: 0.84 0.94 0.97 3/66 32228
/proc/meminfo: memFree=974088/2055920 swapFree=4176868/4192956
[pid=32226] ppid=32224 vsize=71420 CPUtime=2.97
/proc/32226/stat : 32226 (gnovelty+) R 32224 32226 32189 0 -1 4194304 305 0 0 0 296 1 0 0 18 0 2 0 1119073352 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134612145 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32226/statm: 17855 289 104 296 0 17556 0
[pid=32226/tid=32228] ppid=32224 vsize=71420 CPUtime=1.47
/proc/32226/task/32228/stat : 32228 (gnovelty+) R 32224 32226 32189 0 -1 4194368 20 0 0 0 147 0 0 0 17 0 2 0 1119073354 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134517465 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 71420
[startup+3.10111 s]
/proc/loadavg: 0.84 0.94 0.97 3/66 32228
/proc/meminfo: memFree=973960/2055920 swapFree=4176868/4192956
[pid=32226] ppid=32224 vsize=71420 CPUtime=6.16
/proc/32226/stat : 32226 (gnovelty+) R 32224 32226 32189 0 -1 4194304 305 0 0 0 613 3 0 0 17 0 2 0 1119073352 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134612145 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32226/statm: 17855 289 104 296 0 17556 0
[pid=32226/tid=32228] ppid=32224 vsize=71420 CPUtime=3.06
/proc/32226/task/32228/stat : 32228 (gnovelty+) R 32224 32226 32189 0 -1 4194368 20 0 0 0 305 1 0 0 17 0 2 0 1119073354 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134517088 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 71420
[startup+6.30141 s]
/proc/loadavg: 0.93 0.96 0.97 3/66 32228
/proc/meminfo: memFree=973832/2055920 swapFree=4176868/4192956
[pid=32226] ppid=32224 vsize=71420 CPUtime=12.55
/proc/32226/stat : 32226 (gnovelty+) R 32224 32226 32189 0 -1 4194304 305 0 0 0 1249 6 0 0 16 0 2 0 1119073352 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134612145 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32226/statm: 17855 289 104 296 0 17556 0
[pid=32226/tid=32228] ppid=32224 vsize=71420 CPUtime=6.24
/proc/32226/task/32228/stat : 32228 (gnovelty+) R 32224 32226 32189 0 -1 4194368 20 0 0 0 622 2 0 0 17 0 2 0 1119073354 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134517465 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 71420
[startup+12.702 s]
/proc/loadavg: 1.02 0.97 0.98 3/66 32228
/proc/meminfo: memFree=973776/2055920 swapFree=4176868/4192956
[pid=32226] ppid=32224 vsize=71420 CPUtime=25.32
/proc/32226/stat : 32226 (gnovelty+) R 32224 32226 32189 0 -1 4194304 305 0 0 0 2519 13 0 0 16 0 2 0 1119073352 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134528680 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32226/statm: 17855 289 104 296 0 17556 0
[pid=32226/tid=32228] ppid=32224 vsize=71420 CPUtime=12.64
/proc/32226/task/32228/stat : 32228 (gnovelty+) R 32224 32226 32189 0 -1 4194368 20 0 0 0 1258 6 0 0 17 0 2 0 1119073354 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134612145 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 71420
[startup+25.5012 s]
/proc/loadavg: 1.24 1.02 0.99 3/66 32228
/proc/meminfo: memFree=973776/2055920 swapFree=4176868/4192956
[pid=32226] ppid=32224 vsize=71420 CPUtime=50.86
/proc/32226/stat : 32226 (gnovelty+) R 32224 32226 32189 0 -1 4194304 305 0 0 0 5059 27 0 0 17 0 2 0 1119073352 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134517846 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32226/statm: 17855 289 104 296 0 17556 0
[pid=32226/tid=32228] ppid=32224 vsize=71420 CPUtime=25.44
/proc/32226/task/32228/stat : 32228 (gnovelty+) R 32224 32226 32189 0 -1 4194368 20 0 0 0 2531 13 0 0 17 0 2 0 1119073354 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134517099 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 71420
[startup+51.1016 s]
/proc/loadavg: 1.50 1.10 1.02 3/66 32228
/proc/meminfo: memFree=973776/2055920 swapFree=4176868/4192956
[pid=32226] ppid=32224 vsize=71420 CPUtime=101.95
/proc/32226/stat : 32226 (gnovelty+) R 32224 32226 32189 0 -1 4194304 305 0 0 0 10142 53 0 0 17 0 2 0 1119073352 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134517377 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32226/statm: 17855 289 104 296 0 17556 0
[pid=32226/tid=32228] ppid=32224 vsize=71420 CPUtime=51.02
/proc/32226/task/32228/stat : 32228 (gnovelty+) R 32224 32226 32189 0 -1 4194368 20 0 0 0 5077 25 0 0 16 0 2 0 1119073354 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134612145 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 71420
[startup+102.305 s]
/proc/loadavg: 1.84 1.25 1.07 3/66 32228
/proc/meminfo: memFree=973776/2055920 swapFree=4176868/4192956
[pid=32226] ppid=32224 vsize=71420 CPUtime=204.13
/proc/32226/stat : 32226 (gnovelty+) R 32224 32226 32189 0 -1 4194304 305 0 0 0 20304 109 0 0 17 0 2 0 1119073352 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134612145 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32226/statm: 17855 289 104 296 0 17556 0
[pid=32226/tid=32228] ppid=32224 vsize=71420 CPUtime=102.1
/proc/32226/task/32228/stat : 32228 (gnovelty+) R 32224 32226 32189 0 -1 4194368 20 0 0 0 10157 53 0 0 17 0 2 0 1119073354 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134517846 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 204.13
Current children cumulated vsize (KiB) 71420
[startup+162.302 s]
/proc/loadavg: 1.94 1.39 1.13 3/66 32228
/proc/meminfo: memFree=973776/2055920 swapFree=4176868/4192956
[pid=32226] ppid=32224 vsize=71420 CPUtime=323.87
/proc/32226/stat : 32226 (gnovelty+) R 32224 32226 32189 0 -1 4194304 305 0 0 0 32214 173 0 0 18 0 2 0 1119073352 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134612145 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32226/statm: 17855 289 104 296 0 17556 0
[pid=32226/tid=32228] ppid=32224 vsize=71420 CPUtime=162.02
/proc/32226/task/32228/stat : 32228 (gnovelty+) R 32224 32226 32189 0 -1 4194368 20 0 0 0 16115 87 0 0 16 0 2 0 1119073354 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134528229 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.87
Current children cumulated vsize (KiB) 71420
[startup+222.301 s]
/proc/loadavg: 1.98 1.49 1.18 3/66 32228
/proc/meminfo: memFree=973712/2055920 swapFree=4176868/4192956
[pid=32226] ppid=32224 vsize=71420 CPUtime=443.6
/proc/32226/stat : 32226 (gnovelty+) R 32224 32226 32189 0 -1 4194304 305 0 0 0 44124 236 0 0 16 0 2 0 1119073352 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134517863 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32226/statm: 17855 289 104 296 0 17556 0
[pid=32226/tid=32228] ppid=32224 vsize=71420 CPUtime=221.96
/proc/32226/task/32228/stat : 32228 (gnovelty+) R 32224 32226 32189 0 -1 4194368 20 0 0 0 22076 120 0 0 17 0 2 0 1119073354 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134612145 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.6
Current children cumulated vsize (KiB) 71420
[startup+282.302 s]
/proc/loadavg: 1.99 1.58 1.23 3/66 32228
/proc/meminfo: memFree=973712/2055920 swapFree=4176868/4192956
[pid=32226] ppid=32224 vsize=71420 CPUtime=563.36
/proc/32226/stat : 32226 (gnovelty+) R 32224 32226 32189 0 -1 4194304 305 0 0 0 56034 302 0 0 17 0 2 0 1119073352 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134553199 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32226/statm: 17855 289 104 296 0 17556 0
[pid=32226/tid=32228] ppid=32224 vsize=71420 CPUtime=281.94
/proc/32226/task/32228/stat : 32228 (gnovelty+) R 32224 32226 32189 0 -1 4194368 20 0 0 0 28043 151 0 0 17 0 2 0 1119073354 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134612145 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 563.36
Current children cumulated vsize (KiB) 71420
[startup+342.302 s]
/proc/loadavg: 1.99 1.66 1.28 3/66 32228
/proc/meminfo: memFree=973712/2055920 swapFree=4176868/4192956
[pid=32226] ppid=32224 vsize=71420 CPUtime=683.08
/proc/32226/stat : 32226 (gnovelty+) R 32224 32226 32189 0 -1 4194304 305 0 0 0 67938 370 0 0 16 0 2 0 1119073352 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 135043700 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32226/statm: 17855 289 104 296 0 17556 0
[pid=32226/tid=32228] ppid=32224 vsize=71420 CPUtime=341.89
/proc/32226/task/32228/stat : 32228 (gnovelty+) R 32224 32226 32189 0 -1 4194368 20 0 0 0 34004 185 0 0 19 0 2 0 1119073354 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134612145 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 683.08
Current children cumulated vsize (KiB) 71420
[startup+402.301 s]
/proc/loadavg: 1.99 1.72 1.32 3/66 32228
/proc/meminfo: memFree=973648/2055920 swapFree=4176868/4192956
[pid=32226] ppid=32224 vsize=71420 CPUtime=802.82
/proc/32226/stat : 32226 (gnovelty+) R 32224 32226 32189 0 -1 4194304 305 0 0 0 79851 431 0 0 17 0 2 0 1119073352 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134517099 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32226/statm: 17855 289 104 296 0 17556 0
[pid=32226/tid=32228] ppid=32224 vsize=71420 CPUtime=401.77
/proc/32226/task/32228/stat : 32228 (gnovelty+) R 32224 32226 32189 0 -1 4194368 20 0 0 0 39963 214 0 0 16 0 2 0 1119073354 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134553280 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.82
Current children cumulated vsize (KiB) 71420
[startup+462.302 s]
/proc/loadavg: 1.99 1.77 1.36 3/66 32228
/proc/meminfo: memFree=973712/2055920 swapFree=4176868/4192956
[pid=32226] ppid=32224 vsize=71420 CPUtime=922.56
/proc/32226/stat : 32226 (gnovelty+) R 32224 32226 32189 0 -1 4194304 305 0 0 0 91765 491 0 0 16 0 2 0 1119073352 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134517815 0 0 4096 0 18446744073709551615 0 0 17 0 0 0
/proc/32226/statm: 17855 289 104 296 0 17556 0
[pid=32226/tid=32228] ppid=32224 vsize=71420 CPUtime=461.63
/proc/32226/task/32228/stat : 32228 (gnovelty+) R 32224 32226 32189 0 -1 4194368 20 0 0 0 45921 242 0 0 17 0 2 0 1119073354 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134612145 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 922.56
Current children cumulated vsize (KiB) 71420
[startup+522.301 s]
/proc/loadavg: 1.93 1.79 1.39 3/66 32228
/proc/meminfo: memFree=973712/2055920 swapFree=4176868/4192956
[pid=32226] ppid=32224 vsize=71420 CPUtime=1042.3
/proc/32226/stat : 32226 (gnovelty+) R 32224 32226 32189 0 -1 4194304 305 0 0 0 103676 554 0 0 17 0 2 0 1119073352 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134528980 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32226/statm: 17855 289 104 296 0 17556 0
[pid=32226/tid=32228] ppid=32224 vsize=71420 CPUtime=521.58
/proc/32226/task/32228/stat : 32228 (gnovelty+) R 32224 32226 32189 0 -1 4194368 20 0 0 0 51886 272 0 0 16 0 2 0 1119073354 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134612145 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1042.3
Current children cumulated vsize (KiB) 71420
[startup+582.302 s]
/proc/loadavg: 1.97 1.83 1.42 3/66 32228
/proc/meminfo: memFree=973712/2055920 swapFree=4176868/4192956
[pid=32226] ppid=32224 vsize=71420 CPUtime=1162.04
/proc/32226/stat : 32226 (gnovelty+) R 32224 32226 32189 0 -1 4194304 305 0 0 0 115587 617 0 0 17 0 2 0 1119073352 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134612145 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32226/statm: 17855 289 104 296 0 17556 0
[pid=32226/tid=32228] ppid=32224 vsize=71420 CPUtime=581.43
/proc/32226/task/32228/stat : 32228 (gnovelty+) R 32224 32226 32189 0 -1 4194368 20 0 0 0 57840 303 0 0 16 0 2 0 1119073354 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134517459 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1162.04
Current children cumulated vsize (KiB) 71420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+601.402 s]
/proc/loadavg: 1.98 1.84 1.44 3/66 32228
/proc/meminfo: memFree=973712/2055920 swapFree=4176868/4192956
[pid=32226] ppid=32224 vsize=71420 CPUtime=1200.16
/proc/32226/stat : 32226 (gnovelty+) R 32224 32226 32189 0 -1 4194304 305 0 0 0 119378 638 0 0 17 0 2 0 1119073352 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134517815 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32226/statm: 17855 289 104 296 0 17556 0
[pid=32226/tid=32228] ppid=32224 vsize=71420 CPUtime=600.46
/proc/32226/task/32228/stat : 32228 (gnovelty+) R 32224 32226 32189 0 -1 4194368 20 0 0 0 59732 314 0 0 16 0 2 0 1119073354 73134080 289 1992294400 134512640 135728688 4294956192 18446744073709551615 134517833 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.16
Current children cumulated vsize (KiB) 71420
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.413
CPU time (s): 1200.18
CPU user time (s): 1193.8
CPU system time (s): 6.38503
CPU usage (%): 199.56
Max. virtual memory (cumulated for all children) (KiB): 71420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1193.8
system time used= 6.38503
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305
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= 9644
involuntary context switches= 8955
runsolver used 0.646901 second user time and 1.55176 second system time
The end
Begin job on node48 at 2009-03-31 03:48:30
IDJOB=1541614
IDBENCH=70465
IDSOLVER=552
FILE ID=node48/1541614-1238464110
PBS_JOBID= 9061746
Free space on /tmp= 66464 MiB
SOLVER NAME= gNovelty+-V.2-T 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/7SAT/UNKNOWN/70/unif-k7-r89-v70-c6230-S289069074-070.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1541614-1238464110/watcher-1541614-1238464110 -o /tmp/evaluation-result-1541614-1238464110/solver-1541614-1238464110 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/gnovelty+ HOME/instance-1541614-1238464110.cnf 305297857 2
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 2
MD5SUM BENCH= 6d110538c6795cd651a202a3fd6fda7d
RANDOM SEED=305297857
node48.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.236
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.236
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: 975288 kB
Buffers: 98244 kB
Cached: 882576 kB
SwapCached: 10280 kB
Active: 270572 kB
Inactive: 722024 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 975288 kB
SwapTotal: 4192956 kB
SwapFree: 4176868 kB
Dirty: 1732 kB
Writeback: 0 kB
Mapped: 17412 kB
Slab: 74008 kB
Committed_AS: 2613488 kB
PageTables: 1376 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= 66464 MiB
End job on node48 at 2009-03-31 03:58:33