0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3486356-1307794482.opb>
0.89/1.00 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184464 constraints
0.89/1.00 c problem read
0.89/1.00 c presolving settings loaded
1.59/1.62 c presolving:
7.39/7.46 c (round 1) 4261 del vars, 12606 del conss, 0 add conss, 3157 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12461928 impls, 0 clqs
9.69/9.71 c (round 2) 9011 del vars, 30429 del conss, 0 add conss, 7566 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12486617 impls, 0 clqs
10.39/10.44 c (round 3) 10592 del vars, 38061 del conss, 0 add conss, 8486 chg bounds, 8 chg sides, 7 chg coeffs, 0 upgd conss, 12497374 impls, 0 clqs
10.79/10.84 c (round 4) 11402 del vars, 41350 del conss, 0 add conss, 8973 chg bounds, 46 chg sides, 52 chg coeffs, 0 upgd conss, 12504669 impls, 0 clqs
11.09/11.13 c (round 5) 11899 del vars, 43316 del conss, 0 add conss, 9297 chg bounds, 61 chg sides, 88 chg coeffs, 0 upgd conss, 12508400 impls, 0 clqs
11.29/11.30 c (round 6) 12157 del vars, 44472 del conss, 0 add conss, 9462 chg bounds, 61 chg sides, 88 chg coeffs, 0 upgd conss, 12510387 impls, 0 clqs
11.39/11.41 c (round 7) 12314 del vars, 45153 del conss, 0 add conss, 9545 chg bounds, 61 chg sides, 88 chg coeffs, 0 upgd conss, 12511410 impls, 0 clqs
11.39/11.48 c (round 8) 12370 del vars, 45433 del conss, 0 add conss, 9570 chg bounds, 61 chg sides, 88 chg coeffs, 0 upgd conss, 12511940 impls, 0 clqs
11.49/11.53 c (round 9) 12383 del vars, 45511 del conss, 0 add conss, 9578 chg bounds, 61 chg sides, 88 chg coeffs, 0 upgd conss, 12511986 impls, 0 clqs
11.49/11.57 c (round 10) 12389 del vars, 45545 del conss, 0 add conss, 9581 chg bounds, 61 chg sides, 88 chg coeffs, 0 upgd conss, 12512034 impls, 0 clqs
12.10/12.11 c (round 11) 12389 del vars, 45551 del conss, 0 add conss, 9581 chg bounds, 61 chg sides, 88 chg coeffs, 138913 upgd conss, 12512034 impls, 0 clqs
12.79/12.84 c (round 12) 12389 del vars, 45576 del conss, 55 add conss, 9581 chg bounds, 165 chg sides, 368 chg coeffs, 138913 upgd conss, 12512034 impls, 0 clqs
12.99/13.03 c (round 13) 12389 del vars, 45590 del conss, 59 add conss, 9581 chg bounds, 171 chg sides, 391 chg coeffs, 138913 upgd conss, 12512034 impls, 0 clqs
595.21/595.23 c (595.2s) probing: 1000/42393 (2.4%) - 0 fixings, 0 aggregations, 9875280 implications, 0 bound changes
1017.02/1017.02 c (1017.0s) probing: 2000/42393 (4.7%) - 0 fixings, 0 aggregations, 15878737 implications, 0 bound changes
1017.53/1017.52 c (1017.5s) probing: 2001/42393 (4.7%) - 0 fixings, 0 aggregations, 15889618 implications, 0 bound changes
1017.53/1017.52 c (1017.5s) probing aborted: 2000/2000 successive useless probings
1017.53/1017.52 c presolving (14 rounds):
1017.53/1017.52 c 12389 deleted vars, 45590 deleted constraints, 59 added constraints, 9581 tightened bounds, 0 added holes, 171 changed sides, 392 changed coefficients
1017.53/1017.52 c 68014424 implications, 0 cliques
1017.53/1017.52 c presolved problem has 42393 variables (42393 bin, 0 int, 0 impl, 0 cont) and 138933 constraints
1017.53/1017.52 c 1128 constraints of type <knapsack>
1017.53/1017.52 c 116842 constraints of type <setppc>
1017.53/1017.52 c 20963 constraints of type <logicor>
1017.53/1017.52 c transformed objective value is always integral (scale: 1)
1017.53/1017.52 c Presolving Time: 1016.35
1017.53/1017.52 c - non default parameters ----------------------------------------------------------------------
1017.53/1017.52 c # SCIP version 2.0.1.4
1017.53/1017.52 c
1017.53/1017.52 c # frequency for displaying node information lines
1017.53/1017.52 c # [type: int, range: [-1,2147483647], default: 100]
1017.53/1017.52 c display/freq = 10000
1017.53/1017.52 c
1017.53/1017.52 c # maximal time in seconds to run
1017.53/1017.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1017.53/1017.52 c limits/time = 1797
1017.53/1017.52 c
1017.53/1017.52 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1017.53/1017.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1017.53/1017.52 c limits/memory = 13950
1017.53/1017.52 c
1017.53/1017.52 c # default clock type (1: CPU user seconds, 2: wall clock time)
1017.53/1017.52 c # [type: int, range: [1,2], default: 1]
1017.53/1017.52 c timing/clocktype = 2
1017.53/1017.52 c
1017.53/1017.52 c # belongs reading time to solving time?
1017.53/1017.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1017.53/1017.52 c timing/reading = TRUE
1017.53/1017.52 c
1017.53/1017.52 c # should presolving try to simplify inequalities
1017.53/1017.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1017.53/1017.52 c constraints/linear/simplifyinequalities = TRUE
1017.53/1017.52 c
1017.53/1017.52 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1017.53/1017.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1017.53/1017.52 c constraints/indicator/addCouplingCons = TRUE
1017.53/1017.52 c
1017.53/1017.52 c # should presolving try to simplify knapsacks
1017.53/1017.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1017.53/1017.52 c constraints/knapsack/simplifyinequalities = TRUE
1017.53/1017.52 c
1017.53/1017.52 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1017.53/1017.52 c # [type: int, range: [-1,2147483647], default: -1]
1017.53/1017.52 c separating/rapidlearning/freq = 0
1017.53/1017.52 c
1017.53/1017.52 c -----------------------------------------------------------------------------------------------
1017.53/1017.52 c start solving
1017.53/1017.55 c
1120.93/1120.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1120.93/1120.98 c 1121s| 1 | 0 | 34644 | - |2029M| 0 | 199 | 42k| 138k| 42k| 138k| 0 | 38 | 0 | 8.000000e+01 | -- | Inf
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3486356-1307794482/watcher-3486356-1307794482 -o /tmp/evaluation-result-3486356-1307794482/solver-3486356-1307794482 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486356-1307794482.opb -t 1800 -m 15500
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: 1.84 1.97 1.89 2/175 23501
/proc/meminfo: memFree=31667676/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=10512 CPUtime=0 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 1621 0 0 0 0 0 0 0 25 0 1 0 891046417 10764288 1576 33554432000 4194304 8979876 140734591241056 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23501/statm: 2628 1576 366 1169 0 1455 0
[startup+0.0715801 s]
/proc/loadavg: 1.84 1.97 1.89 2/175 23501
/proc/meminfo: memFree=31667676/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=24976 CPUtime=0.06 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 5089 0 0 0 6 0 0 0 25 0 1 0 891046417 25575424 5045 33554432000 4194304 8979876 140734591241056 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23501/statm: 6244 5078 366 1169 0 5071 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 24976
[startup+0.100562 s]
/proc/loadavg: 1.84 1.97 1.89 2/175 23501
/proc/meminfo: memFree=31667676/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=27544 CPUtime=0.09 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 5902 0 0 0 9 0 0 0 25 0 1 0 891046417 28205056 5857 33554432000 4194304 8979876 140734591241056 18446744073709551615 7815127 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23501/statm: 6886 5857 366 1169 0 5713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27544
[startup+0.300527 s]
/proc/loadavg: 1.84 1.97 1.89 2/175 23501
/proc/meminfo: memFree=31667676/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=46328 CPUtime=0.29 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 10577 0 0 0 28 1 0 0 25 0 1 0 891046417 47439872 10532 33554432000 4194304 8979876 140734591241056 18446744073709551615 7777450 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23501/statm: 11582 10532 366 1169 0 10409 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46328
[startup+0.700449 s]
/proc/loadavg: 1.84 1.97 1.89 2/175 23501
/proc/meminfo: memFree=31667676/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=78732 CPUtime=0.69 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 18586 0 0 0 67 2 0 0 25 0 1 0 891046417 80621568 18541 33554432000 4194304 8979876 140734591241056 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23501/statm: 19683 18573 366 1169 0 18510 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 78732
[startup+1.50031 s]
/proc/loadavg: 1.84 1.97 1.89 3/179 23505
/proc/meminfo: memFree=31476752/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=320032 CPUtime=1.49 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 78441 0 0 0 139 10 0 0 25 0 1 0 891046417 327712768 78328 33554432000 4194304 8979876 140734591241056 18446744073709551615 4599015 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 80008 78328 450 1169 0 78835 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 320032
[startup+3.10102 s]
/proc/loadavg: 1.84 1.97 1.89 3/179 23505
/proc/meminfo: memFree=30997120/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=440876 CPUtime=3.09 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 116330 0 0 0 295 14 0 0 25 0 1 0 891046417 451457024 107935 33554432000 4194304 8979876 140734591241056 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 110219 107935 494 1169 0 109046 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 440876
[startup+6.30044 s]
/proc/loadavg: 1.85 1.97 1.89 3/179 23505
/proc/meminfo: memFree=30531028/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=647740 CPUtime=6.29 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 166046 0 0 0 610 19 0 0 25 0 1 0 891046417 663285760 157651 33554432000 4194304 8979876 140734591241056 18446744073709551615 6503284 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 161935 157651 494 1169 0 160762 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 647740
[startup+12.7003 s]
/proc/loadavg: 1.86 1.97 1.90 3/179 23505
/proc/meminfo: memFree=30272496/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=732016 CPUtime=12.69 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 198388 0 0 0 1247 22 0 0 25 0 1 0 891046417 749584384 178109 33554432000 4194304 8979876 140734591241056 18446744073709551615 4445973 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 183004 178109 655 1169 0 181831 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 732016
[startup+25.5009 s]
/proc/loadavg: 1.89 1.97 1.90 4/179 23505
/proc/meminfo: memFree=30124240/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=794448 CPUtime=25.49 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 212795 0 0 0 2525 24 0 0 25 0 1 0 891046417 813514752 192313 33554432000 4194304 8979876 140734591241056 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 198612 192313 584 1169 0 197439 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 794448
[startup+51.1003 s]
/proc/loadavg: 1.93 1.97 1.90 3/179 23506
/proc/meminfo: memFree=30033144/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=845120 CPUtime=51.1 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 224950 0 0 0 5084 26 0 0 25 0 1 0 891046417 865402880 204468 33554432000 4194304 8979876 140734591241056 18446744073709551615 4919212 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 211280 204468 584 1169 0 210107 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 845120
[startup+102.307 s]
/proc/loadavg: 1.97 1.97 1.90 4/179 23508
/proc/meminfo: memFree=29795788/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=962516 CPUtime=102.3 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 253965 0 0 0 10201 29 0 0 25 0 1 0 891046417 985616384 233483 33554432000 4194304 8979876 140734591241056 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 240629 233483 584 1169 0 239456 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 962516
[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 23509
/proc/meminfo: memFree=29559792/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=1082952 CPUtime=162.3 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 283961 0 0 0 16197 33 0 0 25 0 1 0 891046417 1108942848 263017 33554432000 4194304 8979876 140734591241056 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 270738 263017 584 1169 0 269565 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1082952
[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.91 4/179 23511
/proc/meminfo: memFree=29197192/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=1243164 CPUtime=222.3 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 325111 0 0 0 22192 38 0 0 25 0 1 0 891046417 1272999936 303936 33554432000 4194304 8979876 140734591241056 18446744073709551615 6503525 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 310791 303936 584 1169 0 309618 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1243164
[startup+282.3 s]
/proc/loadavg: 2.04 1.99 1.91 3/179 23512
/proc/meminfo: memFree=28866212/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=1427300 CPUtime=282.3 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 370107 0 0 0 28187 43 0 0 25 0 1 0 891046417 1461555200 348932 33554432000 4194304 8979876 140734591241056 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 356825 348932 584 1169 0 355652 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1427300
[startup+342.3 s]
/proc/loadavg: 2.06 2.00 1.92 3/179 23514
/proc/meminfo: memFree=28590540/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=1564836 CPUtime=342.3 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 404256 0 0 0 34183 47 0 0 25 0 1 0 891046417 1602392064 383081 33554432000 4194304 8979876 140734591241056 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 391209 383081 584 1169 0 390036 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1564836
[startup+402.3 s]
/proc/loadavg: 2.08 2.02 1.93 3/179 23515
/proc/meminfo: memFree=28283856/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=1656792 CPUtime=402.3 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 427726 0 0 0 40180 50 0 0 25 0 1 0 891046417 1696555008 406551 33554432000 4194304 8979876 140734591241056 18446744073709551615 4222993 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 414198 406551 584 1169 0 413025 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1656792
[startup+462.3 s]
/proc/loadavg: 2.11 2.03 1.93 3/179 23517
/proc/meminfo: memFree=28051324/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=1739396 CPUtime=462.3 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 448128 0 0 0 46177 53 0 0 25 0 1 0 891046417 1781141504 426953 33554432000 4194304 8979876 140734591241056 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 434849 426953 584 1169 0 433676 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1739396
[startup+522.3 s]
/proc/loadavg: 2.04 2.02 1.93 4/179 23519
/proc/meminfo: memFree=27732856/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=1917800 CPUtime=522.31 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 492206 0 0 0 52173 58 0 0 25 0 1 0 891046417 1963827200 471031 33554432000 4194304 8979876 140734591241056 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 479450 471031 584 1169 0 478277 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1917800
[startup+582.301 s]
/proc/loadavg: 2.13 2.04 1.94 3/179 23520
/proc/meminfo: memFree=27504680/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=2008408 CPUtime=582.31 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 514824 0 0 0 58170 61 0 0 25 0 1 0 891046417 2056609792 493649 33554432000 4194304 8979876 140734591241056 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 502102 493649 584 1169 0 500929 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2008408
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.01 2.02 1.95 4/179 23528
/proc/meminfo: memFree=26718232/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=2398680 CPUtime=882.32 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 611474 0 0 0 88157 75 0 0 25 0 1 0 891046417 2456248320 590299 33554432000 4194304 8979876 140734591241056 18446744073709551615 5537797 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 599670 590299 589 1169 0 598497 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 2398680
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 1.95 4/179 23530
/proc/meminfo: memFree=26610804/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=2443076 CPUtime=942.32 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 622482 0 0 0 94155 77 0 0 25 0 1 0 891046417 2501709824 601307 33554432000 4194304 8979876 140734591241056 18446744073709551615 5538062 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 610769 601307 589 1169 0 609596 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2443076
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 1.95 4/179 23532
/proc/meminfo: memFree=26500408/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=2471340 CPUtime=1002.32 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 629928 0 0 0 100154 78 0 0 25 0 1 0 891046417 2530652160 608753 33554432000 4194304 8979876 140734591241056 18446744073709551615 5537616 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 617835 608753 589 1169 0 616662 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2471340
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23533
/proc/meminfo: memFree=26198660/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=2744436 CPUtime=1062.33 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 697095 0 0 0 106137 96 0 0 25 0 1 0 891046417 2810302464 671541 33554432000 4194304 8979876 140734591241056 18446744073709551615 7147224 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 686109 671541 714 1169 0 684936 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 2744436
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23535
/proc/meminfo: memFree=25925944/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=2764176 CPUtime=1122.32 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 703355 0 0 0 112129 103 0 0 25 0 1 0 891046417 2830516224 677582 33554432000 4194304 8979876 140734591241056 18446744073709551615 7164620 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 691044 677582 859 1169 0 689871 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2764176
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23536
/proc/meminfo: memFree=25932244/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=2764176 CPUtime=1182.33 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 704001 0 0 0 118123 110 0 0 25 0 1 0 891046417 2830516224 678228 33554432000 4194304 8979876 140734591241056 18446744073709551615 7143880 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 691044 678228 859 1169 0 689871 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2764176
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23538
/proc/meminfo: memFree=25930724/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=2764176 CPUtime=1242.33 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 704399 0 0 0 124113 120 0 0 25 0 1 0 891046417 2830516224 678625 33554432000 4194304 8979876 140734591241056 18446744073709551615 6295271 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 691044 678625 980 1169 0 689871 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2764176
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23540
/proc/meminfo: memFree=25930312/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=2764176 CPUtime=1302.34 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 704400 0 0 0 130114 120 0 0 25 0 1 0 891046417 2830516224 678626 33554432000 4194304 8979876 140734591241056 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 691044 678626 981 1169 0 689871 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 2764176
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23541
/proc/meminfo: memFree=25930404/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=2764176 CPUtime=1362.33 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 704400 0 0 0 136113 120 0 0 25 0 1 0 891046417 2830516224 678626 33554432000 4194304 8979876 140734591241056 18446744073709551615 6254466 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 691044 678626 981 1169 0 689871 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2764176
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 23543
/proc/meminfo: memFree=25930492/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=2764176 CPUtime=1422.34 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 704400 0 0 0 142114 120 0 0 25 0 1 0 891046417 2830516224 678626 33554432000 4194304 8979876 140734591241056 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 691044 678626 981 1169 0 689871 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2764176
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/179 23544
/proc/meminfo: memFree=25930472/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=2764176 CPUtime=1482.34 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 704400 0 0 0 148114 120 0 0 25 0 1 0 891046417 2830516224 678626 33554432000 4194304 8979876 140734591241056 18446744073709551615 6254356 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 691044 678626 981 1169 0 689871 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 2764176
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/179 23546
/proc/meminfo: memFree=25930312/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=2764176 CPUtime=1542.34 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 704400 0 0 0 154114 120 0 0 25 0 1 0 891046417 2830516224 678626 33554432000 4194304 8979876 140734591241056 18446744073709551615 6254540 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 691044 678626 981 1169 0 689871 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 2764176
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/179 23548
/proc/meminfo: memFree=25930284/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=2764176 CPUtime=1602.34 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 704400 0 0 0 160114 120 0 0 25 0 1 0 891046417 2830516224 678626 33554432000 4194304 8979876 140734591241056 18446744073709551615 6254540 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 691044 678626 981 1169 0 689871 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2764176
[startup+1662.3 s]
/proc/loadavg: 2.10 2.03 1.96 4/179 23549
/proc/meminfo: memFree=25930372/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=2764176 CPUtime=1662.34 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 704400 0 0 0 166114 120 0 0 25 0 1 0 891046417 2830516224 678626 33554432000 4194304 8979876 140734591241056 18446744073709551615 6254606 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 691044 678626 981 1169 0 689871 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 2764176
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 1.96 4/179 23551
/proc/meminfo: memFree=25930212/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=2764176 CPUtime=1722.35 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 704400 0 0 0 172115 120 0 0 25 0 1 0 891046417 2830516224 678626 33554432000 4194304 8979876 140734591241056 18446744073709551615 18446744073699065939 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 691044 678626 981 1169 0 689871 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 2764176
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 1.96 4/179 23552
/proc/meminfo: memFree=25929804/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=2764176 CPUtime=1782.35 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 704400 0 0 0 178115 120 0 0 25 0 1 0 891046417 2830516224 678626 33554432000 4194304 8979876 140734591241056 18446744073709551615 6254540 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 691044 678626 981 1169 0 689871 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 2764176
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.11 2.04 1.97 4/179 23553
/proc/meminfo: memFree=25923720/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=2764176 CPUtime=1800.05 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4202496 704452 0 0 0 179885 120 0 0 25 0 1 0 891046417 2830516224 678674 33554432000 4194304 8979876 140734591241056 18446744073709551615 6255408 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/23501/statm: 691044 678674 977 1169 0 689871 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2764176
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.11 s]
/proc/loadavg: 2.11 2.04 1.97 4/179 23553
/proc/meminfo: memFree=25923720/32951124 swapFree=67063556/67111528
[pid=23501] ppid=23498 vsize=0 CPUtime=1800.15 cores=1,3,5,7
/proc/23501/stat : 23501 (scip-2.0.1.4_2.) R 23498 23501 23458 0 -1 4203524 704452 0 0 0 179885 130 0 0 25 0 1 0 891046417 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/23501/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.11
CPU time (s): 1800.17
CPU user time (s): 1798.86
CPU system time (s): 1.3068
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2764176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.86
system time used= 1.3068
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 704452
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= 5
involuntary context switches= 2032
runsolver used 2.6346 second user time and 7.16391 second system time
The end