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-3750294-1339118621/watcher-3750294-1339118621 -o /tmp/evaluation-result-3750294-1339118621/solver-3750294-1339118621 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750294-1339118621.opb 1203519171 HOME HOME
running on 4 cores: 0,2,4,6
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: 1.92 1.98 1.99 3/180 15496
/proc/meminfo: memFree=31751792/32873844 swapFree=7124/7124
[pid=15496] ppid=15494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15496/stat : 15496 (npSolver-pbo.sh) S 15494 15496 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377987161 9367552 275 33554432000 4194304 5064252 140733768914880 140733768913792 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15496/statm: 2287 275 233 213 0 72 0
[startup+0.069113 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 15496
/proc/meminfo: memFree=31751792/32873844 swapFree=7124/7124
[pid=15496] ppid=15494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15496/stat : 15496 (npSolver-pbo.sh) S 15494 15496 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377987161 9367552 275 33554432000 4194304 5064252 140733768914880 140733768913792 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15496/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100302 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 15496
/proc/meminfo: memFree=31751792/32873844 swapFree=7124/7124
[pid=15496] ppid=15494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15496/stat : 15496 (npSolver-pbo.sh) S 15494 15496 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377987161 9367552 275 33554432000 4194304 5064252 140733768914880 140733768913792 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15496/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300258 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 15496
/proc/meminfo: memFree=31751792/32873844 swapFree=7124/7124
[pid=15496] ppid=15494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15496/stat : 15496 (npSolver-pbo.sh) S 15494 15496 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377987161 9367552 275 33554432000 4194304 5064252 140733768914880 140733768913792 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15496/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700253 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 15496
/proc/meminfo: memFree=31751792/32873844 swapFree=7124/7124
[pid=15496] ppid=15494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15496/stat : 15496 (npSolver-pbo.sh) S 15494 15496 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377987161 9367552 275 33554432000 4194304 5064252 140733768914880 140733768913792 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15496/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 1.92 1.98 1.99 3/184 15517
/proc/meminfo: memFree=31743212/32873844 swapFree=7124/7124
[pid=15496] ppid=15494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15496/stat : 15496 (npSolver-pbo.sh) S 15494 15496 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377987161 9367552 275 33554432000 4194304 5064252 140733768914880 140733768913792 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15496/statm: 2287 275 233 213 0 72 0
[pid=15497] ppid=15496 vsize=4144 CPUtime=0.15 cores=0,2,4,6
/proc/15497/stat : 15497 (npSolver-pbo) S 15496 15496 12469 0 -1 4202496 2188 9242 0 0 3 1 9 2 20 0 1 0 377987161 4243456 679 33554432000 4194304 6004724 140736873947984 140736873940336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15497/statm: 1036 679 174 442 0 590 0
[pid=15516] ppid=15497 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15516/stat : 15516 (satsolver.sh) S 15497 15496 12469 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377987177 9367552 266 33554432000 4194304 5064252 140737045951328 140737045950240 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15516/statm: 2287 266 226 213 0 72 0
[pid=15517] ppid=15516 vsize=10036 CPUtime=1.33 cores=0,2,4,6
/proc/15517/stat : 15517 (glucose) R 15516 15496 12469 0 -1 4202496 2253 0 0 0 133 0 0 0 20 0 1 0 377987177 10276864 1784 33554432000 4194304 5208918 140734743110080 140734743107928 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15517/statm: 2509 1784 102 248 0 2258 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 32476
[startup+3.10028 s]
/proc/loadavg: 1.92 1.98 1.99 3/184 15517
/proc/meminfo: memFree=31739660/32873844 swapFree=7124/7124
[pid=15496] ppid=15494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15496/stat : 15496 (npSolver-pbo.sh) S 15494 15496 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377987161 9367552 275 33554432000 4194304 5064252 140733768914880 140733768913792 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15496/statm: 2287 275 233 213 0 72 0
[pid=15497] ppid=15496 vsize=4144 CPUtime=2.38 cores=0,2,4,6
/proc/15497/stat : 15497 (npSolver-pbo) S 15496 15496 12469 0 -1 4202496 3406 25168 0 0 6 1 224 7 20 0 1 0 377987161 4243456 679 33554432000 4194304 6004724 140736873947984 140736873940336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15497/statm: 1036 679 174 442 0 590 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 13292
heavy processes:
[startup+6.30034 s]
/proc/loadavg: 1.93 1.98 1.99 3/184 15538
/proc/meminfo: memFree=31734016/32873844 swapFree=7124/7124
[pid=15496] ppid=15494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15496/stat : 15496 (npSolver-pbo.sh) S 15494 15496 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377987161 9367552 275 33554432000 4194304 5064252 140733768914880 140733768913792 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15496/statm: 2287 275 233 213 0 72 0
[pid=15497] ppid=15496 vsize=4144 CPUtime=6.15 cores=0,2,4,6
/proc/15497/stat : 15497 (npSolver-pbo) S 15496 15496 12469 0 -1 4202496 3796 32483 0 0 7 1 598 9 20 0 1 0 377987161 4243456 679 33554432000 4194304 6004724 140736873947984 140736873940336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15497/statm: 1036 679 174 442 0 590 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 13292
Solver just ended. Dumping a history of the last processes samples
[startup+9.50036 s]
/proc/loadavg: 1.93 1.98 1.99 3/184 15559
/proc/meminfo: memFree=31735884/32873844 swapFree=7124/7124
[pid=15496] ppid=15494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15496/stat : 15496 (npSolver-pbo.sh) S 15494 15496 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377987161 9367552 275 33554432000 4194304 5064252 140733768914880 140733768913792 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15496/statm: 2287 275 233 213 0 72 0
[pid=15497] ppid=15496 vsize=4144 CPUtime=6.86 cores=0,2,4,6
/proc/15497/stat : 15497 (npSolver-pbo) S 15496 15496 12469 0 -1 4202496 4624 42515 0 0 10 1 661 14 20 0 1 0 377987161 4243456 679 33554432000 4194304 6004724 140736873947984 140736873940336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15497/statm: 1036 679 174 442 0 590 0
[pid=15558] ppid=15497 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15558/stat : 15558 (satsolver.sh) S 15497 15496 12469 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377987849 9367552 266 33554432000 4194304 5064252 140734860226112 140734860225024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15558/statm: 2287 266 226 213 0 72 0
[pid=15559] ppid=15558 vsize=11988 CPUtime=2.6 cores=0,2,4,6
/proc/15559/stat : 15559 (glucose) R 15558 15496 12469 0 -1 4202496 3364 0 0 0 260 0 0 0 20 0 1 0 377987849 12275712 2362 33554432000 4194304 5208918 140733557918272 140733557916216 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15559/statm: 2997 2362 104 248 0 2746 0
Current children cumulated CPU time (s) 9.46
Current children cumulated vsize (KiB) 34428
[startup+11.1004 s]
/proc/loadavg: 1.93 1.98 1.99 3/184 15559
/proc/meminfo: memFree=31731428/32873844 swapFree=7124/7124
[pid=15496] ppid=15494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15496/stat : 15496 (npSolver-pbo.sh) S 15494 15496 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377987161 9367552 275 33554432000 4194304 5064252 140733768914880 140733768913792 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15496/statm: 2287 275 233 213 0 72 0
[pid=15497] ppid=15496 vsize=4144 CPUtime=6.86 cores=0,2,4,6
/proc/15497/stat : 15497 (npSolver-pbo) S 15496 15496 12469 0 -1 4202496 4624 42515 0 0 10 1 661 14 20 0 1 0 377987161 4243456 679 33554432000 4194304 6004724 140736873947984 140736873940336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15497/statm: 1036 679 174 442 0 590 0
[pid=15558] ppid=15497 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15558/stat : 15558 (satsolver.sh) S 15497 15496 12469 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377987849 9367552 266 33554432000 4194304 5064252 140734860226112 140734860225024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15558/statm: 2287 266 226 213 0 72 0
[pid=15559] ppid=15558 vsize=13636 CPUtime=4.21 cores=0,2,4,6
/proc/15559/stat : 15559 (glucose) R 15558 15496 12469 0 -1 4202496 3943 0 0 0 420 1 0 0 20 0 1 0 377987849 13963264 2892 33554432000 4194304 5208918 140733557918272 140733557914648 4229748 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15559/statm: 3409 2892 104 248 0 3158 0
Current children cumulated CPU time (s) 11.07
Current children cumulated vsize (KiB) 36076
[startup+11.5004 s]
/proc/loadavg: 1.93 1.98 1.99 3/184 15559
/proc/meminfo: memFree=31731428/32873844 swapFree=7124/7124
[pid=15496] ppid=15494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15496/stat : 15496 (npSolver-pbo.sh) S 15494 15496 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377987161 9367552 275 33554432000 4194304 5064252 140733768914880 140733768913792 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15496/statm: 2287 275 233 213 0 72 0
[pid=15497] ppid=15496 vsize=4144 CPUtime=6.86 cores=0,2,4,6
/proc/15497/stat : 15497 (npSolver-pbo) S 15496 15496 12469 0 -1 4202496 4624 42515 0 0 10 1 661 14 20 0 1 0 377987161 4243456 679 33554432000 4194304 6004724 140736873947984 140736873940336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15497/statm: 1036 679 174 442 0 590 0
[pid=15558] ppid=15497 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15558/stat : 15558 (satsolver.sh) S 15497 15496 12469 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377987849 9367552 266 33554432000 4194304 5064252 140734860226112 140734860225024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15558/statm: 2287 266 226 213 0 72 0
[pid=15559] ppid=15558 vsize=15312 CPUtime=4.61 cores=0,2,4,6
/proc/15559/stat : 15559 (glucose) R 15558 15496 12469 0 -1 4202496 4397 0 0 0 460 1 0 0 20 0 1 0 377987849 15679488 3304 33554432000 4194304 5208918 140733557918272 140733557914648 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15559/statm: 3828 3304 104 248 0 3577 0
Current children cumulated CPU time (s) 11.47
Current children cumulated vsize (KiB) 37752
[startup+11.9004 s]
/proc/loadavg: 1.93 1.98 1.99 3/184 15559
/proc/meminfo: memFree=31731428/32873844 swapFree=7124/7124
[pid=15496] ppid=15494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15496/stat : 15496 (npSolver-pbo.sh) S 15494 15496 12469 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377987161 9367552 275 33554432000 4194304 5064252 140733768914880 140733768913792 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15496/statm: 2287 275 233 213 0 72 0
[pid=15497] ppid=15496 vsize=4144 CPUtime=6.86 cores=0,2,4,6
/proc/15497/stat : 15497 (npSolver-pbo) S 15496 15496 12469 0 -1 4202496 4624 42515 0 0 10 1 661 14 20 0 1 0 377987161 4243456 679 33554432000 4194304 6004724 140736873947984 140736873940336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15497/statm: 1036 679 174 442 0 590 0
[pid=15558] ppid=15497 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15558/stat : 15558 (satsolver.sh) S 15497 15496 12469 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 377987849 9367552 266 33554432000 4194304 5064252 140734860226112 140734860225024 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/15558/statm: 2287 266 226 213 0 72 0
[pid=15559] ppid=15558 vsize=15312 CPUtime=5.01 cores=0,2,4,6
/proc/15559/stat : 15559 (glucose) R 15558 15496 12469 0 -1 4202496 4397 0 0 0 500 1 0 0 20 0 1 0 377987849 15679488 3304 33554432000 4194304 5208918 140733557918272 140733557914648 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15559/statm: 3828 3304 104 248 0 3577 0
Current children cumulated CPU time (s) 11.87
Current children cumulated vsize (KiB) 37752
Child status: 0
Real time (s): 11.9324
CPU time (s): 11.9262
CPU user time (s): 11.7422
CPU system time (s): 0.183972
CPU usage (%): 99.9476
Max. virtual memory (cumulated for all children) (KiB): 37752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.7422
system time used= 0.183972
maximum resident set size= 29860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55403
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 185
involuntary context switches= 121
runsolver used 0.028995 second user time and 0.06299 second system time
The end