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-3748869-1339124185/watcher-3748869-1339124185 -o /tmp/evaluation-result-3748869-1339124185/solver-3748869-1339124185 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748869-1339124185.opb 534400280 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.01 2.00 2/178 21242
/proc/meminfo: memFree=26977292/32873648 swapFree=7116/7116
[pid=21242] ppid=21240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21242/stat : 21242 (npSolver-pbo-I.) S 21240 21242 17422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378544001 9367552 275 33554432000 4194304 5064252 140734937362976 140734937361888 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21242/statm: 2287 275 233 213 0 72 0
[startup+0.0756431 s]
/proc/loadavg: 2.00 2.01 2.00 2/178 21242
/proc/meminfo: memFree=26977292/32873648 swapFree=7116/7116
[pid=21242] ppid=21240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21242/stat : 21242 (npSolver-pbo-I.) S 21240 21242 17422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378544001 9367552 275 33554432000 4194304 5064252 140734937362976 140734937361888 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21242/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100177 s]
/proc/loadavg: 2.00 2.01 2.00 2/178 21242
/proc/meminfo: memFree=26977292/32873648 swapFree=7116/7116
[pid=21242] ppid=21240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21242/stat : 21242 (npSolver-pbo-I.) S 21240 21242 17422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378544001 9367552 275 33554432000 4194304 5064252 140734937362976 140734937361888 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21242/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300135 s]
/proc/loadavg: 2.00 2.01 2.00 2/178 21242
/proc/meminfo: memFree=26977292/32873648 swapFree=7116/7116
[pid=21242] ppid=21240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21242/stat : 21242 (npSolver-pbo-I.) S 21240 21242 17422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378544001 9367552 275 33554432000 4194304 5064252 140734937362976 140734937361888 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21242/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700235 s]
/proc/loadavg: 2.00 2.01 2.00 2/178 21242
/proc/meminfo: memFree=26977292/32873648 swapFree=7116/7116
[pid=21242] ppid=21240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21242/stat : 21242 (npSolver-pbo-I.) S 21240 21242 17422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378544001 9367552 275 33554432000 4194304 5064252 140734937362976 140734937361888 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21242/statm: 2287 275 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.01 2.00 3/180 21244
/proc/meminfo: memFree=26875000/32873648 swapFree=7116/7116
[pid=21242] ppid=21240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21242/stat : 21242 (npSolver-pbo-I.) S 21240 21242 17422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378544001 9367552 275 33554432000 4194304 5064252 140734937362976 140734937361888 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21242/statm: 2287 275 233 213 0 72 0
[pid=21243] ppid=21242 vsize=185420 CPUtime=1.49 cores=0,2,4,6
/proc/21243/stat : 21243 (npSolver-pbo) R 21242 21242 17422 0 -1 4202496 11069 0 0 0 146 3 0 0 20 0 1 0 378544001 189870080 33132 33554432000 4194304 6004724 140735493170224 140735493164824 4536089 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 46355 33132 154 442 0 45909 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 194568
[startup+3.10024 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 21244
/proc/meminfo: memFree=26790536/32873648 swapFree=7116/7116
[pid=21242] ppid=21240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21242/stat : 21242 (npSolver-pbo-I.) S 21240 21242 17422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378544001 9367552 275 33554432000 4194304 5064252 140734937362976 140734937361888 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21242/statm: 2287 275 233 213 0 72 0
[pid=21243] ppid=21242 vsize=316492 CPUtime=3.09 cores=0,2,4,6
/proc/21243/stat : 21243 (npSolver-pbo) R 21242 21242 17422 0 -1 4202496 11702 0 0 0 302 7 0 0 20 0 1 0 378544001 324087808 62828 33554432000 4194304 6004724 140735493170224 140735493164824 4581442 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 79123 62828 154 442 0 78677 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 325640
[startup+6.30031 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 21244
/proc/meminfo: memFree=26530512/32873648 swapFree=7116/7116
[pid=21242] ppid=21240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21242/stat : 21242 (npSolver-pbo-I.) S 21240 21242 17422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378544001 9367552 275 33554432000 4194304 5064252 140734937362976 140734937361888 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21242/statm: 2287 275 233 213 0 72 0
[pid=21243] ppid=21242 vsize=578636 CPUtime=6.28 cores=0,2,4,6
/proc/21243/stat : 21243 (npSolver-pbo) R 21242 21242 17422 0 -1 4202496 12462 0 0 0 614 14 0 0 20 0 1 0 378544001 592523264 124780 33554432000 4194304 6004724 140735493170224 140735493164824 4582535 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 144659 124780 154 442 0 144213 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 587784
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 21244
/proc/meminfo: memFree=26002844/32873648 swapFree=7116/7116
[pid=21242] ppid=21240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21242/stat : 21242 (npSolver-pbo-I.) S 21240 21242 17422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378544001 9367552 275 33554432000 4194304 5064252 140734937362976 140734937361888 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21242/statm: 2287 275 233 213 0 72 0
[pid=21243] ppid=21242 vsize=1102924 CPUtime=12.68 cores=0,2,4,6
/proc/21243/stat : 21243 (npSolver-pbo) R 21242 21242 17422 0 -1 4202496 13471 0 0 0 1239 29 0 0 20 0 1 0 378544001 1129394176 248684 33554432000 4194304 6004724 140735493170224 140735493165272 4581223 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21243/statm: 275731 248684 154 442 0 275285 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1112072
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 21246
/proc/meminfo: memFree=23598164/32873648 swapFree=7116/7116
[pid=21242] ppid=21240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21242/stat : 21242 (npSolver-pbo-I.) S 21240 21242 17422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378544001 9367552 275 33554432000 4194304 5064252 140734937362976 140734937361888 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21242/statm: 2287 275 233 213 0 72 0
[pid=21243] ppid=21242 vsize=2124152 CPUtime=19.82 cores=0,2,4,6
/proc/21243/stat : 21243 (npSolver-pbo) S 21242 21242 17422 0 -1 4202496 15959 0 0 0 1743 239 0 0 20 0 1 0 378544001 2175131648 334016 33554432000 4194304 6004724 140735493170224 140735493164688 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/21243/statm: 531038 334016 163 442 0 530592 0
[pid=21245] ppid=21243 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21245/stat : 21245 (cp2_pre.sh) S 21243 21242 17422 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 378545988 9367552 277 33554432000 4194304 5064252 140737122539632 140737122538336 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21245/statm: 2287 277 234 213 0 72 0
[pid=21246] ppid=21245 vsize=625072 CPUtime=5.61 cores=0,2,4,6
/proc/21246/stat : 21246 (coprocessor) R 21245 21242 17422 0 -1 4202496 18046 0 0 0 538 23 0 0 20 0 1 0 378545988 640073728 154321 33554432000 4194304 6586260 140736787820592 140736787817352 5732400 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/21246/statm: 156268 154321 137 584 0 155680 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 2767520
[startup+51.1003 s]
/proc/loadavg: 2.34 2.08 2.02 3/182 21247
/proc/meminfo: memFree=21646136/32873648 swapFree=7116/7116
[pid=21242] ppid=21240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21242/stat : 21242 (npSolver-pbo-I.) S 21240 21242 17422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378544001 9367552 275 33554432000 4194304 5064252 140734937362976 140734937361888 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21242/statm: 2287 275 233 213 0 72 0
[pid=21243] ppid=21242 vsize=2124152 CPUtime=19.82 cores=0,2,4,6
/proc/21243/stat : 21243 (npSolver-pbo) S 21242 21242 17422 0 -1 4202496 15959 0 0 0 1743 239 0 0 20 0 1 0 378544001 2175131648 334016 33554432000 4194304 6004724 140735493170224 140735493164688 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 3 0 0
/proc/21243/statm: 531038 334016 163 442 0 530592 0
[pid=21245] ppid=21243 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21245/stat : 21245 (cp2_pre.sh) S 21243 21242 17422 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 378545988 9367552 277 33554432000 4194304 5064252 140737122539632 140737122538336 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21245/statm: 2287 277 234 213 0 72 0
[pid=21246] ppid=21245 vsize=2672796 CPUtime=30.37 cores=0,2,4,6
/proc/21246/stat : 21246 (coprocessor) R 21245 21242 17422 0 -1 4202496 26190 0 0 0 2890 147 0 0 20 0 1 0 378545988 2736943104 566698 33554432000 4194304 6586260 140736787820592 140736787816344 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 84 0 0
/proc/21246/statm: 668199 566698 158 584 0 667611 0
Current children cumulated CPU time (s) 50.19
Current children cumulated vsize (KiB) 4815244
[startup+102.307 s]
/proc/loadavg: 2.51 2.19 2.06 3/181 21249
/proc/meminfo: memFree=21460132/32873648 swapFree=7116/7116
[pid=21242] ppid=21240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21242/stat : 21242 (npSolver-pbo-I.) S 21240 21242 17422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378544001 9367552 275 33554432000 4194304 5064252 140734937362976 140734937361888 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21242/statm: 2287 275 233 213 0 72 0
[pid=21243] ppid=21242 vsize=2124152 CPUtime=83.89 cores=0,2,4,6
/proc/21243/stat : 21243 (npSolver-pbo) S 21242 21242 17422 0 -1 4202496 15977 27092 0 0 1743 239 6063 344 20 0 1 0 378544001 2175131648 334021 33554432000 4194304 6004724 140735493170224 140735493156504 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 3 0 0
/proc/21243/statm: 531038 334021 167 442 0 530592 0
[pid=21249] ppid=21243 vsize=3005228 CPUtime=16.47 cores=0,2,4,6
/proc/21249/stat : 21249 (glucosInc) R 21243 21242 17422 0 -1 4202496 326046 0 0 0 1545 102 0 0 20 0 1 0 378552582 3077353472 702696 33554432000 4194304 5654031 140734630413360 140734630401176 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21249/statm: 751307 702696 140 357 0 750947 0
Current children cumulated CPU time (s) 100.36
Current children cumulated vsize (KiB) 5138528
[startup+162.3 s]
/proc/loadavg: 2.20 2.15 2.06 3/181 21249
/proc/meminfo: memFree=21450340/32873648 swapFree=7116/7116
[pid=21242] ppid=21240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21242/stat : 21242 (npSolver-pbo-I.) S 21240 21242 17422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378544001 9367552 275 33554432000 4194304 5064252 140734937362976 140734937361888 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21242/statm: 2287 275 233 213 0 72 0
[pid=21243] ppid=21242 vsize=2124152 CPUtime=83.89 cores=0,2,4,6
/proc/21243/stat : 21243 (npSolver-pbo) S 21242 21242 17422 0 -1 4202496 15977 27092 0 0 1743 239 6063 344 20 0 1 0 378544001 2175131648 334021 33554432000 4194304 6004724 140735493170224 140735493156504 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 3 0 0
/proc/21243/statm: 531038 334021 167 442 0 530592 0
[pid=21249] ppid=21243 vsize=3070960 CPUtime=76.46 cores=0,2,4,6
/proc/21249/stat : 21249 (glucosInc) R 21243 21242 17422 0 -1 4202496 331068 0 0 0 7541 105 0 0 20 0 1 0 378552582 3144663040 715894 33554432000 4194304 5654031 140734630413360 140734630401176 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21249/statm: 767740 715894 141 357 0 767380 0
Current children cumulated CPU time (s) 160.35
Current children cumulated vsize (KiB) 5204260
[startup+222.3 s]
/proc/loadavg: 2.07 2.12 2.05 3/182 21252
/proc/meminfo: memFree=21447528/32873648 swapFree=7116/7116
[pid=21242] ppid=21240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21242/stat : 21242 (npSolver-pbo-I.) S 21240 21242 17422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378544001 9367552 275 33554432000 4194304 5064252 140734937362976 140734937361888 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21242/statm: 2287 275 233 213 0 72 0
[pid=21243] ppid=21242 vsize=2124152 CPUtime=83.89 cores=0,2,4,6
/proc/21243/stat : 21243 (npSolver-pbo) S 21242 21242 17422 0 -1 4202496 15977 27092 0 0 1743 239 6063 344 20 0 1 0 378544001 2175131648 334021 33554432000 4194304 6004724 140735493170224 140735493156504 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 3 0 0
/proc/21243/statm: 531038 334021 167 442 0 530592 0
[pid=21249] ppid=21243 vsize=3070960 CPUtime=136.45 cores=0,2,4,6
/proc/21249/stat : 21249 (glucosInc) R 21243 21242 17422 0 -1 4202496 331073 0 0 0 13540 105 0 0 20 0 1 0 378552582 3144663040 718454 33554432000 4194304 5654031 140734630413360 140734630401176 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21249/statm: 767740 718454 141 357 0 767380 0
Current children cumulated CPU time (s) 220.34
Current children cumulated vsize (KiB) 5204260
[startup+282.3 s]
/proc/loadavg: 2.02 2.10 2.05 3/182 21275
/proc/meminfo: memFree=21360204/32873648 swapFree=7116/7116
[pid=21242] ppid=21240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21242/stat : 21242 (npSolver-pbo-I.) S 21240 21242 17422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378544001 9367552 275 33554432000 4194304 5064252 140734937362976 140734937361888 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21242/statm: 2287 275 233 213 0 72 0
[pid=21243] ppid=21242 vsize=2124152 CPUtime=83.89 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=21450548/32873648 swapFree=7116/7116
[pid=21242] ppid=21240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21242/stat : 21242 (npSolver-pbo-I.) S 21240 21242 17422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378544001 9367552 275 33554432000 4194304 5064252 140734937362976 140734937361888 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21242/statm: 2287 275 233 213 0 72 0
[pid=21243] ppid=21242 vsize=2124152 CPUtime=83.89 cores=0,2,4,6
/proc/21243/stat : 21243 (npSolver-pbo) S 21242 21242 17422 0 -1 4202496 15977 27092 0 0 1743 239 6063 344 20 0 1 0 378544001 2175131648 334021 33554432000 4194304 6004724 140735493170224 140735493156504 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 3 0 0
/proc/21243/statm: 531038 334021 167 442 0 530592 0
[pid=21249] ppid=21243 vsize=3681620 CPUtime=1276.26 cores=0,2,4,6
/proc/21249/stat : 21249 (glucosInc) R 21243 21242 17422 0 -1 4202496 332458 0 0 0 127519 107 0 0 20 0 1 0 378552582 3769978880 738223 33554432000 4194304 5654031 140734630413360 140734630401176 4214616 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21249/statm: 920405 738223 141 357 0 920045 0
Current children cumulated CPU time (s) 1360.15
Current children cumulated vsize (KiB) 5814920
[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/182 21577
/proc/meminfo: memFree=21449688/32873648 swapFree=7116/7116
[pid=21242] ppid=21240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21242/stat : 21242 (npSolver-pbo-I.) S 21240 21242 17422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378544001 9367552 275 33554432000 4194304 5064252 140734937362976 140734937361888 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21242/statm: 2287 275 233 213 0 72 0
[pid=21243] ppid=21242 vsize=2124152 CPUtime=83.89 cores=0,2,4,6
/proc/21243/stat : 21243 (npSolver-pbo) S 21242 21242 17422 0 -1 4202496 15977 27092 0 0 1743 239 6063 344 20 0 1 0 378544001 2175131648 334021 33554432000 4194304 6004724 140735493170224 140735493156504 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 3 0 0
/proc/21243/statm: 531038 334021 167 442 0 530592 0
[pid=21249] ppid=21243 vsize=3681620 CPUtime=1336.26 cores=0,2,4,6
/proc/21249/stat : 21249 (glucosInc) R 21243 21242 17422 0 -1 4202496 332473 0 0 0 133519 107 0 0 20 0 1 0 378552582 3769978880 738262 33554432000 4194304 5654031 140734630413360 140734630401176 4214475 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21249/statm: 920405 738262 141 357 0 920045 0
Current children cumulated CPU time (s) 1420.15
Current children cumulated vsize (KiB) 5814920
[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 21577
/proc/meminfo: memFree=21435416/32873648 swapFree=7116/7116
[pid=21242] ppid=21240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21242/stat : 21242 (npSolver-pbo-I.) S 21240 21242 17422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378544001 9367552 275 33554432000 4194304 5064252 140734937362976 140734937361888 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21242/statm: 2287 275 233 213 0 72 0
[pid=21243] ppid=21242 vsize=2124152 CPUtime=83.89 cores=0,2,4,6
/proc/21243/stat : 21243 (npSolver-pbo) S 21242 21242 17422 0 -1 4202496 15977 27092 0 0 1743 239 6063 344 20 0 1 0 378544001 2175131648 334021 33554432000 4194304 6004724 140735493170224 140735493156504 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 3 0 0
/proc/21243/statm: 531038 334021 167 442 0 530592 0
[pid=21249] ppid=21243 vsize=3681620 CPUtime=1396.25 cores=0,2,4,6
/proc/21249/stat : 21249 (glucosInc) R 21243 21242 17422 0 -1 4202496 332483 0 0 0 139517 108 0 0 20 0 1 0 378552582 3769978880 739305 33554432000 4194304 5654031 140734630413360 140734630401176 4232607 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21249/statm: 920405 739305 141 357 0 920045 0
Current children cumulated CPU time (s) 1480.14
Current children cumulated vsize (KiB) 5814920
[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 21577
/proc/meminfo: memFree=21429176/32873648 swapFree=7116/7116
[pid=21242] ppid=21240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21242/stat : 21242 (npSolver-pbo-I.) S 21240 21242 17422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378544001 9367552 275 33554432000 4194304 5064252 140734937362976 140734937361888 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21242/statm: 2287 275 233 213 0 72 0
[pid=21243] ppid=21242 vsize=2124152 CPUtime=83.89 cores=0,2,4,6
/proc/21243/stat : 21243 (npSolver-pbo) S 21242 21242 17422 0 -1 4202496 15977 27092 0 0 1743 239 6063 344 20 0 1 0 378544001 2175131648 334021 33554432000 4194304 6004724 140735493170224 140735493156504 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 3 0 0
/proc/21243/statm: 531038 334021 167 442 0 530592 0
[pid=21249] ppid=21243 vsize=3700636 CPUtime=1456.24 cores=0,2,4,6
/proc/21249/stat : 21249 (glucosInc) R 21243 21242 17422 0 -1 4202496 332488 0 0 0 145516 108 0 0 20 0 1 0 378552582 3789451264 739334 33554432000 4194304 5654031 140734630413360 140734630401176 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21249/statm: 925159 739334 141 357 0 924799 0
Current children cumulated CPU time (s) 1540.13
Current children cumulated vsize (KiB) 5833936
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 21578
/proc/meminfo: memFree=21424860/32873648 swapFree=7116/7116
[pid=21242] ppid=21240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21242/stat : 21242 (npSolver-pbo-I.) S 21240 21242 17422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378544001 9367552 275 33554432000 4194304 5064252 140734937362976 140734937361888 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21242/statm: 2287 275 233 213 0 72 0
[pid=21243] ppid=21242 vsize=2124152 CPUtime=83.89 cores=0,2,4,6
/proc/21243/stat : 21243 (npSolver-pbo) S 21242 21242 17422 0 -1 4202496 15977 27092 0 0 1743 239 6063 344 20 0 1 0 378544001 2175131648 334021 33554432000 4194304 6004724 140735493170224 140735493156504 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 3 0 0
/proc/21243/statm: 531038 334021 167 442 0 530592 0
[pid=21249] ppid=21243 vsize=3700636 CPUtime=1516.22 cores=0,2,4,6
/proc/21249/stat : 21249 (glucosInc) R 21243 21242 17422 0 -1 4202496 332507 0 0 0 151514 108 0 0 20 0 1 0 378552582 3789451264 739864 33554432000 4194304 5654031 140734630413360 140734630401176 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21249/statm: 925159 739864 141 357 0 924799 0
Current children cumulated CPU time (s) 1600.11
Current children cumulated vsize (KiB) 5833936
[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 21578
/proc/meminfo: memFree=21417632/32873648 swapFree=7116/7116
[pid=21242] ppid=21240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21242/stat : 21242 (npSolver-pbo-I.) S 21240 21242 17422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378544001 9367552 275 33554432000 4194304 5064252 140734937362976 140734937361888 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21242/statm: 2287 275 233 213 0 72 0
[pid=21243] ppid=21242 vsize=2124152 CPUtime=83.89 cores=0,2,4,6
/proc/21243/stat : 21243 (npSolver-pbo) S 21242 21242 17422 0 -1 4202496 15977 27092 0 0 1743 239 6063 344 20 0 1 0 378544001 2175131648 334021 33554432000 4194304 6004724 140735493170224 140735493156504 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 3 0 0
/proc/21243/statm: 531038 334021 167 442 0 530592 0
[pid=21249] ppid=21243 vsize=3700636 CPUtime=1576.21 cores=0,2,4,6
/proc/21249/stat : 21249 (glucosInc) R 21243 21242 17422 0 -1 4202496 332745 0 0 0 157513 108 0 0 20 0 1 0 378552582 3789451264 741139 33554432000 4194304 5654031 140734630413360 140734630401176 4214483 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21249/statm: 925159 741139 141 357 0 924799 0
Current children cumulated CPU time (s) 1660.1
Current children cumulated vsize (KiB) 5833936
[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 21578
/proc/meminfo: memFree=21417660/32873648 swapFree=7116/7116
[pid=21242] ppid=21240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21242/stat : 21242 (npSolver-pbo-I.) S 21240 21242 17422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378544001 9367552 275 33554432000 4194304 5064252 140734937362976 140734937361888 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21242/statm: 2287 275 233 213 0 72 0
[pid=21243] ppid=21242 vsize=2124152 CPUtime=83.89 cores=0,2,4,6
/proc/21243/stat : 21243 (npSolver-pbo) S 21242 21242 17422 0 -1 4202496 15977 27092 0 0 1743 239 6063 344 20 0 1 0 378544001 2175131648 334021 33554432000 4194304 6004724 140735493170224 140735493156504 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 3 0 0
/proc/21243/statm: 531038 334021 167 442 0 530592 0
[pid=21249] ppid=21243 vsize=3700636 CPUtime=1636.2 cores=0,2,4,6
/proc/21249/stat : 21249 (glucosInc) R 21243 21242 17422 0 -1 4202496 332746 0 0 0 163512 108 0 0 20 0 1 0 378552582 3789451264 741158 33554432000 4194304 5654031 140734630413360 140734630401176 4232968 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21249/statm: 925159 741158 141 357 0 924799 0
Current children cumulated CPU time (s) 1720.09
Current children cumulated vsize (KiB) 5833936
[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 21578
/proc/meminfo: memFree=21408816/32873648 swapFree=7116/7116
[pid=21242] ppid=21240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21242/stat : 21242 (npSolver-pbo-I.) S 21240 21242 17422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378544001 9367552 275 33554432000 4194304 5064252 140734937362976 140734937361888 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21242/statm: 2287 275 233 213 0 72 0
[pid=21243] ppid=21242 vsize=2124152 CPUtime=83.89 cores=0,2,4,6
/proc/21243/stat : 21243 (npSolver-pbo) S 21242 21242 17422 0 -1 4202496 15977 27092 0 0 1743 239 6063 344 20 0 1 0 378544001 2175131648 334021 33554432000 4194304 6004724 140735493170224 140735493156504 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 3 0 0
/proc/21243/statm: 531038 334021 167 442 0 530592 0
[pid=21249] ppid=21243 vsize=3700636 CPUtime=1696.19 cores=0,2,4,6
/proc/21249/stat : 21249 (glucosInc) R 21243 21242 17422 0 -1 4202496 333054 0 0 0 169511 108 0 0 20 0 1 0 378552582 3789451264 743088 33554432000 4194304 5654031 140734630413360 140734630401176 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21249/statm: 925159 743088 141 357 0 924799 0
Current children cumulated CPU time (s) 1780.08
Current children cumulated vsize (KiB) 5833936
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 21578
/proc/meminfo: memFree=21395752/32873648 swapFree=7116/7116
[pid=21242] ppid=21240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21242/stat : 21242 (npSolver-pbo-I.) S 21240 21242 17422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378544001 9367552 275 33554432000 4194304 5064252 140734937362976 140734937361888 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21242/statm: 2287 275 233 213 0 72 0
[pid=21243] ppid=21242 vsize=2124152 CPUtime=83.89 cores=0,2,4,6
/proc/21243/stat : 21243 (npSolver-pbo) S 21242 21242 17422 0 -1 4202496 15977 27092 0 0 1743 239 6063 344 20 0 1 0 378544001 2175131648 334021 33554432000 4194304 6004724 140735493170224 140735493156504 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 3 0 0
/proc/21243/statm: 531038 334021 167 442 0 530592 0
[pid=21249] ppid=21243 vsize=3700636 CPUtime=1716.19 cores=0,2,4,6
/proc/21249/stat : 21249 (glucosInc) R 21243 21242 17422 0 -1 4202496 333054 0 0 0 171511 108 0 0 20 0 1 0 378552582 3789451264 743134 33554432000 4194304 5654031 140734630413360 140734630401176 4214616 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21249/statm: 925159 743134 141 357 0 924799 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 5833936
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1802.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 21578
/proc/meminfo: memFree=21395752/32873648 swapFree=7116/7116
[pid=21242] ppid=21240 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21242/stat : 21242 (npSolver-pbo-I.) S 21240 21242 17422 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378544001 9367552 275 33554432000 4194304 5064252 140734937362976 140734937361888 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21242/statm: 2287 275 233 213 0 72 0
[pid=21243] ppid=21242 vsize=2124152 CPUtime=83.89 cores=0,2,4,6
/proc/21243/stat : 21243 (npSolver-pbo) S 21242 21242 17422 0 -1 4202496 15977 27092 0 0 1743 239 6063 344 20 0 1 0 378544001 2175131648 334021 33554432000 4194304 6004724 140735493170224 140735493156504 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 3 0 0
/proc/21243/statm: 531038 334021 167 442 0 530592 0
[pid=21249] ppid=21243 vsize=3700636 CPUtime=1716.19 cores=0,2,4,6
/proc/21249/stat : 21249 (glucosInc) R 21243 21242 17422 0 -1 4202496 333054 0 0 0 171511 108 0 0 20 0 1 0 378552582 3789451264 743134 33554432000 4194304 5654031 140734630413360 140734630401176 4214616 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21249/statm: 925159 743134 141 357 0 924799 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 5833936
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21242 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.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1802.32
CPU time (s): 1800.08
CPU user time (s): 1793.17
CPU system time (s): 6.91
CPU usage (%): 99.8759
Max. virtual memory (cumulated for all children) (KiB): 5833936
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 4.25235 second user time and 10.1815 second system time
The end