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-3485226-1307787737.opb>
0.00/0.03 c original problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1501 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.09/0.12 o 0
0.09/0.12 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.12 c presolving:
0.19/0.26 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1500 upgd conss, 127032 impls, 1000 clqs
0.39/0.49 c (0.5s) probing: 101/16754 (0.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.49 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.39/0.49 c presolving (2 rounds):
0.39/0.49 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.49 c 127032 implications, 1000 cliques
0.39/0.49 c presolved problem has 16754 variables (16754 bin, 0 int, 0 impl, 0 cont) and 17255 constraints
0.39/0.49 c 1500 constraints of type <setppc>
0.39/0.49 c 15754 constraints of type <and>
0.39/0.49 c 1 constraints of type <linear>
0.39/0.49 c transformed objective value is always integral (scale: 1)
0.39/0.49 c Presolving Time: 0.45
0.39/0.49 c - non default parameters ----------------------------------------------------------------------
0.39/0.49 c # SCIP version 2.0.1.4
0.39/0.49 c
0.39/0.49 c # frequency for displaying node information lines
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.49 c display/freq = 10000
0.39/0.49 c
0.39/0.49 c # maximal time in seconds to run
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.49 c limits/time = 1797
0.39/0.49 c
0.39/0.49 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.49 c limits/memory = 13950
0.39/0.49 c
0.39/0.49 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.49 c # [type: int, range: [1,2], default: 1]
0.39/0.49 c timing/clocktype = 2
0.39/0.49 c
0.39/0.49 c # belongs reading time to solving time?
0.39/0.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.49 c timing/reading = TRUE
0.39/0.49 c
0.39/0.49 c # should presolving try to simplify inequalities
0.39/0.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.49 c constraints/linear/simplifyinequalities = TRUE
0.39/0.49 c
0.39/0.49 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.49 c constraints/indicator/addCouplingCons = TRUE
0.39/0.49 c
0.39/0.49 c # should presolving try to simplify knapsacks
0.39/0.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.49 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.49 c
0.39/0.49 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.49 c separating/rapidlearning/freq = 0
0.39/0.49 c
0.39/0.49 c -----------------------------------------------------------------------------------------------
0.39/0.49 c start solving
0.39/0.49 c
86.18/86.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.18/86.29 c t86.3s| 1 | 0 | 21454 | - | 70M| 0 |9119 | 16k| 17k| 16k| 33k| 0 | 0 | 0 |-2.500000e+02 | 0.000000e+00 | 100.00%
86.28/86.37 o -13
86.28/86.37 c s86.4s| 1 | 0 | 21454 | - | 71M| 0 |9119 | 16k| 17k| 16k| 33k| 0 | 0 | 0 |-2.500000e+02 |-1.300000e+01 | 94.80%
87.38/87.47 o -14
87.38/87.47 c U87.5s| 1 | 0 | 21454 | - | 75M| 0 |9119 | 16k| 17k| 16k| 33k| 0 | 0 | 0 |-2.500000e+02 |-1.400000e+01 | 94.40%
131.58/131.64 c 132s| 1 | 0 | 27709 | - | 75M| 0 |9037 | 16k| 17k| 16k| 33k| 232 | 0 | 0 |-2.500000e+02 |-1.400000e+01 | 94.40%
210.09/210.16 c 210s| 1 | 0 | 41236 | - | 75M| 0 |9048 | 16k| 17k| 16k| 33k| 268 | 0 | 0 |-2.500000e+02 |-1.400000e+01 | 94.40%
283.98/284.00 c 284s| 1 | 0 | 54676 | - | 75M| 0 |9064 | 16k| 17k| 16k| 33k| 412 | 0 | 0 |-2.500000e+02 |-1.400000e+01 | 94.40%
283.98/284.07 o -15
283.98/284.07 c s 284s| 1 | 0 | 54676 | - | 76M| 0 |9064 | 16k| 17k| 16k| 33k| 412 | 0 | 0 |-2.500000e+02 |-1.500000e+01 | 94.00%
362.48/362.52 c 363s| 1 | 0 | 68952 | - | 76M| 0 |9054 | 16k| 17k| 16k| 33k| 510 | 0 | 0 |-2.500000e+02 |-1.500000e+01 | 94.00%
481.49/481.50 c 482s| 1 | 0 | 89393 | - | 76M| 0 |9040 | 16k| 17k| 16k| 33k| 596 | 0 | 0 |-2.500000e+02 |-1.500000e+01 | 94.00%
558.39/558.40 c 558s| 1 | 0 |104005 | - | 76M| 0 |9094 | 16k| 17k| 16k| 33k| 740 | 0 | 0 |-2.500000e+02 |-1.500000e+01 | 94.00%
660.39/660.43 c 660s| 1 | 2 |104005 | - | 76M| 0 |9094 | 16k| 17k| 16k| 33k| 740 | 0 | 20 |-2.500000e+02 |-1.500000e+01 | 94.00%
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-3485226-1307787737/watcher-3485226-1307787737 -o /tmp/evaluation-result-3485226-1307787737/solver-3485226-1307787737 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485226-1307787737.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 1.94 3/174 13792
/proc/meminfo: memFree=31129972/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=10256 CPUtime=0 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 1548 0 0 0 0 0 0 0 25 0 1 0 890374064 10502144 1503 33554432000 4194304 8979876 140734875760432 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13792/statm: 2564 1503 358 1169 0 1391 0
[startup+0.042062 s]
/proc/loadavg: 2.00 2.00 1.94 3/174 13792
/proc/meminfo: memFree=31129972/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=19344 CPUtime=0.03 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 3814 0 0 0 3 0 0 0 25 0 1 0 890374064 19808256 3769 33554432000 4194304 8979876 140734875760432 18446744073709551615 6779003 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13792/statm: 4869 3802 417 1169 0 3696 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19344
[startup+0.101039 s]
/proc/loadavg: 2.00 2.00 1.94 3/174 13792
/proc/meminfo: memFree=31129972/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=45604 CPUtime=0.09 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 10126 0 0 0 8 1 0 0 25 0 1 0 890374064 46698496 10081 33554432000 4194304 8979876 140734875760432 18446744073709551615 4445963 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13792/statm: 11401 10081 456 1169 0 10228 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45604
[startup+0.300999 s]
/proc/loadavg: 2.00 2.00 1.94 3/174 13792
/proc/meminfo: memFree=31129972/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=60896 CPUtime=0.29 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 14292 0 0 0 28 1 0 0 25 0 1 0 890374064 62357504 13894 33554432000 4194304 8979876 140734875760432 18446744073709551615 7836093 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13792/statm: 15224 13894 507 1169 0 14051 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60896
[startup+0.7009 s]
/proc/loadavg: 2.00 2.00 1.94 3/174 13792
/proc/meminfo: memFree=31129972/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=136380 CPUtime=0.69 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 33299 0 0 0 66 3 0 0 18 0 1 0 890374064 139653120 31911 33554432000 4194304 8979876 140734875760432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13792/statm: 34095 31911 627 1169 0 32922 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 136380
[startup+1.50076 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 13793
/proc/meminfo: memFree=30997936/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=149872 CPUtime=1.49 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 37142 0 0 0 145 4 0 0 19 0 1 0 890374064 153468928 35335 33554432000 4194304 8979876 140734875760432 18446744073709551615 7146491 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13792/statm: 37468 35335 684 1169 0 36295 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 149872
[startup+3.10049 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 13793
/proc/meminfo: memFree=30990744/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=153904 CPUtime=3.09 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 37896 0 0 0 305 4 0 0 22 0 1 0 890374064 157597696 36041 33554432000 4194304 8979876 140734875760432 18446744073709551615 6820799 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13792/statm: 38476 36041 636 1169 0 37303 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 153904
[startup+6.30092 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 13833
/proc/meminfo: memFree=31565268/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=153904 CPUtime=6.28 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 38093 0 0 0 624 4 0 0 25 0 1 0 890374064 157597696 36227 33554432000 4194304 8979876 140734875760432 18446744073709551615 7143754 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 38476 36227 625 1169 0 37303 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 153904
[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 13833
/proc/meminfo: memFree=31351296/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=153904 CPUtime=12.69 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 38259 0 0 0 1264 5 0 0 25 0 1 0 890374064 157597696 36393 33554432000 4194304 8979876 140734875760432 18446744073709551615 6943201 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 38476 36393 656 1169 0 37303 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 153904
[startup+25.5004 s]
/proc/loadavg: 2.07 2.02 1.95 3/175 13833
/proc/meminfo: memFree=31346308/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=162524 CPUtime=25.48 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 40161 0 0 0 2542 6 0 0 25 0 1 0 890374064 166424576 38264 33554432000 4194304 8979876 140734875760432 18446744073709551615 7184843 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 40631 38264 629 1169 0 39458 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 162524
[startup+51.1008 s]
/proc/loadavg: 2.04 2.01 1.95 3/175 13834
/proc/meminfo: memFree=31330344/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=168244 CPUtime=51.08 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 42411 0 0 0 5099 9 0 0 25 0 1 0 890374064 172281856 39120 33554432000 4194304 8979876 140734875760432 18446744073709551615 7157300 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 42061 39120 629 1169 0 40888 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 168244
[startup+102.306 s]
/proc/loadavg: 2.02 2.01 1.95 3/175 13835
/proc/meminfo: memFree=31231636/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=102.28 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 72636 0 0 0 10212 16 0 0 25 0 1 0 890374064 260108288 61658 33554432000 4194304 8979876 140734875760432 18446744073709551615 6282925 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 61658 702 1169 0 62330 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 254012
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 13837
/proc/meminfo: memFree=31230480/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=162.27 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 73016 0 0 0 16207 20 0 0 25 0 1 0 890374064 260108288 61983 33554432000 4194304 8979876 140734875760432 18446744073709551615 7185336 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 61983 721 1169 0 62330 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 254012
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 13838
/proc/meminfo: memFree=31230560/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=222.28 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 73016 0 0 0 22203 25 0 0 25 0 1 0 890374064 260108288 61983 33554432000 4194304 8979876 140734875760432 18446744073709551615 6412444 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 61983 721 1169 0 62330 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 254012
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 13840
/proc/meminfo: memFree=31230040/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=282.29 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 73021 0 0 0 28198 31 0 0 25 0 1 0 890374064 260108288 61988 33554432000 4194304 8979876 140734875760432 18446744073709551615 7157300 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 61988 721 1169 0 62330 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 254012
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 13842
/proc/meminfo: memFree=31049592/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=342.28 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 73021 0 0 0 34192 36 0 0 25 0 1 0 890374064 260108288 61988 33554432000 4194304 8979876 140734875760432 18446744073709551615 7122758 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 61988 721 1169 0 62330 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 254012
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 13843
/proc/meminfo: memFree=31024988/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=402.28 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 73021 0 0 0 40188 40 0 0 25 0 1 0 890374064 260108288 61988 33554432000 4194304 8979876 140734875760432 18446744073709551615 7144212 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 61988 721 1169 0 62330 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 254012
[startup+462.301 s]
/proc/loadavg: 2.06 2.01 1.95 3/175 13845
/proc/meminfo: memFree=31024836/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=462.29 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 73021 0 0 0 46184 45 0 0 25 0 1 0 890374064 260108288 61988 33554432000 4194304 8979876 140734875760432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 61988 721 1169 0 62330 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 254012
[startup+522.301 s]
/proc/loadavg: 2.02 2.01 1.95 3/175 13846
/proc/meminfo: memFree=31024808/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=522.29 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 73021 0 0 0 52179 50 0 0 25 0 1 0 890374064 260108288 61988 33554432000 4194304 8979876 140734875760432 18446744073709551615 7167436 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 61988 721 1169 0 62330 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 254012
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 13848
/proc/meminfo: memFree=31024528/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=582.3 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 73235 0 0 0 58175 55 0 0 25 0 1 0 890374064 260108288 62202 33554432000 4194304 8979876 140734875760432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 62202 725 1169 0 62330 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 254012
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 13854
/proc/meminfo: memFree=31023660/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=822.3 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 73236 0 0 0 82154 76 0 0 25 0 1 0 890374064 260108288 62203 33554432000 4194304 8979876 140734875760432 18446744073709551615 7123808 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 62203 726 1169 0 62330 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 254012
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 13856
/proc/meminfo: memFree=31023268/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=882.3 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 73238 0 0 0 88146 84 0 0 25 0 1 0 890374064 260108288 62205 33554432000 4194304 8979876 140734875760432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 62205 728 1169 0 62330 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 254012
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/175 13858
/proc/meminfo: memFree=31023616/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=942.3 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 73238 0 0 0 94137 93 0 0 25 0 1 0 890374064 260108288 62205 33554432000 4194304 8979876 140734875760432 18446744073709551615 7118926 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 62205 728 1169 0 62330 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 254012
[startup+1002.3 s]
/proc/loadavg: 2.15 2.03 1.96 3/175 13859
/proc/meminfo: memFree=31023468/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=1002.3 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 73238 0 0 0 100130 100 0 0 25 0 1 0 890374064 260108288 62205 33554432000 4194304 8979876 140734875760432 18446744073709551615 7197313 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 62205 728 1169 0 62330 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 254012
[startup+1062.3 s]
/proc/loadavg: 2.06 2.03 1.96 3/175 13861
/proc/meminfo: memFree=31023428/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=1062.3 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 73238 0 0 0 106123 107 0 0 25 0 1 0 890374064 260108288 62205 33554432000 4194304 8979876 140734875760432 18446744073709551615 7179154 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 62205 728 1169 0 62330 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 254012
[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/175 13862
/proc/meminfo: memFree=31023400/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=1122.31 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 73238 0 0 0 112114 117 0 0 25 0 1 0 890374064 260108288 62205 33554432000 4194304 8979876 140734875760432 18446744073709551615 7155928 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 62205 728 1169 0 62330 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 254012
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/175 13864
/proc/meminfo: memFree=31023012/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=1182.31 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 73238 0 0 0 118104 127 0 0 25 0 1 0 890374064 260108288 62205 33554432000 4194304 8979876 140734875760432 18446744073709551615 7047792 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 62205 728 1169 0 62330 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 254012
[startup+1242.3 s]
/proc/loadavg: 2.06 2.02 1.97 3/175 13866
/proc/meminfo: memFree=31022368/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=1242.31 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 73238 0 0 0 124096 135 0 0 25 0 1 0 890374064 260108288 62205 33554432000 4194304 8979876 140734875760432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 62205 728 1169 0 62330 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 254012
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/175 13867
/proc/meminfo: memFree=31022472/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=1302.32 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 73238 0 0 0 130088 144 0 0 25 0 1 0 890374064 260108288 62205 33554432000 4194304 8979876 140734875760432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 62205 728 1169 0 62330 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 254012
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/175 13869
/proc/meminfo: memFree=31022564/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=1362.32 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 73238 0 0 0 136081 151 0 0 25 0 1 0 890374064 260108288 62205 33554432000 4194304 8979876 140734875760432 18446744073709551615 7146602 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 62205 728 1169 0 62330 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 254012
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 1.97 3/175 13870
/proc/meminfo: memFree=31022172/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=1422.32 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 73238 0 0 0 142071 161 0 0 25 0 1 0 890374064 260108288 62205 33554432000 4194304 8979876 140734875760432 18446744073709551615 7146175 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 62205 728 1169 0 62330 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 254012
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 13872
/proc/meminfo: memFree=31022396/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=1482.32 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 73238 0 0 0 148064 168 0 0 25 0 1 0 890374064 260108288 62205 33554432000 4194304 8979876 140734875760432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 62205 728 1169 0 62330 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 254012
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 13874
/proc/meminfo: memFree=31022500/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=1542.32 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 73238 0 0 0 154055 177 0 0 25 0 1 0 890374064 260108288 62205 33554432000 4194304 8979876 140734875760432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 62205 728 1169 0 62330 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 254012
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/175 13875
/proc/meminfo: memFree=31022352/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=1602.32 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 73238 0 0 0 160046 186 0 0 25 0 1 0 890374064 260108288 62205 33554432000 4194304 8979876 140734875760432 18446744073709551615 7118943 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 62205 728 1169 0 62330 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 254012
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/175 13877
/proc/meminfo: memFree=31022432/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=1662.33 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 73238 0 0 0 166039 194 0 0 25 0 1 0 890374064 260108288 62205 33554432000 4194304 8979876 140734875760432 18446744073709551615 7193346 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 62205 728 1169 0 62330 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 254012
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 13878
/proc/meminfo: memFree=31022528/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=1722.32 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 73238 0 0 0 172029 203 0 0 25 0 1 0 890374064 260108288 62205 33554432000 4194304 8979876 140734875760432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 62205 728 1169 0 62330 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 254012
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 13880
/proc/meminfo: memFree=31022116/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=1782.33 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 73238 0 0 0 178022 211 0 0 25 0 1 0 890374064 260108288 62205 33554432000 4194304 8979876 140734875760432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 62205 728 1169 0 62330 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 254012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 13880
/proc/meminfo: memFree=31022356/32951124 swapFree=67060628/67111528
[pid=13792] ppid=13790 vsize=254012 CPUtime=1800.03 cores=0,2,4,6
/proc/13792/stat : 13792 (scip-2.0.1.4_2.) R 13790 13792 13525 0 -1 4202496 73238 0 0 0 179790 213 0 0 25 0 1 0 890374064 260108288 62205 33554432000 4194304 8979876 140734875760432 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/13792/statm: 63503 62205 728 1169 0 62330 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 254012
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.02
CPU time (s): 1800.05
CPU user time (s): 1797.91
CPU system time (s): 2.14667
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 254012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.91
system time used= 2.14667
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73238
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= 3918
runsolver used 2.84957 second user time and 5.66814 second system time
The end