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-3697754-1338132771/watcher-3697754-1338132771 -o /tmp/evaluation-result-3697754-1338132771/solver-3697754-1338132771 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697754-1338132771.opb 1858397058 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 2485
/proc/meminfo: memFree=29097412/32873852 swapFree=6856/6856
[pid=2485] ppid=2483 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2485/stat : 2485 (npSolver-pbo-It) S 2483 2485 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279402972 9367552 274 33554432000 4194304 5064252 140735078367376 140735078366288 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2485/statm: 2287 274 233 213 0 72 0
[startup+0.0674679 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 2485
/proc/meminfo: memFree=29097412/32873852 swapFree=6856/6856
[pid=2485] ppid=2483 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2485/stat : 2485 (npSolver-pbo-It) S 2483 2485 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279402972 9367552 274 33554432000 4194304 5064252 140735078367376 140735078366288 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2485/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: 1.92 1.98 1.99 3/176 2485
/proc/meminfo: memFree=29097412/32873852 swapFree=6856/6856
[pid=2485] ppid=2483 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2485/stat : 2485 (npSolver-pbo-It) S 2483 2485 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279402972 9367552 274 33554432000 4194304 5064252 140735078367376 140735078366288 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2485/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300273 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 2485
/proc/meminfo: memFree=29097412/32873852 swapFree=6856/6856
[pid=2485] ppid=2483 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2485/stat : 2485 (npSolver-pbo-It) S 2483 2485 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279402972 9367552 274 33554432000 4194304 5064252 140735078367376 140735078366288 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2485/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700271 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 2485
/proc/meminfo: memFree=29097412/32873852 swapFree=6856/6856
[pid=2485] ppid=2483 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2485/stat : 2485 (npSolver-pbo-It) S 2483 2485 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279402972 9367552 274 33554432000 4194304 5064252 140735078367376 140735078366288 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2485/statm: 2287 274 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/180 2489
/proc/meminfo: memFree=28872032/32873852 swapFree=6856/6856
[pid=2485] ppid=2483 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2485/stat : 2485 (npSolver-pbo-It) S 2483 2485 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279402972 9367552 274 33554432000 4194304 5064252 140735078367376 140735078366288 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2485/statm: 2287 274 233 213 0 72 0
[pid=2486] ppid=2485 vsize=54660 CPUtime=0.56 cores=0,2,4,6
/proc/2486/stat : 2486 (npSolver-pbo) S 2485 2485 1566 0 -1 4202496 8722 0 0 0 49 7 0 0 20 0 1 0 279402972 55971840 10429 33554432000 4194304 5992684 140737195488448 140737195482896 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2486/statm: 13665 10429 172 440 0 13221 0
[pid=2488] ppid=2486 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2488/stat : 2488 (cp2_pre.sh) S 2486 2485 1566 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 279403029 9367552 277 33554432000 4194304 5064252 140733961931152 140733961929856 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2488/statm: 2287 277 234 213 0 72 0
[pid=2489] ppid=2488 vsize=223212 CPUtime=0.92 cores=0,2,4,6
/proc/2489/stat : 2489 (coprocessor) R 2488 2485 1566 0 -1 4202496 33199 0 0 0 85 7 0 0 20 0 1 0 279403029 228569088 50087 33554432000 4194304 6586260 140736575171568 140736575167832 5511711 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/2489/statm: 55803 50087 166 584 0 55215 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 296168
[startup+3.10038 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 2489
/proc/meminfo: memFree=28798164/32873852 swapFree=6856/6856
[pid=2485] ppid=2483 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2485/stat : 2485 (npSolver-pbo-It) S 2483 2485 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279402972 9367552 274 33554432000 4194304 5064252 140735078367376 140735078366288 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2485/statm: 2287 274 233 213 0 72 0
[pid=2486] ppid=2485 vsize=54660 CPUtime=0.56 cores=0,2,4,6
/proc/2486/stat : 2486 (npSolver-pbo) S 2485 2485 1566 0 -1 4202496 8722 0 0 0 49 7 0 0 20 0 1 0 279402972 55971840 10429 33554432000 4194304 5992684 140737195488448 140737195482896 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2486/statm: 13665 10429 172 440 0 13221 0
[pid=2488] ppid=2486 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2488/stat : 2488 (cp2_pre.sh) S 2486 2485 1566 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 279403029 9367552 277 33554432000 4194304 5064252 140733961931152 140733961929856 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2488/statm: 2287 277 234 213 0 72 0
[pid=2489] ppid=2488 vsize=290940 CPUtime=2.4 cores=0,2,4,6
/proc/2489/stat : 2489 (coprocessor) R 2488 2485 1566 0 -1 4202496 44854 0 0 0 208 32 0 0 20 0 1 0 279403029 297922560 71029 33554432000 4194304 6586260 140736575171568 140736575167192 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 11 0 0
/proc/2489/statm: 72735 71029 202 584 0 72147 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 363896
[startup+6.30024 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 2491
/proc/meminfo: memFree=28923420/32873852 swapFree=6856/6856
[pid=2485] ppid=2483 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2485/stat : 2485 (npSolver-pbo-It) S 2483 2485 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279402972 9367552 274 33554432000 4194304 5064252 140735078367376 140735078366288 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2485/statm: 2287 274 233 213 0 72 0
[pid=2486] ppid=2485 vsize=54660 CPUtime=3.95 cores=0,2,4,6
/proc/2486/stat : 2486 (npSolver-pbo) S 2485 2485 1566 0 -1 4202496 8737 45761 0 0 49 7 291 48 20 0 1 0 279402972 55971840 10431 33554432000 4194304 5992684 140737195488448 140737195474712 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/2486/statm: 13665 10431 174 440 0 13221 0
[pid=2491] ppid=2486 vsize=115320 CPUtime=2.2 cores=0,2,4,6
/proc/2491/stat : 2491 (glucosInc) R 2486 2485 1566 0 -1 4202496 23125 0 0 0 215 5 0 0 20 0 1 0 279403381 118087680 26877 33554432000 4194304 5654031 140734856051136 140734856038952 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2491/statm: 28830 26877 140 357 0 28470 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 179128
[startup+12.7004 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 2494
/proc/meminfo: memFree=28623068/32873852 swapFree=6856/6856
[pid=2485] ppid=2483 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2485/stat : 2485 (npSolver-pbo-It) S 2483 2485 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279402972 9367552 274 33554432000 4194304 5064252 140735078367376 140735078366288 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2485/statm: 2287 274 233 213 0 72 0
[pid=2486] ppid=2485 vsize=68288 CPUtime=10.99 cores=0,2,4,6
/proc/2486/stat : 2486 (npSolver-pbo) S 2485 2485 1566 0 -1 4202496 20305 70176 0 0 296 161 581 61 20 0 1 0 279402972 69926912 13872 33554432000 4194304 5992684 140737195488448 140737195474280 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 10 0 0
/proc/2486/statm: 17072 13872 191 440 0 16628 0
[pid=2494] ppid=2486 vsize=420116 CPUtime=1.46 cores=0,2,4,6
/proc/2494/stat : 2494 (glucosInc) R 2486 2485 1566 0 -1 4202496 58227 0 0 0 133 13 0 0 20 0 1 0 279404094 430198784 91790 33554432000 4194304 5654031 140736662156048 140736661105400 4797458 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2494/statm: 105029 91790 109 357 0 104669 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 497552
[startup+25.5004 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 2494
/proc/meminfo: memFree=28377568/32873852 swapFree=6856/6856
[pid=2485] ppid=2483 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2485/stat : 2485 (npSolver-pbo-It) S 2483 2485 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279402972 9367552 274 33554432000 4194304 5064252 140735078367376 140735078366288 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2485/statm: 2287 274 233 213 0 72 0
[pid=2486] ppid=2485 vsize=68288 CPUtime=10.99 cores=0,2,4,6
/proc/2486/stat : 2486 (npSolver-pbo) S 2485 2485 1566 0 -1 4202496 20305 70176 0 0 296 161 581 61 20 0 1 0 279402972 69926912 13872 33554432000 4194304 5992684 140737195488448 140737195474280 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 10 0 0
/proc/2486/statm: 17072 13872 191 440 0 16628 0
[pid=2494] ppid=2486 vsize=532432 CPUtime=14.25 cores=0,2,4,6
/proc/2494/stat : 2494 (glucosInc) R 2486 2485 1566 0 -1 4202496 81180 0 0 0 1406 19 0 0 20 0 1 0 279404094 545210368 114897 33554432000 4194304 5654031 140736662156048 140736662153832 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2494/statm: 133108 114897 141 357 0 132748 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 609868
[startup+51.1004 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 2494
/proc/meminfo: memFree=28353804/32873852 swapFree=6856/6856
[pid=2485] ppid=2483 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2485/stat : 2485 (npSolver-pbo-It) S 2483 2485 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279402972 9367552 274 33554432000 4194304 5064252 140735078367376 140735078366288 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2485/statm: 2287 274 233 213 0 72 0
[pid=2486] ppid=2485 vsize=68288 CPUtime=10.99 cores=0,2,4,6
/proc/2486/stat : 2486 (npSolver-pbo) S 2485 2485 1566 0 -1 4202496 20305 70176 0 0 296 161 581 61 20 0 1 0 279402972 69926912 13872 33554432000 4194304 5992684 140737195488448 140737195474280 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 10 0 0
/proc/2486/statm: 17072 13872 191 440 0 16628 0
[pid=2494] ppid=2486 vsize=537068 CPUtime=39.85 cores=0,2,4,6
/proc/2494/stat : 2494 (glucosInc) R 2486 2485 1566 0 -1 4202496 82388 0 0 0 3965 20 0 0 20 0 1 0 279404094 549957632 117559 33554432000 4194304 5654031 140736662156048 140736662143864 4233341 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2494/statm: 134267 117559 141 357 0 133907 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 614504
[startup+102.307 s]
/proc/loadavg: 2.14 2.03 2.01 3/179 2496
/proc/meminfo: memFree=28368592/32873852 swapFree=6856/6856
[pid=2485] ppid=2483 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2485/stat : 2485 (npSolver-pbo-It) S 2483 2485 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279402972 9367552 274 33554432000 4194304 5064252 140735078367376 140735078366288 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2485/statm: 2287 274 233 213 0 72 0
[pid=2486] ppid=2485 vsize=115692 CPUtime=78.43 cores=0,2,4,6
/proc/2486/stat : 2486 (npSolver-pbo) S 2485 2485 1566 0 -1 4202496 28545 153329 0 0 503 188 7062 90 20 0 1 0 279402972 118468608 25691 33554432000 4194304 5992684 140737195488448 140737195474280 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/2486/statm: 28923 25691 191 440 0 28479 0
[pid=2496] ppid=2486 vsize=528884 CPUtime=23.62 cores=0,2,4,6
/proc/2496/stat : 2496 (glucosInc) R 2486 2485 1566 0 -1 4202496 76507 0 0 0 2342 20 0 0 20 0 1 0 279410839 541577216 109582 33554432000 4194304 5654031 140736260914752 140736260902568 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2496/statm: 132221 109582 141 357 0 131861 0
Current children cumulated CPU time (s) 102.05
Current children cumulated vsize (KiB) 653724
[startup+162.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 2498
/proc/meminfo: memFree=28429276/32873852 swapFree=6856/6856
[pid=2485] ppid=2483 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2485/stat : 2485 (npSolver-pbo-It) S 2483 2485 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279402972 9367552 274 33554432000 4194304 5064252 140735078367376 140735078366288 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2485/statm: 2287 274 233 213 0 72 0
[pid=2486] ppid=2485 vsize=115692 CPUtime=158.21 cores=0,2,4,6
/proc/2486/stat : 2486 (npSolver-pbo) S 2485 2485 1566 0 -1 4202496 35524 230853 0 0 683 210 14809 119 20 0 1 0 279402972 118468608 25691 33554432000 4194304 5992684 140737195488448 140737195474280 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/2486/statm: 28923 25691 191 440 0 28479 0
[pid=2498] ppid=2486 vsize=399704 CPUtime=3.85 cores=0,2,4,6
/proc/2498/stat : 2498 (glucosInc) R 2486 2485 1566 0 -1 4202496 65335 0 0 0 368 17 0 0 20 0 1 0 279418816 409296896 93014 33554432000 4194304 5654031 140735781171200 140735781168984 4214653 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2498/statm: 99926 93014 131 357 0 99566 0
Current children cumulated CPU time (s) 162.06
Current children cumulated vsize (KiB) 524544
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 2549
/proc/meminfo: memFree=28481112/32873852 swapFree=6856/6856
[pid=2485] ppid=2483 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2485/stat : 2485 (npSolver-pbo-It) S 2483 2485 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279402972 9367552 274 33554432000 4194304 5064252 140735078367376 140735078366288 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2485/statm: 2287 274 233 213 0 72 0
[pid=2486] ppid=2485 vsize=115692 CPUtime=158.21 cores=0,2,4,6
/proc/2486/stat : 2486 (npSolver-pbo) S 2485 2485 1566 0 -1 4202496 35524 230853 0 0 683 210 14809 119 20 0 1 0 279402972 118468608 25691 33554432000 4194304 5992684 140737195488448 140737195474280 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/2486/statm: 28923 25691 191 440 0 28479 0
[pid=2498] ppid=2486 vsize=461332 CPUtime=63.83 cores=0,2,4,6
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/179 2583
/proc/meminfo: memFree=28467772/32873852 swapFree=6856/6856
[pid=2485] ppid=2483 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2485/stat : 2485 (npSolver-pbo-It) S 2483 2485 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279402972 9367552 274 33554432000 4194304 5064252 140735078367376 140735078366288 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2485/statm: 2287 274 233 213 0 72 0
[pid=2486] ppid=2485 vsize=115692 CPUtime=1212.1 cores=0,2,4,6
/proc/2486/stat : 2486 (npSolver-pbo) S 2485 2485 1566 0 -1 4202496 57018 455629 0 0 1202 271 119491 246 20 0 1 0 279402972 118468608 25691 33554432000 4194304 5992684 140737195488448 140737195474280 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/2486/statm: 28923 25691 191 440 0 28479 0
[pid=2583] ppid=2486 vsize=408552 CPUtime=149.66 cores=0,2,4,6
/proc/2583/stat : 2583 (glucosInc) R 2486 2485 1566 0 -1 4202496 68284 0 0 0 14946 20 0 0 20 0 1 0 279524231 418357248 92832 33554432000 4194304 5654031 140736347904560 140736347892376 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2583/statm: 102138 92832 142 357 0 101778 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 533392
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2583
/proc/meminfo: memFree=28450120/32873852 swapFree=6856/6856
[pid=2485] ppid=2483 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2485/stat : 2485 (npSolver-pbo-It) S 2483 2485 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279402972 9367552 274 33554432000 4194304 5064252 140735078367376 140735078366288 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2485/statm: 2287 274 233 213 0 72 0
[pid=2486] ppid=2485 vsize=115692 CPUtime=1212.1 cores=0,2,4,6
/proc/2486/stat : 2486 (npSolver-pbo) S 2485 2485 1566 0 -1 4202496 57018 455629 0 0 1202 271 119491 246 20 0 1 0 279402972 118468608 25691 33554432000 4194304 5992684 140737195488448 140737195474280 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/2486/statm: 28923 25691 191 440 0 28479 0
[pid=2583] ppid=2486 vsize=461440 CPUtime=209.63 cores=0,2,4,6
/proc/2583/stat : 2583 (glucosInc) R 2486 2485 1566 0 -1 4202496 69567 0 0 0 20942 21 0 0 20 0 1 0 279524231 472514560 97285 33554432000 4194304 5654031 140736347904560 140736347892376 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2583/statm: 115360 97285 142 357 0 115000 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 586280
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 2585
/proc/meminfo: memFree=28480536/32873852 swapFree=6856/6856
[pid=2485] ppid=2483 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2485/stat : 2485 (npSolver-pbo-It) S 2483 2485 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279402972 9367552 274 33554432000 4194304 5064252 140735078367376 140735078366288 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2485/statm: 2287 274 233 213 0 72 0
[pid=2486] ppid=2485 vsize=115692 CPUtime=1455.39 cores=0,2,4,6
/proc/2486/stat : 2486 (npSolver-pbo) S 2485 2485 1566 0 -1 4202496 64140 526951 0 0 1366 291 143606 276 20 0 1 0 279402972 118468608 25691 33554432000 4194304 5992684 140737195488448 140737195474280 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/2486/statm: 28923 25691 191 440 0 28479 0
[pid=2585] ppid=2486 vsize=399168 CPUtime=26.34 cores=0,2,4,6
/proc/2585/stat : 2585 (glucosInc) R 2486 2485 1566 0 -1 4202496 64658 0 0 0 2619 15 0 0 20 0 1 0 279548566 408748032 89804 33554432000 4194304 5654031 140735599355088 140735599352872 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2585/statm: 99792 89804 141 357 0 99432 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 524008
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 2586
/proc/meminfo: memFree=28496232/32873852 swapFree=6856/6856
[pid=2485] ppid=2483 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2485/stat : 2485 (npSolver-pbo-It) S 2483 2485 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279402972 9367552 274 33554432000 4194304 5064252 140735078367376 140735078366288 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2485/statm: 2287 274 233 213 0 72 0
[pid=2486] ppid=2485 vsize=115692 CPUtime=1455.39 cores=0,2,4,6
/proc/2486/stat : 2486 (npSolver-pbo) S 2485 2485 1566 0 -1 4202496 64140 526951 0 0 1366 291 143606 276 20 0 1 0 279402972 118468608 25691 33554432000 4194304 5992684 140737195488448 140737195474280 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/2486/statm: 28923 25691 191 440 0 28479 0
[pid=2585] ppid=2486 vsize=453240 CPUtime=86.31 cores=0,2,4,6
/proc/2585/stat : 2585 (glucosInc) R 2486 2485 1566 0 -1 4202496 68643 0 0 0 8603 28 0 0 20 0 1 0 279548566 464117760 96984 33554432000 4194304 5654031 140735599355088 140735599352872 4232973 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2585/statm: 113310 96984 142 357 0 112950 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 578080
[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 2588
/proc/meminfo: memFree=28519300/32873852 swapFree=6856/6856
[pid=2485] ppid=2483 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2485/stat : 2485 (npSolver-pbo-It) S 2483 2485 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279402972 9367552 274 33554432000 4194304 5064252 140735078367376 140735078366288 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2485/statm: 2287 274 233 213 0 72 0
[pid=2486] ppid=2485 vsize=115692 CPUtime=1455.39 cores=0,2,4,6
/proc/2486/stat : 2486 (npSolver-pbo) S 2485 2485 1566 0 -1 4202496 64140 526951 0 0 1366 291 143606 276 20 0 1 0 279402972 118468608 25691 33554432000 4194304 5992684 140737195488448 140737195474280 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/2486/statm: 28923 25691 191 440 0 28479 0
[pid=2585] ppid=2486 vsize=462720 CPUtime=146.3 cores=0,2,4,6
/proc/2585/stat : 2585 (glucosInc) R 2486 2485 1566 0 -1 4202496 70468 0 0 0 14601 29 0 0 20 0 1 0 279548566 473825280 100342 33554432000 4194304 5654031 140735599355088 140735599342904 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2585/statm: 115680 100342 142 357 0 115320 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 587560
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 2591
/proc/meminfo: memFree=28492740/32873852 swapFree=6856/6856
[pid=2485] ppid=2483 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2485/stat : 2485 (npSolver-pbo-It) S 2483 2485 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279402972 9367552 274 33554432000 4194304 5064252 140735078367376 140735078366288 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2485/statm: 2287 274 233 213 0 72 0
[pid=2486] ppid=2485 vsize=115692 CPUtime=1455.39 cores=0,2,4,6
/proc/2486/stat : 2486 (npSolver-pbo) S 2485 2485 1566 0 -1 4202496 64140 526951 0 0 1366 291 143606 276 20 0 1 0 279402972 118468608 25691 33554432000 4194304 5992684 140737195488448 140737195474280 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/2486/statm: 28923 25691 191 440 0 28479 0
[pid=2585] ppid=2486 vsize=462720 CPUtime=206.29 cores=0,2,4,6
/proc/2585/stat : 2585 (glucosInc) R 2486 2485 1566 0 -1 4202496 70689 0 0 0 20598 31 0 0 20 0 1 0 279548566 473825280 98315 33554432000 4194304 5654031 140735599355088 140735599342904 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2585/statm: 115680 98315 142 357 0 115320 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 587560
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 2614
/proc/meminfo: memFree=28426140/32873852 swapFree=6856/6856
[pid=2485] ppid=2483 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2485/stat : 2485 (npSolver-pbo-It) S 2483 2485 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279402972 9367552 274 33554432000 4194304 5064252 140735078367376 140735078366288 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2485/statm: 2287 274 233 213 0 72 0
[pid=2486] ppid=2485 vsize=115692 CPUtime=1455.39 cores=0,2,4,6
/proc/2486/stat : 2486 (npSolver-pbo) S 2485 2485 1566 0 -1 4202496 64140 526951 0 0 1366 291 143606 276 20 0 1 0 279402972 118468608 25691 33554432000 4194304 5992684 140737195488448 140737195474280 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/2486/statm: 28923 25691 191 440 0 28479 0
[pid=2585] ppid=2486 vsize=465892 CPUtime=266.28 cores=0,2,4,6
/proc/2585/stat : 2585 (glucosInc) R 2486 2485 1566 0 -1 4202496 70906 0 0 0 26596 32 0 0 20 0 1 0 279548566 477073408 106632 33554432000 4194304 5654031 140735599355088 140735599342904 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2585/statm: 116473 106632 142 357 0 116113 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 590732
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 2616
/proc/meminfo: memFree=28526048/32873852 swapFree=6856/6856
[pid=2485] ppid=2483 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2485/stat : 2485 (npSolver-pbo-It) S 2483 2485 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279402972 9367552 274 33554432000 4194304 5064252 140735078367376 140735078366288 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2485/statm: 2287 274 233 213 0 72 0
[pid=2486] ppid=2485 vsize=115692 CPUtime=1727.93 cores=0,2,4,6
/proc/2486/stat : 2486 (npSolver-pbo) S 2485 2485 1566 0 -1 4202496 71104 598579 0 0 1527 310 170643 313 20 0 1 0 279402972 118468608 25691 33554432000 4194304 5992684 140737195488448 140737195474280 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/2486/statm: 28923 25691 191 440 0 28479 0
[pid=2616] ppid=2486 vsize=394864 CPUtime=53.74 cores=0,2,4,6
/proc/2616/stat : 2616 (glucosInc) R 2486 2485 1566 0 -1 4202496 65237 0 0 0 5360 14 0 0 20 0 1 0 279575825 404340736 90448 33554432000 4194304 5654031 140736727259904 140736727247720 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2616/statm: 98716 90448 142 357 0 98356 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 519704
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 2616
/proc/meminfo: memFree=28484004/32873852 swapFree=6856/6856
[pid=2485] ppid=2483 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2485/stat : 2485 (npSolver-pbo-It) S 2483 2485 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279402972 9367552 274 33554432000 4194304 5064252 140735078367376 140735078366288 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2485/statm: 2287 274 233 213 0 72 0
[pid=2486] ppid=2485 vsize=115692 CPUtime=1727.93 cores=0,2,4,6
/proc/2486/stat : 2486 (npSolver-pbo) S 2485 2485 1566 0 -1 4202496 71104 598579 0 0 1527 310 170643 313 20 0 1 0 279402972 118468608 25691 33554432000 4194304 5992684 140737195488448 140737195474280 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/2486/statm: 28923 25691 191 440 0 28479 0
[pid=2616] ppid=2486 vsize=444952 CPUtime=72.15 cores=0,2,4,6
/proc/2616/stat : 2616 (glucosInc) R 2486 2485 1566 0 -1 4202496 65691 0 0 0 7200 15 0 0 20 0 1 0 279575825 455630848 91404 33554432000 4194304 5654031 140736727259904 140736727247720 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2616/statm: 111238 91404 142 357 0 110878 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 569792
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 2616
/proc/meminfo: memFree=28484004/32873852 swapFree=6856/6856
[pid=2485] ppid=2483 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2485/stat : 2485 (npSolver-pbo-It) S 2483 2485 1566 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279402972 9367552 274 33554432000 4194304 5064252 140735078367376 140735078366288 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/2485/statm: 2287 274 233 213 0 72 0
[pid=2486] ppid=2485 vsize=115692 CPUtime=1727.93 cores=0,2,4,6
/proc/2486/stat : 2486 (npSolver-pbo) S 2485 2485 1566 0 -1 4202496 71104 598579 0 0 1527 310 170643 313 20 0 1 0 279402972 118468608 25691 33554432000 4194304 5992684 140737195488448 140737195474280 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 10 0 0
/proc/2486/statm: 28923 25691 191 440 0 28479 0
[pid=2616] ppid=2486 vsize=444952 CPUtime=72.15 cores=0,2,4,6
/proc/2616/stat : 2616 (glucosInc) R 2486 2485 1566 0 -1 4202496 65691 0 0 0 7200 15 0 0 20 0 1 0 279575825 455630848 91404 33554432000 4194304 5654031 140736727259904 140736727247720 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2616/statm: 111238 91404 142 357 0 110878 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 569792
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2485 and gives
# childrusage.ru_utime.tv_sec=1721
# childrusage.ru_utime.tv_usec=705261
# childrusage.ru_stime.tv_sec=6
# childrusage.ru_stime.tv_usec=246050
# CPU time returned by wait4() is 1727.95
# 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.72
CPU time (s): 1800.08
CPU user time (s): 1793.7
CPU system time (s): 6.38
CPU usage (%): 99.9644
Max. virtual memory (cumulated for all children) (KiB): 822308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1721.71
system time used= 6.24605
maximum resident set size= 631604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 670057
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2359248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14791
involuntary context switches= 3016
runsolver used 5.17421 second user time and 15.6366 second system time
The end