0.00/0.01 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3450731-1307110275.opb>
0.09/0.19 c original problem has 33640 variables (33640 bin, 0 int, 0 impl, 0 cont) and 36641 constraints
0.09/0.19 c problem read
0.09/0.19 c presolving settings loaded
0.29/0.39 o 0
0.29/0.39 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.29/0.39 c presolving:
0.79/0.82 c (round 1) 0 del vars, 33640 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1000 upgd conss, 255120 impls, 1999 clqs
0.89/0.93 c (round 2) 31640 del vars, 33640 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3000 upgd conss, 255120 impls, 0 clqs
1.00/1.05 c (1.0s) probing: 101/2000 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.00/1.05 c (1.0s) probing aborted: 100/100 successive totally useless probings
1.00/1.05 c presolving (3 rounds):
1.00/1.05 c 31640 deleted vars, 33640 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.00/1.05 c 255120 implications, 0 cliques
1.00/1.05 c presolved problem has 2000 variables (2000 bin, 0 int, 0 impl, 0 cont) and 3001 constraints
1.00/1.05 c 2000 constraints of type <knapsack>
1.00/1.05 c 1000 constraints of type <setppc>
1.00/1.05 c 1 constraints of type <linear>
1.00/1.05 c transformed objective value is always integral (scale: 1)
1.00/1.05 c Presolving Time: 0.75
1.00/1.05 c - non default parameters ----------------------------------------------------------------------
1.00/1.05 c # SCIP version 2.0.1.5
1.00/1.05 c
1.00/1.05 c # frequency for displaying node information lines
1.00/1.05 c # [type: int, range: [-1,2147483647], default: 100]
1.00/1.05 c display/freq = 10000
1.00/1.05 c
1.00/1.05 c # maximal time in seconds to run
1.00/1.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.05 c limits/time = 1800
1.00/1.05 c
1.00/1.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.00/1.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.05 c limits/memory = 13950
1.00/1.05 c
1.00/1.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.00/1.05 c # [type: int, range: [1,2], default: 1]
1.00/1.05 c timing/clocktype = 2
1.00/1.05 c
1.00/1.05 c # belongs reading time to solving time?
1.00/1.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.05 c timing/reading = TRUE
1.00/1.05 c
1.00/1.05 c # should presolving try to simplify inequalities
1.00/1.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.05 c constraints/linear/simplifyinequalities = TRUE
1.00/1.05 c
1.00/1.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.00/1.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.05 c constraints/indicator/addCouplingCons = TRUE
1.00/1.05 c
1.00/1.05 c # should presolving try to simplify knapsacks
1.00/1.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.05 c constraints/knapsack/simplifyinequalities = TRUE
1.00/1.05 c
1.00/1.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.00/1.05 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.05 c separating/rapidlearning/freq = 0
1.00/1.05 c
1.00/1.05 c -----------------------------------------------------------------------------------------------
1.00/1.05 c start solving
1.00/1.05 c
94.29/94.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.29/94.32 c t94.3s| 1 | 0 | 18078 | - | 86M| 0 |2000 |2000 |3001 |2000 |3001 | 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
94.39/94.46 o -1
94.39/94.46 c R94.5s| 1 | 0 | 18078 | - | 87M| 0 |2000 |2000 |3001 |2000 |3001 | 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
461.49/461.51 c 462s| 1 | 2 | 23432 | - | 87M| 0 |2000 |2000 |3001 |2000 |3001 | 0 | 0 | 14 |-5.000000e+02 |-1.000000e+00 | 99.80%
1172.68/1172.72 o -2
1172.68/1172.72 c R1173s| 4 | 3 | 27378 |3100.0 | 87M| 3 |1949 |2000 |3001 |2000 |3001 | 0 | 0 | 45 |-5.000000e+02 |-2.000000e+00 | 99.60%
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450731-1307110275/watcher-3450731-1307110275 -o /tmp/evaluation-result-3450731-1307110275/solver-3450731-1307110275 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450731-1307110275.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 1.57 1.56 3/373 10873
/proc/meminfo: memFree=22791204/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=15932 CPUtime=0 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 2974 0 0 0 0 0 0 0 25 0 1 0 822627957 16314368 2927 33554432000 4194304 9163163 140734642035712 18446744073709551615 8045195 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10873/statm: 3983 2927 410 1214 0 2765 0
[startup+0.0393611 s]
/proc/loadavg: 2.03 1.57 1.56 3/373 10873
/proc/meminfo: memFree=22791204/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=24776 CPUtime=0.03 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 5180 0 0 0 3 0 0 0 25 0 1 0 822627957 25370624 5133 33554432000 4194304 9163163 140734642035712 18446744073709551615 4338896 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10873/statm: 6194 5133 410 1214 0 4976 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 24776
[startup+0.100352 s]
/proc/loadavg: 2.03 1.57 1.56 3/373 10873
/proc/meminfo: memFree=22791204/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=41332 CPUtime=0.09 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 9309 0 0 0 8 1 0 0 25 0 1 0 822627957 42323968 9262 33554432000 4194304 9163163 140734642035712 18446744073709551615 4338904 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10873/statm: 10333 9262 410 1214 0 9115 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41332
[startup+0.300317 s]
/proc/loadavg: 2.03 1.57 1.56 3/373 10873
/proc/meminfo: memFree=22791204/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=102144 CPUtime=0.29 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 24621 0 0 0 26 3 0 0 25 0 1 0 822627957 104595456 24380 33554432000 4194304 9163163 140734642035712 18446744073709551615 4978168 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 25536 24380 461 1214 0 24318 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 102144
[startup+0.700249 s]
/proc/loadavg: 2.03 1.57 1.56 3/373 10873
/proc/meminfo: memFree=22791204/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=126152 CPUtime=0.69 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 31374 0 0 0 65 4 0 0 25 0 1 0 822627957 129179648 30122 33554432000 4194304 9163163 140734642035712 18446744073709551615 5342864 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 31538 30122 532 1214 0 30320 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 126152
[startup+1.50109 s]
/proc/loadavg: 2.03 1.57 1.56 3/374 10874
/proc/meminfo: memFree=22659384/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=154700 CPUtime=1.49 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 38405 0 0 0 144 5 0 0 25 0 1 0 822627957 158412800 36918 33554432000 4194304 9163163 140734642035712 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 38675 36918 699 1214 0 37457 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 154700
[startup+3.1008 s]
/proc/loadavg: 2.03 1.57 1.56 3/374 10874
/proc/meminfo: memFree=22644652/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=157716 CPUtime=3.09 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 39307 0 0 0 302 7 0 0 25 0 1 0 822627957 161501184 37779 33554432000 4194304 9163163 140734642035712 18446744073709551615 7346183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 39429 37779 672 1214 0 38211 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 157716
[startup+6.30022 s]
/proc/loadavg: 2.02 1.58 1.56 3/374 10874
/proc/meminfo: memFree=22633496/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=166188 CPUtime=6.29 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 42456 0 0 0 621 8 0 0 25 0 1 0 822627957 170176512 39956 33554432000 4194304 9163163 140734642035712 18446744073709551615 7391789 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 41547 39956 740 1214 0 40329 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 166188
[startup+12.7011 s]
/proc/loadavg: 2.02 1.58 1.56 3/374 10874
/proc/meminfo: memFree=22617980/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=183844 CPUtime=12.69 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 47779 0 0 0 1260 9 0 0 25 0 1 0 822627957 188256256 43353 33554432000 4194304 9163163 140734642035712 18446744073709551615 7360957 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 45961 43353 667 1214 0 44743 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 183844
[startup+25.5007 s]
/proc/loadavg: 2.02 1.60 1.57 3/374 10874
/proc/meminfo: memFree=22599572/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=201876 CPUtime=25.49 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 54302 0 0 0 2539 10 0 0 25 0 1 0 822627957 206721024 48193 33554432000 4194304 9163163 140734642035712 18446744073709551615 7358912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 50469 48193 667 1214 0 49251 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 201876
[startup+51.101 s]
/proc/loadavg: 2.08 1.65 1.58 3/374 10875
/proc/meminfo: memFree=22595880/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=212424 CPUtime=51.1 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 60638 0 0 0 5098 12 0 0 25 0 1 0 822627957 217522176 49395 33554432000 4194304 9163163 140734642035712 18446744073709551615 7390842 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 53106 49395 667 1214 0 51888 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 212424
[startup+102.314 s]
/proc/loadavg: 2.03 1.70 1.60 3/374 10876
/proc/meminfo: memFree=22555028/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=241776 CPUtime=102.31 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 73680 0 0 0 10215 16 0 0 25 0 1 0 822627957 247578624 59367 33554432000 4194304 9163163 140734642035712 18446744073709551615 7390677 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 60444 59367 735 1214 0 59226 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 241776
[startup+162.301 s]
/proc/loadavg: 2.01 1.75 1.62 3/374 10878
/proc/meminfo: memFree=22554244/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=241776 CPUtime=162.29 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 73680 0 0 0 16212 17 0 0 25 0 1 0 822627957 247578624 59367 33554432000 4194304 9163163 140734642035712 18446744073709551615 7348661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 60444 59367 735 1214 0 59226 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 241776
[startup+222.301 s]
/proc/loadavg: 2.00 1.80 1.64 3/374 10880
/proc/meminfo: memFree=22563016/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=237060 CPUtime=222.29 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 85020 0 0 0 22208 21 0 0 25 0 1 0 822627957 242749440 57414 33554432000 4194304 9163163 140734642035712 18446744073709551615 7390316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 59265 57414 739 1214 0 58047 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 237060
[startup+282.301 s]
/proc/loadavg: 2.00 1.83 1.66 3/374 10881
/proc/meminfo: memFree=22561120/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=237252 CPUtime=282.29 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 85570 0 0 0 28206 23 0 0 25 0 1 0 822627957 242946048 57964 33554432000 4194304 9163163 140734642035712 18446744073709551615 7357996 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 59313 57964 739 1214 0 58095 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 237252
[startup+342.301 s]
/proc/loadavg: 2.00 1.86 1.68 3/374 10883
/proc/meminfo: memFree=22558124/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=237252 CPUtime=342.28 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 85596 0 0 0 34204 24 0 0 25 0 1 0 822627957 242946048 57990 33554432000 4194304 9163163 140734642035712 18446744073709551615 7390377 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 59313 57990 739 1214 0 58095 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 237252
[startup+402.301 s]
/proc/loadavg: 2.00 1.88 1.70 3/374 10884
/proc/meminfo: memFree=22557472/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=237252 CPUtime=402.28 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 85596 0 0 0 40202 26 0 0 25 0 1 0 822627957 242946048 57990 33554432000 4194304 9163163 140734642035712 18446744073709551615 7346415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 59313 57990 739 1214 0 58095 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 237252
[startup+462.301 s]
/proc/loadavg: 2.07 1.92 1.72 3/374 10886
/proc/meminfo: memFree=22558924/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=237252 CPUtime=462.29 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 85681 0 0 0 46201 28 0 0 25 0 1 0 822627957 242946048 58075 33554432000 4194304 9163163 140734642035712 18446744073709551615 7390096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 59313 58075 739 1214 0 58095 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 237252
[startup+522.301 s]
/proc/loadavg: 2.02 1.93 1.73 3/374 10888
/proc/meminfo: memFree=22553316/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=243176 CPUtime=522.29 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 87219 0 0 0 52199 30 0 0 25 0 1 0 822627957 249012224 59613 33554432000 4194304 9163163 140734642035712 18446744073709551615 7390002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 60794 59613 739 1214 0 59576 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 243176
[startup+582.301 s]
/proc/loadavg: 2.10 1.97 1.76 3/374 10889
/proc/meminfo: memFree=22551184/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=243176 CPUtime=582.28 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 87219 0 0 0 58197 31 0 0 25 0 1 0 822627957 249012224 59613 33554432000 4194304 9163163 140734642035712 18446744073709551615 7390316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 60794 59613 739 1214 0 59576 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 243176
[startup+642.301 s]
################
# More data... #
################
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 87219 0 0 0 106185 43 0 0 25 0 1 0 822627957 249012224 59613 33554432000 4194304 9163163 140734642035712 18446744073709551615 7360932 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 60794 59613 739 1214 0 59576 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 243176
[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 1.85 3/374 10904
/proc/meminfo: memFree=22549336/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=243176 CPUtime=1122.28 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 87219 0 0 0 112184 44 0 0 25 0 1 0 822627957 249012224 59613 33554432000 4194304 9163163 140734642035712 18446744073709551615 7390360 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 60794 59613 739 1214 0 59576 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 243176
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 1.86 3/374 10905
/proc/meminfo: memFree=22549300/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=243176 CPUtime=1182.28 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 87219 0 0 0 118181 47 0 0 25 0 1 0 822627957 249012224 59613 33554432000 4194304 9163163 140734642035712 18446744073709551615 7390303 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 60794 59613 739 1214 0 59576 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 243176
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.87 3/374 10907
/proc/meminfo: memFree=22551876/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=243176 CPUtime=1242.27 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 87219 0 0 0 124180 47 0 0 25 0 1 0 822627957 249012224 59613 33554432000 4194304 9163163 140734642035712 18446744073709551615 7390821 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 60794 59613 739 1214 0 59576 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 243176
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/374 10908
/proc/meminfo: memFree=22549360/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=243176 CPUtime=1302.28 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 87219 0 0 0 130180 48 0 0 25 0 1 0 822627957 249012224 59613 33554432000 4194304 9163163 140734642035712 18446744073709551615 7390108 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 60794 59613 739 1214 0 59576 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 243176
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/374 10910
/proc/meminfo: memFree=22571144/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=229564 CPUtime=1362.28 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 97649 0 0 0 136177 51 0 0 25 0 1 0 822627957 235073536 53966 33554432000 4194304 9163163 140734642035712 18446744073709551615 7390377 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 57391 53966 739 1214 0 56173 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 229564
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.88 3/374 10912
/proc/meminfo: memFree=22547056/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=241284 CPUtime=1422.29 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 102915 0 0 0 142177 52 0 0 25 0 1 0 822627957 247074816 59232 33554432000 4194304 9163163 140734642035712 18446744073709551615 7358024 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 60321 59232 739 1214 0 59103 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 241284
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/374 10913
/proc/meminfo: memFree=22568092/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=234132 CPUtime=1482.27 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 112678 0 0 0 148173 54 0 0 25 0 1 0 822627957 239751168 55882 33554432000 4194304 9163163 140734642035712 18446744073709551615 7390842 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 58533 55882 739 1214 0 57315 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 234132
[startup+1542.3 s]
/proc/loadavg: 2.11 2.03 1.91 3/374 10915
/proc/meminfo: memFree=22561604/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=246112 CPUtime=1542.28 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 123049 0 0 0 154170 58 0 0 25 0 1 0 822627957 252018688 56752 33554432000 4194304 9163163 140734642035712 18446744073709551615 7390076 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 61528 56752 739 1214 0 60310 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 246112
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 1.91 3/374 10971
/proc/meminfo: memFree=22585624/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=246412 CPUtime=1602.28 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 132033 0 0 0 160168 60 0 0 25 0 1 0 822627957 252325888 58311 33554432000 4194304 9163163 140734642035712 18446744073709551615 7390685 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 61603 58311 739 1214 0 60385 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 246412
[startup+1662.3 s]
/proc/loadavg: 2.06 2.03 1.91 3/374 10973
/proc/meminfo: memFree=22589052/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=235464 CPUtime=1662.28 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 143030 0 0 0 166165 63 0 0 25 0 1 0 822627957 241115136 57243 33554432000 4194304 9163163 140734642035712 18446744073709551615 7394749 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 58866 57243 739 1214 0 57648 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 235464
[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 1.92 3/374 11029
/proc/meminfo: memFree=22602304/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=233912 CPUtime=1722.27 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 153284 0 0 0 172162 65 0 0 25 0 1 0 822627957 239525888 55964 33554432000 4194304 9163163 140734642035712 18446744073709551615 7390360 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 58478 55964 739 1214 0 57260 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 233912
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 1.92 3/374 11030
/proc/meminfo: memFree=22596400/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=230936 CPUtime=1782.28 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 160552 0 0 0 178161 67 0 0 25 0 1 0 822627957 236478464 55778 33554432000 4194304 9163163 140734642035712 18446744073709551615 7390381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 57734 55778 739 1214 0 56516 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 230936
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.01 2.02 1.92 3/374 11031
/proc/meminfo: memFree=22587704/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=235848 CPUtime=1800.08 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 162342 0 0 0 179941 67 0 0 25 0 1 0 822627957 241508352 57568 33554432000 4194304 9163163 140734642035712 18446744073709551615 7390845 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 58962 57568 739 1214 0 57744 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 235848
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -10873
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.01 2.02 1.92 3/375 11032
/proc/meminfo: memFree=22587820/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=235848 CPUtime=1801.37 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 162342 0 0 0 180070 67 0 0 25 0 1 0 822627957 241508352 57568 33554432000 4194304 9163163 140734642035712 18446744073709551615 7358002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 58962 57568 739 1214 0 57744 0
Current children cumulated CPU time (s) 1801.37
Current children cumulated vsize (KiB) 235848
[startup+1801.81 s]
/proc/loadavg: 2.01 2.02 1.92 3/375 11032
/proc/meminfo: memFree=22587696/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=235848 CPUtime=1801.79 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 162342 0 0 0 180112 67 0 0 25 0 1 0 822627957 241508352 57568 33554432000 4194304 9163163 140734642035712 18446744073709551615 7416725 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 58962 57568 739 1214 0 57744 0
Current children cumulated CPU time (s) 1801.79
Current children cumulated vsize (KiB) 235848
[startup+1802 s]
/proc/loadavg: 2.01 2.02 1.92 3/375 11032
/proc/meminfo: memFree=22587696/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=235848 CPUtime=1801.97 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 162342 0 0 0 180130 67 0 0 25 0 1 0 822627957 241508352 57568 33554432000 4194304 9163163 140734642035712 18446744073709551615 7391810 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 58962 57568 739 1214 0 57744 0
Current children cumulated CPU time (s) 1801.97
Current children cumulated vsize (KiB) 235848
[startup+1802.1 s]
/proc/loadavg: 2.01 2.02 1.92 3/375 11032
/proc/meminfo: memFree=22587696/32951124 swapFree=37148216/67111528
[pid=10873] ppid=10871 vsize=235848 CPUtime=1802.07 cores=1,3,5,7
/proc/10873/stat : 10873 (scip-2.0.1.4b.l) R 10871 10873 9067 0 -1 4202496 162342 0 0 0 180140 67 0 0 25 0 1 0 822627957 241508352 57568 33554432000 4194304 9163163 140734642035712 18446744073709551615 7390342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10873/statm: 58962 57568 739 1214 0 57744 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 235848
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.12
CPU time (s): 1802.11
CPU user time (s): 1801.42
CPU system time (s): 0.687895
CPU usage (%): 99.9992
Max. virtual memory (cumulated for all children) (KiB): 248580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.42
system time used= 0.687895
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162342
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 4833
runsolver used 6.46402 second user time and 14.8537 second system time
The end