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-3748219-1339179436/watcher-3748219-1339179436 -o /tmp/evaluation-result-3748219-1339179436/solver-3748219-1339179436 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748219-1339179436.opb 2068044791 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.80 2.22 2.07 3/179 29740
/proc/meminfo: memFree=26206224/32873648 swapFree=7376/7376
[pid=29740] ppid=29738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29740/stat : 29740 (npSolver-pbo-I.) S 29738 29740 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384069827 9367552 275 33554432000 4194304 5064252 140734543747728 140734543746640 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29740/statm: 2287 275 233 213 0 72 0
[startup+0.0897691 s]
/proc/loadavg: 2.80 2.22 2.07 3/179 29740
/proc/meminfo: memFree=26206224/32873648 swapFree=7376/7376
[pid=29740] ppid=29738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29740/stat : 29740 (npSolver-pbo-I.) S 29738 29740 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384069827 9367552 275 33554432000 4194304 5064252 140734543747728 140734543746640 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29740/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100218 s]
/proc/loadavg: 2.80 2.22 2.07 3/179 29740
/proc/meminfo: memFree=26206224/32873648 swapFree=7376/7376
[pid=29740] ppid=29738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29740/stat : 29740 (npSolver-pbo-I.) S 29738 29740 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384069827 9367552 275 33554432000 4194304 5064252 140734543747728 140734543746640 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29740/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300154 s]
/proc/loadavg: 2.80 2.22 2.07 3/179 29740
/proc/meminfo: memFree=26206224/32873648 swapFree=7376/7376
[pid=29740] ppid=29738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29740/stat : 29740 (npSolver-pbo-I.) S 29738 29740 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384069827 9367552 275 33554432000 4194304 5064252 140734543747728 140734543746640 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29740/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700153 s]
/proc/loadavg: 2.80 2.22 2.07 3/179 29740
/proc/meminfo: memFree=26206224/32873648 swapFree=7376/7376
[pid=29740] ppid=29738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29740/stat : 29740 (npSolver-pbo-I.) S 29738 29740 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384069827 9367552 275 33554432000 4194304 5064252 140734543747728 140734543746640 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29740/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50021 s]
/proc/loadavg: 2.80 2.22 2.07 3/181 29742
/proc/meminfo: memFree=26070868/32873648 swapFree=7376/7376
[pid=29740] ppid=29738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29740/stat : 29740 (npSolver-pbo-I.) S 29738 29740 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384069827 9367552 275 33554432000 4194304 5064252 140734543747728 140734543746640 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29740/statm: 2287 275 233 213 0 72 0
[pid=29741] ppid=29740 vsize=217060 CPUtime=1.49 cores=0,2,4,6
/proc/29741/stat : 29741 (npSolver-pbo) R 29740 29740 28786 0 -1 4202496 25138 0 0 0 141 8 0 0 20 0 1 0 384069827 222269440 42913 33554432000 4194304 6004724 140737450267248 140737450263272 4968639 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29741/statm: 54265 42914 130 442 0 53819 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 226208
[startup+3.10019 s]
/proc/loadavg: 2.80 2.22 2.07 3/181 29742
/proc/meminfo: memFree=25910976/32873648 swapFree=7376/7376
[pid=29740] ppid=29738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29740/stat : 29740 (npSolver-pbo-I.) S 29738 29740 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384069827 9367552 275 33554432000 4194304 5064252 140734543747728 140734543746640 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29740/statm: 2287 275 233 213 0 72 0
[pid=29741] ppid=29740 vsize=437100 CPUtime=3.09 cores=0,2,4,6
/proc/29741/stat : 29741 (npSolver-pbo) R 29740 29740 28786 0 -1 4202496 47979 0 0 0 292 17 0 0 20 0 1 0 384069827 447590400 88173 33554432000 4194304 6004724 140737450267248 140737450262888 5190736 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29741/statm: 109275 88174 130 442 0 108829 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 446248
[startup+6.30019 s]
/proc/loadavg: 2.81 2.23 2.07 3/181 29742
/proc/meminfo: memFree=25401436/32873648 swapFree=7376/7376
[pid=29740] ppid=29738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29740/stat : 29740 (npSolver-pbo-I.) S 29738 29740 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384069827 9367552 275 33554432000 4194304 5064252 140734543747728 140734543746640 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29740/statm: 2287 275 233 213 0 72 0
[pid=29741] ppid=29740 vsize=1380032 CPUtime=6.29 cores=0,2,4,6
/proc/29741/stat : 29741 (npSolver-pbo) R 29740 29740 28786 0 -1 4202496 135116 0 0 0 591 38 0 0 20 0 1 0 384069827 1413152768 264607 33554432000 4194304 6004724 140737450267248 140737450263272 4968639 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29741/statm: 345008 264609 130 442 0 344562 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1389180
[startup+12.7002 s]
/proc/loadavg: 2.75 2.23 2.07 3/180 29744
/proc/meminfo: memFree=25877824/32873648 swapFree=7376/7376
[pid=29740] ppid=29738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29740/stat : 29740 (npSolver-pbo-I.) S 29738 29740 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384069827 9367552 275 33554432000 4194304 5064252 140734543747728 140734543746640 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29740/statm: 2287 275 233 213 0 72 0
[pid=29741] ppid=29740 vsize=1510224 CPUtime=12.68 cores=0,2,4,6
/proc/29741/stat : 29741 (npSolver-pbo) R 29740 29740 28786 0 -1 4202496 169524 0 0 0 1215 53 0 0 20 0 1 0 384069827 1546469376 345358 33554432000 4194304 6004724 140737450267248 140737450262056 4617968 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29741/statm: 377556 345358 147 442 0 377110 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1519372
[startup+25.5003 s]
/proc/loadavg: 2.63 2.22 2.07 3/180 29744
/proc/meminfo: memFree=24356256/32873648 swapFree=7376/7376
[pid=29740] ppid=29738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29740/stat : 29740 (npSolver-pbo-I.) S 29738 29740 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384069827 9367552 275 33554432000 4194304 5064252 140734543747728 140734543746640 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29740/statm: 2287 275 233 213 0 72 0
[pid=29741] ppid=29740 vsize=3083088 CPUtime=25.49 cores=0,2,4,6
/proc/29741/stat : 29741 (npSolver-pbo) R 29740 29740 28786 0 -1 4202496 171789 0 0 0 2460 89 0 0 20 0 1 0 384069827 3157082112 577316 33554432000 4194304 6004724 140737450267248 140737450261848 4582623 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29741/statm: 770772 577316 154 442 0 770326 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3092236
[startup+51.1065 s]
/proc/loadavg: 2.68 2.26 2.09 3/183 29747
/proc/meminfo: memFree=20609392/32873648 swapFree=7376/7376
[pid=29740] ppid=29738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29740/stat : 29740 (npSolver-pbo-I.) S 29738 29740 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384069827 9367552 275 33554432000 4194304 5064252 140734543747728 140734543746640 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29740/statm: 2287 275 233 213 0 72 0
[pid=29741] ppid=29740 vsize=3083104 CPUtime=32.84 cores=0,2,4,6
/proc/29741/stat : 29741 (npSolver-pbo) S 29740 29740 28786 0 -1 4202496 172913 0 0 0 2921 363 0 0 20 0 1 0 384069827 3157098496 668980 33554432000 4194304 6004724 140737450267248 140737450261712 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 85 0 0
/proc/29741/statm: 770776 668980 163 442 0 770330 0
[pid=29745] ppid=29741 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29745/stat : 29745 (cp2_pre.sh) S 29741 29740 28786 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 384073197 9367552 277 33554432000 4194304 5064252 140735018080816 140735018079520 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29745/statm: 2287 277 234 213 0 72 0
[pid=29746] ppid=29745 vsize=1617508 CPUtime=17.37 cores=0,2,4,6
/proc/29746/stat : 29746 (coprocessor) R 29745 29740 28786 0 -1 4202496 21164 0 0 0 1673 64 0 0 20 0 1 0 384073199 1656328192 373205 33554432000 4194304 6586260 140735497337104 140735497333864 5732400 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/29746/statm: 404377 373205 137 584 0 403789 0
Current children cumulated CPU time (s) 50.21
Current children cumulated vsize (KiB) 4718908
[startup+102.3 s]
/proc/loadavg: 2.56 2.30 2.11 3/182 29747
/proc/meminfo: memFree=18393232/32873648 swapFree=7376/7376
[pid=29740] ppid=29738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29740/stat : 29740 (npSolver-pbo-I.) S 29738 29740 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384069827 9367552 275 33554432000 4194304 5064252 140734543747728 140734543746640 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29740/statm: 2287 275 233 213 0 72 0
[pid=29741] ppid=29740 vsize=3083104 CPUtime=32.84 cores=0,2,4,6
/proc/29741/stat : 29741 (npSolver-pbo) S 29740 29740 28786 0 -1 4202496 172913 0 0 0 2921 363 0 0 20 0 1 0 384069827 3157098496 668980 33554432000 4194304 6004724 140737450267248 140737450261712 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 85 0 0
/proc/29741/statm: 770776 668980 163 442 0 770330 0
[pid=29745] ppid=29741 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29745/stat : 29745 (cp2_pre.sh) S 29741 29740 28786 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 384073197 9367552 277 33554432000 4194304 5064252 140735018080816 140735018079520 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29745/statm: 2287 277 234 213 0 72 0
[pid=29746] ppid=29745 vsize=3236192 CPUtime=65.72 cores=0,2,4,6
/proc/29746/stat : 29746 (coprocessor) R 29745 29740 28786 0 -1 4202496 26459 0 0 0 6260 312 0 0 20 0 1 0 384073199 3313860608 654951 33554432000 4194304 6586260 140735497337104 140735497332856 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 284 0 0
/proc/29746/statm: 809048 654951 158 584 0 808460 0
Current children cumulated CPU time (s) 98.56
Current children cumulated vsize (KiB) 6337592
[startup+162.3 s]
/proc/loadavg: 2.20 2.24 2.10 3/181 29749
/proc/meminfo: memFree=19120596/32873648 swapFree=7376/7376
[pid=29740] ppid=29738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29740/stat : 29740 (npSolver-pbo-I.) S 29738 29740 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384069827 9367552 275 33554432000 4194304 5064252 140734543747728 140734543746640 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29740/statm: 2287 275 233 213 0 72 0
[pid=29741] ppid=29740 vsize=3083104 CPUtime=102.59 cores=0,2,4,6
/proc/29741/stat : 29741 (npSolver-pbo) S 29740 29740 28786 0 -1 4202496 172930 27360 0 0 2921 364 6611 363 20 0 1 0 384069827 3157098496 668984 33554432000 4194304 6004724 140737450267248 140737450253528 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 85 0 0
/proc/29741/statm: 770776 668984 167 442 0 770330 0
[pid=29749] ppid=29741 vsize=3856068 CPUtime=55.93 cores=0,2,4,6
/proc/29749/stat : 29749 (glucosInc) R 29741 29740 28786 0 -1 4202496 403175 0 0 0 5470 123 0 0 20 0 1 0 384080460 3948613632 871192 33554432000 4194304 5654031 140735941611936 140735941609720 4209217 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29749/statm: 964017 871192 139 357 0 963657 0
Current children cumulated CPU time (s) 158.52
Current children cumulated vsize (KiB) 6948320
[startup+222.3 s]
/proc/loadavg: 2.07 2.19 2.09 3/182 29752
/proc/meminfo: memFree=19101400/32873648 swapFree=7376/7376
[pid=29740] ppid=29738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29740/stat : 29740 (npSolver-pbo-I.) S 29738 29740 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384069827 9367552 275 33554432000 4194304 5064252 140734543747728 140734543746640 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29740/statm: 2287 275 233 213 0 72 0
[pid=29741] ppid=29740 vsize=3083104 CPUtime=102.59 cores=0,2,4,6
/proc/29741/stat : 29741 (npSolver-pbo) S 29740 29740 28786 0 -1 4202496 172930 27360 0 0 2921 364 6611 363 20 0 1 0 384069827 3157098496 668984 33554432000 4194304 6004724 140737450267248 140737450253528 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 85 0 0
/proc/29741/statm: 770776 668984 167 442 0 770330 0
[pid=29749] ppid=29741 vsize=3871252 CPUtime=115.93 cores=0,2,4,6
/proc/29749/stat : 29749 (glucosInc) R 29741 29740 28786 0 -1 4202496 418582 0 0 0 11465 128 0 0 20 0 1 0 384080460 3964162048 875318 33554432000 4194304 5654031 140735941611936 140735941609816 4232613 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29749/statm: 967813 875318 139 357 0 967453 0
Current children cumulated CPU time (s) 218.52
Current children cumulated vsize (KiB) 6963504
[startup+282.3 s]
/proc/loadavg: 2.02 2.16 2.08 3/180 29752
/proc/meminfo: memFree=19094704/32873648 swapFree=7376/7376
[pid=29740] ppid=29738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29740/stat : 29740 (npSolver-pbo-I.) S 29738 29740 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384069827 9367552 275 33554432000 4194304 5064252 140734543747728 140734543746640 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29740/statm: 2287 275 233 213 0 72 0
[pid=29741] ppid=29740 vsize=3083104 CPUtime=102.59 cores=0,2,4,6
/proc/29741/stat : 29741 (npSolver-pbo) S 29740 29740 28786 0 -1 4202496 172930 27360 0 0 2921 364 6611 363 20 0 1 0 384069827 3157098496 668984 33554432000 4194304 6004724 140737450267248 140737450253528 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 85 0 0
/proc/29741/statm: 770776 668984 167 442 0 770330 0
[pid=29749] ppid=29741 vsize=3877676 CPUtime=175.92 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=19049968/32873648 swapFree=7376/7376
[pid=29740] ppid=29738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29740/stat : 29740 (npSolver-pbo-I.) S 29738 29740 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384069827 9367552 275 33554432000 4194304 5064252 140734543747728 140734543746640 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29740/statm: 2287 275 233 213 0 72 0
[pid=29741] ppid=29740 vsize=3083104 CPUtime=102.59 cores=0,2,4,6
/proc/29741/stat : 29741 (npSolver-pbo) S 29740 29740 28786 0 -1 4202496 172930 27360 0 0 2921 364 6611 363 20 0 1 0 384069827 3157098496 668984 33554432000 4194304 6004724 140737450267248 140737450253528 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 85 0 0
/proc/29741/statm: 770776 668984 167 442 0 770330 0
[pid=29749] ppid=29741 vsize=3902940 CPUtime=1195.76 cores=0,2,4,6
/proc/29749/stat : 29749 (glucosInc) R 29741 29740 28786 0 -1 4202496 615157 0 0 0 119365 211 0 0 20 0 1 0 384080460 3996610560 884428 33554432000 4194304 5654031 140735941611936 140735941610008 4232700 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29749/statm: 975735 884428 140 357 0 975375 0
Current children cumulated CPU time (s) 1298.35
Current children cumulated vsize (KiB) 6995192
[startup+1362.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 29760
/proc/meminfo: memFree=19048960/32873648 swapFree=7376/7376
[pid=29740] ppid=29738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29740/stat : 29740 (npSolver-pbo-I.) S 29738 29740 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384069827 9367552 275 33554432000 4194304 5064252 140734543747728 140734543746640 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29740/statm: 2287 275 233 213 0 72 0
[pid=29741] ppid=29740 vsize=3083104 CPUtime=102.59 cores=0,2,4,6
/proc/29741/stat : 29741 (npSolver-pbo) S 29740 29740 28786 0 -1 4202496 172930 27360 0 0 2921 364 6611 363 20 0 1 0 384069827 3157098496 668984 33554432000 4194304 6004724 140737450267248 140737450253528 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 85 0 0
/proc/29741/statm: 770776 668984 167 442 0 770330 0
[pid=29749] ppid=29741 vsize=3904000 CPUtime=1255.76 cores=0,2,4,6
/proc/29749/stat : 29749 (glucosInc) R 29741 29740 28786 0 -1 4202496 626710 0 0 0 125360 216 0 0 20 0 1 0 384080460 3997696000 884701 33554432000 4194304 5654031 140735941611936 140735941610008 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29749/statm: 976000 884701 140 357 0 975640 0
Current children cumulated CPU time (s) 1358.35
Current children cumulated vsize (KiB) 6996252
[startup+1422.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/182 29763
/proc/meminfo: memFree=19045748/32873648 swapFree=7376/7376
[pid=29740] ppid=29738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29740/stat : 29740 (npSolver-pbo-I.) S 29738 29740 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384069827 9367552 275 33554432000 4194304 5064252 140734543747728 140734543746640 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29740/statm: 2287 275 233 213 0 72 0
[pid=29741] ppid=29740 vsize=3083104 CPUtime=102.59 cores=0,2,4,6
/proc/29741/stat : 29741 (npSolver-pbo) S 29740 29740 28786 0 -1 4202496 172930 27360 0 0 2921 364 6611 363 20 0 1 0 384069827 3157098496 668984 33554432000 4194304 6004724 140737450267248 140737450253528 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 85 0 0
/proc/29741/statm: 770776 668984 167 442 0 770330 0
[pid=29749] ppid=29741 vsize=3904412 CPUtime=1315.74 cores=0,2,4,6
/proc/29749/stat : 29749 (glucosInc) R 29741 29740 28786 0 -1 4202496 634349 0 0 0 131355 219 0 0 20 0 1 0 384080460 3998117888 884812 33554432000 4194304 5654031 140735941611936 140735941609720 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29749/statm: 976103 884812 140 357 0 975743 0
Current children cumulated CPU time (s) 1418.33
Current children cumulated vsize (KiB) 6996664
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 29763
/proc/meminfo: memFree=19044624/32873648 swapFree=7376/7376
[pid=29740] ppid=29738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29740/stat : 29740 (npSolver-pbo-I.) S 29738 29740 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384069827 9367552 275 33554432000 4194304 5064252 140734543747728 140734543746640 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29740/statm: 2287 275 233 213 0 72 0
[pid=29741] ppid=29740 vsize=3083104 CPUtime=102.59 cores=0,2,4,6
/proc/29741/stat : 29741 (npSolver-pbo) S 29740 29740 28786 0 -1 4202496 172930 27360 0 0 2921 364 6611 363 20 0 1 0 384069827 3157098496 668984 33554432000 4194304 6004724 140737450267248 140737450253528 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 85 0 0
/proc/29741/statm: 770776 668984 167 442 0 770330 0
[pid=29749] ppid=29741 vsize=3905452 CPUtime=1375.73 cores=0,2,4,6
/proc/29749/stat : 29749 (glucosInc) R 29741 29740 28786 0 -1 4202496 645908 0 0 0 137350 223 0 0 20 0 1 0 384080460 3999182848 885112 33554432000 4194304 5654031 140735941611936 140735941610008 4232581 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29749/statm: 976363 885112 140 357 0 976003 0
Current children cumulated CPU time (s) 1478.32
Current children cumulated vsize (KiB) 6997704
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 29764
/proc/meminfo: memFree=19043988/32873648 swapFree=7376/7376
[pid=29740] ppid=29738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29740/stat : 29740 (npSolver-pbo-I.) S 29738 29740 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384069827 9367552 275 33554432000 4194304 5064252 140734543747728 140734543746640 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29740/statm: 2287 275 233 213 0 72 0
[pid=29741] ppid=29740 vsize=3083104 CPUtime=102.59 cores=0,2,4,6
/proc/29741/stat : 29741 (npSolver-pbo) S 29740 29740 28786 0 -1 4202496 172930 27360 0 0 2921 364 6611 363 20 0 1 0 384069827 3157098496 668984 33554432000 4194304 6004724 140737450267248 140737450253528 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 85 0 0
/proc/29741/statm: 770776 668984 167 442 0 770330 0
[pid=29749] ppid=29741 vsize=3906332 CPUtime=1435.73 cores=0,2,4,6
/proc/29749/stat : 29749 (glucosInc) R 29741 29740 28786 0 -1 4202496 657393 0 0 0 143345 228 0 0 20 0 1 0 384080460 4000083968 885333 33554432000 4194304 5654031 140735941611936 140735941609720 4214597 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29749/statm: 976583 885333 140 357 0 976223 0
Current children cumulated CPU time (s) 1538.32
Current children cumulated vsize (KiB) 6998584
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 29764
/proc/meminfo: memFree=19043228/32873648 swapFree=7376/7376
[pid=29740] ppid=29738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29740/stat : 29740 (npSolver-pbo-I.) S 29738 29740 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384069827 9367552 275 33554432000 4194304 5064252 140734543747728 140734543746640 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29740/statm: 2287 275 233 213 0 72 0
[pid=29741] ppid=29740 vsize=3083104 CPUtime=102.59 cores=0,2,4,6
/proc/29741/stat : 29741 (npSolver-pbo) S 29740 29740 28786 0 -1 4202496 172930 27360 0 0 2921 364 6611 363 20 0 1 0 384069827 3157098496 668984 33554432000 4194304 6004724 140737450267248 140737450253528 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 85 0 0
/proc/29741/statm: 770776 668984 167 442 0 770330 0
[pid=29749] ppid=29741 vsize=3906988 CPUtime=1495.71 cores=0,2,4,6
/proc/29749/stat : 29749 (glucosInc) R 29741 29740 28786 0 -1 4202496 668829 0 0 0 149339 232 0 0 20 0 1 0 384080460 4000755712 885484 33554432000 4194304 5654031 140735941611936 140735941609720 4232581 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29749/statm: 976747 885484 140 357 0 976387 0
Current children cumulated CPU time (s) 1598.3
Current children cumulated vsize (KiB) 6999240
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 29764
/proc/meminfo: memFree=19042808/32873648 swapFree=7376/7376
[pid=29740] ppid=29738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29740/stat : 29740 (npSolver-pbo-I.) S 29738 29740 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384069827 9367552 275 33554432000 4194304 5064252 140734543747728 140734543746640 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29740/statm: 2287 275 233 213 0 72 0
[pid=29741] ppid=29740 vsize=3083104 CPUtime=102.59 cores=0,2,4,6
/proc/29741/stat : 29741 (npSolver-pbo) S 29740 29740 28786 0 -1 4202496 172930 27360 0 0 2921 364 6611 363 20 0 1 0 384069827 3157098496 668984 33554432000 4194304 6004724 140737450267248 140737450253528 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 85 0 0
/proc/29741/statm: 770776 668984 167 442 0 770330 0
[pid=29749] ppid=29741 vsize=3907240 CPUtime=1555.71 cores=0,2,4,6
/proc/29749/stat : 29749 (glucosInc) R 29741 29740 28786 0 -1 4202496 680189 0 0 0 155334 237 0 0 20 0 1 0 384080460 4001013760 885577 33554432000 4194304 5654031 140735941611936 140735941599752 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29749/statm: 976810 885577 140 357 0 976450 0
Current children cumulated CPU time (s) 1658.3
Current children cumulated vsize (KiB) 6999492
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 29764
/proc/meminfo: memFree=19039876/32873648 swapFree=7376/7376
[pid=29740] ppid=29738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29740/stat : 29740 (npSolver-pbo-I.) S 29738 29740 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384069827 9367552 275 33554432000 4194304 5064252 140734543747728 140734543746640 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29740/statm: 2287 275 233 213 0 72 0
[pid=29741] ppid=29740 vsize=3083104 CPUtime=102.59 cores=0,2,4,6
/proc/29741/stat : 29741 (npSolver-pbo) S 29740 29740 28786 0 -1 4202496 172930 27360 0 0 2921 364 6611 363 20 0 1 0 384069827 3157098496 668984 33554432000 4194304 6004724 140737450267248 140737450253528 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 85 0 0
/proc/29741/statm: 770776 668984 167 442 0 770330 0
[pid=29749] ppid=29741 vsize=3907744 CPUtime=1615.7 cores=0,2,4,6
/proc/29749/stat : 29749 (glucosInc) R 29741 29740 28786 0 -1 4202496 687822 0 0 0 161329 241 0 0 20 0 1 0 384080460 4001529856 885703 33554432000 4194304 5654031 140735941611936 140735941609720 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29749/statm: 976936 885703 140 357 0 976576 0
Current children cumulated CPU time (s) 1718.29
Current children cumulated vsize (KiB) 6999996
[startup+1782.3 s]
/proc/loadavg: 1.51 1.88 1.96 2/173 29789
/proc/meminfo: memFree=23862744/32873648 swapFree=7376/7376
[pid=29740] ppid=29738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29740/stat : 29740 (npSolver-pbo-I.) S 29738 29740 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384069827 9367552 275 33554432000 4194304 5064252 140734543747728 140734543746640 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29740/statm: 2287 275 233 213 0 72 0
[pid=29741] ppid=29740 vsize=3083104 CPUtime=102.59 cores=0,2,4,6
/proc/29741/stat : 29741 (npSolver-pbo) S 29740 29740 28786 0 -1 4202496 172930 27360 0 0 2921 364 6611 363 20 0 1 0 384069827 3157098496 668984 33554432000 4194304 6004724 140737450267248 140737450253528 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 85 0 0
/proc/29741/statm: 770776 668984 167 442 0 770330 0
[pid=29749] ppid=29741 vsize=3908120 CPUtime=1675.69 cores=0,2,4,6
/proc/29749/stat : 29749 (glucosInc) R 29741 29740 28786 0 -1 4202496 699167 0 0 0 167324 245 0 0 20 0 1 0 384080460 4001914880 885788 33554432000 4194304 5654031 140735941611936 140735941610008 4214469 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29749/statm: 977030 885788 140 357 0 976670 0
Current children cumulated CPU time (s) 1778.28
Current children cumulated vsize (KiB) 7000372
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.1 s]
/proc/loadavg: 1.37 1.82 1.94 2/172 29789
/proc/meminfo: memFree=23863028/32873648 swapFree=7376/7376
[pid=29740] ppid=29738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29740/stat : 29740 (npSolver-pbo-I.) S 29738 29740 28786 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384069827 9367552 275 33554432000 4194304 5064252 140734543747728 140734543746640 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29740/statm: 2287 275 233 213 0 72 0
[pid=29741] ppid=29740 vsize=3083104 CPUtime=102.59 cores=0,2,4,6
/proc/29741/stat : 29741 (npSolver-pbo) S 29740 29740 28786 0 -1 4202496 172930 27360 0 0 2921 364 6611 363 20 0 1 0 384069827 3157098496 668984 33554432000 4194304 6004724 140737450267248 140737450253528 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 85 0 0
/proc/29741/statm: 770776 668984 167 442 0 770330 0
[pid=29749] ppid=29741 vsize=3908120 CPUtime=1697.5 cores=0,2,4,6
/proc/29749/stat : 29749 (glucosInc) R 29741 29740 28786 0 -1 4202496 702919 0 0 0 169504 246 0 0 20 0 1 0 384080460 4001914880 885788 33554432000 4194304 5654031 140735941611936 140735941599752 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29749/statm: 977030 885788 140 357 0 976670 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 7000372
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29740 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1804.12
CPU time (s): 1800.09
CPU user time (s): 1790.36
CPU system time (s): 9.73
CPU usage (%): 99.7769
Max. virtual memory (cumulated for all children) (KiB): 7062660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 3.77143 second user time and 10.2644 second system time
The end