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-3699708-1338067355/watcher-3699708-1338067355 -o /tmp/evaluation-result-3699708-1338067355/solver-3699708-1338067355 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699708-1338067355.opb 879287881 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.00 2.00 2.00 4/175 19533
/proc/meminfo: memFree=20345576/32873852 swapFree=6848/6848
[pid=19533] ppid=19531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19533/stat : 19533 (npSolver-pbo-I.) S 19531 19533 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272860917 9367552 274 33554432000 4194304 5064252 140733690740832 140733690739744 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19533/statm: 2287 274 233 213 0 72 0
[startup+0.02236 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 19533
/proc/meminfo: memFree=20345576/32873852 swapFree=6848/6848
[pid=19533] ppid=19531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19533/stat : 19533 (npSolver-pbo-I.) S 19531 19533 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272860917 9367552 274 33554432000 4194304 5064252 140733690740832 140733690739744 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19533/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100275 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 19533
/proc/meminfo: memFree=20345576/32873852 swapFree=6848/6848
[pid=19533] ppid=19531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19533/stat : 19533 (npSolver-pbo-I.) S 19531 19533 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272860917 9367552 274 33554432000 4194304 5064252 140733690740832 140733690739744 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19533/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300278 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 19533
/proc/meminfo: memFree=20345576/32873852 swapFree=6848/6848
[pid=19533] ppid=19531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19533/stat : 19533 (npSolver-pbo-I.) S 19531 19533 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272860917 9367552 274 33554432000 4194304 5064252 140733690740832 140733690739744 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19533/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700282 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 19533
/proc/meminfo: memFree=20345576/32873852 swapFree=6848/6848
[pid=19533] ppid=19531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19533/stat : 19533 (npSolver-pbo-I.) S 19531 19533 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272860917 9367552 274 33554432000 4194304 5064252 140733690740832 140733690739744 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19533/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19535
/proc/meminfo: memFree=20257296/32873852 swapFree=6848/6848
[pid=19533] ppid=19531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19533/stat : 19533 (npSolver-pbo-I.) S 19531 19533 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272860917 9367552 274 33554432000 4194304 5064252 140733690740832 140733690739744 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19533/statm: 2287 274 233 213 0 72 0
[pid=19534] ppid=19533 vsize=139376 CPUtime=1.49 cores=0,2,4,6
/proc/19534/stat : 19534 (npSolver-pbo) R 19533 19533 18146 0 -1 4202496 21849 0 0 0 144 5 0 0 20 0 1 0 272860917 142721024 33884 33554432000 4194304 5992684 140735384264896 140735384257992 4228684 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19534/statm: 34844 33884 157 440 0 34400 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 148524
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19535
/proc/meminfo: memFree=20156180/32873852 swapFree=6848/6848
[pid=19533] ppid=19531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19533/stat : 19533 (npSolver-pbo-I.) S 19531 19533 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272860917 9367552 274 33554432000 4194304 5064252 140733690740832 140733690739744 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19533/statm: 2287 274 233 213 0 72 0
[pid=19534] ppid=19533 vsize=407904 CPUtime=3.09 cores=0,2,4,6
/proc/19534/stat : 19534 (npSolver-pbo) R 19533 19533 18146 0 -1 4202496 41036 0 0 0 298 11 0 0 20 0 1 0 272860917 417693696 70349 33554432000 4194304 5992684 140735384264896 140735384257256 4228665 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19534/statm: 101976 70349 157 440 0 101532 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 417052
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19535
/proc/meminfo: memFree=19843592/32873852 swapFree=6848/6848
[pid=19533] ppid=19531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19533/stat : 19533 (npSolver-pbo-I.) S 19531 19533 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272860917 9367552 274 33554432000 4194304 5064252 140733690740832 140733690739744 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19533/statm: 2287 274 233 213 0 72 0
[pid=19534] ppid=19533 vsize=817276 CPUtime=6.29 cores=0,2,4,6
/proc/19534/stat : 19534 (npSolver-pbo) R 19533 19533 18146 0 -1 4202496 78511 0 0 0 607 22 0 0 20 0 1 0 272860917 836890624 144488 33554432000 4194304 5992684 140735384264896 140735384257768 4571359 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19534/statm: 204319 144488 157 440 0 203875 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 826424
[startup+12.7003 s]
/proc/loadavg: 1.92 1.98 1.99 2/174 19536
/proc/meminfo: memFree=27653092/32873852 swapFree=6848/6848
[pid=19533] ppid=19531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19533/stat : 19533 (npSolver-pbo-I.) S 19531 19533 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272860917 9367552 274 33554432000 4194304 5064252 140733690740832 140733690739744 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19533/statm: 2287 274 233 213 0 72 0
[pid=19534] ppid=19533 vsize=1635116 CPUtime=12.69 cores=0,2,4,6
/proc/19534/stat : 19534 (npSolver-pbo) R 19533 19533 18146 0 -1 4202496 152813 0 0 0 1225 44 0 0 20 0 1 0 272860917 1674358784 293140 33554432000 4194304 5992684 140735384264896 140735384257256 4523474 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19534/statm: 408779 293140 157 440 0 408335 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1644264
[startup+25.5004 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 19626
/proc/meminfo: memFree=24380756/32873852 swapFree=6848/6848
[pid=19533] ppid=19531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19533/stat : 19533 (npSolver-pbo-I.) S 19531 19533 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272860917 9367552 274 33554432000 4194304 5064252 140733690740832 140733690739744 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19533/statm: 2287 274 233 213 0 72 0
[pid=19534] ppid=19533 vsize=1952616 CPUtime=20.65 cores=0,2,4,6
/proc/19534/stat : 19534 (npSolver-pbo) S 19533 19533 18146 0 -1 4202496 233414 0 0 0 1877 188 0 0 20 0 1 0 272860917 1999478784 453985 33554432000 4194304 5992684 140735384264896 140735384259344 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0
/proc/19534/statm: 488154 453985 164 440 0 487710 0
[pid=19625] ppid=19534 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/19625/stat : 19625 (cp2_pre.sh) S 19534 19533 18146 0 -1 4202496 607 0 0 0 0 1 0 0 20 0 1 0 272862985 9367552 276 33554432000 4194304 5064252 140734985228272 140734985226976 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19625/statm: 2287 276 234 213 0 72 0
[pid=19626] ppid=19625 vsize=629164 CPUtime=4.78 cores=0,2,4,6
/proc/19626/stat : 19626 (coprocessor) R 19625 19533 18146 0 -1 4202496 18759 0 0 0 456 22 0 0 20 0 1 0 272862988 644263936 153484 33554432000 4194304 6586260 140737016556832 140737016553592 5732400 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/19626/statm: 157291 153484 137 584 0 156703 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 2600076
[startup+51.1004 s]
/proc/loadavg: 2.35 2.08 2.02 3/179 19626
/proc/meminfo: memFree=20002132/32873852 swapFree=6848/6848
[pid=19533] ppid=19531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19533/stat : 19533 (npSolver-pbo-I.) S 19531 19533 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272860917 9367552 274 33554432000 4194304 5064252 140733690740832 140733690739744 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19533/statm: 2287 274 233 213 0 72 0
[pid=19534] ppid=19533 vsize=1952616 CPUtime=20.65 cores=0,2,4,6
/proc/19534/stat : 19534 (npSolver-pbo) S 19533 19533 18146 0 -1 4202496 233414 0 0 0 1877 188 0 0 20 0 1 0 272860917 1999478784 453985 33554432000 4194304 5992684 140735384264896 140735384259344 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0
/proc/19534/statm: 488154 453985 164 440 0 487710 0
[pid=19625] ppid=19534 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/19625/stat : 19625 (cp2_pre.sh) S 19534 19533 18146 0 -1 4202496 607 0 0 0 0 1 0 0 20 0 1 0 272862985 9367552 276 33554432000 4194304 5064252 140734985228272 140734985226976 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19625/statm: 2287 276 234 213 0 72 0
[pid=19626] ppid=19625 vsize=3075116 CPUtime=30.21 cores=0,2,4,6
/proc/19626/stat : 19626 (coprocessor) R 19625 19533 18146 0 -1 4202496 26880 0 0 0 2878 143 0 0 20 0 1 0 272862988 3148918784 591882 33554432000 4194304 6586260 140737016556832 140737016552584 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 16 0 0
/proc/19626/statm: 768779 591882 158 584 0 768191 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 5046028
[startup+102.307 s]
/proc/loadavg: 2.51 2.17 2.06 3/179 19630
/proc/meminfo: memFree=10936752/32873852 swapFree=6848/6848
[pid=19533] ppid=19531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19533/stat : 19533 (npSolver-pbo-I.) S 19531 19533 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272860917 9367552 274 33554432000 4194304 5064252 140733690740832 140733690739744 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19533/statm: 2287 274 233 213 0 72 0
[pid=19534] ppid=19533 vsize=2243100 CPUtime=75.2 cores=0,2,4,6
/proc/19534/stat : 19534 (npSolver-pbo) R 19533 19533 18146 0 -1 4204032 243994 27781 0 0 2012 273 4978 257 20 0 1 0 272860917 2296934400 526646 33554432000 4194304 5992684 140735384264896 140735384259432 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 2 0 0
/proc/19534/statm: 560775 526646 183 440 0 560331 0
[pid=19628] ppid=19534 vsize=4378240 CPUtime=19.3 cores=0,2,4,6
/proc/19628/stat : 19628 (glucosInc) S 19534 19533 18146 0 -1 4202496 419199 0 0 0 1789 141 0 0 20 0 1 0 272868270 4483317760 898394 33554432000 4194304 5654031 140735234680784 140735234679096 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19628/statm: 1094560 898394 147 357 0 1094200 0
Current children cumulated CPU time (s) 94.5
Current children cumulated vsize (KiB) 6630488
Solver just ended. Dumping a history of the last processes samples
[startup+127.9 s]
/proc/loadavg: 3.36 2.40 2.13 2/179 19630
/proc/meminfo: memFree=8851228/32873852 swapFree=6848/6848
[pid=19533] ppid=19531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19533/stat : 19533 (npSolver-pbo-I.) S 19531 19533 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272860917 9367552 274 33554432000 4194304 5064252 140733690740832 140733690739744 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19533/statm: 2287 274 233 213 0 72 0
[pid=19534] ppid=19533 vsize=2243100 CPUtime=75.57 cores=0,2,4,6
/proc/19534/stat : 19534 (npSolver-pbo) S 19533 19533 18146 0 -1 4204032 243995 27781 0 0 2012 310 4978 257 20 0 1 0 272860917 2296934400 526647 33554432000 4194304 5992684 140735384264896 140735384259432 5240597 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 2 0 0
/proc/19534/statm: 560775 526647 184 440 0 560331 0
[pid=19628] ppid=19534 vsize=4378240 CPUtime=19.3 cores=0,2,4,6
/proc/19628/stat : 19628 (glucosInc) S 19534 19533 18146 0 -1 4202496 419199 0 0 0 1789 141 0 0 20 0 1 0 272868270 4483317760 898394 33554432000 4194304 5654031 140735234680784 140735234679096 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19628/statm: 1094560 898394 147 357 0 1094200 0
Current children cumulated CPU time (s) 94.87
Current children cumulated vsize (KiB) 6630488
[startup+140.7 s]
/proc/loadavg: 3.61 2.48 2.16 3/179 19630
/proc/meminfo: memFree=8357584/32873852 swapFree=6848/6848
[pid=19533] ppid=19531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19533/stat : 19533 (npSolver-pbo-I.) S 19531 19533 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272860917 9367552 274 33554432000 4194304 5064252 140733690740832 140733690739744 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19533/statm: 2287 274 233 213 0 72 0
[pid=19534] ppid=19533 vsize=2243100 CPUtime=75.57 cores=0,2,4,6
/proc/19534/stat : 19534 (npSolver-pbo) S 19533 19533 18146 0 -1 4204032 243995 27781 0 0 2012 310 4978 257 20 0 1 0 272860917 2296934400 526647 33554432000 4194304 5992684 140735384264896 140735384259432 5240597 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 2 0 0
/proc/19534/statm: 560775 526647 184 440 0 560331 0
[pid=19628] ppid=19534 vsize=4378240 CPUtime=19.3 cores=0,2,4,6
/proc/19628/stat : 19628 (glucosInc) S 19534 19533 18146 0 -1 4202496 419199 0 0 0 1789 141 0 0 20 0 1 0 272868270 4483317760 898394 33554432000 4194304 5654031 140735234680784 140735234679096 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19628/statm: 1094560 898394 147 357 0 1094200 0
Current children cumulated CPU time (s) 94.87
Current children cumulated vsize (KiB) 6630488
[startup+147.1 s]
/proc/loadavg: 3.72 2.52 2.18 2/179 19630
/proc/meminfo: memFree=8123972/32873852 swapFree=6848/6848
[pid=19533] ppid=19531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19533/stat : 19533 (npSolver-pbo-I.) S 19531 19533 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272860917 9367552 274 33554432000 4194304 5064252 140733690740832 140733690739744 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19533/statm: 2287 274 233 213 0 72 0
[pid=19534] ppid=19533 vsize=2243100 CPUtime=75.57 cores=0,2,4,6
/proc/19534/stat : 19534 (npSolver-pbo) S 19533 19533 18146 0 -1 4204032 243995 27781 0 0 2012 310 4978 257 20 0 1 0 272860917 2296934400 526647 33554432000 4194304 5992684 140735384264896 140735384259432 5240597 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 2 0 0
/proc/19534/statm: 560775 526647 184 440 0 560331 0
[pid=19628] ppid=19534 vsize=4378240 CPUtime=19.3 cores=0,2,4,6
/proc/19628/stat : 19628 (glucosInc) S 19534 19533 18146 0 -1 4202496 419199 0 0 0 1789 141 0 0 20 0 1 0 272868270 4483317760 898394 33554432000 4194304 5654031 140735234680784 140735234679096 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19628/statm: 1094560 898394 147 357 0 1094200 0
Current children cumulated CPU time (s) 94.87
Current children cumulated vsize (KiB) 6630488
[startup+150.3 s]
/proc/loadavg: 3.82 2.56 2.19 3/178 19630
/proc/meminfo: memFree=7990060/32873852 swapFree=6848/6848
[pid=19533] ppid=19531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19533/stat : 19533 (npSolver-pbo-I.) S 19531 19533 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272860917 9367552 274 33554432000 4194304 5064252 140733690740832 140733690739744 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19533/statm: 2287 274 233 213 0 72 0
[pid=19534] ppid=19533 vsize=2243100 CPUtime=75.57 cores=0,2,4,6
/proc/19534/stat : 19534 (npSolver-pbo) S 19533 19533 18146 0 -1 4204032 243995 27781 0 0 2012 310 4978 257 20 0 1 0 272860917 2296934400 526647 33554432000 4194304 5992684 140735384264896 140735384259432 5240597 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 2 0 0
/proc/19534/statm: 560775 526647 184 440 0 560331 0
[pid=19628] ppid=19534 vsize=4378240 CPUtime=19.3 cores=0,2,4,6
/proc/19628/stat : 19628 (glucosInc) S 19534 19533 18146 0 -1 4202496 419199 0 0 0 1789 141 0 0 20 0 1 0 272868270 4483317760 898394 33554432000 4194304 5654031 140735234680784 140735234679096 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19628/statm: 1094560 898394 147 357 0 1094200 0
Current children cumulated CPU time (s) 94.87
Current children cumulated vsize (KiB) 6630488
[startup+151.1 s]
/proc/loadavg: 3.82 2.56 2.19 2/178 19630
/proc/meminfo: memFree=7942320/32873852 swapFree=6848/6848
[pid=19533] ppid=19531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19533/stat : 19533 (npSolver-pbo-I.) S 19531 19533 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272860917 9367552 274 33554432000 4194304 5064252 140733690740832 140733690739744 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19533/statm: 2287 274 233 213 0 72 0
[pid=19534] ppid=19533 vsize=2243100 CPUtime=75.57 cores=0,2,4,6
/proc/19534/stat : 19534 (npSolver-pbo) S 19533 19533 18146 0 -1 4204032 243995 27781 0 0 2012 310 4978 257 20 0 1 0 272860917 2296934400 526647 33554432000 4194304 5992684 140735384264896 140735384259432 5240597 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 2 0 0
/proc/19534/statm: 560775 526647 184 440 0 560331 0
[pid=19628] ppid=19534 vsize=4378240 CPUtime=19.3 cores=0,2,4,6
/proc/19628/stat : 19628 (glucosInc) S 19534 19533 18146 0 -1 4202496 419199 0 0 0 1789 141 0 0 20 0 1 0 272868270 4483317760 898394 33554432000 4194304 5654031 140735234680784 140735234679096 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19628/statm: 1094560 898394 147 357 0 1094200 0
Current children cumulated CPU time (s) 94.87
Current children cumulated vsize (KiB) 6630488
[startup+151.5 s]
/proc/loadavg: 3.82 2.56 2.19 2/178 19630
/proc/meminfo: memFree=7942320/32873852 swapFree=6848/6848
[pid=19533] ppid=19531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19533/stat : 19533 (npSolver-pbo-I.) S 19531 19533 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272860917 9367552 274 33554432000 4194304 5064252 140733690740832 140733690739744 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19533/statm: 2287 274 233 213 0 72 0
[pid=19534] ppid=19533 vsize=2243100 CPUtime=75.57 cores=0,2,4,6
/proc/19534/stat : 19534 (npSolver-pbo) S 19533 19533 18146 0 -1 4204032 243995 27781 0 0 2012 310 4978 257 20 0 1 0 272860917 2296934400 526647 33554432000 4194304 5992684 140735384264896 140735384259432 5240597 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 2 0 0
/proc/19534/statm: 560775 526647 184 440 0 560331 0
[pid=19628] ppid=19534 vsize=4378240 CPUtime=19.3 cores=0,2,4,6
/proc/19628/stat : 19628 (glucosInc) S 19534 19533 18146 0 -1 4202496 419199 0 0 0 1789 141 0 0 20 0 1 0 272868270 4483317760 898394 33554432000 4194304 5654031 140735234680784 140735234679096 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19628/statm: 1094560 898394 147 357 0 1094200 0
Current children cumulated CPU time (s) 94.87
Current children cumulated vsize (KiB) 6630488
[startup+151.9 s]
/proc/loadavg: 3.76 2.57 2.20 2/178 19630
/proc/meminfo: memFree=7898052/32873852 swapFree=6848/6848
[pid=19533] ppid=19531 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19533/stat : 19533 (npSolver-pbo-I.) S 19531 19533 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272860917 9367552 274 33554432000 4194304 5064252 140733690740832 140733690739744 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19533/statm: 2287 274 233 213 0 72 0
[pid=19534] ppid=19533 vsize=0 CPUtime=75.61 cores=0,2,4,6
/proc/19534/stat : 19534 (npSolver-pbo) R 19533 19533 18146 0 -1 4204036 243995 27781 0 0 2012 314 4978 257 20 0 1 0 272860917 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 2 0 0
/proc/19534/statm: 0 0 0 0 0 0 0
[pid=19628] ppid=19534 vsize=4378240 CPUtime=19.3 cores=0,2,4,6
/proc/19628/stat : 19628 (glucosInc) S 19534 19533 18146 0 -1 4202496 419199 0 0 0 1789 141 0 0 20 0 1 0 272868270 4483317760 898394 33554432000 4194304 5654031 140735234680784 140735234679096 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/19628/statm: 1094560 898394 147 357 0 1094200 0
Current children cumulated CPU time (s) 94.91
Current children cumulated vsize (KiB) 4387388
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19533 and gives
# childrusage.ru_utime.tv_sec=69
# childrusage.ru_utime.tv_usec=907372
# childrusage.ru_stime.tv_sec=5
# childrusage.ru_stime.tv_usec=741127
# CPU time returned by wait4() is 75.6485
# while last known CPU time is 94.91
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 151.918
CPU time (s): 94.91
CPU user time (s): 87.79
CPU system time (s): 7.12
CPU usage (%): 62.4745
Max. virtual memory (cumulated for all children) (KiB): 6710488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 69.9074
system time used= 5.74113
maximum resident set size= 2727468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272150
page faults= 0
swaps= 0
block input operations= 24
block output operations= 3591720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 556702
involuntary context switches= 155
runsolver used 0.341948 second user time and 0.834873 second system time
The end