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-3486319-1307792934.opb>
1.19/1.23 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234247 constraints
1.19/1.23 c problem read
1.19/1.23 c presolving settings loaded
1.99/2.03 c presolving:
9.59/9.61 c (round 1) 4823 del vars, 14368 del conss, 0 add conss, 3315 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16074536 impls, 0 clqs
13.69/13.75 c (round 2) 12131 del vars, 39386 del conss, 0 add conss, 10300 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16104519 impls, 0 clqs
14.89/14.92 c (round 3) 14469 del vars, 50671 del conss, 0 add conss, 11513 chg bounds, 50 chg sides, 50 chg coeffs, 0 upgd conss, 16118462 impls, 0 clqs
15.49/15.52 c (round 4) 15419 del vars, 54425 del conss, 0 add conss, 12063 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16125686 impls, 0 clqs
15.79/15.84 c (round 5) 15911 del vars, 56362 del conss, 0 add conss, 12319 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16129412 impls, 0 clqs
15.89/15.99 c (round 6) 16068 del vars, 57108 del conss, 0 add conss, 12400 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16130860 impls, 0 clqs
15.99/16.09 c (round 7) 16159 del vars, 57491 del conss, 0 add conss, 12439 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16131733 impls, 0 clqs
16.09/16.17 c (round 8) 16201 del vars, 57661 del conss, 0 add conss, 12460 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16132061 impls, 0 clqs
16.19/16.24 c (round 9) 16224 del vars, 57759 del conss, 0 add conss, 12472 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16132319 impls, 0 clqs
16.29/16.30 c (round 10) 16238 del vars, 57815 del conss, 0 add conss, 12479 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16132473 impls, 0 clqs
16.29/16.37 c (round 11) 16246 del vars, 57849 del conss, 0 add conss, 12483 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16132635 impls, 0 clqs
16.39/16.42 c (round 12) 16252 del vars, 57873 del conss, 0 add conss, 12486 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16132671 impls, 0 clqs
16.99/17.09 c (round 13) 16252 del vars, 57882 del conss, 0 add conss, 12486 chg bounds, 74 chg sides, 92 chg coeffs, 176365 upgd conss, 16132671 impls, 0 clqs
738.51/738.57 c (738.6s) probing: 1000/56590 (1.8%) - 0 fixings, 0 aggregations, 10303144 implications, 0 bound changes
1236.43/1236.44 c (1236.4s) probing: 2000/56590 (3.5%) - 0 fixings, 0 aggregations, 15901059 implications, 0 bound changes
1237.02/1237.00 c (1237.0s) probing: 2001/56590 (3.5%) - 0 fixings, 0 aggregations, 15913168 implications, 0 bound changes
1237.02/1237.00 c (1237.0s) probing aborted: 2000/2000 successive useless probings
1237.02/1237.00 c presolving (14 rounds):
1237.02/1237.00 c 16252 deleted vars, 57882 deleted constraints, 2 added constraints, 12486 tightened bounds, 0 added holes, 85 changed sides, 199 changed coefficients
1237.02/1237.00 c 73905201 implications, 0 cliques
1237.02/1237.00 c presolved problem has 56590 variables (56590 bin, 0 int, 0 impl, 0 cont) and 176367 constraints
1237.02/1237.00 c 1127 constraints of type <knapsack>
1237.02/1237.00 c 147262 constraints of type <setppc>
1237.02/1237.00 c 27978 constraints of type <logicor>
1237.02/1237.00 c transformed objective value is always integral (scale: 1)
1237.02/1237.00 c Presolving Time: 1235.55
1237.02/1237.00 c - non default parameters ----------------------------------------------------------------------
1237.02/1237.00 c # SCIP version 2.0.1.4
1237.02/1237.00 c
1237.02/1237.00 c # frequency for displaying node information lines
1237.02/1237.00 c # [type: int, range: [-1,2147483647], default: 100]
1237.02/1237.00 c display/freq = 10000
1237.02/1237.00 c
1237.02/1237.00 c # maximal time in seconds to run
1237.02/1237.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1237.02/1237.00 c limits/time = 1797
1237.02/1237.00 c
1237.02/1237.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1237.02/1237.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1237.02/1237.00 c limits/memory = 13950
1237.02/1237.00 c
1237.02/1237.00 c # default clock type (1: CPU user seconds, 2: wall clock time)
1237.02/1237.00 c # [type: int, range: [1,2], default: 1]
1237.02/1237.00 c timing/clocktype = 2
1237.02/1237.00 c
1237.02/1237.00 c # belongs reading time to solving time?
1237.02/1237.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1237.02/1237.00 c timing/reading = TRUE
1237.02/1237.00 c
1237.02/1237.00 c # should presolving try to simplify inequalities
1237.02/1237.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1237.02/1237.00 c constraints/linear/simplifyinequalities = TRUE
1237.02/1237.00 c
1237.02/1237.00 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1237.02/1237.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1237.02/1237.00 c constraints/indicator/addCouplingCons = TRUE
1237.02/1237.00 c
1237.02/1237.00 c # should presolving try to simplify knapsacks
1237.02/1237.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1237.02/1237.00 c constraints/knapsack/simplifyinequalities = TRUE
1237.02/1237.00 c
1237.02/1237.00 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1237.02/1237.00 c # [type: int, range: [-1,2147483647], default: -1]
1237.02/1237.00 c separating/rapidlearning/freq = 0
1237.02/1237.00 c
1237.02/1237.00 c -----------------------------------------------------------------------------------------------
1237.02/1237.00 c start solving
1237.02/1237.04 c
1552.94/1552.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1552.94/1552.94 c 1553s| 1 | 0 | 59448 | - |2251M| 0 |2060 | 56k| 176k| 56k| 176k| 0 | 60 | 0 | 8.800000e+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-3486319-1307792934/watcher-3486319-1307792934 -o /tmp/evaluation-result-3486319-1307792934/solver-3486319-1307792934 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486319-1307792934.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/177 6093
/proc/meminfo: memFree=31267192/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=10320 CPUtime=0 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 1574 0 0 0 0 0 0 0 25 0 1 0 969523987 10567680 1528 33554432000 4194304 8979876 140733291512800 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6093/statm: 2580 1528 366 1169 0 1407 0
[startup+0.010206 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 6093
/proc/meminfo: memFree=31267192/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=11432 CPUtime=0 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 1869 0 0 0 0 0 0 0 25 0 1 0 969523987 11706368 1823 33554432000 4194304 8979876 140733291512800 18446744073709551615 7836088 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6093/statm: 2858 1823 366 1169 0 1685 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11432
[startup+0.100196 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 6093
/proc/meminfo: memFree=31267192/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=27548 CPUtime=0.08 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 5904 0 0 0 8 0 0 0 25 0 1 0 969523987 28209152 5858 33554432000 4194304 8979876 140733291512800 18446744073709551615 7836048 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6093/statm: 6887 5858 366 1169 0 5714 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27548
[startup+0.301157 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 6093
/proc/meminfo: memFree=31267192/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=52656 CPUtime=0.29 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 12162 0 0 0 28 1 0 0 25 0 1 0 969523987 53919744 12116 33554432000 4194304 8979876 140733291512800 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6093/statm: 13164 12117 366 1169 0 11991 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52656
[startup+0.701083 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 6093
/proc/meminfo: memFree=31267192/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=78608 CPUtime=0.69 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 18618 0 0 0 67 2 0 0 25 0 1 0 969523987 80494592 18572 33554432000 4194304 8979876 140733291512800 18446744073709551615 7716061 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6093/statm: 19652 18572 366 1169 0 18479 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 78608
[startup+1.50094 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6094
/proc/meminfo: memFree=31165272/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=273884 CPUtime=1.49 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 66771 0 0 0 141 8 0 0 25 0 1 0 969523987 280457216 66658 33554432000 4194304 8979876 140733291512800 18446744073709551615 4786309 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 68471 66658 441 1169 0 67298 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 273884
[startup+3.10061 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6094
/proc/meminfo: memFree=30889992/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=502736 CPUtime=3.09 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 132497 0 0 0 294 15 0 0 25 0 1 0 969523987 514801664 122396 33554432000 4194304 8979876 140733291512800 18446744073709551615 4875168 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 125684 122396 494 1169 0 124511 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 502736
[startup+6.30106 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6094
/proc/meminfo: memFree=30611980/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=728824 CPUtime=6.29 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 188051 0 0 0 609 20 0 0 25 0 1 0 969523987 746315776 177950 33554432000 4194304 8979876 140733291512800 18446744073709551615 6495032 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 182206 177950 494 1169 0 181033 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 728824
[startup+12.7009 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6094
/proc/meminfo: memFree=30416092/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=870804 CPUtime=12.69 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 223227 0 0 0 1246 23 0 0 25 0 1 0 969523987 891703296 212033 33554432000 4194304 8979876 140733291512800 18446744073709551615 6504341 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 217701 212033 504 1169 0 216528 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 870804
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6095
/proc/meminfo: memFree=30311764/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=983296 CPUtime=25.49 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 267770 0 0 0 2521 28 0 0 25 0 1 0 969523987 1006895104 238211 33554432000 4194304 8979876 140733291512800 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 245824 238211 553 1169 0 244651 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 983296
[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6095
/proc/meminfo: memFree=30285044/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=1010856 CPUtime=51.09 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 274577 0 0 0 5080 29 0 0 25 0 1 0 969523987 1035116544 244952 33554432000 4194304 8979876 140733291512800 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 252714 244952 553 1169 0 251541 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1010856
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6097
/proc/meminfo: memFree=30220188/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=1076444 CPUtime=102.3 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 290648 0 0 0 10199 31 0 0 25 0 1 0 969523987 1102278656 261023 33554432000 4194304 8979876 140733291512800 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 269111 261023 553 1169 0 267938 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1076444
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6136
/proc/meminfo: memFree=29571756/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=1202020 CPUtime=162.29 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 321592 0 0 0 16194 35 0 0 25 0 1 0 969523987 1230868480 291967 33554432000 4194304 8979876 140733291512800 18446744073709551615 6503319 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 300505 291967 553 1169 0 299332 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1202020
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6138
/proc/meminfo: memFree=29304684/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=1290812 CPUtime=222.29 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 343640 0 0 0 22192 37 0 0 25 0 1 0 969523987 1321791488 313949 33554432000 4194304 8979876 140733291512800 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 322703 313949 553 1169 0 321530 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1290812
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6139
/proc/meminfo: memFree=29047704/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=1438576 CPUtime=282.29 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 380449 0 0 0 28188 41 0 0 25 0 1 0 969523987 1473101824 350461 33554432000 4194304 8979876 140733291512800 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 359644 350461 553 1169 0 358471 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1438576
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6141
/proc/meminfo: memFree=28786764/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=1588520 CPUtime=342.3 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 419296 0 0 0 34184 46 0 0 25 0 1 0 969523987 1626644480 389110 33554432000 4194304 8979876 140733291512800 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 397130 389110 553 1169 0 395957 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1588520
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6143
/proc/meminfo: memFree=28608792/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=1694168 CPUtime=402.3 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 445226 0 0 0 40180 50 0 0 25 0 1 0 969523987 1734828032 414875 33554432000 4194304 8979876 140733291512800 18446744073709551615 4887680 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 423542 414875 553 1169 0 422369 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1694168
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6144
/proc/meminfo: memFree=28370168/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=1798348 CPUtime=462.3 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 471437 0 0 0 46176 54 0 0 25 0 1 0 969523987 1841508352 441086 33554432000 4194304 8979876 140733291512800 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 449587 441086 553 1169 0 448414 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1798348
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6146
/proc/meminfo: memFree=28116784/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=1934892 CPUtime=522.3 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 504155 0 0 0 52173 57 0 0 25 0 1 0 969523987 1981329408 473804 33554432000 4194304 8979876 140733291512800 18446744073709551615 6503529 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 483723 473804 553 1169 0 482550 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1934892
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6147
/proc/meminfo: memFree=27916496/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=1997224 CPUtime=582.31 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 519700 0 0 0 58171 60 0 0 25 0 1 0 969523987 2045157376 489349 33554432000 4194304 8979876 140733291512800 18446744073709551615 5207216 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 499306 489349 553 1169 0 498133 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1997224
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 6164
/proc/meminfo: memFree=26946700/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=2434672 CPUtime=882.31 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 628459 0 0 0 88156 75 0 0 25 0 1 0 969523987 2493104128 598108 33554432000 4194304 8979876 140733291512800 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 608668 598108 558 1169 0 607495 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2434672
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6166
/proc/meminfo: memFree=26803692/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=2484504 CPUtime=942.31 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 640805 0 0 0 94154 77 0 0 25 0 1 0 969523987 2544132096 610256 33554432000 4194304 8979876 140733291512800 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 621126 610256 558 1169 0 619953 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2484504
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6168
/proc/meminfo: memFree=26699620/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=2552636 CPUtime=1002.32 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 657351 0 0 0 100153 79 0 0 25 0 1 0 969523987 2613899264 626802 33554432000 4194304 8979876 140733291512800 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 638159 626802 558 1169 0 636986 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2552636
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6169
/proc/meminfo: memFree=26614752/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=2590884 CPUtime=1062.32 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 667301 0 0 0 106151 81 0 0 25 0 1 0 969523987 2653065216 636752 33554432000 4194304 8979876 140733291512800 18446744073709551615 5538062 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 647721 636752 558 1169 0 646548 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2590884
[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 6171
/proc/meminfo: memFree=26516624/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=2636168 CPUtime=1122.32 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 678991 0 0 0 112149 83 0 0 25 0 1 0 969523987 2699436032 648442 33554432000 4194304 8979876 140733291512800 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 659042 648442 558 1169 0 657869 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2636168
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 6172
/proc/meminfo: memFree=26419116/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=2678488 CPUtime=1182.33 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 689153 0 0 0 118148 85 0 0 25 0 1 0 969523987 2742771712 658604 33554432000 4194304 8979876 140733291512800 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 669622 658604 558 1169 0 668449 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2678488
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 6174
/proc/meminfo: memFree=26159780/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=2912620 CPUtime=1242.32 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 743284 0 0 0 124140 92 0 0 25 0 1 0 969523987 2982522880 711406 33554432000 4194304 8979876 140733291512800 18446744073709551615 5538062 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 728155 711406 636 1169 0 726982 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2912620
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6176
/proc/meminfo: memFree=25996812/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=3045824 CPUtime=1302.34 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 773944 0 0 0 130133 101 0 0 25 0 1 0 969523987 3118923776 741088 33554432000 4194304 8979876 140733291512800 18446744073709551615 7836148 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 761456 741088 889 1169 0 760283 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 3045824
[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 6177
/proc/meminfo: memFree=25942216/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=3045824 CPUtime=1362.33 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 777488 0 0 0 136129 104 0 0 25 0 1 0 969523987 3118923776 744361 33554432000 4194304 8979876 140733291512800 18446744073709551615 7146996 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 761456 744361 847 1169 0 760283 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3045824
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 6179
/proc/meminfo: memFree=25879192/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=3060236 CPUtime=1422.34 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 783356 0 0 0 142126 108 0 0 25 0 1 0 969523987 3133681664 750085 33554432000 4194304 8979876 140733291512800 18446744073709551615 7147081 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 765059 750085 1518 1169 0 763886 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3060236
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 6180
/proc/meminfo: memFree=25544848/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=3088008 CPUtime=1482.33 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 790160 0 0 0 148120 113 0 0 25 0 1 0 969523987 3162120192 755963 33554432000 4194304 8979876 140733291512800 18446744073709551615 7147278 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 772002 755963 736 1169 0 770829 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3088008
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6182
/proc/meminfo: memFree=25528952/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=3088008 CPUtime=1542.33 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 790186 0 0 0 154119 114 0 0 25 0 1 0 969523987 3162120192 755989 33554432000 4194304 8979876 140733291512800 18446744073709551615 7146987 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 772002 755989 736 1169 0 770829 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3088008
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6184
/proc/meminfo: memFree=25520244/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=3072108 CPUtime=1602.33 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 804910 0 0 0 160114 119 0 0 25 0 1 0 969523987 3145838592 752657 33554432000 4194304 8979876 140733291512800 18446744073709551615 7146536 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 768027 752657 706 1169 0 766854 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3072108
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6185
/proc/meminfo: memFree=25519480/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=3072108 CPUtime=1662.34 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 804912 0 0 0 166113 121 0 0 25 0 1 0 969523987 3145838592 752659 33554432000 4194304 8979876 140733291512800 18446744073709551615 7143931 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 768027 752659 706 1169 0 766854 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3072108
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 6187
/proc/meminfo: memFree=25515488/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=3072108 CPUtime=1722.33 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 804912 0 0 0 172110 123 0 0 25 0 1 0 969523987 3145838592 752659 33554432000 4194304 8979876 140733291512800 18446744073709551615 7091227 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 768027 752659 706 1169 0 766854 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3072108
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 6188
/proc/meminfo: memFree=25514716/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=3072108 CPUtime=1782.34 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 804912 0 0 0 178107 127 0 0 25 0 1 0 969523987 3145838592 752659 33554432000 4194304 8979876 140733291512800 18446744073709551615 7091214 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 768027 752659 706 1169 0 766854 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3072108
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 6189
/proc/meminfo: memFree=25514588/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=3072108 CPUtime=1800.05 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4202496 804912 0 0 0 179877 128 0 0 25 0 1 0 969523987 3145838592 752659 33554432000 4194304 8979876 140733291512800 18446744073709551615 7155132 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/6093/statm: 768027 752659 706 1169 0 766854 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3072108
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.01 2.00 2.00 3/178 6189
/proc/meminfo: memFree=25514588/32951124 swapFree=67056304/67111528
[pid=6093] ppid=6091 vsize=0 CPUtime=1800.15 cores=0,2,4,6
/proc/6093/stat : 6093 (scip-2.0.1.4_2.) R 6091 6093 5057 0 -1 4203524 804912 0 0 0 179877 138 0 0 25 0 1 0 969523987 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6093/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.13
CPU time (s): 1800.17
CPU user time (s): 1798.77
CPU system time (s): 1.39979
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3088008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.77
system time used= 1.39979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 804912
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= 6
involuntary context switches= 1602
runsolver used 2.69759 second user time and 5.60515 second system time
The end