4.08/4.11 c SCIP version 1.1.0.7
4.08/4.11 c LP-Solver SoPlex 1.4.1
4.08/4.11 c user parameter file <scip.set> not found - using default parameters
4.08/4.11 c read problem <HOME/instance-3743399-1338805694.opb>
4.08/4.11 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
5.59/5.60 c start presolving problem
5.59/5.60 c presolving:
8.48/8.50 c (round 1) 0 del vars, 1977 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
11.58/11.65 c (round 2) 672 del vars, 1977 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 398809 upgd conss, 81776 impls, 1977 clqs
12.18/12.21 c (round 3) 675 del vars, 2645 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 81784 impls, 1977 clqs
66.37/66.43 c (round 4) 1350 del vars, 2645 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12206672 impls, 1977 clqs
66.56/66.65 c (round 5) 1350 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12210678 impls, 1977 clqs
67.47/67.54 c (round 6) 3354 del vars, 3320 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12231588 impls, 1977 clqs
67.67/67.76 c (round 7) 3354 del vars, 5324 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 400786 upgd conss, 12231596 impls, 1977 clqs
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-3743399-1338805694/watcher-3743399-1338805694 -o /tmp/evaluation-result-3743399-1338805694/solver-3743399-1338805694 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3743399-1338805694.opb
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: 2.00 2.00 1.97 3/171 21541
/proc/meminfo: memFree=26373464/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=8728 CPUtime=0 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 1539 0 0 0 0 0 0 0 20 0 1 0 346694347 8937472 1491 33554432000 4194304 7823515 140737125269808 140737125265240 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 2182 1492 349 887 0 1292 0
[startup+0.0268411 s]
/proc/loadavg: 2.00 2.00 1.97 3/171 21541
/proc/meminfo: memFree=26373464/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=16460 CPUtime=0.02 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 3460 0 0 0 2 0 0 0 20 0 1 0 346694347 16855040 3412 33554432000 4194304 7823515 140737125269808 140737125265240 6908057 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 4115 3412 354 887 0 3225 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16460
[startup+0.100318 s]
/proc/loadavg: 2.00 2.00 1.97 3/171 21541
/proc/meminfo: memFree=26373464/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=29140 CPUtime=0.08 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 6659 0 0 0 8 0 0 0 20 0 1 0 346694347 29839360 6611 33554432000 4194304 7823515 140737125269808 140737125265240 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 7285 6611 354 887 0 6395 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29140
[startup+0.300279 s]
/proc/loadavg: 2.00 2.00 1.97 3/171 21541
/proc/meminfo: memFree=26373464/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=54056 CPUtime=0.29 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 12851 0 0 0 28 1 0 0 20 0 1 0 346694347 55353344 12803 33554432000 4194304 7823515 140737125269808 140737125135912 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 13514 12803 354 887 0 12624 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54056
[startup+0.700275 s]
/proc/loadavg: 2.00 2.00 1.97 3/171 21541
/proc/meminfo: memFree=26373464/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=92276 CPUtime=0.68 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 22419 0 0 0 66 2 0 0 20 0 1 0 346694347 94490624 22371 33554432000 4194304 7823515 140737125269808 140737125135912 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 23069 22371 354 887 0 22179 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 92276
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21552
/proc/meminfo: memFree=26129344/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=196400 CPUtime=1.49 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 48392 0 0 0 142 7 0 0 20 0 1 0 346694347 201113600 48344 33554432000 4194304 7823515 140737125269808 140737125135912 5874639 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 49100 48344 354 887 0 48210 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 196400
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21552
/proc/meminfo: memFree=25848608/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=394516 CPUtime=3.08 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 97853 0 0 0 293 15 0 0 20 0 1 0 346694347 403984384 97799 33554432000 4194304 7823515 140737125269808 140737125135912 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 98629 97799 354 887 0 97739 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 394516
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21552
/proc/meminfo: memFree=24361896/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=1072020 CPUtime=6.28 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 266690 0 0 0 577 51 0 0 20 0 1 0 346694347 1097748480 266755 33554432000 4194304 7823515 140737125269808 140737125266744 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 268005 266755 419 887 0 267115 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1072020
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21552
/proc/meminfo: memFree=23414496/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=1482692 CPUtime=12.68 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 371272 0 0 0 1164 104 0 0 20 0 1 0 346694347 1518276608 369176 33554432000 4194304 7823515 140737125269808 140737125267480 4817523 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 370673 369176 461 887 0 369783 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1482692
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21552
/proc/meminfo: memFree=23379792/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=1516532 CPUtime=25.48 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 379574 0 0 0 2442 106 0 0 20 0 1 0 346694347 1552928768 377478 33554432000 4194304 7823515 140737125269808 140737125265864 5803658 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 379133 377478 461 887 0 378243 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1516532
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21552
/proc/meminfo: memFree=22931272/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=1755972 CPUtime=51.07 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 438283 0 0 0 4991 116 0 0 20 0 1 0 346694347 1798115328 436187 33554432000 4194304 7823515 140737125269808 140737125266488 5803600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 438993 436187 462 887 0 438103 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1755972
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 21552
/proc/meminfo: memFree=22393528/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=2036600 CPUtime=102.27 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 507476 0 0 0 10072 155 0 0 20 0 1 0 346694347 2085478400 504598 33554432000 4194304 7823515 140737125269808 140737125265864 5422761 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 509150 504598 462 887 0 508260 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2036600
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 21555
/proc/meminfo: memFree=21943852/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=2236920 CPUtime=162.25 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 536839 0 0 0 16064 161 0 0 20 0 1 0 346694347 2290606080 553380 33554432000 4194304 7823515 140737125269808 140737125265864 5803662 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 559230 553380 462 887 0 558340 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 2236920
[startup+222.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/177 21556
/proc/meminfo: memFree=21760980/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=2401496 CPUtime=222.25 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 574610 0 0 0 22059 166 0 0 20 0 1 0 346694347 2459131904 592173 33554432000 4194304 7823515 140737125269808 140737125265672 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 600374 592173 462 887 0 599484 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 2401496
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/177 21556
/proc/meminfo: memFree=21241820/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=2626720 CPUtime=282.24 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 630236 0 0 0 28047 177 0 0 20 0 1 0 346694347 2689761280 647799 33554432000 4194304 7823515 140737125269808 140737125265672 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 656680 647799 462 887 0 655790 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2626720
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21556
/proc/meminfo: memFree=20966568/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=2786348 CPUtime=342.22 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 668059 0 0 0 34037 185 0 0 20 0 1 0 346694347 2853220352 685622 33554432000 4194304 7823515 140737125269808 140737125265672 5803639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 696587 685622 462 887 0 695697 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 2786348
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21556
/proc/meminfo: memFree=20740544/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=2907068 CPUtime=402.22 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 699434 0 0 0 40030 192 0 0 20 0 1 0 346694347 2976837632 716997 33554432000 4194304 7823515 140737125269808 140737125265672 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 726767 716997 462 887 0 725877 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 2907068
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21556
/proc/meminfo: memFree=20372540/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=3174476 CPUtime=462.2 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 761820 0 0 0 46018 202 0 0 20 0 1 0 346694347 3250663424 779383 33554432000 4194304 7823515 140737125269808 140737125265672 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 793619 779383 462 887 0 792729 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 3174476
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21557
/proc/meminfo: memFree=20188180/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=3201100 CPUtime=522.2 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 772571 0 0 0 52014 206 0 0 20 0 1 0 346694347 3277926400 790134 33554432000 4194304 7823515 140737125269808 140737125265672 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 800275 790134 462 887 0 799385 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 3201100
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 21557
/proc/meminfo: memFree=19896064/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=3366108 CPUtime=582.19 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 809629 0 0 0 58007 212 0 0 20 0 1 0 346694347 3446894592 827192 33554432000 4194304 7823515 140737125269808 140737125265672 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 841527 827192 462 887 0 840637 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 3366108
[startup+642.3 s]
################
# More data... #
################
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 936093 0 0 0 105972 239 0 0 20 0 1 0 346694347 3959443456 953656 33554432000 4194304 7823515 140737125269808 140737125265672 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 966661 953656 462 887 0 965771 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 3866644
[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 1.98 3/177 21562
/proc/meminfo: memFree=18724640/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=3876880 CPUtime=1122.11 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 940653 0 0 0 111970 241 0 0 20 0 1 0 346694347 3969925120 958216 33554432000 4194304 7823515 140737125269808 140737125265672 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 969220 958216 462 887 0 968330 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 3876880
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/177 21562
/proc/meminfo: memFree=18470592/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=4149428 CPUtime=1182.1 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 999849 0 0 0 117959 251 0 0 20 0 1 0 346694347 4249014272 1017412 33554432000 4194304 7823515 140737125269808 140737125265672 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 1037357 1017412 462 887 0 1036467 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 4149428
[startup+1242.3 s]
/proc/loadavg: 2.05 2.02 1.99 3/177 21562
/proc/meminfo: memFree=18429080/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=4159668 CPUtime=1242.09 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 1004203 0 0 0 123956 253 0 0 20 0 1 0 346694347 4259500032 1021766 33554432000 4194304 7823515 140737125269808 140737125265672 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 1039917 1021766 462 887 0 1039027 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 4159668
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/177 21562
/proc/meminfo: memFree=18395504/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=4168884 CPUtime=1302.09 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 1008223 0 0 0 129953 256 0 0 20 0 1 0 346694347 4268937216 1025786 33554432000 4194304 7823515 140737125269808 140737125265672 5803662 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 1042221 1025786 462 887 0 1041331 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 4168884
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/178 21565
/proc/meminfo: memFree=18367004/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=4177072 CPUtime=1362.07 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 1011617 0 0 0 135949 258 0 0 20 0 1 0 346694347 4277321728 1029180 33554432000 4194304 7823515 140737125269808 140737125265672 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 1044268 1029180 462 887 0 1043378 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 4177072
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 21566
/proc/meminfo: memFree=18117800/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=4184240 CPUtime=1422.07 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 1014700 0 0 0 141948 259 0 0 20 0 1 0 346694347 4284661760 1032263 33554432000 4194304 7823515 140737125269808 140737125265672 5803658 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 1046060 1032263 462 887 0 1045170 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 4184240
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 21566
/proc/meminfo: memFree=18087200/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=4192432 CPUtime=1482.05 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 1018158 0 0 0 147944 261 0 0 20 0 1 0 346694347 4293050368 1035721 33554432000 4194304 7823515 140737125269808 140737125265672 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 1048108 1035721 462 887 0 1047218 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 4192432
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 21566
/proc/meminfo: memFree=18057096/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=4201644 CPUtime=1542.04 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 1022138 0 0 0 153941 263 0 0 20 0 1 0 346694347 4302483456 1039701 33554432000 4194304 7823515 140737125269808 140737125265672 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 1050411 1039701 462 887 0 1049521 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 4201644
[startup+1602.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 21566
/proc/meminfo: memFree=18038896/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=4204716 CPUtime=1602.03 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 1023609 0 0 0 159939 264 0 0 20 0 1 0 346694347 4305629184 1041172 33554432000 4194304 7823515 140737125269808 140737125265672 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 1051179 1041172 462 887 0 1050289 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 4204716
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21566
/proc/meminfo: memFree=17742860/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=4531672 CPUtime=1662.03 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 1093872 0 0 0 165926 277 0 0 20 0 1 0 346694347 4640432128 1111435 33554432000 4194304 7823515 140737125269808 140737125265672 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 1132918 1111435 462 887 0 1132028 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 4531672
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 21567
/proc/meminfo: memFree=17713872/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=4539864 CPUtime=1722.02 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 1097448 0 0 0 171923 279 0 0 20 0 1 0 346694347 4648820736 1115011 33554432000 4194304 7823515 140737125269808 140737125265672 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 1134966 1115011 462 887 0 1134076 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 4539864
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 21567
/proc/meminfo: memFree=17688976/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=4549080 CPUtime=1782 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 1101248 0 0 0 177920 280 0 0 20 0 1 0 346694347 4658257920 1118811 33554432000 4194304 7823515 140737125269808 140737125265672 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 1137270 1118811 462 887 0 1136380 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 4549080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21567
/proc/meminfo: memFree=17682620/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=4550104 CPUtime=1800.01 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 1101946 0 0 0 179720 281 0 0 20 0 1 0 346694347 4659306496 1119509 33554432000 4194304 7823515 140737125269808 140737125265672 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 1137526 1119509 462 887 0 1136636 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 4550104
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -21541
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 21569
/proc/meminfo: memFree=17682620/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=4550104 CPUtime=1801.1 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 1101968 0 0 0 179829 281 0 0 20 0 1 0 346694347 4659306496 1119531 33554432000 4194304 7823515 140737125269808 140737125265152 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 1137526 1119531 462 887 0 1136636 0
Current children cumulated CPU time (s) 1801.1
Current children cumulated vsize (KiB) 4550104
[startup+1802.2 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 21569
/proc/meminfo: memFree=17682108/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=4550104 CPUtime=1801.9 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4202496 1101980 0 0 0 179909 281 0 0 20 0 1 0 346694347 4659306496 1119543 33554432000 4194304 7823515 140737125269808 140737125265152 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 1137526 1119543 462 887 0 1136636 0
Current children cumulated CPU time (s) 1801.9
Current children cumulated vsize (KiB) 4550104
[startup+1802.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 21569
/proc/meminfo: memFree=17682108/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=0 CPUtime=1802.1 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4203524 1101984 0 0 0 179920 290 0 0 20 0 1 0 346694347 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.1
Current children cumulated vsize (KiB) 0
[startup+1802.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 21569
/proc/meminfo: memFree=17682108/32873844 swapFree=7628/7628
[pid=21541] ppid=21539 vsize=0 CPUtime=1802.2 cores=0,2,4,6
/proc/21541/stat : 21541 (pbscip.linux.x8) R 21539 21541 21183 0 -1 4203524 1101984 0 0 0 179920 300 0 0 20 0 1 0 346694347 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21541/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.2
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.56
CPU time (s): 1802.27
CPU user time (s): 1799.21
CPU system time (s): 3.06253
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 4550104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.21
system time used= 3.06253
maximum resident set size= 4478188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1101984
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 1869
runsolver used 3.2615 second user time and 9.33258 second system time
The end