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-3751648-1339173248/watcher-3751648-1339173248 -o /tmp/evaluation-result-3751648-1339173248/solver-3751648-1339173248 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751648-1339173248.opb 984831540 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.79 2.25 2.08 3/179 1125
/proc/meminfo: memFree=24994580/32873844 swapFree=9160/9160
[pid=1125] ppid=1123 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1125/stat : 1125 (npSolver-pbo-It) S 1123 1125 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383449431 9367552 274 33554432000 4194304 5064252 140734679433696 140734679432608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1125/statm: 2287 274 233 213 0 72 0
[startup+0.099468 s]
/proc/loadavg: 2.79 2.25 2.08 3/179 1125
/proc/meminfo: memFree=24994580/32873844 swapFree=9160/9160
[pid=1125] ppid=1123 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1125/stat : 1125 (npSolver-pbo-It) S 1123 1125 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383449431 9367552 274 33554432000 4194304 5064252 140734679433696 140734679432608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1125/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100358 s]
/proc/loadavg: 2.79 2.25 2.08 3/179 1125
/proc/meminfo: memFree=24994580/32873844 swapFree=9160/9160
[pid=1125] ppid=1123 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1125/stat : 1125 (npSolver-pbo-It) S 1123 1125 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383449431 9367552 274 33554432000 4194304 5064252 140734679433696 140734679432608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1125/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300317 s]
/proc/loadavg: 2.79 2.25 2.08 3/179 1125
/proc/meminfo: memFree=24994580/32873844 swapFree=9160/9160
[pid=1125] ppid=1123 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1125/stat : 1125 (npSolver-pbo-It) S 1123 1125 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383449431 9367552 274 33554432000 4194304 5064252 140734679433696 140734679432608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1125/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700296 s]
/proc/loadavg: 2.79 2.25 2.08 3/179 1125
/proc/meminfo: memFree=24994580/32873844 swapFree=9160/9160
[pid=1125] ppid=1123 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1125/stat : 1125 (npSolver-pbo-It) S 1123 1125 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383449431 9367552 274 33554432000 4194304 5064252 140734679433696 140734679432608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1125/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.79 2.25 2.08 3/181 1127
/proc/meminfo: memFree=24905876/32873844 swapFree=9160/9160
[pid=1125] ppid=1123 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1125/stat : 1125 (npSolver-pbo-It) S 1123 1125 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383449431 9367552 274 33554432000 4194304 5064252 140734679433696 140734679432608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1125/statm: 2287 274 233 213 0 72 0
[pid=1126] ppid=1125 vsize=144900 CPUtime=1.49 cores=1,3,5,7
/proc/1126/stat : 1126 (npSolver-pbo) R 1125 1125 643 0 -1 4202496 22785 0 0 0 141 8 0 0 20 0 1 0 383449431 148377600 32439 33554432000 4194304 6004724 140734666787952 140734666783976 4968639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1126/statm: 36225 32439 130 442 0 35779 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 154048
[startup+3.10034 s]
/proc/loadavg: 2.79 2.25 2.08 3/181 1127
/proc/meminfo: memFree=24763940/32873844 swapFree=9160/9160
[pid=1125] ppid=1123 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1125/stat : 1125 (npSolver-pbo-It) S 1123 1125 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383449431 9367552 274 33554432000 4194304 5064252 140734679433696 140734679432608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1125/statm: 2287 274 233 213 0 72 0
[pid=1126] ppid=1125 vsize=428428 CPUtime=3.09 cores=1,3,5,7
/proc/1126/stat : 1126 (npSolver-pbo) R 1125 1125 643 0 -1 4202496 50682 0 0 0 295 14 0 0 20 0 1 0 383449431 438710272 75454 33554432000 4194304 6004724 140734666787952 140734666782232 5056382 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1126/statm: 107107 75454 154 442 0 106661 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 437576
[startup+6.30035 s]
/proc/loadavg: 2.73 2.24 2.08 3/181 1127
/proc/meminfo: memFree=24528748/32873844 swapFree=9160/9160
[pid=1125] ppid=1123 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1125/stat : 1125 (npSolver-pbo-It) S 1123 1125 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383449431 9367552 274 33554432000 4194304 5064252 140734679433696 140734679432608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1125/statm: 2287 274 233 213 0 72 0
[pid=1126] ppid=1125 vsize=756108 CPUtime=6.28 cores=1,3,5,7
/proc/1126/stat : 1126 (npSolver-pbo) R 1125 1125 643 0 -1 4202496 52036 0 0 0 602 26 0 0 20 0 1 0 383449431 774254592 130750 33554432000 4194304 6004724 140734666787952 140734666782552 5055529 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1126/statm: 189027 130750 154 442 0 188581 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 765256
[startup+12.7003 s]
/proc/loadavg: 2.67 2.24 2.08 3/181 1127
/proc/meminfo: memFree=24044676/32873844 swapFree=9160/9160
[pid=1125] ppid=1123 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1125/stat : 1125 (npSolver-pbo-It) S 1123 1125 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383449431 9367552 274 33554432000 4194304 5064252 140734679433696 140734679432608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1125/statm: 2287 274 233 213 0 72 0
[pid=1126] ppid=1125 vsize=1280396 CPUtime=12.68 cores=1,3,5,7
/proc/1126/stat : 1126 (npSolver-pbo) R 1125 1125 643 0 -1 4202496 53038 0 0 0 1222 46 0 0 20 0 1 0 383449431 1311125504 251070 33554432000 4194304 6004724 140734666787952 140734666782552 4536120 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1126/statm: 320099 251070 154 442 0 319653 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1289544
[startup+25.5005 s]
/proc/loadavg: 2.52 2.23 2.08 3/183 1129
/proc/meminfo: memFree=21746640/32873844 swapFree=9160/9160
[pid=1125] ppid=1123 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1125/stat : 1125 (npSolver-pbo-It) S 1123 1125 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383449431 9367552 274 33554432000 4194304 5064252 140734679433696 140734679432608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1125/statm: 2287 274 233 213 0 72 0
[pid=1126] ppid=1125 vsize=2337964 CPUtime=25.12 cores=1,3,5,7
/proc/1126/stat : 1126 (npSolver-pbo) S 1125 1125 643 0 -1 4202496 57925 0 0 0 2197 315 0 0 20 0 1 0 383449431 2394075136 429005 33554432000 4194304 6004724 140734666787952 140734666782416 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1126/statm: 584491 429005 163 442 0 584045 0
[pid=1128] ppid=1126 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1128/stat : 1128 (cp2_pre.sh) S 1126 1125 643 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383451944 9367552 277 33554432000 4194304 5064252 140733556376352 140733556375056 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1128/statm: 2287 277 234 213 0 72 0
[pid=1129] ppid=1128 vsize=49520 CPUtime=0.35 cores=1,3,5,7
/proc/1129/stat : 1129 (coprocessor) R 1128 1125 643 0 -1 4202496 7846 0 0 0 32 3 0 0 20 0 1 0 383451945 50708480 11375 33554432000 4194304 6586260 140734913728768 140734913725528 5732400 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/1129/statm: 12380 11376 138 584 0 11792 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 2405780
[startup+51.1004 s]
/proc/loadavg: 2.68 2.29 2.10 3/183 1129
/proc/meminfo: memFree=19205472/32873844 swapFree=9160/9160
[pid=1125] ppid=1123 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1125/stat : 1125 (npSolver-pbo-It) S 1123 1125 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383449431 9367552 274 33554432000 4194304 5064252 140734679433696 140734679432608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1125/statm: 2287 274 233 213 0 72 0
[pid=1126] ppid=1125 vsize=2337964 CPUtime=25.12 cores=1,3,5,7
/proc/1126/stat : 1126 (npSolver-pbo) S 1125 1125 643 0 -1 4202496 57925 0 0 0 2197 315 0 0 20 0 1 0 383449431 2394075136 429005 33554432000 4194304 6004724 140734666787952 140734666782416 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1126/statm: 584491 429005 163 442 0 584045 0
[pid=1128] ppid=1126 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1128/stat : 1128 (cp2_pre.sh) S 1126 1125 643 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383451944 9367552 277 33554432000 4194304 5064252 140733556376352 140733556375056 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1128/statm: 2287 277 234 213 0 72 0
[pid=1129] ppid=1128 vsize=2800976 CPUtime=25.84 cores=1,3,5,7
/proc/1129/stat : 1129 (coprocessor) R 1128 1125 643 0 -1 4202496 25528 0 0 0 2445 139 0 0 20 0 1 0 383451945 2868199424 592018 33554432000 4194304 6586260 140734913728768 140734913724520 4557667 0 0 4096 8404994 0 0 0 17 5 0 0 10 0 0
/proc/1129/statm: 700244 592018 158 584 0 699656 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 5157236
[startup+102.307 s]
/proc/loadavg: 2.36 2.26 2.10 3/182 1132
/proc/meminfo: memFree=20566332/32873844 swapFree=9160/9160
[pid=1125] ppid=1123 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1125/stat : 1125 (npSolver-pbo-It) S 1123 1125 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383449431 9367552 274 33554432000 4194304 5064252 140734679433696 140734679432608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1125/statm: 2287 274 233 213 0 72 0
[pid=1126] ppid=1125 vsize=2337964 CPUtime=96.38 cores=1,3,5,7
/proc/1126/stat : 1126 (npSolver-pbo) S 1125 1125 643 0 -1 4202496 57944 26429 0 0 2197 316 6697 428 20 0 1 0 383449431 2394075136 429009 33554432000 4194304 6004724 140734666787952 140734666774232 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1126/statm: 584491 429009 167 442 0 584045 0
[pid=1132] ppid=1126 vsize=1562236 CPUtime=5.58 cores=1,3,5,7
/proc/1132/stat : 1132 (glucosInc) R 1126 1125 643 0 -1 4202496 161594 0 0 0 503 55 0 0 20 0 1 0 383459102 1599729664 321285 33554432000 4194304 5654031 140734092687232 140734091636584 4225056 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1132/statm: 390559 321285 108 357 0 390199 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 3909348
[startup+162.3 s]
/proc/loadavg: 2.13 2.21 2.09 3/181 1132
/proc/meminfo: memFree=18537756/32873844 swapFree=9160/9160
[pid=1125] ppid=1123 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1125/stat : 1125 (npSolver-pbo-It) S 1123 1125 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383449431 9367552 274 33554432000 4194304 5064252 140734679433696 140734679432608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1125/statm: 2287 274 233 213 0 72 0
[pid=1126] ppid=1125 vsize=2337964 CPUtime=96.38 cores=1,3,5,7
/proc/1126/stat : 1126 (npSolver-pbo) S 1125 1125 643 0 -1 4202496 57944 26429 0 0 2197 316 6697 428 20 0 1 0 383449431 2394075136 429009 33554432000 4194304 6004724 140734666787952 140734666774232 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1126/statm: 584491 429009 167 442 0 584045 0
[pid=1132] ppid=1126 vsize=3974224 CPUtime=65.56 cores=1,3,5,7
/proc/1132/stat : 1132 (glucosInc) R 1126 1125 643 0 -1 4202496 388798 0 0 0 6418 138 0 0 20 0 1 0 383459102 4069605376 819612 33554432000 4194304 5654031 140734092687232 140734092685048 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1132/statm: 993556 819612 140 357 0 993196 0
Current children cumulated CPU time (s) 161.94
Current children cumulated vsize (KiB) 6321336
[startup+222.3 s]
/proc/loadavg: 2.05 2.17 2.08 3/181 1132
/proc/meminfo: memFree=18534296/32873844 swapFree=9160/9160
[pid=1125] ppid=1123 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1125/stat : 1125 (npSolver-pbo-It) S 1123 1125 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383449431 9367552 274 33554432000 4194304 5064252 140734679433696 140734679432608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1125/statm: 2287 274 233 213 0 72 0
[pid=1126] ppid=1125 vsize=2337964 CPUtime=96.38 cores=1,3,5,7
/proc/1126/stat : 1126 (npSolver-pbo) S 1125 1125 643 0 -1 4202496 57944 26429 0 0 2197 316 6697 428 20 0 1 0 383449431 2394075136 429009 33554432000 4194304 6004724 140734666787952 140734666774232 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1126/statm: 584491 429009 167 442 0 584045 0
[pid=1132] ppid=1126 vsize=3974224 CPUtime=125.55 cores=1,3,5,7
/proc/1132/stat : 1132 (glucosInc) R 1126 1125 643 0 -1 4202496 388798 0 0 0 12417 138 0 0 20 0 1 0 383459102 4069605376 819612 33554432000 4194304 5654031 140734092687232 140734092685048 4215097 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1132/statm: 993556 819612 140 357 0 993196 0
Current children cumulated CPU time (s) 221.93
Current children cumulated vsize (KiB) 6321336
[startup+282.3 s]
/proc/loadavg: 2.02 2.13 2.08 3/181 1132
/proc/meminfo: memFree=18504580/32873844 swapFree=9160/9160
[pid=1125] ppid=1123 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1125/stat : 1125 (npSolver-pbo-It) S 1123 1125 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383449431 9367552 274 33554432000 4194304 5064252 140734679433696 140734679432608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1125/statm: 2287 274 233 213 0 72 0
[pid=1126] ppid=1125 vsize=2337964 CPUtime=96.38 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=13356828/32873844 swapFree=9160/9160
[pid=1125] ppid=1123 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1125/stat : 1125 (npSolver-pbo-It) S 1123 1125 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383449431 9367552 274 33554432000 4194304 5064252 140734679433696 140734679432608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1125/statm: 2287 274 233 213 0 72 0
[pid=1126] ppid=1125 vsize=2337964 CPUtime=96.38 cores=1,3,5,7
/proc/1126/stat : 1126 (npSolver-pbo) S 1125 1125 643 0 -1 4202496 57944 26429 0 0 2197 316 6697 428 20 0 1 0 383449431 2394075136 429009 33554432000 4194304 6004724 140734666787952 140734666774232 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1126/statm: 584491 429009 167 442 0 584045 0
[pid=1132] ppid=1126 vsize=4012392 CPUtime=1265.35 cores=1,3,5,7
/proc/1132/stat : 1132 (glucosInc) R 1126 1125 643 0 -1 4202496 457994 0 0 0 126362 173 0 0 20 0 1 0 383459102 4108689408 850570 33554432000 4194304 5654031 140734092687232 140734092685304 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1132/statm: 1003098 850570 141 357 0 1002738 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 6359504
[startup+1422.3 s]
/proc/loadavg: 2.12 2.77 2.68 3/181 1227
/proc/meminfo: memFree=13349688/32873844 swapFree=9160/9160
[pid=1125] ppid=1123 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1125/stat : 1125 (npSolver-pbo-It) S 1123 1125 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383449431 9367552 274 33554432000 4194304 5064252 140734679433696 140734679432608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1125/statm: 2287 274 233 213 0 72 0
[pid=1126] ppid=1125 vsize=2337964 CPUtime=96.38 cores=1,3,5,7
/proc/1126/stat : 1126 (npSolver-pbo) S 1125 1125 643 0 -1 4202496 57944 26429 0 0 2197 316 6697 428 20 0 1 0 383449431 2394075136 429009 33554432000 4194304 6004724 140734666787952 140734666774232 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1126/statm: 584491 429009 167 442 0 584045 0
[pid=1132] ppid=1126 vsize=4012788 CPUtime=1325.34 cores=1,3,5,7
/proc/1132/stat : 1132 (glucosInc) R 1126 1125 643 0 -1 4202496 458085 0 0 0 132361 173 0 0 20 0 1 0 383459102 4109094912 850661 33554432000 4194304 5654031 140734092687232 140734092685016 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1132/statm: 1003197 850661 141 357 0 1002837 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 6359900
[startup+1482.3 s]
/proc/loadavg: 2.04 2.63 2.63 3/181 1227
/proc/meminfo: memFree=13338648/32873844 swapFree=9160/9160
[pid=1125] ppid=1123 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1125/stat : 1125 (npSolver-pbo-It) S 1123 1125 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383449431 9367552 274 33554432000 4194304 5064252 140734679433696 140734679432608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1125/statm: 2287 274 233 213 0 72 0
[pid=1126] ppid=1125 vsize=2337964 CPUtime=96.38 cores=1,3,5,7
/proc/1126/stat : 1126 (npSolver-pbo) S 1125 1125 643 0 -1 4202496 57944 26429 0 0 2197 316 6697 428 20 0 1 0 383449431 2394075136 429009 33554432000 4194304 6004724 140734666787952 140734666774232 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1126/statm: 584491 429009 167 442 0 584045 0
[pid=1132] ppid=1126 vsize=4012920 CPUtime=1385.34 cores=1,3,5,7
/proc/1132/stat : 1132 (glucosInc) R 1126 1125 643 0 -1 4202496 458105 0 0 0 138361 173 0 0 20 0 1 0 383459102 4109230080 851192 33554432000 4194304 5654031 140734092687232 140734092685016 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1132/statm: 1003230 851192 141 357 0 1002870 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 6360032
[startup+1542.3 s]
/proc/loadavg: 2.01 2.51 2.59 3/181 1227
/proc/meminfo: memFree=13331004/32873844 swapFree=9160/9160
[pid=1125] ppid=1123 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1125/stat : 1125 (npSolver-pbo-It) S 1123 1125 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383449431 9367552 274 33554432000 4194304 5064252 140734679433696 140734679432608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1125/statm: 2287 274 233 213 0 72 0
[pid=1126] ppid=1125 vsize=2337964 CPUtime=96.38 cores=1,3,5,7
/proc/1126/stat : 1126 (npSolver-pbo) S 1125 1125 643 0 -1 4202496 57944 26429 0 0 2197 316 6697 428 20 0 1 0 383449431 2394075136 429009 33554432000 4194304 6004724 140734666787952 140734666774232 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1126/statm: 584491 429009 167 442 0 584045 0
[pid=1132] ppid=1126 vsize=4013904 CPUtime=1445.33 cores=1,3,5,7
/proc/1132/stat : 1132 (glucosInc) R 1126 1125 643 0 -1 4202496 465067 0 0 0 144358 175 0 0 20 0 1 0 383459102 4110237696 851966 33554432000 4194304 5654031 140734092687232 140734092675048 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1132/statm: 1003476 851966 141 357 0 1003116 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 6361016
[startup+1602.31 s]
/proc/loadavg: 2.00 2.42 2.55 3/182 1231
/proc/meminfo: memFree=13322952/32873844 swapFree=9160/9160
[pid=1125] ppid=1123 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1125/stat : 1125 (npSolver-pbo-It) S 1123 1125 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383449431 9367552 274 33554432000 4194304 5064252 140734679433696 140734679432608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1125/statm: 2287 274 233 213 0 72 0
[pid=1126] ppid=1125 vsize=2337964 CPUtime=96.38 cores=1,3,5,7
/proc/1126/stat : 1126 (npSolver-pbo) S 1125 1125 643 0 -1 4202496 57944 26429 0 0 2197 316 6697 428 20 0 1 0 383449431 2394075136 429009 33554432000 4194304 6004724 140734666787952 140734666774232 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1126/statm: 584491 429009 167 442 0 584045 0
[pid=1132] ppid=1126 vsize=4013932 CPUtime=1505.33 cores=1,3,5,7
/proc/1132/stat : 1132 (glucosInc) R 1126 1125 643 0 -1 4202496 468778 0 0 0 150356 177 0 0 20 0 1 0 383459102 4110266368 851983 33554432000 4194304 5654031 140734092687232 140734092685016 4232632 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1132/statm: 1003483 851983 141 357 0 1003123 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 6361044
[startup+1662.3 s]
/proc/loadavg: 2.00 2.34 2.51 3/182 1254
/proc/meminfo: memFree=13311964/32873844 swapFree=9160/9160
[pid=1125] ppid=1123 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1125/stat : 1125 (npSolver-pbo-It) S 1123 1125 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383449431 9367552 274 33554432000 4194304 5064252 140734679433696 140734679432608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1125/statm: 2287 274 233 213 0 72 0
[pid=1126] ppid=1125 vsize=2337964 CPUtime=96.38 cores=1,3,5,7
/proc/1126/stat : 1126 (npSolver-pbo) S 1125 1125 643 0 -1 4202496 57944 26429 0 0 2197 316 6697 428 20 0 1 0 383449431 2394075136 429009 33554432000 4194304 6004724 140734666787952 140734666774232 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1126/statm: 584491 429009 167 442 0 584045 0
[pid=1132] ppid=1126 vsize=4014612 CPUtime=1565.31 cores=1,3,5,7
/proc/1132/stat : 1132 (glucosInc) R 1126 1125 643 0 -1 4202496 475647 0 0 0 156352 179 0 0 20 0 1 0 383459102 4110962688 852153 33554432000 4194304 5654031 140734092687232 140734092685304 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1132/statm: 1003653 852153 141 357 0 1003293 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 6361724
[startup+1722.3 s]
/proc/loadavg: 2.00 2.27 2.48 3/181 1254
/proc/meminfo: memFree=13308080/32873844 swapFree=9160/9160
[pid=1125] ppid=1123 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1125/stat : 1125 (npSolver-pbo-It) S 1123 1125 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383449431 9367552 274 33554432000 4194304 5064252 140734679433696 140734679432608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1125/statm: 2287 274 233 213 0 72 0
[pid=1126] ppid=1125 vsize=2337964 CPUtime=96.38 cores=1,3,5,7
/proc/1126/stat : 1126 (npSolver-pbo) S 1125 1125 643 0 -1 4202496 57944 26429 0 0 2197 316 6697 428 20 0 1 0 383449431 2394075136 429009 33554432000 4194304 6004724 140734666787952 140734666774232 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1126/statm: 584491 429009 167 442 0 584045 0
[pid=1132] ppid=1126 vsize=4015120 CPUtime=1625.31 cores=1,3,5,7
/proc/1132/stat : 1132 (glucosInc) R 1126 1125 643 0 -1 4202496 479457 0 0 0 162350 181 0 0 20 0 1 0 383459102 4111482880 852269 33554432000 4194304 5654031 140734092687232 140734092685016 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1132/statm: 1003780 852269 141 357 0 1003420 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 6362232
[startup+1782.3 s]
/proc/loadavg: 2.00 2.22 2.45 3/181 1254
/proc/meminfo: memFree=13305004/32873844 swapFree=9160/9160
[pid=1125] ppid=1123 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1125/stat : 1125 (npSolver-pbo-It) S 1123 1125 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383449431 9367552 274 33554432000 4194304 5064252 140734679433696 140734679432608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1125/statm: 2287 274 233 213 0 72 0
[pid=1126] ppid=1125 vsize=2337964 CPUtime=96.38 cores=1,3,5,7
/proc/1126/stat : 1126 (npSolver-pbo) S 1125 1125 643 0 -1 4202496 57944 26429 0 0 2197 316 6697 428 20 0 1 0 383449431 2394075136 429009 33554432000 4194304 6004724 140734666787952 140734666774232 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1126/statm: 584491 429009 167 442 0 584045 0
[pid=1132] ppid=1126 vsize=4015580 CPUtime=1685.29 cores=1,3,5,7
/proc/1132/stat : 1132 (glucosInc) R 1126 1125 643 0 -1 4202496 483190 0 0 0 168347 182 0 0 20 0 1 0 383459102 4111953920 852397 33554432000 4194304 5654031 140734092687232 140734092675048 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1132/statm: 1003895 852397 141 357 0 1003535 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 6362692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 2.00 2.21 2.44 3/181 1254
/proc/meminfo: memFree=13304360/32873844 swapFree=9160/9160
[pid=1125] ppid=1123 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1125/stat : 1125 (npSolver-pbo-It) S 1123 1125 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383449431 9367552 274 33554432000 4194304 5064252 140734679433696 140734679432608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1125/statm: 2287 274 233 213 0 72 0
[pid=1126] ppid=1125 vsize=2337964 CPUtime=96.38 cores=1,3,5,7
/proc/1126/stat : 1126 (npSolver-pbo) S 1125 1125 643 0 -1 4202496 57944 26429 0 0 2197 316 6697 428 20 0 1 0 383449431 2394075136 429009 33554432000 4194304 6004724 140734666787952 140734666774232 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1126/statm: 584491 429009 167 442 0 584045 0
[pid=1132] ppid=1126 vsize=4015580 CPUtime=1703.69 cores=1,3,5,7
/proc/1132/stat : 1132 (glucosInc) R 1126 1125 643 0 -1 4202496 483190 0 0 0 170187 182 0 0 20 0 1 0 383459102 4111953920 852397 33554432000 4194304 5654031 140734092687232 140734092675048 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1132/statm: 1003895 852397 141 357 0 1003535 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 6362692
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.00 2.21 2.44 3/181 1254
/proc/meminfo: memFree=13304360/32873844 swapFree=9160/9160
[pid=1125] ppid=1123 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1125/stat : 1125 (npSolver-pbo-It) S 1123 1125 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383449431 9367552 274 33554432000 4194304 5064252 140734679433696 140734679432608 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1125/statm: 2287 274 233 213 0 72 0
[pid=1126] ppid=1125 vsize=2337964 CPUtime=96.38 cores=1,3,5,7
/proc/1126/stat : 1126 (npSolver-pbo) S 1125 1125 643 0 -1 4202496 57944 26429 0 0 2197 316 6697 428 20 0 1 0 383449431 2394075136 429009 33554432000 4194304 6004724 140734666787952 140734666774232 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1126/statm: 584491 429009 167 442 0 584045 0
[pid=1132] ppid=1126 vsize=4015580 CPUtime=1703.69 cores=1,3,5,7
/proc/1132/stat : 1132 (glucosInc) R 1126 1125 643 0 -1 4202496 483190 0 0 0 170187 182 0 0 20 0 1 0 383459102 4111953920 852397 33554432000 4194304 5654031 140734092687232 140734092675048 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1132/statm: 1003895 852397 141 357 0 1003535 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 6362692
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1125 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.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.72
CPU time (s): 1800.07
CPU user time (s): 1790.81
CPU system time (s): 9.26
CPU usage (%): 99.9639
Max. virtual memory (cumulated for all children) (KiB): 6404216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357
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.25135 second user time and 11.7722 second system time
The end