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-3698556-1338075089/watcher-3698556-1338075089 -o /tmp/evaluation-result-3698556-1338075089/solver-3698556-1338075089 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698556-1338075089.opb 2034778281 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.04 2.16 2.10 3/180 7605
/proc/meminfo: memFree=26793280/32873844 swapFree=7124/7124
[pid=7605] ppid=7603 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (npSolver-pbo-It) S 7603 7605 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273634289 9367552 274 33554432000 4194304 5064252 140734321045344 140734321044256 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7605/statm: 2287 274 233 213 0 72 0
[startup+0.0613519 s]
/proc/loadavg: 2.04 2.16 2.10 3/180 7605
/proc/meminfo: memFree=26793280/32873844 swapFree=7124/7124
[pid=7605] ppid=7603 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (npSolver-pbo-It) S 7603 7605 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273634289 9367552 274 33554432000 4194304 5064252 140734321045344 140734321044256 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7605/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10026 s]
/proc/loadavg: 2.04 2.16 2.10 3/180 7605
/proc/meminfo: memFree=26793280/32873844 swapFree=7124/7124
[pid=7605] ppid=7603 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (npSolver-pbo-It) S 7603 7605 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273634289 9367552 274 33554432000 4194304 5064252 140734321045344 140734321044256 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7605/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300247 s]
/proc/loadavg: 2.04 2.16 2.10 3/180 7605
/proc/meminfo: memFree=26793280/32873844 swapFree=7124/7124
[pid=7605] ppid=7603 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (npSolver-pbo-It) S 7603 7605 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273634289 9367552 274 33554432000 4194304 5064252 140734321045344 140734321044256 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7605/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700267 s]
/proc/loadavg: 2.04 2.16 2.10 3/180 7605
/proc/meminfo: memFree=26793280/32873844 swapFree=7124/7124
[pid=7605] ppid=7603 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (npSolver-pbo-It) S 7603 7605 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273634289 9367552 274 33554432000 4194304 5064252 140734321045344 140734321044256 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7605/statm: 2287 274 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.04 2.16 2.10 3/184 7609
/proc/meminfo: memFree=26676280/32873844 swapFree=7124/7124
[pid=7605] ppid=7603 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (npSolver-pbo-It) S 7603 7605 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273634289 9367552 274 33554432000 4194304 5064252 140734321045344 140734321044256 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7605/statm: 2287 274 233 213 0 72 0
[pid=7606] ppid=7605 vsize=28640 CPUtime=0.23 cores=0,2,4,6
/proc/7606/stat : 7606 (npSolver-pbo) S 7605 7605 4265 0 -1 4202496 5560 0 0 0 21 2 0 0 20 0 1 0 273634290 29327360 5005 33554432000 4194304 5992684 140736901487152 140736901481600 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/7606/statm: 7160 5005 164 440 0 6716 0
[pid=7608] ppid=7606 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7608/stat : 7608 (cp2_pre.sh) S 7606 7605 4265 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 273634314 9367552 277 33554432000 4194304 5064252 140734563551776 140734563550480 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7608/statm: 2287 277 234 213 0 72 0
[pid=7609] ppid=7608 vsize=110412 CPUtime=1.25 cores=0,2,4,6
/proc/7609/stat : 7609 (coprocessor) R 7608 7605 4265 0 -1 4202496 21593 0 0 0 116 9 0 0 20 0 1 0 273634314 113061888 26651 33554432000 4194304 6586260 140736340363568 140736340359720 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/7609/statm: 27603 26651 199 584 0 27015 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 157348
[startup+3.1002 s]
/proc/loadavg: 2.04 2.16 2.10 3/183 7611
/proc/meminfo: memFree=26725780/32873844 swapFree=7124/7124
[pid=7605] ppid=7603 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (npSolver-pbo-It) S 7603 7605 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273634289 9367552 274 33554432000 4194304 5064252 140734321045344 140734321044256 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7605/statm: 2287 274 233 213 0 72 0
[pid=7606] ppid=7605 vsize=35840 CPUtime=2.96 cores=0,2,4,6
/proc/7606/stat : 7606 (npSolver-pbo) S 7605 7605 4265 0 -1 4202496 10591 43277 0 0 41 41 197 17 20 0 1 0 273634290 36700160 6821 33554432000 4194304 5992684 140736901487152 140736901472984 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/7606/statm: 8960 6821 180 440 0 8516 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 44988
[startup+6.30017 s]
/proc/loadavg: 2.04 2.16 2.10 3/183 7620
/proc/meminfo: memFree=26714932/32873844 swapFree=7124/7124
[pid=7605] ppid=7603 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (npSolver-pbo-It) S 7603 7605 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273634289 9367552 274 33554432000 4194304 5064252 140734321045344 140734321044256 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7605/statm: 2287 274 233 213 0 72 0
[pid=7606] ppid=7605 vsize=36588 CPUtime=5.16 cores=0,2,4,6
/proc/7606/stat : 7606 (npSolver-pbo) S 7605 7605 4265 0 -1 4202496 17414 75309 0 0 60 42 387 27 20 0 1 0 273634290 37466112 6822 33554432000 4194304 5992684 140736901487152 140736901472984 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7606/statm: 9147 6822 180 440 0 8703 0
Current children cumulated CPU time (s) 5.16
Current children cumulated vsize (KiB) 45736
[startup+12.7003 s]
/proc/loadavg: 2.04 2.16 2.10 3/183 7622
/proc/meminfo: memFree=26710292/32873844 swapFree=7124/7124
[pid=7605] ppid=7603 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (npSolver-pbo-It) S 7603 7605 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273634289 9367552 274 33554432000 4194304 5064252 140734321045344 140734321044256 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7605/statm: 2287 274 233 213 0 72 0
[pid=7606] ppid=7605 vsize=36588 CPUtime=5.16 cores=0,2,4,6
/proc/7606/stat : 7606 (npSolver-pbo) S 7605 7605 4265 0 -1 4202496 17414 75309 0 0 60 42 387 27 20 0 1 0 273634290 37466112 6822 33554432000 4194304 5992684 140736901487152 140736901472984 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7606/statm: 9147 6822 180 440 0 8703 0
[pid=7622] ppid=7606 vsize=51896 CPUtime=7.17 cores=0,2,4,6
/proc/7622/stat : 7622 (glucosInc) R 7606 7605 4265 0 -1 4202496 12241 0 0 0 715 2 0 0 20 0 1 0 273634840 53141504 11624 33554432000 4194304 5654031 140733595042592 140733595040376 4218714 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7622/statm: 12974 11624 140 357 0 12614 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 97632
[startup+25.5004 s]
/proc/loadavg: 2.03 2.15 2.09 3/183 7622
/proc/meminfo: memFree=26684640/32873844 swapFree=7124/7124
[pid=7605] ppid=7603 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (npSolver-pbo-It) S 7603 7605 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273634289 9367552 274 33554432000 4194304 5064252 140734321045344 140734321044256 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7605/statm: 2287 274 233 213 0 72 0
[pid=7606] ppid=7605 vsize=36588 CPUtime=5.16 cores=0,2,4,6
/proc/7606/stat : 7606 (npSolver-pbo) S 7605 7605 4265 0 -1 4202496 17414 75309 0 0 60 42 387 27 20 0 1 0 273634290 37466112 6822 33554432000 4194304 5992684 140736901487152 140736901472984 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7606/statm: 9147 6822 180 440 0 8703 0
[pid=7622] ppid=7606 vsize=82212 CPUtime=19.98 cores=0,2,4,6
/proc/7622/stat : 7622 (glucosInc) R 7606 7605 4265 0 -1 4202496 13638 0 0 0 1995 3 0 0 20 0 1 0 273634840 84185088 18589 33554432000 4194304 5654031 140733595042592 140733595030408 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7622/statm: 20553 18589 141 357 0 20193 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 127948
[startup+51.1004 s]
/proc/loadavg: 2.02 2.14 2.09 3/183 7622
/proc/meminfo: memFree=26680544/32873844 swapFree=7124/7124
[pid=7605] ppid=7603 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (npSolver-pbo-It) S 7603 7605 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273634289 9367552 274 33554432000 4194304 5064252 140734321045344 140734321044256 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7605/statm: 2287 274 233 213 0 72 0
[pid=7606] ppid=7605 vsize=36588 CPUtime=5.16 cores=0,2,4,6
/proc/7606/stat : 7606 (npSolver-pbo) S 7605 7605 4265 0 -1 4202496 17414 75309 0 0 60 42 387 27 20 0 1 0 273634290 37466112 6822 33554432000 4194304 5992684 140736901487152 140736901472984 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7606/statm: 9147 6822 180 440 0 8703 0
[pid=7622] ppid=7606 vsize=82212 CPUtime=45.57 cores=0,2,4,6
/proc/7622/stat : 7622 (glucosInc) R 7606 7605 4265 0 -1 4202496 13639 0 0 0 4554 3 0 0 20 0 1 0 273634840 84185088 19101 33554432000 4194304 5654031 140733595042592 140733595030408 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7622/statm: 20553 19101 141 357 0 20193 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 127948
[startup+102.307 s]
/proc/loadavg: 2.06 2.13 2.09 3/183 7623
/proc/meminfo: memFree=26677376/32873844 swapFree=7124/7124
[pid=7605] ppid=7603 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (npSolver-pbo-It) S 7603 7605 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273634289 9367552 274 33554432000 4194304 5064252 140734321045344 140734321044256 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7605/statm: 2287 274 233 213 0 72 0
[pid=7606] ppid=7605 vsize=36588 CPUtime=5.16 cores=0,2,4,6
/proc/7606/stat : 7606 (npSolver-pbo) S 7605 7605 4265 0 -1 4202496 17414 75309 0 0 60 42 387 27 20 0 1 0 273634290 37466112 6822 33554432000 4194304 5992684 140736901487152 140736901472984 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7606/statm: 9147 6822 180 440 0 8703 0
[pid=7622] ppid=7606 vsize=82212 CPUtime=96.77 cores=0,2,4,6
/proc/7622/stat : 7622 (glucosInc) R 7606 7605 4265 0 -1 4202496 13640 0 0 0 9674 3 0 0 20 0 1 0 273634840 84185088 19613 33554432000 4194304 5654031 140733595042592 140733595030408 4232581 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7622/statm: 20553 19613 141 357 0 20193 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 127948
[startup+162.3 s]
/proc/loadavg: 2.02 2.10 2.08 3/183 7623
/proc/meminfo: memFree=26673248/32873844 swapFree=7124/7124
[pid=7605] ppid=7603 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (npSolver-pbo-It) S 7603 7605 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273634289 9367552 274 33554432000 4194304 5064252 140734321045344 140734321044256 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7605/statm: 2287 274 233 213 0 72 0
[pid=7606] ppid=7605 vsize=36588 CPUtime=5.16 cores=0,2,4,6
/proc/7606/stat : 7606 (npSolver-pbo) S 7605 7605 4265 0 -1 4202496 17414 75309 0 0 60 42 387 27 20 0 1 0 273634290 37466112 6822 33554432000 4194304 5992684 140736901487152 140736901472984 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7606/statm: 9147 6822 180 440 0 8703 0
[pid=7622] ppid=7606 vsize=101068 CPUtime=156.75 cores=0,2,4,6
/proc/7622/stat : 7622 (glucosInc) R 7606 7605 4265 0 -1 4202496 14073 0 0 0 15672 3 0 0 20 0 1 0 273634840 103493632 19624 33554432000 4194304 5654031 140733595042592 140733595040472 4208584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7622/statm: 25267 19624 141 357 0 24907 0
Current children cumulated CPU time (s) 161.91
Current children cumulated vsize (KiB) 146804
[startup+222.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/183 7623
/proc/meminfo: memFree=26649148/32873844 swapFree=7124/7124
[pid=7605] ppid=7603 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (npSolver-pbo-It) S 7603 7605 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273634289 9367552 274 33554432000 4194304 5064252 140734321045344 140734321044256 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7605/statm: 2287 274 233 213 0 72 0
[pid=7606] ppid=7605 vsize=36588 CPUtime=5.16 cores=0,2,4,6
/proc/7606/stat : 7606 (npSolver-pbo) S 7605 7605 4265 0 -1 4202496 17414 75309 0 0 60 42 387 27 20 0 1 0 273634290 37466112 6822 33554432000 4194304 5992684 140736901487152 140736901472984 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7606/statm: 9147 6822 180 440 0 8703 0
[pid=7622] ppid=7606 vsize=101068 CPUtime=216.74 cores=0,2,4,6
/proc/7622/stat : 7622 (glucosInc) R 7606 7605 4265 0 -1 4202496 14687 0 0 0 21670 4 0 0 20 0 1 0 273634840 103493632 24292 33554432000 4194304 5654031 140733595042592 140733595030408 4215076 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/7622/statm: 25267 24292 141 357 0 24907 0
Current children cumulated CPU time (s) 221.9
Current children cumulated vsize (KiB) 146804
[startup+282.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/183 7623
/proc/meminfo: memFree=26636228/32873844 swapFree=7124/7124
[pid=7605] ppid=7603 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=26415920/32873844 swapFree=7124/7124
[pid=7605] ppid=7603 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (npSolver-pbo-It) S 7603 7605 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273634289 9367552 274 33554432000 4194304 5064252 140734321045344 140734321044256 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7605/statm: 2287 274 233 213 0 72 0
[pid=7606] ppid=7605 vsize=36588 CPUtime=724.29 cores=0,2,4,6
/proc/7606/stat : 7606 (npSolver-pbo) S 7605 7605 4265 0 -1 4202496 19686 91354 0 0 67 42 72279 41 20 0 1 0 273634290 37466112 6822 33554432000 4194304 5992684 140736901487152 140736901472984 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7606/statm: 9147 6822 180 440 0 8703 0
[pid=7630] ppid=7606 vsize=182156 CPUtime=577.44 cores=0,2,4,6
/proc/7630/stat : 7630 (glucosInc) R 7606 7605 4265 0 -1 4202496 17169 0 0 0 57735 9 0 0 20 0 1 0 273706766 186527744 40057 33554432000 4194304 5654031 140737294663456 140737294661384 4233306 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7630/statm: 45539 40057 141 357 0 45179 0
Current children cumulated CPU time (s) 1301.73
Current children cumulated vsize (KiB) 227892
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7635
/proc/meminfo: memFree=26428356/32873844 swapFree=7124/7124
[pid=7605] ppid=7603 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (npSolver-pbo-It) S 7603 7605 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273634289 9367552 274 33554432000 4194304 5064252 140734321045344 140734321044256 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7605/statm: 2287 274 233 213 0 72 0
[pid=7606] ppid=7605 vsize=36588 CPUtime=724.29 cores=0,2,4,6
/proc/7606/stat : 7606 (npSolver-pbo) S 7605 7605 4265 0 -1 4202496 19686 91354 0 0 67 42 72279 41 20 0 1 0 273634290 37466112 6822 33554432000 4194304 5992684 140736901487152 140736901472984 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7606/statm: 9147 6822 180 440 0 8703 0
[pid=7630] ppid=7606 vsize=182156 CPUtime=637.42 cores=0,2,4,6
/proc/7630/stat : 7630 (glucosInc) R 7606 7605 4265 0 -1 4202496 18633 0 0 0 63730 12 0 0 20 0 1 0 273706766 186527744 36985 33554432000 4194304 5654031 140737294663456 140737294661384 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7630/statm: 45539 36985 141 357 0 45179 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 227892
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7635
/proc/meminfo: memFree=26380532/32873844 swapFree=7124/7124
[pid=7605] ppid=7603 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (npSolver-pbo-It) S 7603 7605 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273634289 9367552 274 33554432000 4194304 5064252 140734321045344 140734321044256 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7605/statm: 2287 274 233 213 0 72 0
[pid=7606] ppid=7605 vsize=36588 CPUtime=724.29 cores=0,2,4,6
/proc/7606/stat : 7606 (npSolver-pbo) S 7605 7605 4265 0 -1 4202496 19686 91354 0 0 67 42 72279 41 20 0 1 0 273634290 37466112 6822 33554432000 4194304 5992684 140736901487152 140736901472984 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7606/statm: 9147 6822 180 440 0 8703 0
[pid=7630] ppid=7606 vsize=212976 CPUtime=697.43 cores=0,2,4,6
/proc/7630/stat : 7630 (glucosInc) R 7606 7605 4265 0 -1 4202496 19963 0 0 0 69728 15 0 0 20 0 1 0 273706766 218087424 43708 33554432000 4194304 5654031 140737294663456 140737294661544 4232984 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7630/statm: 53244 43708 141 357 0 52884 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 258712
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7635
/proc/meminfo: memFree=26386832/32873844 swapFree=7124/7124
[pid=7605] ppid=7603 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (npSolver-pbo-It) S 7603 7605 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273634289 9367552 274 33554432000 4194304 5064252 140734321045344 140734321044256 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7605/statm: 2287 274 233 213 0 72 0
[pid=7606] ppid=7605 vsize=36588 CPUtime=724.29 cores=0,2,4,6
/proc/7606/stat : 7606 (npSolver-pbo) S 7605 7605 4265 0 -1 4202496 19686 91354 0 0 67 42 72279 41 20 0 1 0 273634290 37466112 6822 33554432000 4194304 5992684 140736901487152 140736901472984 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7606/statm: 9147 6822 180 440 0 8703 0
[pid=7630] ppid=7606 vsize=182156 CPUtime=757.41 cores=0,2,4,6
/proc/7630/stat : 7630 (glucosInc) R 7606 7605 4265 0 -1 4202496 20850 0 0 0 75724 17 0 0 20 0 1 0 273706766 186527744 36985 33554432000 4194304 5654031 140737294663456 140737294661384 4233306 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7630/statm: 45539 36985 141 357 0 45179 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 227892
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 7784
/proc/meminfo: memFree=27901996/32873844 swapFree=7124/7124
[pid=7605] ppid=7603 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (npSolver-pbo-It) S 7603 7605 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273634289 9367552 274 33554432000 4194304 5064252 140734321045344 140734321044256 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7605/statm: 2287 274 233 213 0 72 0
[pid=7606] ppid=7605 vsize=36588 CPUtime=724.29 cores=0,2,4,6
/proc/7606/stat : 7606 (npSolver-pbo) S 7605 7605 4265 0 -1 4202496 19686 91354 0 0 67 42 72279 41 20 0 1 0 273634290 37466112 6822 33554432000 4194304 5992684 140736901487152 140736901472984 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7606/statm: 9147 6822 180 440 0 8703 0
[pid=7630] ppid=7606 vsize=182156 CPUtime=817.4 cores=0,2,4,6
/proc/7630/stat : 7630 (glucosInc) R 7606 7605 4265 0 -1 4202496 21913 0 0 0 81720 20 0 0 20 0 1 0 273706766 186527744 40406 33554432000 4194304 5654031 140737294663456 140737294661384 4215009 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7630/statm: 45539 40406 141 357 0 45179 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 227892
[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 7784
/proc/meminfo: memFree=27859232/32873844 swapFree=7124/7124
[pid=7605] ppid=7603 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (npSolver-pbo-It) S 7603 7605 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273634289 9367552 274 33554432000 4194304 5064252 140734321045344 140734321044256 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7605/statm: 2287 274 233 213 0 72 0
[pid=7606] ppid=7605 vsize=36588 CPUtime=724.29 cores=0,2,4,6
/proc/7606/stat : 7606 (npSolver-pbo) S 7605 7605 4265 0 -1 4202496 19686 91354 0 0 67 42 72279 41 20 0 1 0 273634290 37466112 6822 33554432000 4194304 5992684 140736901487152 140736901472984 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7606/statm: 9147 6822 180 440 0 8703 0
[pid=7630] ppid=7606 vsize=212976 CPUtime=877.38 cores=0,2,4,6
/proc/7630/stat : 7630 (glucosInc) R 7606 7605 4265 0 -1 4202496 22948 0 0 0 87716 22 0 0 20 0 1 0 273706766 218087424 47480 33554432000 4194304 5654031 140737294663456 140737294661544 4232715 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7630/statm: 53244 47480 141 357 0 52884 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 258712
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 7785
/proc/meminfo: memFree=27875832/32873844 swapFree=7124/7124
[pid=7605] ppid=7603 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (npSolver-pbo-It) S 7603 7605 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273634289 9367552 274 33554432000 4194304 5064252 140734321045344 140734321044256 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7605/statm: 2287 274 233 213 0 72 0
[pid=7606] ppid=7605 vsize=36588 CPUtime=724.29 cores=0,2,4,6
/proc/7606/stat : 7606 (npSolver-pbo) S 7605 7605 4265 0 -1 4202496 19686 91354 0 0 67 42 72279 41 20 0 1 0 273634290 37466112 6822 33554432000 4194304 5992684 140736901487152 140736901472984 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7606/statm: 9147 6822 180 440 0 8703 0
[pid=7630] ppid=7606 vsize=182156 CPUtime=937.38 cores=0,2,4,6
/proc/7630/stat : 7630 (glucosInc) R 7606 7605 4265 0 -1 4202496 23904 0 0 0 93712 26 0 0 20 0 1 0 273706766 186527744 38197 33554432000 4194304 5654031 140737294663456 140737294661384 4215017 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7630/statm: 45539 38197 141 357 0 45179 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 227892
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/184 7788
/proc/meminfo: memFree=27854192/32873844 swapFree=7124/7124
[pid=7605] ppid=7603 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (npSolver-pbo-It) S 7603 7605 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273634289 9367552 274 33554432000 4194304 5064252 140734321045344 140734321044256 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7605/statm: 2287 274 233 213 0 72 0
[pid=7606] ppid=7605 vsize=36588 CPUtime=724.29 cores=0,2,4,6
/proc/7606/stat : 7606 (npSolver-pbo) S 7605 7605 4265 0 -1 4202496 19686 91354 0 0 67 42 72279 41 20 0 1 0 273634290 37466112 6822 33554432000 4194304 5992684 140736901487152 140736901472984 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7606/statm: 9147 6822 180 440 0 8703 0
[pid=7630] ppid=7606 vsize=182156 CPUtime=997.37 cores=0,2,4,6
/proc/7630/stat : 7630 (glucosInc) R 7606 7605 4265 0 -1 4202496 25474 0 0 0 99708 29 0 0 20 0 1 0 273706766 186527744 40245 33554432000 4194304 5654031 140737294663456 140737294661384 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7630/statm: 45539 40245 141 357 0 45179 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 227892
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/184 7811
/proc/meminfo: memFree=27850100/32873844 swapFree=7124/7124
[pid=7605] ppid=7603 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (npSolver-pbo-It) S 7603 7605 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273634289 9367552 274 33554432000 4194304 5064252 140734321045344 140734321044256 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7605/statm: 2287 274 233 213 0 72 0
[pid=7606] ppid=7605 vsize=36588 CPUtime=724.29 cores=0,2,4,6
/proc/7606/stat : 7606 (npSolver-pbo) S 7605 7605 4265 0 -1 4202496 19686 91354 0 0 67 42 72279 41 20 0 1 0 273634290 37466112 6822 33554432000 4194304 5992684 140736901487152 140736901472984 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7606/statm: 9147 6822 180 440 0 8703 0
[pid=7630] ppid=7606 vsize=212976 CPUtime=1057.35 cores=0,2,4,6
/proc/7630/stat : 7630 (glucosInc) R 7606 7605 4265 0 -1 4202496 27623 0 0 0 105703 32 0 0 20 0 1 0 273706766 218087424 41336 33554432000 4194304 5654031 140737294663456 140737294661544 4232448 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7630/statm: 53244 41336 141 357 0 52884 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 258712
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 2.01 2.02 2.00 3/184 7811
/proc/meminfo: memFree=27823732/32873844 swapFree=7124/7124
[pid=7605] ppid=7603 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (npSolver-pbo-It) S 7603 7605 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273634289 9367552 274 33554432000 4194304 5064252 140734321045344 140734321044256 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7605/statm: 2287 274 233 213 0 72 0
[pid=7606] ppid=7605 vsize=36588 CPUtime=724.29 cores=0,2,4,6
/proc/7606/stat : 7606 (npSolver-pbo) S 7605 7605 4265 0 -1 4202496 19686 91354 0 0 67 42 72279 41 20 0 1 0 273634290 37466112 6822 33554432000 4194304 5992684 140736901487152 140736901472984 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7606/statm: 9147 6822 180 440 0 8703 0
[pid=7630] ppid=7606 vsize=212976 CPUtime=1075.77 cores=0,2,4,6
/proc/7630/stat : 7630 (glucosInc) R 7606 7605 4265 0 -1 4202496 27636 0 0 0 107544 33 0 0 20 0 1 0 273706766 218087424 47992 33554432000 4194304 5654031 140737294663456 140737294661544 4232800 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7630/statm: 53244 47992 141 357 0 52884 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 258712
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 2.01 2.02 2.00 3/184 7811
/proc/meminfo: memFree=27823732/32873844 swapFree=7124/7124
[pid=7605] ppid=7603 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7605/stat : 7605 (npSolver-pbo-It) S 7603 7605 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273634289 9367552 274 33554432000 4194304 5064252 140734321045344 140734321044256 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/7605/statm: 2287 274 233 213 0 72 0
[pid=7606] ppid=7605 vsize=36588 CPUtime=724.29 cores=0,2,4,6
/proc/7606/stat : 7606 (npSolver-pbo) S 7605 7605 4265 0 -1 4202496 19686 91354 0 0 67 42 72279 41 20 0 1 0 273634290 37466112 6822 33554432000 4194304 5992684 140736901487152 140736901472984 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/7606/statm: 9147 6822 180 440 0 8703 0
[pid=7630] ppid=7606 vsize=212976 CPUtime=1075.77 cores=0,2,4,6
/proc/7630/stat : 7630 (glucosInc) R 7606 7605 4265 0 -1 4202496 27636 0 0 0 107544 33 0 0 20 0 1 0 273706766 218087424 47992 33554432000 4194304 5654031 140737294663456 140737294661544 4232800 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7630/statm: 53244 47992 141 357 0 52884 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 258712
Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.09
CPU user time (s): 1798.92
CPU system time (s): 1.17482
CPU usage (%): 99.9651
Max. virtual memory (cumulated for all children) (KiB): 308800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.92
system time used= 1.17482
maximum resident set size= 211604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139056
page faults= 0
swaps= 0
block input operations= 0
block output operations= 108344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1913
involuntary context switches= 2035
runsolver used 3.41648 second user time and 7.64184 second system time
The end