runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3367020-1305417655/watcher-3367020-1305417655 -o /tmp/evaluation-result-3367020-1305417655/solver-3367020-1305417655 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367020-1305417655.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.80 8.11 7.59 5/265 18270
/proc/meminfo: memFree=22938100/32951124 swapFree=61565116/67111528
[pid=18270] ppid=18268 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18270/stat : 18270 (strangenight2-m) R 18268 18270 17979 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 653363755 52396032 347 33554432000 4194304 4580107 140734848855936 18446744073709551615 47000673634226 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18270/statm: 12792 347 299 95 0 7774 0
[pid=18270/tid=18271] ppid=18268 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18270/task/18271/stat : 18271 (strangenight2-m) R 18268 18270 17979 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653363755 52396032 347 33554432000 4194304 4580107 140734848855936 18446744073709551615 47000673634216 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18270/tid=18272] ppid=18268 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18270/task/18272/stat : 18272 (strangenight2-m) R 18268 18270 17979 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653363755 52396032 347 33554432000 4194304 4580107 140734848855936 18446744073709551615 47000673634220 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18270/tid=18273] ppid=18268 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18270/task/18273/stat : 18273 (strangenight2-m) R 18268 18270 17979 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653363755 52396032 347 33554432000 4194304 4580107 140734848855936 18446744073709551615 246516890609 0 0 4096 2 0 0 0 -1 0 0 0 0
[startup+0.0511069 s]
/proc/loadavg: 7.80 8.11 7.59 5/265 18270
/proc/meminfo: memFree=22938100/32951124 swapFree=61565116/67111528
[pid=18270] ppid=18268 vsize=283912 CPUtime=0.17 cores=0,2,4,6
/proc/18270/stat : 18270 (strangenight2-m) R 18268 18270 17979 0 -1 4202496 2364 0 0 0 17 0 0 0 18 0 4 0 653363755 290725888 2138 33554432000 4194304 4580107 140734848855936 18446744073709551615 4293204 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18270/statm: 70978 2138 358 95 0 65960 0
[pid=18270/tid=18271] ppid=18268 vsize=283912 CPUtime=0.04 cores=0,2,4,6
/proc/18270/task/18271/stat : 18271 (strangenight2-m) R 18268 18270 17979 0 -1 4202560 476 0 0 0 4 0 0 0 18 0 4 0 653363755 290725888 2138 33554432000 4194304 4580107 140734848855936 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18270/tid=18272] ppid=18268 vsize=283912 CPUtime=0.04 cores=0,2,4,6
/proc/18270/task/18272/stat : 18272 (strangenight2-m) R 18268 18270 17979 0 -1 4202560 477 0 0 0 4 0 0 0 18 0 4 0 653363755 290725888 2138 33554432000 4194304 4580107 140734848855936 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18270/tid=18273] ppid=18268 vsize=283912 CPUtime=0.03 cores=0,2,4,6
/proc/18270/task/18273/stat : 18273 (strangenight2-m) R 18268 18270 17979 0 -1 4202560 521 0 0 0 3 0 0 0 25 0 4 0 653363755 290725888 2138 33554432000 4194304 4580107 140734848855936 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 283912
[startup+0.101096 s]
/proc/loadavg: 7.80 8.11 7.59 5/265 18270
/proc/meminfo: memFree=22938100/32951124 swapFree=61565116/67111528
[pid=18270] ppid=18268 vsize=283912 CPUtime=0.37 cores=0,2,4,6
/proc/18270/stat : 18270 (strangenight2-m) R 18268 18270 17979 0 -1 4202496 2403 0 0 0 37 0 0 0 18 0 4 0 653363755 290725888 2177 33554432000 4194304 4580107 140734848855936 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18270/statm: 70978 2177 358 95 0 65960 0
[pid=18270/tid=18271] ppid=18268 vsize=283912 CPUtime=0.09 cores=0,2,4,6
/proc/18270/task/18271/stat : 18271 (strangenight2-m) R 18268 18270 17979 0 -1 4202560 476 0 0 0 9 0 0 0 18 0 4 0 653363755 290725888 2177 33554432000 4194304 4580107 140734848855936 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18270/tid=18272] ppid=18268 vsize=283912 CPUtime=0.09 cores=0,2,4,6
/proc/18270/task/18272/stat : 18272 (strangenight2-m) R 18268 18270 17979 0 -1 4202560 477 0 0 0 9 0 0 0 18 0 4 0 653363755 290725888 2177 33554432000 4194304 4580107 140734848855936 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18270/tid=18273] ppid=18268 vsize=283912 CPUtime=0.08 cores=0,2,4,6
/proc/18270/task/18273/stat : 18273 (strangenight2-m) R 18268 18270 17979 0 -1 4202560 560 0 0 0 8 0 0 0 25 0 4 0 653363755 290725888 2177 33554432000 4194304 4580107 140734848855936 18446744073709551615 4316632 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 283912
[startup+0.301062 s]
/proc/loadavg: 7.80 8.11 7.59 5/265 18270
/proc/meminfo: memFree=22938100/32951124 swapFree=61565116/67111528
[pid=18270] ppid=18268 vsize=284052 CPUtime=1.17 cores=0,2,4,6
/proc/18270/stat : 18270 (strangenight2-m) R 18268 18270 17979 0 -1 4202496 5571 0 0 0 116 1 0 0 18 0 4 0 653363755 290869248 5345 33554432000 4194304 4580107 140734848855936 18446744073709551615 4294148 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18270/statm: 71013 5346 359 95 0 65995 0
[pid=18270/tid=18271] ppid=18268 vsize=284052 CPUtime=0.29 cores=0,2,4,6
/proc/18270/task/18271/stat : 18271 (strangenight2-m) R 18268 18270 17979 0 -1 4202560 1498 0 0 0 29 0 0 0 18 0 4 0 653363755 290869248 5346 33554432000 4194304 4580107 140734848855936 18446744073709551615 4293121 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18270/tid=18272] ppid=18268 vsize=284052 CPUtime=0.29 cores=0,2,4,6
/proc/18270/task/18272/stat : 18272 (strangenight2-m) R 18268 18270 17979 0 -1 4202560 1507 0 0 0 29 0 0 0 18 0 4 0 653363755 290869248 5346 33554432000 4194304 4580107 140734848855936 18446744073709551615 4292935 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18270/tid=18273] ppid=18268 vsize=284052 CPUtime=0.28 cores=0,2,4,6
/proc/18270/task/18273/stat : 18273 (strangenight2-m) R 18268 18270 17979 0 -1 4202560 640 0 0 0 28 0 0 0 25 0 4 0 653363755 290869248 5349 33554432000 4194304 4580107 140734848855936 18446744073709551615 47000673609412 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284052
[startup+0.700989 s]
/proc/loadavg: 7.80 8.11 7.59 5/265 18270
/proc/meminfo: memFree=22938100/32951124 swapFree=61565116/67111528
[pid=18270] ppid=18268 vsize=284052 CPUtime=2.78 cores=0,2,4,6
/proc/18270/stat : 18270 (strangenight2-m) R 18268 18270 17979 0 -1 4202496 14253 0 0 0 275 3 0 0 18 0 4 0 653363755 290869248 14027 33554432000 4194304 4580107 140734848855936 18446744073709551615 4293134 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18270/statm: 71013 14027 359 95 0 65995 0
[pid=18270/tid=18271] ppid=18268 vsize=284052 CPUtime=0.68 cores=0,2,4,6
/proc/18270/task/18271/stat : 18271 (strangenight2-m) R 18268 18270 17979 0 -1 4202560 4392 0 0 0 68 0 0 0 18 0 4 0 653363755 290869248 14027 33554432000 4194304 4580107 140734848855936 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18270/tid=18272] ppid=18268 vsize=284052 CPUtime=0.68 cores=0,2,4,6
/proc/18270/task/18272/stat : 18272 (strangenight2-m) R 18268 18270 17979 0 -1 4202560 4386 0 0 0 68 0 0 0 18 0 4 0 653363755 290869248 14027 33554432000 4194304 4580107 140734848855936 18446744073709551615 4293076 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18270/tid=18273] ppid=18268 vsize=284052 CPUtime=0.68 cores=0,2,4,6
/proc/18270/task/18273/stat : 18273 (strangenight2-m) R 18268 18270 17979 0 -1 4202560 640 0 0 0 68 0 0 0 25 0 4 0 653363755 290869248 14027 33554432000 4194304 4580107 140734848855936 18446744073709551615 47000673609259 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284052
Solver just ended. Dumping a history of the last processes samples
[startup+0.900954 s]
/proc/loadavg: 7.80 8.11 7.59 5/265 18270
/proc/meminfo: memFree=22938100/32951124 swapFree=61565116/67111528
[pid=18270] ppid=18268 vsize=284052 CPUtime=3.57 cores=0,2,4,6
/proc/18270/stat : 18270 (strangenight2-m) R 18268 18270 17979 0 -1 4202496 14640 0 0 0 354 3 0 0 19 0 4 0 653363755 290869248 14414 33554432000 4194304 4580107 140734848855936 18446744073709551615 4293301 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18270/statm: 71013 14414 359 95 0 65995 0
[pid=18270/tid=18271] ppid=18268 vsize=284052 CPUtime=0.88 cores=0,2,4,6
/proc/18270/task/18271/stat : 18271 (strangenight2-m) R 18268 18270 17979 0 -1 4202560 4522 0 0 0 88 0 0 0 18 0 4 0 653363755 290869248 14414 33554432000 4194304 4580107 140734848855936 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18270/tid=18272] ppid=18268 vsize=284052 CPUtime=0.88 cores=0,2,4,6
/proc/18270/task/18272/stat : 18272 (strangenight2-m) R 18268 18270 17979 0 -1 4202560 4519 0 0 0 88 0 0 0 18 0 4 0 653363755 290869248 14414 33554432000 4194304 4580107 140734848855936 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18270/tid=18273] ppid=18268 vsize=284052 CPUtime=0.88 cores=0,2,4,6
/proc/18270/task/18273/stat : 18273 (strangenight2-m) R 18268 18270 17979 0 -1 4202560 640 0 0 0 88 0 0 0 25 0 4 0 653363755 290869248 14414 33554432000 4194304 4580107 140734848855936 18446744073709551615 47000673609412 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 284052
[startup+1.00093 s]
/proc/loadavg: 7.80 8.11 7.59 9/269 18274
/proc/meminfo: memFree=22878052/32951124 swapFree=61565116/67111528
[pid=18270] ppid=18268 vsize=284052 CPUtime=3.99 cores=0,2,4,6
/proc/18270/stat : 18270 (strangenight2-m) R 18268 18270 17979 0 -1 4202496 15279 0 0 0 396 3 0 0 19 0 4 0 653363755 290869248 15053 33554432000 4194304 4580107 140734848855936 18446744073709551615 4293198 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18270/statm: 71013 15053 359 95 0 65995 0
[pid=18270/tid=18271] ppid=18268 vsize=284052 CPUtime=0.99 cores=0,2,4,6
/proc/18270/task/18271/stat : 18271 (strangenight2-m) R 18268 18270 17979 0 -1 4202560 4737 0 0 0 99 0 0 0 19 0 4 0 653363755 290869248 15060 33554432000 4194304 4580107 140734848855936 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18270/tid=18272] ppid=18268 vsize=284052 CPUtime=1 cores=0,2,4,6
/proc/18270/task/18272/stat : 18272 (strangenight2-m) R 18268 18270 17979 0 -1 4202560 4730 0 0 0 99 1 0 0 19 0 4 0 653363755 290869248 15060 33554432000 4194304 4580107 140734848855936 18446744073709551615 4293975 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18270/tid=18273] ppid=18268 vsize=284052 CPUtime=0.98 cores=0,2,4,6
/proc/18270/task/18273/stat : 18273 (strangenight2-m) R 18268 18270 17979 0 -1 4202560 640 0 0 0 98 0 0 0 25 0 4 0 653363755 290869248 15060 33554432000 4194304 4580107 140734848855936 18446744073709551615 47000673609412 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 284052
Child status: 20
Real time (s): 1.0978
CPU time (s): 4.34734
CPU user time (s): 4.31034
CPU system time (s): 0.036994
CPU usage (%): 396.005
Max. virtual memory (cumulated for all children) (KiB): 284052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.31034
system time used= 0.036994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15769
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= 704
involuntary context switches= 38
runsolver used 0.006998 second user time and 0.013997 second system time
The end