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-3484710-1307790061.opb>
0.09/0.15 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 29788 constraints
0.09/0.15 c problem read
0.09/0.15 c presolving settings loaded
0.19/0.23 o 0
0.19/0.23 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.23 c presolving:
0.19/0.27 c (round 1) 589 del vars, 589 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.30/0.36 c (round 2) 589 del vars, 5032 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 24756 upgd conss, 2340 impls, 0 clqs
0.30/0.40 c (0.4s) probing: 101/1436 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.30/0.40 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.30/0.40 c presolving (3 rounds):
0.30/0.40 c 589 deleted vars, 5032 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.30/0.40 c 2340 implications, 0 cliques
0.30/0.40 c presolved problem has 1436 variables (1436 bin, 0 int, 0 impl, 0 cont) and 24756 constraints
0.30/0.40 c 581 constraints of type <setppc>
0.30/0.40 c 24175 constraints of type <logicor>
0.30/0.40 c transformed objective value is always integral (scale: 1)
0.30/0.40 c Presolving Time: 0.22
0.30/0.40 c - non default parameters ----------------------------------------------------------------------
0.30/0.40 c # SCIP version 2.0.1.4
0.30/0.40 c
0.30/0.40 c # frequency for displaying node information lines
0.30/0.40 c # [type: int, range: [-1,2147483647], default: 100]
0.30/0.40 c display/freq = 10000
0.30/0.40 c
0.30/0.40 c # maximal time in seconds to run
0.30/0.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.30/0.40 c limits/time = 1797
0.30/0.40 c
0.30/0.40 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.30/0.40 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.30/0.40 c limits/memory = 13950
0.30/0.40 c
0.30/0.40 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.30/0.40 c # [type: int, range: [1,2], default: 1]
0.30/0.40 c timing/clocktype = 2
0.30/0.40 c
0.30/0.40 c # belongs reading time to solving time?
0.30/0.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.30/0.40 c timing/reading = TRUE
0.30/0.40 c
0.30/0.40 c # should presolving try to simplify inequalities
0.30/0.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.30/0.40 c constraints/linear/simplifyinequalities = TRUE
0.30/0.40 c
0.30/0.40 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.30/0.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.30/0.40 c constraints/indicator/addCouplingCons = TRUE
0.30/0.40 c
0.30/0.40 c # should presolving try to simplify knapsacks
0.30/0.40 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.30/0.40 c constraints/knapsack/simplifyinequalities = TRUE
0.30/0.40 c
0.30/0.40 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.30/0.40 c # [type: int, range: [-1,2147483647], default: -1]
0.30/0.40 c separating/rapidlearning/freq = 0
0.30/0.40 c
0.30/0.40 c -----------------------------------------------------------------------------------------------
0.30/0.40 c start solving
0.39/0.40 c
2.50/2.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.50/2.52 c t 2.5s| 1 | 0 | 8046 | - | 34M| 0 |1402 |1436 | 24k|1436 | 24k| 0 | 0 | 0 |-2.345926e+02 | 0.000000e+00 | 100.00%
2.50/2.57 o -2
2.50/2.57 c R 2.6s| 1 | 0 | 8046 | - | 34M| 0 |1402 |1436 | 24k|1436 | 24k| 0 | 0 | 0 |-2.345926e+02 |-2.000000e+00 | 99.15%
2.59/2.62 o -3
2.59/2.62 c s 2.6s| 1 | 0 | 8046 | - | 34M| 0 |1402 |1436 | 24k|1436 | 24k| 0 | 0 | 0 |-2.345926e+02 |-3.000000e+00 | 98.72%
3.99/4.04 c 4.0s| 1 | 0 | 10830 | - | 35M| 0 |1416 |1436 | 24k|1436 | 24k| 6 | 0 | 0 |-2.327657e+02 |-3.000000e+00 | 98.71%
3.99/4.04 o -10
3.99/4.04 c b 4.0s| 1 | 0 | 10830 | - | 35M| 0 |1416 |1436 | 24k|1436 | 24k| 6 | 0 | 0 |-2.327657e+02 |-1.000000e+01 | 95.70%
5.79/5.85 c 5.8s| 1 | 0 | 14848 | - | 36M| 0 |1421 |1436 | 24k|1436 | 24k| 13 | 0 | 0 |-2.316275e+02 |-1.000000e+01 | 95.68%
8.19/8.23 c 8.2s| 1 | 0 | 19780 | - | 37M| 0 |1434 |1436 | 24k|1436 | 24k| 21 | 0 | 0 |-2.298566e+02 |-1.000000e+01 | 95.65%
22.00/22.02 c 22.0s| 1 | 0 | 28923 | - | 37M| 0 |1432 |1436 | 24k|1436 | 24k| 29 | 0 | 0 |-2.282053e+02 |-1.000000e+01 | 95.62%
34.39/34.48 c 34.5s| 1 | 0 | 37208 | - | 37M| 0 |1433 |1436 | 24k|1436 | 24k| 70 | 0 | 0 |-2.252495e+02 |-1.000000e+01 | 95.56%
34.49/34.51 o -11
34.49/34.51 c R34.5s| 1 | 0 | 37208 | - | 37M| 0 |1433 |1436 | 24k|1436 | 24k| 70 | 0 | 0 |-2.252495e+02 |-1.100000e+01 | 95.12%
42.29/42.31 c 42.3s| 1 | 0 | 47939 | - | 38M| 0 |1419 |1436 | 24k|1436 | 24k| 77 | 0 | 0 |-2.238871e+02 |-1.100000e+01 | 95.09%
82.79/82.89 c 82.9s| 1 | 0 | 75433 | - | 38M| 0 |1428 |1436 | 24k|1436 | 24k| 89 | 0 | 0 |-2.199618e+02 |-1.100000e+01 | 95.00%
103.59/103.64 c 104s| 1 | 0 | 83181 | - | 39M| 0 |1431 |1436 | 24k|1436 | 24k| 94 | 0 | 0 |-2.196207e+02 |-1.100000e+01 | 94.99%
121.30/121.31 c 121s| 1 | 0 | 87646 | - | 41M| 0 |1435 |1436 | 24k|1436 | 24k| 96 | 0 | 0 |-2.191776e+02 |-1.100000e+01 | 94.98%
132.00/132.06 c 132s| 1 | 0 | 88774 | - | 47M| 0 |1435 |1436 | 24k|1436 | 24k| 97 | 0 | 0 |-2.191776e+02 |-1.100000e+01 | 94.98%
149.79/149.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.79/149.80 c 150s| 1 | 0 | 91229 | - | 49M| 0 |1435 |1436 | 24k|1436 | 24k| 98 | 0 | 0 |-2.191310e+02 |-1.100000e+01 | 94.98%
169.70/169.77 c 170s| 1 | 0 | 98480 | - | 50M| 0 |1435 |1436 | 24k|1436 | 24k| 100 | 0 | 0 |-2.190434e+02 |-1.100000e+01 | 94.98%
191.09/191.17 c 191s| 1 | 0 |110910 | - | 55M| 0 |1430 |1436 | 24k|1436 | 24k| 102 | 0 | 0 |-2.188070e+02 |-1.100000e+01 | 94.97%
208.90/208.92 c 209s| 1 | 0 |117244 | - | 60M| 0 |1429 |1436 | 24k|1436 | 24k| 103 | 0 | 0 |-2.187746e+02 |-1.100000e+01 | 94.97%
223.30/223.36 c 223s| 1 | 0 |117342 | - | 60M| 0 |1429 |1436 | 24k|1436 | 24k| 104 | 0 | 0 |-2.187746e+02 |-1.100000e+01 | 94.97%
257.00/257.08 c 257s| 1 | 2 |117342 | - | 60M| 0 |1429 |1436 | 24k|1436 | 24k| 104 | 0 | 22 |-2.187746e+02 |-1.100000e+01 | 94.97%
847.31/847.39 o -25
847.31/847.39 c p 847s| 5 | 6 |641007 |130916.2 | 62M| 2 | - |1436 | 24k|1436 | 24k| 104 | 0 | 198 |-2.165833e+02 |-2.500000e+01 | 88.46%
847.41/847.42 o -29
847.41/847.42 c b 847s| 6 | 5 |641007 |104733.0 | 61M| 3 | - |1436 | 24k|1436 | 24k| 104 | 0 | 198 |-2.165833e+02 |-2.900000e+01 | 86.61%
887.91/887.91 o -48
887.91/887.91 c f 888s| 6 | 7 |674989 |111529.4 | 64M| 3 | - |1436 | 24k|1436 | 24k| 104 | 1 | 219 |-2.165833e+02 |-4.800000e+01 | 77.84%
1498.12/1498.18 o -53
1498.12/1498.18 c R1498s| 29 | 24 | 1279k|41500.1 | 62M| 18 | 871 |1436 | 24k|1436 | 24k| 104 | 26 | 388 |-2.085899e+02 |-5.300000e+01 | 74.59%
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-3484710-1307790061/watcher-3484710-1307790061 -o /tmp/evaluation-result-3484710-1307790061/solver-3484710-1307790061 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3484710-1307790061.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 1.96 2/178 19330
/proc/meminfo: memFree=31782988/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=10112 CPUtime=0 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 1527 0 0 0 0 0 0 0 25 0 1 0 969236914 10354688 1481 33554432000 4194304 8979876 140735014065728 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19330/statm: 2528 1481 366 1169 0 1355 0
[startup+0.0350291 s]
/proc/loadavg: 2.00 2.00 1.96 2/178 19330
/proc/meminfo: memFree=31782988/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=14404 CPUtime=0.03 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 2590 0 0 0 3 0 0 0 25 0 1 0 969236914 14749696 2544 33554432000 4194304 8979876 140735014065728 18446744073709551615 6204168 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19330/statm: 3601 2544 366 1169 0 2428 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14404
[startup+0.101057 s]
/proc/loadavg: 2.00 2.00 1.96 2/178 19330
/proc/meminfo: memFree=31782988/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=18876 CPUtime=0.09 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 3733 0 0 0 9 0 0 0 25 0 1 0 969236914 19329024 3683 33554432000 4194304 8979876 140735014065728 18446744073709551615 7836098 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/19330/statm: 4719 3683 366 1169 0 3546 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18876
[startup+0.300986 s]
/proc/loadavg: 2.00 2.00 1.96 2/178 19330
/proc/meminfo: memFree=31782988/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=60144 CPUtime=0.3 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 15152 0 0 0 28 2 0 0 25 0 1 0 969236914 61587456 13733 33554432000 4194304 8979876 140735014065728 18446744073709551615 4881271 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 15036 13733 506 1169 0 13863 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 60144
[startup+0.700914 s]
/proc/loadavg: 2.00 2.00 1.96 2/178 19330
/proc/meminfo: memFree=31782988/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=106588 CPUtime=0.69 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 27089 0 0 0 65 4 0 0 25 0 1 0 969236914 109146112 24207 33554432000 4194304 8979876 140735014065728 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 26647 24207 834 1169 0 25474 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 106588
[startup+1.50077 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 19339
/proc/meminfo: memFree=31683068/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=109096 CPUtime=1.49 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 28949 0 0 0 144 5 0 0 25 0 1 0 969236914 111714304 25545 33554432000 4194304 8979876 140735014065728 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 27274 25545 656 1169 0 26101 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 109096
[startup+3.10049 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 19339
/proc/meminfo: memFree=31680940/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=112116 CPUtime=3.09 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 30355 0 0 0 302 7 0 0 25 0 1 0 969236914 114806784 26558 33554432000 4194304 8979876 140735014065728 18446744073709551615 6293618 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 28029 26558 691 1169 0 26856 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 112116
[startup+6.30093 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 19339
/proc/meminfo: memFree=31673644/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=118940 CPUtime=6.29 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 31713 0 0 0 619 10 0 0 25 0 1 0 969236914 121794560 27893 33554432000 4194304 8979876 140735014065728 18446744073709551615 6293618 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 29735 27893 688 1169 0 28562 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 118940
[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 19340
/proc/meminfo: memFree=31669196/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=121744 CPUtime=12.69 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 32664 0 0 0 1252 17 0 0 25 0 1 0 969236914 124665856 28842 33554432000 4194304 8979876 140735014065728 18446744073709551615 7841143 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 30436 28842 686 1169 0 29263 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 121744
[startup+25.5006 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 19340
/proc/meminfo: memFree=31673456/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=115956 CPUtime=25.49 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 33359 0 0 0 2522 27 0 0 25 0 1 0 969236914 118738944 27938 33554432000 4194304 8979876 140735014065728 18446744073709551615 6543959 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 28989 27938 686 1169 0 27816 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 115956
[startup+51.1001 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 19341
/proc/meminfo: memFree=31671616/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=122780 CPUtime=51.09 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 36193 0 0 0 5066 43 0 0 25 0 1 0 969236914 125726720 28404 33554432000 4194304 8979876 140735014065728 18446744073709551615 7122693 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 30695 28404 688 1169 0 29522 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 122780
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 19342
/proc/meminfo: memFree=31657256/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=128644 CPUtime=102.29 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 39309 0 0 0 10166 63 0 0 25 0 1 0 969236914 131731456 31039 33554432000 4194304 8979876 140735014065728 18446744073709551615 7146506 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 32161 31039 686 1169 0 30988 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 128644
[startup+162.301 s]
/proc/loadavg: 2.07 2.02 1.97 3/178 19344
/proc/meminfo: memFree=31649256/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=136720 CPUtime=162.3 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 40806 0 0 0 16135 95 0 0 25 0 1 0 969236914 140001280 32536 33554432000 4194304 8979876 140735014065728 18446744073709551615 6610564 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 34180 32536 686 1169 0 33007 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 136720
[startup+222.3 s]
/proc/loadavg: 2.10 2.03 1.97 3/178 19345
/proc/meminfo: memFree=31631704/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=152792 CPUtime=222.3 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 44777 0 0 0 22104 126 0 0 25 0 1 0 969236914 156459008 36507 33554432000 4194304 8979876 140735014065728 18446744073709551615 6609781 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 38198 36507 686 1169 0 37025 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 152792
[startup+282.301 s]
/proc/loadavg: 2.04 2.02 1.97 3/178 19347
/proc/meminfo: memFree=31633112/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=149464 CPUtime=282.29 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 58299 0 0 0 28075 154 0 0 25 0 1 0 969236914 153051136 35589 33554432000 4194304 8979876 140735014065728 18446744073709551615 7146609 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 37366 35589 712 1169 0 36193 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 149464
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 19348
/proc/meminfo: memFree=31629708/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=149464 CPUtime=342.29 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 63214 0 0 0 34049 180 0 0 25 0 1 0 969236914 153051136 35672 33554432000 4194304 8979876 140735014065728 18446744073709551615 7144501 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 37366 35672 712 1169 0 36193 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 149464
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 1.97 3/178 19350
/proc/meminfo: memFree=31627776/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=149460 CPUtime=402.3 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 64530 0 0 0 40030 200 0 0 25 0 1 0 969236914 153047040 35734 33554432000 4194304 8979876 140735014065728 18446744073709551615 6937217 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 37365 35734 713 1169 0 36192 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 149460
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 19352
/proc/meminfo: memFree=31625088/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=149400 CPUtime=462.3 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 69876 0 0 0 46002 228 0 0 25 0 1 0 969236914 152985600 35607 33554432000 4194304 8979876 140735014065728 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 37350 35607 713 1169 0 36177 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 149400
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 19353
/proc/meminfo: memFree=31622816/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=149448 CPUtime=522.31 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 75063 0 0 0 51974 257 0 0 25 0 1 0 969236914 153034752 35642 33554432000 4194304 8979876 140735014065728 18446744073709551615 7143762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 37362 35642 704 1169 0 36189 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 149448
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 19393
/proc/meminfo: memFree=31714424/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=149448 CPUtime=582.3 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 75096 0 0 0 57945 285 0 0 25 0 1 0 969236914 153034752 35673 33554432000 4194304 8979876 140735014065728 18446744073709551615 7156566 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 37362 35673 702 1169 0 36189 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 149448
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.04 2.01 1.98 3/178 19399
/proc/meminfo: memFree=31702900/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=150236 CPUtime=822.31 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 79612 0 0 0 81820 411 0 0 25 0 1 0 969236914 153841664 35836 33554432000 4194304 8979876 140735014065728 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 37559 35836 702 1169 0 36386 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 150236
[startup+882.301 s]
/proc/loadavg: 2.01 2.01 1.98 3/178 19401
/proc/meminfo: memFree=31699736/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=151716 CPUtime=882.31 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 80201 0 0 0 87785 446 0 0 25 0 1 0 969236914 155357184 36425 33554432000 4194304 8979876 140735014065728 18446744073709551615 7046510 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 37929 36425 702 1169 0 36756 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 151716
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 19402
/proc/meminfo: memFree=31700636/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=151704 CPUtime=942.31 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 86592 0 0 0 93751 480 0 0 25 0 1 0 969236914 155344896 35866 33554432000 4194304 8979876 140735014065728 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 37926 35866 705 1169 0 36753 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 151704
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 19404
/proc/meminfo: memFree=31697848/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=151764 CPUtime=1002.31 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 109472 0 0 0 99720 511 0 0 25 0 1 0 969236914 155406336 35859 33554432000 4194304 8979876 140735014065728 18446744073709551615 6883896 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 37941 35859 705 1169 0 36768 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 151764
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 19406
/proc/meminfo: memFree=31696420/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=151764 CPUtime=1062.31 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 109736 0 0 0 105695 536 0 0 25 0 1 0 969236914 155406336 36123 33554432000 4194304 8979876 140735014065728 18446744073709551615 7146596 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 37941 36123 705 1169 0 36768 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 151764
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 19407
/proc/meminfo: memFree=31691772/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=153236 CPUtime=1122.32 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 120925 0 0 0 111662 570 0 0 25 0 1 0 969236914 156913664 36463 33554432000 4194304 8979876 140735014065728 18446744073709551615 7146592 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 38309 36463 705 1169 0 37136 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 153236
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 19409
/proc/meminfo: memFree=31689456/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=153236 CPUtime=1182.31 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 120925 0 0 0 117633 598 0 0 25 0 1 0 969236914 156913664 36463 33554432000 4194304 8979876 140735014065728 18446744073709551615 7146351 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 38309 36463 705 1169 0 37136 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 153236
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 19410
/proc/meminfo: memFree=31686176/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=153892 CPUtime=1242.31 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 121372 0 0 0 123602 629 0 0 25 0 1 0 969236914 157585408 36910 33554432000 4194304 8979876 140735014065728 18446744073709551615 7146626 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 38473 36910 705 1169 0 37300 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 153892
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 19412
/proc/meminfo: memFree=31685236/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=154548 CPUtime=1302.32 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 129194 0 0 0 129577 655 0 0 25 0 1 0 969236914 158257152 36991 33554432000 4194304 8979876 140735014065728 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 38637 36991 705 1169 0 37464 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 154548
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 19414
/proc/meminfo: memFree=31690108/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=150108 CPUtime=1362.31 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 129659 0 0 0 135543 688 0 0 25 0 1 0 969236914 153710592 35777 33554432000 4194304 8979876 140735014065728 18446744073709551615 7146536 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 37527 35777 705 1169 0 36354 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 150108
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 19415
/proc/meminfo: memFree=31687176/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=154200 CPUtime=1422.32 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 130348 0 0 0 141513 719 0 0 25 0 1 0 969236914 157900800 36466 33554432000 4194304 8979876 140735014065728 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 38550 36466 705 1169 0 37377 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 154200
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 19417
/proc/meminfo: memFree=31689712/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=150780 CPUtime=1482.32 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 143772 0 0 0 147483 749 0 0 25 0 1 0 969236914 154398720 35772 33554432000 4194304 8979876 140735014065728 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 37695 35772 705 1169 0 36522 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 150780
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 19418
/proc/meminfo: memFree=31689756/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=153008 CPUtime=1542.32 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 181150 0 0 0 153441 791 0 0 25 0 1 0 969236914 156680192 36278 33554432000 4194304 8979876 140735014065728 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 38252 36278 705 1169 0 37079 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 153008
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 19420
/proc/meminfo: memFree=31678640/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=160048 CPUtime=1602.32 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 189950 0 0 0 159417 815 0 0 25 0 1 0 969236914 163889152 38433 33554432000 4194304 8979876 140735014065728 18446744073709551615 6820799 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/19330/statm: 40012 38433 714 1169 0 38839 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 160048
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 19422
/proc/meminfo: memFree=31677572/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=161464 CPUtime=1662.32 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 195327 0 0 0 165397 835 0 0 25 0 1 0 969236914 165339136 38751 33554432000 4194304 8979876 140735014065728 18446744073709551615 7146360 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19330/statm: 40366 38751 833 1169 0 39193 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 161464
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 19423
/proc/meminfo: memFree=31677252/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=161464 CPUtime=1722.32 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 195328 0 0 0 171379 853 0 0 25 0 1 0 969236914 165339136 38752 33554432000 4194304 8979876 140735014065728 18446744073709551615 7091656 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19330/statm: 40366 38752 833 1169 0 39193 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 161464
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 19425
/proc/meminfo: memFree=31684616/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=153812 CPUtime=1782.32 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 213222 0 0 0 177346 886 0 0 25 0 1 0 969236914 157503488 36617 33554432000 4194304 8979876 140735014065728 18446744073709551615 6937433 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19330/statm: 38453 36617 706 1169 0 37280 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 153812
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 19425
/proc/meminfo: memFree=31681732/32950940 swapFree=67074964/67111528
[pid=19330] ppid=19328 vsize=156700 CPUtime=1800.03 cores=1,3,5,7
/proc/19330/stat : 19330 (scip-2.0.1.4_2.) R 19328 19330 18592 0 -1 4202496 214057 0 0 0 179112 891 0 0 25 0 1 0 969236914 160460800 37452 33554432000 4194304 8979876 140735014065728 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19330/statm: 39175 37452 816 1169 0 38002 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 156700
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.01
CPU time (s): 1800.05
CPU user time (s): 1791.13
CPU system time (s): 8.92264
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 161464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.13
system time used= 8.92264
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214057
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= 5
involuntary context switches= 3301
runsolver used 2.46962 second user time and 5.84411 second system time
The end