0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3693631-1338039808.opb>
0.59/0.68 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256600 constraints
0.59/0.68 c problem read in 0.68
1.59/1.64 c presolving:
8.99/9.03 c (round 1) 7246 del vars, 21005 del conss, 0 add conss, 5909 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17227958 impls, 0 clqs
12.98/13.07 c (round 2) 11790 del vars, 43932 del conss, 0 add conss, 10268 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17255270 impls, 0 clqs
14.48/14.53 c (round 3) 14003 del vars, 53164 del conss, 0 add conss, 11665 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17269377 impls, 0 clqs
15.40/15.49 c (round 4) 15115 del vars, 57755 del conss, 0 add conss, 12435 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17279343 impls, 0 clqs
16.09/16.14 c (round 5) 15846 del vars, 60872 del conss, 0 add conss, 12948 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17284291 impls, 0 clqs
16.49/16.54 c (round 6) 16254 del vars, 62654 del conss, 0 add conss, 13184 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17286898 impls, 0 clqs
16.79/16.85 c (round 7) 16454 del vars, 63533 del conss, 0 add conss, 13309 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17288310 impls, 0 clqs
17.08/17.12 c (round 8) 16577 del vars, 64071 del conss, 0 add conss, 13391 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17289146 impls, 0 clqs
17.28/17.35 c (round 9) 16651 del vars, 64416 del conss, 0 add conss, 13438 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17289481 impls, 0 clqs
17.49/17.56 c (round 10) 16689 del vars, 64601 del conss, 0 add conss, 13462 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17289681 impls, 0 clqs
17.68/17.76 c (round 11) 16717 del vars, 64722 del conss, 0 add conss, 13481 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17289775 impls, 0 clqs
17.88/17.95 c (round 12) 16727 del vars, 64778 del conss, 0 add conss, 13487 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17289807 impls, 0 clqs
18.08/18.15 c (round 13) 16733 del vars, 64806 del conss, 0 add conss, 13490 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17289833 impls, 0 clqs
407.02/407.10 c (407.1s) probing: 1000/56103 (1.8%) - 1 fixings, 0 aggregations, 8501303 implications, 0 bound changes
407.92/408.04 c (408.0s) probing: 1002/56103 (1.8%) - 1 fixings, 0 aggregations, 8525794 implications, 0 bound changes
407.92/408.04 c (408.0s) probing aborted: 1000/1000 successive useless probings
407.92/408.05 c (round 14) 16740 del vars, 64834 del conss, 0 add conss, 13493 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 34341443 impls, 0 clqs
457.42/457.57 c (457.6s) probing: 1102/56103 (2.0%) - 1 fixings, 0 aggregations, 9943103 implications, 0 bound changes
457.42/457.57 c (457.6s) probing aborted: 1000/1000 successive useless probings
458.81/458.95 c (round 15) 16741 del vars, 64844 del conss, 0 add conss, 13493 chg bounds, 1 chg sides, 18 chg coeffs, 191756 upgd conss, 37175865 impls, 0 clqs
460.11/460.28 c (round 16) 16741 del vars, 64850 del conss, 22 add conss, 13493 chg bounds, 31 chg sides, 113 chg coeffs, 191756 upgd conss, 37175865 impls, 0 clqs
460.81/460.92 c (round 17) 16741 del vars, 153084 del conss, 27789 add conss, 13493 chg bounds, 34 chg sides, 125 chg coeffs, 191756 upgd conss, 37175865 impls, 0 clqs
461.61/461.79 c (round 18) 16741 del vars, 175028 del conss, 49733 add conss, 13493 chg bounds, 34 chg sides, 125 chg coeffs, 191756 upgd conss, 37175865 impls, 4932 clqs
462.61/462.71 c presolving (19 rounds):
462.61/462.71 c 16741 deleted vars, 175028 deleted constraints, 49733 added constraints, 13493 tightened bounds, 0 added holes, 34 changed sides, 125 changed coefficients
462.61/462.71 c 37175865 implications, 26876 cliques
462.61/462.71 c presolved problem has 56101 variables (56101 bin, 0 int, 0 impl, 0 cont) and 131305 constraints
462.61/462.71 c 1188 constraints of type <knapsack>
462.61/462.71 c 129224 constraints of type <setppc>
462.61/462.71 c 890 constraints of type <and>
462.61/462.71 c 3 constraints of type <logicor>
462.61/462.71 c transformed objective value is always integral (scale: 1)
462.61/462.71 c Presolving Time: 461.76
462.61/462.71 c - non default parameters ----------------------------------------------------------------------
462.61/462.71 c # SCIP version 2.1.1.4
462.61/462.71 c
462.61/462.71 c # maximal time in seconds to run
462.61/462.71 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
462.61/462.71 c limits/time = 1797
462.61/462.71 c
462.61/462.71 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
462.61/462.71 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
462.61/462.71 c limits/memory = 13950
462.61/462.71 c
462.61/462.71 c # default clock type (1: CPU user seconds, 2: wall clock time)
462.61/462.71 c # [type: int, range: [1,2], default: 1]
462.61/462.71 c timing/clocktype = 2
462.61/462.71 c
462.61/462.71 c # belongs reading time to solving time?
462.61/462.71 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
462.61/462.71 c timing/reading = TRUE
462.61/462.71 c
462.61/462.71 c -----------------------------------------------------------------------------------------------
462.61/462.71 c start solving
463.02/463.16 c
1172.10/1172.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1172.10/1172.36 c 1172s| 1 | 0 | 98575 | - |1302M| 0 |6241 | 56k| 131k| 56k| 132k| 0 | 29 | 0 | 9.201932e+01 | -- | Inf
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-3693631-1338039808/watcher-3693631-1338039808 -o /tmp/evaluation-result-3693631-1338039808/solver-3693631-1338039808 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693631-1338039808.opb -t 1800 -m 15500
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 2.00 2/178 8507
/proc/meminfo: memFree=28874440/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=10660 CPUtime=0 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 1401 0 0 0 0 0 0 0 20 0 1 0 270105594 10915840 1356 33554432000 4194304 10169799 140734169928352 140734075491912 8726789 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8507/statm: 2665 1356 412 1459 0 1197 0
[startup+0.0579019 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 8507
/proc/meminfo: memFree=28874440/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=28528 CPUtime=0.05 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 5921 0 0 0 4 1 0 0 20 0 1 0 270105594 29212672 5849 33554432000 4194304 10169799 140734169928352 140734075491912 8724784 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8507/statm: 7132 5849 412 1459 0 5664 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 28528
[startup+0.100277 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 8507
/proc/meminfo: memFree=28874440/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=42484 CPUtime=0.09 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 9414 0 0 0 8 1 0 0 20 0 1 0 270105594 43503616 9342 33554432000 4194304 10169799 140734169928352 140734075491912 8857865 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8507/statm: 10621 9342 412 1459 0 9153 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42484
[startup+0.300203 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 8507
/proc/meminfo: memFree=28874440/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=71768 CPUtime=0.29 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 16709 0 0 0 27 2 0 0 20 0 1 0 270105594 73490432 16637 33554432000 4194304 10169799 140734169928352 140734075491912 7139011 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8507/statm: 17942 16637 412 1459 0 16474 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 71768
[startup+0.700206 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 8507
/proc/meminfo: memFree=28874440/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=144176 CPUtime=0.69 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 34387 0 0 0 64 5 0 0 20 0 1 0 270105594 147636224 34315 33554432000 4194304 10169799 140734169928352 140734169794056 7543003 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8507/statm: 36044 34371 459 1459 0 34576 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 144176
[startup+1.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8508
/proc/meminfo: memFree=28591324/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=454476 CPUtime=1.49 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 111485 0 0 0 135 14 0 0 20 0 1 0 270105594 465383424 111321 33554432000 4194304 10169799 140734169928352 140734169923432 5865122 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8507/statm: 113619 111321 500 1459 0 112151 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 454476
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8508
/proc/meminfo: memFree=28414996/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=575188 CPUtime=3.09 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 153478 0 0 0 278 31 0 0 20 0 1 0 270105594 588992512 140925 33554432000 4194304 10169799 140734169928352 140734169926504 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8507/statm: 143797 140925 557 1459 0 142329 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 575188
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8508
/proc/meminfo: memFree=28130168/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=819948 CPUtime=6.29 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 213472 0 0 0 575 54 0 0 20 0 1 0 270105594 839626752 200919 33554432000 4194304 10169799 140734169928352 140734169926504 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 204987 200919 557 1459 0 203519 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 819948
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8508
/proc/meminfo: memFree=27964900/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=932028 CPUtime=12.69 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 240473 0 0 0 1162 107 0 0 20 0 1 0 270105594 954396672 227320 33554432000 4194304 10169799 140734169928352 140734169926504 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 233007 227320 565 1459 0 231539 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 932028
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8508
/proc/meminfo: memFree=27949276/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=948020 CPUtime=25.49 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 244745 0 0 0 2255 294 0 0 20 0 1 0 270105594 970772480 231466 33554432000 4194304 10169799 140734169928352 140734169925880 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 237005 231466 584 1459 0 235537 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 948020
[startup+51.1003 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 8508
/proc/meminfo: memFree=27933960/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=963096 CPUtime=51.08 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 248563 0 0 0 4810 298 0 0 20 0 1 0 270105594 986210304 235284 33554432000 4194304 10169799 140734169928352 140734169925864 4442057 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 240774 235284 584 1459 0 239306 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 963096
[startup+102.307 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 8509
/proc/meminfo: memFree=27891304/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=1005444 CPUtime=102.28 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 258653 0 0 0 9921 307 0 0 20 0 1 0 270105594 1029574656 245709 33554432000 4194304 10169799 140734169928352 140734169925880 4484309 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 251361 245709 584 1459 0 249893 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1005444
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 8509
/proc/meminfo: memFree=27839128/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=1062824 CPUtime=162.26 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 273060 0 0 0 15909 317 0 0 20 0 1 0 270105594 1088331776 260437 33554432000 4194304 10169799 140734169928352 140734169924824 4484332 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 265706 260437 584 1459 0 264238 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1062824
[startup+222.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 8509
/proc/meminfo: memFree=27757564/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=1134076 CPUtime=222.25 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 289432 0 0 0 21896 329 0 0 20 0 1 0 270105594 1161293824 278615 33554432000 4194304 10169799 140734169928352 140734169925864 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 283519 278615 584 1459 0 282051 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1134076
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 8509
/proc/meminfo: memFree=27683884/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=1200604 CPUtime=282.24 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 302218 0 0 0 27884 340 0 0 20 0 1 0 270105594 1229418496 296468 33554432000 4194304 10169799 140734169928352 140734169925864 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 300151 296468 584 1459 0 298683 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1200604
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8509
/proc/meminfo: memFree=27623588/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=1269044 CPUtime=342.23 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 316336 0 0 0 33873 350 0 0 20 0 1 0 270105594 1299501056 311642 33554432000 4194304 10169799 140734169928352 140734169925864 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 317261 311642 584 1459 0 315793 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1269044
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 8513
/proc/meminfo: memFree=27567172/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=1333460 CPUtime=402.22 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 332145 0 0 0 39862 360 0 0 20 0 1 0 270105594 1365463040 327454 33554432000 4194304 10169799 140734169928352 140734169925880 4484316 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 333365 327454 584 1459 0 331897 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1333460
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8513
/proc/meminfo: memFree=27407364/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=1490928 CPUtime=462.22 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 379802 0 0 0 45659 563 0 0 20 0 1 0 270105594 1526710272 366736 33554432000 4194304 10169799 140734169928352 140734169925992 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 372732 366736 626 1459 0 371264 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1490928
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8513
/proc/meminfo: memFree=27173948/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=1735740 CPUtime=522.2 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 419838 0 0 0 51620 600 0 0 20 0 1 0 270105594 1777397760 424582 33554432000 4194304 10169799 140734169928352 140734169922680 8004337 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 433935 424582 787 1459 0 432467 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1735740
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8513
/proc/meminfo: memFree=27154500/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=1756976 CPUtime=582.19 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 422743 0 0 0 57612 607 0 0 20 0 1 0 270105594 1799143424 429374 33554432000 4194304 10169799 140734169928352 140734169923176 8010556 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 439244 429374 787 1459 0 437776 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1756976
[startup+642.3 s]
################
# More data... #
################
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 426494 0 0 0 105579 633 0 0 20 0 1 0 270105594 1839726592 443198 33554432000 4194304 10169799 140734169928352 140734169922680 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 449152 443198 787 1459 0 447684 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1796608
[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 8579
/proc/meminfo: memFree=26239404/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=1796608 CPUtime=1122.11 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 426499 0 0 0 111575 636 0 0 20 0 1 0 270105594 1839726592 445354 33554432000 4194304 10169799 140734169928352 140734169923128 8004379 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 449152 445354 787 1459 0 447684 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1796608
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 8579
/proc/meminfo: memFree=26157028/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=1796608 CPUtime=1182.1 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 427148 0 0 0 117571 639 0 0 20 0 1 0 270105594 1839726592 446279 33554432000 4194304 10169799 140734169928352 140734169920664 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 449152 446279 801 1459 0 447684 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1796608
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 8579
/proc/meminfo: memFree=26134192/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=1796608 CPUtime=1242.08 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 427152 0 0 0 123565 643 0 0 20 0 1 0 270105594 1839726592 446351 33554432000 4194304 10169799 140734169928352 140734169920632 8004488 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 449152 446351 801 1459 0 447684 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1796608
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8579
/proc/meminfo: memFree=26132044/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=1796608 CPUtime=1302.08 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 427156 0 0 0 129562 646 0 0 20 0 1 0 270105594 1839726592 446868 33554432000 4194304 10169799 140734169928352 140734169921032 8009306 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 449152 446868 801 1459 0 447684 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1796608
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8580
/proc/meminfo: memFree=26131872/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=1796608 CPUtime=1362.07 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 427161 0 0 0 135557 650 0 0 20 0 1 0 270105594 1839726592 446869 33554432000 4194304 10169799 140734169928352 140734169920808 8004530 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 449152 446869 801 1459 0 447684 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1796608
[startup+1422.31 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 8618
/proc/meminfo: memFree=26521876/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=1796608 CPUtime=1422.07 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 427161 0 0 0 141554 653 0 0 20 0 1 0 270105594 1839726592 446869 33554432000 4194304 10169799 140734169928352 140734169920808 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 449152 446869 801 1459 0 447684 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1796608
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 8618
/proc/meminfo: memFree=26544644/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=1796608 CPUtime=1482.05 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 427161 0 0 0 147548 657 0 0 20 0 1 0 270105594 1839726592 446869 33554432000 4194304 10169799 140734169928352 140734169920632 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 449152 446869 801 1459 0 447684 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1796608
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 8618
/proc/meminfo: memFree=26511456/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=1796608 CPUtime=1542.03 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 427161 0 0 0 153541 662 0 0 20 0 1 0 270105594 1839726592 446869 33554432000 4194304 10169799 140734169928352 140734169920632 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 449152 446869 801 1459 0 447684 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1796608
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 8621
/proc/meminfo: memFree=26359216/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=1796608 CPUtime=1602.03 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 427161 0 0 0 159536 667 0 0 20 0 1 0 270105594 1839726592 446869 33554432000 4194304 10169799 140734169928352 140734169921032 8050642 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 449152 446869 801 1459 0 447684 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1796608
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8622
/proc/meminfo: memFree=26474416/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=1796608 CPUtime=1662.02 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 427163 0 0 0 165528 674 0 0 20 0 1 0 270105594 1839726592 446871 33554432000 4194304 10169799 140734169928352 140734169920664 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 449152 446871 801 1459 0 447684 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1796608
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 8622
/proc/meminfo: memFree=26473920/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=1796608 CPUtime=1722.01 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 427296 0 0 0 171512 689 0 0 20 0 1 0 270105594 1839726592 447004 33554432000 4194304 10169799 140734169928352 140734169924376 8979322 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 449152 447004 817 1459 0 447684 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1796608
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 8622
/proc/meminfo: memFree=26471472/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=1796608 CPUtime=1782 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 427304 0 0 0 176580 1620 0 0 20 0 1 0 270105594 1839726592 447012 33554432000 4194304 10169799 140734169928352 140734169925464 8961143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 449152 447012 825 1459 0 447684 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1796608
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 8622
/proc/meminfo: memFree=26421860/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=1846968 CPUtime=1800.01 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 427697 0 0 0 177856 2145 0 0 20 0 1 0 270105594 1891295232 459158 33554432000 4194304 10169799 140734169928352 140734169925288 7238392 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 461742 459158 825 1459 0 460274 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1846968
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -8507
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 8623
/proc/meminfo: memFree=26420372/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=1869128 CPUtime=1801.1 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 428688 0 0 0 177965 2145 0 0 20 0 1 0 270105594 1913987072 462704 33554432000 4194304 10169799 140734169928352 140734169925480 7238383 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 467282 462704 825 1459 0 465814 0
Current children cumulated CPU time (s) 1801.1
Current children cumulated vsize (KiB) 1869128
[startup+1801.81 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 8623
/proc/meminfo: memFree=26405224/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=1869128 CPUtime=1801.5 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 428690 0 0 0 178005 2145 0 0 20 0 1 0 270105594 1913987072 463728 33554432000 4194304 10169799 140734169928352 140734169925480 7238368 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 467282 463728 825 1459 0 465814 0
Current children cumulated CPU time (s) 1801.5
Current children cumulated vsize (KiB) 1869128
[startup+1802.2 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 8623
/proc/meminfo: memFree=26405224/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=1883628 CPUtime=1801.89 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 429205 0 0 0 178044 2145 0 0 20 0 1 0 270105594 1928835072 465776 33554432000 4194304 10169799 140734169928352 140734169925480 7238392 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 470907 465776 825 1459 0 469439 0
Current children cumulated CPU time (s) 1801.89
Current children cumulated vsize (KiB) 1883628
[startup+1802.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 8623
/proc/meminfo: memFree=26405224/32873844 swapFree=7364/7364
[pid=8507] ppid=8505 vsize=1883628 CPUtime=1802 cores=0,2,4,6
/proc/8507/stat : 8507 (scip-2.1.1.4sfi) R 8505 8507 4481 0 -1 4202496 429206 0 0 0 178054 2146 0 0 20 0 1 0 270105594 1928835072 466288 33554432000 4194304 10169799 140734169928352 140734169925480 7238368 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8507/statm: 470907 466288 825 1459 0 469439 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 1883628
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.33
CPU time (s): 1802.04
CPU user time (s): 1780.56
CPU system time (s): 21.4817
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 1883628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.56
system time used= 21.4817
maximum resident set size= 1865152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 429206
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= 29
involuntary context switches= 2122
runsolver used 3.17252 second user time and 8.30574 second system time
The end