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-3700064-1338122416/watcher-3700064-1338122416 -o /tmp/evaluation-result-3700064-1338122416/solver-3700064-1338122416 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3700064-1338122416.opb 583551696 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.00 2.00 2.07 3/179 18614
/proc/meminfo: memFree=30861720/32873844 swapFree=7900/7900
[pid=18614] ppid=18612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18614/stat : 18614 (npSolver-pbo-I.) S 18612 18614 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278366185 9367552 274 33554432000 4194304 5064252 140736917273776 140736917272688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18614/statm: 2287 274 233 213 0 72 0
[startup+0.0154629 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 18614
/proc/meminfo: memFree=30861720/32873844 swapFree=7900/7900
[pid=18614] ppid=18612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18614/stat : 18614 (npSolver-pbo-I.) S 18612 18614 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278366185 9367552 274 33554432000 4194304 5064252 140736917273776 140736917272688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18614/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100259 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 18614
/proc/meminfo: memFree=30861720/32873844 swapFree=7900/7900
[pid=18614] ppid=18612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18614/stat : 18614 (npSolver-pbo-I.) S 18612 18614 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278366185 9367552 274 33554432000 4194304 5064252 140736917273776 140736917272688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18614/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300239 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 18614
/proc/meminfo: memFree=30861720/32873844 swapFree=7900/7900
[pid=18614] ppid=18612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18614/stat : 18614 (npSolver-pbo-I.) S 18612 18614 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278366185 9367552 274 33554432000 4194304 5064252 140736917273776 140736917272688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18614/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.7003 s]
/proc/loadavg: 2.00 2.00 2.07 3/179 18614
/proc/meminfo: memFree=30861720/32873844 swapFree=7900/7900
[pid=18614] ppid=18612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18614/stat : 18614 (npSolver-pbo-I.) S 18612 18614 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278366185 9367552 274 33554432000 4194304 5064252 140736917273776 140736917272688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18614/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.07 3/181 18616
/proc/meminfo: memFree=30785040/32873844 swapFree=7900/7900
[pid=18614] ppid=18612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18614/stat : 18614 (npSolver-pbo-I.) S 18612 18614 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278366185 9367552 274 33554432000 4194304 5064252 140736917273776 140736917272688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18614/statm: 2287 274 233 213 0 72 0
[pid=18615] ppid=18614 vsize=102564 CPUtime=1.36 cores=1,3,5,7
/proc/18615/stat : 18615 (npSolver-pbo) S 18614 18614 18146 0 -1 4202496 13022 0 0 0 120 16 0 0 20 0 1 0 278366185 105025536 22709 33554432000 4194304 5992684 140734631013728 140734631008176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18615/statm: 25641 22709 174 440 0 25197 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 111712
[startup+3.10044 s]
/proc/loadavg: 2.00 2.00 2.07 3/183 18618
/proc/meminfo: memFree=30632248/32873844 swapFree=7900/7900
[pid=18614] ppid=18612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18614/stat : 18614 (npSolver-pbo-I.) S 18612 18614 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278366185 9367552 274 33554432000 4194304 5064252 140736917273776 140736917272688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18614/statm: 2287 274 233 213 0 72 0
[pid=18615] ppid=18614 vsize=102564 CPUtime=1.36 cores=1,3,5,7
/proc/18615/stat : 18615 (npSolver-pbo) S 18614 18614 18146 0 -1 4202496 13022 0 0 0 120 16 0 0 20 0 1 0 278366185 105025536 22709 33554432000 4194304 5992684 140734631013728 140734631008176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18615/statm: 25641 22709 174 440 0 25197 0
[pid=18617] ppid=18615 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18617/stat : 18617 (cp2_pre.sh) S 18615 18614 18146 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 278366322 9367552 277 33554432000 4194304 5064252 140733741914176 140733741912880 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18617/statm: 2287 277 234 213 0 72 0
[pid=18618] ppid=18617 vsize=245484 CPUtime=1.71 cores=1,3,5,7
/proc/18618/stat : 18618 (coprocessor) R 18617 18614 18146 0 -1 4202496 34183 0 0 0 162 9 0 0 20 0 1 0 278366323 251375616 55947 33554432000 4194304 6586260 140734851977696 140734851973960 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/18618/statm: 61371 55947 166 584 0 60783 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 366344
[startup+6.30042 s]
/proc/loadavg: 2.00 2.00 2.07 3/183 18618
/proc/meminfo: memFree=30416596/32873844 swapFree=7900/7900
[pid=18614] ppid=18612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18614/stat : 18614 (npSolver-pbo-I.) S 18612 18614 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278366185 9367552 274 33554432000 4194304 5064252 140736917273776 140736917272688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18614/statm: 2287 274 233 213 0 72 0
[pid=18615] ppid=18614 vsize=102564 CPUtime=1.36 cores=1,3,5,7
/proc/18615/stat : 18615 (npSolver-pbo) S 18614 18614 18146 0 -1 4202496 13022 0 0 0 120 16 0 0 20 0 1 0 278366185 105025536 22709 33554432000 4194304 5992684 140734631013728 140734631008176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18615/statm: 25641 22709 174 440 0 25197 0
[pid=18617] ppid=18615 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18617/stat : 18617 (cp2_pre.sh) S 18615 18614 18146 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 278366322 9367552 277 33554432000 4194304 5064252 140733741914176 140733741912880 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18617/statm: 2287 277 234 213 0 72 0
[pid=18618] ppid=18617 vsize=313040 CPUtime=4.91 cores=1,3,5,7
/proc/18618/stat : 18618 (coprocessor) R 18617 18614 18146 0 -1 4202496 46829 0 0 0 471 20 0 0 20 0 1 0 278366323 320552960 76768 33554432000 4194304 6586260 140734851977696 140734851973368 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/18618/statm: 78260 76768 204 584 0 77672 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 433900
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.07 3/182 18620
/proc/meminfo: memFree=30645564/32873844 swapFree=7900/7900
[pid=18614] ppid=18612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18614/stat : 18614 (npSolver-pbo-I.) S 18612 18614 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278366185 9367552 274 33554432000 4194304 5064252 140736917273776 140736917272688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18614/statm: 2287 274 233 213 0 72 0
[pid=18615] ppid=18614 vsize=102564 CPUtime=7.02 cores=1,3,5,7
/proc/18615/stat : 18615 (npSolver-pbo) S 18614 18614 18146 0 -1 4202496 13038 47732 0 0 120 16 540 26 20 0 1 0 278366185 105025536 22711 33554432000 4194304 5992684 140734631013728 140734630999992 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18615/statm: 25641 22711 176 440 0 25197 0
[pid=18620] ppid=18615 vsize=112676 CPUtime=5.64 cores=1,3,5,7
/proc/18620/stat : 18620 (glucosInc) R 18615 18614 18146 0 -1 4202496 22375 0 0 0 558 6 0 0 20 0 1 0 278366889 115380224 25566 33554432000 4194304 5654031 140736971705520 140736971703128 4215200 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18620/statm: 28169 25566 139 357 0 27809 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 224388
[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.08 3/182 18620
/proc/meminfo: memFree=30646812/32873844 swapFree=7900/7900
[pid=18614] ppid=18612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18614/stat : 18614 (npSolver-pbo-I.) S 18612 18614 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278366185 9367552 274 33554432000 4194304 5064252 140736917273776 140736917272688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18614/statm: 2287 274 233 213 0 72 0
[pid=18615] ppid=18614 vsize=102564 CPUtime=7.02 cores=1,3,5,7
/proc/18615/stat : 18615 (npSolver-pbo) S 18614 18614 18146 0 -1 4202496 13038 47732 0 0 120 16 540 26 20 0 1 0 278366185 105025536 22711 33554432000 4194304 5992684 140734631013728 140734630999992 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18615/statm: 25641 22711 176 440 0 25197 0
[pid=18620] ppid=18615 vsize=112676 CPUtime=18.44 cores=1,3,5,7
/proc/18620/stat : 18620 (glucosInc) R 18615 18614 18146 0 -1 4202496 22375 0 0 0 1838 6 0 0 20 0 1 0 278366889 115380224 25566 33554432000 4194304 5654031 140736971705520 140736971703128 4215009 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18620/statm: 28169 25566 139 357 0 27809 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 224388
[startup+51.1004 s]
/proc/loadavg: 2.05 2.01 2.07 3/181 18620
/proc/meminfo: memFree=30645580/32873844 swapFree=7900/7900
[pid=18614] ppid=18612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18614/stat : 18614 (npSolver-pbo-I.) S 18612 18614 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278366185 9367552 274 33554432000 4194304 5064252 140736917273776 140736917272688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18614/statm: 2287 274 233 213 0 72 0
[pid=18615] ppid=18614 vsize=102564 CPUtime=7.02 cores=1,3,5,7
/proc/18615/stat : 18615 (npSolver-pbo) S 18614 18614 18146 0 -1 4202496 13038 47732 0 0 120 16 540 26 20 0 1 0 278366185 105025536 22711 33554432000 4194304 5992684 140734631013728 140734630999992 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18615/statm: 25641 22711 176 440 0 25197 0
[pid=18620] ppid=18615 vsize=115220 CPUtime=44.03 cores=1,3,5,7
/proc/18620/stat : 18620 (glucosInc) R 18615 18614 18146 0 -1 4202496 22711 0 0 0 4397 6 0 0 20 0 1 0 278366889 117985280 25902 33554432000 4194304 5654031 140736971705520 140736971703288 4215168 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18620/statm: 28805 25902 139 357 0 28445 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 226932
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.07 3/181 18620
/proc/meminfo: memFree=30643224/32873844 swapFree=7900/7900
[pid=18614] ppid=18612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18614/stat : 18614 (npSolver-pbo-I.) S 18612 18614 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278366185 9367552 274 33554432000 4194304 5064252 140736917273776 140736917272688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18614/statm: 2287 274 233 213 0 72 0
[pid=18615] ppid=18614 vsize=102564 CPUtime=7.02 cores=1,3,5,7
/proc/18615/stat : 18615 (npSolver-pbo) S 18614 18614 18146 0 -1 4202496 13038 47732 0 0 120 16 540 26 20 0 1 0 278366185 105025536 22711 33554432000 4194304 5992684 140734631013728 140734630999992 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18615/statm: 25641 22711 176 440 0 25197 0
[pid=18620] ppid=18615 vsize=126896 CPUtime=95.23 cores=1,3,5,7
/proc/18620/stat : 18620 (glucosInc) R 18615 18614 18146 0 -1 4202496 23023 0 0 0 9517 6 0 0 20 0 1 0 278366889 129941504 26204 33554432000 4194304 5654031 140736971705520 140736971693336 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18620/statm: 31724 26204 139 357 0 31364 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 238608
[startup+162.3 s]
/proc/loadavg: 2.05 2.02 2.07 3/181 18621
/proc/meminfo: memFree=30633248/32873844 swapFree=7900/7900
[pid=18614] ppid=18612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18614/stat : 18614 (npSolver-pbo-I.) S 18612 18614 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278366185 9367552 274 33554432000 4194304 5064252 140736917273776 140736917272688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18614/statm: 2287 274 233 213 0 72 0
[pid=18615] ppid=18614 vsize=102564 CPUtime=7.02 cores=1,3,5,7
/proc/18615/stat : 18615 (npSolver-pbo) S 18614 18614 18146 0 -1 4202496 13038 47732 0 0 120 16 540 26 20 0 1 0 278366185 105025536 22711 33554432000 4194304 5992684 140734631013728 140734630999992 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18615/statm: 25641 22711 176 440 0 25197 0
[pid=18620] ppid=18615 vsize=127860 CPUtime=155.21 cores=1,3,5,7
/proc/18620/stat : 18620 (glucosInc) R 18615 18614 18146 0 -1 4202496 23712 0 0 0 15515 6 0 0 20 0 1 0 278366889 130928640 27388 33554432000 4194304 5654031 140736971705520 140736971703288 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18620/statm: 31965 27388 139 357 0 31605 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 239572
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.06 3/181 18621
/proc/meminfo: memFree=30634048/32873844 swapFree=7900/7900
[pid=18614] ppid=18612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18614/stat : 18614 (npSolver-pbo-I.) S 18612 18614 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278366185 9367552 274 33554432000 4194304 5064252 140736917273776 140736917272688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18614/statm: 2287 274 233 213 0 72 0
[pid=18615] ppid=18614 vsize=102564 CPUtime=7.02 cores=1,3,5,7
/proc/18615/stat : 18615 (npSolver-pbo) S 18614 18614 18146 0 -1 4202496 13038 47732 0 0 120 16 540 26 20 0 1 0 278366185 105025536 22711 33554432000 4194304 5992684 140734631013728 140734630999992 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18615/statm: 25641 22711 176 440 0 25197 0
[pid=18620] ppid=18615 vsize=129096 CPUtime=215.21 cores=1,3,5,7
/proc/18620/stat : 18620 (glucosInc) R 18615 18614 18146 0 -1 4202496 24585 0 0 0 21513 8 0 0 20 0 1 0 278366889 132194304 26619 33554432000 4194304 5654031 140736971705520 140736971693336 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18620/statm: 32274 26619 141 357 0 31914 0
Current children cumulated CPU time (s) 222.23
################
# More data... #
################
/proc/18620/stat : 18620 (glucosInc) R 18615 18614 18146 0 -1 4202496 26838 0 0 0 63504 10 0 0 20 0 1 0 278366889 134303744 29833 33554432000 4194304 5654031 140736971705520 140736971703304 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18620/statm: 32789 29833 141 357 0 32429 0
Current children cumulated CPU time (s) 642.16
Current children cumulated vsize (KiB) 242868
[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/181 18669
/proc/meminfo: memFree=30687712/32873844 swapFree=7900/7900
[pid=18614] ppid=18612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18614/stat : 18614 (npSolver-pbo-I.) S 18612 18614 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278366185 9367552 274 33554432000 4194304 5064252 140736917273776 140736917272688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18614/statm: 2287 274 233 213 0 72 0
[pid=18615] ppid=18614 vsize=102564 CPUtime=7.02 cores=1,3,5,7
/proc/18615/stat : 18615 (npSolver-pbo) S 18614 18614 18146 0 -1 4202496 13038 47732 0 0 120 16 540 26 20 0 1 0 278366185 105025536 22711 33554432000 4194304 5992684 140734631013728 140734630999992 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18615/statm: 25641 22711 176 440 0 25197 0
[pid=18620] ppid=18615 vsize=131348 CPUtime=695.13 cores=1,3,5,7
/proc/18620/stat : 18620 (glucosInc) R 18615 18614 18146 0 -1 4202496 26884 0 0 0 69503 10 0 0 20 0 1 0 278366889 134500352 30390 33554432000 4194304 5654031 140736971705520 140736971703208 4215091 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18620/statm: 32837 30390 141 357 0 32477 0
Current children cumulated CPU time (s) 702.15
Current children cumulated vsize (KiB) 243060
[startup+762.307 s]
/proc/loadavg: 2.00 2.00 2.02 3/180 18669
/proc/meminfo: memFree=30658948/32873844 swapFree=7900/7900
[pid=18614] ppid=18612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18614/stat : 18614 (npSolver-pbo-I.) S 18612 18614 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278366185 9367552 274 33554432000 4194304 5064252 140736917273776 140736917272688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18614/statm: 2287 274 233 213 0 72 0
[pid=18615] ppid=18614 vsize=102564 CPUtime=7.02 cores=1,3,5,7
/proc/18615/stat : 18615 (npSolver-pbo) S 18614 18614 18146 0 -1 4202496 13038 47732 0 0 120 16 540 26 20 0 1 0 278366185 105025536 22711 33554432000 4194304 5992684 140734631013728 140734630999992 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18615/statm: 25641 22711 176 440 0 25197 0
[pid=18620] ppid=18615 vsize=180668 CPUtime=755.13 cores=1,3,5,7
/proc/18620/stat : 18620 (glucosInc) R 18615 18614 18146 0 -1 4202496 27112 0 0 0 75502 11 0 0 20 0 1 0 278366889 185004032 38794 33554432000 4194304 5654031 140736971705520 140736971693336 4215112 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18620/statm: 45167 38794 141 357 0 44807 0
Current children cumulated CPU time (s) 762.15
Current children cumulated vsize (KiB) 292380
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 18670
/proc/meminfo: memFree=30645100/32873844 swapFree=7900/7900
[pid=18614] ppid=18612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18614/stat : 18614 (npSolver-pbo-I.) S 18612 18614 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278366185 9367552 274 33554432000 4194304 5064252 140736917273776 140736917272688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18614/statm: 2287 274 233 213 0 72 0
[pid=18615] ppid=18614 vsize=102564 CPUtime=7.02 cores=1,3,5,7
/proc/18615/stat : 18615 (npSolver-pbo) S 18614 18614 18146 0 -1 4202496 13038 47732 0 0 120 16 540 26 20 0 1 0 278366185 105025536 22711 33554432000 4194304 5992684 140734631013728 140734630999992 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18615/statm: 25641 22711 176 440 0 25197 0
[pid=18620] ppid=18615 vsize=180668 CPUtime=815.11 cores=1,3,5,7
/proc/18620/stat : 18620 (glucosInc) R 18615 18614 18146 0 -1 4202496 27121 0 0 0 81500 11 0 0 20 0 1 0 278366889 185004032 40850 33554432000 4194304 5654031 140736971705520 140736971693336 4215040 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18620/statm: 45167 40850 141 357 0 44807 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 292380
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/181 18670
/proc/meminfo: memFree=30657948/32873844 swapFree=7900/7900
[pid=18614] ppid=18612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18614/stat : 18614 (npSolver-pbo-I.) S 18612 18614 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278366185 9367552 274 33554432000 4194304 5064252 140736917273776 140736917272688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18614/statm: 2287 274 233 213 0 72 0
[pid=18615] ppid=18614 vsize=102564 CPUtime=7.02 cores=1,3,5,7
/proc/18615/stat : 18615 (npSolver-pbo) S 18614 18614 18146 0 -1 4202496 13038 47732 0 0 120 16 540 26 20 0 1 0 278366185 105025536 22711 33554432000 4194304 5992684 140734631013728 140734630999992 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18615/statm: 25641 22711 176 440 0 25197 0
[pid=18620] ppid=18615 vsize=161748 CPUtime=875.1 cores=1,3,5,7
/proc/18620/stat : 18620 (glucosInc) R 18615 18614 18146 0 -1 4202496 27387 0 0 0 87499 11 0 0 20 0 1 0 278366889 165629952 37379 33554432000 4194304 5654031 140736971705520 140736971693336 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18620/statm: 40437 37379 141 357 0 40077 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 273460
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18670
/proc/meminfo: memFree=30618044/32873844 swapFree=7900/7900
[pid=18614] ppid=18612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18614/stat : 18614 (npSolver-pbo-I.) S 18612 18614 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278366185 9367552 274 33554432000 4194304 5064252 140736917273776 140736917272688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18614/statm: 2287 274 233 213 0 72 0
[pid=18615] ppid=18614 vsize=102564 CPUtime=7.02 cores=1,3,5,7
/proc/18615/stat : 18615 (npSolver-pbo) S 18614 18614 18146 0 -1 4202496 13038 47732 0 0 120 16 540 26 20 0 1 0 278366185 105025536 22711 33554432000 4194304 5992684 140734631013728 140734630999992 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18615/statm: 25641 22711 176 440 0 25197 0
[pid=18620] ppid=18615 vsize=211068 CPUtime=935.09 cores=1,3,5,7
/proc/18620/stat : 18620 (glucosInc) R 18615 18614 18146 0 -1 4202496 27699 0 0 0 93497 12 0 0 20 0 1 0 278366889 216133632 46888 33554432000 4194304 5654031 140736971705520 140736971693336 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18620/statm: 52767 46888 141 357 0 52407 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 322780
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18670
/proc/meminfo: memFree=30611936/32873844 swapFree=7900/7900
[pid=18614] ppid=18612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18614/stat : 18614 (npSolver-pbo-I.) S 18612 18614 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278366185 9367552 274 33554432000 4194304 5064252 140736917273776 140736917272688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18614/statm: 2287 274 233 213 0 72 0
[pid=18615] ppid=18614 vsize=102564 CPUtime=7.02 cores=1,3,5,7
/proc/18615/stat : 18615 (npSolver-pbo) S 18614 18614 18146 0 -1 4202496 13038 47732 0 0 120 16 540 26 20 0 1 0 278366185 105025536 22711 33554432000 4194304 5992684 140734631013728 140734630999992 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18615/statm: 25641 22711 176 440 0 25197 0
[pid=18620] ppid=18615 vsize=211068 CPUtime=995.08 cores=1,3,5,7
/proc/18620/stat : 18620 (glucosInc) R 18615 18614 18146 0 -1 4202496 27712 0 0 0 99496 12 0 0 20 0 1 0 278366889 216133632 48434 33554432000 4194304 5654031 140736971705520 140736971693336 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18620/statm: 52767 48434 141 357 0 52407 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 322780
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18670
/proc/meminfo: memFree=30603840/32873844 swapFree=7900/7900
[pid=18614] ppid=18612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18614/stat : 18614 (npSolver-pbo-I.) S 18612 18614 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278366185 9367552 274 33554432000 4194304 5064252 140736917273776 140736917272688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18614/statm: 2287 274 233 213 0 72 0
[pid=18615] ppid=18614 vsize=108080 CPUtime=7.26 cores=1,3,5,7
/proc/18615/stat : 18615 (npSolver-pbo) S 18614 18614 18146 0 -1 4204032 15395 47732 0 0 133 27 540 26 20 0 1 0 278366185 110673920 24220 33554432000 4194304 5992684 140734631013728 140734631008264 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18615/statm: 27020 24220 194 440 0 26576 0
[pid=18620] ppid=18615 vsize=211076 CPUtime=1054.1 cores=1,3,5,7
/proc/18620/stat : 18620 (glucosInc) S 18615 18614 18146 0 -1 4202496 27765 0 0 0 105398 12 0 0 20 0 1 0 278366889 216141824 48487 33554432000 4194304 5654031 140736971705520 140736971703832 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18620/statm: 52769 48487 147 357 0 52409 0
Current children cumulated CPU time (s) 1061.36
Current children cumulated vsize (KiB) 328304
Solver just ended. Dumping a history of the last processes samples
[startup+1063.1 s]
/proc/loadavg: 2.00 2.00 2.00 2/182 18671
/proc/meminfo: memFree=30404936/32873844 swapFree=7900/7900
[pid=18614] ppid=18612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18614/stat : 18614 (npSolver-pbo-I.) S 18612 18614 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278366185 9367552 274 33554432000 4194304 5064252 140736917273776 140736917272688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18614/statm: 2287 274 233 213 0 72 0
[pid=18615] ppid=18614 vsize=108080 CPUtime=7.26 cores=1,3,5,7
/proc/18615/stat : 18615 (npSolver-pbo) S 18614 18614 18146 0 -1 4204032 15395 47732 0 0 133 27 540 26 20 0 1 0 278366185 110673920 24220 33554432000 4194304 5992684 140734631013728 140734631008264 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18615/statm: 27020 24220 194 440 0 26576 0
[pid=18620] ppid=18615 vsize=211076 CPUtime=1054.1 cores=1,3,5,7
/proc/18620/stat : 18620 (glucosInc) S 18615 18614 18146 0 -1 4202496 27765 0 0 0 105398 12 0 0 20 0 1 0 278366889 216141824 48487 33554432000 4194304 5654031 140736971705520 140736971703832 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18620/statm: 52769 48487 147 357 0 52409 0
Current children cumulated CPU time (s) 1061.36
Current children cumulated vsize (KiB) 328304
[startup+1063.3 s]
/proc/loadavg: 2.00 2.00 2.00 2/182 18671
/proc/meminfo: memFree=30404936/32873844 swapFree=7900/7900
[pid=18614] ppid=18612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18614/stat : 18614 (npSolver-pbo-I.) S 18612 18614 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278366185 9367552 274 33554432000 4194304 5064252 140736917273776 140736917272688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18614/statm: 2287 274 233 213 0 72 0
[pid=18615] ppid=18614 vsize=108080 CPUtime=7.26 cores=1,3,5,7
/proc/18615/stat : 18615 (npSolver-pbo) S 18614 18614 18146 0 -1 4204032 15395 47732 0 0 133 27 540 26 20 0 1 0 278366185 110673920 24220 33554432000 4194304 5992684 140734631013728 140734631008264 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18615/statm: 27020 24220 194 440 0 26576 0
[pid=18620] ppid=18615 vsize=211076 CPUtime=1054.1 cores=1,3,5,7
/proc/18620/stat : 18620 (glucosInc) S 18615 18614 18146 0 -1 4202496 27765 0 0 0 105398 12 0 0 20 0 1 0 278366889 216141824 48487 33554432000 4194304 5654031 140736971705520 140736971703832 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18620/statm: 52769 48487 147 357 0 52409 0
Current children cumulated CPU time (s) 1061.36
Current children cumulated vsize (KiB) 328304
[startup+1063.4 s]
/proc/loadavg: 2.00 2.00 2.00 2/182 18671
/proc/meminfo: memFree=30404936/32873844 swapFree=7900/7900
[pid=18614] ppid=18612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18614/stat : 18614 (npSolver-pbo-I.) S 18612 18614 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 278366185 9367552 274 33554432000 4194304 5064252 140736917273776 140736917272688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18614/statm: 2287 274 233 213 0 72 0
[pid=18615] ppid=18614 vsize=108080 CPUtime=7.26 cores=1,3,5,7
/proc/18615/stat : 18615 (npSolver-pbo) S 18614 18614 18146 0 -1 4204032 15395 47732 0 0 133 27 540 26 20 0 1 0 278366185 110673920 24220 33554432000 4194304 5992684 140734631013728 140734631008264 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18615/statm: 27020 24220 194 440 0 26576 0
[pid=18620] ppid=18615 vsize=211076 CPUtime=1054.1 cores=1,3,5,7
/proc/18620/stat : 18620 (glucosInc) S 18615 18614 18146 0 -1 4202496 27765 0 0 0 105398 12 0 0 20 0 1 0 278366889 216141824 48487 33554432000 4194304 5654031 140736971705520 140736971703832 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18620/statm: 52769 48487 147 357 0 52409 0
Current children cumulated CPU time (s) 1061.36
Current children cumulated vsize (KiB) 328304
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18614 and gives
# childrusage.ru_utime.tv_sec=6
# childrusage.ru_utime.tv_usec=744974
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=543917
# CPU time returned by wait4() is 7.28889
# while last known CPU time is 1061.36
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1063.49
CPU time (s): 1061.36
CPU user time (s): 1060.71
CPU system time (s): 0.65
CPU usage (%): 99.7995
Max. virtual memory (cumulated for all children) (KiB): 433900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.74497
system time used= 0.543917
maximum resident set size= 315240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63500
page faults= 0
swaps= 0
block input operations= 0
block output operations= 151008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25750
involuntary context switches= 16
runsolver used 1.88571 second user time and 4.86826 second system time
The end