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-3701391-1338065970/watcher-3701391-1338065970 -o /tmp/evaluation-result-3701391-1338065970/solver-3701391-1338065970 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701391-1338065970.opb 2147114558 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: 2.63 2.87 2.40 3/179 13638
/proc/meminfo: memFree=29371512/32873648 swapFree=6864/6864
[pid=13638] ppid=13636 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13638/stat : 13638 (npSolver-pbo.sh) S 13636 13638 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272722387 9367552 275 33554432000 4194304 5064252 140736994524512 140736994523424 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13638/statm: 2287 275 233 213 0 72 0
[startup+0.072724 s]
/proc/loadavg: 2.63 2.87 2.40 3/179 13638
/proc/meminfo: memFree=29371512/32873648 swapFree=6864/6864
[pid=13638] ppid=13636 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13638/stat : 13638 (npSolver-pbo.sh) S 13636 13638 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272722387 9367552 275 33554432000 4194304 5064252 140736994524512 140736994523424 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13638/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10029 s]
/proc/loadavg: 2.63 2.87 2.40 3/179 13638
/proc/meminfo: memFree=29371512/32873648 swapFree=6864/6864
[pid=13638] ppid=13636 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13638/stat : 13638 (npSolver-pbo.sh) S 13636 13638 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272722387 9367552 275 33554432000 4194304 5064252 140736994524512 140736994523424 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13638/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300145 s]
/proc/loadavg: 2.63 2.87 2.40 3/179 13638
/proc/meminfo: memFree=29371512/32873648 swapFree=6864/6864
[pid=13638] ppid=13636 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13638/stat : 13638 (npSolver-pbo.sh) S 13636 13638 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272722387 9367552 275 33554432000 4194304 5064252 140736994524512 140736994523424 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13638/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700111 s]
/proc/loadavg: 2.63 2.87 2.40 3/179 13638
/proc/meminfo: memFree=29371512/32873648 swapFree=6864/6864
[pid=13638] ppid=13636 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13638/stat : 13638 (npSolver-pbo.sh) S 13636 13638 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272722387 9367552 275 33554432000 4194304 5064252 140736994524512 140736994523424 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13638/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.63 2.87 2.40 3/183 13695
/proc/meminfo: memFree=29351248/32873648 swapFree=6864/6864
[pid=13638] ppid=13636 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13638/stat : 13638 (npSolver-pbo.sh) S 13636 13638 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272722387 9367552 275 33554432000 4194304 5064252 140736994524512 140736994523424 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13638/statm: 2287 275 233 213 0 72 0
[pid=13639] ppid=13638 vsize=23032 CPUtime=0.27 cores=0,2,4,6
/proc/13639/stat : 13639 (npSolver-pbo) S 13638 13638 11614 0 -1 4202496 5839 2481 0 0 14 0 13 0 20 0 1 0 272722387 23584768 5382 33554432000 4194304 5992684 140734902367520 140734902362640 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13639/statm: 5758 5382 173 440 0 5314 0
[pid=13679] ppid=13639 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13679/stat : 13679 (satsolver.sh) S 13639 13638 11614 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272722418 9367552 267 33554432000 4194304 5064252 140735828875328 140735828874240 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13679/statm: 2287 267 226 213 0 72 0
[pid=13680] ppid=13679 vsize=7100 CPUtime=1.18 cores=0,2,4,6
/proc/13680/stat : 13680 (glucose) R 13679 13638 11614 0 -1 4202496 1764 0 0 0 118 0 0 0 20 0 1 0 272722418 7270400 1232 33554432000 4194304 5208918 140734655822736 140734655820680 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13680/statm: 1775 1232 102 248 0 1524 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 48428
[startup+3.10024 s]
/proc/loadavg: 2.58 2.85 2.40 3/183 13702
/proc/meminfo: memFree=29347420/32873648 swapFree=6864/6864
[pid=13638] ppid=13636 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13638/stat : 13638 (npSolver-pbo.sh) S 13636 13638 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272722387 9367552 275 33554432000 4194304 5064252 140736994524512 140736994523424 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13638/statm: 2287 275 233 213 0 72 0
[pid=13639] ppid=13638 vsize=23032 CPUtime=2.93 cores=0,2,4,6
/proc/13639/stat : 13639 (npSolver-pbo) S 13638 13638 11614 0 -1 4202496 5953 7549 0 0 15 1 275 2 20 0 1 0 272722387 23584768 5392 33554432000 4194304 5992684 140734902367520 140734902359840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13639/statm: 5758 5392 183 440 0 5314 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 32180
[startup+6.30029 s]
/proc/loadavg: 2.58 2.85 2.40 3/183 13730
/proc/meminfo: memFree=29348668/32873648 swapFree=6864/6864
[pid=13638] ppid=13636 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13638/stat : 13638 (npSolver-pbo.sh) S 13636 13638 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272722387 9367552 275 33554432000 4194304 5064252 140736994524512 140736994523424 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13638/statm: 2287 275 233 213 0 72 0
[pid=13639] ppid=13638 vsize=23032 CPUtime=4.41 cores=0,2,4,6
/proc/13639/stat : 13639 (npSolver-pbo) S 13638 13638 11614 0 -1 4202496 6033 12599 0 0 15 2 421 3 20 0 1 0 272722387 23584768 5392 33554432000 4194304 5992684 140734902367520 140734902359840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13639/statm: 5758 5392 183 440 0 5314 0
[pid=13722] ppid=13639 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13722/stat : 13722 (satsolver.sh) S 13639 13638 11614 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272722830 9367552 266 33554432000 4194304 5064252 140736724881040 140736724879952 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13722/statm: 2287 266 226 213 0 72 0
[pid=13723] ppid=13722 vsize=7260 CPUtime=1.86 cores=0,2,4,6
/proc/13723/stat : 13723 (glucose) R 13722 13638 11614 0 -1 4202496 1768 0 0 0 186 0 0 0 20 0 1 0 272722830 7434240 1309 33554432000 4194304 5208918 140737477405872 140737477403816 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13723/statm: 1815 1309 104 248 0 1564 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 48588
[startup+12.7003 s]
/proc/loadavg: 2.41 2.81 2.39 3/183 13812
/proc/meminfo: memFree=29341392/32873648 swapFree=6864/6864
[pid=13638] ppid=13636 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13638/stat : 13638 (npSolver-pbo.sh) S 13636 13638 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272722387 9367552 275 33554432000 4194304 5064252 140736994524512 140736994523424 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13638/statm: 2287 275 233 213 0 72 0
[pid=13639] ppid=13638 vsize=23180 CPUtime=12.63 cores=0,2,4,6
/proc/13639/stat : 13639 (npSolver-pbo) S 13638 13638 11614 0 -1 4202496 6395 32503 0 0 15 2 1239 7 20 0 1 0 272722387 23736320 5404 33554432000 4194304 5992684 140734902367520 140734902359840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13639/statm: 5795 5404 183 440 0 5351 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 32328
Solver just ended. Dumping a history of the last processes samples
[startup+15.9002 s]
/proc/loadavg: 2.41 2.81 2.39 3/183 13843
/proc/meminfo: memFree=29344076/32873648 swapFree=6864/6864
[pid=13638] ppid=13636 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13638/stat : 13638 (npSolver-pbo.sh) S 13636 13638 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272722387 9367552 275 33554432000 4194304 5064252 140736994524512 140736994523424 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13638/statm: 2287 275 233 213 0 72 0
[pid=13639] ppid=13638 vsize=23180 CPUtime=15.57 cores=0,2,4,6
/proc/13639/stat : 13639 (npSolver-pbo) S 13638 13638 11614 0 -1 4202496 6474 37783 0 0 15 2 1532 8 20 0 1 0 272722387 23736320 5404 33554432000 4194304 5992684 140734902367520 140734902359840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13639/statm: 5795 5404 183 440 0 5351 0
Current children cumulated CPU time (s) 15.57
Current children cumulated vsize (KiB) 32328
[startup+16.7002 s]
/proc/loadavg: 2.41 2.81 2.39 3/183 13850
/proc/meminfo: memFree=29343144/32873648 swapFree=6864/6864
[pid=13638] ppid=13636 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13638/stat : 13638 (npSolver-pbo.sh) S 13636 13638 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272722387 9367552 275 33554432000 4194304 5064252 140736994524512 140736994523424 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13638/statm: 2287 275 233 213 0 72 0
[pid=13639] ppid=13638 vsize=23180 CPUtime=15.57 cores=0,2,4,6
/proc/13639/stat : 13639 (npSolver-pbo) S 13638 13638 11614 0 -1 4202496 6474 37783 0 0 15 2 1532 8 20 0 1 0 272722387 23736320 5404 33554432000 4194304 5992684 140734902367520 140734902359840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13639/statm: 5795 5404 183 440 0 5351 0
[pid=13849] ppid=13639 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13849/stat : 13849 (satsolver.sh) S 13639 13638 11614 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272723947 9367552 267 33554432000 4194304 5064252 140734076532048 140734076530960 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13849/statm: 2287 267 226 213 0 72 0
[pid=13850] ppid=13849 vsize=5744 CPUtime=1.09 cores=0,2,4,6
/proc/13850/stat : 13850 (glucose) R 13849 13638 11614 0 -1 4202496 1393 0 0 0 109 0 0 0 20 0 1 0 272723947 5881856 984 33554432000 4194304 5208918 140736386633024 140736386630872 4211632 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13850/statm: 1436 984 102 248 0 1185 0
Current children cumulated CPU time (s) 16.66
Current children cumulated vsize (KiB) 47220
[startup+17.1002 s]
/proc/loadavg: 2.41 2.81 2.39 3/183 13850
/proc/meminfo: memFree=29343144/32873648 swapFree=6864/6864
[pid=13638] ppid=13636 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13638/stat : 13638 (npSolver-pbo.sh) S 13636 13638 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272722387 9367552 275 33554432000 4194304 5064252 140736994524512 140736994523424 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13638/statm: 2287 275 233 213 0 72 0
[pid=13639] ppid=13638 vsize=23180 CPUtime=15.57 cores=0,2,4,6
/proc/13639/stat : 13639 (npSolver-pbo) S 13638 13638 11614 0 -1 4202496 6474 37783 0 0 15 2 1532 8 20 0 1 0 272722387 23736320 5404 33554432000 4194304 5992684 140734902367520 140734902359840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13639/statm: 5795 5404 183 440 0 5351 0
[pid=13849] ppid=13639 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13849/stat : 13849 (satsolver.sh) S 13639 13638 11614 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272723947 9367552 267 33554432000 4194304 5064252 140734076532048 140734076530960 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13849/statm: 2287 267 226 213 0 72 0
[pid=13850] ppid=13849 vsize=7392 CPUtime=1.49 cores=0,2,4,6
/proc/13850/stat : 13850 (glucose) R 13849 13638 11614 0 -1 4202496 1661 0 0 0 149 0 0 0 20 0 1 0 272723947 7569408 1238 33554432000 4194304 5208918 140736386633024 140736386630968 4229757 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13850/statm: 1848 1238 102 248 0 1597 0
Current children cumulated CPU time (s) 17.06
Current children cumulated vsize (KiB) 48868
[startup+17.5002 s]
/proc/loadavg: 2.37 2.79 2.39 3/183 13850
/proc/meminfo: memFree=29341160/32873648 swapFree=6864/6864
[pid=13638] ppid=13636 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13638/stat : 13638 (npSolver-pbo.sh) S 13636 13638 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272722387 9367552 275 33554432000 4194304 5064252 140736994524512 140736994523424 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13638/statm: 2287 275 233 213 0 72 0
[pid=13639] ppid=13638 vsize=23180 CPUtime=15.57 cores=0,2,4,6
/proc/13639/stat : 13639 (npSolver-pbo) S 13638 13638 11614 0 -1 4202496 6474 37783 0 0 15 2 1532 8 20 0 1 0 272722387 23736320 5404 33554432000 4194304 5992684 140734902367520 140734902359840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13639/statm: 5795 5404 183 440 0 5351 0
[pid=13849] ppid=13639 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13849/stat : 13849 (satsolver.sh) S 13639 13638 11614 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272723947 9367552 267 33554432000 4194304 5064252 140734076532048 140734076530960 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13849/statm: 2287 267 226 213 0 72 0
[pid=13850] ppid=13849 vsize=7392 CPUtime=1.89 cores=0,2,4,6
/proc/13850/stat : 13850 (glucose) R 13849 13638 11614 0 -1 4202496 1787 0 0 0 189 0 0 0 20 0 1 0 272723947 7569408 1356 33554432000 4194304 5208918 140736386633024 140736386630968 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13850/statm: 1848 1356 102 248 0 1597 0
Current children cumulated CPU time (s) 17.46
Current children cumulated vsize (KiB) 48868
[startup+17.6064 s]
/proc/loadavg: 2.37 2.79 2.39 3/183 13850
/proc/meminfo: memFree=29341160/32873648 swapFree=6864/6864
[pid=13638] ppid=13636 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13638/stat : 13638 (npSolver-pbo.sh) S 13636 13638 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272722387 9367552 275 33554432000 4194304 5064252 140736994524512 140736994523424 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13638/statm: 2287 275 233 213 0 72 0
[pid=13639] ppid=13638 vsize=23180 CPUtime=17.55 cores=0,2,4,6
/proc/13639/stat : 13639 (npSolver-pbo) S 13638 13638 11614 0 -1 4202496 6483 40178 0 0 15 2 1730 8 20 0 1 0 272722387 23736320 5404 33554432000 4194304 5992684 140734902367520 140734902359328 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13639/statm: 5795 5404 183 440 0 5351 0
Current children cumulated CPU time (s) 17.55
Current children cumulated vsize (KiB) 32328
Child status: 0
Real time (s): 17.6141
CPU time (s): 17.5923
CPU user time (s): 17.4693
CPU system time (s): 0.122981
CPU usage (%): 99.8762
Max. virtual memory (cumulated for all children) (KiB): 49484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.4693
system time used= 0.122981
maximum resident set size= 22224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49786
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114
involuntary context switches= 148
runsolver used 0.036994 second user time and 0.083987 second system time
The end