0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3451882-1307121177.opb>
1.19/1.27 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192594 constraints
1.19/1.27 c problem read
1.19/1.27 c presolving settings loaded
1.59/1.63 c presolving:
6.50/6.53 c (round 1) 5566 del vars, 16216 del conss, 0 add conss, 4401 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12953472 impls, 0 clqs
7.99/8.05 c (round 2) 10243 del vars, 37571 del conss, 0 add conss, 8768 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12980786 impls, 0 clqs
8.49/8.51 c (round 3) 12308 del vars, 46514 del conss, 0 add conss, 10051 chg bounds, 49 chg sides, 48 chg coeffs, 0 upgd conss, 12997802 impls, 0 clqs
8.70/8.76 c (round 4) 13191 del vars, 50511 del conss, 0 add conss, 10650 chg bounds, 59 chg sides, 60 chg coeffs, 0 upgd conss, 13005060 impls, 0 clqs
8.89/8.90 c (round 5) 13783 del vars, 52972 del conss, 0 add conss, 10975 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13010474 impls, 0 clqs
8.99/9.01 c (round 6) 14126 del vars, 54491 del conss, 0 add conss, 11179 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13015088 impls, 0 clqs
9.09/9.12 c (round 7) 14449 del vars, 55696 del conss, 0 add conss, 11368 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13018623 impls, 0 clqs
9.19/9.20 c (round 8) 14660 del vars, 56618 del conss, 0 add conss, 11490 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13021202 impls, 0 clqs
9.19/9.27 c (round 9) 14782 del vars, 57171 del conss, 0 add conss, 11563 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13023062 impls, 0 clqs
9.29/9.33 c (round 10) 14890 del vars, 57599 del conss, 0 add conss, 11629 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13024516 impls, 0 clqs
9.29/9.38 c (round 11) 14952 del vars, 57899 del conss, 0 add conss, 11672 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025101 impls, 0 clqs
9.39/9.43 c (round 12) 15000 del vars, 58094 del conss, 0 add conss, 11705 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025374 impls, 0 clqs
9.39/9.47 c (round 13) 15024 del vars, 58211 del conss, 0 add conss, 11722 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025466 impls, 0 clqs
9.49/9.52 c (round 14) 15030 del vars, 58255 del conss, 0 add conss, 11725 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025492 impls, 0 clqs
509.27/509.37 c (509.4s) probing: 1000/39750 (2.5%) - 0 fixings, 0 aggregations, 11719950 implications, 0 bound changes
905.65/905.77 c (905.8s) probing: 2000/39750 (5.0%) - 0 fixings, 0 aggregations, 19025045 implications, 0 bound changes
906.05/906.13 c (906.1s) probing: 2001/39750 (5.0%) - 0 fixings, 0 aggregations, 19031320 implications, 0 bound changes
906.05/906.13 c (906.1s) probing aborted: 2000/2000 successive useless probings
906.05/906.13 c (round 15) 15032 del vars, 58271 del conss, 0 add conss, 11726 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 79430638 impls, 0 clqs
906.75/906.87 c (round 16) 15032 del vars, 58271 del conss, 0 add conss, 11726 chg bounds, 67 chg sides, 73 chg coeffs, 134323 upgd conss, 79430638 impls, 0 clqs
907.85/907.99 c (round 17) 15032 del vars, 58279 del conss, 27 add conss, 11726 chg bounds, 144 chg sides, 449 chg coeffs, 134323 upgd conss, 79430638 impls, 0 clqs
982.75/982.83 c (982.8s) probing: 2201/39750 (5.5%) - 0 fixings, 0 aggregations, 19844918 implications, 0 bound changes
982.75/982.83 c (982.8s) probing aborted: 2000/2000 successive useless probings
982.75/982.83 c presolving (18 rounds):
982.75/982.83 c 15032 deleted vars, 58282 deleted constraints, 27 added constraints, 11726 tightened bounds, 0 added holes, 145 changed sides, 460 changed coefficients
982.75/982.83 c 81581712 implications, 0 cliques
982.75/982.83 c presolved problem has 39750 variables (39750 bin, 0 int, 0 impl, 0 cont) and 134339 constraints
982.75/982.83 c 1123 constraints of type <knapsack>
982.75/982.83 c 113594 constraints of type <setppc>
982.75/982.83 c 19622 constraints of type <logicor>
982.75/982.83 c transformed objective value is always integral (scale: 1)
982.75/982.83 c Presolving Time: 981.30
982.75/982.83 c - non default parameters ----------------------------------------------------------------------
982.75/982.83 c # SCIP version 2.0.1.5
982.75/982.83 c
982.75/982.83 c # frequency for displaying node information lines
982.75/982.83 c # [type: int, range: [-1,2147483647], default: 100]
982.75/982.83 c display/freq = 10000
982.75/982.83 c
982.75/982.83 c # maximal time in seconds to run
982.75/982.83 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
982.75/982.83 c limits/time = 1800
982.75/982.83 c
982.75/982.83 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
982.75/982.83 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
982.75/982.83 c limits/memory = 13950
982.75/982.83 c
982.75/982.83 c # default clock type (1: CPU user seconds, 2: wall clock time)
982.75/982.83 c # [type: int, range: [1,2], default: 1]
982.75/982.83 c timing/clocktype = 2
982.75/982.83 c
982.75/982.83 c # belongs reading time to solving time?
982.75/982.83 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
982.75/982.83 c timing/reading = TRUE
982.75/982.83 c
982.75/982.83 c # should presolving try to simplify inequalities
982.75/982.83 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
982.75/982.83 c constraints/linear/simplifyinequalities = TRUE
982.75/982.83 c
982.75/982.83 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
982.75/982.83 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
982.75/982.83 c constraints/indicator/addCouplingCons = TRUE
982.75/982.83 c
982.75/982.83 c # should presolving try to simplify knapsacks
982.75/982.83 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
982.75/982.83 c constraints/knapsack/simplifyinequalities = TRUE
982.75/982.83 c
982.75/982.83 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
982.75/982.83 c # [type: int, range: [-1,2147483647], default: -1]
982.75/982.83 c separating/rapidlearning/freq = 0
982.75/982.83 c
982.75/982.83 c -----------------------------------------------------------------------------------------------
982.75/982.83 c start solving
982.75/982.85 c
985.47/985.55 o 300
985.47/985.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
985.47/985.55 c T 986s| 1 | 0 | 0 | - |2376M| 0 | - | 39k| 134k| 39k| 134k| 0 | 0 | 0 | -- | 3.000000e+02 | Inf
1080.76/1080.88 c 1081s| 1 | 0 | 31550 | - |2366M| 0 | 184 | 39k| 133k| 39k| 134k| 0 | 0 | 0 | 9.800000e+01 | 3.000000e+02 | 206.12%
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3451882-1307121177/watcher-3451882-1307121177 -o /tmp/evaluation-result-3451882-1307121177/solver-3451882-1307121177 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451882-1307121177.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: 1.92 2.01 1.91 2/530 19552
/proc/meminfo: memFree=29092240/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=14528 CPUtime=0 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 2622 0 0 0 0 0 0 0 25 0 1 0 823715705 14876672 2576 33554432000 4194304 9163163 140736589064064 18446744073709551615 8045195 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19552/statm: 3632 2576 395 1214 0 2414 0
[startup+0.0460871 s]
/proc/loadavg: 1.92 2.01 1.91 2/530 19552
/proc/meminfo: memFree=29092240/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=21160 CPUtime=0.04 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 4258 0 0 0 4 0 0 0 25 0 1 0 823715705 21667840 4212 33554432000 4194304 9163163 140736589064064 18446744073709551615 6922256 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19552/statm: 5290 4212 395 1214 0 4072 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21160
[startup+0.101097 s]
/proc/loadavg: 1.92 2.01 1.91 2/530 19552
/proc/meminfo: memFree=29092240/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=30072 CPUtime=0.09 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 6519 0 0 0 9 0 0 0 25 0 1 0 823715705 30793728 6473 33554432000 4194304 9163163 140736589064064 18446744073709551615 7994651 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19552/statm: 7518 6473 395 1214 0 6300 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30072
[startup+0.301051 s]
/proc/loadavg: 1.92 2.01 1.91 2/530 19552
/proc/meminfo: memFree=29092240/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=50696 CPUtime=0.29 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 11653 0 0 0 28 1 0 0 25 0 1 0 823715705 51912704 11607 33554432000 4194304 9163163 140736589064064 18446744073709551615 8031110 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19552/statm: 12674 11607 395 1214 0 11456 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50696
[startup+0.700981 s]
/proc/loadavg: 1.92 2.01 1.91 2/530 19552
/proc/meminfo: memFree=29092240/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=77648 CPUtime=0.69 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 18369 0 0 0 67 2 0 0 25 0 1 0 823715705 79511552 18323 33554432000 4194304 9163163 140736589064064 18446744073709551615 6137918 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/19552/statm: 19412 18323 395 1214 0 18194 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77648
[startup+1.50085 s]
/proc/loadavg: 1.92 2.01 1.91 3/536 19558
/proc/meminfo: memFree=28891924/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=274864 CPUtime=1.49 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 67627 0 0 0 141 8 0 0 25 0 1 0 823715705 281460736 67505 33554432000 4194304 9163163 140736589064064 18446744073709551615 5138144 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19552/statm: 68716 67516 439 1214 0 67498 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 274864
[startup+3.10053 s]
/proc/loadavg: 1.92 2.01 1.91 3/536 19558
/proc/meminfo: memFree=28387368/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=462284 CPUtime=3.09 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 113611 0 0 0 297 12 0 0 25 0 1 0 823715705 473378816 113489 33554432000 4194304 9163163 140736589064064 18446744073709551615 4782790 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19552/statm: 115571 113489 506 1214 0 114353 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 462284
[startup+6.301 s]
/proc/loadavg: 1.93 2.01 1.91 3/536 19558
/proc/meminfo: memFree=27839516/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=686004 CPUtime=6.29 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 167777 0 0 0 609 20 0 0 25 0 1 0 823715705 702468096 167655 33554432000 4194304 9163163 140736589064064 18446744073709551615 6567779 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19552/statm: 171501 167655 515 1214 0 170283 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 686004
[startup+12.7009 s]
/proc/loadavg: 1.93 2.01 1.91 3/536 19558
/proc/meminfo: memFree=27642752/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=726872 CPUtime=12.69 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 177551 0 0 0 1248 21 0 0 25 0 1 0 823715705 744316928 177058 33554432000 4194304 9163163 140736589064064 18446744073709551615 4794560 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19552/statm: 181718 177058 539 1214 0 180500 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 726872
[startup+25.5006 s]
/proc/loadavg: 1.95 2.01 1.91 3/536 19558
/proc/meminfo: memFree=27565248/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=762416 CPUtime=25.49 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 185856 0 0 0 2527 22 0 0 25 0 1 0 823715705 780713984 185363 33554432000 4194304 9163163 140736589064064 18446744073709551615 5149579 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19552/statm: 190604 185363 539 1214 0 189386 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 762416
[startup+51.1011 s]
/proc/loadavg: 1.96 2.00 1.91 3/536 19559
/proc/meminfo: memFree=27406892/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=840604 CPUtime=51.09 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 205388 0 0 0 5084 25 0 0 25 0 1 0 823715705 860778496 204895 33554432000 4194304 9163163 140736589064064 18446744073709551615 4840662 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19552/statm: 210151 204895 539 1214 0 208933 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 840604
[startup+102.32 s]
/proc/loadavg: 1.98 2.00 1.91 3/536 19560
/proc/meminfo: memFree=27127888/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=983944 CPUtime=102.31 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 240791 0 0 0 10202 29 0 0 25 0 1 0 823715705 1007558656 240298 33554432000 4194304 9163163 140736589064064 18446744073709551615 5178154 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/19552/statm: 245986 240298 539 1214 0 244768 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 983944
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.91 3/536 19562
/proc/meminfo: memFree=26725880/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=1210800 CPUtime=162.24 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 296679 0 0 0 16187 37 0 0 25 0 1 0 823715705 1239859200 296186 33554432000 4194304 9163163 140736589064064 18446744073709551615 5183107 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19552/statm: 302700 296186 539 1214 0 301482 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1210800
[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.91 3/536 19564
/proc/meminfo: memFree=26217712/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=1483736 CPUtime=222.24 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 363958 0 0 0 22178 46 0 0 25 0 1 0 823715705 1519345664 363465 33554432000 4194304 9163163 140736589064064 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19552/statm: 370934 363465 539 1214 0 369716 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1483736
[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.91 3/536 19565
/proc/meminfo: memFree=25849908/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=1717108 CPUtime=282.24 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 422290 0 0 0 28171 53 0 0 25 0 1 0 823715705 1758318592 421797 33554432000 4194304 9163163 140736589064064 18446744073709551615 5183224 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19552/statm: 429277 421797 539 1214 0 428059 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1717108
[startup+342.301 s]
/proc/loadavg: 2.13 2.03 1.92 3/536 19567
/proc/meminfo: memFree=25491292/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=1948428 CPUtime=342.24 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 478854 0 0 0 34163 61 0 0 25 0 1 0 823715705 1995190272 478361 33554432000 4194304 9163163 140736589064064 18446744073709551615 5183092 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19552/statm: 487107 478361 539 1214 0 485889 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1948428
[startup+402.3 s]
/proc/loadavg: 2.11 2.04 1.93 3/536 19568
/proc/meminfo: memFree=25327104/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=2056104 CPUtime=402.24 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 505792 0 0 0 40158 66 0 0 25 0 1 0 823715705 2105450496 505299 33554432000 4194304 9163163 140736589064064 18446744073709551615 6567807 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19552/statm: 514026 505299 539 1214 0 512808 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 2056104
[startup+462.301 s]
/proc/loadavg: 2.15 2.06 1.94 3/536 19570
/proc/meminfo: memFree=25121232/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=2198720 CPUtime=462.24 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 540970 0 0 0 46153 71 0 0 25 0 1 0 823715705 2251489280 540477 33554432000 4194304 9163163 140736589064064 18446744073709551615 5148253 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19552/statm: 549680 540477 539 1214 0 548462 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 2198720
[startup+522.3 s]
/proc/loadavg: 2.16 2.08 1.95 3/536 19572
/proc/meminfo: memFree=24910900/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=2349552 CPUtime=522.24 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 579206 0 0 0 52148 76 0 0 25 0 1 0 823715705 2405941248 578713 33554432000 4194304 9163163 140736589064064 18446744073709551615 5183107 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19552/statm: 587388 578713 543 1214 0 586170 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 2349552
[startup+582.301 s]
/proc/loadavg: 2.06 2.06 1.95 3/536 19573
/proc/meminfo: memFree=24747188/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=2456008 CPUtime=582.25 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 605893 0 0 0 58145 80 0 0 25 0 1 0 823715705 2514952192 605400 33554432000 4194304 9163163 140736589064064 18446744073709551615 4855360 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19552/statm: 614002 605400 543 1214 0 612784 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 2456008
[startup+642.301 s]
################
# More data... #
################
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 825803 0 0 0 100113 112 0 0 25 0 1 0 823715705 3376373760 810917 33554432000 4194304 9163163 140736589064064 18446744073709551615 7349313 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19552/statm: 824310 810917 863 1214 0 823092 0
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (KiB) 3297240
[startup+1062.3 s]
/proc/loadavg: 2.09 2.05 1.97 3/536 19586
/proc/meminfo: memFree=23493964/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=3332664 CPUtime=1062.25 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 834637 0 0 0 106108 117 0 0 25 0 1 0 823715705 3412647936 819088 33554432000 4194304 9163163 140736589064064 18446744073709551615 7349047 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19552/statm: 833166 819088 823 1214 0 831948 0
Current children cumulated CPU time (s) 1062.25
Current children cumulated vsize (KiB) 3332664
[startup+1122.3 s]
/proc/loadavg: 2.10 2.05 1.98 3/536 19588
/proc/meminfo: memFree=23502240/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=3323716 CPUtime=1122.26 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 841955 0 0 0 112107 119 0 0 25 0 1 0 823715705 3403485184 817006 33554432000 4194304 9163163 140736589064064 18446744073709551615 6217680 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19552/statm: 830929 817006 779 1214 0 829711 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 3323716
[startup+1182.3 s]
/proc/loadavg: 2.04 2.04 1.98 3/536 19589
/proc/meminfo: memFree=23500968/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=3323716 CPUtime=1182.26 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 841955 0 0 0 118107 119 0 0 25 0 1 0 823715705 3403485184 817006 33554432000 4194304 9163163 140736589064064 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19552/statm: 830929 817006 779 1214 0 829711 0
Current children cumulated CPU time (s) 1182.26
Current children cumulated vsize (KiB) 3323716
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/536 19591
/proc/meminfo: memFree=23500828/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=3323716 CPUtime=1242.26 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 841955 0 0 0 124107 119 0 0 25 0 1 0 823715705 3403485184 817006 33554432000 4194304 9163163 140736589064064 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19552/statm: 830929 817006 779 1214 0 829711 0
Current children cumulated CPU time (s) 1242.26
Current children cumulated vsize (KiB) 3323716
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/536 19592
/proc/meminfo: memFree=23501556/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=3323716 CPUtime=1302.27 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 841955 0 0 0 130108 119 0 0 25 0 1 0 823715705 3403485184 817006 33554432000 4194304 9163163 140736589064064 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19552/statm: 830929 817006 779 1214 0 829711 0
Current children cumulated CPU time (s) 1302.27
Current children cumulated vsize (KiB) 3323716
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/536 19594
/proc/meminfo: memFree=23500292/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=3323716 CPUtime=1362.26 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 841955 0 0 0 136107 119 0 0 25 0 1 0 823715705 3403485184 817006 33554432000 4194304 9163163 140736589064064 18446744073709551615 6781604 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19552/statm: 830929 817006 779 1214 0 829711 0
Current children cumulated CPU time (s) 1362.26
Current children cumulated vsize (KiB) 3323716
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 1.98 3/536 19596
/proc/meminfo: memFree=23501372/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=3323716 CPUtime=1422.28 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 841955 0 0 0 142108 120 0 0 25 0 1 0 823715705 3403485184 817006 33554432000 4194304 9163163 140736589064064 18446744073709551615 6217584 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19552/statm: 830929 817006 779 1214 0 829711 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 3323716
[startup+1482.3 s]
/proc/loadavg: 2.10 2.04 1.99 3/536 19597
/proc/meminfo: memFree=23501208/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=3323716 CPUtime=1482.27 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 841955 0 0 0 148107 120 0 0 25 0 1 0 823715705 3403485184 817006 33554432000 4194304 9163163 140736589064064 18446744073709551615 6217676 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19552/statm: 830929 817006 779 1214 0 829711 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 3323716
[startup+1542.3 s]
/proc/loadavg: 2.08 2.04 1.99 3/536 19599
/proc/meminfo: memFree=23434960/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=3323716 CPUtime=1542.27 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 841955 0 0 0 154107 120 0 0 25 0 1 0 823715705 3403485184 817006 33554432000 4194304 9163163 140736589064064 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19552/statm: 830929 817006 779 1214 0 829711 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 3323716
[startup+1602.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/536 19600
/proc/meminfo: memFree=23244348/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=3323716 CPUtime=1602.27 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 841955 0 0 0 160107 120 0 0 25 0 1 0 823715705 3403485184 817006 33554432000 4194304 9163163 140736589064064 18446744073709551615 6217772 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19552/statm: 830929 817006 779 1214 0 829711 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 3323716
[startup+1662.3 s]
/proc/loadavg: 2.10 2.06 2.00 3/536 19602
/proc/meminfo: memFree=23238112/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=3323716 CPUtime=1662.27 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 841955 0 0 0 166107 120 0 0 25 0 1 0 823715705 3403485184 817006 33554432000 4194304 9163163 140736589064064 18446744073709551615 6217602 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19552/statm: 830929 817006 779 1214 0 829711 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 3323716
[startup+1722.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/536 19604
/proc/meminfo: memFree=23216252/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=3323716 CPUtime=1722.27 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 841955 0 0 0 172107 120 0 0 25 0 1 0 823715705 3403485184 817006 33554432000 4194304 9163163 140736589064064 18446744073709551615 6217600 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19552/statm: 830929 817006 779 1214 0 829711 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 3323716
[startup+1782.3 s]
/proc/loadavg: 1.94 2.03 1.99 2/530 19622
/proc/meminfo: memFree=25833236/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=3323716 CPUtime=1782.27 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 841955 0 0 0 178107 120 0 0 25 0 1 0 823715705 3403485184 817006 33554432000 4194304 9163163 140736589064064 18446744073709551615 6217764 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19552/statm: 830929 817006 779 1214 0 829711 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 3323716
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 1.67 1.96 1.97 2/530 19623
/proc/meminfo: memFree=25834244/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=3323716 CPUtime=1800.08 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 841976 0 0 0 179888 120 0 0 25 0 1 0 823715705 3403485184 817006 33554432000 4194304 9163163 140736589064064 18446744073709551615 6219328 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19552/statm: 830929 817006 758 1214 0 829711 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 3323716
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -19552
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.67 1.96 1.97 2/531 19624
/proc/meminfo: memFree=25830268/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=3323716 CPUtime=1801.37 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 843150 0 0 0 180017 120 0 0 25 0 1 0 823715705 3403485184 818180 33554432000 4194304 9163163 140736589064064 18446744073709551615 6219337 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19552/statm: 830929 818180 758 1214 0 829711 0
Current children cumulated CPU time (s) 1801.37
Current children cumulated vsize (KiB) 3323716
[startup+1801.82 s]
/proc/loadavg: 1.67 1.96 1.97 2/531 19624
/proc/meminfo: memFree=25828904/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=3323716 CPUtime=1801.79 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4202496 843150 0 0 0 180059 120 0 0 25 0 1 0 823715705 3403485184 818180 33554432000 4194304 9163163 140736589064064 18446744073709551615 6219328 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/19552/statm: 830929 818180 758 1214 0 829711 0
Current children cumulated CPU time (s) 1801.79
Current children cumulated vsize (KiB) 3323716
[startup+1802.2 s]
/proc/loadavg: 1.67 1.96 1.97 2/531 19624
/proc/meminfo: memFree=25828904/32951124 swapFree=58212616/67111528
[pid=19552] ppid=19550 vsize=0 CPUtime=1802.17 cores=0,2,4,6
/proc/19552/stat : 19552 (scip-2.0.1.4b.l) R 19550 19552 17375 0 -1 4203524 843151 0 0 0 180089 128 0 0 25 0 1 0 823715705 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/19552/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.17
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.27
CPU time (s): 1802.25
CPU user time (s): 1800.9
CPU system time (s): 1.35179
CPU usage (%): 99.9988
Max. virtual memory (cumulated for all children) (KiB): 3334600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.9
system time used= 1.35179
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 843151
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= 2
involuntary context switches= 3283
runsolver used 10.5294 second user time and 21.6007 second system time
The end