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-3486348-1307794491.opb>
0.89/0.91 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 176060 constraints
0.89/0.91 c problem read
0.89/0.91 c presolving settings loaded
1.39/1.49 c presolving:
7.09/7.11 c (round 1) 3400 del vars, 9870 del conss, 0 add conss, 2313 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12116186 impls, 0 clqs
9.59/9.62 c (round 2) 8302 del vars, 27140 del conss, 0 add conss, 6918 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12137230 impls, 0 clqs
10.09/10.16 c (round 3) 9827 del vars, 34452 del conss, 0 add conss, 7665 chg bounds, 76 chg sides, 53 chg coeffs, 0 upgd conss, 12147872 impls, 0 clqs
10.49/10.55 c (round 4) 10406 del vars, 36805 del conss, 0 add conss, 8088 chg bounds, 90 chg sides, 77 chg coeffs, 0 upgd conss, 12151170 impls, 0 clqs
10.69/10.73 c (round 5) 10831 del vars, 38535 del conss, 0 add conss, 8319 chg bounds, 92 chg sides, 79 chg coeffs, 0 upgd conss, 12153583 impls, 0 clqs
10.79/10.84 c (round 6) 10941 del vars, 39066 del conss, 0 add conss, 8391 chg bounds, 92 chg sides, 79 chg coeffs, 0 upgd conss, 12154479 impls, 0 clqs
10.90/10.91 c (round 7) 11007 del vars, 39387 del conss, 0 add conss, 8427 chg bounds, 92 chg sides, 79 chg coeffs, 0 upgd conss, 12154801 impls, 0 clqs
10.90/10.95 c (round 8) 11017 del vars, 39467 del conss, 0 add conss, 8432 chg bounds, 92 chg sides, 79 chg coeffs, 0 upgd conss, 12154905 impls, 0 clqs
10.90/11.00 c (round 9) 11023 del vars, 39499 del conss, 0 add conss, 8435 chg bounds, 92 chg sides, 79 chg coeffs, 0 upgd conss, 12154927 impls, 0 clqs
11.39/11.48 c (round 10) 11023 del vars, 39505 del conss, 0 add conss, 8435 chg bounds, 92 chg sides, 79 chg coeffs, 136555 upgd conss, 12154927 impls, 0 clqs
11.69/11.78 c (round 11) 11023 del vars, 39506 del conss, 57 add conss, 8435 chg bounds, 157 chg sides, 426 chg coeffs, 136555 upgd conss, 12155937 impls, 256 clqs
559.81/559.90 c (559.9s) probing: 1000/43759 (2.3%) - 0 fixings, 0 aggregations, 8903821 implications, 0 bound changes
931.31/931.39 c (931.4s) probing: 2000/43759 (4.6%) - 0 fixings, 0 aggregations, 13916569 implications, 0 bound changes
931.81/931.84 c (931.8s) probing: 2001/43759 (4.6%) - 0 fixings, 0 aggregations, 13925174 implications, 0 bound changes
931.81/931.84 c (931.8s) probing aborted: 2000/2000 successive useless probings
931.81/931.84 c presolving (12 rounds):
931.81/931.84 c 11023 deleted vars, 39506 deleted constraints, 57 added constraints, 8435 tightened bounds, 0 added holes, 165 changed sides, 436 changed coefficients
931.81/931.84 c 58860215 implications, 297 cliques
931.81/931.84 c presolved problem has 43759 variables (43759 bin, 0 int, 0 impl, 0 cont) and 136611 constraints
931.81/931.84 c 1113 constraints of type <knapsack>
931.81/931.84 c 113861 constraints of type <setppc>
931.81/931.84 c 21637 constraints of type <logicor>
931.81/931.84 c transformed objective value is always integral (scale: 1)
931.81/931.84 c Presolving Time: 930.77
931.81/931.84 c - non default parameters ----------------------------------------------------------------------
931.81/931.84 c # SCIP version 2.0.1.4
931.81/931.84 c
931.81/931.84 c # frequency for displaying node information lines
931.81/931.84 c # [type: int, range: [-1,2147483647], default: 100]
931.81/931.84 c display/freq = 10000
931.81/931.84 c
931.81/931.84 c # maximal time in seconds to run
931.81/931.84 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
931.81/931.84 c limits/time = 1797
931.81/931.84 c
931.81/931.84 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
931.81/931.84 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
931.81/931.84 c limits/memory = 13950
931.81/931.84 c
931.81/931.84 c # default clock type (1: CPU user seconds, 2: wall clock time)
931.81/931.84 c # [type: int, range: [1,2], default: 1]
931.81/931.84 c timing/clocktype = 2
931.81/931.84 c
931.81/931.84 c # belongs reading time to solving time?
931.81/931.84 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
931.81/931.84 c timing/reading = TRUE
931.81/931.84 c
931.81/931.84 c # should presolving try to simplify inequalities
931.81/931.84 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
931.81/931.84 c constraints/linear/simplifyinequalities = TRUE
931.81/931.84 c
931.81/931.84 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
931.81/931.84 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
931.81/931.84 c constraints/indicator/addCouplingCons = TRUE
931.81/931.84 c
931.81/931.84 c # should presolving try to simplify knapsacks
931.81/931.84 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
931.81/931.84 c constraints/knapsack/simplifyinequalities = TRUE
931.81/931.84 c
931.81/931.84 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
931.81/931.84 c # [type: int, range: [-1,2147483647], default: -1]
931.81/931.84 c separating/rapidlearning/freq = 0
931.81/931.84 c
931.81/931.84 c -----------------------------------------------------------------------------------------------
931.81/931.84 c start solving
931.81/931.87 c
1039.91/1039.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1039.91/1039.90 c 1040s| 1 | 0 | 35424 | - |1781M| 0 | 415 | 43k| 136k| 43k| 136k| 0 | 6 | 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-3486348-1307794491/watcher-3486348-1307794491 -o /tmp/evaluation-result-3486348-1307794491/solver-3486348-1307794491 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486348-1307794491.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.00 2.00 2.00 2/177 20040
/proc/meminfo: memFree=30447068/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=10320 CPUtime=0 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 1570 0 0 0 0 0 0 0 25 0 1 0 969679864 10567680 1525 33554432000 4194304 8979876 140733874489280 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20040/statm: 2580 1527 366 1169 0 1407 0
[startup+0.04128 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 20040
/proc/meminfo: memFree=30447068/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=18436 CPUtime=0.03 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 3534 0 0 0 3 0 0 0 25 0 1 0 969679864 18878464 3489 33554432000 4194304 8979876 140733874489280 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20040/statm: 4609 3519 366 1169 0 3436 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18436
[startup+0.100272 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 20040
/proc/meminfo: memFree=30447068/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=27548 CPUtime=0.09 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 5903 0 0 0 9 0 0 0 25 0 1 0 969679864 28209152 5858 33554432000 4194304 8979876 140733874489280 18446744073709551615 4446983 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20040/statm: 6887 5858 366 1169 0 5714 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27548
[startup+0.300235 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 20040
/proc/meminfo: memFree=30447068/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=46332 CPUtime=0.29 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 10578 0 0 0 28 1 0 0 25 0 1 0 969679864 47443968 10533 33554432000 4194304 8979876 140733874489280 18446744073709551615 7836098 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20040/statm: 11583 10533 366 1169 0 10410 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46332
[startup+0.700165 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 20040
/proc/meminfo: memFree=30447068/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=79824 CPUtime=0.69 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 18920 0 0 0 67 2 0 0 25 0 1 0 969679864 81739776 18875 33554432000 4194304 8979876 140733874489280 18446744073709551615 7836078 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20040/statm: 19956 18875 366 1169 0 18783 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79824
[startup+1.50102 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20041
/proc/meminfo: memFree=30286752/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=288344 CPUtime=1.49 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 77874 0 0 0 142 7 0 0 25 0 1 0 969679864 295264256 69687 33554432000 4194304 8979876 140733874489280 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20040/statm: 72086 69687 487 1169 0 70913 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 288344
[startup+3.10075 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20041
/proc/meminfo: memFree=30098812/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=443300 CPUtime=3.09 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 116422 0 0 0 297 12 0 0 25 0 1 0 969679864 453939200 108235 33554432000 4194304 8979876 140733874489280 18446744073709551615 6503337 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20040/statm: 110825 108235 494 1169 0 109652 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 443300
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20041
/proc/meminfo: memFree=29862724/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=641080 CPUtime=6.29 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 163969 0 0 0 612 17 0 0 25 0 1 0 969679864 656465920 155782 33554432000 4194304 8979876 140733874489280 18446744073709551615 4875190 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20040/statm: 160270 155782 501 1169 0 159097 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 641080
[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20042
/proc/meminfo: memFree=29726692/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=736752 CPUtime=12.69 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 196025 0 0 0 1249 20 0 0 25 0 1 0 969679864 754434048 179004 33554432000 4194304 8979876 140733874489280 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20040/statm: 184188 179004 565 1169 0 183015 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 736752
[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20042
/proc/meminfo: memFree=29645192/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=784704 CPUtime=25.49 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 206995 0 0 0 2527 22 0 0 25 0 1 0 969679864 803536896 189809 33554432000 4194304 8979876 140733874489280 18446744073709551615 6503468 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20040/statm: 196176 189809 565 1169 0 195003 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 784704
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20043
/proc/meminfo: memFree=29563484/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=817864 CPUtime=51.09 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 215424 0 0 0 5086 23 0 0 25 0 1 0 969679864 837492736 198172 33554432000 4194304 8979876 140733874489280 18446744073709551615 6503537 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20040/statm: 204466 198172 565 1169 0 203293 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 817864
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20044
/proc/meminfo: memFree=29313652/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=943304 CPUtime=102.3 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 246750 0 0 0 10203 27 0 0 25 0 1 0 969679864 965943296 229498 33554432000 4194304 8979876 140733874489280 18446744073709551615 6503337 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20040/statm: 235826 229498 565 1169 0 234653 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 943304
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20046
/proc/meminfo: memFree=29007332/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=1106920 CPUtime=162.3 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 286498 0 0 0 16198 32 0 0 25 0 1 0 969679864 1133486080 268883 33554432000 4194304 8979876 140733874489280 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20040/statm: 276730 268883 565 1169 0 275557 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1106920
[startup+222.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 20047
/proc/meminfo: memFree=28826620/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=1202188 CPUtime=222.29 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 310574 0 0 0 22195 34 0 0 25 0 1 0 969679864 1231040512 292959 33554432000 4194304 8979876 140733874489280 18446744073709551615 4844493 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20040/statm: 300547 292959 565 1169 0 299374 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1202188
[startup+282.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20049
/proc/meminfo: memFree=28627428/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=1329092 CPUtime=282.3 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 342370 0 0 0 28192 38 0 0 25 0 1 0 969679864 1360990208 324590 33554432000 4194304 8979876 140733874489280 18446744073709551615 6488096 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20040/statm: 332529 324602 565 1169 0 331356 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1329092
[startup+342.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 20050
/proc/meminfo: memFree=28342140/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=1511112 CPUtime=342.3 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 386816 0 0 0 34186 44 0 0 25 0 1 0 969679864 1547378688 369036 33554432000 4194304 8979876 140733874489280 18446744073709551615 6492563 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20040/statm: 377778 369036 565 1169 0 376605 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1511112
[startup+402.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 20052
/proc/meminfo: memFree=28192688/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=1624804 CPUtime=402.3 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 415299 0 0 0 40182 48 0 0 25 0 1 0 969679864 1663799296 397420 33554432000 4194304 8979876 140733874489280 18446744073709551615 6503319 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20040/statm: 406201 397420 565 1169 0 405028 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1624804
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 20054
/proc/meminfo: memFree=28019276/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=1739460 CPUtime=462.29 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 444557 0 0 0 46178 51 0 0 25 0 1 0 969679864 1781207040 426678 33554432000 4194304 8979876 140733874489280 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20040/statm: 434865 426678 565 1169 0 433692 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 1739460
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20055
/proc/meminfo: memFree=27861488/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=1845704 CPUtime=522.3 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 471093 0 0 0 52175 55 0 0 25 0 1 0 969679864 1890000896 453214 33554432000 4194304 8979876 140733874489280 18446744073709551615 5538056 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20040/statm: 461426 453214 565 1169 0 460253 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1845704
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20057
/proc/meminfo: memFree=27754552/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=1897320 CPUtime=582.3 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 483899 0 0 0 58174 56 0 0 25 0 1 0 969679864 1942855680 466020 33554432000 4194304 8979876 140733874489280 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/20040/statm: 474330 466020 570 1169 0 473157 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1897320
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20064
/proc/meminfo: memFree=27358056/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=2097160 CPUtime=822.3 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 534426 0 0 0 82166 64 0 0 25 0 1 0 969679864 2147491840 516514 33554432000 4194304 8979876 140733874489280 18446744073709551615 4321536 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20040/statm: 524290 516514 570 1169 0 523117 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 2097160
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20066
/proc/meminfo: memFree=27272312/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=2153596 CPUtime=882.31 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 548472 0 0 0 88165 66 0 0 25 0 1 0 969679864 2205282304 530560 33554432000 4194304 8979876 140733874489280 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20040/statm: 538399 530560 570 1169 0 537226 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2153596
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20067
/proc/meminfo: memFree=26984320/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=2417016 CPUtime=942.31 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 609232 0 0 0 94158 73 0 0 25 0 1 0 969679864 2475024384 588206 33554432000 4194304 8979876 140733874489280 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20040/statm: 604254 588206 744 1169 0 603081 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2417016
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20069
/proc/meminfo: memFree=26876028/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=2450460 CPUtime=1002.31 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 623689 0 0 0 100145 86 0 0 25 0 1 0 969679864 2509271040 600997 33554432000 4194304 8979876 140733874489280 18446744073709551615 7147422 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20040/statm: 612615 600997 754 1169 0 611442 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2450460
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20071
/proc/meminfo: memFree=26789040/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=2453264 CPUtime=1062.31 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 634462 0 0 0 106135 96 0 0 25 0 1 0 969679864 2512142336 602693 33554432000 4194304 8979876 140733874489280 18446744073709551615 7143749 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20040/statm: 613316 602693 824 1169 0 612143 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2453264
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20072
/proc/meminfo: memFree=26749536/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=2419968 CPUtime=1122.31 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 635453 0 0 0 112127 104 0 0 25 0 1 0 969679864 2478047232 596182 33554432000 4194304 8979876 140733874489280 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20040/statm: 604992 596182 941 1169 0 603819 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2419968
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20074
/proc/meminfo: memFree=26657588/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=2419968 CPUtime=1182.31 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 635499 0 0 0 118127 104 0 0 25 0 1 0 969679864 2478047232 596228 33554432000 4194304 8979876 140733874489280 18446744073709551615 6254540 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20040/statm: 604992 596228 941 1169 0 603819 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 2419968
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20075
/proc/meminfo: memFree=26580776/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=2419968 CPUtime=1242.32 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 635553 0 0 0 124128 104 0 0 25 0 1 0 969679864 2478047232 596282 33554432000 4194304 8979876 140733874489280 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20040/statm: 604992 596282 941 1169 0 603819 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2419968
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20077
/proc/meminfo: memFree=26507680/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=2419968 CPUtime=1302.32 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 635559 0 0 0 130128 104 0 0 25 0 1 0 969679864 2478047232 596288 33554432000 4194304 8979876 140733874489280 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20040/statm: 604992 596288 941 1169 0 603819 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 2419968
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20079
/proc/meminfo: memFree=26406700/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=2419968 CPUtime=1362.32 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 635560 0 0 0 136128 104 0 0 25 0 1 0 969679864 2478047232 596289 33554432000 4194304 8979876 140733874489280 18446744073709551615 6254540 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20040/statm: 604992 596289 941 1169 0 603819 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2419968
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20080
/proc/meminfo: memFree=26293932/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=2419968 CPUtime=1422.32 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 635565 0 0 0 142128 104 0 0 25 0 1 0 969679864 2478047232 596294 33554432000 4194304 8979876 140733874489280 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20040/statm: 604992 596294 941 1169 0 603819 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 2419968
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20085
/proc/meminfo: memFree=26191412/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=2419968 CPUtime=1482.32 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 635572 0 0 0 148128 104 0 0 25 0 1 0 969679864 2478047232 596301 33554432000 4194304 8979876 140733874489280 18446744073709551615 18446744073699065997 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20040/statm: 604992 596301 941 1169 0 603819 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2419968
[startup+1542.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/178 20124
/proc/meminfo: memFree=28702500/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=2419968 CPUtime=1542.32 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 635579 0 0 0 154128 104 0 0 25 0 1 0 969679864 2478047232 596308 33554432000 4194304 8979876 140733874489280 18446744073709551615 6254368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20040/statm: 604992 596308 941 1169 0 603819 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 2419968
[startup+1602.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 20126
/proc/meminfo: memFree=28627088/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=2419968 CPUtime=1602.32 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 635585 0 0 0 160128 104 0 0 25 0 1 0 969679864 2478047232 596314 33554432000 4194304 8979876 140733874489280 18446744073709551615 6254368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20040/statm: 604992 596314 941 1169 0 603819 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 2419968
[startup+1662.3 s]
/proc/loadavg: 2.07 2.00 2.00 3/178 20128
/proc/meminfo: memFree=28015348/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=2419968 CPUtime=1662.32 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 635588 0 0 0 166128 104 0 0 25 0 1 0 969679864 2478047232 596317 33554432000 4194304 8979876 140733874489280 18446744073709551615 6254459 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20040/statm: 604992 596317 941 1169 0 603819 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 2419968
[startup+1722.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/178 20129
/proc/meminfo: memFree=27958764/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=2437860 CPUtime=1722.32 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 639317 0 0 0 172128 104 0 0 25 0 1 0 969679864 2496368640 600046 33554432000 4194304 8979876 140733874489280 18446744073709551615 6255408 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20040/statm: 609465 600046 941 1169 0 608292 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 2437860
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 20131
/proc/meminfo: memFree=27864812/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=2524880 CPUtime=1782.32 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 660436 0 0 0 178126 106 0 0 25 0 1 0 969679864 2585477120 621165 33554432000 4194304 8979876 140733874489280 18446744073709551615 6255420 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20040/statm: 631220 621165 941 1169 0 630047 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 2524880
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20131
/proc/meminfo: memFree=27809368/32950940 swapFree=67074964/67111528
[pid=20040] ppid=20038 vsize=2588232 CPUtime=1800.04 cores=1,3,5,7
/proc/20040/stat : 20040 (scip-2.0.1.4_2.) R 20038 20040 18592 0 -1 4202496 673800 0 0 0 179896 108 0 0 25 0 1 0 969679864 2650349568 634529 33554432000 4194304 8979876 140733874489280 18446744073709551615 6255408 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20040/statm: 647058 634529 941 1169 0 645885 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2588232
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.1
CPU time (s): 1800.13
CPU user time (s): 1798.96
CPU system time (s): 1.17282
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2588232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.96
system time used= 1.17282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 673800
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 2188
runsolver used 2.75858 second user time and 6.39503 second system time
The end