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-3702536-1338134171/watcher-3702536-1338134171 -o /tmp/evaluation-result-3702536-1338134171/solver-3702536-1338134171 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702536-1338134171.opb 662022885 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: 1.92 1.98 1.99 3/180 5278
/proc/meminfo: memFree=31046136/32873844 swapFree=7112/7112
[pid=5278] ppid=5276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5278/stat : 5278 (npSolver-pbo-It) S 5276 5278 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279542469 9367552 275 33554432000 4194304 5064252 140733521772128 140733521771040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5278/statm: 2287 275 233 213 0 72 0
[startup+0.044836 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 5278
/proc/meminfo: memFree=31046136/32873844 swapFree=7112/7112
[pid=5278] ppid=5276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5278/stat : 5278 (npSolver-pbo-It) S 5276 5278 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279542469 9367552 275 33554432000 4194304 5064252 140733521772128 140733521771040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5278/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100248 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 5278
/proc/meminfo: memFree=31046136/32873844 swapFree=7112/7112
[pid=5278] ppid=5276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5278/stat : 5278 (npSolver-pbo-It) S 5276 5278 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279542469 9367552 275 33554432000 4194304 5064252 140733521772128 140733521771040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5278/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30026 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 5278
/proc/meminfo: memFree=31046136/32873844 swapFree=7112/7112
[pid=5278] ppid=5276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5278/stat : 5278 (npSolver-pbo-It) S 5276 5278 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279542469 9367552 275 33554432000 4194304 5064252 140733521772128 140733521771040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5278/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700257 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 5278
/proc/meminfo: memFree=31046136/32873844 swapFree=7112/7112
[pid=5278] ppid=5276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5278/stat : 5278 (npSolver-pbo-It) S 5276 5278 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279542469 9367552 275 33554432000 4194304 5064252 140733521772128 140733521771040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5278/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50043 s]
/proc/loadavg: 1.92 1.98 1.99 3/184 5282
/proc/meminfo: memFree=30823492/32873844 swapFree=7112/7112
[pid=5278] ppid=5276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5278/stat : 5278 (npSolver-pbo-It) S 5276 5278 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279542469 9367552 275 33554432000 4194304 5064252 140733521772128 140733521771040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5278/statm: 2287 275 233 213 0 72 0
[pid=5279] ppid=5278 vsize=54660 CPUtime=0.57 cores=1,3,5,7
/proc/5279/stat : 5279 (npSolver-pbo) S 5278 5278 4091 0 -1 4202496 8228 0 0 0 50 7 0 0 20 0 1 0 279542470 55971840 10446 33554432000 4194304 5992684 140733994229232 140733994223680 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5279/statm: 13665 10446 172 440 0 13221 0
[pid=5281] ppid=5279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5281/stat : 5281 (cp2_pre.sh) S 5279 5278 4091 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 279542528 9367552 277 33554432000 4194304 5064252 140733726365120 140733726363824 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5281/statm: 2287 277 234 213 0 72 0
[pid=5282] ppid=5281 vsize=217668 CPUtime=0.9 cores=1,3,5,7
/proc/5282/stat : 5282 (coprocessor) R 5281 5278 4091 0 -1 4202496 31487 0 0 0 83 7 0 0 20 0 1 0 279542528 222892032 48885 33554432000 4194304 6586260 140733276131504 140733276127768 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/5282/statm: 54417 48885 166 584 0 53829 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 290624
[startup+3.10041 s]
/proc/loadavg: 1.92 1.98 1.99 3/184 5282
/proc/meminfo: memFree=30749120/32873844 swapFree=7112/7112
[pid=5278] ppid=5276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5278/stat : 5278 (npSolver-pbo-It) S 5276 5278 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279542469 9367552 275 33554432000 4194304 5064252 140733521772128 140733521771040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5278/statm: 2287 275 233 213 0 72 0
[pid=5279] ppid=5278 vsize=54660 CPUtime=0.57 cores=1,3,5,7
/proc/5279/stat : 5279 (npSolver-pbo) S 5278 5278 4091 0 -1 4202496 8228 0 0 0 50 7 0 0 20 0 1 0 279542470 55971840 10446 33554432000 4194304 5992684 140733994229232 140733994223680 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5279/statm: 13665 10446 172 440 0 13221 0
[pid=5281] ppid=5279 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5281/stat : 5281 (cp2_pre.sh) S 5279 5278 4091 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 279542528 9367552 277 33554432000 4194304 5064252 140733726365120 140733726363824 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5281/statm: 2287 277 234 213 0 72 0
[pid=5282] ppid=5281 vsize=290936 CPUtime=2.49 cores=1,3,5,7
/proc/5282/stat : 5282 (coprocessor) R 5281 5278 4091 0 -1 4202496 44545 0 0 0 238 11 0 0 20 0 1 0 279542528 297918464 71230 33554432000 4194304 6586260 140733276131504 140733276127272 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/5282/statm: 72734 71230 202 584 0 72146 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 363892
[startup+6.3004 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 5284
/proc/meminfo: memFree=30874252/32873844 swapFree=7112/7112
[pid=5278] ppid=5276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5278/stat : 5278 (npSolver-pbo-It) S 5276 5278 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279542469 9367552 275 33554432000 4194304 5064252 140733521772128 140733521771040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5278/statm: 2287 275 233 213 0 72 0
[pid=5279] ppid=5278 vsize=54660 CPUtime=4.35 cores=1,3,5,7
/proc/5279/stat : 5279 (npSolver-pbo) S 5278 5278 4091 0 -1 4202496 8244 45452 0 0 50 7 332 46 20 0 1 0 279542470 55971840 10448 33554432000 4194304 5992684 140733994229232 140733994215496 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5279/statm: 13665 10448 174 440 0 13221 0
[pid=5284] ppid=5279 vsize=115316 CPUtime=1.91 cores=1,3,5,7
/proc/5284/stat : 5284 (glucosInc) R 5279 5278 4091 0 -1 4202496 22993 0 0 0 186 5 0 0 20 0 1 0 279542907 118083584 27171 33554432000 4194304 5654031 140735001771472 140735001759288 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5284/statm: 28829 27171 140 357 0 28469 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 179124
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/182 5292
/proc/meminfo: memFree=30777540/32873844 swapFree=7112/7112
[pid=5278] ppid=5276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5278/stat : 5278 (npSolver-pbo-It) S 5276 5278 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279542469 9367552 275 33554432000 4194304 5064252 140733521772128 140733521771040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5278/statm: 2287 275 233 213 0 72 0
[pid=5279] ppid=5278 vsize=370268 CPUtime=12.44 cores=1,3,5,7
/proc/5279/stat : 5279 (npSolver-pbo) R 5278 5278 4091 0 -1 4202496 18719 106756 0 0 308 123 742 71 20 0 1 0 279542470 379154432 62386 33554432000 4194304 5992684 140733994229232 140733994221944 4571359 0 0 4096 0 0 0 0 17 3 0 0 23 0 0
/proc/5279/statm: 92567 62386 204 440 0 92123 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 379416
[startup+25.5071 s]
/proc/loadavg: 2.09 2.02 2.00 3/183 5294
/proc/meminfo: memFree=30283352/32873844 swapFree=7112/7112
[pid=5278] ppid=5276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5278/stat : 5278 (npSolver-pbo-It) S 5276 5278 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279542469 9367552 275 33554432000 4194304 5064252 140733521772128 140733521771040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5278/statm: 2287 275 233 213 0 72 0
[pid=5279] ppid=5278 vsize=68288 CPUtime=12.93 cores=1,3,5,7
/proc/5279/stat : 5279 (npSolver-pbo) S 5278 5278 4091 0 -1 4202496 19491 107272 0 0 326 150 742 75 20 0 1 0 279542470 69926912 13903 33554432000 4194304 5992684 140733994229232 140733994215064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 23 0 0
/proc/5279/statm: 17072 13903 205 440 0 16628 0
[pid=5294] ppid=5279 vsize=537136 CPUtime=12.31 cores=1,3,5,7
/proc/5294/stat : 5294 (glucosInc) R 5279 5278 4091 0 -1 4202496 82147 0 0 0 1205 26 0 0 20 0 1 0 279543787 550027264 117468 33554432000 4194304 5654031 140733347134208 140733347131992 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5294/statm: 134284 117468 141 357 0 133924 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 614572
[startup+51.1004 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 5294
/proc/meminfo: memFree=30290352/32873844 swapFree=7112/7112
[pid=5278] ppid=5276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5278/stat : 5278 (npSolver-pbo-It) S 5276 5278 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279542469 9367552 275 33554432000 4194304 5064252 140733521772128 140733521771040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5278/statm: 2287 275 233 213 0 72 0
[pid=5279] ppid=5278 vsize=68288 CPUtime=12.93 cores=1,3,5,7
/proc/5279/stat : 5279 (npSolver-pbo) S 5278 5278 4091 0 -1 4202496 19491 107272 0 0 326 150 742 75 20 0 1 0 279542470 69926912 13903 33554432000 4194304 5992684 140733994229232 140733994215064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 23 0 0
/proc/5279/statm: 17072 13903 205 440 0 16628 0
[pid=5294] ppid=5279 vsize=537268 CPUtime=37.91 cores=1,3,5,7
/proc/5294/stat : 5294 (glucosInc) R 5279 5278 4091 0 -1 4202496 82176 0 0 0 3764 27 0 0 20 0 1 0 279543787 550162432 118519 33554432000 4194304 5654031 140733347134208 140733347131992 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5294/statm: 134317 118519 141 357 0 133957 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 614704
[startup+102.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 5294
/proc/meminfo: memFree=30320748/32873844 swapFree=7112/7112
[pid=5278] ppid=5276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5278/stat : 5278 (npSolver-pbo-It) S 5276 5278 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279542469 9367552 275 33554432000 4194304 5064252 140733521772128 140733521771040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5278/statm: 2287 275 233 213 0 72 0
[pid=5279] ppid=5278 vsize=68288 CPUtime=12.93 cores=1,3,5,7
/proc/5279/stat : 5279 (npSolver-pbo) S 5278 5278 4091 0 -1 4202496 19491 107272 0 0 326 150 742 75 20 0 1 0 279542470 69926912 13903 33554432000 4194304 5992684 140733994229232 140733994215064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 23 0 0
/proc/5279/statm: 17072 13903 205 440 0 16628 0
[pid=5294] ppid=5279 vsize=537548 CPUtime=89.1 cores=1,3,5,7
/proc/5294/stat : 5294 (glucosInc) R 5279 5278 4091 0 -1 4202496 82243 0 0 0 8883 27 0 0 20 0 1 0 279543787 550449152 120119 33554432000 4194304 5654031 140733347134208 140733347131992 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5294/statm: 134387 120119 141 357 0 134027 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 614984
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/182 5295
/proc/meminfo: memFree=30675696/32873844 swapFree=7112/7112
[pid=5278] ppid=5276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5278/stat : 5278 (npSolver-pbo-It) S 5276 5278 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279542469 9367552 275 33554432000 4194304 5064252 140733521772128 140733521771040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5278/statm: 2287 275 233 213 0 72 0
[pid=5279] ppid=5278 vsize=116444 CPUtime=161.81 cores=1,3,5,7
/proc/5279/stat : 5279 (npSolver-pbo) S 5278 5278 4091 0 -1 4202496 26969 191022 0 0 555 183 15330 113 20 0 1 0 279542470 119238656 25911 33554432000 4194304 5992684 140733994229232 140733994215064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 23 0 0
/proc/5279/statm: 29111 25911 206 440 0 28667 0
Current children cumulated CPU time (s) 161.81
Current children cumulated vsize (KiB) 125592
[startup+222.3 s]
/proc/loadavg: 2.26 2.08 2.02 3/183 5351
/proc/meminfo: memFree=29864248/32873844 swapFree=7112/7112
[pid=5278] ppid=5276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5278/stat : 5278 (npSolver-pbo-It) S 5276 5278 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279542469 9367552 275 33554432000 4194304 5064252 140733521772128 140733521771040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5278/statm: 2287 275 233 213 0 72 0
[pid=5279] ppid=5278 vsize=116444 CPUtime=161.81 cores=1,3,5,7
/proc/5279/stat : 5279 (npSolver-pbo) S 5278 5278 4091 0 -1 4202496 26969 191022 0 0 555 183 15330 113 20 0 1 0 279542470 119238656 25911 33554432000 4194304 5992684 140733994229232 140733994215064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 23 0 0
/proc/5279/statm: 29111 25911 206 440 0 28667 0
[pid=5296] ppid=5279 vsize=530556 CPUtime=60.22 cores=1,3,5,7
/proc/5296/stat : 5296 (glucosInc) R 5279 5278 4091 0 -1 4202496 80216 0 0 0 5974 48 0 0 20 0 1 0 279558675 543289344 119001 33554432000 4194304 5654031 140733413123056 140733413121080 4216456 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5296/statm: 132639 119001 141 357 0 132279 0
Current children cumulated CPU time (s) 222.03
Current children cumulated vsize (KiB) 656148
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29851588/32873844 swapFree=7112/7112
[pid=5278] ppid=5276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5278/stat : 5278 (npSolver-pbo-It) S 5276 5278 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279542469 9367552 275 33554432000 4194304 5064252 140733521772128 140733521771040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5278/statm: 2287 275 233 213 0 72 0
[pid=5279] ppid=5278 vsize=117320 CPUtime=1000.33 cores=1,3,5,7
/proc/5279/stat : 5279 (npSolver-pbo) S 5278 5278 4091 0 -1 4202496 68828 663435 0 0 1743 346 97557 387 20 0 1 0 279542470 120135680 26130 33554432000 4194304 5992684 140733994229232 140733994215064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 23 0 0
/proc/5279/statm: 29330 26130 206 440 0 28886 0
[pid=5397] ppid=5279 vsize=372244 CPUtime=361.51 cores=1,3,5,7
/proc/5397/stat : 5397 (glucosInc) R 5279 5278 4091 0 -1 4202496 67180 0 0 0 36122 29 0 0 20 0 1 0 279642534 381177856 88750 33554432000 4194304 5654031 140734530515360 140734530503176 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5397/statm: 93061 88750 142 357 0 92701 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 498712
[startup+1422.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 5400
/proc/meminfo: memFree=29758176/32873844 swapFree=7112/7112
[pid=5278] ppid=5276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5278/stat : 5278 (npSolver-pbo-It) S 5276 5278 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279542469 9367552 275 33554432000 4194304 5064252 140733521772128 140733521771040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5278/statm: 2287 275 233 213 0 72 0
[pid=5279] ppid=5278 vsize=117320 CPUtime=1000.33 cores=1,3,5,7
/proc/5279/stat : 5279 (npSolver-pbo) S 5278 5278 4091 0 -1 4202496 68828 663435 0 0 1743 346 97557 387 20 0 1 0 279542470 120135680 26130 33554432000 4194304 5992684 140733994229232 140733994215064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 23 0 0
/proc/5279/statm: 29330 26130 206 440 0 28886 0
[pid=5397] ppid=5279 vsize=427856 CPUtime=421.5 cores=1,3,5,7
/proc/5397/stat : 5397 (glucosInc) R 5279 5278 4091 0 -1 4202496 68433 0 0 0 42120 30 0 0 20 0 1 0 279642534 438124544 92044 33554432000 4194304 5654031 140734530515360 140734530503176 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5397/statm: 106964 92044 142 357 0 106604 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 554324
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/184 5403
/proc/meminfo: memFree=29810884/32873844 swapFree=7112/7112
[pid=5278] ppid=5276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5278/stat : 5278 (npSolver-pbo-It) S 5276 5278 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279542469 9367552 275 33554432000 4194304 5064252 140733521772128 140733521771040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5278/statm: 2287 275 233 213 0 72 0
[pid=5279] ppid=5278 vsize=117320 CPUtime=1000.33 cores=1,3,5,7
/proc/5279/stat : 5279 (npSolver-pbo) S 5278 5278 4091 0 -1 4202496 68828 663435 0 0 1743 346 97557 387 20 0 1 0 279542470 120135680 26130 33554432000 4194304 5992684 140733994229232 140733994215064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 23 0 0
/proc/5279/statm: 29330 26130 206 440 0 28886 0
[pid=5397] ppid=5279 vsize=427856 CPUtime=481.49 cores=1,3,5,7
/proc/5397/stat : 5397 (glucosInc) R 5279 5278 4091 0 -1 4202496 68436 0 0 0 48119 30 0 0 20 0 1 0 279642534 438124544 93580 33554432000 4194304 5654031 140734530515360 140734530503176 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5397/statm: 106964 93580 142 357 0 106604 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 554324
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 5403
/proc/meminfo: memFree=29754188/32873844 swapFree=7112/7112
[pid=5278] ppid=5276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5278/stat : 5278 (npSolver-pbo-It) S 5276 5278 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279542469 9367552 275 33554432000 4194304 5064252 140733521772128 140733521771040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5278/statm: 2287 275 233 213 0 72 0
[pid=5279] ppid=5278 vsize=117320 CPUtime=1000.33 cores=1,3,5,7
/proc/5279/stat : 5279 (npSolver-pbo) S 5278 5278 4091 0 -1 4202496 68828 663435 0 0 1743 346 97557 387 20 0 1 0 279542470 120135680 26130 33554432000 4194304 5992684 140733994229232 140733994215064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 23 0 0
/proc/5279/statm: 29330 26130 206 440 0 28886 0
[pid=5397] ppid=5279 vsize=377768 CPUtime=541.48 cores=1,3,5,7
/proc/5397/stat : 5397 (glucosInc) R 5279 5278 4091 0 -1 4202496 69054 0 0 0 54116 32 0 0 20 0 1 0 279642534 386834432 90719 33554432000 4194304 5654031 140734530515360 140734530503176 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5397/statm: 94442 90719 142 357 0 94082 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 504236
[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 5403
/proc/meminfo: memFree=29843088/32873844 swapFree=7112/7112
[pid=5278] ppid=5276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5278/stat : 5278 (npSolver-pbo-It) S 5276 5278 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279542469 9367552 275 33554432000 4194304 5064252 140733521772128 140733521771040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5278/statm: 2287 275 233 213 0 72 0
[pid=5279] ppid=5278 vsize=117320 CPUtime=1000.33 cores=1,3,5,7
/proc/5279/stat : 5279 (npSolver-pbo) S 5278 5278 4091 0 -1 4202496 68828 663435 0 0 1743 346 97557 387 20 0 1 0 279542470 120135680 26130 33554432000 4194304 5992684 140733994229232 140733994215064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 23 0 0
/proc/5279/statm: 29330 26130 206 440 0 28886 0
[pid=5397] ppid=5279 vsize=427856 CPUtime=601.48 cores=1,3,5,7
/proc/5397/stat : 5397 (glucosInc) R 5279 5278 4091 0 -1 4202496 69429 0 0 0 60115 33 0 0 20 0 1 0 279642534 438124544 92626 33554432000 4194304 5654031 140734530515360 140734530503176 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5397/statm: 106964 92626 142 357 0 106604 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 554324
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 5403
/proc/meminfo: memFree=29794832/32873844 swapFree=7112/7112
[pid=5278] ppid=5276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5278/stat : 5278 (npSolver-pbo-It) S 5276 5278 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279542469 9367552 275 33554432000 4194304 5064252 140733521772128 140733521771040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5278/statm: 2287 275 233 213 0 72 0
[pid=5279] ppid=5278 vsize=117320 CPUtime=1000.33 cores=1,3,5,7
/proc/5279/stat : 5279 (npSolver-pbo) S 5278 5278 4091 0 -1 4202496 68828 663435 0 0 1743 346 97557 387 20 0 1 0 279542470 120135680 26130 33554432000 4194304 5992684 140733994229232 140733994215064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 23 0 0
/proc/5279/statm: 29330 26130 206 440 0 28886 0
[pid=5397] ppid=5279 vsize=377768 CPUtime=661.47 cores=1,3,5,7
/proc/5397/stat : 5397 (glucosInc) R 5279 5278 4091 0 -1 4202496 70046 0 0 0 66112 35 0 0 20 0 1 0 279642534 386834432 90286 33554432000 4194304 5654031 140734530515360 140734530503176 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5397/statm: 94442 90286 142 357 0 94082 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 504236
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 5404
/proc/meminfo: memFree=29732628/32873844 swapFree=7112/7112
[pid=5278] ppid=5276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5278/stat : 5278 (npSolver-pbo-It) S 5276 5278 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279542469 9367552 275 33554432000 4194304 5064252 140733521772128 140733521771040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5278/statm: 2287 275 233 213 0 72 0
[pid=5279] ppid=5278 vsize=117320 CPUtime=1000.33 cores=1,3,5,7
/proc/5279/stat : 5279 (npSolver-pbo) S 5278 5278 4091 0 -1 4202496 68828 663435 0 0 1743 346 97557 387 20 0 1 0 279542470 120135680 26130 33554432000 4194304 5992684 140733994229232 140733994215064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 23 0 0
/proc/5279/statm: 29330 26130 206 440 0 28886 0
[pid=5397] ppid=5279 vsize=432620 CPUtime=721.46 cores=1,3,5,7
/proc/5397/stat : 5397 (glucosInc) R 5279 5278 4091 0 -1 4202496 70865 0 0 0 72110 36 0 0 20 0 1 0 279642534 443002880 94170 33554432000 4194304 5654031 140734530515360 140734530503176 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5397/statm: 108155 94170 142 357 0 107795 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 559088
[startup+1782.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5404
/proc/meminfo: memFree=29689288/32873844 swapFree=7112/7112
[pid=5278] ppid=5276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5278/stat : 5278 (npSolver-pbo-It) S 5276 5278 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279542469 9367552 275 33554432000 4194304 5064252 140733521772128 140733521771040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5278/statm: 2287 275 233 213 0 72 0
[pid=5279] ppid=5278 vsize=117320 CPUtime=1000.33 cores=1,3,5,7
/proc/5279/stat : 5279 (npSolver-pbo) S 5278 5278 4091 0 -1 4202496 68828 663435 0 0 1743 346 97557 387 20 0 1 0 279542470 120135680 26130 33554432000 4194304 5992684 140733994229232 140733994215064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 23 0 0
/proc/5279/statm: 29330 26130 206 440 0 28886 0
[pid=5397] ppid=5279 vsize=432620 CPUtime=781.45 cores=1,3,5,7
/proc/5397/stat : 5397 (glucosInc) R 5279 5278 4091 0 -1 4202496 70868 0 0 0 78109 36 0 0 20 0 1 0 279642534 443002880 95706 33554432000 4194304 5654031 140734530515360 140734530503176 4217184 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5397/statm: 108155 95706 142 357 0 107795 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 559088
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5404
/proc/meminfo: memFree=29807976/32873844 swapFree=7112/7112
[pid=5278] ppid=5276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5278/stat : 5278 (npSolver-pbo-It) S 5276 5278 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279542469 9367552 275 33554432000 4194304 5064252 140733521772128 140733521771040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5278/statm: 2287 275 233 213 0 72 0
[pid=5279] ppid=5278 vsize=117320 CPUtime=1000.33 cores=1,3,5,7
/proc/5279/stat : 5279 (npSolver-pbo) S 5278 5278 4091 0 -1 4202496 68828 663435 0 0 1743 346 97557 387 20 0 1 0 279542470 120135680 26130 33554432000 4194304 5992684 140733994229232 140733994215064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 23 0 0
/proc/5279/statm: 29330 26130 206 440 0 28886 0
[pid=5397] ppid=5279 vsize=432620 CPUtime=799.75 cores=1,3,5,7
/proc/5397/stat : 5397 (glucosInc) R 5279 5278 4091 0 -1 4202496 70875 0 0 0 79939 36 0 0 20 0 1 0 279642534 443002880 96730 33554432000 4194304 5654031 140734530515360 140734530503176 4214632 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5397/statm: 108155 96730 142 357 0 107795 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 559088
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5404
/proc/meminfo: memFree=29807976/32873844 swapFree=7112/7112
[pid=5278] ppid=5276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5278/stat : 5278 (npSolver-pbo-It) S 5276 5278 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279542469 9367552 275 33554432000 4194304 5064252 140733521772128 140733521771040 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5278/statm: 2287 275 233 213 0 72 0
[pid=5279] ppid=5278 vsize=117320 CPUtime=1000.33 cores=1,3,5,7
/proc/5279/stat : 5279 (npSolver-pbo) S 5278 5278 4091 0 -1 4202496 68828 663435 0 0 1743 346 97557 387 20 0 1 0 279542470 120135680 26130 33554432000 4194304 5992684 140733994229232 140733994215064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 23 0 0
/proc/5279/statm: 29330 26130 206 440 0 28886 0
[pid=5397] ppid=5279 vsize=432620 CPUtime=799.75 cores=1,3,5,7
/proc/5397/stat : 5397 (glucosInc) R 5279 5278 4091 0 -1 4202496 70875 0 0 0 79939 36 0 0 20 0 1 0 279642534 443002880 96730 33554432000 4194304 5654031 140734530515360 140734530503176 4214632 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5397/statm: 108155 96730 142 357 0 107795 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 559088
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5278 and gives
# childrusage.ru_utime.tv_sec=993
# childrusage.ru_utime.tv_usec=15038
# childrusage.ru_stime.tv_sec=7
# childrusage.ru_stime.tv_usec=347882
# CPU time returned by wait4() is 1000.36
# 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): 1800.62
CPU time (s): 1800.08
CPU user time (s): 1792.39
CPU system time (s): 7.69
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 1000856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 993.015
system time used= 7.34788
maximum resident set size= 705400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 732621
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2613544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15554
involuntary context switches= 1982
runsolver used 4.35034 second user time and 10.9143 second system time
The end