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-3699850-1338073289/watcher-3699850-1338073289 -o /tmp/evaluation-result-3699850-1338073289/solver-3699850-1338073289 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699850-1338073289.opb 1550555376 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.04 2.00 3/181 14520
/proc/meminfo: memFree=31546824/32873844 swapFree=7112/7112
[pid=14520] ppid=14518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14520/stat : 14520 (npSolver-pbo-I.) S 14518 14520 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273454288 9367552 275 33554432000 4194304 5064252 140734214615056 140734214613968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14520/statm: 2287 275 233 213 0 72 0
[startup+0.0299259 s]
/proc/loadavg: 2.00 2.04 2.00 3/181 14520
/proc/meminfo: memFree=31546824/32873844 swapFree=7112/7112
[pid=14520] ppid=14518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14520/stat : 14520 (npSolver-pbo-I.) S 14518 14520 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273454288 9367552 275 33554432000 4194304 5064252 140734214615056 140734214613968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14520/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10024 s]
/proc/loadavg: 2.00 2.04 2.00 3/181 14520
/proc/meminfo: memFree=31546824/32873844 swapFree=7112/7112
[pid=14520] ppid=14518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14520/stat : 14520 (npSolver-pbo-I.) S 14518 14520 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273454288 9367552 275 33554432000 4194304 5064252 140734214615056 140734214613968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14520/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300245 s]
/proc/loadavg: 2.00 2.04 2.00 3/181 14520
/proc/meminfo: memFree=31546824/32873844 swapFree=7112/7112
[pid=14520] ppid=14518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14520/stat : 14520 (npSolver-pbo-I.) S 14518 14520 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273454288 9367552 275 33554432000 4194304 5064252 140734214615056 140734214613968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14520/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700288 s]
/proc/loadavg: 2.00 2.04 2.00 3/181 14520
/proc/meminfo: memFree=31546824/32873844 swapFree=7112/7112
[pid=14520] ppid=14518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14520/stat : 14520 (npSolver-pbo-I.) S 14518 14520 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273454288 9367552 275 33554432000 4194304 5064252 140734214615056 140734214613968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14520/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50038 s]
/proc/loadavg: 2.00 2.04 2.00 3/185 14524
/proc/meminfo: memFree=31480992/32873844 swapFree=7112/7112
[pid=14520] ppid=14518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14520/stat : 14520 (npSolver-pbo-I.) S 14518 14520 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273454288 9367552 275 33554432000 4194304 5064252 140734214615056 140734214613968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14520/statm: 2287 275 233 213 0 72 0
[pid=14521] ppid=14520 vsize=11464 CPUtime=0.26 cores=0,2,4,6
/proc/14521/stat : 14521 (npSolver-pbo) S 14520 14520 8474 0 -1 4202496 3789 0 0 0 25 1 0 0 20 0 1 0 273454288 11739136 2412 33554432000 4194304 5992684 140733375281136 140733375275584 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 2866 2412 171 440 0 2422 0
[pid=14523] ppid=14521 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14523/stat : 14523 (cp2_pre.sh) S 14521 14520 8474 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 273454316 9367552 277 33554432000 4194304 5064252 140733524029344 140733524028048 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14523/statm: 2287 277 234 213 0 72 0
[pid=14524] ppid=14523 vsize=57344 CPUtime=1.21 cores=0,2,4,6
/proc/14524/stat : 14524 (coprocessor) R 14523 14520 8474 0 -1 4202496 12401 0 0 0 117 4 0 0 20 0 1 0 273454316 58720256 13608 33554432000 4194304 6586260 140736670879152 140736670874472 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/14524/statm: 14336 13608 204 584 0 13748 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 87104
[startup+3.10031 s]
/proc/loadavg: 2.00 2.04 2.00 3/184 14529
/proc/meminfo: memFree=31503884/32873844 swapFree=7112/7112
[pid=14520] ppid=14518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14520/stat : 14520 (npSolver-pbo-I.) S 14518 14520 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273454288 9367552 275 33554432000 4194304 5064252 140734214615056 140734214613968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14520/statm: 2287 275 233 213 0 72 0
[pid=14521] ppid=14520 vsize=14400 CPUtime=1.97 cores=0,2,4,6
/proc/14521/stat : 14521 (npSolver-pbo) S 14520 14520 8474 0 -1 4202496 5109 19084 0 0 42 20 129 6 20 0 1 0 273454288 14745600 3048 33554432000 4194304 5992684 140733375281136 140733375266040 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3600 3048 183 440 0 3156 0
[pid=14529] ppid=14521 vsize=34676 CPUtime=1.09 cores=0,2,4,6
/proc/14529/stat : 14529 (glucosInc) R 14521 14520 8474 0 -1 4202496 6562 0 0 0 108 1 0 0 20 0 1 0 273454488 35508224 6828 33554432000 4194304 5654031 140737166106880 140737166104648 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14529/statm: 8669 6828 140 357 0 8309 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 58224
[startup+6.30028 s]
/proc/loadavg: 2.00 2.04 2.00 3/184 14529
/proc/meminfo: memFree=31500240/32873844 swapFree=7112/7112
[pid=14520] ppid=14518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14520/stat : 14520 (npSolver-pbo-I.) S 14518 14520 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273454288 9367552 275 33554432000 4194304 5064252 140734214615056 140734214613968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14520/statm: 2287 275 233 213 0 72 0
[pid=14521] ppid=14520 vsize=14400 CPUtime=1.97 cores=0,2,4,6
/proc/14521/stat : 14521 (npSolver-pbo) S 14520 14520 8474 0 -1 4202496 5109 19084 0 0 42 20 129 6 20 0 1 0 273454288 14745600 3048 33554432000 4194304 5992684 140733375281136 140733375266040 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3600 3048 183 440 0 3156 0
[pid=14529] ppid=14521 vsize=35228 CPUtime=4.29 cores=0,2,4,6
/proc/14529/stat : 14529 (glucosInc) R 14521 14520 8474 0 -1 4202496 8219 0 0 0 428 1 0 0 20 0 1 0 273454488 36073472 7311 33554432000 4194304 5654031 140737166106880 140737166094696 4232585 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14529/statm: 8807 7311 142 357 0 8447 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 58776
[startup+12.7003 s]
/proc/loadavg: 2.00 2.04 2.00 3/184 14529
/proc/meminfo: memFree=31489980/32873844 swapFree=7112/7112
[pid=14520] ppid=14518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14520/stat : 14520 (npSolver-pbo-I.) S 14518 14520 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273454288 9367552 275 33554432000 4194304 5064252 140734214615056 140734214613968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14520/statm: 2287 275 233 213 0 72 0
[pid=14521] ppid=14520 vsize=14400 CPUtime=1.97 cores=0,2,4,6
/proc/14521/stat : 14521 (npSolver-pbo) S 14520 14520 8474 0 -1 4202496 5109 19084 0 0 42 20 129 6 20 0 1 0 273454288 14745600 3048 33554432000 4194304 5992684 140733375281136 140733375266040 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3600 3048 183 440 0 3156 0
[pid=14529] ppid=14521 vsize=42412 CPUtime=10.69 cores=0,2,4,6
/proc/14529/stat : 14529 (glucosInc) R 14521 14520 8474 0 -1 4202496 10577 0 0 0 1067 2 0 0 20 0 1 0 273454488 43429888 9358 33554432000 4194304 5654031 140737166106880 140737166094696 4232528 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14529/statm: 10603 9358 142 357 0 10243 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 65960
[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 2.00 3/184 14533
/proc/meminfo: memFree=31538968/32873844 swapFree=7112/7112
[pid=14520] ppid=14518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14520/stat : 14520 (npSolver-pbo-I.) S 14518 14520 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273454288 9367552 275 33554432000 4194304 5064252 140734214615056 140734214613968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14520/statm: 2287 275 233 213 0 72 0
[pid=14521] ppid=14520 vsize=15088 CPUtime=21.29 cores=0,2,4,6
/proc/14521/stat : 14521 (npSolver-pbo) S 14520 14520 8474 0 -1 4202496 7087 40518 0 0 56 21 2038 14 20 0 1 0 273454288 15450112 3221 33554432000 4194304 5992684 140733375281136 140733375266040 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3772 3221 184 440 0 3328 0
[pid=14533] ppid=14521 vsize=38880 CPUtime=4.18 cores=0,2,4,6
/proc/14533/stat : 14533 (glucosInc) R 14521 14520 8474 0 -1 4202496 8763 0 0 0 416 2 0 0 20 0 1 0 273456419 39813120 8377 33554432000 4194304 5654031 140734642378288 140734642366104 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14533/statm: 9720 8377 142 357 0 9360 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 63116
[startup+51.1003 s]
/proc/loadavg: 2.00 2.03 2.00 3/184 14533
/proc/meminfo: memFree=31486904/32873844 swapFree=7112/7112
[pid=14520] ppid=14518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14520/stat : 14520 (npSolver-pbo-I.) S 14518 14520 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273454288 9367552 275 33554432000 4194304 5064252 140734214615056 140734214613968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14520/statm: 2287 275 233 213 0 72 0
[pid=14521] ppid=14520 vsize=15088 CPUtime=21.29 cores=0,2,4,6
/proc/14521/stat : 14521 (npSolver-pbo) S 14520 14520 8474 0 -1 4202496 7087 40518 0 0 56 21 2038 14 20 0 1 0 273454288 15450112 3221 33554432000 4194304 5992684 140733375281136 140733375266040 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3772 3221 184 440 0 3328 0
[pid=14533] ppid=14521 vsize=50372 CPUtime=29.76 cores=0,2,4,6
/proc/14533/stat : 14533 (glucosInc) R 14521 14520 8474 0 -1 4202496 10963 0 0 0 2974 2 0 0 20 0 1 0 273456419 51580928 11514 33554432000 4194304 5654031 140734642378288 140734642366104 4232531 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14533/statm: 12593 11514 142 357 0 12233 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 74608
[startup+102.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14533
/proc/meminfo: memFree=31471460/32873844 swapFree=7112/7112
[pid=14520] ppid=14518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14520/stat : 14520 (npSolver-pbo-I.) S 14518 14520 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273454288 9367552 275 33554432000 4194304 5064252 140734214615056 140734214613968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14520/statm: 2287 275 233 213 0 72 0
[pid=14521] ppid=14520 vsize=15088 CPUtime=21.29 cores=0,2,4,6
/proc/14521/stat : 14521 (npSolver-pbo) S 14520 14520 8474 0 -1 4202496 7087 40518 0 0 56 21 2038 14 20 0 1 0 273454288 15450112 3221 33554432000 4194304 5992684 140733375281136 140733375266040 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3772 3221 184 440 0 3328 0
[pid=14533] ppid=14521 vsize=70852 CPUtime=80.96 cores=0,2,4,6
/proc/14533/stat : 14533 (glucosInc) R 14521 14520 8474 0 -1 4202496 13492 0 0 0 8092 4 0 0 20 0 1 0 273456419 72552448 16356 33554432000 4194304 5654031 140734642378288 140734642366104 4233232 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14533/statm: 17713 16356 142 357 0 17353 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 95088
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14533
/proc/meminfo: memFree=31465396/32873844 swapFree=7112/7112
[pid=14520] ppid=14518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14520/stat : 14520 (npSolver-pbo-I.) S 14518 14520 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273454288 9367552 275 33554432000 4194304 5064252 140734214615056 140734214613968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14520/statm: 2287 275 233 213 0 72 0
[pid=14521] ppid=14520 vsize=15088 CPUtime=21.29 cores=0,2,4,6
/proc/14521/stat : 14521 (npSolver-pbo) S 14520 14520 8474 0 -1 4202496 7087 40518 0 0 56 21 2038 14 20 0 1 0 273454288 15450112 3221 33554432000 4194304 5992684 140733375281136 140733375266040 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3772 3221 184 440 0 3328 0
[pid=14533] ppid=14521 vsize=101200 CPUtime=140.95 cores=0,2,4,6
/proc/14533/stat : 14533 (glucosInc) R 14521 14520 8474 0 -1 4202496 14025 0 0 0 14090 5 0 0 20 0 1 0 273456419 103628800 18407 33554432000 4194304 5654031 140734642378288 140734642366104 4232700 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14533/statm: 25300 18407 142 357 0 24940 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 125436
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14533
/proc/meminfo: memFree=31439508/32873844 swapFree=7112/7112
[pid=14520] ppid=14518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14520/stat : 14520 (npSolver-pbo-I.) S 14518 14520 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273454288 9367552 275 33554432000 4194304 5064252 140734214615056 140734214613968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14520/statm: 2287 275 233 213 0 72 0
[pid=14521] ppid=14520 vsize=15088 CPUtime=21.29 cores=0,2,4,6
/proc/14521/stat : 14521 (npSolver-pbo) S 14520 14520 8474 0 -1 4202496 7087 40518 0 0 56 21 2038 14 20 0 1 0 273454288 15450112 3221 33554432000 4194304 5992684 140733375281136 140733375266040 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3772 3221 184 440 0 3328 0
[pid=14533] ppid=14521 vsize=101200 CPUtime=200.94 cores=0,2,4,6
/proc/14533/stat : 14533 (glucosInc) R 14521 14520 8474 0 -1 4202496 14030 0 0 0 20089 5 0 0 20 0 1 0 273456419 103628800 19431 33554432000 4194304 5654031 140734642378288 140734642366104 4216146 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14533/statm: 25300 19431 142 357 0 24940 0
Current children cumulated CPU time (s) 222.23
################
# More data... #
################
/proc/meminfo: memFree=31430296/32873844 swapFree=7112/7112
[pid=14520] ppid=14518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14520/stat : 14520 (npSolver-pbo-I.) S 14518 14520 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273454288 9367552 275 33554432000 4194304 5064252 140734214615056 140734214613968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14520/statm: 2287 275 233 213 0 72 0
[pid=14521] ppid=14520 vsize=15088 CPUtime=21.29 cores=0,2,4,6
/proc/14521/stat : 14521 (npSolver-pbo) S 14520 14520 8474 0 -1 4202496 7087 40518 0 0 56 21 2038 14 20 0 1 0 273454288 15450112 3221 33554432000 4194304 5992684 140733375281136 140733375266040 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3772 3221 184 440 0 3328 0
[pid=14533] ppid=14521 vsize=150520 CPUtime=1220.78 cores=0,2,4,6
/proc/14533/stat : 14533 (glucosInc) R 14521 14520 8474 0 -1 4202496 20145 0 0 0 122057 21 0 0 20 0 1 0 273456419 154132480 32589 33554432000 4194304 5654031 140734642378288 140734642366104 4232794 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14533/statm: 37630 32589 142 357 0 37270 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 174756
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14548
/proc/meminfo: memFree=31462212/32873844 swapFree=7112/7112
[pid=14520] ppid=14518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14520/stat : 14520 (npSolver-pbo-I.) S 14518 14520 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273454288 9367552 275 33554432000 4194304 5064252 140734214615056 140734214613968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14520/statm: 2287 275 233 213 0 72 0
[pid=14521] ppid=14520 vsize=15088 CPUtime=1264.53 cores=0,2,4,6
/proc/14521/stat : 14521 (npSolver-pbo) S 14520 14520 8474 0 -1 4202496 7942 61187 0 0 57 21 126339 36 20 0 1 0 273454288 15450112 3221 33554432000 4194304 5992684 140733375281136 140733375266040 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3772 3221 184 440 0 3328 0
[pid=14548] ppid=14521 vsize=62084 CPUtime=37.52 cores=0,2,4,6
/proc/14548/stat : 14548 (glucosInc) R 14521 14520 8474 0 -1 4202496 10844 0 0 0 3750 2 0 0 20 0 1 0 273580764 63574016 10398 33554432000 4194304 5654031 140733242204464 140733242192280 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14548/statm: 15521 10398 142 357 0 15161 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 86320
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14548
/proc/meminfo: memFree=31435400/32873844 swapFree=7112/7112
[pid=14520] ppid=14518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14520/stat : 14520 (npSolver-pbo-I.) S 14518 14520 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273454288 9367552 275 33554432000 4194304 5064252 140734214615056 140734214613968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14520/statm: 2287 275 233 213 0 72 0
[pid=14521] ppid=14520 vsize=15088 CPUtime=1264.53 cores=0,2,4,6
/proc/14521/stat : 14521 (npSolver-pbo) S 14520 14520 8474 0 -1 4202496 7942 61187 0 0 57 21 126339 36 20 0 1 0 273454288 15450112 3221 33554432000 4194304 5992684 140733375281136 140733375266040 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3772 3221 184 440 0 3328 0
[pid=14548] ppid=14521 vsize=93044 CPUtime=97.5 cores=0,2,4,6
/proc/14548/stat : 14548 (glucosInc) R 14521 14520 8474 0 -1 4202496 12981 0 0 0 9746 4 0 0 20 0 1 0 273580764 95277056 19242 33554432000 4194304 5654031 140733242204464 140733242192280 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14548/statm: 23261 19242 142 357 0 22901 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 117280
[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 14597
/proc/meminfo: memFree=31585764/32873844 swapFree=7112/7112
[pid=14520] ppid=14518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14520/stat : 14520 (npSolver-pbo-I.) S 14518 14520 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273454288 9367552 275 33554432000 4194304 5064252 140734214615056 140734214613968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14520/statm: 2287 275 233 213 0 72 0
[pid=14521] ppid=14520 vsize=15456 CPUtime=1421.76 cores=0,2,4,6
/proc/14521/stat : 14521 (npSolver-pbo) S 14520 14520 8474 0 -1 4202496 9246 74963 0 0 70 21 142043 42 20 0 1 0 273454288 15826944 3313 33554432000 4194304 5992684 140733375281136 140733375266040 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3864 3313 184 440 0 3420 0
[pid=14597] ppid=14521 vsize=30808 CPUtime=0.28 cores=0,2,4,6
/proc/14597/stat : 14597 (glucosInc) R 14521 14520 8474 0 -1 4202496 6108 0 0 0 27 1 0 0 20 0 1 0 273596490 31547392 6420 33554432000 4194304 5654031 140733461685792 140733461683672 4233232 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14597/statm: 7702 6420 131 357 0 7342 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 55412
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 14645
/proc/meminfo: memFree=31078992/32873844 swapFree=7112/7112
[pid=14520] ppid=14518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14520/stat : 14520 (npSolver-pbo-I.) S 14518 14520 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273454288 9367552 275 33554432000 4194304 5064252 140734214615056 140734214613968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14520/statm: 2287 275 233 213 0 72 0
[pid=14521] ppid=14520 vsize=15456 CPUtime=1421.76 cores=0,2,4,6
/proc/14521/stat : 14521 (npSolver-pbo) S 14520 14520 8474 0 -1 4202496 9246 74963 0 0 70 21 142043 42 20 0 1 0 273454288 15826944 3313 33554432000 4194304 5992684 140733375281136 140733375266040 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3864 3313 184 440 0 3420 0
[pid=14597] ppid=14521 vsize=69296 CPUtime=60.25 cores=0,2,4,6
/proc/14597/stat : 14597 (glucosInc) R 14521 14520 8474 0 -1 4202496 12124 0 0 0 6021 4 0 0 20 0 1 0 273596490 70959104 16286 33554432000 4194304 5654031 140733461685792 140733461673608 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14597/statm: 17324 16286 142 357 0 16964 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 93900
[startup+1542.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 14646
/proc/meminfo: memFree=31023780/32873844 swapFree=7112/7112
[pid=14520] ppid=14518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14520/stat : 14520 (npSolver-pbo-I.) S 14518 14520 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273454288 9367552 275 33554432000 4194304 5064252 140734214615056 140734214613968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14520/statm: 2287 275 233 213 0 72 0
[pid=14521] ppid=14520 vsize=15456 CPUtime=1421.76 cores=0,2,4,6
/proc/14521/stat : 14521 (npSolver-pbo) S 14520 14520 8474 0 -1 4202496 9246 74963 0 0 70 21 142043 42 20 0 1 0 273454288 15826944 3313 33554432000 4194304 5992684 140733375281136 140733375266040 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3864 3313 184 440 0 3420 0
[pid=14597] ppid=14521 vsize=99644 CPUtime=120.24 cores=0,2,4,6
/proc/14597/stat : 14597 (glucosInc) R 14521 14520 8474 0 -1 4202496 12562 0 0 0 12020 4 0 0 20 0 1 0 273596490 102035456 22337 33554432000 4194304 5654031 140733461685792 140733461673608 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14597/statm: 24911 22337 142 357 0 24551 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 124248
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 14646
/proc/meminfo: memFree=31003432/32873844 swapFree=7112/7112
[pid=14520] ppid=14518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14520/stat : 14520 (npSolver-pbo-I.) S 14518 14520 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273454288 9367552 275 33554432000 4194304 5064252 140734214615056 140734214613968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14520/statm: 2287 275 233 213 0 72 0
[pid=14521] ppid=14520 vsize=15456 CPUtime=1421.76 cores=0,2,4,6
/proc/14521/stat : 14521 (npSolver-pbo) S 14520 14520 8474 0 -1 4202496 9246 74963 0 0 70 21 142043 42 20 0 1 0 273454288 15826944 3313 33554432000 4194304 5992684 140733375281136 140733375266040 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3864 3313 184 440 0 3420 0
[pid=14597] ppid=14521 vsize=99644 CPUtime=180.23 cores=0,2,4,6
/proc/14597/stat : 14597 (glucosInc) R 14521 14520 8474 0 -1 4202496 12564 0 0 0 18019 4 0 0 20 0 1 0 273596490 102035456 23361 33554432000 4194304 5654031 140733461685792 140733461673608 4233168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14597/statm: 24911 23361 142 357 0 24551 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 124248
[startup+1662.3 s]
/proc/loadavg: 2.24 2.07 2.02 3/183 14649
/proc/meminfo: memFree=31072896/32873844 swapFree=7112/7112
[pid=14520] ppid=14518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14520/stat : 14520 (npSolver-pbo-I.) S 14518 14520 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273454288 9367552 275 33554432000 4194304 5064252 140734214615056 140734214613968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14520/statm: 2287 275 233 213 0 72 0
[pid=14521] ppid=14520 vsize=15456 CPUtime=1421.76 cores=0,2,4,6
/proc/14521/stat : 14521 (npSolver-pbo) S 14520 14520 8474 0 -1 4202496 9246 74963 0 0 70 21 142043 42 20 0 1 0 273454288 15826944 3313 33554432000 4194304 5992684 140733375281136 140733375266040 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3864 3313 184 440 0 3420 0
[pid=14597] ppid=14521 vsize=99644 CPUtime=240.22 cores=0,2,4,6
/proc/14597/stat : 14597 (glucosInc) R 14521 14520 8474 0 -1 4202496 12565 0 0 0 24018 4 0 0 20 0 1 0 273596490 102035456 23873 33554432000 4194304 5654031 140733461685792 140733461673608 4216272 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14597/statm: 24911 23873 142 357 0 24551 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 124248
[startup+1722.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/184 14698
/proc/meminfo: memFree=31391876/32873844 swapFree=7112/7112
[pid=14520] ppid=14518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14520/stat : 14520 (npSolver-pbo-I.) S 14518 14520 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273454288 9367552 275 33554432000 4194304 5064252 140734214615056 140734214613968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14520/statm: 2287 275 233 213 0 72 0
[pid=14521] ppid=14520 vsize=15456 CPUtime=1421.76 cores=0,2,4,6
/proc/14521/stat : 14521 (npSolver-pbo) S 14520 14520 8474 0 -1 4202496 9246 74963 0 0 70 21 142043 42 20 0 1 0 273454288 15826944 3313 33554432000 4194304 5992684 140733375281136 140733375266040 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3864 3313 184 440 0 3420 0
[pid=14597] ppid=14521 vsize=99644 CPUtime=300.21 cores=0,2,4,6
/proc/14597/stat : 14597 (glucosInc) R 14521 14520 8474 0 -1 4202496 12567 0 0 0 30017 4 0 0 20 0 1 0 273596490 102035456 23873 33554432000 4194304 5654031 140733461685792 140733461673608 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14597/statm: 24911 23873 142 357 0 24551 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 124248
[startup+1782.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/182 14701
/proc/meminfo: memFree=31354216/32873844 swapFree=7112/7112
[pid=14520] ppid=14518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14520/stat : 14520 (npSolver-pbo-I.) S 14518 14520 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273454288 9367552 275 33554432000 4194304 5064252 140734214615056 140734214613968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14520/statm: 2287 275 233 213 0 72 0
[pid=14521] ppid=14520 vsize=15456 CPUtime=1421.76 cores=0,2,4,6
/proc/14521/stat : 14521 (npSolver-pbo) S 14520 14520 8474 0 -1 4202496 9246 74963 0 0 70 21 142043 42 20 0 1 0 273454288 15826944 3313 33554432000 4194304 5992684 140733375281136 140733375266040 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3864 3313 184 440 0 3420 0
[pid=14597] ppid=14521 vsize=99644 CPUtime=360.2 cores=0,2,4,6
/proc/14597/stat : 14597 (glucosInc) R 14521 14520 8474 0 -1 4202496 12567 0 0 0 36016 4 0 0 20 0 1 0 273596490 102035456 23873 33554432000 4194304 5654031 140733461685792 140733461673608 4208659 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14597/statm: 24911 23873 142 357 0 24551 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 124248
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.05 2.05 2.01 3/182 14701
/proc/meminfo: memFree=31351840/32873844 swapFree=7112/7112
[pid=14520] ppid=14518 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14520/stat : 14520 (npSolver-pbo-I.) S 14518 14520 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273454288 9367552 275 33554432000 4194304 5064252 140734214615056 140734214613968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14520/statm: 2287 275 233 213 0 72 0
[pid=14521] ppid=14520 vsize=15456 CPUtime=1421.76 cores=0,2,4,6
/proc/14521/stat : 14521 (npSolver-pbo) S 14520 14520 8474 0 -1 4202496 9246 74963 0 0 70 21 142043 42 20 0 1 0 273454288 15826944 3313 33554432000 4194304 5992684 140733375281136 140733375266040 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/14521/statm: 3864 3313 184 440 0 3420 0
[pid=14597] ppid=14521 vsize=99644 CPUtime=378.31 cores=0,2,4,6
/proc/14597/stat : 14597 (glucosInc) R 14521 14520 8474 0 -1 4202496 12567 0 0 0 37827 4 0 0 20 0 1 0 273596490 102035456 23873 33554432000 4194304 5654031 140733461685792 140733461673608 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14597/statm: 24911 23873 142 357 0 24551 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 124248
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.1
CPU user time (s): 1799.41
CPU system time (s): 0.687895
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 205576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.687895
maximum resident set size= 149056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97157
page faults= 0
swaps= 0
block input operations= 0
block output operations= 52200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 572
involuntary context switches= 2675
runsolver used 3.48347 second user time and 9.49256 second system time
The end