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-3748921-1339126356/watcher-3748921-1339126356 -o /tmp/evaluation-result-3748921-1339126356/solver-3748921-1339126356 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748921-1339126356.opb 1907697857 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.00 2.05 3/178 15584
/proc/meminfo: memFree=11090572/32873844 swapFree=7372/7372
[pid=15584] ppid=15582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15584/stat : 15584 (npSolver-pbo-I.) S 15582 15584 11882 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378764145 9367552 275 33554432000 4194304 5064252 140737218614304 140737218613216 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15584/statm: 2287 275 233 213 0 72 0
[startup+0.014853 s]
/proc/loadavg: 2.00 2.00 2.05 3/178 15584
/proc/meminfo: memFree=11090572/32873844 swapFree=7372/7372
[pid=15584] ppid=15582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15584/stat : 15584 (npSolver-pbo-I.) S 15582 15584 11882 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378764145 9367552 275 33554432000 4194304 5064252 140737218614304 140737218613216 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15584/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100273 s]
/proc/loadavg: 2.00 2.00 2.05 3/178 15584
/proc/meminfo: memFree=11090572/32873844 swapFree=7372/7372
[pid=15584] ppid=15582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15584/stat : 15584 (npSolver-pbo-I.) S 15582 15584 11882 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378764145 9367552 275 33554432000 4194304 5064252 140737218614304 140737218613216 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15584/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300204 s]
/proc/loadavg: 2.00 2.00 2.05 3/178 15584
/proc/meminfo: memFree=11090572/32873844 swapFree=7372/7372
[pid=15584] ppid=15582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15584/stat : 15584 (npSolver-pbo-I.) S 15582 15584 11882 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378764145 9367552 275 33554432000 4194304 5064252 140737218614304 140737218613216 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15584/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700281 s]
/proc/loadavg: 2.00 2.00 2.05 3/178 15584
/proc/meminfo: memFree=11090572/32873844 swapFree=7372/7372
[pid=15584] ppid=15582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15584/stat : 15584 (npSolver-pbo-I.) S 15582 15584 11882 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378764145 9367552 275 33554432000 4194304 5064252 140737218614304 140737218613216 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15584/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50037 s]
/proc/loadavg: 2.00 2.00 2.05 3/181 15590
/proc/meminfo: memFree=11073276/32873844 swapFree=7372/7372
[pid=15584] ppid=15582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15584/stat : 15584 (npSolver-pbo-I.) S 15582 15584 11882 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378764145 9367552 275 33554432000 4194304 5064252 140737218614304 140737218613216 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15584/statm: 2287 275 233 213 0 72 0
[pid=15585] ppid=15584 vsize=5640 CPUtime=0.41 cores=1,3,5,7
/proc/15585/stat : 15585 (npSolver-pbo) S 15584 15584 11882 0 -1 4202496 2351 7976 0 0 5 1 34 1 20 0 1 0 378764145 5775360 811 33554432000 4194304 6004724 140736848543104 140736848529384 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15585/statm: 1410 811 152 442 0 964 0
[pid=15590] ppid=15585 vsize=16652 CPUtime=1.05 cores=1,3,5,7
/proc/15590/stat : 15590 (glucosInc) R 15585 15584 11882 0 -1 4202496 3076 0 0 0 105 0 0 0 20 0 1 0 378764188 17051648 3459 33554432000 4194304 5654031 140735772541328 140735772539112 4232380 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15590/statm: 4163 3459 131 357 0 3803 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 31440
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 2.05 3/181 15590
/proc/meminfo: memFree=11073160/32873844 swapFree=7372/7372
[pid=15584] ppid=15582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15584/stat : 15584 (npSolver-pbo-I.) S 15582 15584 11882 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378764145 9367552 275 33554432000 4194304 5064252 140737218614304 140737218613216 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15584/statm: 2287 275 233 213 0 72 0
[pid=15585] ppid=15584 vsize=5640 CPUtime=0.41 cores=1,3,5,7
/proc/15585/stat : 15585 (npSolver-pbo) S 15584 15584 11882 0 -1 4202496 2351 7976 0 0 5 1 34 1 20 0 1 0 378764145 5775360 811 33554432000 4194304 6004724 140736848543104 140736848529384 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15585/statm: 1410 811 152 442 0 964 0
[pid=15590] ppid=15585 vsize=16924 CPUtime=2.65 cores=1,3,5,7
/proc/15590/stat : 15590 (glucosInc) R 15585 15584 11882 0 -1 4202496 3121 0 0 0 265 0 0 0 20 0 1 0 378764188 17330176 3504 33554432000 4194304 5654031 140735772541328 140735772539112 4232794 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15590/statm: 4231 3504 131 357 0 3871 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 31712
[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 2.05 3/181 15590
/proc/meminfo: memFree=11074636/32873844 swapFree=7372/7372
[pid=15584] ppid=15582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15584/stat : 15584 (npSolver-pbo-I.) S 15582 15584 11882 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378764145 9367552 275 33554432000 4194304 5064252 140737218614304 140737218613216 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15584/statm: 2287 275 233 213 0 72 0
[pid=15585] ppid=15584 vsize=5640 CPUtime=0.41 cores=1,3,5,7
/proc/15585/stat : 15585 (npSolver-pbo) S 15584 15584 11882 0 -1 4202496 2351 7976 0 0 5 1 34 1 20 0 1 0 378764145 5775360 811 33554432000 4194304 6004724 140736848543104 140736848529384 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15585/statm: 1410 811 152 442 0 964 0
[pid=15590] ppid=15585 vsize=15688 CPUtime=5.85 cores=1,3,5,7
/proc/15590/stat : 15590 (glucosInc) R 15585 15584 11882 0 -1 4202496 3826 0 0 0 585 0 0 0 20 0 1 0 378764188 16064512 3285 33554432000 4194304 5654031 140735772541328 140735772539224 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15590/statm: 3922 3285 132 357 0 3562 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 30476
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.05 3/181 15590
/proc/meminfo: memFree=11072044/32873844 swapFree=7372/7372
[pid=15584] ppid=15582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15584/stat : 15584 (npSolver-pbo-I.) S 15582 15584 11882 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378764145 9367552 275 33554432000 4194304 5064252 140737218614304 140737218613216 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15584/statm: 2287 275 233 213 0 72 0
[pid=15585] ppid=15584 vsize=5640 CPUtime=0.41 cores=1,3,5,7
/proc/15585/stat : 15585 (npSolver-pbo) S 15584 15584 11882 0 -1 4202496 2351 7976 0 0 5 1 34 1 20 0 1 0 378764145 5775360 811 33554432000 4194304 6004724 140736848543104 140736848529384 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15585/statm: 1410 811 152 442 0 964 0
[pid=15590] ppid=15585 vsize=18740 CPUtime=12.26 cores=1,3,5,7
/proc/15590/stat : 15590 (glucosInc) R 15585 15584 11882 0 -1 4202496 5323 0 0 0 1225 1 0 0 20 0 1 0 378764188 19189760 4069 33554432000 4194304 5654031 140735772541328 140735772539128 4232837 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15590/statm: 4685 4069 132 357 0 4325 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 33528
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 15590
/proc/meminfo: memFree=11064780/32873844 swapFree=7372/7372
[pid=15584] ppid=15582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15584/stat : 15584 (npSolver-pbo-I.) S 15582 15584 11882 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378764145 9367552 275 33554432000 4194304 5064252 140737218614304 140737218613216 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15584/statm: 2287 275 233 213 0 72 0
[pid=15585] ppid=15584 vsize=5640 CPUtime=0.41 cores=1,3,5,7
/proc/15585/stat : 15585 (npSolver-pbo) S 15584 15584 11882 0 -1 4202496 2351 7976 0 0 5 1 34 1 20 0 1 0 378764145 5775360 811 33554432000 4194304 6004724 140736848543104 140736848529384 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15585/statm: 1410 811 152 442 0 964 0
[pid=15590] ppid=15585 vsize=23092 CPUtime=25.05 cores=1,3,5,7
/proc/15590/stat : 15590 (glucosInc) R 15585 15584 11882 0 -1 4202496 5511 0 0 0 2504 1 0 0 20 0 1 0 378764188 23646208 5275 33554432000 4194304 5654031 140735772541328 140735772539208 4232488 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15590/statm: 5773 5275 132 357 0 5413 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 37880
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 15590
/proc/meminfo: memFree=11062280/32873844 swapFree=7372/7372
[pid=15584] ppid=15582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15584/stat : 15584 (npSolver-pbo-I.) S 15582 15584 11882 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378764145 9367552 275 33554432000 4194304 5064252 140737218614304 140737218613216 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15584/statm: 2287 275 233 213 0 72 0
[pid=15585] ppid=15584 vsize=5640 CPUtime=0.41 cores=1,3,5,7
/proc/15585/stat : 15585 (npSolver-pbo) S 15584 15584 11882 0 -1 4202496 2351 7976 0 0 5 1 34 1 20 0 1 0 378764145 5775360 811 33554432000 4194304 6004724 140736848543104 140736848529384 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15585/statm: 1410 811 152 442 0 964 0
[pid=15590] ppid=15585 vsize=25804 CPUtime=50.65 cores=1,3,5,7
/proc/15590/stat : 15590 (glucosInc) R 15585 15584 11882 0 -1 4202496 5676 0 0 0 5064 1 0 0 20 0 1 0 378764188 26423296 5923 33554432000 4194304 5654031 140735772541328 140735772539208 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15590/statm: 6451 5923 132 357 0 6091 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 40592
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 15590
/proc/meminfo: memFree=11057320/32873844 swapFree=7372/7372
[pid=15584] ppid=15582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15584/stat : 15584 (npSolver-pbo-I.) S 15582 15584 11882 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378764145 9367552 275 33554432000 4194304 5064252 140737218614304 140737218613216 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15584/statm: 2287 275 233 213 0 72 0
[pid=15585] ppid=15584 vsize=5640 CPUtime=0.41 cores=1,3,5,7
/proc/15585/stat : 15585 (npSolver-pbo) S 15584 15584 11882 0 -1 4202496 2351 7976 0 0 5 1 34 1 20 0 1 0 378764145 5775360 811 33554432000 4194304 6004724 140736848543104 140736848529384 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15585/statm: 1410 811 152 442 0 964 0
[pid=15590] ppid=15585 vsize=30516 CPUtime=101.85 cores=1,3,5,7
/proc/15590/stat : 15590 (glucosInc) R 15585 15584 11882 0 -1 4202496 6884 0 0 0 10183 2 0 0 20 0 1 0 378764188 31248384 6726 33554432000 4194304 5654031 140735772541328 140735772539208 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15590/statm: 7629 6726 132 357 0 7269 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 45304
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/181 15637
/proc/meminfo: memFree=27475104/32873844 swapFree=7372/7372
[pid=15584] ppid=15582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15584/stat : 15584 (npSolver-pbo-I.) S 15582 15584 11882 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378764145 9367552 275 33554432000 4194304 5064252 140737218614304 140737218613216 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15584/statm: 2287 275 233 213 0 72 0
[pid=15585] ppid=15584 vsize=5640 CPUtime=0.41 cores=1,3,5,7
/proc/15585/stat : 15585 (npSolver-pbo) S 15584 15584 11882 0 -1 4202496 2351 7976 0 0 5 1 34 1 20 0 1 0 378764145 5775360 811 33554432000 4194304 6004724 140736848543104 140736848529384 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15585/statm: 1410 811 152 442 0 964 0
[pid=15590] ppid=15585 vsize=30516 CPUtime=161.83 cores=1,3,5,7
/proc/15590/stat : 15590 (glucosInc) R 15585 15584 11882 0 -1 4202496 7072 0 0 0 16181 2 0 0 20 0 1 0 378764188 31248384 6909 33554432000 4194304 5654031 140735772541328 140735772539208 4232830 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15590/statm: 7629 6909 132 357 0 7269 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 45304
Solver just ended. Dumping a history of the last processes samples
[startup+179.1 s]
/proc/loadavg: 2.00 2.00 2.03 3/181 15637
/proc/meminfo: memFree=27469888/32873844 swapFree=7372/7372
[pid=15584] ppid=15582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15584/stat : 15584 (npSolver-pbo-I.) S 15582 15584 11882 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378764145 9367552 275 33554432000 4194304 5064252 140737218614304 140737218613216 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15584/statm: 2287 275 233 213 0 72 0
[pid=15585] ppid=15584 vsize=5640 CPUtime=0.41 cores=1,3,5,7
/proc/15585/stat : 15585 (npSolver-pbo) S 15584 15584 11882 0 -1 4202496 2351 7976 0 0 5 1 34 1 20 0 1 0 378764145 5775360 811 33554432000 4194304 6004724 140736848543104 140736848529384 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15585/statm: 1410 811 152 442 0 964 0
[pid=15590] ppid=15585 vsize=34868 CPUtime=178.62 cores=1,3,5,7
/proc/15590/stat : 15590 (glucosInc) R 15585 15584 11882 0 -1 4202496 7751 0 0 0 17860 2 0 0 20 0 1 0 378764188 35704832 8027 33554432000 4194304 5654031 140735772541328 140735772539128 4232509 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15590/statm: 8717 8027 132 357 0 8357 0
Current children cumulated CPU time (s) 179.03
Current children cumulated vsize (KiB) 49656
[startup+191.9 s]
/proc/loadavg: 2.00 2.00 2.03 3/181 15637
/proc/meminfo: memFree=27471252/32873844 swapFree=7372/7372
[pid=15584] ppid=15582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15584/stat : 15584 (npSolver-pbo-I.) S 15582 15584 11882 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378764145 9367552 275 33554432000 4194304 5064252 140737218614304 140737218613216 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15584/statm: 2287 275 233 213 0 72 0
[pid=15585] ppid=15584 vsize=5640 CPUtime=0.41 cores=1,3,5,7
/proc/15585/stat : 15585 (npSolver-pbo) S 15584 15584 11882 0 -1 4202496 2351 7976 0 0 5 1 34 1 20 0 1 0 378764145 5775360 811 33554432000 4194304 6004724 140736848543104 140736848529384 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15585/statm: 1410 811 152 442 0 964 0
[pid=15590] ppid=15585 vsize=34868 CPUtime=191.42 cores=1,3,5,7
/proc/15590/stat : 15590 (glucosInc) R 15585 15584 11882 0 -1 4202496 7751 0 0 0 19140 2 0 0 20 0 1 0 378764188 35704832 8027 33554432000 4194304 5654031 140735772541328 140735772539128 4233213 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15590/statm: 8717 8027 132 357 0 8357 0
Current children cumulated CPU time (s) 191.83
Current children cumulated vsize (KiB) 49656
[startup+198.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/181 15637
/proc/meminfo: memFree=27471004/32873844 swapFree=7372/7372
[pid=15584] ppid=15582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15584/stat : 15584 (npSolver-pbo-I.) S 15582 15584 11882 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378764145 9367552 275 33554432000 4194304 5064252 140737218614304 140737218613216 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15584/statm: 2287 275 233 213 0 72 0
[pid=15585] ppid=15584 vsize=5640 CPUtime=0.41 cores=1,3,5,7
/proc/15585/stat : 15585 (npSolver-pbo) S 15584 15584 11882 0 -1 4202496 2351 7976 0 0 5 1 34 1 20 0 1 0 378764145 5775360 811 33554432000 4194304 6004724 140736848543104 140736848529384 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15585/statm: 1410 811 152 442 0 964 0
[pid=15590] ppid=15585 vsize=34868 CPUtime=197.82 cores=1,3,5,7
/proc/15590/stat : 15590 (glucosInc) R 15585 15584 11882 0 -1 4202496 7751 0 0 0 19780 2 0 0 20 0 1 0 378764188 35704832 8027 33554432000 4194304 5654031 140735772541328 140735772539128 4216016 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15590/statm: 8717 8027 132 357 0 8357 0
Current children cumulated CPU time (s) 198.23
Current children cumulated vsize (KiB) 49656
[startup+199.9 s]
/proc/loadavg: 2.00 2.00 2.03 3/181 15637
/proc/meminfo: memFree=27471004/32873844 swapFree=7372/7372
[pid=15584] ppid=15582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15584/stat : 15584 (npSolver-pbo-I.) S 15582 15584 11882 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378764145 9367552 275 33554432000 4194304 5064252 140737218614304 140737218613216 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15584/statm: 2287 275 233 213 0 72 0
[pid=15585] ppid=15584 vsize=5640 CPUtime=0.41 cores=1,3,5,7
/proc/15585/stat : 15585 (npSolver-pbo) S 15584 15584 11882 0 -1 4202496 2351 7976 0 0 5 1 34 1 20 0 1 0 378764145 5775360 811 33554432000 4194304 6004724 140736848543104 140736848529384 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15585/statm: 1410 811 152 442 0 964 0
[pid=15590] ppid=15585 vsize=34868 CPUtime=199.42 cores=1,3,5,7
/proc/15590/stat : 15590 (glucosInc) R 15585 15584 11882 0 -1 4202496 7751 0 0 0 19940 2 0 0 20 0 1 0 378764188 35704832 8027 33554432000 4194304 5654031 140735772541328 140735772539128 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15590/statm: 8717 8027 132 357 0 8357 0
Current children cumulated CPU time (s) 199.83
Current children cumulated vsize (KiB) 49656
[startup+200.7 s]
/proc/loadavg: 2.00 2.00 2.03 3/181 15637
/proc/meminfo: memFree=27470880/32873844 swapFree=7372/7372
[pid=15584] ppid=15582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15584/stat : 15584 (npSolver-pbo-I.) S 15582 15584 11882 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378764145 9367552 275 33554432000 4194304 5064252 140737218614304 140737218613216 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15584/statm: 2287 275 233 213 0 72 0
[pid=15585] ppid=15584 vsize=5640 CPUtime=0.41 cores=1,3,5,7
/proc/15585/stat : 15585 (npSolver-pbo) S 15584 15584 11882 0 -1 4202496 2351 7976 0 0 5 1 34 1 20 0 1 0 378764145 5775360 811 33554432000 4194304 6004724 140736848543104 140736848529384 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15585/statm: 1410 811 152 442 0 964 0
[pid=15590] ppid=15585 vsize=34868 CPUtime=200.22 cores=1,3,5,7
/proc/15590/stat : 15590 (glucosInc) R 15585 15584 11882 0 -1 4202496 7751 0 0 0 20020 2 0 0 20 0 1 0 378764188 35704832 8027 33554432000 4194304 5654031 140735772541328 140735772539128 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15590/statm: 8717 8027 132 357 0 8357 0
Current children cumulated CPU time (s) 200.63
Current children cumulated vsize (KiB) 49656
[startup+201.5 s]
/proc/loadavg: 2.00 2.00 2.03 3/181 15637
/proc/meminfo: memFree=27470880/32873844 swapFree=7372/7372
[pid=15584] ppid=15582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15584/stat : 15584 (npSolver-pbo-I.) S 15582 15584 11882 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378764145 9367552 275 33554432000 4194304 5064252 140737218614304 140737218613216 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15584/statm: 2287 275 233 213 0 72 0
[pid=15585] ppid=15584 vsize=5640 CPUtime=0.41 cores=1,3,5,7
/proc/15585/stat : 15585 (npSolver-pbo) S 15584 15584 11882 0 -1 4202496 2351 7976 0 0 5 1 34 1 20 0 1 0 378764145 5775360 811 33554432000 4194304 6004724 140736848543104 140736848529384 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15585/statm: 1410 811 152 442 0 964 0
[pid=15590] ppid=15585 vsize=34868 CPUtime=201.02 cores=1,3,5,7
/proc/15590/stat : 15590 (glucosInc) R 15585 15584 11882 0 -1 4202496 7751 0 0 0 20100 2 0 0 20 0 1 0 378764188 35704832 8027 33554432000 4194304 5654031 140735772541328 140735772539128 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15590/statm: 8717 8027 132 357 0 8357 0
Current children cumulated CPU time (s) 201.43
Current children cumulated vsize (KiB) 49656
[startup+201.7 s]
/proc/loadavg: 2.00 2.00 2.03 3/181 15637
/proc/meminfo: memFree=27470880/32873844 swapFree=7372/7372
[pid=15584] ppid=15582 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15584/stat : 15584 (npSolver-pbo-I.) S 15582 15584 11882 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378764145 9367552 275 33554432000 4194304 5064252 140737218614304 140737218613216 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15584/statm: 2287 275 233 213 0 72 0
[pid=15585] ppid=15584 vsize=5640 CPUtime=0.41 cores=1,3,5,7
/proc/15585/stat : 15585 (npSolver-pbo) S 15584 15584 11882 0 -1 4202496 2351 7976 0 0 5 1 34 1 20 0 1 0 378764145 5775360 811 33554432000 4194304 6004724 140736848543104 140736848529384 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15585/statm: 1410 811 152 442 0 964 0
[pid=15590] ppid=15585 vsize=34868 CPUtime=201.22 cores=1,3,5,7
/proc/15590/stat : 15590 (glucosInc) R 15585 15584 11882 0 -1 4202496 7751 0 0 0 20120 2 0 0 20 0 1 0 378764188 35704832 8027 33554432000 4194304 5654031 140735772541328 140735772539128 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15590/statm: 8717 8027 132 357 0 8357 0
Current children cumulated CPU time (s) 201.63
Current children cumulated vsize (KiB) 49656
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15584 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=402938
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=30995
# CPU time returned by wait4() is 0.433933
# while last known CPU time is 201.63
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 201.721
CPU time (s): 201.63
CPU user time (s): 201.59
CPU system time (s): 0.04
CPU usage (%): 99.9549
Max. virtual memory (cumulated for all children) (KiB): 49660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.402938
system time used= 0.030995
maximum resident set size= 31596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10716
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 12
runsolver used 0.39294 second user time and 1.02384 second system time
The end