0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3450233-1307113906.opb>
0.39/0.42 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 63877 constraints
0.39/0.42 c problem read
0.39/0.42 c presolving settings loaded
0.49/0.50 o 0
0.49/0.50 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.49/0.50 c presolving:
0.49/0.58 c (round 1) 186 del vars, 186 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.69/0.78 c (round 2) 186 del vars, 835 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 63042 upgd conss, 2340 impls, 0 clqs
0.78/0.84 c (0.8s) probing: 101/1839 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.78/0.84 c (0.8s) probing aborted: 100/100 successive totally useless probings
0.78/0.84 c presolving (3 rounds):
0.78/0.84 c 186 deleted vars, 835 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.78/0.84 c 2340 implications, 0 cliques
0.78/0.84 c presolved problem has 1839 variables (1839 bin, 0 int, 0 impl, 0 cont) and 63042 constraints
0.78/0.84 c 984 constraints of type <setppc>
0.78/0.84 c 62058 constraints of type <logicor>
0.78/0.84 c transformed objective value is always integral (scale: 1)
0.78/0.84 c Presolving Time: 0.35
0.78/0.84 c - non default parameters ----------------------------------------------------------------------
0.78/0.84 c # SCIP version 2.0.1.5
0.78/0.84 c
0.78/0.84 c # frequency for displaying node information lines
0.78/0.84 c # [type: int, range: [-1,2147483647], default: 100]
0.78/0.84 c display/freq = 10000
0.78/0.84 c
0.78/0.84 c # maximal time in seconds to run
0.78/0.84 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.78/0.84 c limits/time = 1800
0.78/0.84 c
0.78/0.84 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.78/0.84 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.78/0.84 c limits/memory = 13950
0.78/0.84 c
0.78/0.84 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.78/0.84 c # [type: int, range: [1,2], default: 1]
0.78/0.84 c timing/clocktype = 2
0.78/0.84 c
0.78/0.84 c # belongs reading time to solving time?
0.78/0.84 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.78/0.84 c timing/reading = TRUE
0.78/0.84 c
0.78/0.84 c # should presolving try to simplify inequalities
0.78/0.84 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.78/0.84 c constraints/linear/simplifyinequalities = TRUE
0.78/0.84 c
0.78/0.84 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.78/0.84 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.78/0.84 c constraints/indicator/addCouplingCons = TRUE
0.78/0.84 c
0.78/0.84 c # should presolving try to simplify knapsacks
0.78/0.84 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.78/0.84 c constraints/knapsack/simplifyinequalities = TRUE
0.78/0.84 c
0.78/0.84 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.78/0.84 c # [type: int, range: [-1,2147483647], default: -1]
0.78/0.84 c separating/rapidlearning/freq = 0
0.78/0.84 c
0.78/0.84 c -----------------------------------------------------------------------------------------------
0.78/0.84 c start solving
0.78/0.84 c
121.79/121.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.79/121.87 c t 122s| 1 | 0 | 37368 | - | 81M| 0 |1831 |1839 | 63k|1839 | 63k| 0 | 0 | 0 |-2.688851e+02 | 0.000000e+00 | 100.00%
121.89/121.93 o -8
121.89/121.93 c R 122s| 1 | 0 | 37368 | - | 81M| 0 |1831 |1839 | 63k|1839 | 63k| 0 | 0 | 0 |-2.688851e+02 |-8.000000e+00 | 97.02%
121.89/121.99 o -11
121.89/121.99 c s 122s| 1 | 0 | 37368 | - | 81M| 0 |1831 |1839 | 63k|1839 | 63k| 0 | 0 | 0 |-2.688851e+02 |-1.100000e+01 | 95.91%
193.19/193.26 c 193s| 1 | 0 | 61092 | - | 83M| 0 |1832 |1839 | 63k|1839 | 63k| 4 | 0 | 0 |-2.674113e+02 |-1.100000e+01 | 95.89%
193.19/193.27 o -45
193.19/193.27 c b 193s| 1 | 0 | 61092 | - | 83M| 0 |1832 |1839 | 63k|1839 | 63k| 4 | 0 | 0 |-2.674113e+02 |-4.500000e+01 | 83.17%
363.19/363.28 c 363s| 1 | 0 | 91136 | - | 83M| 0 |1833 |1839 | 63k|1839 | 63k| 10 | 0 | 0 |-2.645142e+02 |-4.500000e+01 | 82.99%
363.29/363.32 o -46
363.29/363.32 c b 363s| 1 | 0 | 91136 | - | 83M| 0 |1833 |1839 | 63k|1839 | 63k| 10 | 0 | 0 |-2.645142e+02 |-4.600000e+01 | 82.61%
583.10/583.16 c 583s| 1 | 0 |128715 | - | 83M| 0 |1833 |1839 | 63k|1839 | 63k| 15 | 0 | 0 |-2.609836e+02 |-4.600000e+01 | 82.37%
708.70/708.75 c 709s| 1 | 0 |149053 | - | 83M| 0 |1835 |1839 | 63k|1839 | 63k| 16 | 0 | 0 |-2.592648e+02 |-4.600000e+01 | 82.26%
862.70/862.75 c 863s| 1 | 0 |186082 | - | 84M| 0 |1828 |1839 | 63k|1839 | 63k| 21 | 0 | 0 |-2.571259e+02 |-4.600000e+01 | 82.11%
1032.51/1032.50 c 1032s| 1 | 0 |218816 | - | 90M| 0 |1830 |1839 | 63k|1839 | 63k| 27 | 0 | 0 |-2.548345e+02 |-4.600000e+01 | 81.95%
1103.90/1103.93 c 1104s| 1 | 0 |231697 | - | 97M| 0 |1819 |1839 | 63k|1839 | 63k| 31 | 0 | 0 |-2.546038e+02 |-4.600000e+01 | 81.93%
1246.33/1246.38 c 1246s| 1 | 0 |265875 | - | 99M| 0 |1829 |1839 | 63k|1839 | 63k| 37 | 0 | 0 |-2.535291e+02 |-4.600000e+01 | 81.86%
1374.31/1374.34 c 1374s| 1 | 0 |287452 | - | 103M| 0 |1833 |1839 | 63k|1839 | 63k| 42 | 0 | 0 |-2.533249e+02 |-4.600000e+01 | 81.84%
1601.91/1601.93 c 1602s| 1 | 0 |329112 | - | 108M| 0 |1830 |1839 | 63k|1839 | 63k| 45 | 0 | 0 |-2.508002e+02 |-4.600000e+01 | 81.66%
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-3450233-1307113906/watcher-3450233-1307113906 -o /tmp/evaluation-result-3450233-1307113906/solver-3450233-1307113906 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450233-1307113906.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.08 2.05 2.01 3/561 30228
/proc/meminfo: memFree=30093496/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=15652 CPUtime=0.01 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 2908 0 0 0 1 0 0 0 25 0 1 0 822989287 16027648 2861 33554432000 4194304 9163163 140736734135312 18446744073709551615 8041839 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30228/statm: 3913 2861 395 1214 0 2695 0
[startup+0.0295531 s]
/proc/loadavg: 2.08 2.05 2.01 3/561 30228
/proc/meminfo: memFree=30093496/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=16544 CPUtime=0.02 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 3111 0 0 0 2 0 0 0 25 0 1 0 822989287 16941056 3064 33554432000 4194304 9163163 140736734135312 18446744073709551615 8041859 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30228/statm: 4136 3064 395 1214 0 2918 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16544
[startup+0.100543 s]
/proc/loadavg: 2.08 2.05 2.01 3/561 30228
/proc/meminfo: memFree=30093496/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=20792 CPUtime=0.09 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 4193 0 0 0 9 0 0 0 25 0 1 0 822989287 21291008 4146 33554432000 4194304 9163163 140736734135312 18446744073709551615 4338904 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30228/statm: 5198 4146 395 1214 0 3980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20792
[startup+0.30051 s]
/proc/loadavg: 2.08 2.05 2.01 3/561 30228
/proc/meminfo: memFree=30093496/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=33020 CPUtime=0.28 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 7253 0 0 0 28 0 0 0 25 0 1 0 822989287 33812480 7206 33554432000 4194304 9163163 140736734135312 18446744073709551615 4337765 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30228/statm: 8255 7206 395 1214 0 7037 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 33020
[startup+0.700495 s]
/proc/loadavg: 2.08 2.05 2.01 3/561 30228
/proc/meminfo: memFree=30093496/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=109416 CPUtime=0.69 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 27902 0 0 0 66 3 0 0 25 0 1 0 822989287 112041984 25992 33554432000 4194304 9163163 140736734135312 18446744073709551615 5139039 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 27354 25992 525 1214 0 26136 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 109416
[startup+1.50042 s]
/proc/loadavg: 2.08 2.05 2.01 3/562 30230
/proc/meminfo: memFree=29922988/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=207116 CPUtime=1.49 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 54268 0 0 0 142 7 0 0 25 0 1 0 822989287 212086784 46875 33554432000 4194304 9163163 140736734135312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 51779 46875 869 1214 0 50561 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 207116
[startup+3.10116 s]
/proc/loadavg: 2.08 2.05 2.01 3/562 30230
/proc/meminfo: memFree=29893476/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=216044 CPUtime=3.09 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 59132 0 0 0 302 7 0 0 25 0 1 0 822989287 221229056 50991 33554432000 4194304 9163163 140736734135312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 54011 50991 865 1214 0 52793 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 216044
[startup+6.30057 s]
/proc/loadavg: 2.08 2.05 2.01 3/562 30230
/proc/meminfo: memFree=29887404/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=223328 CPUtime=6.29 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 59828 0 0 0 621 8 0 0 25 0 1 0 822989287 228687872 51392 33554432000 4194304 9163163 140736734135312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 55832 51392 698 1214 0 54614 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 223328
[startup+12.7005 s]
/proc/loadavg: 2.07 2.05 2.01 3/562 30230
/proc/meminfo: memFree=29878212/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=238316 CPUtime=12.69 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 62177 0 0 0 1260 9 0 0 25 0 1 0 822989287 244035584 53737 33554432000 4194304 9163163 140736734135312 18446744073709551615 7349118 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 59579 53737 863 1214 0 58361 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 238316
[startup+25.5004 s]
/proc/loadavg: 2.19 2.08 2.02 3/562 30230
/proc/meminfo: memFree=29878188/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=238316 CPUtime=25.49 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 62289 0 0 0 2539 10 0 0 25 0 1 0 822989287 244035584 53799 33554432000 4194304 9163163 140736734135312 18446744073709551615 7375696 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 59579 53799 813 1214 0 58361 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 238316
[startup+51.1011 s]
/proc/loadavg: 2.12 2.07 2.01 3/562 30231
/proc/meminfo: memFree=29877920/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=238316 CPUtime=51.09 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 62314 0 0 0 5097 12 0 0 25 0 1 0 822989287 244035584 53824 33554432000 4194304 9163163 140736734135312 18446744073709551615 7349422 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 59579 53824 813 1214 0 58361 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 238316
[startup+102.322 s]
/proc/loadavg: 2.09 2.07 2.01 3/562 30232
/proc/meminfo: memFree=29876780/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=238316 CPUtime=102.31 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 62331 0 0 0 10215 16 0 0 25 0 1 0 822989287 244035584 53841 33554432000 4194304 9163163 140736734135312 18446744073709551615 6974022 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 59579 53841 813 1214 0 58361 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 238316
[startup+162.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/562 30234
/proc/meminfo: memFree=29869672/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=234848 CPUtime=162.29 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 65580 0 0 0 16206 23 0 0 25 0 1 0 822989287 240484352 56160 33554432000 4194304 9163163 140736734135312 18446744073709551615 7376033 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 58712 56160 1427 1214 0 57494 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 234848
[startup+222.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/562 30235
/proc/meminfo: memFree=29870388/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=234848 CPUtime=222.29 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 65590 0 0 0 22198 31 0 0 25 0 1 0 822989287 240484352 56166 33554432000 4194304 9163163 140736734135312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 58712 56166 1425 1214 0 57494 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 234848
[startup+282.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 30237
/proc/meminfo: memFree=29870364/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=234848 CPUtime=282.29 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 65740 0 0 0 28188 41 0 0 25 0 1 0 822989287 240484352 56169 33554432000 4194304 9163163 140736734135312 18446744073709551615 7349256 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 58712 56169 1278 1214 0 57494 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 234848
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 30238
/proc/meminfo: memFree=29864884/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=235264 CPUtime=342.29 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 66920 0 0 0 34182 47 0 0 25 0 1 0 822989287 240910336 57095 33554432000 4194304 9163163 140736734135312 18446744073709551615 7311832 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 58816 57095 1024 1214 0 57598 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 235264
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 30240
/proc/meminfo: memFree=29865596/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=235264 CPUtime=402.29 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 66920 0 0 0 40173 56 0 0 25 0 1 0 822989287 240910336 57095 33554432000 4194304 9163163 140736734135312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 58816 57095 1024 1214 0 57598 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 235264
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 30242
/proc/meminfo: memFree=29864924/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=235264 CPUtime=462.3 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 66932 0 0 0 46166 64 0 0 25 0 1 0 822989287 240910336 57095 33554432000 4194304 9163163 140736734135312 18446744073709551615 7349047 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 58816 57095 1012 1214 0 57598 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 235264
[startup+522.301 s]
/proc/loadavg: 2.16 2.04 2.01 3/562 30243
/proc/meminfo: memFree=29865508/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=235264 CPUtime=522.3 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 66932 0 0 0 52161 69 0 0 25 0 1 0 822989287 240910336 57095 33554432000 4194304 9163163 140736734135312 18446744073709551615 7347224 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 58816 57095 1012 1214 0 57598 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 235264
[startup+582.301 s]
/proc/loadavg: 2.35 2.09 2.03 3/562 30245
/proc/meminfo: memFree=29857916/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=242668 CPUtime=582.3 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 68779 0 0 0 58156 74 0 0 25 0 1 0 822989287 248492032 58942 33554432000 4194304 9163163 140736734135312 18446744073709551615 7348646 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 60667 58942 1012 1214 0 59449 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 242668
[startup+642.301 s]
################
# More data... #
################
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 79700 0 0 0 100104 127 0 0 25 0 1 0 822989287 266256384 60633 33554432000 4194304 9163163 140736734135312 18446744073709551615 7317905 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 65004 60633 1931 1214 0 63786 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 260016
[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/562 30286
/proc/meminfo: memFree=29682024/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=260016 CPUtime=1062.3 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 79703 0 0 0 106096 134 0 0 25 0 1 0 822989287 266256384 60636 33554432000 4194304 9163163 140736734135312 18446744073709551615 6611645 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 65004 60636 1931 1214 0 63786 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 260016
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 30287
/proc/meminfo: memFree=29694264/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=253908 CPUtime=1122.3 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 84421 0 0 0 112087 143 0 0 25 0 1 0 822989287 260001792 59750 33554432000 4194304 9163163 140736734135312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 63477 59750 1615 1214 0 62259 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 253908
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 30289
/proc/meminfo: memFree=29685808/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=261360 CPUtime=1182.31 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 86364 0 0 0 118082 149 0 0 25 0 1 0 822989287 267632640 61643 33554432000 4194304 9163163 140736734135312 18446744073709551615 6973986 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 65340 61643 1565 1214 0 64122 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 261360
[startup+1242.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/562 30290
/proc/meminfo: memFree=29685776/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=261360 CPUtime=1242.31 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 86409 0 0 0 124078 153 0 0 25 0 1 0 822989287 267632640 61664 33554432000 4194304 9163163 140736734135312 18446744073709551615 7277691 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 65340 61664 1541 1214 0 64122 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 261360
[startup+1302.3 s]
/proc/loadavg: 2.21 2.08 2.02 3/562 30292
/proc/meminfo: memFree=29683016/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=261360 CPUtime=1302.33 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 86799 0 0 0 130070 163 0 0 25 0 1 0 822989287 267632640 62054 33554432000 4194304 9163163 140736734135312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 65340 62054 1541 1214 0 64122 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 261360
[startup+1362.3 s]
/proc/loadavg: 2.16 2.08 2.02 3/562 30294
/proc/meminfo: memFree=29645904/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=276472 CPUtime=1362.31 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 93111 0 0 0 136059 172 0 0 25 0 1 0 822989287 283107328 66222 33554432000 4194304 9163163 140736734135312 18446744073709551615 7317913 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 69118 66222 688 1214 0 67900 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 276472
[startup+1422.32 s]
/proc/loadavg: 2.05 2.06 2.01 3/562 30295
/proc/meminfo: memFree=29637696/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=276472 CPUtime=1422.33 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 93111 0 0 0 142050 183 0 0 25 0 1 0 822989287 283107328 66222 33554432000 4194304 9163163 140736734135312 18446744073709551615 7051532 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 69118 66222 688 1214 0 67900 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 276472
[startup+1482.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/562 30297
/proc/meminfo: memFree=29643868/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=276472 CPUtime=1482.31 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 93810 0 0 0 148041 190 0 0 25 0 1 0 822989287 283107328 66921 33554432000 4194304 9163163 140736734135312 18446744073709551615 6974030 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 69118 66921 688 1214 0 67900 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 276472
[startup+1542.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/562 30298
/proc/meminfo: memFree=29654140/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=276472 CPUtime=1542.31 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 93852 0 0 0 154038 193 0 0 25 0 1 0 822989287 283107328 66963 33554432000 4194304 9163163 140736734135312 18446744073709551615 7046792 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 69118 66963 688 1214 0 67900 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 276472
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 30300
/proc/meminfo: memFree=29641344/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=276472 CPUtime=1602.31 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 93869 0 0 0 160032 199 0 0 25 0 1 0 822989287 283107328 66980 33554432000 4194304 9163163 140736734135312 18446744073709551615 6668677 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 69118 66980 688 1214 0 67900 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 276472
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 30302
/proc/meminfo: memFree=29648752/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=276472 CPUtime=1662.31 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 93973 0 0 0 166023 208 0 0 25 0 1 0 822989287 283107328 67084 33554432000 4194304 9163163 140736734135312 18446744073709551615 6974030 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 69118 67084 688 1214 0 67900 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 276472
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 30303
/proc/meminfo: memFree=29648600/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=276472 CPUtime=1722.32 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 94254 0 0 0 172019 213 0 0 25 0 1 0 822989287 283107328 67365 33554432000 4194304 9163163 140736734135312 18446744073709551615 7348526 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 69118 67365 969 1214 0 67900 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 276472
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 30305
/proc/meminfo: memFree=29619424/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=287744 CPUtime=1782.32 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 97113 0 0 0 178013 219 0 0 25 0 1 0 822989287 294649856 70179 33554432000 4194304 9163163 140736734135312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 71936 70179 924 1214 0 70718 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 287744
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 30305
/proc/meminfo: memFree=29620160/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=287744 CPUtime=1800.03 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 97113 0 0 0 179783 220 0 0 25 0 1 0 822989287 294649856 70179 33554432000 4194304 9163163 140736734135312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 71936 70179 924 1214 0 70718 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 287744
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -30228
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/563 30307
/proc/meminfo: memFree=29618912/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=287744 CPUtime=1801.41 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 97113 0 0 0 179921 220 0 0 25 0 1 0 822989287 294649856 70179 33554432000 4194304 9163163 140736734135312 18446744073709551615 7349445 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 71936 70179 924 1214 0 70718 0
Current children cumulated CPU time (s) 1801.41
Current children cumulated vsize (KiB) 287744
[startup+1801.82 s]
/proc/loadavg: 2.00 2.01 2.00 3/563 30307
/proc/meminfo: memFree=29619408/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=287744 CPUtime=1801.83 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 97113 0 0 0 179963 220 0 0 25 0 1 0 822989287 294649856 70179 33554432000 4194304 9163163 140736734135312 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 71936 70179 924 1214 0 70718 0
Current children cumulated CPU time (s) 1801.83
Current children cumulated vsize (KiB) 287744
[startup+1802 s]
/proc/loadavg: 2.00 2.01 2.00 3/563 30307
/proc/meminfo: memFree=29619408/32950928 swapFree=41528364/67111528
[pid=30228] ppid=30226 vsize=287744 CPUtime=1802.01 cores=0,2,4,6
/proc/30228/stat : 30228 (scip-2.0.1.4b.l) R 30226 30228 28517 0 -1 4202496 97113 0 0 0 179981 220 0 0 25 0 1 0 822989287 294649856 70179 33554432000 4194304 9163163 140736734135312 18446744073709551615 7348346 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30228/statm: 71936 70179 924 1214 0 70718 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 287744
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.04
CPU time (s): 1802.06
CPU user time (s): 1799.84
CPU system time (s): 2.22066
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 287744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 2.22066
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97113
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= 2562
runsolver used 10.5594 second user time and 23.4814 second system time
The end