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-3746455-1339104949/watcher-3746455-1339104949 -o /tmp/evaluation-result-3746455-1339104949/solver-3746455-1339104949 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746455-1339104949.opb 1005980055 HOME HOME
running on 4 cores: 1,3,5,7
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.49 3.14 2.59 3/178 28123
/proc/meminfo: memFree=28851208/32873648 swapFree=7112/7112
[pid=28123] ppid=28121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28123/stat : 28123 (npSolver-pbo-It) S 28121 28123 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376620793 9367552 274 33554432000 4194304 5064252 140736968323984 140736968322896 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28123/statm: 2287 274 233 213 0 72 0
[startup+0.0985591 s]
/proc/loadavg: 2.49 3.14 2.59 3/178 28123
/proc/meminfo: memFree=28851208/32873648 swapFree=7112/7112
[pid=28123] ppid=28121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28123/stat : 28123 (npSolver-pbo-It) S 28121 28123 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376620793 9367552 274 33554432000 4194304 5064252 140736968323984 140736968322896 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28123/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100221 s]
/proc/loadavg: 2.49 3.14 2.59 3/178 28123
/proc/meminfo: memFree=28851208/32873648 swapFree=7112/7112
[pid=28123] ppid=28121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28123/stat : 28123 (npSolver-pbo-It) S 28121 28123 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376620793 9367552 274 33554432000 4194304 5064252 140736968323984 140736968322896 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28123/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300233 s]
/proc/loadavg: 2.49 3.14 2.59 3/178 28123
/proc/meminfo: memFree=28851208/32873648 swapFree=7112/7112
[pid=28123] ppid=28121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28123/stat : 28123 (npSolver-pbo-It) S 28121 28123 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376620793 9367552 274 33554432000 4194304 5064252 140736968323984 140736968322896 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28123/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700247 s]
/proc/loadavg: 2.49 3.14 2.59 3/178 28123
/proc/meminfo: memFree=28851208/32873648 swapFree=7112/7112
[pid=28123] ppid=28121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28123/stat : 28123 (npSolver-pbo-It) S 28121 28123 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376620793 9367552 274 33554432000 4194304 5064252 140736968323984 140736968322896 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28123/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.45 3.13 2.58 3/180 28125
/proc/meminfo: memFree=28695044/32873648 swapFree=7112/7112
[pid=28123] ppid=28121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28123/stat : 28123 (npSolver-pbo-It) S 28121 28123 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376620793 9367552 274 33554432000 4194304 5064252 140736968323984 140736968322896 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28123/statm: 2287 274 233 213 0 72 0
[pid=28124] ppid=28123 vsize=217252 CPUtime=1.48 cores=1,3,5,7
/proc/28124/stat : 28124 (npSolver-pbo) R 28123 28123 25783 0 -1 4202496 12244 0 0 0 143 5 0 0 20 0 1 0 376620793 222466048 40021 33554432000 4194304 6004724 140734163676256 140734163670536 4779829 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28124/statm: 54313 40021 154 442 0 53867 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 226400
[startup+3.10028 s]
/proc/loadavg: 2.45 3.13 2.58 3/182 28127
/proc/meminfo: memFree=28556312/32873648 swapFree=7112/7112
[pid=28123] ppid=28121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28123/stat : 28123 (npSolver-pbo-It) S 28121 28123 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376620793 9367552 274 33554432000 4194304 5064252 140736968323984 140736968322896 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28123/statm: 2287 274 233 213 0 72 0
[pid=28124] ppid=28123 vsize=180956 CPUtime=1.97 cores=1,3,5,7
/proc/28124/stat : 28124 (npSolver-pbo) S 28123 28123 25783 0 -1 4202496 12445 0 0 0 176 21 0 0 20 0 1 0 376620793 185298944 36620 33554432000 4194304 6004724 140734163676256 140734163670720 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/28124/statm: 45239 36620 163 442 0 44793 0
[pid=28126] ppid=28124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28126/stat : 28126 (cp2_pre.sh) S 28124 28123 25783 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 376620991 9367552 277 33554432000 4194304 5064252 140737257247520 140737257246224 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28126/statm: 2287 277 234 213 0 72 0
[pid=28127] ppid=28126 vsize=134128 CPUtime=1.1 cores=1,3,5,7
/proc/28127/stat : 28127 (coprocessor) R 28126 28123 25783 0 -1 4202496 10855 0 0 0 105 5 0 0 20 0 1 0 376620992 137347072 31893 33554432000 4194304 6586260 140737350582352 140737350579112 5732400 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/28127/statm: 33532 31893 137 584 0 32944 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 333380
[startup+6.30038 s]
/proc/loadavg: 2.42 3.11 2.58 3/182 28127
/proc/meminfo: memFree=28096500/32873648 swapFree=7112/7112
[pid=28123] ppid=28121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28123/stat : 28123 (npSolver-pbo-It) S 28121 28123 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376620793 9367552 274 33554432000 4194304 5064252 140736968323984 140736968322896 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28123/statm: 2287 274 233 213 0 72 0
[pid=28124] ppid=28123 vsize=180956 CPUtime=1.97 cores=1,3,5,7
/proc/28124/stat : 28124 (npSolver-pbo) S 28123 28123 25783 0 -1 4202496 12445 0 0 0 176 21 0 0 20 0 1 0 376620793 185298944 36620 33554432000 4194304 6004724 140734163676256 140734163670720 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/28124/statm: 45239 36620 163 442 0 44793 0
[pid=28126] ppid=28124 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28126/stat : 28126 (cp2_pre.sh) S 28124 28123 25783 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 376620991 9367552 277 33554432000 4194304 5064252 140737257247520 140737257246224 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28126/statm: 2287 277 234 213 0 72 0
[pid=28127] ppid=28126 vsize=489172 CPUtime=4.29 cores=1,3,5,7
/proc/28127/stat : 28127 (coprocessor) R 28126 28123 25783 0 -1 4202496 58385 0 0 0 413 16 0 0 20 0 1 0 376620992 500912128 119281 33554432000 4194304 6586260 140737350582352 140737350578280 4753883 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/28127/statm: 122293 119281 179 584 0 121705 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 688424
[startup+12.7003 s]
/proc/loadavg: 2.38 3.09 2.58 3/181 28129
/proc/meminfo: memFree=28516296/32873648 swapFree=7112/7112
[pid=28123] ppid=28121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28123/stat : 28123 (npSolver-pbo-It) S 28121 28123 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376620793 9367552 274 33554432000 4194304 5064252 140736968323984 140736968322896 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28123/statm: 2287 274 233 213 0 72 0
[pid=28124] ppid=28123 vsize=180956 CPUtime=9.16 cores=1,3,5,7
/proc/28124/stat : 28124 (npSolver-pbo) S 28123 28123 25783 0 -1 4202496 12463 61392 0 0 176 21 660 59 20 0 1 0 376620793 185298944 36624 33554432000 4194304 6004724 140734163676256 140734163662536 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/28124/statm: 45239 36624 167 442 0 44793 0
[pid=28129] ppid=28124 vsize=169716 CPUtime=3.48 cores=1,3,5,7
/proc/28129/stat : 28129 (glucosInc) R 28124 28123 25783 0 -1 4202496 27219 0 0 0 343 5 0 0 20 0 1 0 376621714 173789184 33250 33554432000 4194304 5654031 140735106033392 140735106021208 4214616 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28129/statm: 42429 33250 140 357 0 42069 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 359820
[startup+25.5002 s]
/proc/loadavg: 2.30 3.03 2.57 3/181 28129
/proc/meminfo: memFree=28509776/32873648 swapFree=7112/7112
[pid=28123] ppid=28121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28123/stat : 28123 (npSolver-pbo-It) S 28121 28123 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376620793 9367552 274 33554432000 4194304 5064252 140736968323984 140736968322896 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28123/statm: 2287 274 233 213 0 72 0
[pid=28124] ppid=28123 vsize=180956 CPUtime=9.16 cores=1,3,5,7
/proc/28124/stat : 28124 (npSolver-pbo) S 28123 28123 25783 0 -1 4202496 12463 61392 0 0 176 21 660 59 20 0 1 0 376620793 185298944 36624 33554432000 4194304 6004724 140734163676256 140734163662536 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/28124/statm: 45239 36624 167 442 0 44793 0
[pid=28129] ppid=28124 vsize=169716 CPUtime=16.29 cores=1,3,5,7
/proc/28129/stat : 28129 (glucosInc) R 28124 28123 25783 0 -1 4202496 27833 0 0 0 1623 6 0 0 20 0 1 0 376621714 173789184 33434 33554432000 4194304 5654031 140735106033392 140735106021208 4232495 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28129/statm: 42429 33434 141 357 0 42069 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 359820
[startup+51.1004 s]
/proc/loadavg: 2.20 2.95 2.55 3/181 28130
/proc/meminfo: memFree=28497064/32873648 swapFree=7112/7112
[pid=28123] ppid=28121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28123/stat : 28123 (npSolver-pbo-It) S 28121 28123 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376620793 9367552 274 33554432000 4194304 5064252 140736968323984 140736968322896 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28123/statm: 2287 274 233 213 0 72 0
[pid=28124] ppid=28123 vsize=180956 CPUtime=9.16 cores=1,3,5,7
/proc/28124/stat : 28124 (npSolver-pbo) S 28123 28123 25783 0 -1 4202496 12463 61392 0 0 176 21 660 59 20 0 1 0 376620793 185298944 36624 33554432000 4194304 6004724 140734163676256 140734163662536 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/28124/statm: 45239 36624 167 442 0 44793 0
[pid=28129] ppid=28124 vsize=201784 CPUtime=41.87 cores=1,3,5,7
/proc/28129/stat : 28129 (glucosInc) R 28124 28123 25783 0 -1 4202496 28608 0 0 0 4180 7 0 0 20 0 1 0 376621714 206626816 39465 33554432000 4194304 5654031 140735106033392 140735106021208 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28129/statm: 50446 39465 141 357 0 50086 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 391888
[startup+102.3 s]
/proc/loadavg: 2.08 2.80 2.52 3/181 28130
/proc/meminfo: memFree=28464664/32873648 swapFree=7112/7112
[pid=28123] ppid=28121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28123/stat : 28123 (npSolver-pbo-It) S 28121 28123 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376620793 9367552 274 33554432000 4194304 5064252 140736968323984 140736968322896 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28123/statm: 2287 274 233 213 0 72 0
[pid=28124] ppid=28123 vsize=180956 CPUtime=9.16 cores=1,3,5,7
/proc/28124/stat : 28124 (npSolver-pbo) S 28123 28123 25783 0 -1 4202496 12463 61392 0 0 176 21 660 59 20 0 1 0 376620793 185298944 36624 33554432000 4194304 6004724 140734163676256 140734163662536 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/28124/statm: 45239 36624 167 442 0 44793 0
[pid=28129] ppid=28124 vsize=220552 CPUtime=93.06 cores=1,3,5,7
/proc/28129/stat : 28129 (glucosInc) R 28124 28123 25783 0 -1 4202496 29972 0 0 0 9298 8 0 0 20 0 1 0 376621714 225845248 46654 33554432000 4194304 5654031 140735106033392 140735106021208 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28129/statm: 55138 46654 141 357 0 54778 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 410656
[startup+162.3 s]
/proc/loadavg: 2.03 2.65 2.49 3/181 28130
/proc/meminfo: memFree=28477016/32873648 swapFree=7112/7112
[pid=28123] ppid=28121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28123/stat : 28123 (npSolver-pbo-It) S 28121 28123 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376620793 9367552 274 33554432000 4194304 5064252 140736968323984 140736968322896 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28123/statm: 2287 274 233 213 0 72 0
[pid=28124] ppid=28123 vsize=180956 CPUtime=9.16 cores=1,3,5,7
/proc/28124/stat : 28124 (npSolver-pbo) S 28123 28123 25783 0 -1 4202496 12463 61392 0 0 176 21 660 59 20 0 1 0 376620793 185298944 36624 33554432000 4194304 6004724 140734163676256 140734163662536 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/28124/statm: 45239 36624 167 442 0 44793 0
[pid=28129] ppid=28124 vsize=220556 CPUtime=153.06 cores=1,3,5,7
/proc/28129/stat : 28129 (glucosInc) R 28124 28123 25783 0 -1 4202496 30626 0 0 0 15296 10 0 0 20 0 1 0 376621714 225849344 41022 33554432000 4194304 5654031 140735106033392 140735106021208 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28129/statm: 55139 41022 141 357 0 54779 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 410660
[startup+222.3 s]
/proc/loadavg: 2.04 2.55 2.46 3/181 28130
/proc/meminfo: memFree=28502176/32873648 swapFree=7112/7112
[pid=28123] ppid=28121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28123/stat : 28123 (npSolver-pbo-It) S 28121 28123 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376620793 9367552 274 33554432000 4194304 5064252 140736968323984 140736968322896 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28123/statm: 2287 274 233 213 0 72 0
[pid=28124] ppid=28123 vsize=180956 CPUtime=9.16 cores=1,3,5,7
/proc/28124/stat : 28124 (npSolver-pbo) S 28123 28123 25783 0 -1 4202496 12463 61392 0 0 176 21 660 59 20 0 1 0 376620793 185298944 36624 33554432000 4194304 6004724 140734163676256 140734163662536 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/28124/statm: 45239 36624 167 442 0 44793 0
[pid=28129] ppid=28124 vsize=220556 CPUtime=213.03 cores=1,3,5,7
/proc/28129/stat : 28129 (glucosInc) R 28124 28123 25783 0 -1 4202496 30921 0 0 0 21293 10 0 0 20 0 1 0 376621714 225849344 45897 33554432000 4194304 5654031 140735106033392 140735106021208 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28129/statm: 55139 45897 141 357 0 54779 0
Current children cumulated CPU time (s) 222.19
################
# More data... #
################
/proc/loadavg: 2.01 2.04 2.17 3/181 28195
/proc/meminfo: memFree=16288196/32873648 swapFree=7112/7112
[pid=28123] ppid=28121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28123/stat : 28123 (npSolver-pbo-It) S 28121 28123 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376620793 9367552 274 33554432000 4194304 5064252 140736968323984 140736968322896 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28123/statm: 2287 274 233 213 0 72 0
[pid=28124] ppid=28123 vsize=180956 CPUtime=9.16 cores=1,3,5,7
/proc/28124/stat : 28124 (npSolver-pbo) S 28123 28123 25783 0 -1 4202496 12463 61392 0 0 176 21 660 59 20 0 1 0 376620793 185298944 36624 33554432000 4194304 6004724 140734163676256 140734163662536 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/28124/statm: 45239 36624 167 442 0 44793 0
[pid=28129] ppid=28124 vsize=269876 CPUtime=1352.84 cores=1,3,5,7
/proc/28129/stat : 28129 (glucosInc) R 28124 28123 25783 0 -1 4202496 35511 0 0 0 135265 19 0 0 20 0 1 0 376621714 276353024 59301 33554432000 4194304 5654031 140735106033392 140735106021208 4232659 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28129/statm: 67469 59301 141 357 0 67109 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 459980
[startup+1422.3 s]
/proc/loadavg: 2.00 2.03 2.16 3/181 28195
/proc/meminfo: memFree=16284252/32873648 swapFree=7112/7112
[pid=28123] ppid=28121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28123/stat : 28123 (npSolver-pbo-It) S 28121 28123 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376620793 9367552 274 33554432000 4194304 5064252 140736968323984 140736968322896 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28123/statm: 2287 274 233 213 0 72 0
[pid=28124] ppid=28123 vsize=180956 CPUtime=9.16 cores=1,3,5,7
/proc/28124/stat : 28124 (npSolver-pbo) S 28123 28123 25783 0 -1 4202496 12463 61392 0 0 176 21 660 59 20 0 1 0 376620793 185298944 36624 33554432000 4194304 6004724 140734163676256 140734163662536 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/28124/statm: 45239 36624 167 442 0 44793 0
[pid=28129] ppid=28124 vsize=281920 CPUtime=1412.83 cores=1,3,5,7
/proc/28129/stat : 28129 (glucosInc) R 28124 28123 25783 0 -1 4202496 36356 0 0 0 141263 20 0 0 20 0 1 0 376621714 288686080 60264 33554432000 4194304 5654031 140735106033392 140735106021208 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28129/statm: 70480 60264 141 357 0 70120 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 472024
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.14 3/182 28198
/proc/meminfo: memFree=16317184/32873648 swapFree=7112/7112
[pid=28123] ppid=28121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28123/stat : 28123 (npSolver-pbo-It) S 28121 28123 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376620793 9367552 274 33554432000 4194304 5064252 140736968323984 140736968322896 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28123/statm: 2287 274 233 213 0 72 0
[pid=28124] ppid=28123 vsize=180956 CPUtime=9.16 cores=1,3,5,7
/proc/28124/stat : 28124 (npSolver-pbo) S 28123 28123 25783 0 -1 4202496 12463 61392 0 0 176 21 660 59 20 0 1 0 376620793 185298944 36624 33554432000 4194304 6004724 140734163676256 140734163662536 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/28124/statm: 45239 36624 167 442 0 44793 0
[pid=28129] ppid=28124 vsize=232600 CPUtime=1472.83 cores=1,3,5,7
/proc/28129/stat : 28129 (glucosInc) R 28124 28123 25783 0 -1 4202496 36438 0 0 0 147262 21 0 0 20 0 1 0 376621714 238182400 51228 33554432000 4194304 5654031 140735106033392 140735106021208 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28129/statm: 58150 51228 141 357 0 57790 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 422704
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.13 3/182 28220
/proc/meminfo: memFree=16272788/32873648 swapFree=7112/7112
[pid=28123] ppid=28121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28123/stat : 28123 (npSolver-pbo-It) S 28121 28123 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376620793 9367552 274 33554432000 4194304 5064252 140736968323984 140736968322896 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28123/statm: 2287 274 233 213 0 72 0
[pid=28124] ppid=28123 vsize=180956 CPUtime=9.16 cores=1,3,5,7
/proc/28124/stat : 28124 (npSolver-pbo) S 28123 28123 25783 0 -1 4202496 12463 61392 0 0 176 21 660 59 20 0 1 0 376620793 185298944 36624 33554432000 4194304 6004724 140734163676256 140734163662536 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/28124/statm: 45239 36624 167 442 0 44793 0
[pid=28129] ppid=28124 vsize=281920 CPUtime=1532.82 cores=1,3,5,7
/proc/28129/stat : 28129 (glucosInc) R 28124 28123 25783 0 -1 4202496 36791 0 0 0 153260 22 0 0 20 0 1 0 376621714 288686080 62312 33554432000 4194304 5654031 140735106033392 140735106021208 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28129/statm: 70480 62312 141 357 0 70120 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 472024
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.12 3/181 28221
/proc/meminfo: memFree=16278764/32873648 swapFree=7112/7112
[pid=28123] ppid=28121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28123/stat : 28123 (npSolver-pbo-It) S 28121 28123 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376620793 9367552 274 33554432000 4194304 5064252 140736968323984 140736968322896 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28123/statm: 2287 274 233 213 0 72 0
[pid=28124] ppid=28123 vsize=180956 CPUtime=9.16 cores=1,3,5,7
/proc/28124/stat : 28124 (npSolver-pbo) S 28123 28123 25783 0 -1 4202496 12463 61392 0 0 176 21 660 59 20 0 1 0 376620793 185298944 36624 33554432000 4194304 6004724 140734163676256 140734163662536 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/28124/statm: 45239 36624 167 442 0 44793 0
[pid=28129] ppid=28124 vsize=281920 CPUtime=1592.8 cores=1,3,5,7
/proc/28129/stat : 28129 (glucosInc) R 28124 28123 25783 0 -1 4202496 37142 0 0 0 159258 22 0 0 20 0 1 0 376621714 288686080 60264 33554432000 4194304 5654031 140735106033392 140735106021208 4232791 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28129/statm: 70480 60264 141 357 0 70120 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 472024
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.11 3/181 28221
/proc/meminfo: memFree=16314156/32873648 swapFree=7112/7112
[pid=28123] ppid=28121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28123/stat : 28123 (npSolver-pbo-It) S 28121 28123 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376620793 9367552 274 33554432000 4194304 5064252 140736968323984 140736968322896 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28123/statm: 2287 274 233 213 0 72 0
[pid=28124] ppid=28123 vsize=180956 CPUtime=9.16 cores=1,3,5,7
/proc/28124/stat : 28124 (npSolver-pbo) S 28123 28123 25783 0 -1 4202496 12463 61392 0 0 176 21 660 59 20 0 1 0 376620793 185298944 36624 33554432000 4194304 6004724 140734163676256 140734163662536 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/28124/statm: 45239 36624 167 442 0 44793 0
[pid=28129] ppid=28124 vsize=232600 CPUtime=1652.8 cores=1,3,5,7
/proc/28129/stat : 28129 (glucosInc) R 28124 28123 25783 0 -1 4202496 37536 0 0 0 165257 23 0 0 20 0 1 0 376621714 238182400 51228 33554432000 4194304 5654031 140735106033392 140735106021208 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28129/statm: 58150 51228 141 357 0 57790 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 422704
[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.10 3/181 28221
/proc/meminfo: memFree=16266884/32873648 swapFree=7112/7112
[pid=28123] ppid=28121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28123/stat : 28123 (npSolver-pbo-It) S 28121 28123 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376620793 9367552 274 33554432000 4194304 5064252 140736968323984 140736968322896 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28123/statm: 2287 274 233 213 0 72 0
[pid=28124] ppid=28123 vsize=180956 CPUtime=9.16 cores=1,3,5,7
/proc/28124/stat : 28124 (npSolver-pbo) S 28123 28123 25783 0 -1 4202496 12463 61392 0 0 176 21 660 59 20 0 1 0 376620793 185298944 36624 33554432000 4194304 6004724 140734163676256 140734163662536 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/28124/statm: 45239 36624 167 442 0 44793 0
[pid=28129] ppid=28124 vsize=281920 CPUtime=1712.79 cores=1,3,5,7
/proc/28129/stat : 28129 (glucosInc) R 28124 28123 25783 0 -1 4202496 37890 0 0 0 171255 24 0 0 20 0 1 0 376621714 288686080 62824 33554432000 4194304 5654031 140735106033392 140735106021208 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28129/statm: 70480 62824 141 357 0 70120 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 472024
[startup+1782.31 s]
/proc/loadavg: 2.05 2.03 2.10 3/181 28221
/proc/meminfo: memFree=16279228/32873648 swapFree=7112/7112
[pid=28123] ppid=28121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28123/stat : 28123 (npSolver-pbo-It) S 28121 28123 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376620793 9367552 274 33554432000 4194304 5064252 140736968323984 140736968322896 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28123/statm: 2287 274 233 213 0 72 0
[pid=28124] ppid=28123 vsize=180956 CPUtime=9.16 cores=1,3,5,7
/proc/28124/stat : 28124 (npSolver-pbo) S 28123 28123 25783 0 -1 4202496 12463 61392 0 0 176 21 660 59 20 0 1 0 376620793 185298944 36624 33554432000 4194304 6004724 140734163676256 140734163662536 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/28124/statm: 45239 36624 167 442 0 44793 0
[pid=28129] ppid=28124 vsize=281920 CPUtime=1772.78 cores=1,3,5,7
/proc/28129/stat : 28129 (glucosInc) R 28124 28123 25783 0 -1 4202496 38831 0 0 0 177252 26 0 0 20 0 1 0 376621714 288686080 59240 33554432000 4194304 5654031 140735106033392 140735106021208 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28129/statm: 70480 59240 141 357 0 70120 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 472024
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.04 2.02 2.09 3/181 28221
/proc/meminfo: memFree=16272964/32873648 swapFree=7112/7112
[pid=28123] ppid=28121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28123/stat : 28123 (npSolver-pbo-It) S 28121 28123 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376620793 9367552 274 33554432000 4194304 5064252 140736968323984 140736968322896 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28123/statm: 2287 274 233 213 0 72 0
[pid=28124] ppid=28123 vsize=180956 CPUtime=9.16 cores=1,3,5,7
/proc/28124/stat : 28124 (npSolver-pbo) S 28123 28123 25783 0 -1 4202496 12463 61392 0 0 176 21 660 59 20 0 1 0 376620793 185298944 36624 33554432000 4194304 6004724 140734163676256 140734163662536 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/28124/statm: 45239 36624 167 442 0 44793 0
[pid=28129] ppid=28124 vsize=281920 CPUtime=1790.88 cores=1,3,5,7
/proc/28129/stat : 28129 (glucosInc) R 28124 28123 25783 0 -1 4202496 38834 0 0 0 179062 26 0 0 20 0 1 0 376621714 288686080 60776 33554432000 4194304 5654031 140735106033392 140735106021208 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28129/statm: 70480 60776 141 357 0 70120 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 472024
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.04 2.02 2.09 3/181 28221
/proc/meminfo: memFree=16272964/32873648 swapFree=7112/7112
[pid=28123] ppid=28121 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28123/stat : 28123 (npSolver-pbo-It) S 28121 28123 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376620793 9367552 274 33554432000 4194304 5064252 140736968323984 140736968322896 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28123/statm: 2287 274 233 213 0 72 0
[pid=28124] ppid=28123 vsize=180956 CPUtime=9.16 cores=1,3,5,7
/proc/28124/stat : 28124 (npSolver-pbo) S 28123 28123 25783 0 -1 4202496 12463 61392 0 0 176 21 660 59 20 0 1 0 376620793 185298944 36624 33554432000 4194304 6004724 140734163676256 140734163662536 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/28124/statm: 45239 36624 167 442 0 44793 0
[pid=28129] ppid=28124 vsize=281920 CPUtime=1790.88 cores=1,3,5,7
/proc/28129/stat : 28129 (glucosInc) R 28124 28123 25783 0 -1 4202496 38834 0 0 0 179062 26 0 0 20 0 1 0 376621714 288686080 60776 33554432000 4194304 5654031 140735106033392 140735106021208 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28129/statm: 70480 60776 141 357 0 70120 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 472024
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28123 and gives
# childrusage.ru_utime.tv_sec=8
# childrusage.ru_utime.tv_usec=365728
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=810876
# CPU time returned by wait4() is 9.1766
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1798.98
CPU system time (s): 1.06
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 726132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.36573
system time used= 0.810876
maximum resident set size= 534596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74231
page faults= 0
swaps= 0
block input operations= 8
block output operations= 229232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 15
runsolver used 3.09853 second user time and 7.63984 second system time
The end