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-3749278-1339131034/watcher-3749278-1339131034 -o /tmp/evaluation-result-3749278-1339131034/solver-3749278-1339131034 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3749278-1339131034.opb 781588507 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/177 15528
/proc/meminfo: memFree=26706980/32873844 swapFree=7120/7120
[pid=15528] ppid=15526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (npSolver-pbo-I.) S 15526 15528 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379231949 9367552 274 33554432000 4194304 5064252 140733982691328 140733982690240 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15528/statm: 2287 274 233 213 0 72 0
[startup+0.0317859 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15528
/proc/meminfo: memFree=26706980/32873844 swapFree=7120/7120
[pid=15528] ppid=15526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (npSolver-pbo-I.) S 15526 15528 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379231949 9367552 274 33554432000 4194304 5064252 140733982691328 140733982690240 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15528/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15528
/proc/meminfo: memFree=26706980/32873844 swapFree=7120/7120
[pid=15528] ppid=15526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (npSolver-pbo-I.) S 15526 15528 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379231949 9367552 274 33554432000 4194304 5064252 140733982691328 140733982690240 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15528/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300326 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15528
/proc/meminfo: memFree=26706980/32873844 swapFree=7120/7120
[pid=15528] ppid=15526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (npSolver-pbo-I.) S 15526 15528 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379231949 9367552 274 33554432000 4194304 5064252 140733982691328 140733982690240 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15528/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700332 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15528
/proc/meminfo: memFree=26706980/32873844 swapFree=7120/7120
[pid=15528] ppid=15526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (npSolver-pbo-I.) S 15526 15528 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379231949 9367552 274 33554432000 4194304 5064252 140733982691328 140733982690240 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15528/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15530
/proc/meminfo: memFree=26634944/32873844 swapFree=7120/7120
[pid=15528] ppid=15526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (npSolver-pbo-I.) S 15526 15528 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379231949 9367552 274 33554432000 4194304 5064252 140733982691328 140733982690240 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15528/statm: 2287 274 233 213 0 72 0
[pid=15529] ppid=15528 vsize=74296 CPUtime=1.06 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo) S 15528 15528 11080 0 -1 4202496 14114 0 0 0 98 8 0 0 20 0 1 0 379231949 76079104 17422 33554432000 4194304 6004724 140734287528336 140734287522800 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15529/statm: 18574 17422 162 442 0 18128 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 83444
[startup+3.10043 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 15532
/proc/meminfo: memFree=26427356/32873844 swapFree=7120/7120
[pid=15528] ppid=15526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (npSolver-pbo-I.) S 15526 15528 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379231949 9367552 274 33554432000 4194304 5064252 140733982691328 140733982690240 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15528/statm: 2287 274 233 213 0 72 0
[pid=15529] ppid=15528 vsize=74296 CPUtime=1.06 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo) S 15528 15528 11080 0 -1 4202496 14114 0 0 0 98 8 0 0 20 0 1 0 379231949 76079104 17422 33554432000 4194304 6004724 140734287528336 140734287522800 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15529/statm: 18574 17422 162 442 0 18128 0
[pid=15531] ppid=15529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15531/stat : 15531 (cp2_pre.sh) S 15529 15528 11080 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 379232056 9367552 276 33554432000 4194304 5064252 140734034967888 140734034966592 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15531/statm: 2287 276 234 213 0 72 0
[pid=15532] ppid=15531 vsize=222312 CPUtime=2.01 cores=0,2,4,6
/proc/15532/stat : 15532 (coprocessor) R 15531 15528 11080 0 -1 4202496 35789 0 0 0 194 7 0 0 20 0 1 0 379232056 227647488 53720 33554432000 4194304 6586260 140734657322000 140734657318264 4789282 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/15532/statm: 55578 53720 182 584 0 54990 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 314904
[startup+6.30038 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15534
/proc/meminfo: memFree=26537580/32873844 swapFree=7120/7120
[pid=15528] ppid=15526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (npSolver-pbo-I.) S 15526 15528 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379231949 9367552 274 33554432000 4194304 5064252 140733982691328 140733982690240 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15528/statm: 2287 274 233 213 0 72 0
[pid=15529] ppid=15528 vsize=74296 CPUtime=4.83 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo) S 15528 15528 11080 0 -1 4202496 14131 39873 0 0 98 8 353 24 20 0 1 0 379231949 76079104 17426 33554432000 4194304 6004724 140734287528336 140734287514616 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15529/statm: 18574 17426 166 442 0 18128 0
[pid=15534] ppid=15529 vsize=113096 CPUtime=1.13 cores=0,2,4,6
/proc/15534/stat : 15534 (glucosInc) R 15529 15528 11080 0 -1 4202496 22772 0 0 0 109 4 0 0 20 0 1 0 379232465 115810304 23740 33554432000 4194304 5654031 140735476243648 140735476241432 4214638 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15534/statm: 28274 23740 140 357 0 27914 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 196540
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15534
/proc/meminfo: memFree=26570224/32873844 swapFree=7120/7120
[pid=15528] ppid=15526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (npSolver-pbo-I.) S 15526 15528 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379231949 9367552 274 33554432000 4194304 5064252 140733982691328 140733982690240 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15528/statm: 2287 274 233 213 0 72 0
[pid=15529] ppid=15528 vsize=74296 CPUtime=4.83 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo) S 15528 15528 11080 0 -1 4202496 14131 39873 0 0 98 8 353 24 20 0 1 0 379231949 76079104 17426 33554432000 4194304 6004724 140734287528336 140734287514616 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15529/statm: 18574 17426 166 442 0 18128 0
[pid=15534] ppid=15529 vsize=113624 CPUtime=7.52 cores=0,2,4,6
/proc/15534/stat : 15534 (glucosInc) R 15529 15528 11080 0 -1 4202496 23005 0 0 0 748 4 0 0 20 0 1 0 379232465 116350976 23969 33554432000 4194304 5654031 140735476243648 140735476241432 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15534/statm: 28406 23969 140 357 0 28046 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 197068
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15534
/proc/meminfo: memFree=26567504/32873844 swapFree=7120/7120
[pid=15528] ppid=15526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (npSolver-pbo-I.) S 15526 15528 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379231949 9367552 274 33554432000 4194304 5064252 140733982691328 140733982690240 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15528/statm: 2287 274 233 213 0 72 0
[pid=15529] ppid=15528 vsize=74296 CPUtime=4.83 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo) S 15528 15528 11080 0 -1 4202496 14131 39873 0 0 98 8 353 24 20 0 1 0 379231949 76079104 17426 33554432000 4194304 6004724 140734287528336 140734287514616 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15529/statm: 18574 17426 166 442 0 18128 0
[pid=15534] ppid=15529 vsize=116592 CPUtime=20.32 cores=0,2,4,6
/proc/15534/stat : 15534 (glucosInc) R 15529 15528 11080 0 -1 4202496 23813 0 0 0 2028 4 0 0 20 0 1 0 379232465 119390208 24759 33554432000 4194304 5654031 140735476243648 140735476231464 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15534/statm: 29148 24759 141 357 0 28788 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 200036
[startup+51.1004 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 15534
/proc/meminfo: memFree=26505264/32873844 swapFree=7120/7120
[pid=15528] ppid=15526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (npSolver-pbo-I.) S 15526 15528 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379231949 9367552 274 33554432000 4194304 5064252 140733982691328 140733982690240 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15528/statm: 2287 274 233 213 0 72 0
[pid=15529] ppid=15528 vsize=74296 CPUtime=4.83 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo) S 15528 15528 11080 0 -1 4202496 14131 39873 0 0 98 8 353 24 20 0 1 0 379231949 76079104 17426 33554432000 4194304 6004724 140734287528336 140734287514616 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15529/statm: 18574 17426 166 442 0 18128 0
[pid=15534] ppid=15529 vsize=118172 CPUtime=45.91 cores=0,2,4,6
/proc/15534/stat : 15534 (glucosInc) R 15529 15528 11080 0 -1 4202496 24321 0 0 0 4587 4 0 0 20 0 1 0 379232465 121008128 25763 33554432000 4194304 5654031 140735476243648 140735476231464 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15534/statm: 29543 25763 141 357 0 29183 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 201616
[startup+102.306 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 15534
/proc/meminfo: memFree=26497712/32873844 swapFree=7120/7120
[pid=15528] ppid=15526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (npSolver-pbo-I.) S 15526 15528 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379231949 9367552 274 33554432000 4194304 5064252 140733982691328 140733982690240 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15528/statm: 2287 274 233 213 0 72 0
[pid=15529] ppid=15528 vsize=74296 CPUtime=4.83 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo) S 15528 15528 11080 0 -1 4202496 14131 39873 0 0 98 8 353 24 20 0 1 0 379231949 76079104 17426 33554432000 4194304 6004724 140734287528336 140734287514616 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15529/statm: 18574 17426 166 442 0 18128 0
[pid=15534] ppid=15529 vsize=120368 CPUtime=97.11 cores=0,2,4,6
/proc/15534/stat : 15534 (glucosInc) R 15529 15528 11080 0 -1 4202496 24675 0 0 0 9707 4 0 0 20 0 1 0 379232465 123256832 26628 33554432000 4194304 5654031 140735476243648 140735476231464 4232625 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15534/statm: 30092 26628 141 357 0 29732 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 203812
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 15535
/proc/meminfo: memFree=26496044/32873844 swapFree=7120/7120
[pid=15528] ppid=15526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (npSolver-pbo-I.) S 15526 15528 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379231949 9367552 274 33554432000 4194304 5064252 140733982691328 140733982690240 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15528/statm: 2287 274 233 213 0 72 0
[pid=15529] ppid=15528 vsize=74296 CPUtime=4.83 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo) S 15528 15528 11080 0 -1 4202496 14131 39873 0 0 98 8 353 24 20 0 1 0 379231949 76079104 17426 33554432000 4194304 6004724 140734287528336 140734287514616 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15529/statm: 18574 17426 166 442 0 18128 0
[pid=15534] ppid=15529 vsize=120632 CPUtime=157.08 cores=0,2,4,6
/proc/15534/stat : 15534 (glucosInc) R 15529 15528 11080 0 -1 4202496 25390 0 0 0 15703 5 0 0 20 0 1 0 379232465 123527168 27171 33554432000 4194304 5654031 140735476243648 140735476241432 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15534/statm: 30158 27171 142 357 0 29798 0
Current children cumulated CPU time (s) 161.91
Current children cumulated vsize (KiB) 204076
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15535
/proc/meminfo: memFree=26492460/32873844 swapFree=7120/7120
[pid=15528] ppid=15526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (npSolver-pbo-I.) S 15526 15528 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379231949 9367552 274 33554432000 4194304 5064252 140733982691328 140733982690240 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15528/statm: 2287 274 233 213 0 72 0
[pid=15529] ppid=15528 vsize=74296 CPUtime=4.83 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo) S 15528 15528 11080 0 -1 4202496 14131 39873 0 0 98 8 353 24 20 0 1 0 379231949 76079104 17426 33554432000 4194304 6004724 140734287528336 140734287514616 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15529/statm: 18574 17426 166 442 0 18128 0
[pid=15534] ppid=15529 vsize=122172 CPUtime=217.08 cores=0,2,4,6
/proc/15534/stat : 15534 (glucosInc) R 15529 15528 11080 0 -1 4202496 25761 0 0 0 21702 6 0 0 20 0 1 0 379232465 125104128 28053 33554432000 4194304 5654031 140735476243648 140735476241432 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15534/statm: 30543 28053 142 357 0 30183 0
Current children cumulated CPU time (s) 221.91
Current children cumulated vsize (KiB) 205616
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26417804/32873844 swapFree=7120/7120
[pid=15528] ppid=15526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (npSolver-pbo-I.) S 15526 15528 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379231949 9367552 274 33554432000 4194304 5064252 140733982691328 140733982690240 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15528/statm: 2287 274 233 213 0 72 0
[pid=15529] ppid=15528 vsize=74296 CPUtime=4.83 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo) S 15528 15528 11080 0 -1 4202496 14131 39873 0 0 98 8 353 24 20 0 1 0 379231949 76079104 17426 33554432000 4194304 6004724 140734287528336 140734287514616 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15529/statm: 18574 17426 166 442 0 18128 0
[pid=15534] ppid=15529 vsize=206172 CPUtime=1296.92 cores=0,2,4,6
/proc/15534/stat : 15534 (glucosInc) R 15529 15528 11080 0 -1 4202496 32032 0 0 0 129678 14 0 0 20 0 1 0 379232465 211120128 46013 33554432000 4194304 5654031 140735476243648 140735476231464 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15534/statm: 51543 46013 142 357 0 51183 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 289616
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15619
/proc/meminfo: memFree=26505892/32873844 swapFree=7120/7120
[pid=15528] ppid=15526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (npSolver-pbo-I.) S 15526 15528 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379231949 9367552 274 33554432000 4194304 5064252 140733982691328 140733982690240 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15528/statm: 2287 274 233 213 0 72 0
[pid=15529] ppid=15528 vsize=74300 CPUtime=1333.99 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo) S 15528 15528 11080 0 -1 4202496 17295 72971 0 0 140 136 133077 46 20 0 1 0 379231949 76083200 17444 33554432000 4194304 6004724 140734287528336 140734287513256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15529/statm: 18575 17444 183 442 0 18129 0
[pid=15618] ppid=15529 vsize=130676 CPUtime=27.75 cores=0,2,4,6
/proc/15618/stat : 15618 (glucosInc) R 15529 15528 11080 0 -1 4202496 24919 0 0 0 2770 5 0 0 20 0 1 0 379365402 133812224 28070 33554432000 4194304 5654031 140734211915152 140734211913048 4232800 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15618/statm: 32669 28070 140 357 0 32309 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 214124
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15619
/proc/meminfo: memFree=26502296/32873844 swapFree=7120/7120
[pid=15528] ppid=15526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (npSolver-pbo-I.) S 15526 15528 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379231949 9367552 274 33554432000 4194304 5064252 140733982691328 140733982690240 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15528/statm: 2287 274 233 213 0 72 0
[pid=15529] ppid=15528 vsize=74300 CPUtime=1333.99 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo) S 15528 15528 11080 0 -1 4202496 17295 72971 0 0 140 136 133077 46 20 0 1 0 379231949 76083200 17444 33554432000 4194304 6004724 140734287528336 140734287513256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15529/statm: 18575 17444 183 442 0 18129 0
[pid=15618] ppid=15529 vsize=133060 CPUtime=87.75 cores=0,2,4,6
/proc/15618/stat : 15618 (glucosInc) R 15529 15528 11080 0 -1 4202496 25868 0 0 0 8769 6 0 0 20 0 1 0 379365402 136253440 28805 33554432000 4194304 5654031 140734211915152 140734211902968 4232763 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15618/statm: 33265 28805 141 357 0 32905 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 216508
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15619
/proc/meminfo: memFree=26467992/32873844 swapFree=7120/7120
[pid=15528] ppid=15526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (npSolver-pbo-I.) S 15526 15528 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379231949 9367552 274 33554432000 4194304 5064252 140733982691328 140733982690240 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15528/statm: 2287 274 233 213 0 72 0
[pid=15529] ppid=15528 vsize=74300 CPUtime=1333.99 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo) S 15528 15528 11080 0 -1 4202496 17295 72971 0 0 140 136 133077 46 20 0 1 0 379231949 76083200 17444 33554432000 4194304 6004724 140734287528336 140734287513256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15529/statm: 18575 17444 183 442 0 18129 0
[pid=15618] ppid=15529 vsize=165428 CPUtime=147.71 cores=0,2,4,6
/proc/15618/stat : 15618 (glucosInc) R 15529 15528 11080 0 -1 4202496 26917 0 0 0 14764 7 0 0 20 0 1 0 379365402 169398272 37504 33554432000 4194304 5654031 140734211915152 140734211902968 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15618/statm: 41357 37504 141 357 0 40997 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 248876
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15619
/proc/meminfo: memFree=26426140/32873844 swapFree=7120/7120
[pid=15528] ppid=15526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (npSolver-pbo-I.) S 15526 15528 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379231949 9367552 274 33554432000 4194304 5064252 140733982691328 140733982690240 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15528/statm: 2287 274 233 213 0 72 0
[pid=15529] ppid=15528 vsize=74300 CPUtime=1333.99 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo) S 15528 15528 11080 0 -1 4202496 17295 72971 0 0 140 136 133077 46 20 0 1 0 379231949 76083200 17444 33554432000 4194304 6004724 140734287528336 140734287513256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15529/statm: 18575 17444 183 442 0 18129 0
[pid=15618] ppid=15529 vsize=165428 CPUtime=207.7 cores=0,2,4,6
/proc/15618/stat : 15618 (glucosInc) R 15529 15528 11080 0 -1 4202496 27279 0 0 0 20762 8 0 0 20 0 1 0 379365402 169398272 38744 33554432000 4194304 5654031 140734211915152 140734211902968 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15618/statm: 41357 38744 141 357 0 40997 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 248876
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15619
/proc/meminfo: memFree=26420120/32873844 swapFree=7120/7120
[pid=15528] ppid=15526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (npSolver-pbo-I.) S 15526 15528 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379231949 9367552 274 33554432000 4194304 5064252 140733982691328 140733982690240 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15528/statm: 2287 274 233 213 0 72 0
[pid=15529] ppid=15528 vsize=74300 CPUtime=1333.99 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo) S 15528 15528 11080 0 -1 4202496 17295 72971 0 0 140 136 133077 46 20 0 1 0 379231949 76083200 17444 33554432000 4194304 6004724 140734287528336 140734287513256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15529/statm: 18575 17444 183 442 0 18129 0
[pid=15618] ppid=15529 vsize=165428 CPUtime=267.7 cores=0,2,4,6
/proc/15618/stat : 15618 (glucosInc) R 15529 15528 11080 0 -1 4202496 27858 0 0 0 26761 9 0 0 20 0 1 0 379365402 169398272 38744 33554432000 4194304 5654031 140734211915152 140734211902968 4232528 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15618/statm: 41357 38744 141 357 0 40997 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 248876
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15620
/proc/meminfo: memFree=26393000/32873844 swapFree=7120/7120
[pid=15528] ppid=15526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (npSolver-pbo-I.) S 15526 15528 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379231949 9367552 274 33554432000 4194304 5064252 140733982691328 140733982690240 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15528/statm: 2287 274 233 213 0 72 0
[pid=15529] ppid=15528 vsize=74300 CPUtime=1333.99 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo) S 15528 15528 11080 0 -1 4202496 17295 72971 0 0 140 136 133077 46 20 0 1 0 379231949 76083200 17444 33554432000 4194304 6004724 140734287528336 140734287513256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15529/statm: 18575 17444 183 442 0 18129 0
[pid=15618] ppid=15529 vsize=214748 CPUtime=327.68 cores=0,2,4,6
/proc/15618/stat : 15618 (glucosInc) R 15529 15528 11080 0 -1 4202496 28437 0 0 0 32758 10 0 0 20 0 1 0 379365402 219901952 46697 33554432000 4194304 5654031 140734211915152 140734211902968 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15618/statm: 53687 46697 141 357 0 53327 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 298196
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15620
/proc/meminfo: memFree=26380588/32873844 swapFree=7120/7120
[pid=15528] ppid=15526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (npSolver-pbo-I.) S 15526 15528 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379231949 9367552 274 33554432000 4194304 5064252 140733982691328 140733982690240 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15528/statm: 2287 274 233 213 0 72 0
[pid=15529] ppid=15528 vsize=74300 CPUtime=1333.99 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo) S 15528 15528 11080 0 -1 4202496 17295 72971 0 0 140 136 133077 46 20 0 1 0 379231949 76083200 17444 33554432000 4194304 6004724 140734287528336 140734287513256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15529/statm: 18575 17444 183 442 0 18129 0
[pid=15618] ppid=15529 vsize=214748 CPUtime=387.68 cores=0,2,4,6
/proc/15618/stat : 15618 (glucosInc) R 15529 15528 11080 0 -1 4202496 28730 0 0 0 38757 11 0 0 20 0 1 0 379365402 219901952 47209 33554432000 4194304 5654031 140734211915152 140734211902968 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15618/statm: 53687 47209 141 357 0 53327 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 298196
[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/180 15623
/proc/meminfo: memFree=26376252/32873844 swapFree=7120/7120
[pid=15528] ppid=15526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (npSolver-pbo-I.) S 15526 15528 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379231949 9367552 274 33554432000 4194304 5064252 140733982691328 140733982690240 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15528/statm: 2287 274 233 213 0 72 0
[pid=15529] ppid=15528 vsize=74300 CPUtime=1333.99 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo) S 15528 15528 11080 0 -1 4202496 17295 72971 0 0 140 136 133077 46 20 0 1 0 379231949 76083200 17444 33554432000 4194304 6004724 140734287528336 140734287513256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15529/statm: 18575 17444 183 442 0 18129 0
[pid=15618] ppid=15529 vsize=214748 CPUtime=447.66 cores=0,2,4,6
/proc/15618/stat : 15618 (glucosInc) R 15529 15528 11080 0 -1 4202496 29025 0 0 0 44755 11 0 0 20 0 1 0 379365402 219901952 48233 33554432000 4194304 5654031 140734211915152 140734211902968 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15618/statm: 53687 48233 141 357 0 53327 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 298196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 15623
/proc/meminfo: memFree=26418468/32873844 swapFree=7120/7120
[pid=15528] ppid=15526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (npSolver-pbo-I.) S 15526 15528 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379231949 9367552 274 33554432000 4194304 5064252 140733982691328 140733982690240 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15528/statm: 2287 274 233 213 0 72 0
[pid=15529] ppid=15528 vsize=74300 CPUtime=1333.99 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo) S 15528 15528 11080 0 -1 4202496 17295 72971 0 0 140 136 133077 46 20 0 1 0 379231949 76083200 17444 33554432000 4194304 6004724 140734287528336 140734287513256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15529/statm: 18575 17444 183 442 0 18129 0
[pid=15618] ppid=15529 vsize=214748 CPUtime=466.08 cores=0,2,4,6
/proc/15618/stat : 15618 (glucosInc) R 15529 15528 11080 0 -1 4202496 29028 0 0 0 46596 12 0 0 20 0 1 0 379365402 219901952 49769 33554432000 4194304 5654031 140734211915152 140734211902968 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15618/statm: 53687 49769 141 357 0 53327 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 298196
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.04 2.01 2.00 3/180 15623
/proc/meminfo: memFree=26418468/32873844 swapFree=7120/7120
[pid=15528] ppid=15526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15528/stat : 15528 (npSolver-pbo-I.) S 15526 15528 11080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379231949 9367552 274 33554432000 4194304 5064252 140733982691328 140733982690240 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15528/statm: 2287 274 233 213 0 72 0
[pid=15529] ppid=15528 vsize=74300 CPUtime=1333.99 cores=0,2,4,6
/proc/15529/stat : 15529 (npSolver-pbo) S 15528 15528 11080 0 -1 4202496 17295 72971 0 0 140 136 133077 46 20 0 1 0 379231949 76083200 17444 33554432000 4194304 6004724 140734287528336 140734287513256 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15529/statm: 18575 17444 183 442 0 18129 0
[pid=15618] ppid=15529 vsize=214748 CPUtime=466.08 cores=0,2,4,6
/proc/15618/stat : 15618 (glucosInc) R 15529 15528 11080 0 -1 4202496 29028 0 0 0 46596 12 0 0 20 0 1 0 379365402 219901952 49769 33554432000 4194304 5654031 140734211915152 140734211902968 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15618/statm: 53687 49769 141 357 0 53327 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 298196
Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.1
CPU user time (s): 1798.13
CPU system time (s): 1.9607
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 354836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.13
system time used= 1.9607
maximum resident set size= 254172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119676
page faults= 0
swaps= 0
block input operations= 0
block output operations= 216624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 654
involuntary context switches= 2138
runsolver used 9.44156 second user time and 15.7496 second system time
The end