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-3746813-1339105505/watcher-3746813-1339105505 -o /tmp/evaluation-result-3746813-1339105505/solver-3746813-1339105505 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746813-1339105505.opb 36834480 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.00 3/178 23388
/proc/meminfo: memFree=31575524/32873844 swapFree=7380/7380
[pid=23388] ppid=23386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23388/stat : 23388 (npSolver-pbo-It) S 23386 23388 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376676629 9367552 274 33554432000 4194304 5064252 140735912999648 140735912998560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23388/statm: 2287 274 233 213 0 72 0
[startup+0.079784 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23388
/proc/meminfo: memFree=31575524/32873844 swapFree=7380/7380
[pid=23388] ppid=23386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23388/stat : 23388 (npSolver-pbo-It) S 23386 23388 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376676629 9367552 274 33554432000 4194304 5064252 140735912999648 140735912998560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23388/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100384 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23388
/proc/meminfo: memFree=31575524/32873844 swapFree=7380/7380
[pid=23388] ppid=23386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23388/stat : 23388 (npSolver-pbo-It) S 23386 23388 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376676629 9367552 274 33554432000 4194304 5064252 140735912999648 140735912998560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23388/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300321 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23388
/proc/meminfo: memFree=31575524/32873844 swapFree=7380/7380
[pid=23388] ppid=23386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23388/stat : 23388 (npSolver-pbo-It) S 23386 23388 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376676629 9367552 274 33554432000 4194304 5064252 140735912999648 140735912998560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23388/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700336 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23388
/proc/meminfo: memFree=31575524/32873844 swapFree=7380/7380
[pid=23388] ppid=23386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23388/stat : 23388 (npSolver-pbo-It) S 23386 23388 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376676629 9367552 274 33554432000 4194304 5064252 140735912999648 140735912998560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23388/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23390
/proc/meminfo: memFree=31494412/32873844 swapFree=7380/7380
[pid=23388] ppid=23386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23388/stat : 23388 (npSolver-pbo-It) S 23386 23388 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376676629 9367552 274 33554432000 4194304 5064252 140735912999648 140735912998560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23388/statm: 2287 274 233 213 0 72 0
[pid=23389] ppid=23388 vsize=177416 CPUtime=1.49 cores=1,3,5,7
/proc/23389/stat : 23389 (npSolver-pbo) R 23388 23388 22322 0 -1 4202496 16773 0 0 0 142 7 0 0 20 0 1 0 376676630 181673984 28418 33554432000 4194304 6004724 140733365885408 140733365880360 4582623 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23389/statm: 44354 28418 153 442 0 43908 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 186564
[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23390
/proc/meminfo: memFree=31416340/32873844 swapFree=7380/7380
[pid=23388] ppid=23386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23388/stat : 23388 (npSolver-pbo-It) S 23386 23388 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376676629 9367552 274 33554432000 4194304 5064252 140735912999648 140735912998560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23388/statm: 2287 274 233 213 0 72 0
[pid=23389] ppid=23388 vsize=145380 CPUtime=2.41 cores=1,3,5,7
/proc/23389/stat : 23389 (npSolver-pbo) S 23388 23388 22322 0 -1 4202496 17295 0 0 0 214 27 0 0 20 0 1 0 376676630 148869120 33228 33554432000 4194304 6004724 140733365885408 140733365879872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/23389/statm: 36345 33228 163 442 0 35899 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 154528
heavy processes:
[startup+6.30045 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 23392
/proc/meminfo: memFree=30902096/32873844 swapFree=7380/7380
[pid=23388] ppid=23386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23388/stat : 23388 (npSolver-pbo-It) S 23386 23388 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376676629 9367552 274 33554432000 4194304 5064252 140735912999648 140735912998560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23388/statm: 2287 274 233 213 0 72 0
[pid=23389] ppid=23388 vsize=145380 CPUtime=2.41 cores=1,3,5,7
/proc/23389/stat : 23389 (npSolver-pbo) S 23388 23388 22322 0 -1 4202496 17295 0 0 0 214 27 0 0 20 0 1 0 376676630 148869120 33228 33554432000 4194304 6004724 140733365885408 140733365879872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/23389/statm: 36345 33228 163 442 0 35899 0
[pid=23391] ppid=23389 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23391/stat : 23391 (cp2_pre.sh) S 23389 23388 22322 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 376676874 9367552 277 33554432000 4194304 5064252 140733323777360 140733323776064 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23391/statm: 2287 277 234 213 0 72 0
[pid=23392] ppid=23391 vsize=502344 CPUtime=3.84 cores=1,3,5,7
/proc/23392/stat : 23392 (coprocessor) R 23391 23388 22322 0 -1 4202496 58535 0 0 0 367 17 0 0 20 0 1 0 376676874 514400256 111827 33554432000 4194304 6586260 140735450551152 140735450547416 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/23392/statm: 125586 111827 168 584 0 124998 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 666020
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 23392
/proc/meminfo: memFree=30766692/32873844 swapFree=7380/7380
[pid=23388] ppid=23386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23388/stat : 23388 (npSolver-pbo-It) S 23386 23388 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376676629 9367552 274 33554432000 4194304 5064252 140735912999648 140735912998560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23388/statm: 2287 274 233 213 0 72 0
[pid=23389] ppid=23388 vsize=145380 CPUtime=2.41 cores=1,3,5,7
/proc/23389/stat : 23389 (npSolver-pbo) S 23388 23388 22322 0 -1 4202496 17295 0 0 0 214 27 0 0 20 0 1 0 376676630 148869120 33228 33554432000 4194304 6004724 140733365885408 140733365879872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/23389/statm: 36345 33228 163 442 0 35899 0
[pid=23391] ppid=23389 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23391/stat : 23391 (cp2_pre.sh) S 23389 23388 22322 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 376676874 9367552 277 33554432000 4194304 5064252 140733323777360 140733323776064 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23391/statm: 2287 277 234 213 0 72 0
[pid=23392] ppid=23391 vsize=578216 CPUtime=10.25 cores=1,3,5,7
/proc/23392/stat : 23392 (coprocessor) R 23391 23388 22322 0 -1 4202496 71165 0 0 0 1005 20 0 0 20 0 1 0 376676874 592093184 138254 33554432000 4194304 6586260 140735450551152 140735450546472 4676681 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/23392/statm: 144554 138254 190 584 0 143966 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 741892
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 23392
/proc/meminfo: memFree=30762728/32873844 swapFree=7380/7380
[pid=23388] ppid=23386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23388/stat : 23388 (npSolver-pbo-It) S 23386 23388 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376676629 9367552 274 33554432000 4194304 5064252 140735912999648 140735912998560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23388/statm: 2287 274 233 213 0 72 0
[pid=23389] ppid=23388 vsize=145380 CPUtime=2.41 cores=1,3,5,7
/proc/23389/stat : 23389 (npSolver-pbo) S 23388 23388 22322 0 -1 4202496 17295 0 0 0 214 27 0 0 20 0 1 0 376676630 148869120 33228 33554432000 4194304 6004724 140733365885408 140733365879872 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/23389/statm: 36345 33228 163 442 0 35899 0
[pid=23391] ppid=23389 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23391/stat : 23391 (cp2_pre.sh) S 23389 23388 22322 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 376676874 9367552 277 33554432000 4194304 5064252 140733323777360 140733323776064 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23391/statm: 2287 277 234 213 0 72 0
[pid=23392] ppid=23391 vsize=578744 CPUtime=23.04 cores=1,3,5,7
/proc/23392/stat : 23392 (coprocessor) R 23391 23388 22322 0 -1 4202496 71302 0 0 0 2284 20 0 0 20 0 1 0 376676874 592633856 138391 33554432000 4194304 6586260 140735450551152 140735450546472 4676454 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/23392/statm: 144686 138391 190 584 0 144098 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 742420
[startup+51.1004 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 23397
/proc/meminfo: memFree=31026676/32873844 swapFree=7380/7380
[pid=23388] ppid=23386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23388/stat : 23388 (npSolver-pbo-It) S 23386 23388 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376676629 9367552 274 33554432000 4194304 5064252 140735912999648 140735912998560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23388/statm: 2287 274 233 213 0 72 0
[pid=23389] ppid=23388 vsize=155064 CPUtime=40.72 cores=1,3,5,7
/proc/23389/stat : 23389 (npSolver-pbo) S 23388 23388 22322 0 -1 4202496 21855 117566 0 0 313 366 3322 71 20 0 1 0 376676630 158785536 35664 33554432000 4194304 6004724 140733365885408 140733365871256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 2 0 0
/proc/23389/statm: 38766 35664 178 442 0 38320 0
[pid=23397] ppid=23389 vsize=294512 CPUtime=10.32 cores=1,3,5,7
/proc/23397/stat : 23397 (glucosInc) R 23389 23388 22322 0 -1 4202496 51527 0 0 0 1020 12 0 0 20 0 1 0 376680705 301580288 66605 33554432000 4194304 5654031 140735605321488 140735605319272 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23397/statm: 73628 66605 140 357 0 73268 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 458724
[startup+102.307 s]
/proc/loadavg: 2.07 2.03 2.00 3/181 23398
/proc/meminfo: memFree=31036920/32873844 swapFree=7380/7380
[pid=23388] ppid=23386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23388/stat : 23388 (npSolver-pbo-It) S 23386 23388 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376676629 9367552 274 33554432000 4194304 5064252 140735912999648 140735912998560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23388/statm: 2287 274 233 213 0 72 0
[pid=23389] ppid=23388 vsize=155064 CPUtime=40.72 cores=1,3,5,7
/proc/23389/stat : 23389 (npSolver-pbo) S 23388 23388 22322 0 -1 4202496 21855 117566 0 0 313 366 3322 71 20 0 1 0 376676630 158785536 35664 33554432000 4194304 6004724 140733365885408 140733365871256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 2 0 0
/proc/23389/statm: 38766 35664 178 442 0 38320 0
[pid=23397] ppid=23389 vsize=300500 CPUtime=61.53 cores=1,3,5,7
/proc/23397/stat : 23397 (glucosInc) R 23389 23388 22322 0 -1 4202496 53251 0 0 0 6139 14 0 0 20 0 1 0 376680705 307712000 69351 33554432000 4194304 5654031 140735605321488 140735605309304 4797458 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23397/statm: 75125 69351 140 357 0 74765 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 464712
[startup+162.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/181 23398
/proc/meminfo: memFree=31011144/32873844 swapFree=7380/7380
[pid=23388] ppid=23386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23388/stat : 23388 (npSolver-pbo-It) S 23386 23388 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376676629 9367552 274 33554432000 4194304 5064252 140735912999648 140735912998560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23388/statm: 2287 274 233 213 0 72 0
[pid=23389] ppid=23388 vsize=155064 CPUtime=40.72 cores=1,3,5,7
/proc/23389/stat : 23389 (npSolver-pbo) S 23388 23388 22322 0 -1 4202496 21855 117566 0 0 313 366 3322 71 20 0 1 0 376676630 158785536 35664 33554432000 4194304 6004724 140733365885408 140733365871256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 2 0 0
/proc/23389/statm: 38766 35664 178 442 0 38320 0
[pid=23397] ppid=23389 vsize=314720 CPUtime=121.51 cores=1,3,5,7
/proc/23397/stat : 23397 (glucosInc) R 23389 23388 22322 0 -1 4202496 55933 0 0 0 12136 15 0 0 20 0 1 0 376680705 322273280 74588 33554432000 4194304 5654031 140735605321488 140735605309304 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23397/statm: 78680 74588 140 357 0 78320 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 478932
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 23398
/proc/meminfo: memFree=30968980/32873844 swapFree=7380/7380
[pid=23388] ppid=23386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23388/stat : 23388 (npSolver-pbo-It) S 23386 23388 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376676629 9367552 274 33554432000 4194304 5064252 140735912999648 140735912998560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23388/statm: 2287 274 233 213 0 72 0
[pid=23389] ppid=23388 vsize=155064 CPUtime=40.72 cores=1,3,5,7
/proc/23389/stat : 23389 (npSolver-pbo) S 23388 23388 22322 0 -1 4202496 21855 117566 0 0 313 366 3322 71 20 0 1 0 376676630 158785536 35664 33554432000 4194304 6004724 140733365885408 140733365871256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 2 0 0
/proc/23389/statm: 38766 35664 178 442 0 38320 0
[pid=23397] ppid=23389 vsize=319808 CPUtime=181.5 cores=1,3,5,7
/proc/23397/stat : 23397 (glucosInc) R 23389 23388 22322 0 -1 4202496 57785 0 0 0 18134 16 0 0 20 0 1 0 376680705 327483392 76364 33554432000 4194304 5654031 140735605321488 140735605309304 4232752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23397/statm: 79952 76364 141 357 0 79592 0
################
# More data... #
################
/proc/meminfo: memFree=30898432/32873844 swapFree=7380/7380
[pid=23388] ppid=23386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23388/stat : 23388 (npSolver-pbo-It) S 23386 23388 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376676629 9367552 274 33554432000 4194304 5064252 140735912999648 140735912998560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23388/statm: 2287 274 233 213 0 72 0
[pid=23389] ppid=23388 vsize=155064 CPUtime=40.72 cores=1,3,5,7
/proc/23389/stat : 23389 (npSolver-pbo) S 23388 23388 22322 0 -1 4202496 21855 117566 0 0 313 366 3322 71 20 0 1 0 376676630 158785536 35664 33554432000 4194304 6004724 140733365885408 140733365871256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 2 0 0
/proc/23389/statm: 38766 35664 178 442 0 38320 0
[pid=23397] ppid=23389 vsize=395312 CPUtime=1201.28 cores=1,3,5,7
/proc/23397/stat : 23397 (glucosInc) R 23389 23388 22322 0 -1 4202496 68505 0 0 0 120091 37 0 0 20 0 1 0 376680705 404799488 89296 33554432000 4194304 5654031 140735605321488 140735605309304 4232810 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23397/statm: 98828 89296 141 357 0 98468 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 559524
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23442
/proc/meminfo: memFree=30909428/32873844 swapFree=7380/7380
[pid=23388] ppid=23386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23388/stat : 23388 (npSolver-pbo-It) S 23386 23388 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376676629 9367552 274 33554432000 4194304 5064252 140735912999648 140735912998560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23388/statm: 2287 274 233 213 0 72 0
[pid=23389] ppid=23388 vsize=155064 CPUtime=40.72 cores=1,3,5,7
/proc/23389/stat : 23389 (npSolver-pbo) S 23388 23388 22322 0 -1 4202496 21855 117566 0 0 313 366 3322 71 20 0 1 0 376676630 158785536 35664 33554432000 4194304 6004724 140733365885408 140733365871256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 2 0 0
/proc/23389/statm: 38766 35664 178 442 0 38320 0
[pid=23397] ppid=23389 vsize=345224 CPUtime=1261.28 cores=1,3,5,7
/proc/23397/stat : 23397 (glucosInc) R 23389 23388 22322 0 -1 4202496 69092 0 0 0 126089 39 0 0 20 0 1 0 376680705 353509376 83388 33554432000 4194304 5654031 140735605321488 140735605309304 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23397/statm: 86306 83388 141 357 0 85946 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 509436
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23443
/proc/meminfo: memFree=30887588/32873844 swapFree=7380/7380
[pid=23388] ppid=23386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23388/stat : 23388 (npSolver-pbo-It) S 23386 23388 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376676629 9367552 274 33554432000 4194304 5064252 140735912999648 140735912998560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23388/statm: 2287 274 233 213 0 72 0
[pid=23389] ppid=23388 vsize=155064 CPUtime=40.72 cores=1,3,5,7
/proc/23389/stat : 23389 (npSolver-pbo) S 23388 23388 22322 0 -1 4202496 21855 117566 0 0 313 366 3322 71 20 0 1 0 376676630 158785536 35664 33554432000 4194304 6004724 140733365885408 140733365871256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 2 0 0
/proc/23389/statm: 38766 35664 178 442 0 38320 0
[pid=23397] ppid=23389 vsize=395312 CPUtime=1321.26 cores=1,3,5,7
/proc/23397/stat : 23397 (glucosInc) R 23389 23388 22322 0 -1 4202496 69406 0 0 0 132086 40 0 0 20 0 1 0 376680705 404799488 85333 33554432000 4194304 5654031 140735605321488 140735605309304 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23397/statm: 98828 85333 141 357 0 98468 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 559524
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23443
/proc/meminfo: memFree=30874668/32873844 swapFree=7380/7380
[pid=23388] ppid=23386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23388/stat : 23388 (npSolver-pbo-It) S 23386 23388 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376676629 9367552 274 33554432000 4194304 5064252 140735912999648 140735912998560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23388/statm: 2287 274 233 213 0 72 0
[pid=23389] ppid=23388 vsize=155064 CPUtime=40.72 cores=1,3,5,7
/proc/23389/stat : 23389 (npSolver-pbo) S 23388 23388 22322 0 -1 4202496 21855 117566 0 0 313 366 3322 71 20 0 1 0 376676630 158785536 35664 33554432000 4194304 6004724 140733365885408 140733365871256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 2 0 0
/proc/23389/statm: 38766 35664 178 442 0 38320 0
[pid=23397] ppid=23389 vsize=395312 CPUtime=1381.26 cores=1,3,5,7
/proc/23397/stat : 23397 (glucosInc) R 23389 23388 22322 0 -1 4202496 69410 0 0 0 138086 40 0 0 20 0 1 0 376680705 404799488 87381 33554432000 4194304 5654031 140735605321488 140735605309304 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23397/statm: 98828 87381 141 357 0 98468 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 559524
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23443
/proc/meminfo: memFree=30926944/32873844 swapFree=7380/7380
[pid=23388] ppid=23386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23388/stat : 23388 (npSolver-pbo-It) S 23386 23388 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376676629 9367552 274 33554432000 4194304 5064252 140735912999648 140735912998560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23388/statm: 2287 274 233 213 0 72 0
[pid=23389] ppid=23388 vsize=155064 CPUtime=40.72 cores=1,3,5,7
/proc/23389/stat : 23389 (npSolver-pbo) S 23388 23388 22322 0 -1 4202496 21855 117566 0 0 313 366 3322 71 20 0 1 0 376676630 158785536 35664 33554432000 4194304 6004724 140733365885408 140733365871256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 2 0 0
/proc/23389/statm: 38766 35664 178 442 0 38320 0
[pid=23397] ppid=23389 vsize=345224 CPUtime=1441.24 cores=1,3,5,7
/proc/23397/stat : 23397 (glucosInc) R 23389 23388 22322 0 -1 4202496 69960 0 0 0 144082 42 0 0 20 0 1 0 376680705 353509376 84520 33554432000 4194304 5654031 140735605321488 140735605309304 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23397/statm: 86306 84520 141 357 0 85946 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 509436
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 23446
/proc/meminfo: memFree=30859668/32873844 swapFree=7380/7380
[pid=23388] ppid=23386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23388/stat : 23388 (npSolver-pbo-It) S 23386 23388 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376676629 9367552 274 33554432000 4194304 5064252 140735912999648 140735912998560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23388/statm: 2287 274 233 213 0 72 0
[pid=23389] ppid=23388 vsize=155064 CPUtime=40.72 cores=1,3,5,7
/proc/23389/stat : 23389 (npSolver-pbo) S 23388 23388 22322 0 -1 4202496 21855 117566 0 0 313 366 3322 71 20 0 1 0 376676630 158785536 35664 33554432000 4194304 6004724 140733365885408 140733365871256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 2 0 0
/proc/23389/statm: 38766 35664 178 442 0 38320 0
[pid=23397] ppid=23389 vsize=395312 CPUtime=1501.23 cores=1,3,5,7
/proc/23397/stat : 23397 (glucosInc) R 23389 23388 22322 0 -1 4202496 70273 0 0 0 150080 43 0 0 20 0 1 0 376680705 404799488 86357 33554432000 4194304 5654031 140735605321488 140735605309304 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23397/statm: 98828 86357 141 357 0 98468 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 559524
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23446
/proc/meminfo: memFree=30903476/32873844 swapFree=7380/7380
[pid=23388] ppid=23386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23388/stat : 23388 (npSolver-pbo-It) S 23386 23388 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376676629 9367552 274 33554432000 4194304 5064252 140735912999648 140735912998560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23388/statm: 2287 274 233 213 0 72 0
[pid=23389] ppid=23388 vsize=155064 CPUtime=40.72 cores=1,3,5,7
/proc/23389/stat : 23389 (npSolver-pbo) S 23388 23388 22322 0 -1 4202496 21855 117566 0 0 313 366 3322 71 20 0 1 0 376676630 158785536 35664 33554432000 4194304 6004724 140733365885408 140733365871256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 2 0 0
/proc/23389/statm: 38766 35664 178 442 0 38320 0
[pid=23397] ppid=23389 vsize=395580 CPUtime=1561.23 cores=1,3,5,7
/proc/23397/stat : 23397 (glucosInc) R 23389 23388 22322 0 -1 4202496 70370 0 0 0 156079 44 0 0 20 0 1 0 376680705 405073920 87987 33554432000 4194304 5654031 140735605321488 140735605309304 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23397/statm: 98895 87987 141 357 0 98535 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 559792
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23447
/proc/meminfo: memFree=30906272/32873844 swapFree=7380/7380
[pid=23388] ppid=23386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23388/stat : 23388 (npSolver-pbo-It) S 23386 23388 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376676629 9367552 274 33554432000 4194304 5064252 140735912999648 140735912998560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23388/statm: 2287 274 233 213 0 72 0
[pid=23389] ppid=23388 vsize=155064 CPUtime=40.72 cores=1,3,5,7
/proc/23389/stat : 23389 (npSolver-pbo) S 23388 23388 22322 0 -1 4202496 21855 117566 0 0 313 366 3322 71 20 0 1 0 376676630 158785536 35664 33554432000 4194304 6004724 140733365885408 140733365871256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 2 0 0
/proc/23389/statm: 38766 35664 178 442 0 38320 0
[pid=23397] ppid=23389 vsize=345756 CPUtime=1621.22 cores=1,3,5,7
/proc/23397/stat : 23397 (glucosInc) R 23389 23388 22322 0 -1 4202496 71004 0 0 0 162076 46 0 0 20 0 1 0 376680705 354054144 84698 33554432000 4194304 5654031 140735605321488 140735605309304 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23397/statm: 86439 84698 141 357 0 86079 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 509968
[startup+1722.3 s]
/proc/loadavg: 1.92 1.98 1.99 3/181 23491
/proc/meminfo: memFree=31266112/32873844 swapFree=7380/7380
[pid=23388] ppid=23386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23388/stat : 23388 (npSolver-pbo-It) S 23386 23388 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376676629 9367552 274 33554432000 4194304 5064252 140735912999648 140735912998560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23388/statm: 2287 274 233 213 0 72 0
[pid=23389] ppid=23388 vsize=155064 CPUtime=40.72 cores=1,3,5,7
/proc/23389/stat : 23389 (npSolver-pbo) S 23388 23388 22322 0 -1 4202496 21855 117566 0 0 313 366 3322 71 20 0 1 0 376676630 158785536 35664 33554432000 4194304 6004724 140733365885408 140733365871256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 2 0 0
/proc/23389/statm: 38766 35664 178 442 0 38320 0
[pid=23397] ppid=23389 vsize=396260 CPUtime=1681.21 cores=1,3,5,7
/proc/23397/stat : 23397 (glucosInc) R 23389 23388 22322 0 -1 4202496 71402 0 0 0 168073 48 0 0 20 0 1 0 376680705 405770240 86622 33554432000 4194304 5654031 140735605321488 140735605309304 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23397/statm: 99065 86622 141 357 0 98705 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 560472
[startup+1782.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/182 23579
/proc/meminfo: memFree=30958580/32873844 swapFree=7380/7380
[pid=23388] ppid=23386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23388/stat : 23388 (npSolver-pbo-It) S 23386 23388 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376676629 9367552 274 33554432000 4194304 5064252 140735912999648 140735912998560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23388/statm: 2287 274 233 213 0 72 0
[pid=23389] ppid=23388 vsize=155064 CPUtime=40.72 cores=1,3,5,7
/proc/23389/stat : 23389 (npSolver-pbo) S 23388 23388 22322 0 -1 4202496 21855 117566 0 0 313 366 3322 71 20 0 1 0 376676630 158785536 35664 33554432000 4194304 6004724 140733365885408 140733365871256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 2 0 0
/proc/23389/statm: 38766 35664 178 442 0 38320 0
[pid=23397] ppid=23389 vsize=397072 CPUtime=1741.2 cores=1,3,5,7
/proc/23397/stat : 23397 (glucosInc) R 23389 23388 22322 0 -1 4202496 71613 0 0 0 174072 48 0 0 20 0 1 0 376680705 406601728 88877 33554432000 4194304 5654031 140735605321488 140735605309304 4233232 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23397/statm: 99268 88877 141 357 0 98908 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 561284
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.98 1.98 1.99 3/182 23579
/proc/meminfo: memFree=30978548/32873844 swapFree=7380/7380
[pid=23388] ppid=23386 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23388/stat : 23388 (npSolver-pbo-It) S 23386 23388 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376676629 9367552 274 33554432000 4194304 5064252 140735912999648 140735912998560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23388/statm: 2287 274 233 213 0 72 0
[pid=23389] ppid=23388 vsize=155064 CPUtime=40.72 cores=1,3,5,7
/proc/23389/stat : 23389 (npSolver-pbo) S 23388 23388 22322 0 -1 4202496 21855 117566 0 0 313 366 3322 71 20 0 1 0 376676630 158785536 35664 33554432000 4194304 6004724 140733365885408 140733365871256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 2 0 0
/proc/23389/statm: 38766 35664 178 442 0 38320 0
[pid=23397] ppid=23389 vsize=347272 CPUtime=1759.3 cores=1,3,5,7
/proc/23397/stat : 23397 (glucosInc) R 23389 23388 22322 0 -1 4202496 72220 0 0 0 175880 50 0 0 20 0 1 0 376680705 355606528 84031 33554432000 4194304 5654031 140735605321488 140735605309304 4232438 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23397/statm: 86818 84031 141 357 0 86458 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 511484
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1795.17
CPU system time (s): 4.89525
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 757628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.17
system time used= 4.89525
maximum resident set size= 568704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212021
page faults= 0
swaps= 0
block input operations= 8
block output operations= 733112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1294
involuntary context switches= 2458
runsolver used 2.6196 second user time and 7.40587 second system time
The end