runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3713732-1338216198/watcher-3713732-1338216198 -o /tmp/evaluation-result-3713732-1338216198/solver-3713732-1338216198 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713732-1338216198.wbo 1645993124 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.06 2.00 2.00 5/177 31390
/proc/meminfo: memFree=25491924/32873844 swapFree=7112/7112
[pid=31390] ppid=31388 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31390/stat : 31390 (npSolver-wbo.sh) S 31388 31390 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287748387 9367552 275 33554432000 4194304 5064252 140735585421280 140735585420192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31390/statm: 2287 275 233 213 0 72 0
[startup+0.013211 s]
/proc/loadavg: 2.06 2.00 2.00 5/177 31390
/proc/meminfo: memFree=25491924/32873844 swapFree=7112/7112
[pid=31390] ppid=31388 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31390/stat : 31390 (npSolver-wbo.sh) S 31388 31390 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287748387 9367552 275 33554432000 4194304 5064252 140735585421280 140735585420192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31390/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100261 s]
/proc/loadavg: 2.06 2.00 2.00 5/177 31390
/proc/meminfo: memFree=25491924/32873844 swapFree=7112/7112
[pid=31390] ppid=31388 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31390/stat : 31390 (npSolver-wbo.sh) S 31388 31390 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287748387 9367552 275 33554432000 4194304 5064252 140735585421280 140735585420192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31390/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.3003 s]
/proc/loadavg: 2.06 2.00 2.00 5/177 31390
/proc/meminfo: memFree=25491924/32873844 swapFree=7112/7112
[pid=31390] ppid=31388 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31390/stat : 31390 (npSolver-wbo.sh) S 31388 31390 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287748387 9367552 275 33554432000 4194304 5064252 140735585421280 140735585420192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31390/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700242 s]
/proc/loadavg: 2.06 2.00 2.00 5/177 31390
/proc/meminfo: memFree=25491924/32873844 swapFree=7112/7112
[pid=31390] ppid=31388 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31390/stat : 31390 (npSolver-wbo.sh) S 31388 31390 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287748387 9367552 275 33554432000 4194304 5064252 140735585421280 140735585420192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31390/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5004 s]
/proc/loadavg: 2.06 2.00 2.00 3/181 31404
/proc/meminfo: memFree=25461936/32873844 swapFree=7112/7112
[pid=31390] ppid=31388 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31390/stat : 31390 (npSolver-wbo.sh) S 31388 31390 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287748387 9367552 275 33554432000 4194304 5064252 140735585421280 140735585420192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31390/statm: 2287 275 233 213 0 72 0
[pid=31391] ppid=31390 vsize=11260 CPUtime=0.12 cores=1,3,5,7
/proc/31391/stat : 31391 (npSolver-wbo) S 31390 31390 21267 0 -1 4202496 2971 5613 0 0 8 1 2 1 20 0 1 0 287748387 11530240 1809 33554432000 4194304 5990268 140734649909424 140734649900864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31391/statm: 2815 1809 165 439 0 2372 0
[pid=31403] ppid=31391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31403/stat : 31403 (satsolver.sh) S 31391 31390 21267 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 287748401 9367552 267 33554432000 4194304 5064252 140734550119472 140734550118384 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31403/statm: 2287 267 226 213 0 72 0
[pid=31404] ppid=31403 vsize=17948 CPUtime=1.35 cores=1,3,5,7
/proc/31404/stat : 31404 (glucose) R 31403 31390 21267 0 -1 4202496 3484 0 0 0 135 0 0 0 20 0 1 0 287748401 18378752 3933 33554432000 4194304 5208918 140736200211424 140736200209272 4211160 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31404/statm: 4487 3933 105 248 0 4236 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 47504
[startup+3.10028 s]
/proc/loadavg: 2.06 2.00 2.00 3/181 31404
/proc/meminfo: memFree=25457904/32873844 swapFree=7112/7112
[pid=31390] ppid=31388 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31390/stat : 31390 (npSolver-wbo.sh) S 31388 31390 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287748387 9367552 275 33554432000 4194304 5064252 140735585421280 140735585420192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31390/statm: 2287 275 233 213 0 72 0
[pid=31391] ppid=31390 vsize=11252 CPUtime=2.21 cores=1,3,5,7
/proc/31391/stat : 31391 (npSolver-wbo) S 31390 31390 21267 0 -1 4202496 4647 12219 0 0 14 2 201 4 20 0 1 0 287748387 11522048 2361 33554432000 4194304 5990268 140734649909424 140734649900864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31391/statm: 2813 2361 166 439 0 2370 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 20400
heavy processes:
[startup+6.30026 s]
/proc/loadavg: 2.06 2.00 2.00 3/181 31418
/proc/meminfo: memFree=25468636/32873844 swapFree=7112/7112
[pid=31390] ppid=31388 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31390/stat : 31390 (npSolver-wbo.sh) S 31388 31390 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287748387 9367552 275 33554432000 4194304 5064252 140735585421280 140735585420192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31390/statm: 2287 275 233 213 0 72 0
[pid=31391] ppid=31390 vsize=11252 CPUtime=5.75 cores=1,3,5,7
/proc/31391/stat : 31391 (npSolver-wbo) S 31390 31390 21267 0 -1 4202496 6223 20235 0 0 20 2 546 7 20 0 1 0 287748387 11522048 2362 33554432000 4194304 5990268 140734649909424 140734649900864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31391/statm: 2813 2362 166 439 0 2370 0
Current children cumulated CPU time (s) 5.75
Current children cumulated vsize (KiB) 20400
Solver just ended. Dumping a history of the last processes samples
[startup+7.90042 s]
/proc/loadavg: 2.05 2.00 2.00 3/181 31425
/proc/meminfo: memFree=25471044/32873844 swapFree=7112/7112
[pid=31390] ppid=31388 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31390/stat : 31390 (npSolver-wbo.sh) S 31388 31390 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287748387 9367552 275 33554432000 4194304 5064252 140735585421280 140735585420192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31390/statm: 2287 275 233 213 0 72 0
[pid=31391] ppid=31390 vsize=11252 CPUtime=5.75 cores=1,3,5,7
/proc/31391/stat : 31391 (npSolver-wbo) S 31390 31390 21267 0 -1 4202496 6223 20235 0 0 20 2 546 7 20 0 1 0 287748387 11522048 2362 33554432000 4194304 5990268 140734649909424 140734649900864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31391/statm: 2813 2362 166 439 0 2370 0
[pid=31424] ppid=31391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31424/stat : 31424 (satsolver.sh) S 31391 31390 21267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287748964 9367552 266 33554432000 4194304 5064252 140737219133920 140737219132832 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31424/statm: 2287 266 226 213 0 72 0
[pid=31425] ppid=31424 vsize=15468 CPUtime=2.11 cores=1,3,5,7
/proc/31425/stat : 31425 (glucose) R 31424 31390 21267 0 -1 4202496 3497 0 0 0 211 0 0 0 20 0 1 0 287748965 15839232 3266 33554432000 4194304 5208918 140734706868432 140734706866184 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31425/statm: 3867 3266 105 248 0 3616 0
Current children cumulated CPU time (s) 7.86
Current children cumulated vsize (KiB) 45016
[startup+8.70026 s]
/proc/loadavg: 2.05 2.00 2.00 3/181 31432
/proc/meminfo: memFree=25474600/32873844 swapFree=7112/7112
[pid=31390] ppid=31388 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31390/stat : 31390 (npSolver-wbo.sh) S 31388 31390 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287748387 9367552 275 33554432000 4194304 5064252 140735585421280 140735585420192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31390/statm: 2287 275 233 213 0 72 0
[pid=31391] ppid=31390 vsize=11252 CPUtime=8.24 cores=1,3,5,7
/proc/31391/stat : 31391 (npSolver-wbo) S 31390 31390 21267 0 -1 4202496 7304 27371 0 0 23 3 789 9 20 0 1 0 287748387 11522048 2362 33554432000 4194304 5990268 140734649909424 140734649900864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31391/statm: 2813 2362 166 439 0 2370 0
[pid=31431] ppid=31391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31431/stat : 31431 (satsolver.sh) S 31391 31390 21267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287749213 9367552 267 33554432000 4194304 5064252 140735879047696 140735879046608 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31431/statm: 2287 267 226 213 0 72 0
[pid=31432] ppid=31431 vsize=8812 CPUtime=0.43 cores=1,3,5,7
/proc/31432/stat : 31432 (glucose) R 31431 31390 21267 0 -1 4202496 2357 0 0 0 43 0 0 0 20 0 1 0 287749213 9023488 1845 33554432000 4194304 5208918 140736702173184 140735879046632 4229347 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31432/statm: 2203 1845 104 248 0 1952 0
Current children cumulated CPU time (s) 8.67
Current children cumulated vsize (KiB) 38360
[startup+9.50024 s]
/proc/loadavg: 2.05 2.00 2.00 3/181 31432
/proc/meminfo: memFree=25474600/32873844 swapFree=7112/7112
[pid=31390] ppid=31388 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31390/stat : 31390 (npSolver-wbo.sh) S 31388 31390 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287748387 9367552 275 33554432000 4194304 5064252 140735585421280 140735585420192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31390/statm: 2287 275 233 213 0 72 0
[pid=31391] ppid=31390 vsize=11252 CPUtime=9.44 cores=1,3,5,7
/proc/31391/stat : 31391 (npSolver-wbo) S 31390 31390 21267 0 -1 4202496 8804 38130 0 0 26 3 902 13 20 0 1 0 287748387 11522048 2363 33554432000 4194304 5990268 140734649909424 140734649900352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31391/statm: 2813 2363 166 439 0 2370 0
Current children cumulated CPU time (s) 9.44
Current children cumulated vsize (KiB) 20400
[startup+9.70021 s]
/proc/loadavg: 2.05 2.00 2.00 3/181 31432
/proc/meminfo: memFree=25474600/32873844 swapFree=7112/7112
[pid=31390] ppid=31388 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31390/stat : 31390 (npSolver-wbo.sh) S 31388 31390 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287748387 9367552 275 33554432000 4194304 5064252 140735585421280 140735585420192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31390/statm: 2287 275 233 213 0 72 0
[pid=31391] ppid=31390 vsize=11252 CPUtime=9.68 cores=1,3,5,7
/proc/31391/stat : 31391 (npSolver-wbo) S 31390 31390 21267 0 -1 4202496 10080 59945 0 0 28 4 915 21 20 0 1 0 287748387 11522048 2363 33554432000 4194304 5990268 140734649909424 140734649901440 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31391/statm: 2813 2363 166 439 0 2370 0
Current children cumulated CPU time (s) 9.68
Current children cumulated vsize (KiB) 20400
Child status: 0
Real time (s): 9.73312
CPU time (s): 9.72852
CPU user time (s): 9.46056
CPU system time (s): 0.267959
CPU usage (%): 99.9528
Max. virtual memory (cumulated for all children) (KiB): 49108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.46056
system time used= 0.267959
maximum resident set size= 22344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75691
page faults= 0
swaps= 0
block input operations= 0
block output operations= 38168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 384
involuntary context switches= 144
runsolver used 0.015997 second user time and 0.051992 second system time
The end