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-3746404-1339101788/watcher-3746404-1339101788 -o /tmp/evaluation-result-3746404-1339101788/solver-3746404-1339101788 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746404-1339101788.opb 1779082481 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.12 2.03 1.92 3/180 9219
/proc/meminfo: memFree=30703332/32873844 swapFree=6868/6868
[pid=9219] ppid=9217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9219/stat : 9219 (npSolver-pbo-It) S 9217 9219 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20145442 9367552 275 33554432000 4194304 5064252 140734284766992 140734284765904 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9219/statm: 2287 275 233 213 0 72 0
[startup+0.0900121 s]
/proc/loadavg: 2.12 2.03 1.92 3/180 9219
/proc/meminfo: memFree=30703332/32873844 swapFree=6868/6868
[pid=9219] ppid=9217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9219/stat : 9219 (npSolver-pbo-It) S 9217 9219 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20145442 9367552 275 33554432000 4194304 5064252 140734284766992 140734284765904 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9219/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100246 s]
/proc/loadavg: 2.12 2.03 1.92 3/180 9219
/proc/meminfo: memFree=30703332/32873844 swapFree=6868/6868
[pid=9219] ppid=9217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9219/stat : 9219 (npSolver-pbo-It) S 9217 9219 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20145442 9367552 275 33554432000 4194304 5064252 140734284766992 140734284765904 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9219/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300306 s]
/proc/loadavg: 2.12 2.03 1.92 3/180 9219
/proc/meminfo: memFree=30703332/32873844 swapFree=6868/6868
[pid=9219] ppid=9217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9219/stat : 9219 (npSolver-pbo-It) S 9217 9219 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20145442 9367552 275 33554432000 4194304 5064252 140734284766992 140734284765904 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9219/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700209 s]
/proc/loadavg: 2.12 2.03 1.92 3/180 9219
/proc/meminfo: memFree=30703332/32873844 swapFree=6868/6868
[pid=9219] ppid=9217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9219/stat : 9219 (npSolver-pbo-It) S 9217 9219 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20145442 9367552 275 33554432000 4194304 5064252 140734284766992 140734284765904 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9219/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.11 2.03 1.92 3/183 9225
/proc/meminfo: memFree=30686912/32873844 swapFree=6868/6868
[pid=9219] ppid=9217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9219/stat : 9219 (npSolver-pbo-It) S 9217 9219 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20145442 9367552 275 33554432000 4194304 5064252 140734284766992 140734284765904 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9219/statm: 2287 275 233 213 0 72 0
[pid=9220] ppid=9219 vsize=4116 CPUtime=0.27 cores=1,3,5,7
/proc/9220/stat : 9220 (npSolver-pbo) S 9219 9219 8890 0 -1 4202496 2275 3425 0 0 2 0 25 0 20 0 1 0 20145442 4214784 642 33554432000 4194304 6004724 140734242460880 140734242447160 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9220/statm: 1029 642 152 442 0 583 0
[pid=9225] ppid=9220 vsize=24584 CPUtime=1.19 cores=1,3,5,7
/proc/9225/stat : 9225 (glucosInc) R 9220 9219 8890 0 -1 4202496 3059 0 0 0 119 0 0 0 20 0 1 0 20145472 25174016 5494 33554432000 4194304 5654031 140736323058464 140736323056248 4215200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9225/statm: 6146 5494 131 357 0 5786 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 37848
[startup+3.10038 s]
/proc/loadavg: 2.11 2.03 1.92 3/183 9225
/proc/meminfo: memFree=30680712/32873844 swapFree=6868/6868
[pid=9219] ppid=9217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9219/stat : 9219 (npSolver-pbo-It) S 9217 9219 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20145442 9367552 275 33554432000 4194304 5064252 140734284766992 140734284765904 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9219/statm: 2287 275 233 213 0 72 0
[pid=9220] ppid=9219 vsize=4116 CPUtime=0.27 cores=1,3,5,7
/proc/9220/stat : 9220 (npSolver-pbo) S 9219 9219 8890 0 -1 4202496 2275 3425 0 0 2 0 25 0 20 0 1 0 20145442 4214784 642 33554432000 4194304 6004724 140734242460880 140734242447160 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9220/statm: 1029 642 152 442 0 583 0
[pid=9225] ppid=9220 vsize=36532 CPUtime=2.79 cores=1,3,5,7
/proc/9225/stat : 9225 (glucosInc) R 9220 9219 8890 0 -1 4202496 4681 0 0 0 278 1 0 0 20 0 1 0 20145472 37408768 7151 33554432000 4194304 5654031 140736323058464 140736323056248 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9225/statm: 9133 7151 132 357 0 8773 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 49796
[startup+6.30037 s]
/proc/loadavg: 2.11 2.03 1.92 3/183 9225
/proc/meminfo: memFree=30652236/32873844 swapFree=6868/6868
[pid=9219] ppid=9217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9219/stat : 9219 (npSolver-pbo-It) S 9217 9219 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20145442 9367552 275 33554432000 4194304 5064252 140734284766992 140734284765904 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9219/statm: 2287 275 233 213 0 72 0
[pid=9220] ppid=9219 vsize=4116 CPUtime=0.27 cores=1,3,5,7
/proc/9220/stat : 9220 (npSolver-pbo) S 9219 9219 8890 0 -1 4202496 2275 3425 0 0 2 0 25 0 20 0 1 0 20145442 4214784 642 33554432000 4194304 6004724 140734242460880 140734242447160 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9220/statm: 1029 642 152 442 0 583 0
[pid=9225] ppid=9220 vsize=66888 CPUtime=5.99 cores=1,3,5,7
/proc/9225/stat : 9225 (glucosInc) R 9220 9219 8890 0 -1 4202496 6451 0 0 0 596 3 0 0 20 0 1 0 20145472 68493312 11533 33554432000 4194304 5654031 140736323058464 140736323056488 4215028 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9225/statm: 16722 11533 132 357 0 16362 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 80152
[startup+12.7004 s]
/proc/loadavg: 2.17 2.04 1.93 3/183 9225
/proc/meminfo: memFree=30603016/32873844 swapFree=6868/6868
[pid=9219] ppid=9217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9219/stat : 9219 (npSolver-pbo-It) S 9217 9219 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20145442 9367552 275 33554432000 4194304 5064252 140734284766992 140734284765904 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9219/statm: 2287 275 233 213 0 72 0
[pid=9220] ppid=9219 vsize=4116 CPUtime=0.27 cores=1,3,5,7
/proc/9220/stat : 9220 (npSolver-pbo) S 9219 9219 8890 0 -1 4202496 2275 3425 0 0 2 0 25 0 20 0 1 0 20145442 4214784 642 33554432000 4194304 6004724 140734242460880 140734242447160 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9220/statm: 1029 642 152 442 0 583 0
[pid=9225] ppid=9220 vsize=116208 CPUtime=12.4 cores=1,3,5,7
/proc/9225/stat : 9225 (glucosInc) R 9220 9219 8890 0 -1 4202496 7380 0 0 0 1235 5 0 0 20 0 1 0 20145472 118996992 24774 33554432000 4194304 5654031 140736323058464 140736323056392 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9225/statm: 29052 24774 132 357 0 28692 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 129472
[startup+25.5004 s]
/proc/loadavg: 2.06 2.03 1.92 2/176 9388
/proc/meminfo: memFree=30938860/32873844 swapFree=6868/6868
[pid=9219] ppid=9217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9219/stat : 9219 (npSolver-pbo-It) S 9217 9219 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20145442 9367552 275 33554432000 4194304 5064252 140734284766992 140734284765904 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9219/statm: 2287 275 233 213 0 72 0
[pid=9220] ppid=9219 vsize=4116 CPUtime=0.27 cores=1,3,5,7
/proc/9220/stat : 9220 (npSolver-pbo) S 9219 9219 8890 0 -1 4202496 2275 3425 0 0 2 0 25 0 20 0 1 0 20145442 4214784 642 33554432000 4194304 6004724 140734242460880 140734242447160 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9220/statm: 1029 642 152 442 0 583 0
[pid=9225] ppid=9220 vsize=66888 CPUtime=25.19 cores=1,3,5,7
/proc/9225/stat : 9225 (glucosInc) R 9220 9219 8890 0 -1 4202496 10067 0 0 0 2509 10 0 0 20 0 1 0 20145472 68493312 13582 33554432000 4194304 5654031 140736323058464 140736323056488 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9225/statm: 16722 13582 132 357 0 16362 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 80152
[startup+51.1004 s]
/proc/loadavg: 2.04 2.02 1.92 3/183 9453
/proc/meminfo: memFree=30868112/32873844 swapFree=6868/6868
[pid=9219] ppid=9217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9219/stat : 9219 (npSolver-pbo-It) S 9217 9219 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20145442 9367552 275 33554432000 4194304 5064252 140734284766992 140734284765904 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9219/statm: 2287 275 233 213 0 72 0
[pid=9220] ppid=9219 vsize=4116 CPUtime=0.27 cores=1,3,5,7
/proc/9220/stat : 9220 (npSolver-pbo) S 9219 9219 8890 0 -1 4202496 2275 3425 0 0 2 0 25 0 20 0 1 0 20145442 4214784 642 33554432000 4194304 6004724 140734242460880 140734242447160 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9220/statm: 1029 642 152 442 0 583 0
[pid=9225] ppid=9220 vsize=116208 CPUtime=50.79 cores=1,3,5,7
/proc/9225/stat : 9225 (glucosInc) R 9220 9219 8890 0 -1 4202496 14311 0 0 0 5061 18 0 0 20 0 1 0 20145472 118996992 24775 33554432000 4194304 5654031 140736323058464 140736323056392 4215115 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9225/statm: 29052 24775 132 357 0 28692 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 129472
[startup+102.307 s]
/proc/loadavg: 2.01 2.02 1.92 3/183 9454
/proc/meminfo: memFree=30850876/32873844 swapFree=6868/6868
[pid=9219] ppid=9217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9219/stat : 9219 (npSolver-pbo-It) S 9217 9219 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20145442 9367552 275 33554432000 4194304 5064252 140734284766992 140734284765904 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9219/statm: 2287 275 233 213 0 72 0
[pid=9220] ppid=9219 vsize=4116 CPUtime=0.27 cores=1,3,5,7
/proc/9220/stat : 9220 (npSolver-pbo) S 9219 9219 8890 0 -1 4202496 2275 3425 0 0 2 0 25 0 20 0 1 0 20145442 4214784 642 33554432000 4194304 6004724 140734242460880 140734242447160 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9220/statm: 1029 642 152 442 0 583 0
[pid=9225] ppid=9220 vsize=116208 CPUtime=101.97 cores=1,3,5,7
/proc/9225/stat : 9225 (glucosInc) R 9220 9219 8890 0 -1 4202496 20348 0 0 0 10165 32 0 0 20 0 1 0 20145472 118996992 25799 33554432000 4194304 5654031 140736323058464 140736323056392 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9225/statm: 29052 25799 132 357 0 28692 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 129472
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/183 9454
/proc/meminfo: memFree=30828936/32873844 swapFree=6868/6868
[pid=9219] ppid=9217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9219/stat : 9219 (npSolver-pbo-It) S 9217 9219 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20145442 9367552 275 33554432000 4194304 5064252 140734284766992 140734284765904 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9219/statm: 2287 275 233 213 0 72 0
[pid=9220] ppid=9219 vsize=4116 CPUtime=0.27 cores=1,3,5,7
/proc/9220/stat : 9220 (npSolver-pbo) S 9219 9219 8890 0 -1 4202496 2275 3425 0 0 2 0 25 0 20 0 1 0 20145442 4214784 642 33554432000 4194304 6004724 140734242460880 140734242447160 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9220/statm: 1029 642 152 442 0 583 0
[pid=9225] ppid=9220 vsize=147028 CPUtime=161.96 cores=1,3,5,7
/proc/9225/stat : 9225 (glucosInc) R 9220 9219 8890 0 -1 4202496 26706 0 0 0 16151 45 0 0 20 0 1 0 20145472 150556672 32010 33554432000 4194304 5654031 140736323058464 140736323056552 4232973 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9225/statm: 36757 32010 132 357 0 36397 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 160292
[startup+222.3 s]
/proc/loadavg: 2.04 2.02 1.93 3/183 9454
/proc/meminfo: memFree=30723096/32873844 swapFree=6868/6868
[pid=9219] ppid=9217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9219/stat : 9219 (npSolver-pbo-It) S 9217 9219 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20145442 9367552 275 33554432000 4194304 5064252 140734284766992 140734284765904 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9219/statm: 2287 275 233 213 0 72 0
[pid=9220] ppid=9219 vsize=4116 CPUtime=0.27 cores=1,3,5,7
/proc/9220/stat : 9220 (npSolver-pbo) S 9219 9219 8890 0 -1 4202496 2275 3425 0 0 2 0 25 0 20 0 1 0 20145442 4214784 642 33554432000 4194304 6004724 140734242460880 140734242447160 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9220/statm: 1029 642 152 442 0 583 0
[pid=9225] ppid=9220 vsize=278504 CPUtime=221.93 cores=1,3,5,7
/proc/9225/stat : 9225 (glucosInc) R 9220 9219 8890 0 -1 4202496 31473 0 0 0 22137 56 0 0 20 0 1 0 20145472 285188096 57399 33554432000 4194304 5654031 140736323058464 140736323056552 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9225/statm: 69626 57399 132 357 0 69266 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 291768
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.09 2.02 1.96 3/183 10296
/proc/meminfo: memFree=30291376/32873844 swapFree=6868/6868
[pid=9219] ppid=9217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9219/stat : 9219 (npSolver-pbo-It) S 9217 9219 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20145442 9367552 275 33554432000 4194304 5064252 140734284766992 140734284765904 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9219/statm: 2287 275 233 213 0 72 0
[pid=9220] ppid=9219 vsize=4116 CPUtime=0.27 cores=1,3,5,7
/proc/9220/stat : 9220 (npSolver-pbo) S 9219 9219 8890 0 -1 4202496 2275 3425 0 0 2 0 25 0 20 0 1 0 20145442 4214784 642 33554432000 4194304 6004724 140734242460880 140734242447160 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9220/statm: 1029 642 152 442 0 583 0
[pid=9225] ppid=9220 vsize=278504 CPUtime=1301.71 cores=1,3,5,7
/proc/9225/stat : 9225 (glucosInc) R 9220 9219 8890 0 -1 4202496 75801 0 0 0 129958 213 0 0 20 0 1 0 20145472 285188096 61109 33554432000 4194304 5654031 140736323058464 140736323056552 4232968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9225/statm: 69626 61109 132 357 0 69266 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 291768
[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 1.96 3/183 10296
/proc/meminfo: memFree=30382336/32873844 swapFree=6868/6868
[pid=9219] ppid=9217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9219/stat : 9219 (npSolver-pbo-It) S 9217 9219 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20145442 9367552 275 33554432000 4194304 5064252 140734284766992 140734284765904 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9219/statm: 2287 275 233 213 0 72 0
[pid=9220] ppid=9219 vsize=4116 CPUtime=0.27 cores=1,3,5,7
/proc/9220/stat : 9220 (npSolver-pbo) S 9219 9219 8890 0 -1 4202496 2275 3425 0 0 2 0 25 0 20 0 1 0 20145442 4214784 642 33554432000 4194304 6004724 140734242460880 140734242447160 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9220/statm: 1029 642 152 442 0 583 0
[pid=9225] ppid=9220 vsize=197116 CPUtime=1361.69 cores=1,3,5,7
/proc/9225/stat : 9225 (glucosInc) R 9220 9219 8890 0 -1 4202496 77662 0 0 0 135946 223 0 0 20 0 1 0 20145472 201846784 39949 33554432000 4194304 5654031 140736323058464 140736323056552 4232994 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9225/statm: 49279 39949 132 357 0 48919 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 210380
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 1.96 3/183 10296
/proc/meminfo: memFree=30108964/32873844 swapFree=6868/6868
[pid=9219] ppid=9217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9219/stat : 9219 (npSolver-pbo-It) S 9217 9219 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20145442 9367552 275 33554432000 4194304 5064252 140734284766992 140734284765904 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9219/statm: 2287 275 233 213 0 72 0
[pid=9220] ppid=9219 vsize=4116 CPUtime=0.27 cores=1,3,5,7
/proc/9220/stat : 9220 (npSolver-pbo) S 9219 9219 8890 0 -1 4202496 2275 3425 0 0 2 0 25 0 20 0 1 0 20145442 4214784 642 33554432000 4194304 6004724 140734242460880 140734242447160 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9220/statm: 1029 642 152 442 0 583 0
[pid=9225] ppid=9220 vsize=625688 CPUtime=1421.69 cores=1,3,5,7
/proc/9225/stat : 9225 (glucosInc) R 9220 9219 8890 0 -1 4202496 78906 0 0 0 141938 231 0 0 20 0 1 0 20145472 640704512 106601 33554432000 4194304 5654031 140736323058464 140736323056552 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9225/statm: 156422 106601 132 357 0 156062 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 638952
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/183 10296
/proc/meminfo: memFree=30207864/32873844 swapFree=6868/6868
[pid=9219] ppid=9217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9219/stat : 9219 (npSolver-pbo-It) S 9217 9219 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20145442 9367552 275 33554432000 4194304 5064252 140734284766992 140734284765904 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9219/statm: 2287 275 233 213 0 72 0
[pid=9220] ppid=9219 vsize=4116 CPUtime=0.27 cores=1,3,5,7
/proc/9220/stat : 9220 (npSolver-pbo) S 9219 9219 8890 0 -1 4202496 2275 3425 0 0 2 0 25 0 20 0 1 0 20145442 4214784 642 33554432000 4194304 6004724 140734242460880 140734242447160 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9220/statm: 1029 642 152 442 0 583 0
[pid=9225] ppid=9220 vsize=410764 CPUtime=1481.67 cores=1,3,5,7
/proc/9225/stat : 9225 (glucosInc) R 9220 9219 8890 0 -1 4202496 79871 0 0 0 147927 240 0 0 20 0 1 0 20145472 420622336 82499 33554432000 4194304 5654031 140736323058464 140736323056552 4232916 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9225/statm: 102691 82499 132 357 0 102331 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 424028
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 10296
/proc/meminfo: memFree=30358588/32873844 swapFree=6868/6868
[pid=9219] ppid=9217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9219/stat : 9219 (npSolver-pbo-It) S 9217 9219 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20145442 9367552 275 33554432000 4194304 5064252 140734284766992 140734284765904 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9219/statm: 2287 275 233 213 0 72 0
[pid=9220] ppid=9219 vsize=4116 CPUtime=0.27 cores=1,3,5,7
/proc/9220/stat : 9220 (npSolver-pbo) S 9219 9219 8890 0 -1 4202496 2275 3425 0 0 2 0 25 0 20 0 1 0 20145442 4214784 642 33554432000 4194304 6004724 140734242460880 140734242447160 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9220/statm: 1029 642 152 442 0 583 0
[pid=9225] ppid=9220 vsize=278504 CPUtime=1541.67 cores=1,3,5,7
/proc/9225/stat : 9225 (glucosInc) R 9220 9219 8890 0 -1 4202496 81121 0 0 0 153920 247 0 0 20 0 1 0 20145472 285188096 47472 33554432000 4194304 5654031 140736323058464 140736323056552 4232973 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9225/statm: 69626 47472 132 357 0 69266 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 291768
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 10297
/proc/meminfo: memFree=30114516/32873844 swapFree=6868/6868
[pid=9219] ppid=9217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9219/stat : 9219 (npSolver-pbo-It) S 9217 9219 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20145442 9367552 275 33554432000 4194304 5064252 140734284766992 140734284765904 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9219/statm: 2287 275 233 213 0 72 0
[pid=9220] ppid=9219 vsize=4116 CPUtime=0.27 cores=1,3,5,7
/proc/9220/stat : 9220 (npSolver-pbo) S 9219 9219 8890 0 -1 4202496 2275 3425 0 0 2 0 25 0 20 0 1 0 20145442 4214784 642 33554432000 4194304 6004724 140734242460880 140734242447160 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9220/statm: 1029 642 152 442 0 583 0
[pid=9225] ppid=9220 vsize=625688 CPUtime=1601.65 cores=1,3,5,7
/proc/9225/stat : 9225 (glucosInc) R 9220 9219 8890 0 -1 4202496 82264 0 0 0 159914 251 0 0 20 0 1 0 20145472 640704512 108912 33554432000 4194304 5654031 140736323058464 140736323056552 4232968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9225/statm: 156422 108912 132 357 0 156062 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 638952
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/184 10300
/proc/meminfo: memFree=30234096/32873844 swapFree=6868/6868
[pid=9219] ppid=9217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9219/stat : 9219 (npSolver-pbo-It) S 9217 9219 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20145442 9367552 275 33554432000 4194304 5064252 140734284766992 140734284765904 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9219/statm: 2287 275 233 213 0 72 0
[pid=9220] ppid=9219 vsize=4116 CPUtime=0.27 cores=1,3,5,7
/proc/9220/stat : 9220 (npSolver-pbo) S 9219 9219 8890 0 -1 4202496 2275 3425 0 0 2 0 25 0 20 0 1 0 20145442 4214784 642 33554432000 4194304 6004724 140734242460880 140734242447160 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9220/statm: 1029 642 152 442 0 583 0
[pid=9225] ppid=9220 vsize=410764 CPUtime=1661.64 cores=1,3,5,7
/proc/9225/stat : 9225 (glucosInc) R 9220 9219 8890 0 -1 4202496 83234 0 0 0 165905 259 0 0 20 0 1 0 20145472 420622336 77891 33554432000 4194304 5654031 140736323058464 140736323056552 4232968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9225/statm: 102691 77891 132 357 0 102331 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 424028
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/183 10300
/proc/meminfo: memFree=30049724/32873844 swapFree=6868/6868
[pid=9219] ppid=9217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9219/stat : 9219 (npSolver-pbo-It) S 9217 9219 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20145442 9367552 275 33554432000 4194304 5064252 140734284766992 140734284765904 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9219/statm: 2287 275 233 213 0 72 0
[pid=9220] ppid=9219 vsize=4116 CPUtime=0.27 cores=1,3,5,7
/proc/9220/stat : 9220 (npSolver-pbo) S 9219 9219 8890 0 -1 4202496 2275 3425 0 0 2 0 25 0 20 0 1 0 20145442 4214784 642 33554432000 4194304 6004724 140734242460880 140734242447160 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9220/statm: 1029 642 152 442 0 583 0
[pid=9225] ppid=9220 vsize=625688 CPUtime=1721.64 cores=1,3,5,7
/proc/9225/stat : 9225 (glucosInc) R 9220 9219 8890 0 -1 4202496 83837 0 0 0 171901 263 0 0 20 0 1 0 20145472 640704512 124995 33554432000 4194304 5654031 140736323058464 140736323056552 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9225/statm: 156422 124995 132 357 0 156062 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 638952
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/183 10300
/proc/meminfo: memFree=30144596/32873844 swapFree=6868/6868
[pid=9219] ppid=9217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9219/stat : 9219 (npSolver-pbo-It) S 9217 9219 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20145442 9367552 275 33554432000 4194304 5064252 140734284766992 140734284765904 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9219/statm: 2287 275 233 213 0 72 0
[pid=9220] ppid=9219 vsize=4116 CPUtime=0.27 cores=1,3,5,7
/proc/9220/stat : 9220 (npSolver-pbo) S 9219 9219 8890 0 -1 4202496 2275 3425 0 0 2 0 25 0 20 0 1 0 20145442 4214784 642 33554432000 4194304 6004724 140734242460880 140734242447160 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9220/statm: 1029 642 152 442 0 583 0
[pid=9225] ppid=9220 vsize=410764 CPUtime=1781.62 cores=1,3,5,7
/proc/9225/stat : 9225 (glucosInc) R 9220 9219 8890 0 -1 4202496 85125 0 0 0 177892 270 0 0 20 0 1 0 20145472 420622336 99184 33554432000 4194304 5654031 140736323058464 140736323056552 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9225/statm: 102691 99184 132 357 0 102331 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 424028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 1.96 3/183 10300
/proc/meminfo: memFree=30083344/32873844 swapFree=6868/6868
[pid=9219] ppid=9217 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9219/stat : 9219 (npSolver-pbo-It) S 9217 9219 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 20145442 9367552 275 33554432000 4194304 5064252 140734284766992 140734284765904 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9219/statm: 2287 275 233 213 0 72 0
[pid=9220] ppid=9219 vsize=4116 CPUtime=0.27 cores=1,3,5,7
/proc/9220/stat : 9220 (npSolver-pbo) S 9219 9219 8890 0 -1 4202496 2275 3425 0 0 2 0 25 0 20 0 1 0 20145442 4214784 642 33554432000 4194304 6004724 140734242460880 140734242447160 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9220/statm: 1029 642 152 442 0 583 0
[pid=9225] ppid=9220 vsize=625688 CPUtime=1799.73 cores=1,3,5,7
/proc/9225/stat : 9225 (glucosInc) R 9220 9219 8890 0 -1 4202496 85665 0 0 0 179701 272 0 0 20 0 1 0 20145472 640704512 114032 33554432000 4194304 5654031 140736323058464 140736323056552 4232968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9225/statm: 156422 114032 132 357 0 156062 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 638952
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9219 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=275958
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=19996
# CPU time returned by wait4() is 0.295954
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800
CPU user time (s): 1797.28
CPU system time (s): 2.72
CPU usage (%): 99.9772
Max. virtual memory (cumulated for all children) (KiB): 769180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.275958
system time used= 0.019996
maximum resident set size= 30772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6077
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 11
runsolver used 3.33849 second user time and 9.41057 second system time
The end