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-3751870-1339119210/watcher-3751870-1339119210 -o /tmp/evaluation-result-3751870-1339119210/solver-3751870-1339119210 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751870-1339119210.opb 1594276079 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.00 2.01 2.00 3/179 6453
/proc/meminfo: memFree=30269904/32873648 swapFree=7376/7376
[pid=6453] ppid=6451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6453/stat : 6453 (npSolver-pbo-It) S 6451 6453 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378047838 9367552 275 33554432000 4194304 5064252 140736969861008 140736969859920 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6453/statm: 2287 275 233 213 0 72 0
[startup+0.084435 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 6453
/proc/meminfo: memFree=30269904/32873648 swapFree=7376/7376
[pid=6453] ppid=6451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6453/stat : 6453 (npSolver-pbo-It) S 6451 6453 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378047838 9367552 275 33554432000 4194304 5064252 140736969861008 140736969859920 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6453/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100171 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 6453
/proc/meminfo: memFree=30269904/32873648 swapFree=7376/7376
[pid=6453] ppid=6451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6453/stat : 6453 (npSolver-pbo-It) S 6451 6453 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378047838 9367552 275 33554432000 4194304 5064252 140736969861008 140736969859920 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6453/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30009 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 6453
/proc/meminfo: memFree=30269904/32873648 swapFree=7376/7376
[pid=6453] ppid=6451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6453/stat : 6453 (npSolver-pbo-It) S 6451 6453 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378047838 9367552 275 33554432000 4194304 5064252 140736969861008 140736969859920 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6453/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700224 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 6453
/proc/meminfo: memFree=30269904/32873648 swapFree=7376/7376
[pid=6453] ppid=6451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6453/stat : 6453 (npSolver-pbo-It) S 6451 6453 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378047838 9367552 275 33554432000 4194304 5064252 140736969861008 140736969859920 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6453/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 6476
/proc/meminfo: memFree=30265624/32873648 swapFree=7376/7376
[pid=6453] ppid=6451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6453/stat : 6453 (npSolver-pbo-It) S 6451 6453 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378047838 9367552 275 33554432000 4194304 5064252 140736969861008 140736969859920 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6453/statm: 2287 275 233 213 0 72 0
[pid=6454] ppid=6453 vsize=3680 CPUtime=0.88 cores=1,3,5,7
/proc/6454/stat : 6454 (npSolver-pbo) S 6453 6453 2890 0 -1 4202496 4379 12779 0 0 8 1 77 2 20 0 1 0 378047838 3768320 591 33554432000 4194304 6004724 140735945951632 140735945937480 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6454/statm: 920 591 189 442 0 474 0
[pid=6476] ppid=6454 vsize=6364 CPUtime=0.58 cores=1,3,5,7
/proc/6476/stat : 6476 (glucosInc) R 6454 6453 2890 0 -1 4202496 1375 0 0 0 58 0 0 0 20 0 1 0 378047929 6516736 990 33554432000 4194304 5654031 140733685578720 140733685576744 4215112 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6476/statm: 1591 990 132 357 0 1231 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 19192
[startup+3.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 6476
/proc/meminfo: memFree=30263028/32873648 swapFree=7376/7376
[pid=6453] ppid=6451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6453/stat : 6453 (npSolver-pbo-It) S 6451 6453 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378047838 9367552 275 33554432000 4194304 5064252 140736969861008 140736969859920 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6453/statm: 2287 275 233 213 0 72 0
[pid=6454] ppid=6453 vsize=3680 CPUtime=0.88 cores=1,3,5,7
/proc/6454/stat : 6454 (npSolver-pbo) S 6453 6453 2890 0 -1 4202496 4379 12779 0 0 8 1 77 2 20 0 1 0 378047838 3768320 591 33554432000 4194304 6004724 140735945951632 140735945937480 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6454/statm: 920 591 189 442 0 474 0
[pid=6476] ppid=6454 vsize=13656 CPUtime=2.17 cores=1,3,5,7
/proc/6476/stat : 6476 (glucosInc) R 6454 6453 2890 0 -1 4202496 2757 0 0 0 217 0 0 0 20 0 1 0 378047929 13983744 2194 33554432000 4194304 5654031 140733685578720 140733685576600 4234964 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6476/statm: 3414 2194 132 357 0 3054 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 26484
[startup+6.30029 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 6476
/proc/meminfo: memFree=30252880/32873648 swapFree=7376/7376
[pid=6453] ppid=6451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6453/stat : 6453 (npSolver-pbo-It) S 6451 6453 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378047838 9367552 275 33554432000 4194304 5064252 140736969861008 140736969859920 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6453/statm: 2287 275 233 213 0 72 0
[pid=6454] ppid=6453 vsize=3680 CPUtime=0.88 cores=1,3,5,7
/proc/6454/stat : 6454 (npSolver-pbo) S 6453 6453 2890 0 -1 4202496 4379 12779 0 0 8 1 77 2 20 0 1 0 378047838 3768320 591 33554432000 4194304 6004724 140735945951632 140735945937480 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6454/statm: 920 591 189 442 0 474 0
[pid=6476] ppid=6454 vsize=16380 CPUtime=5.37 cores=1,3,5,7
/proc/6476/stat : 6476 (glucosInc) R 6454 6453 2890 0 -1 4202496 3679 0 0 0 537 0 0 0 20 0 1 0 378047929 16773120 3600 33554432000 4194304 5654031 140733685578720 140733685566536 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6476/statm: 4095 3600 138 357 0 3735 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 29208
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 6476
/proc/meminfo: memFree=30252284/32873648 swapFree=7376/7376
[pid=6453] ppid=6451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6453/stat : 6453 (npSolver-pbo-It) S 6451 6453 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378047838 9367552 275 33554432000 4194304 5064252 140736969861008 140736969859920 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6453/statm: 2287 275 233 213 0 72 0
[pid=6454] ppid=6453 vsize=3680 CPUtime=0.88 cores=1,3,5,7
/proc/6454/stat : 6454 (npSolver-pbo) S 6453 6453 2890 0 -1 4202496 4379 12779 0 0 8 1 77 2 20 0 1 0 378047838 3768320 591 33554432000 4194304 6004724 140735945951632 140735945937480 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6454/statm: 920 591 189 442 0 474 0
[pid=6476] ppid=6454 vsize=22372 CPUtime=11.78 cores=1,3,5,7
/proc/6476/stat : 6476 (glucosInc) R 6454 6453 2890 0 -1 4202496 3970 0 0 0 1177 1 0 0 20 0 1 0 378047929 22908928 4123 33554432000 4194304 5654031 140733685578720 140733685576600 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6476/statm: 5593 4123 138 357 0 5233 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 35200
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6478
/proc/meminfo: memFree=30262084/32873648 swapFree=7376/7376
[pid=6453] ppid=6451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6453/stat : 6453 (npSolver-pbo-It) S 6451 6453 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378047838 9367552 275 33554432000 4194304 5064252 140736969861008 140736969859920 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6453/statm: 2287 275 233 213 0 72 0
[pid=6454] ppid=6453 vsize=3680 CPUtime=24.39 cores=1,3,5,7
/proc/6454/stat : 6454 (npSolver-pbo) S 6453 6453 2890 0 -1 4202496 4664 18358 0 0 9 1 2425 4 20 0 1 0 378047838 3768320 591 33554432000 4194304 6004724 140735945951632 140735945937480 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6454/statm: 920 591 189 442 0 474 0
[pid=6478] ppid=6454 vsize=7664 CPUtime=1.07 cores=1,3,5,7
/proc/6478/stat : 6478 (glucosInc) R 6454 6453 2890 0 -1 4202496 1651 0 0 0 107 0 0 0 20 0 1 0 378050281 7847936 1316 33554432000 4194304 5654031 140734169941632 140734169939720 4234964 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6478/statm: 1916 1316 132 357 0 1556 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 20492
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6478
/proc/meminfo: memFree=30206924/32873648 swapFree=7376/7376
[pid=6453] ppid=6451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6453/stat : 6453 (npSolver-pbo-It) S 6451 6453 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378047838 9367552 275 33554432000 4194304 5064252 140736969861008 140736969859920 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6453/statm: 2287 275 233 213 0 72 0
[pid=6454] ppid=6453 vsize=3680 CPUtime=24.39 cores=1,3,5,7
/proc/6454/stat : 6454 (npSolver-pbo) S 6453 6453 2890 0 -1 4202496 4664 18358 0 0 9 1 2425 4 20 0 1 0 378047838 3768320 591 33554432000 4194304 6004724 140735945951632 140735945937480 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6454/statm: 920 591 189 442 0 474 0
[pid=6478] ppid=6454 vsize=23060 CPUtime=26.66 cores=1,3,5,7
/proc/6478/stat : 6478 (glucosInc) R 6454 6453 2890 0 -1 4202496 3875 0 0 0 2666 0 0 0 20 0 1 0 378050281 23613440 5294 33554432000 4194304 5654031 140734169941632 140734169929448 4232803 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6478/statm: 5765 5294 138 357 0 5405 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 35888
Solver just ended. Dumping a history of the last processes samples
[startup+51.2004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6478
/proc/meminfo: memFree=30206924/32873648 swapFree=7376/7376
[pid=6453] ppid=6451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6453/stat : 6453 (npSolver-pbo-It) S 6451 6453 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378047838 9367552 275 33554432000 4194304 5064252 140736969861008 140736969859920 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6453/statm: 2287 275 233 213 0 72 0
[pid=6454] ppid=6453 vsize=3680 CPUtime=24.39 cores=1,3,5,7
/proc/6454/stat : 6454 (npSolver-pbo) S 6453 6453 2890 0 -1 4202496 4664 18358 0 0 9 1 2425 4 20 0 1 0 378047838 3768320 591 33554432000 4194304 6004724 140735945951632 140735945937480 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6454/statm: 920 591 189 442 0 474 0
[pid=6478] ppid=6454 vsize=23060 CPUtime=26.76 cores=1,3,5,7
/proc/6478/stat : 6478 (glucosInc) R 6454 6453 2890 0 -1 4202496 3875 0 0 0 2676 0 0 0 20 0 1 0 378050281 23613440 5294 33554432000 4194304 5654031 140734169941632 140734169929448 4208683 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6478/statm: 5765 5294 138 357 0 5405 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 35888
[startup+64.0003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6478
/proc/meminfo: memFree=30194264/32873648 swapFree=7376/7376
[pid=6453] ppid=6451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6453/stat : 6453 (npSolver-pbo-It) S 6451 6453 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378047838 9367552 275 33554432000 4194304 5064252 140736969861008 140736969859920 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6453/statm: 2287 275 233 213 0 72 0
[pid=6454] ppid=6453 vsize=3680 CPUtime=24.39 cores=1,3,5,7
/proc/6454/stat : 6454 (npSolver-pbo) S 6453 6453 2890 0 -1 4202496 4664 18358 0 0 9 1 2425 4 20 0 1 0 378047838 3768320 591 33554432000 4194304 6004724 140735945951632 140735945937480 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6454/statm: 920 591 189 442 0 474 0
[pid=6478] ppid=6454 vsize=27480 CPUtime=39.56 cores=1,3,5,7
/proc/6478/stat : 6478 (glucosInc) R 6454 6453 2890 0 -1 4202496 4465 0 0 0 3956 0 0 0 20 0 1 0 378050281 28139520 6399 33554432000 4194304 5654031 140734169941632 140734169929448 4233232 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6478/statm: 6870 6399 138 357 0 6510 0
Current children cumulated CPU time (s) 63.95
Current children cumulated vsize (KiB) 40308
[startup+70.4003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6478
/proc/meminfo: memFree=30197552/32873648 swapFree=7376/7376
[pid=6453] ppid=6451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6453/stat : 6453 (npSolver-pbo-It) S 6451 6453 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378047838 9367552 275 33554432000 4194304 5064252 140736969861008 140736969859920 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6453/statm: 2287 275 233 213 0 72 0
[pid=6454] ppid=6453 vsize=3680 CPUtime=24.39 cores=1,3,5,7
/proc/6454/stat : 6454 (npSolver-pbo) S 6453 6453 2890 0 -1 4202496 4664 18358 0 0 9 1 2425 4 20 0 1 0 378047838 3768320 591 33554432000 4194304 6004724 140735945951632 140735945937480 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6454/statm: 920 591 189 442 0 474 0
[pid=6478] ppid=6454 vsize=23060 CPUtime=45.96 cores=1,3,5,7
/proc/6478/stat : 6478 (glucosInc) R 6454 6453 2890 0 -1 4202496 4625 0 0 0 4596 0 0 0 20 0 1 0 378050281 23613440 5080 33554432000 4194304 5654031 140734169941632 140734169939512 4232935 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6478/statm: 5765 5080 138 357 0 5405 0
Current children cumulated CPU time (s) 70.35
Current children cumulated vsize (KiB) 35888
[startup+73.6003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6478
/proc/meminfo: memFree=30194264/32873648 swapFree=7376/7376
[pid=6453] ppid=6451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6453/stat : 6453 (npSolver-pbo-It) S 6451 6453 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378047838 9367552 275 33554432000 4194304 5064252 140736969861008 140736969859920 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6453/statm: 2287 275 233 213 0 72 0
[pid=6454] ppid=6453 vsize=3680 CPUtime=24.39 cores=1,3,5,7
/proc/6454/stat : 6454 (npSolver-pbo) S 6453 6453 2890 0 -1 4202496 4664 18358 0 0 9 1 2425 4 20 0 1 0 378047838 3768320 591 33554432000 4194304 6004724 140735945951632 140735945937480 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6454/statm: 920 591 189 442 0 474 0
[pid=6478] ppid=6454 vsize=23060 CPUtime=49.15 cores=1,3,5,7
/proc/6478/stat : 6478 (glucosInc) R 6454 6453 2890 0 -1 4202496 4849 0 0 0 4915 0 0 0 20 0 1 0 378050281 23613440 5294 33554432000 4194304 5654031 140734169941632 140734169929448 4232495 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6478/statm: 5765 5294 138 357 0 5405 0
Current children cumulated CPU time (s) 73.54
Current children cumulated vsize (KiB) 35888
[startup+76.8003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6478
/proc/meminfo: memFree=30184832/32873648 swapFree=7376/7376
[pid=6453] ppid=6451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6453/stat : 6453 (npSolver-pbo-It) S 6451 6453 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378047838 9367552 275 33554432000 4194304 5064252 140736969861008 140736969859920 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6453/statm: 2287 275 233 213 0 72 0
[pid=6454] ppid=6453 vsize=3680 CPUtime=24.39 cores=1,3,5,7
/proc/6454/stat : 6454 (npSolver-pbo) S 6453 6453 2890 0 -1 4202496 4664 18358 0 0 9 1 2425 4 20 0 1 0 378047838 3768320 591 33554432000 4194304 6004724 140735945951632 140735945937480 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6454/statm: 920 591 189 442 0 474 0
[pid=6478] ppid=6454 vsize=23060 CPUtime=52.35 cores=1,3,5,7
/proc/6478/stat : 6478 (glucosInc) R 6454 6453 2890 0 -1 4202496 5140 0 0 0 5235 0 0 0 20 0 1 0 378050281 23613440 5294 33554432000 4194304 5654031 140734169941632 140734169939560 4232973 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6478/statm: 5765 5294 138 357 0 5405 0
Current children cumulated CPU time (s) 76.74
Current children cumulated vsize (KiB) 35888
[startup+77.6003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6478
/proc/meminfo: memFree=30191596/32873648 swapFree=7376/7376
[pid=6453] ppid=6451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6453/stat : 6453 (npSolver-pbo-It) S 6451 6453 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378047838 9367552 275 33554432000 4194304 5064252 140736969861008 140736969859920 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6453/statm: 2287 275 233 213 0 72 0
[pid=6454] ppid=6453 vsize=3680 CPUtime=24.39 cores=1,3,5,7
/proc/6454/stat : 6454 (npSolver-pbo) S 6453 6453 2890 0 -1 4202496 4664 18358 0 0 9 1 2425 4 20 0 1 0 378047838 3768320 591 33554432000 4194304 6004724 140735945951632 140735945937480 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6454/statm: 920 591 189 442 0 474 0
[pid=6478] ppid=6454 vsize=23060 CPUtime=53.15 cores=1,3,5,7
/proc/6478/stat : 6478 (glucosInc) R 6454 6453 2890 0 -1 4202496 5140 0 0 0 5315 0 0 0 20 0 1 0 378050281 23613440 5294 33554432000 4194304 5654031 140734169941632 140734169939656 4233201 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6478/statm: 5765 5294 138 357 0 5405 0
Current children cumulated CPU time (s) 77.54
Current children cumulated vsize (KiB) 35888
[startup+78.4003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6478
/proc/meminfo: memFree=30191596/32873648 swapFree=7376/7376
[pid=6453] ppid=6451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6453/stat : 6453 (npSolver-pbo-It) S 6451 6453 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378047838 9367552 275 33554432000 4194304 5064252 140736969861008 140736969859920 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6453/statm: 2287 275 233 213 0 72 0
[pid=6454] ppid=6453 vsize=3680 CPUtime=24.39 cores=1,3,5,7
/proc/6454/stat : 6454 (npSolver-pbo) S 6453 6453 2890 0 -1 4202496 4664 18358 0 0 9 1 2425 4 20 0 1 0 378047838 3768320 591 33554432000 4194304 6004724 140735945951632 140735945937480 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6454/statm: 920 591 189 442 0 474 0
[pid=6478] ppid=6454 vsize=23060 CPUtime=53.95 cores=1,3,5,7
/proc/6478/stat : 6478 (glucosInc) R 6454 6453 2890 0 -1 4202496 5140 0 0 0 5395 0 0 0 20 0 1 0 378050281 23613440 5294 33554432000 4194304 5654031 140734169941632 140734169939656 4232939 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6478/statm: 5765 5294 138 357 0 5405 0
Current children cumulated CPU time (s) 78.34
Current children cumulated vsize (KiB) 35888
[startup+78.8003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6478
/proc/meminfo: memFree=30191596/32873648 swapFree=7376/7376
[pid=6453] ppid=6451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6453/stat : 6453 (npSolver-pbo-It) S 6451 6453 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378047838 9367552 275 33554432000 4194304 5064252 140736969861008 140736969859920 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6453/statm: 2287 275 233 213 0 72 0
[pid=6454] ppid=6453 vsize=3680 CPUtime=24.39 cores=1,3,5,7
/proc/6454/stat : 6454 (npSolver-pbo) S 6453 6453 2890 0 -1 4202496 4664 18358 0 0 9 1 2425 4 20 0 1 0 378047838 3768320 591 33554432000 4194304 6004724 140735945951632 140735945937480 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6454/statm: 920 591 189 442 0 474 0
[pid=6478] ppid=6454 vsize=23060 CPUtime=54.35 cores=1,3,5,7
/proc/6478/stat : 6478 (glucosInc) R 6454 6453 2890 0 -1 4202496 5141 0 0 0 5435 0 0 0 20 0 1 0 378050281 23613440 5295 33554432000 4194304 5654031 140734169941632 140734169939656 4232973 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6478/statm: 5765 5295 138 357 0 5405 0
Current children cumulated CPU time (s) 78.74
Current children cumulated vsize (KiB) 35888
[startup+78.9003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6478
/proc/meminfo: memFree=30191596/32873648 swapFree=7376/7376
[pid=6453] ppid=6451 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6453/stat : 6453 (npSolver-pbo-It) S 6451 6453 2890 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378047838 9367552 275 33554432000 4194304 5064252 140736969861008 140736969859920 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6453/statm: 2287 275 233 213 0 72 0
[pid=6454] ppid=6453 vsize=3680 CPUtime=24.39 cores=1,3,5,7
/proc/6454/stat : 6454 (npSolver-pbo) S 6453 6453 2890 0 -1 4202496 4664 18358 0 0 9 1 2425 4 20 0 1 0 378047838 3768320 591 33554432000 4194304 6004724 140735945951632 140735945937480 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6454/statm: 920 591 189 442 0 474 0
[pid=6478] ppid=6454 vsize=23060 CPUtime=54.45 cores=1,3,5,7
/proc/6478/stat : 6478 (glucosInc) R 6454 6453 2890 0 -1 4202496 5141 0 0 0 5445 0 0 0 20 0 1 0 378050281 23613440 5295 33554432000 4194304 5654031 140734169941632 140734169939656 4232421 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6478/statm: 5765 5295 138 357 0 5405 0
Current children cumulated CPU time (s) 78.84
Current children cumulated vsize (KiB) 35888
Child status: 0
Real time (s): 78.9104
CPU time (s): 78.887
CPU user time (s): 78.817
CPU system time (s): 0.069989
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 47384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 78.817
system time used= 0.069989
maximum resident set size= 30516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28737
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 169
involuntary context switches= 163
runsolver used 0.148977 second user time and 0.373943 second system time
The end