0.00/0.00 c SCIP version 2.0.1.5 [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-3489798-1307794603.opb>
1.10/1.17 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184464 constraints
1.10/1.17 c problem read
1.10/1.17 c presolving settings loaded
1.49/1.58 c presolving:
8.19/8.26 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
10.79/10.84 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
11.59/11.68 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
12.09/12.13 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
12.39/12.47 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
12.59/12.66 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
12.69/12.78 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
12.79/12.86 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
12.89/12.92 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
12.89/12.97 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
13.49/13.57 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
14.29/14.37 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
14.49/14.59 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
608.11/608.15 c (608.1s) probing: 1000/42393 (2.4%) - 0 fixings, 0 aggregations, 9875280 implications, 0 bound changes
1040.13/1040.19 c (1040.2s) probing: 2000/42393 (4.7%) - 0 fixings, 0 aggregations, 15878737 implications, 0 bound changes
1040.63/1040.70 c (1040.7s) probing: 2001/42393 (4.7%) - 0 fixings, 0 aggregations, 15889618 implications, 0 bound changes
1040.63/1040.70 c (1040.7s) probing aborted: 2000/2000 successive useless probings
1040.63/1040.70 c presolving (14 rounds):
1040.63/1040.70 c 12389 deleted vars, 45590 deleted constraints, 59 added constraints, 9581 tightened bounds, 0 added holes, 171 changed sides, 392 changed coefficients
1040.63/1040.70 c 68014424 implications, 0 cliques
1040.63/1040.70 c presolved problem has 42393 variables (42393 bin, 0 int, 0 impl, 0 cont) and 138933 constraints
1040.63/1040.70 c 1128 constraints of type <knapsack>
1040.63/1040.70 c 116842 constraints of type <setppc>
1040.63/1040.70 c 20963 constraints of type <logicor>
1040.63/1040.70 c transformed objective value is always integral (scale: 1)
1040.63/1040.70 c Presolving Time: 1039.24
1040.63/1040.70 c - non default parameters ----------------------------------------------------------------------
1040.63/1040.70 c # SCIP version 2.0.1.5
1040.63/1040.70 c
1040.63/1040.70 c # frequency for displaying node information lines
1040.63/1040.70 c # [type: int, range: [-1,2147483647], default: 100]
1040.63/1040.70 c display/freq = 10000
1040.63/1040.70 c
1040.63/1040.70 c # maximal time in seconds to run
1040.63/1040.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1040.63/1040.70 c limits/time = 1797
1040.63/1040.70 c
1040.63/1040.70 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1040.63/1040.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1040.63/1040.70 c limits/memory = 13950
1040.63/1040.70 c
1040.63/1040.70 c # default clock type (1: CPU user seconds, 2: wall clock time)
1040.63/1040.70 c # [type: int, range: [1,2], default: 1]
1040.63/1040.70 c timing/clocktype = 2
1040.63/1040.70 c
1040.63/1040.70 c # belongs reading time to solving time?
1040.63/1040.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1040.63/1040.70 c timing/reading = TRUE
1040.63/1040.70 c
1040.63/1040.70 c # should presolving try to simplify inequalities
1040.63/1040.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1040.63/1040.70 c constraints/linear/simplifyinequalities = TRUE
1040.63/1040.70 c
1040.63/1040.70 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1040.63/1040.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1040.63/1040.70 c constraints/indicator/addCouplingCons = TRUE
1040.63/1040.70 c
1040.63/1040.70 c # should presolving try to simplify knapsacks
1040.63/1040.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1040.63/1040.70 c constraints/knapsack/simplifyinequalities = TRUE
1040.63/1040.70 c
1040.63/1040.70 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1040.63/1040.70 c # [type: int, range: [-1,2147483647], default: -1]
1040.63/1040.70 c separating/rapidlearning/freq = 0
1040.63/1040.70 c
1040.63/1040.70 c -----------------------------------------------------------------------------------------------
1040.63/1040.70 c start solving
1040.73/1040.73 c
1143.03/1143.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1143.03/1143.05 c 1143s| 1 | 0 | 34644 | - |2043M| 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-3489798-1307794603/watcher-3489798-1307794603 -o /tmp/evaluation-result-3489798-1307794603/solver-3489798-1307794603 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489798-1307794603.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 3/177 9841
/proc/meminfo: memFree=29505500/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=10944 CPUtime=0 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 1638 0 0 0 0 0 0 0 25 0 1 0 969690977 11206656 1593 33554432000 4194304 9016284 140736034713536 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9841/statm: 2736 1606 340 1178 0 1554 0
[startup+0.104647 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9841
/proc/meminfo: memFree=29505500/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=31088 CPUtime=0.1 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 6775 0 0 0 9 1 0 0 25 0 1 0 969690977 31834112 6730 33554432000 4194304 9016284 140736034713536 18446744073709551615 6816768 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9841/statm: 7772 6730 360 1178 0 6590 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 31088
[startup+0.200638 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9841
/proc/meminfo: memFree=29505500/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=44564 CPUtime=0.19 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 10134 0 0 0 18 1 0 0 25 0 1 0 969690977 45633536 10089 33554432000 4194304 9016284 140736034713536 18446744073709551615 7875152 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9841/statm: 11141 10089 360 1178 0 9959 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 44564
[startup+0.300611 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9841
/proc/meminfo: memFree=29505500/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=50556 CPUtime=0.29 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 11622 0 0 0 28 1 0 0 25 0 1 0 969690977 51769344 11577 33554432000 4194304 9016284 140736034713536 18446744073709551615 7870473 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9841/statm: 12639 11577 360 1178 0 11457 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50556
[startup+0.700528 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9841
/proc/meminfo: memFree=29505500/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=80824 CPUtime=0.69 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 19166 0 0 0 67 2 0 0 25 0 1 0 969690977 82763776 19121 33554432000 4194304 9016284 140736034713536 18446744073709551615 4445996 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9841/statm: 20206 19122 360 1178 0 19024 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80824
[startup+1.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9842
/proc/meminfo: memFree=29388832/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=278608 CPUtime=1.49 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 68422 0 0 0 141 8 0 0 25 0 1 0 969690977 285294592 68326 33554432000 4194304 9016284 140736034713536 18446744073709551615 4787056 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9841/statm: 69652 68326 429 1178 0 68470 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 278608
[startup+3.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9842
/proc/meminfo: memFree=29155832/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=421584 CPUtime=3.09 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 103395 0 0 0 296 13 0 0 25 0 1 0 969690977 431702016 103299 33554432000 4194304 9016284 140736034713536 18446744073709551615 4460361 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9841/statm: 105396 103299 485 1178 0 104214 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 421584
[startup+6.30049 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9842
/proc/meminfo: memFree=28940568/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=604068 CPUtime=6.29 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 147965 0 0 0 612 17 0 0 25 0 1 0 969690977 618565632 147869 33554432000 4194304 9016284 140736034713536 18446744073709551615 6480437 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9841/statm: 151017 147869 485 1178 0 149835 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 604068
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9842
/proc/meminfo: memFree=28814488/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=673252 CPUtime=12.69 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 164230 0 0 0 1250 19 0 0 25 0 1 0 969690977 689410048 163877 33554432000 4194304 9016284 140736034713536 18446744073709551615 6481218 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9841/statm: 168313 163877 496 1178 0 167131 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 673252
[startup+25.5009 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 9843
/proc/meminfo: memFree=28627592/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=790824 CPUtime=25.49 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 202054 0 0 0 2525 24 0 0 25 0 1 0 969690977 809803776 191429 33554432000 4194304 9016284 140736034713536 18446744073709551615 6480168 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9841/statm: 197706 191429 558 1178 0 196524 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 790824
[startup+51.101 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 9843
/proc/meminfo: memFree=28550092/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=828616 CPUtime=51.09 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 211472 0 0 0 5084 25 0 0 25 0 1 0 969690977 848502784 200847 33554432000 4194304 9016284 140736034713536 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 207154 200847 558 1178 0 205972 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 828616
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9845
/proc/meminfo: memFree=28355152/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=941736 CPUtime=102.3 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 239347 0 0 0 10201 29 0 0 25 0 1 0 969690977 964337664 228722 33554432000 4194304 9016284 140736034713536 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 235434 228722 558 1178 0 234252 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 941736
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9846
/proc/meminfo: memFree=28115916/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=1065256 CPUtime=162.3 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 269235 0 0 0 16198 32 0 0 25 0 1 0 969690977 1090822144 258610 33554432000 4194304 9016284 140736034713536 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 266314 258610 558 1178 0 265132 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1065256
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9848
/proc/meminfo: memFree=27816804/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=1209104 CPUtime=222.3 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 305455 0 0 0 22194 36 0 0 25 0 1 0 969690977 1238122496 294830 33554432000 4194304 9016284 140736034713536 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 302276 294830 558 1178 0 301094 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1209104
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9850
/proc/meminfo: memFree=27513324/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=1416320 CPUtime=282.3 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 357123 0 0 0 28187 43 0 0 25 0 1 0 969690977 1450311680 346498 33554432000 4194304 9016284 140736034713536 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 354080 346499 558 1178 0 352898 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1416320
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9851
/proc/meminfo: memFree=27301352/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=1550900 CPUtime=342.3 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 390134 0 0 0 34183 47 0 0 25 0 1 0 969690977 1588121600 379509 33554432000 4194304 9016284 140736034713536 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 387725 379509 558 1178 0 386543 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1550900
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9853
/proc/meminfo: memFree=27104892/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=1647772 CPUtime=402.3 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 414939 0 0 0 40180 50 0 0 25 0 1 0 969690977 1687318528 404314 33554432000 4194304 9016284 140736034713536 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 411943 404314 558 1178 0 410761 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1647772
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9854
/proc/meminfo: memFree=26921328/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=1724552 CPUtime=462.31 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 434206 0 0 0 46178 53 0 0 25 0 1 0 969690977 1765941248 423581 33554432000 4194304 9016284 140736034713536 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 431138 423581 558 1178 0 429956 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1724552
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9856
/proc/meminfo: memFree=26629392/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=1910840 CPUtime=522.31 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 479947 0 0 0 52172 59 0 0 25 0 1 0 969690977 1956700160 469322 33554432000 4194304 9016284 140736034713536 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 477710 469322 558 1178 0 476528 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1910840
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9858
/proc/meminfo: memFree=26482292/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=1999508 CPUtime=582.3 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 502390 0 0 0 58168 62 0 0 25 0 1 0 969690977 2047496192 491765 33554432000 4194304 9016284 140736034713536 18446744073709551615 6594091 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 499877 491765 558 1178 0 498695 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1999508
[startup+642.301 s]
################
# More data... #
################
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 616390 0 0 0 100154 78 0 0 25 0 1 0 969690977 2518380544 605765 33554432000 4194304 9016284 140736034713536 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 614839 605765 563 1178 0 613657 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2459356
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9870
/proc/meminfo: memFree=25345572/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=2733500 CPUtime=1062.32 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 684753 0 0 0 106145 87 0 0 25 0 1 0 969690977 2799104000 669745 33554432000 4194304 9016284 140736034713536 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 683375 669745 968 1178 0 682193 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2733500
[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 9872
/proc/meminfo: memFree=25315296/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=2755060 CPUtime=1122.33 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 691691 0 0 0 112140 93 0 0 25 0 1 0 969690977 2821181440 676207 33554432000 4194304 9016284 140736034713536 18446744073709551615 7181505 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 688765 676207 1076 1178 0 687583 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2755060
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9874
/proc/meminfo: memFree=25307468/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=2764580 CPUtime=1182.33 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 695655 0 0 0 118137 96 0 0 25 0 1 0 969690977 2830929920 679961 33554432000 4194304 9016284 140736034713536 18446744073709551615 7156496 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 691145 679961 2875 1178 0 689963 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2764580
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9875
/proc/meminfo: memFree=25306688/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=2764580 CPUtime=1242.33 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 695979 0 0 0 124130 103 0 0 25 0 1 0 969690977 2830929920 680284 33554432000 4194304 9016284 140736034713536 18446744073709551615 7870589 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 691145 680284 2993 1178 0 689963 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2764580
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9877
/proc/meminfo: memFree=25306520/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=2764580 CPUtime=1302.33 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 696055 0 0 0 130130 103 0 0 25 0 1 0 969690977 2830929920 680360 33554432000 4194304 9016284 140736034713536 18446744073709551615 6231362 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 691145 680360 2999 1178 0 689963 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2764580
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 9881
/proc/meminfo: memFree=25306416/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=2764580 CPUtime=1362.33 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 696055 0 0 0 136130 103 0 0 25 0 1 0 969690977 2830929920 680360 33554432000 4194304 9016284 140736034713536 18446744073709551615 6231362 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 691145 680360 2999 1178 0 689963 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2764580
[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9922
/proc/meminfo: memFree=27807872/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=2764580 CPUtime=1422.35 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 696055 0 0 0 142131 104 0 0 25 0 1 0 969690977 2830929920 680360 33554432000 4194304 9016284 140736034713536 18446744073709551615 6231355 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 691145 680360 2999 1178 0 689963 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 2764580
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9924
/proc/meminfo: memFree=27752436/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=2764580 CPUtime=1482.34 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 696055 0 0 0 148130 104 0 0 25 0 1 0 969690977 2830929920 680360 33554432000 4194304 9016284 140736034713536 18446744073709551615 6231443 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 691145 680360 2999 1178 0 689963 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 2764580
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9925
/proc/meminfo: memFree=27764972/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=2764580 CPUtime=1542.35 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 696055 0 0 0 154131 104 0 0 25 0 1 0 969690977 2830929920 680360 33554432000 4194304 9016284 140736034713536 18446744073709551615 6231264 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 691145 680360 2999 1178 0 689963 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 2764580
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9927
/proc/meminfo: memFree=27723384/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=2764580 CPUtime=1602.35 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 696055 0 0 0 160131 104 0 0 25 0 1 0 969690977 2830929920 680360 33554432000 4194304 9016284 140736034713536 18446744073709551615 6231428 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 691145 680360 2999 1178 0 689963 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 2764580
[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 9928
/proc/meminfo: memFree=27715892/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=2764580 CPUtime=1662.35 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 696055 0 0 0 166131 104 0 0 25 0 1 0 969690977 2830929920 680360 33554432000 4194304 9016284 140736034713536 18446744073709551615 6231252 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 691145 680360 2999 1178 0 689963 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 2764580
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 9930
/proc/meminfo: memFree=27705812/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=2764580 CPUtime=1722.35 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 696055 0 0 0 172131 104 0 0 25 0 1 0 969690977 2830929920 680360 33554432000 4194304 9016284 140736034713536 18446744073709551615 6231264 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 691145 680360 2999 1178 0 689963 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 2764580
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 9932
/proc/meminfo: memFree=27694716/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=2764580 CPUtime=1782.35 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 696055 0 0 0 178131 104 0 0 25 0 1 0 969690977 2830929920 680360 33554432000 4194304 9016284 140736034713536 18446744073709551615 18446744073699065904 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 691145 680360 2999 1178 0 689963 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 2764580
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9932
/proc/meminfo: memFree=27694568/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=2764580 CPUtime=1800.06 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 696071 0 0 0 179902 104 0 0 25 0 1 0 969690977 2830929920 680372 33554432000 4194304 9016284 140736034713536 18446744073709551615 6232316 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 691145 680372 2995 1178 0 689963 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2764580
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9841
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9933
/proc/meminfo: memFree=27694436/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=2764580 CPUtime=1801.56 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 696071 0 0 0 180052 104 0 0 25 0 1 0 969690977 2830929920 680372 33554432000 4194304 9016284 140736034713536 18446744073709551615 6232316 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 691145 680372 2995 1178 0 689963 0
Current children cumulated CPU time (s) 1801.56
Current children cumulated vsize (KiB) 2764580
[startup+1801.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9933
/proc/meminfo: memFree=27694436/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=2764580 CPUtime=1801.96 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4202496 696071 0 0 0 180092 104 0 0 25 0 1 0 969690977 2830929920 680372 33554432000 4194304 9016284 140736034713536 18446744073709551615 6232304 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9841/statm: 691145 680372 2995 1178 0 689963 0
Current children cumulated CPU time (s) 1801.96
Current children cumulated vsize (KiB) 2764580
[startup+1802.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 9933
/proc/meminfo: memFree=27694436/32950928 swapFree=67054844/67111528
[pid=9841] ppid=9839 vsize=0 CPUtime=1802.15 cores=0,2,4,6
/proc/9841/stat : 9841 (scip-2.0.1.4b_2) R 9839 9841 8698 0 -1 4203524 696071 0 0 0 180102 113 0 0 25 0 1 0 969690977 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/9841/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.15
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.11
CPU time (s): 1802.17
CPU user time (s): 1801.03
CPU system time (s): 1.14482
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2764580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.03
system time used= 1.14482
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 696071
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= 3
involuntary context switches= 1833
runsolver used 2.80557 second user time and 5.57815 second system time
The end