0.00/0.01 c SCIP version 2.0.1.4 [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-3453502-1307119925.opb>
1.49/1.51 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234284 constraints
1.49/1.51 c problem read
1.49/1.51 c presolving settings loaded
2.28/2.31 c presolving:
8.28/8.40 c (round 1) 4241 del vars, 13107 del conss, 0 add conss, 2837 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16116580 impls, 0 clqs
10.90/10.98 c (round 2) 11259 del vars, 36952 del conss, 0 add conss, 9511 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16148865 impls, 0 clqs
11.59/11.66 c (round 3) 13579 del vars, 48084 del conss, 0 add conss, 10815 chg bounds, 23 chg sides, 25 chg coeffs, 0 upgd conss, 16161729 impls, 0 clqs
12.00/12.03 c (round 4) 14618 del vars, 52115 del conss, 0 add conss, 11453 chg bounds, 35 chg sides, 42 chg coeffs, 0 upgd conss, 16168041 impls, 0 clqs
12.19/12.24 c (round 5) 15210 del vars, 54407 del conss, 0 add conss, 11799 chg bounds, 35 chg sides, 42 chg coeffs, 0 upgd conss, 16172729 impls, 0 clqs
12.29/12.39 c (round 6) 15551 del vars, 55719 del conss, 0 add conss, 12008 chg bounds, 41 chg sides, 47 chg coeffs, 0 upgd conss, 16175276 impls, 0 clqs
12.49/12.50 c (round 7) 15706 del vars, 56418 del conss, 0 add conss, 12118 chg bounds, 58 chg sides, 61 chg coeffs, 0 upgd conss, 16175953 impls, 0 clqs
12.49/12.57 c (round 8) 15769 del vars, 56728 del conss, 0 add conss, 12151 chg bounds, 61 chg sides, 64 chg coeffs, 0 upgd conss, 16176149 impls, 0 clqs
12.59/12.63 c (round 9) 15779 del vars, 56805 del conss, 0 add conss, 12156 chg bounds, 61 chg sides, 64 chg coeffs, 0 upgd conss, 16176325 impls, 0 clqs
12.59/12.69 c (round 10) 15789 del vars, 56845 del conss, 0 add conss, 12161 chg bounds, 61 chg sides, 64 chg coeffs, 0 upgd conss, 16176513 impls, 0 clqs
12.69/12.74 c (round 11) 15795 del vars, 56873 del conss, 0 add conss, 12164 chg bounds, 61 chg sides, 64 chg coeffs, 0 upgd conss, 16176561 impls, 0 clqs
13.39/13.44 c (round 12) 15795 del vars, 56879 del conss, 0 add conss, 12164 chg bounds, 61 chg sides, 64 chg coeffs, 177405 upgd conss, 16176561 impls, 0 clqs
13.99/14.02 c (round 13) 15795 del vars, 56879 del conss, 14 add conss, 12164 chg bounds, 91 chg sides, 233 chg coeffs, 177405 upgd conss, 16176561 impls, 0 clqs
546.00/546.05 c (546.0s) probing: 1000/57047 (1.8%) - 0 fixings, 0 aggregations, 10028525 implications, 0 bound changes
1009.73/1009.77 c (1009.8s) probing: 2000/57047 (3.5%) - 0 fixings, 0 aggregations, 15002676 implications, 0 bound changes
1010.52/1010.57 c (1010.6s) probing: 2001/57047 (3.5%) - 0 fixings, 0 aggregations, 15022386 implications, 0 bound changes
1010.52/1010.57 c (1010.6s) probing aborted: 2000/2000 successive useless probings
1010.52/1010.57 c presolving (14 rounds):
1010.52/1010.57 c 15795 deleted vars, 56881 deleted constraints, 16 added constraints, 12164 tightened bounds, 0 added holes, 98 changed sides, 253 changed coefficients
1010.52/1010.57 c 70588861 implications, 0 cliques
1010.52/1010.57 c presolved problem has 57047 variables (57047 bin, 0 int, 0 impl, 0 cont) and 177419 constraints
1010.52/1010.57 c 1151 constraints of type <knapsack>
1010.52/1010.57 c 148067 constraints of type <setppc>
1010.52/1010.57 c 28201 constraints of type <logicor>
1010.52/1010.57 c transformed objective value is always integral (scale: 1)
1010.52/1010.57 c Presolving Time: 1008.84
1010.52/1010.57 c - non default parameters ----------------------------------------------------------------------
1010.52/1010.57 c # SCIP version 2.0.1.4
1010.52/1010.57 c
1010.52/1010.57 c # frequency for displaying node information lines
1010.52/1010.57 c # [type: int, range: [-1,2147483647], default: 100]
1010.52/1010.57 c display/freq = 10000
1010.52/1010.57 c
1010.52/1010.57 c # maximal time in seconds to run
1010.52/1010.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1010.52/1010.57 c limits/time = 1800
1010.52/1010.57 c
1010.52/1010.57 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1010.52/1010.57 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1010.52/1010.57 c limits/memory = 13950
1010.52/1010.57 c
1010.52/1010.57 c # default clock type (1: CPU user seconds, 2: wall clock time)
1010.52/1010.57 c # [type: int, range: [1,2], default: 1]
1010.52/1010.57 c timing/clocktype = 2
1010.52/1010.57 c
1010.52/1010.57 c # belongs reading time to solving time?
1010.52/1010.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1010.52/1010.57 c timing/reading = TRUE
1010.52/1010.57 c
1010.52/1010.57 c # should presolving try to simplify inequalities
1010.52/1010.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1010.52/1010.57 c constraints/linear/simplifyinequalities = TRUE
1010.52/1010.57 c
1010.52/1010.57 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1010.52/1010.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1010.52/1010.57 c constraints/indicator/addCouplingCons = TRUE
1010.52/1010.57 c
1010.52/1010.57 c # should presolving try to simplify knapsacks
1010.52/1010.57 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1010.52/1010.57 c constraints/knapsack/simplifyinequalities = TRUE
1010.52/1010.57 c
1010.52/1010.57 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1010.52/1010.57 c # [type: int, range: [-1,2147483647], default: -1]
1010.52/1010.57 c separating/rapidlearning/freq = 0
1010.52/1010.57 c
1010.52/1010.57 c -----------------------------------------------------------------------------------------------
1010.52/1010.57 c start solving
1010.62/1010.61 c
1250.53/1250.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1250.53/1250.61 c 1251s| 1 | 0 | 51124 | - |2164M| 0 |1085 | 57k| 177k| 57k| 177k| 0 | 20 | 0 | 8.700000e+01 | -- | Inf
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-3453502-1307119925/watcher-3453502-1307119925 -o /tmp/evaluation-result-3453502-1307119925/solver-3453502-1307119925 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453502-1307119925.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.05 2.05 1.94 3/478 9667
/proc/meminfo: memFree=27022252/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=6864 CPUtime=0 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 858 0 0 0 0 0 0 0 25 0 1 0 823594845 7028736 813 33554432000 4194304 9128323 140733825035136 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9667/statm: 1716 815 350 1205 0 507 0
[startup+0.066949 s]
/proc/loadavg: 2.05 2.05 1.94 3/478 9667
/proc/meminfo: memFree=27022252/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=19972 CPUtime=0.05 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 3975 0 0 0 5 0 0 0 25 0 1 0 823594845 20451328 3928 33554432000 4194304 9128323 140733825035136 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9667/statm: 4993 3928 400 1205 0 3784 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 19972
[startup+0.100943 s]
/proc/loadavg: 2.05 2.05 1.94 3/478 9667
/proc/meminfo: memFree=27022252/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=26344 CPUtime=0.09 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 5600 0 0 0 9 0 0 0 25 0 1 0 823594845 26976256 5552 33554432000 4194304 9128323 140733825035136 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9667/statm: 6586 5552 400 1205 0 5377 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26344
[startup+0.300904 s]
/proc/loadavg: 2.05 2.05 1.94 3/478 9667
/proc/meminfo: memFree=27022252/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=50216 CPUtime=0.28 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 11585 0 0 0 28 0 0 0 25 0 1 0 823594845 51421184 11505 33554432000 4194304 9128323 140733825035136 18446744073709551615 8008925 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9667/statm: 12554 11505 400 1205 0 11345 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 50216
[startup+0.700826 s]
/proc/loadavg: 2.05 2.05 1.94 3/478 9667
/proc/meminfo: memFree=27022252/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=68576 CPUtime=0.68 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 16160 0 0 0 67 1 0 0 25 0 1 0 823594845 70221824 16072 33554432000 4194304 9128323 140733825035136 18446744073709551615 4914167 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9667/statm: 17144 16072 400 1205 0 15935 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 68576
[startup+1.50068 s]
/proc/loadavg: 2.05 2.05 1.94 3/482 9674
/proc/meminfo: memFree=26853700/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=129756 CPUtime=1.49 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 31399 0 0 0 146 3 0 0 25 0 1 0 823594845 132870144 31296 33554432000 4194304 9128323 140733825035136 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9667/statm: 32439 31296 400 1205 0 31230 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 129756
[startup+3.10037 s]
/proc/loadavg: 2.05 2.05 1.94 3/482 9674
/proc/meminfo: memFree=26360180/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=487688 CPUtime=3.08 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 128976 0 0 0 295 13 0 0 25 0 1 0 823594845 499392512 118628 33554432000 4194304 9128323 140733825035136 18446744073709551615 4782521 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 121922 118628 510 1205 0 120713 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 487688
[startup+6.30078 s]
/proc/loadavg: 2.05 2.05 1.94 3/482 9675
/proc/meminfo: memFree=25650168/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=775740 CPUtime=6.28 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 199147 0 0 0 607 21 0 0 25 0 1 0 823594845 794357760 188799 33554432000 4194304 9128323 140733825035136 18446744073709551615 5207902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 193935 188799 510 1205 0 192726 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 775740
[startup+12.7006 s]
/proc/loadavg: 2.04 2.05 1.94 3/482 9675
/proc/meminfo: memFree=25278460/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=881436 CPUtime=12.69 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 225723 0 0 0 1244 25 0 0 25 0 1 0 823594845 902590464 214233 33554432000 4194304 9128323 140733825035136 18446744073709551615 18446744073699065918 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 220359 214233 523 1205 0 219150 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 881436
[startup+25.5011 s]
/proc/loadavg: 2.03 2.05 1.94 3/482 9675
/proc/meminfo: memFree=25068408/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=1009300 CPUtime=25.49 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 273529 0 0 0 2519 30 0 0 25 0 1 0 823594845 1033523200 244426 33554432000 4194304 9128323 140733825035136 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 252325 244426 569 1205 0 251116 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1009300
[startup+51.1002 s]
/proc/loadavg: 2.02 2.04 1.94 3/482 9676
/proc/meminfo: memFree=24965948/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=1061404 CPUtime=51.08 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 286253 0 0 0 5077 31 0 0 25 0 1 0 823594845 1086877696 257150 33554432000 4194304 9128323 140733825035136 18446744073709551615 4219723 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 265351 257150 569 1205 0 264142 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1061404
[startup+102.318 s]
/proc/loadavg: 2.01 2.03 1.94 3/482 9677
/proc/meminfo: memFree=24684228/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=1201380 CPUtime=102.3 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 320571 0 0 0 10195 35 0 0 25 0 1 0 823594845 1230213120 291468 33554432000 4194304 9128323 140733825035136 18446744073709551615 4782496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 300345 291468 569 1205 0 299136 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1201380
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 1.94 3/482 9679
/proc/meminfo: memFree=24411152/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=1327420 CPUtime=162.29 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 352135 0 0 0 16191 38 0 0 25 0 1 0 823594845 1359278080 322801 33554432000 4194304 9128323 140733825035136 18446744073709551615 4785281 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 331855 322801 569 1205 0 330646 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1327420
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 1.94 3/482 9680
/proc/meminfo: memFree=23985440/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=1560168 CPUtime=222.3 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 409913 0 0 0 22183 47 0 0 25 0 1 0 823594845 1597612032 380150 33554432000 4194304 9128323 140733825035136 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 390042 380150 569 1205 0 388833 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1560168
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/482 9682
/proc/meminfo: memFree=23607336/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=1723540 CPUtime=282.3 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 451217 0 0 0 28177 53 0 0 25 0 1 0 823594845 1764904960 421421 33554432000 4194304 9128323 140733825035136 18446744073709551615 6581536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 430885 421421 569 1205 0 429676 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1723540
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 1.94 3/482 9684
/proc/meminfo: memFree=23294088/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=1830200 CPUtime=342.3 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 477278 0 0 0 34173 57 0 0 25 0 1 0 823594845 1874124800 447482 33554432000 4194304 9128323 140733825035136 18446744073709551615 5488734 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 457550 447482 569 1205 0 456341 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1830200
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/482 9685
/proc/meminfo: memFree=23029440/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=1941548 CPUtime=402.3 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 505296 0 0 0 40169 61 0 0 25 0 1 0 823594845 1988145152 475500 33554432000 4194304 9128323 140733825035136 18446744073709551615 4794246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 485387 475500 569 1205 0 484178 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1941548
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/482 9687
/proc/meminfo: memFree=22812032/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=2002224 CPUtime=462.3 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 520525 0 0 0 46167 63 0 0 25 0 1 0 823594845 2050277376 490729 33554432000 4194304 9128323 140733825035136 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 500556 490729 569 1205 0 499347 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2002224
[startup+522.301 s]
/proc/loadavg: 2.17 2.04 1.96 3/482 9688
/proc/meminfo: memFree=22610120/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=2120280 CPUtime=522.31 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 550235 0 0 0 52164 67 0 0 25 0 1 0 823594845 2171166720 520439 33554432000 4194304 9128323 140733825035136 18446744073709551615 5489930 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 530070 520439 569 1205 0 528861 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2120280
[startup+582.3 s]
/proc/loadavg: 2.06 2.03 1.96 3/482 9699
/proc/meminfo: memFree=22292984/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=2282804 CPUtime=582.3 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 590182 0 0 0 58159 71 0 0 25 0 1 0 823594845 2337591296 560386 33554432000 4194304 9128323 140733825035136 18446744073709551615 6593423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 570701 560386 573 1205 0 569492 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2282804
[startup+642.301 s]
################
# More data... #
################
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 760416 0 0 0 106130 102 0 0 25 0 1 0 823594845 3059585024 728009 33554432000 4194304 9128323 140733825035136 18446744073709551615 7316204 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 746969 728009 780 1205 0 745760 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2987876
[startup+1122.3 s]
/proc/loadavg: 2.07 2.05 1.98 3/482 9716
/proc/meminfo: memFree=20928444/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=3000536 CPUtime=1122.32 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 765800 0 0 0 112123 109 0 0 25 0 1 0 823594845 3072548864 733022 33554432000 4194304 9128323 140733825035136 18446744073709551615 7316156 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 750134 733022 1052 1205 0 748925 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3000536
[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 1.98 3/482 9718
/proc/meminfo: memFree=20874108/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=3007596 CPUtime=1182.33 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 766580 0 0 0 118117 116 0 0 25 0 1 0 823594845 3079778304 733461 33554432000 4194304 9128323 140733825035136 18446744073709551615 7312746 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 751899 733461 711 1205 0 750690 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3007596
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/482 9719
/proc/meminfo: memFree=20805240/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=3032988 CPUtime=1242.33 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 773993 0 0 0 124111 122 0 0 25 0 1 0 823594845 3105779712 740794 33554432000 4194304 9128323 140733825035136 18446744073709551615 7316191 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 758247 740794 2211 1205 0 757038 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3032988
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/482 9721
/proc/meminfo: memFree=20775460/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=2995160 CPUtime=1302.34 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 781173 0 0 0 130105 129 0 0 25 0 1 0 823594845 3067043840 735045 33554432000 4194304 9128323 140733825035136 18446744073709551615 7315698 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 748790 735045 721 1205 0 747581 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 2995160
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/482 9723
/proc/meminfo: memFree=20720372/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=2995160 CPUtime=1362.34 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 781173 0 0 0 136102 132 0 0 25 0 1 0 823594845 3067043840 735045 33554432000 4194304 9128323 140733825035136 18446744073709551615 7243119 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 748790 735045 721 1205 0 747581 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 2995160
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 1.98 3/482 9724
/proc/meminfo: memFree=20658340/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=2995160 CPUtime=1422.35 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 781173 0 0 0 142099 136 0 0 25 0 1 0 823594845 3067043840 735045 33554432000 4194304 9128323 140733825035136 18446744073709551615 7315409 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 748790 735045 721 1205 0 747581 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 2995160
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/482 9726
/proc/meminfo: memFree=20619104/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=2995160 CPUtime=1482.34 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 781176 0 0 0 148090 144 0 0 25 0 1 0 823594845 3067043840 735048 33554432000 4194304 9128323 140733825035136 18446744073709551615 7243072 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 748790 735048 721 1205 0 747581 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 2995160
[startup+1542.3 s]
/proc/loadavg: 2.13 2.03 2.00 3/482 9728
/proc/meminfo: memFree=20551496/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=2995160 CPUtime=1542.35 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 781635 0 0 0 154078 157 0 0 25 0 1 0 823594845 3067043840 735497 33554432000 4194304 9128323 140733825035136 18446744073709551615 6309892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 748790 735497 866 1205 0 747581 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 2995160
[startup+1602.3 s]
/proc/loadavg: 2.15 2.05 2.00 3/482 9729
/proc/meminfo: memFree=20506696/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=2995160 CPUtime=1602.35 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 781665 0 0 0 160078 157 0 0 25 0 1 0 823594845 3067043840 735501 33554432000 4194304 9128323 140733825035136 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 748790 735501 844 1205 0 747581 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 2995160
[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/482 9731
/proc/meminfo: memFree=20434756/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=2995160 CPUtime=1662.35 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 781665 0 0 0 166078 157 0 0 25 0 1 0 823594845 3067043840 735501 33554432000 4194304 9128323 140733825035136 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 748790 735501 844 1205 0 747581 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 2995160
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/482 9732
/proc/meminfo: memFree=20318652/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=2995160 CPUtime=1722.35 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 781665 0 0 0 172078 157 0 0 25 0 1 0 823594845 3067043840 735501 33554432000 4194304 9128323 140733825035136 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 748790 735501 844 1205 0 747581 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 2995160
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/482 9734
/proc/meminfo: memFree=20195264/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=2995160 CPUtime=1782.36 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 781665 0 0 0 178079 157 0 0 25 0 1 0 823594845 3067043840 735501 33554432000 4194304 9128323 140733825035136 18446744073709551615 6243296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 748790 735501 844 1205 0 747581 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 2995160
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 9734
/proc/meminfo: memFree=20170200/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=2995160 CPUtime=1800.06 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 781665 0 0 0 179849 157 0 0 25 0 1 0 823594845 3067043840 735501 33554432000 4194304 9128323 140733825035136 18446744073709551615 6243394 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 748790 735501 844 1205 0 747581 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2995160
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9667
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 9736
/proc/meminfo: memFree=20189404/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=2995160 CPUtime=1801.46 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 781690 0 0 0 179989 157 0 0 25 0 1 0 823594845 3067043840 735526 33554432000 4194304 9128323 140733825035136 18446744073709551615 6244928 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 748790 735526 844 1205 0 747581 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 2995160
[startup+1801.82 s]
/proc/loadavg: 2.00 2.02 2.00 2/481 9736
/proc/meminfo: memFree=24057484/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=2995160 CPUtime=1801.87 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 781690 0 0 0 180030 157 0 0 25 0 1 0 823594845 3067043840 735526 33554432000 4194304 9128323 140733825035136 18446744073709551615 6244953 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 748790 735526 844 1205 0 747581 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 2995160
[startup+1802 s]
/proc/loadavg: 2.00 2.02 2.00 2/481 9736
/proc/meminfo: memFree=24057484/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=2995160 CPUtime=1802.06 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4202496 781690 0 0 0 180049 157 0 0 25 0 1 0 823594845 3067043840 735526 33554432000 4194304 9128323 140733825035136 18446744073709551615 6244953 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9667/statm: 748790 735526 844 1205 0 747581 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 2995160
[startup+1802.1 s]
/proc/loadavg: 2.00 2.02 2.00 2/481 9736
/proc/meminfo: memFree=24057484/32951124 swapFree=38422276/67111528
[pid=9667] ppid=9665 vsize=0 CPUtime=1802.15 cores=1,3,5,7
/proc/9667/stat : 9667 (scip-2.0.1.4.li) R 9665 9667 7545 0 -1 4203524 781690 0 0 0 180050 165 0 0 25 0 1 0 823594845 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/9667/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.13
CPU time (s): 1802.19
CPU user time (s): 1800.51
CPU system time (s): 1.68274
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3032988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.51
system time used= 1.68274
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 781690
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= 1588
runsolver used 8.12377 second user time and 20.018 second system time
The end