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-3486332-1307794908.opb>
0.29/0.35 c original problem has 18662 variables (18662 bin, 0 int, 0 impl, 0 cont) and 65722 constraints
0.29/0.35 c problem read
0.29/0.35 c presolving settings loaded
0.49/0.56 c presolving:
2.59/2.61 c (round 1) 1212 del vars, 3146 del conss, 0 add conss, 909 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4489460 impls, 0 clqs
2.89/2.95 c (round 2) 2238 del vars, 7907 del conss, 0 add conss, 1839 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4495185 impls, 0 clqs
2.99/3.05 c (round 3) 2664 del vars, 9730 del conss, 0 add conss, 2101 chg bounds, 23 chg sides, 33 chg coeffs, 0 upgd conss, 4498152 impls, 0 clqs
3.09/3.10 c (round 4) 2852 del vars, 10553 del conss, 0 add conss, 2201 chg bounds, 23 chg sides, 33 chg coeffs, 0 upgd conss, 4500197 impls, 0 clqs
3.09/3.14 c (round 5) 2940 del vars, 10975 del conss, 0 add conss, 2256 chg bounds, 23 chg sides, 33 chg coeffs, 0 upgd conss, 4500671 impls, 0 clqs
3.09/3.16 c (round 6) 2966 del vars, 11119 del conss, 0 add conss, 2276 chg bounds, 23 chg sides, 33 chg coeffs, 0 upgd conss, 4500776 impls, 0 clqs
3.09/3.18 c (round 7) 2980 del vars, 11190 del conss, 0 add conss, 2277 chg bounds, 23 chg sides, 33 chg coeffs, 0 upgd conss, 4500802 impls, 0 clqs
3.09/3.20 c (round 8) 2980 del vars, 11196 del conss, 0 add conss, 2277 chg bounds, 23 chg sides, 33 chg coeffs, 0 upgd conss, 4500802 impls, 0 clqs
3.39/3.40 c (round 9) 2980 del vars, 11198 del conss, 0 add conss, 2277 chg bounds, 23 chg sides, 33 chg coeffs, 54524 upgd conss, 4500802 impls, 0 clqs
3.49/3.59 c (round 10) 3029 del vars, 11267 del conss, 43 add conss, 2280 chg bounds, 74 chg sides, 320 chg coeffs, 54524 upgd conss, 4526307 impls, 2076 clqs
3.69/3.72 c (round 11) 3032 del vars, 11417 del conss, 64 add conss, 2280 chg bounds, 98 chg sides, 508 chg coeffs, 54524 upgd conss, 4526825 impls, 2198 clqs
3.79/3.80 c (round 12) 3032 del vars, 11448 del conss, 83 add conss, 2280 chg bounds, 126 chg sides, 673 chg coeffs, 54524 upgd conss, 4526909 impls, 2250 clqs
143.00/143.03 c (143.0s) probing: 1000/15630 (6.4%) - 27 fixings, 2 aggregations, 4318604 implications, 0 bound changes
253.60/253.66 c (253.7s) probing: 2000/15630 (12.8%) - 41 fixings, 4 aggregations, 7775129 implications, 0 bound changes
257.50/257.52 c (round 13) 3084 del vars, 11448 del conss, 84 add conss, 2280 chg bounds, 127 chg sides, 700 chg coeffs, 54524 upgd conss, 27172891 impls, 2225 clqs
258.60/258.67 c (round 14) 3120 del vars, 11820 del conss, 84 add conss, 2280 chg bounds, 130 chg sides, 867 chg coeffs, 54524 upgd conss, 27225191 impls, 2225 clqs
259.10/259.11 c (round 15) 3120 del vars, 11856 del conss, 88 add conss, 2280 chg bounds, 134 chg sides, 911 chg coeffs, 54524 upgd conss, 27225191 impls, 2462 clqs
327.20/327.28 c (round 16) 3170 del vars, 11856 del conss, 88 add conss, 2280 chg bounds, 134 chg sides, 913 chg coeffs, 54524 upgd conss, 31450631 impls, 2240 clqs
327.90/327.99 c (round 17) 3184 del vars, 12117 del conss, 88 add conss, 2280 chg bounds, 134 chg sides, 1039 chg coeffs, 54524 upgd conss, 31459129 impls, 2240 clqs
328.30/328.31 c (round 18) 3184 del vars, 12131 del conss, 88 add conss, 2280 chg bounds, 134 chg sides, 1039 chg coeffs, 54524 upgd conss, 31459129 impls, 2486 clqs
386.50/386.53 c (386.5s) probing: 3000/15630 (19.2%) - 104 fixings, 19 aggregations, 11658285 implications, 0 bound changes
458.10/458.11 c (round 19) 3234 del vars, 12131 del conss, 88 add conss, 2280 chg bounds, 134 chg sides, 1039 chg coeffs, 54524 upgd conss, 42576655 impls, 2486 clqs
458.70/458.78 c (round 20) 3246 del vars, 12336 del conss, 88 add conss, 2280 chg bounds, 134 chg sides, 1039 chg coeffs, 54524 upgd conss, 42577337 impls, 2486 clqs
458.90/458.94 c (round 21) 3246 del vars, 12348 del conss, 88 add conss, 2280 chg bounds, 134 chg sides, 1039 chg coeffs, 54524 upgd conss, 42577337 impls, 2486 clqs
517.10/517.12 c (517.1s) probing: 4000/15630 (25.6%) - 141 fixings, 33 aggregations, 15576371 implications, 0 bound changes
609.00/609.07 c (609.1s) probing: 5000/15630 (32.0%) - 155 fixings, 38 aggregations, 18526044 implications, 0 bound changes
683.01/683.10 c (round 22) 3296 del vars, 12348 del conss, 88 add conss, 2280 chg bounds, 134 chg sides, 1039 chg coeffs, 54524 upgd conss, 57505893 impls, 2486 clqs
683.80/683.85 c (round 23) 3304 del vars, 12549 del conss, 88 add conss, 2280 chg bounds, 134 chg sides, 1039 chg coeffs, 54524 upgd conss, 57506031 impls, 2486 clqs
683.90/683.98 c (round 24) 3304 del vars, 12557 del conss, 88 add conss, 2280 chg bounds, 134 chg sides, 1039 chg coeffs, 54524 upgd conss, 57506031 impls, 2492 clqs
691.01/691.03 c (691.0s) probing: 6000/15630 (38.4%) - 160 fixings, 42 aggregations, 20852391 implications, 0 bound changes
762.01/762.09 c (762.1s) probing: 7000/15630 (44.8%) - 174 fixings, 48 aggregations, 22465646 implications, 0 bound changes
827.61/827.61 c (827.6s) probing: 8000/15630 (51.2%) - 183 fixings, 58 aggregations, 23615295 implications, 0 bound changes
886.62/886.68 c (886.7s) probing: 9000/15630 (57.6%) - 186 fixings, 60 aggregations, 24589148 implications, 0 bound changes
908.62/908.61 c (round 25) 3354 del vars, 12557 del conss, 88 add conss, 2280 chg bounds, 134 chg sides, 1039 chg coeffs, 54524 upgd conss, 67014341 impls, 2492 clqs
909.22/909.20 c (round 26) 3356 del vars, 12719 del conss, 88 add conss, 2280 chg bounds, 134 chg sides, 1042 chg coeffs, 54524 upgd conss, 67014367 impls, 2492 clqs
942.11/942.12 c (942.1s) probing: 10000/15630 (64.0%) - 201 fixings, 65 aggregations, 25312679 implications, 0 bound changes
985.32/985.30 c (985.3s) probing: 11000/15630 (70.4%) - 201 fixings, 65 aggregations, 25739777 implications, 0 bound changes
1026.62/1026.61 c (1026.6s) probing: 12000/15630 (76.8%) - 223 fixings, 72 aggregations, 26149544 implications, 0 bound changes
1062.91/1062.93 c (1062.9s) probing: 13000/15630 (83.2%) - 223 fixings, 73 aggregations, 26429193 implications, 0 bound changes
1090.12/1090.16 c (1090.2s) probing: 14000/15630 (89.6%) - 223 fixings, 73 aggregations, 26578363 implications, 0 bound changes
1090.31/1090.32 c (1090.3s) probing: 14010/15630 (89.6%) - 223 fixings, 73 aggregations, 26579300 implications, 0 bound changes
1090.31/1090.32 c (1090.3s) probing aborted: 2000/2000 successive useless probings
1090.31/1090.32 c (round 27) 3400 del vars, 12721 del conss, 88 add conss, 2280 chg bounds, 134 chg sides, 1044 chg coeffs, 54524 upgd conss, 70719113 impls, 2477 clqs
1090.72/1090.79 c (round 28) 3400 del vars, 12878 del conss, 99 add conss, 2280 chg bounds, 145 chg sides, 1146 chg coeffs, 54524 upgd conss, 70719113 impls, 2484 clqs
1109.83/1109.83 c (1109.8s) probing: 15000/15630 (96.0%) - 227 fixings, 77 aggregations, 26649940 implications, 0 bound changes
1116.02/1116.07 c (round 29) 3408 del vars, 12879 del conss, 100 add conss, 2280 chg bounds, 146 chg sides, 1155 chg coeffs, 54524 upgd conss, 70907973 impls, 2492 clqs
1116.32/1116.38 c (round 30) 3408 del vars, 12897 del conss, 109 add conss, 2280 chg bounds, 155 chg sides, 1215 chg coeffs, 54524 upgd conss, 70907973 impls, 2492 clqs
1116.53/1116.51 c presolving (31 rounds):
1116.53/1116.51 c 3408 deleted vars, 12902 deleted constraints, 109 added constraints, 2280 tightened bounds, 0 added holes, 155 changed sides, 1229 changed coefficients
1116.53/1116.51 c 70907973 implications, 2498 cliques
1116.53/1116.51 c presolved problem has 15254 variables (15254 bin, 0 int, 0 impl, 0 cont) and 52929 constraints
1116.53/1116.51 c 1156 constraints of type <knapsack>
1116.53/1116.51 c 44072 constraints of type <setppc>
1116.53/1116.51 c 7701 constraints of type <logicor>
1116.53/1116.51 c transformed objective value is always integral (scale: 1)
1116.53/1116.51 c Presolving Time: 1116.10
1116.53/1116.51 c - non default parameters ----------------------------------------------------------------------
1116.53/1116.51 c # SCIP version 2.0.1.4
1116.53/1116.51 c
1116.53/1116.51 c # frequency for displaying node information lines
1116.53/1116.51 c # [type: int, range: [-1,2147483647], default: 100]
1116.53/1116.51 c display/freq = 10000
1116.53/1116.51 c
1116.53/1116.51 c # maximal time in seconds to run
1116.53/1116.51 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1116.53/1116.51 c limits/time = 1797
1116.53/1116.51 c
1116.53/1116.51 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1116.53/1116.51 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1116.53/1116.51 c limits/memory = 13950
1116.53/1116.51 c
1116.53/1116.51 c # default clock type (1: CPU user seconds, 2: wall clock time)
1116.53/1116.51 c # [type: int, range: [1,2], default: 1]
1116.53/1116.51 c timing/clocktype = 2
1116.53/1116.51 c
1116.53/1116.51 c # belongs reading time to solving time?
1116.53/1116.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1116.53/1116.51 c timing/reading = TRUE
1116.53/1116.51 c
1116.53/1116.51 c # should presolving try to simplify inequalities
1116.53/1116.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1116.53/1116.51 c constraints/linear/simplifyinequalities = TRUE
1116.53/1116.51 c
1116.53/1116.51 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1116.53/1116.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1116.53/1116.51 c constraints/indicator/addCouplingCons = TRUE
1116.53/1116.51 c
1116.53/1116.51 c # should presolving try to simplify knapsacks
1116.53/1116.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1116.53/1116.51 c constraints/knapsack/simplifyinequalities = TRUE
1116.53/1116.51 c
1116.53/1116.51 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1116.53/1116.51 c # [type: int, range: [-1,2147483647], default: -1]
1116.53/1116.51 c separating/rapidlearning/freq = 0
1116.53/1116.51 c
1116.53/1116.51 c -----------------------------------------------------------------------------------------------
1116.53/1116.51 c start solving
1116.53/1116.52 c
1137.12/1137.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1137.12/1137.11 c 1137s| 1 | 0 | 18221 | - |1900M| 0 |1190 | 15k| 52k| 15k| 52k| 0 | 21 | 0 | 6.365903e+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-3486332-1307794908/watcher-3486332-1307794908 -o /tmp/evaluation-result-3486332-1307794908/solver-3486332-1307794908 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486332-1307794908.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.08 1.19 1.55 2/175 22140
/proc/meminfo: memFree=31942404/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=10508 CPUtime=0 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 1620 0 0 0 0 0 0 0 19 0 1 0 623682072 10760192 1574 33554432000 4194304 8979876 140733722414288 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22140/statm: 2627 1574 366 1169 0 1454 0
[startup+0.0104429 s]
/proc/loadavg: 1.08 1.19 1.55 2/175 22140
/proc/meminfo: memFree=31942404/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=11424 CPUtime=0.01 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 1867 0 0 0 1 0 0 0 19 0 1 0 623682072 11698176 1821 33554432000 4194304 8979876 140733722414288 18446744073709551615 4447000 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22140/statm: 2856 1821 366 1169 0 1683 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11424
[startup+0.100452 s]
/proc/loadavg: 1.08 1.19 1.55 2/175 22140
/proc/meminfo: memFree=31942404/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=24568 CPUtime=0.09 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 5160 0 0 0 9 0 0 0 19 0 1 0 623682072 25157632 5114 33554432000 4194304 8979876 140733722414288 18446744073709551615 6201416 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22140/statm: 6142 5114 366 1169 0 4969 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24568
[startup+0.300408 s]
/proc/loadavg: 1.08 1.19 1.55 2/175 22140
/proc/meminfo: memFree=31942404/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=39884 CPUtime=0.29 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 8974 0 0 0 28 1 0 0 20 0 1 0 623682072 40841216 8928 33554432000 4194304 8979876 140733722414288 18446744073709551615 4445512 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22140/statm: 9971 8928 366 1169 0 8798 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39884
[startup+0.700374 s]
/proc/loadavg: 1.08 1.19 1.55 2/175 22140
/proc/meminfo: memFree=31942404/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=137136 CPUtime=0.69 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 35353 0 0 0 65 4 0 0 21 0 1 0 623682072 140427264 32491 33554432000 4194304 8979876 140733722414288 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 34284 32491 487 1169 0 33111 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 137136
[startup+1.50022 s]
/proc/loadavg: 1.08 1.19 1.55 3/178 22146
/proc/meminfo: memFree=31625588/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=203020 CPUtime=1.49 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 51774 0 0 0 143 6 0 0 23 0 1 0 623682072 207892480 48912 33554432000 4194304 8979876 140733722414288 18446744073709551615 6502402 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 50755 48912 494 1169 0 49582 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 203020
[startup+3.10091 s]
/proc/loadavg: 1.08 1.19 1.55 3/178 22146
/proc/meminfo: memFree=31477656/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=266728 CPUtime=3.09 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 66905 0 0 0 302 7 0 0 25 0 1 0 623682072 273129472 63786 33554432000 4194304 8979876 140733722414288 18446744073709551615 5987560 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 66682 63786 504 1169 0 65509 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 266728
[startup+6.30035 s]
/proc/loadavg: 1.16 1.20 1.55 3/178 22146
/proc/meminfo: memFree=31324688/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=336216 CPUtime=6.29 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 86218 0 0 0 620 9 0 0 25 0 1 0 623682072 344285184 80518 33554432000 4194304 8979876 140733722414288 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 84054 80518 564 1169 0 82881 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 336216
[startup+12.7002 s]
/proc/loadavg: 1.22 1.22 1.56 3/178 22146
/proc/meminfo: memFree=31267668/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=366720 CPUtime=12.69 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 93196 0 0 0 1259 10 0 0 25 0 1 0 623682072 375521280 87496 33554432000 4194304 8979876 140733722414288 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 91680 87496 564 1169 0 90507 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 366720
[startup+25.501 s]
/proc/loadavg: 1.39 1.25 1.56 3/178 22147
/proc/meminfo: memFree=31112976/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=438256 CPUtime=25.5 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 110908 0 0 0 2537 13 0 0 25 0 1 0 623682072 448774144 105076 33554432000 4194304 8979876 140733722414288 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 109564 105076 564 1169 0 108391 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 438256
[startup+51.1005 s]
/proc/loadavg: 1.60 1.31 1.57 3/178 22147
/proc/meminfo: memFree=30892476/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=562636 CPUtime=51.1 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 141363 0 0 0 5094 16 0 0 25 0 1 0 623682072 576139264 135531 33554432000 4194304 8979876 140733722414288 18446744073709551615 4875174 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 140659 135531 564 1169 0 139486 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 562636
[startup+102.306 s]
/proc/loadavg: 1.82 1.42 1.59 3/178 22149
/proc/meminfo: memFree=30615136/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=702268 CPUtime=102.3 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 176131 0 0 0 10210 20 0 0 25 0 1 0 623682072 719122432 170299 33554432000 4194304 8979876 140733722414288 18446744073709551615 4875174 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 175567 170299 564 1169 0 174394 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 702268
[startup+162.301 s]
/proc/loadavg: 1.93 1.52 1.61 3/178 22150
/proc/meminfo: memFree=30323800/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=858316 CPUtime=162.29 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 215409 0 0 0 16204 25 0 0 25 0 1 0 623682072 878915584 209577 33554432000 4194304 8979876 140733722414288 18446744073709551615 5537705 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 214579 209577 569 1169 0 213406 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 858316
[startup+222.3 s]
/proc/loadavg: 2.01 1.62 1.64 3/178 22152
/proc/meminfo: memFree=29964160/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=990640 CPUtime=222.3 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 248584 0 0 0 22199 31 0 0 25 0 1 0 623682072 1014415360 242752 33554432000 4194304 8979876 140733722414288 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 247660 242752 569 1169 0 246487 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 990640
[startup+282.301 s]
/proc/loadavg: 2.04 1.70 1.66 3/178 22154
/proc/meminfo: memFree=29845700/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=1106780 CPUtime=282.3 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 278200 0 0 0 28195 35 0 0 25 0 1 0 623682072 1133342720 272368 33554432000 4194304 8979876 140733722414288 18446744073709551615 4888776 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 276695 272368 569 1169 0 275522 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1106780
[startup+342.301 s]
/proc/loadavg: 2.01 1.75 1.68 3/178 22155
/proc/meminfo: memFree=29723756/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=1208568 CPUtime=342.3 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 303313 0 0 0 34191 39 0 0 25 0 1 0 623682072 1237573632 297481 33554432000 4194304 8979876 140733722414288 18446744073709551615 6503319 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 302142 297481 569 1169 0 300969 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1208568
[startup+402.301 s]
/proc/loadavg: 2.07 1.81 1.70 3/178 22195
/proc/meminfo: memFree=29371448/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=1394708 CPUtime=402.3 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 348812 0 0 0 40186 44 0 0 25 0 1 0 623682072 1428180992 342980 33554432000 4194304 8979876 140733722414288 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 348677 342980 569 1169 0 347504 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1394708
[startup+462.301 s]
/proc/loadavg: 2.02 1.84 1.72 3/178 22196
/proc/meminfo: memFree=29111676/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=1534520 CPUtime=462.31 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 384289 0 0 0 46182 49 0 0 25 0 1 0 623682072 1571348480 378457 33554432000 4194304 8979876 140733722414288 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 383630 378457 569 1169 0 382457 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1534520
[startup+522.3 s]
/proc/loadavg: 2.01 1.87 1.74 3/178 22198
/proc/meminfo: memFree=28869280/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=1696056 CPUtime=522.3 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 423659 0 0 0 52177 53 0 0 25 0 1 0 623682072 1736761344 417827 33554432000 4194304 8979876 140733722414288 18446744073709551615 4351199 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 424014 417827 569 1169 0 422841 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1696056
[startup+582.301 s]
/proc/loadavg: 2.00 1.89 1.75 3/178 22200
/proc/meminfo: memFree=28752164/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=1838576 CPUtime=582.3 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 459716 0 0 0 58173 57 0 0 25 0 1 0 623682072 1882701824 453884 33554432000 4194304 8979876 140733722414288 18446744073709551615 6503324 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 459644 453884 569 1169 0 458471 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1838576
[startup+642.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 1.95 1.81 3/178 22208
/proc/meminfo: memFree=28206532/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=2405036 CPUtime=882.31 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 600949 0 0 0 88157 74 0 0 25 0 1 0 623682072 2462756864 595117 33554432000 4194304 8979876 140733722414288 18446744073709551615 5537828 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 601259 595117 569 1169 0 600086 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2405036
[startup+942.3 s]
/proc/loadavg: 2.00 1.95 1.82 3/178 22209
/proc/meminfo: memFree=28094276/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=2482848 CPUtime=942.31 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 620142 0 0 0 94154 77 0 0 25 0 1 0 623682072 2542436352 614310 33554432000 4194304 8979876 140733722414288 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 620712 614310 569 1169 0 619539 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2482848
[startup+1002.3 s]
/proc/loadavg: 2.00 1.96 1.82 3/178 22211
/proc/meminfo: memFree=27998268/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=2523500 CPUtime=1002.31 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 630615 0 0 0 100153 78 0 0 25 0 1 0 623682072 2584064000 624783 33554432000 4194304 8979876 140733722414288 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 630875 624783 569 1169 0 629702 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2523500
[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.83 3/178 22212
/proc/meminfo: memFree=28011132/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=2555996 CPUtime=1062.31 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 638910 0 0 0 106152 79 0 0 25 0 1 0 623682072 2617339904 633078 33554432000 4194304 8979876 140733722414288 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 638999 633078 569 1169 0 637826 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2555996
[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.84 3/178 22214
/proc/meminfo: memFree=27926520/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=2659168 CPUtime=1122.32 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 665726 0 0 0 112148 84 0 0 25 0 1 0 623682072 2722988032 658087 33554432000 4194304 8979876 140733722414288 18446744073709551615 7147290 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 664792 658087 940 1169 0 663619 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2659168
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.84 3/178 22216
/proc/meminfo: memFree=27910484/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=2657592 CPUtime=1182.32 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 668824 0 0 0 118139 93 0 0 25 0 1 0 623682072 2721374208 658052 33554432000 4194304 8979876 140733722414288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 664398 658052 771 1169 0 663225 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2657592
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.85 3/178 22217
/proc/meminfo: memFree=27917868/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=2657592 CPUtime=1242.32 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 668895 0 0 0 124137 95 0 0 25 0 1 0 623682072 2721374208 658099 33554432000 4194304 8979876 140733722414288 18446744073709551615 6254368 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 664398 658099 774 1169 0 663225 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2657592
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.85 3/178 22219
/proc/meminfo: memFree=27917068/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=2657592 CPUtime=1302.32 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 668895 0 0 0 130137 95 0 0 25 0 1 0 623682072 2721374208 658099 33554432000 4194304 8979876 140733722414288 18446744073709551615 6254356 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 664398 658099 774 1169 0 663225 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 2657592
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.86 3/178 22220
/proc/meminfo: memFree=27956456/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=2657592 CPUtime=1362.32 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 668895 0 0 0 136137 95 0 0 25 0 1 0 623682072 2721374208 658099 33554432000 4194304 8979876 140733722414288 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 664398 658099 774 1169 0 663225 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2657592
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.87 3/178 22222
/proc/meminfo: memFree=27925136/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=2657592 CPUtime=1422.33 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 668895 0 0 0 142138 95 0 0 25 0 1 0 623682072 2721374208 658099 33554432000 4194304 8979876 140733722414288 18446744073709551615 6254448 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 664398 658099 774 1169 0 663225 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 2657592
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.87 3/178 22224
/proc/meminfo: memFree=27922616/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=2657592 CPUtime=1482.32 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 668895 0 0 0 148137 95 0 0 25 0 1 0 623682072 2721374208 658099 33554432000 4194304 8979876 140733722414288 18446744073709551615 6254368 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 664398 658099 774 1169 0 663225 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2657592
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/178 22225
/proc/meminfo: memFree=27945756/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=2657592 CPUtime=1542.32 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 668895 0 0 0 154137 95 0 0 25 0 1 0 623682072 2721374208 658099 33554432000 4194304 8979876 140733722414288 18446744073709551615 6254368 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 664398 658099 774 1169 0 663225 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 2657592
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/178 22227
/proc/meminfo: memFree=27936776/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=2657592 CPUtime=1602.33 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 668895 0 0 0 160138 95 0 0 25 0 1 0 623682072 2721374208 658099 33554432000 4194304 8979876 140733722414288 18446744073709551615 6254371 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 664398 658099 774 1169 0 663225 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2657592
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.89 3/178 22228
/proc/meminfo: memFree=27927280/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=2657592 CPUtime=1662.33 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 668895 0 0 0 166138 95 0 0 25 0 1 0 623682072 2721374208 658099 33554432000 4194304 8979876 140733722414288 18446744073709551615 6254368 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 664398 658099 774 1169 0 663225 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2657592
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.89 3/178 22230
/proc/meminfo: memFree=27932432/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=2657592 CPUtime=1722.33 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 668895 0 0 0 172138 95 0 0 25 0 1 0 623682072 2721374208 658099 33554432000 4194304 8979876 140733722414288 18446744073709551615 6254589 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 664398 658099 774 1169 0 663225 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 2657592
[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.90 3/178 22232
/proc/meminfo: memFree=27951572/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=2657592 CPUtime=1782.33 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 668895 0 0 0 178138 95 0 0 25 0 1 0 623682072 2721374208 658099 33554432000 4194304 8979876 140733722414288 18446744073709551615 6254368 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 664398 658099 774 1169 0 663225 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2657592
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 1.97 1.90 3/178 22232
/proc/meminfo: memFree=27939404/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=2657592 CPUtime=1800.03 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4202496 668896 0 0 0 179908 95 0 0 25 0 1 0 623682072 2721374208 658100 33554432000 4194304 8979876 140733722414288 18446744073709551615 6255392 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/22140/statm: 664398 658100 774 1169 0 663225 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2657592
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.00 1.97 1.90 3/178 22232
/proc/meminfo: memFree=27939404/32951124 swapFree=67055708/67111528
[pid=22140] ppid=22138 vsize=0 CPUtime=1800.14 cores=0,2,4,6
/proc/22140/stat : 22140 (scip-2.0.1.4_2.) R 22138 22140 21306 0 -1 4203524 668896 0 0 0 179908 106 0 0 25 0 1 0 623682072 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/22140/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.11
CPU time (s): 1800.15
CPU user time (s): 1799.09
CPU system time (s): 1.06384
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2663336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 1.06384
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 668896
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= 1988
runsolver used 2.73358 second user time and 5.50316 second system time
The end