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-3700172-1338077229/watcher-3700172-1338077229 -o /tmp/evaluation-result-3700172-1338077229/solver-3700172-1338077229 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3700172-1338077229.opb 423008055 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22102
/proc/meminfo: memFree=28640548/32873852 swapFree=6848/6848
[pid=22102] ppid=22100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (npSolver-pbo-I.) S 22100 22102 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273848323 9367552 275 33554432000 4194304 5064252 140734008477216 140734008476128 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22102/statm: 2287 275 233 213 0 72 0
[startup+0.0793041 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22102
/proc/meminfo: memFree=28640548/32873852 swapFree=6848/6848
[pid=22102] ppid=22100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (npSolver-pbo-I.) S 22100 22102 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273848323 9367552 275 33554432000 4194304 5064252 140734008477216 140734008476128 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22102/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100186 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22102
/proc/meminfo: memFree=28640548/32873852 swapFree=6848/6848
[pid=22102] ppid=22100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (npSolver-pbo-I.) S 22100 22102 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273848323 9367552 275 33554432000 4194304 5064252 140734008477216 140734008476128 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22102/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300168 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22102
/proc/meminfo: memFree=28640548/32873852 swapFree=6848/6848
[pid=22102] ppid=22100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (npSolver-pbo-I.) S 22100 22102 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273848323 9367552 275 33554432000 4194304 5064252 140734008477216 140734008476128 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22102/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700221 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22102
/proc/meminfo: memFree=28640548/32873852 swapFree=6848/6848
[pid=22102] ppid=22100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (npSolver-pbo-I.) S 22100 22102 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273848323 9367552 275 33554432000 4194304 5064252 140734008477216 140734008476128 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22102/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22111
/proc/meminfo: memFree=28623288/32873852 swapFree=6848/6848
[pid=22102] ppid=22100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (npSolver-pbo-I.) S 22100 22102 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273848323 9367552 275 33554432000 4194304 5064252 140734008477216 140734008476128 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22102/statm: 2287 275 233 213 0 72 0
[pid=22103] ppid=22102 vsize=8000 CPUtime=0.51 cores=0,2,4,6
/proc/22103/stat : 22103 (npSolver-pbo) S 22102 22102 18146 0 -1 4202496 2846 10424 0 0 8 6 31 6 20 0 1 0 273848323 8192000 1522 33554432000 4194304 5992684 140734021976992 140734021961896 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/22103/statm: 2000 1522 180 440 0 1556 0
[pid=22111] ppid=22103 vsize=17204 CPUtime=0.96 cores=0,2,4,6
/proc/22111/stat : 22111 (glucosInc) R 22103 22102 18146 0 -1 4202496 3207 0 0 0 96 0 0 0 20 0 1 0 273848376 17616896 2963 33554432000 4194304 5654031 140734657998480 140734657996264 4232581 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22111/statm: 4301 2963 131 357 0 3941 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 34352
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22113
/proc/meminfo: memFree=28622280/32873852 swapFree=6848/6848
[pid=22102] ppid=22100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (npSolver-pbo-I.) S 22100 22102 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273848323 9367552 275 33554432000 4194304 5064252 140734008477216 140734008476128 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22102/statm: 2287 275 233 213 0 72 0
[pid=22103] ppid=22102 vsize=8000 CPUtime=1.57 cores=0,2,4,6
/proc/22103/stat : 22103 (npSolver-pbo) S 22102 22102 18146 0 -1 4202496 3582 14205 0 0 9 6 135 7 20 0 1 0 273848323 8192000 1573 33554432000 4194304 5992684 140734021976992 140734021961896 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/22103/statm: 2000 1573 181 440 0 1556 0
[pid=22113] ppid=22103 vsize=15380 CPUtime=1.49 cores=0,2,4,6
/proc/22113/stat : 22113 (glucosInc) R 22103 22102 18146 0 -1 4202496 3074 0 0 0 149 0 0 0 20 0 1 0 273848483 15749120 2901 33554432000 4194304 5654031 140736738130560 140736738118376 4233181 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/22113/statm: 3845 2901 141 357 0 3485 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 32528
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22113
/proc/meminfo: memFree=28603864/32873852 swapFree=6848/6848
[pid=22102] ppid=22100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (npSolver-pbo-I.) S 22100 22102 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273848323 9367552 275 33554432000 4194304 5064252 140734008477216 140734008476128 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22102/statm: 2287 275 233 213 0 72 0
[pid=22103] ppid=22102 vsize=8000 CPUtime=1.57 cores=0,2,4,6
/proc/22103/stat : 22103 (npSolver-pbo) S 22102 22102 18146 0 -1 4202496 3582 14205 0 0 9 6 135 7 20 0 1 0 273848323 8192000 1573 33554432000 4194304 5992684 140734021976992 140734021961896 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/22103/statm: 2000 1573 181 440 0 1556 0
[pid=22113] ppid=22103 vsize=20188 CPUtime=4.69 cores=0,2,4,6
/proc/22113/stat : 22113 (glucosInc) R 22103 22102 18146 0 -1 4202496 4875 0 0 0 468 1 0 0 20 0 1 0 273848483 20672512 4297 33554432000 4194304 5654031 140736738130560 140736738128488 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22113/statm: 5047 4297 141 357 0 4687 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 37336
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22114
/proc/meminfo: memFree=28597976/32873852 swapFree=6848/6848
[pid=22102] ppid=22100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (npSolver-pbo-I.) S 22100 22102 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273848323 9367552 275 33554432000 4194304 5064252 140734008477216 140734008476128 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22102/statm: 2287 275 233 213 0 72 0
[pid=22103] ppid=22102 vsize=8000 CPUtime=1.57 cores=0,2,4,6
/proc/22103/stat : 22103 (npSolver-pbo) S 22102 22102 18146 0 -1 4202496 3582 14205 0 0 9 6 135 7 20 0 1 0 273848323 8192000 1573 33554432000 4194304 5992684 140734021976992 140734021961896 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/22103/statm: 2000 1573 181 440 0 1556 0
[pid=22113] ppid=22103 vsize=31680 CPUtime=11.09 cores=0,2,4,6
/proc/22113/stat : 22113 (glucosInc) R 22103 22102 18146 0 -1 4202496 6239 0 0 0 1108 1 0 0 20 0 1 0 273848483 32440320 7154 33554432000 4194304 5654031 140736738130560 140736738118376 4232971 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22113/statm: 7920 7154 141 357 0 7560 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 48828
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22114
/proc/meminfo: memFree=28595740/32873852 swapFree=6848/6848
[pid=22102] ppid=22100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (npSolver-pbo-I.) S 22100 22102 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273848323 9367552 275 33554432000 4194304 5064252 140734008477216 140734008476128 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22102/statm: 2287 275 233 213 0 72 0
[pid=22103] ppid=22102 vsize=8000 CPUtime=1.57 cores=0,2,4,6
/proc/22103/stat : 22103 (npSolver-pbo) S 22102 22102 18146 0 -1 4202496 3582 14205 0 0 9 6 135 7 20 0 1 0 273848323 8192000 1573 33554432000 4194304 5992684 140734021976992 140734021961896 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/22103/statm: 2000 1573 181 440 0 1556 0
[pid=22113] ppid=22103 vsize=41516 CPUtime=23.89 cores=0,2,4,6
/proc/22113/stat : 22113 (glucosInc) R 22103 22102 18146 0 -1 4202496 6344 0 0 0 2387 2 0 0 20 0 1 0 273848483 42512384 8228 33554432000 4194304 5654031 140736738130560 140736738118376 4232611 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22113/statm: 10379 8228 141 357 0 10019 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 58664
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22114
/proc/meminfo: memFree=28582640/32873852 swapFree=6848/6848
[pid=22102] ppid=22100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (npSolver-pbo-I.) S 22100 22102 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273848323 9367552 275 33554432000 4194304 5064252 140734008477216 140734008476128 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22102/statm: 2287 275 233 213 0 72 0
[pid=22103] ppid=22102 vsize=8000 CPUtime=1.57 cores=0,2,4,6
/proc/22103/stat : 22103 (npSolver-pbo) S 22102 22102 18146 0 -1 4202496 3582 14205 0 0 9 6 135 7 20 0 1 0 273848323 8192000 1573 33554432000 4194304 5992684 140734021976992 140734021961896 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/22103/statm: 2000 1573 181 440 0 1556 0
[pid=22113] ppid=22103 vsize=41516 CPUtime=49.49 cores=0,2,4,6
/proc/22113/stat : 22113 (glucosInc) R 22103 22102 18146 0 -1 4202496 6733 0 0 0 4947 2 0 0 20 0 1 0 273848483 42512384 9629 33554432000 4194304 5654031 140736738130560 140736738118376 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22113/statm: 10379 9629 141 357 0 10019 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 58664
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22114
/proc/meminfo: memFree=28568852/32873852 swapFree=6848/6848
[pid=22102] ppid=22100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (npSolver-pbo-I.) S 22100 22102 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273848323 9367552 275 33554432000 4194304 5064252 140734008477216 140734008476128 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22102/statm: 2287 275 233 213 0 72 0
[pid=22103] ppid=22102 vsize=8000 CPUtime=1.57 cores=0,2,4,6
/proc/22103/stat : 22103 (npSolver-pbo) S 22102 22102 18146 0 -1 4202496 3582 14205 0 0 9 6 135 7 20 0 1 0 273848323 8192000 1573 33554432000 4194304 5992684 140734021976992 140734021961896 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/22103/statm: 2000 1573 181 440 0 1556 0
[pid=22113] ppid=22103 vsize=64652 CPUtime=100.68 cores=0,2,4,6
/proc/22113/stat : 22113 (glucosInc) R 22103 22102 18146 0 -1 4202496 7892 0 0 0 10065 3 0 0 20 0 1 0 273848483 66203648 12860 33554432000 4194304 5654031 140736738130560 140736738118376 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22113/statm: 16163 12860 141 357 0 15803 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 81800
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22114
/proc/meminfo: memFree=28553956/32873852 swapFree=6848/6848
[pid=22102] ppid=22100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (npSolver-pbo-I.) S 22100 22102 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273848323 9367552 275 33554432000 4194304 5064252 140734008477216 140734008476128 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22102/statm: 2287 275 233 213 0 72 0
[pid=22103] ppid=22102 vsize=8000 CPUtime=1.57 cores=0,2,4,6
/proc/22103/stat : 22103 (npSolver-pbo) S 22102 22102 18146 0 -1 4202496 3582 14205 0 0 9 6 135 7 20 0 1 0 273848323 8192000 1573 33554432000 4194304 5992684 140734021976992 140734021961896 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/22103/statm: 2000 1573 181 440 0 1556 0
[pid=22113] ppid=22103 vsize=83508 CPUtime=160.66 cores=0,2,4,6
/proc/22113/stat : 22113 (glucosInc) R 22103 22102 18146 0 -1 4202496 8551 0 0 0 16062 4 0 0 20 0 1 0 273848483 85512192 20107 33554432000 4194304 5654031 140736738130560 140736738118376 4232700 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22113/statm: 20877 20107 141 357 0 20517 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 100656
[startup+222.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 22117
/proc/meminfo: memFree=28561020/32873852 swapFree=6848/6848
[pid=22102] ppid=22100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (npSolver-pbo-I.) S 22100 22102 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273848323 9367552 275 33554432000 4194304 5064252 140734008477216 140734008476128 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22102/statm: 2287 275 233 213 0 72 0
[pid=22103] ppid=22102 vsize=8000 CPUtime=1.57 cores=0,2,4,6
/proc/22103/stat : 22103 (npSolver-pbo) S 22102 22102 18146 0 -1 4202496 3582 14205 0 0 9 6 135 7 20 0 1 0 273848323 8192000 1573 33554432000 4194304 5992684 140734021976992 140734021961896 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/22103/statm: 2000 1573 181 440 0 1556 0
[pid=22113] ppid=22103 vsize=72276 CPUtime=220.66 cores=0,2,4,6
/proc/22113/stat : 22113 (glucosInc) R 22103 22102 18146 0 -1 4202496 9946 0 0 0 22061 5 0 0 20 0 1 0 273848483 74010624 13884 33554432000 4194304 5654031 140736738130560 140736738118376 4233204 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22113/statm: 18069 13884 141 357 0 17709 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 89424
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28428248/32873852 swapFree=6848/6848
[pid=22102] ppid=22100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (npSolver-pbo-I.) S 22100 22102 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273848323 9367552 275 33554432000 4194304 5064252 140734008477216 140734008476128 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22102/statm: 2287 275 233 213 0 72 0
[pid=22103] ppid=22102 vsize=8000 CPUtime=1.57 cores=0,2,4,6
/proc/22103/stat : 22103 (npSolver-pbo) S 22102 22102 18146 0 -1 4202496 3582 14205 0 0 9 6 135 7 20 0 1 0 273848323 8192000 1573 33554432000 4194304 5992684 140734021976992 140734021961896 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/22103/statm: 2000 1573 181 440 0 1556 0
[pid=22113] ppid=22103 vsize=160420 CPUtime=1240.5 cores=0,2,4,6
/proc/22113/stat : 22113 (glucosInc) R 22103 22102 18146 0 -1 4202496 17302 0 0 0 124032 18 0 0 20 0 1 0 273848483 164270080 38090 33554432000 4194304 5654031 140736738130560 140736738118376 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22113/statm: 40105 38090 141 357 0 39745 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 177568
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22124
/proc/meminfo: memFree=28465376/32873852 swapFree=6848/6848
[pid=22102] ppid=22100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (npSolver-pbo-I.) S 22100 22102 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273848323 9367552 275 33554432000 4194304 5064252 140734008477216 140734008476128 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22102/statm: 2287 275 233 213 0 72 0
[pid=22103] ppid=22102 vsize=8000 CPUtime=1.57 cores=0,2,4,6
/proc/22103/stat : 22103 (npSolver-pbo) S 22102 22102 18146 0 -1 4202496 3582 14205 0 0 9 6 135 7 20 0 1 0 273848323 8192000 1573 33554432000 4194304 5992684 140734021976992 140734021961896 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/22103/statm: 2000 1573 181 440 0 1556 0
[pid=22113] ppid=22103 vsize=132244 CPUtime=1300.49 cores=0,2,4,6
/proc/22113/stat : 22113 (glucosInc) R 22103 22102 18146 0 -1 4202496 18591 0 0 0 130029 20 0 0 20 0 1 0 273848483 135417856 27708 33554432000 4194304 5654031 140736738130560 140736738118376 4232925 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22113/statm: 33061 27708 141 357 0 32701 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 149392
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22124
/proc/meminfo: memFree=28446136/32873852 swapFree=6848/6848
[pid=22102] ppid=22100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (npSolver-pbo-I.) S 22100 22102 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273848323 9367552 275 33554432000 4194304 5064252 140734008477216 140734008476128 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22102/statm: 2287 275 233 213 0 72 0
[pid=22103] ppid=22102 vsize=8000 CPUtime=1.57 cores=0,2,4,6
/proc/22103/stat : 22103 (npSolver-pbo) S 22102 22102 18146 0 -1 4202496 3582 14205 0 0 9 6 135 7 20 0 1 0 273848323 8192000 1573 33554432000 4194304 5992684 140734021976992 140734021961896 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/22103/statm: 2000 1573 181 440 0 1556 0
[pid=22113] ppid=22103 vsize=132244 CPUtime=1360.47 cores=0,2,4,6
/proc/22113/stat : 22113 (glucosInc) R 22103 22102 18146 0 -1 4202496 18968 0 0 0 136026 21 0 0 20 0 1 0 273848483 135417856 32353 33554432000 4194304 5654031 140736738130560 140736738118376 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22113/statm: 33061 32353 141 357 0 32701 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 149392
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22127
/proc/meminfo: memFree=28408224/32873852 swapFree=6848/6848
[pid=22102] ppid=22100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (npSolver-pbo-I.) S 22100 22102 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273848323 9367552 275 33554432000 4194304 5064252 140734008477216 140734008476128 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22102/statm: 2287 275 233 213 0 72 0
[pid=22103] ppid=22102 vsize=8000 CPUtime=1.57 cores=0,2,4,6
/proc/22103/stat : 22103 (npSolver-pbo) S 22102 22102 18146 0 -1 4202496 3582 14205 0 0 9 6 135 7 20 0 1 0 273848323 8192000 1573 33554432000 4194304 5992684 140734021976992 140734021961896 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/22103/statm: 2000 1573 181 440 0 1556 0
[pid=22113] ppid=22103 vsize=181564 CPUtime=1420.47 cores=0,2,4,6
/proc/22113/stat : 22113 (glucosInc) R 22103 22102 18146 0 -1 4202496 20172 0 0 0 142023 24 0 0 20 0 1 0 273848483 185921536 41857 33554432000 4194304 5654031 140736738130560 140736738118376 4215353 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22113/statm: 45391 41857 141 357 0 45031 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 198712
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22127
/proc/meminfo: memFree=28376164/32873852 swapFree=6848/6848
[pid=22102] ppid=22100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (npSolver-pbo-I.) S 22100 22102 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273848323 9367552 275 33554432000 4194304 5064252 140734008477216 140734008476128 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22102/statm: 2287 275 233 213 0 72 0
[pid=22103] ppid=22102 vsize=8000 CPUtime=1.57 cores=0,2,4,6
/proc/22103/stat : 22103 (npSolver-pbo) S 22102 22102 18146 0 -1 4202496 3582 14205 0 0 9 6 135 7 20 0 1 0 273848323 8192000 1573 33554432000 4194304 5992684 140734021976992 140734021961896 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/22103/statm: 2000 1573 181 440 0 1556 0
[pid=22113] ppid=22103 vsize=181564 CPUtime=1480.46 cores=0,2,4,6
/proc/22113/stat : 22113 (glucosInc) R 22103 22102 18146 0 -1 4202496 21074 0 0 0 148020 26 0 0 20 0 1 0 273848483 185921536 41857 33554432000 4194304 5654031 140736738130560 140736738128488 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22113/statm: 45391 41857 141 357 0 45031 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 198712
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22128
/proc/meminfo: memFree=28396412/32873852 swapFree=6848/6848
[pid=22102] ppid=22100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (npSolver-pbo-I.) S 22100 22102 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273848323 9367552 275 33554432000 4194304 5064252 140734008477216 140734008476128 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22102/statm: 2287 275 233 213 0 72 0
[pid=22103] ppid=22102 vsize=8000 CPUtime=1.57 cores=0,2,4,6
/proc/22103/stat : 22103 (npSolver-pbo) S 22102 22102 18146 0 -1 4202496 3582 14205 0 0 9 6 135 7 20 0 1 0 273848323 8192000 1573 33554432000 4194304 5992684 140734021976992 140734021961896 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/22103/statm: 2000 1573 181 440 0 1556 0
[pid=22113] ppid=22103 vsize=212384 CPUtime=1540.45 cores=0,2,4,6
/proc/22113/stat : 22113 (glucosInc) R 22103 22102 18146 0 -1 4202496 22436 0 0 0 154017 28 0 0 20 0 1 0 273848483 217481216 44866 33554432000 4194304 5654031 140736738130560 140736738118376 4233160 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22113/statm: 53096 44866 141 357 0 52736 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 229532
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22128
/proc/meminfo: memFree=28368128/32873852 swapFree=6848/6848
[pid=22102] ppid=22100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (npSolver-pbo-I.) S 22100 22102 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273848323 9367552 275 33554432000 4194304 5064252 140734008477216 140734008476128 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22102/statm: 2287 275 233 213 0 72 0
[pid=22103] ppid=22102 vsize=8000 CPUtime=1.57 cores=0,2,4,6
/proc/22103/stat : 22103 (npSolver-pbo) S 22102 22102 18146 0 -1 4202496 3582 14205 0 0 9 6 135 7 20 0 1 0 273848323 8192000 1573 33554432000 4194304 5992684 140734021976992 140734021961896 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/22103/statm: 2000 1573 181 440 0 1556 0
[pid=22113] ppid=22103 vsize=181564 CPUtime=1600.44 cores=0,2,4,6
/proc/22113/stat : 22113 (glucosInc) R 22103 22102 18146 0 -1 4202496 22881 0 0 0 160015 29 0 0 20 0 1 0 273848483 185921536 43905 33554432000 4194304 5654031 140736738130560 140736738118376 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22113/statm: 45391 43905 141 357 0 45031 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 198712
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 22129
/proc/meminfo: memFree=28445648/32873852 swapFree=6848/6848
[pid=22102] ppid=22100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (npSolver-pbo-I.) S 22100 22102 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273848323 9367552 275 33554432000 4194304 5064252 140734008477216 140734008476128 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22102/statm: 2287 275 233 213 0 72 0
[pid=22103] ppid=22102 vsize=8000 CPUtime=1.57 cores=0,2,4,6
/proc/22103/stat : 22103 (npSolver-pbo) S 22102 22102 18146 0 -1 4202496 3582 14205 0 0 9 6 135 7 20 0 1 0 273848323 8192000 1573 33554432000 4194304 5992684 140734021976992 140734021961896 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/22103/statm: 2000 1573 181 440 0 1556 0
[pid=22113] ppid=22103 vsize=132244 CPUtime=1660.43 cores=0,2,4,6
/proc/22113/stat : 22113 (glucosInc) R 22103 22102 18146 0 -1 4202496 23474 0 0 0 166013 30 0 0 20 0 1 0 273848483 135417856 32353 33554432000 4194304 5654031 140736738130560 140736738128584 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22113/statm: 33061 32353 141 357 0 32701 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 149392
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22282
/proc/meminfo: memFree=28569628/32873852 swapFree=6848/6848
[pid=22102] ppid=22100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (npSolver-pbo-I.) S 22100 22102 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273848323 9367552 275 33554432000 4194304 5064252 140734008477216 140734008476128 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22102/statm: 2287 275 233 213 0 72 0
[pid=22103] ppid=22102 vsize=8000 CPUtime=1.57 cores=0,2,4,6
/proc/22103/stat : 22103 (npSolver-pbo) S 22102 22102 18146 0 -1 4202496 3582 14205 0 0 9 6 135 7 20 0 1 0 273848323 8192000 1573 33554432000 4194304 5992684 140734021976992 140734021961896 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/22103/statm: 2000 1573 181 440 0 1556 0
[pid=22113] ppid=22103 vsize=132244 CPUtime=1720.42 cores=0,2,4,6
/proc/22113/stat : 22113 (glucosInc) R 22103 22102 18146 0 -1 4202496 23784 0 0 0 172011 31 0 0 20 0 1 0 273848483 135417856 32353 33554432000 4194304 5654031 140736738130560 140736738128584 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22113/statm: 33061 32353 141 357 0 32701 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 149392
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 22282
/proc/meminfo: memFree=28518432/32873852 swapFree=6848/6848
[pid=22102] ppid=22100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (npSolver-pbo-I.) S 22100 22102 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273848323 9367552 275 33554432000 4194304 5064252 140734008477216 140734008476128 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22102/statm: 2287 275 233 213 0 72 0
[pid=22103] ppid=22102 vsize=8000 CPUtime=1.57 cores=0,2,4,6
/proc/22103/stat : 22103 (npSolver-pbo) S 22102 22102 18146 0 -1 4202496 3582 14205 0 0 9 6 135 7 20 0 1 0 273848323 8192000 1573 33554432000 4194304 5992684 140734021976992 140734021961896 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/22103/statm: 2000 1573 181 440 0 1556 0
[pid=22113] ppid=22103 vsize=181564 CPUtime=1780.41 cores=0,2,4,6
/proc/22113/stat : 22113 (glucosInc) R 22103 22102 18146 0 -1 4202496 24093 0 0 0 178010 31 0 0 20 0 1 0 273848483 185921536 43393 33554432000 4194304 5654031 140736738130560 140736738128488 4232772 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22113/statm: 45391 43393 141 357 0 45031 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 198712
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 22282
/proc/meminfo: memFree=28549016/32873852 swapFree=6848/6848
[pid=22102] ppid=22100 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22102/stat : 22102 (npSolver-pbo-I.) S 22100 22102 18146 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273848323 9367552 275 33554432000 4194304 5064252 140734008477216 140734008476128 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22102/statm: 2287 275 233 213 0 72 0
[pid=22103] ppid=22102 vsize=8000 CPUtime=1.57 cores=0,2,4,6
/proc/22103/stat : 22103 (npSolver-pbo) S 22102 22102 18146 0 -1 4202496 3582 14205 0 0 9 6 135 7 20 0 1 0 273848323 8192000 1573 33554432000 4194304 5992684 140734021976992 140734021961896 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/22103/statm: 2000 1573 181 440 0 1556 0
[pid=22113] ppid=22103 vsize=152672 CPUtime=1798.51 cores=0,2,4,6
/proc/22113/stat : 22113 (glucosInc) R 22103 22102 18146 0 -1 4202496 24096 0 0 0 179820 31 0 0 20 0 1 0 273848483 156336128 32355 33554432000 4194304 5654031 140736738130560 140736738128440 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22113/statm: 38168 32355 141 357 0 37808 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 169820
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.12
CPU user time (s): 1799.66
CPU system time (s): 0.464929
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 229532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.66
system time used= 0.464929
maximum resident set size= 190224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42262
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 161
involuntary context switches= 1997
runsolver used 2.79357 second user time and 8.90664 second system time
The end