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-3484712-1307790134.opb>
0.28/0.36 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 62994 constraints
0.28/0.36 c problem read
0.28/0.36 c presolving settings loaded
0.49/0.53 o 0
0.49/0.53 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.49/0.53 c presolving:
0.59/0.61 c (round 1) 191 del vars, 191 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.79/0.83 c (round 2) 191 del vars, 851 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 62143 upgd conss, 2340 impls, 0 clqs
0.89/0.90 c (0.9s) probing: 101/1834 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.90 c (0.9s) probing aborted: 100/100 successive totally useless probings
0.89/0.90 c presolving (3 rounds):
0.89/0.90 c 191 deleted vars, 851 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.90 c 2340 implications, 0 cliques
0.89/0.90 c presolved problem has 1834 variables (1834 bin, 0 int, 0 impl, 0 cont) and 62143 constraints
0.89/0.90 c 979 constraints of type <setppc>
0.89/0.90 c 61164 constraints of type <logicor>
0.89/0.90 c transformed objective value is always integral (scale: 1)
0.89/0.90 c Presolving Time: 0.49
0.89/0.90 c - non default parameters ----------------------------------------------------------------------
0.89/0.90 c # SCIP version 2.0.1.4
0.89/0.90 c
0.89/0.90 c # frequency for displaying node information lines
0.89/0.90 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.90 c display/freq = 10000
0.89/0.90 c
0.89/0.90 c # maximal time in seconds to run
0.89/0.90 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.90 c limits/time = 1797
0.89/0.90 c
0.89/0.90 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.90 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.90 c limits/memory = 13950
0.89/0.90 c
0.89/0.90 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/0.90 c # [type: int, range: [1,2], default: 1]
0.89/0.90 c timing/clocktype = 2
0.89/0.90 c
0.89/0.90 c # belongs reading time to solving time?
0.89/0.90 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.90 c timing/reading = TRUE
0.89/0.90 c
0.89/0.90 c # should presolving try to simplify inequalities
0.89/0.90 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.90 c constraints/linear/simplifyinequalities = TRUE
0.89/0.90 c
0.89/0.90 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.89/0.90 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.90 c constraints/indicator/addCouplingCons = TRUE
0.89/0.90 c
0.89/0.90 c # should presolving try to simplify knapsacks
0.89/0.90 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.90 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.90 c
0.89/0.90 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.90 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.90 c separating/rapidlearning/freq = 0
0.89/0.90 c
0.89/0.90 c -----------------------------------------------------------------------------------------------
0.89/0.90 c start solving
0.89/0.90 c
187.49/187.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.49/187.53 c t 188s| 1 | 0 | 44884 | - | 75M| 0 |1815 |1834 | 62k|1834 | 62k| 0 | 0 | 0 |-2.510395e+02 | 0.000000e+00 | 100.00%
187.49/187.59 o -16
187.49/187.59 c R 188s| 1 | 0 | 44884 | - | 75M| 0 |1815 |1834 | 62k|1834 | 62k| 0 | 0 | 0 |-2.510395e+02 |-1.600000e+01 | 93.63%
187.59/187.66 o -18
187.59/187.66 c s 188s| 1 | 0 | 44884 | - | 75M| 0 |1815 |1834 | 62k|1834 | 62k| 0 | 0 | 0 |-2.510395e+02 |-1.800000e+01 | 92.83%
252.80/252.81 c 253s| 1 | 0 | 65105 | - | 80M| 0 |1818 |1834 | 62k|1834 | 62k| 6 | 0 | 0 |-2.459279e+02 |-1.800000e+01 | 92.68%
252.80/252.82 o -38
252.80/252.82 c b 253s| 1 | 0 | 65105 | - | 80M| 0 |1818 |1834 | 62k|1834 | 62k| 6 | 0 | 0 |-2.459279e+02 |-3.800000e+01 | 84.55%
477.31/477.38 c 477s| 1 | 0 |106008 | - | 84M| 0 |1818 |1834 | 62k|1834 | 62k| 14 | 0 | 0 |-2.418299e+02 |-3.800000e+01 | 84.29%
477.41/477.42 o -50
477.41/477.42 c b 477s| 1 | 0 |106008 | - | 84M| 0 |1818 |1834 | 62k|1834 | 62k| 14 | 0 | 0 |-2.418299e+02 |-5.000000e+01 | 79.32%
594.41/594.41 c 594s| 1 | 0 |128250 | - | 90M| 0 |1822 |1834 | 62k|1834 | 62k| 19 | 0 | 0 |-2.397393e+02 |-5.000000e+01 | 79.14%
818.42/818.48 c 818s| 1 | 0 |168201 | - | 97M| 0 |1826 |1834 | 62k|1834 | 62k| 22 | 0 | 0 |-2.390190e+02 |-5.000000e+01 | 79.08%
1034.82/1034.89 c 1035s| 1 | 0 |206514 | - | 105M| 0 |1826 |1834 | 62k|1834 | 62k| 25 | 0 | 0 |-2.381482e+02 |-5.000000e+01 | 79.00%
1277.14/1277.14 c 1277s| 1 | 0 |253757 | - | 113M| 0 |1822 |1834 | 62k|1834 | 62k| 31 | 0 | 0 |-2.350977e+02 |-5.000000e+01 | 78.73%
1491.34/1491.36 c 1491s| 1 | 0 |292011 | - | 119M| 0 |1825 |1834 | 62k|1834 | 62k| 80 | 0 | 0 |-2.303658e+02 |-5.000000e+01 | 78.30%
1654.95/1654.94 c 1655s| 1 | 0 |327690 | - | 126M| 0 |1827 |1834 | 62k|1834 | 62k| 89 | 0 | 0 |-2.287458e+02 |-5.000000e+01 | 78.14%
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-3484712-1307790134/watcher-3484712-1307790134 -o /tmp/evaluation-result-3484712-1307790134/solver-3484712-1307790134 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3484712-1307790134.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.97 3/174 2248
/proc/meminfo: memFree=31421240/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=5144 CPUtime=0 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 280 0 0 0 0 0 0 0 25 0 1 0 890613891 5267456 235 33554432000 4194304 8979876 140733309569680 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2248/statm: 1286 237 180 1169 0 113 0
[startup+0.0398879 s]
/proc/loadavg: 2.00 2.00 1.97 3/174 2248
/proc/meminfo: memFree=31421240/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=14348 CPUtime=0.03 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 2583 0 0 0 3 0 0 0 25 0 1 0 890613891 14692352 2538 33554432000 4194304 8979876 140733309569680 18446744073709551615 7807857 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2248/statm: 3587 2538 366 1169 0 2414 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14348
[startup+0.100872 s]
/proc/loadavg: 2.00 2.00 1.97 3/174 2248
/proc/meminfo: memFree=31421240/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=17016 CPUtime=0.09 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 3265 0 0 0 9 0 0 0 25 0 1 0 890613891 17424384 3220 33554432000 4194304 8979876 140733309569680 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2248/statm: 4254 3220 366 1169 0 3081 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17016
[startup+0.300841 s]
/proc/loadavg: 2.00 2.00 1.97 3/174 2248
/proc/meminfo: memFree=31421240/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=28284 CPUtime=0.28 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 6082 0 0 0 28 0 0 0 25 0 1 0 890613891 28962816 6037 33554432000 4194304 8979876 140733309569680 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2248/statm: 7071 6037 366 1169 0 5898 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 28284
[startup+0.700769 s]
/proc/loadavg: 2.00 2.00 1.97 3/174 2248
/proc/meminfo: memFree=31421240/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=99916 CPUtime=0.68 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 28689 0 0 0 65 3 0 0 25 0 1 0 890613891 102313984 23640 33554432000 4194304 8979876 140733309569680 18446744073709551615 4320263 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 24979 23640 506 1169 0 23806 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 99916
[startup+1.50062 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 2249
/proc/meminfo: memFree=31292168/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=208628 CPUtime=1.49 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 55481 0 0 0 142 7 0 0 18 0 1 0 890613891 213635072 46500 33554432000 4194304 8979876 140733309569680 18446744073709551615 6937192 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 52157 46500 824 1169 0 50984 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 208628
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 2249
/proc/meminfo: memFree=31220372/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=221244 CPUtime=3.09 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 62546 0 0 0 301 8 0 0 21 0 1 0 890613891 226553856 52419 33554432000 4194304 8979876 140733309569680 18446744073709551615 7146626 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 55311 52419 738 1169 0 54138 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 221244
[startup+6.30073 s]
/proc/loadavg: 2.08 2.02 1.97 3/175 2249
/proc/meminfo: memFree=31213368/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=221244 CPUtime=6.29 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 62558 0 0 0 621 8 0 0 25 0 1 0 890613891 226553856 52431 33554432000 4194304 8979876 140733309569680 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 55311 52431 738 1169 0 54138 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 221244
[startup+12.7005 s]
/proc/loadavg: 2.07 2.02 1.97 3/175 2296
/proc/meminfo: memFree=31183804/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=232068 CPUtime=12.68 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 64267 0 0 0 1259 9 0 0 25 0 1 0 890613891 237637632 54140 33554432000 4194304 8979876 140733309569680 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 58017 54140 742 1169 0 56844 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 232068
[startup+25.5012 s]
/proc/loadavg: 2.06 2.01 1.97 3/175 2297
/proc/meminfo: memFree=31171640/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=239120 CPUtime=25.49 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 64652 0 0 0 2539 10 0 0 25 0 1 0 890613891 244858880 54467 33554432000 4194304 8979876 140733309569680 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 59780 54467 684 1169 0 58607 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 239120
[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 1.97 3/175 2297
/proc/meminfo: memFree=31170340/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=239120 CPUtime=51.09 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 64677 0 0 0 5097 12 0 0 25 0 1 0 890613891 244858880 54492 33554432000 4194304 8979876 140733309569680 18446744073709551615 7146622 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 59780 54492 684 1169 0 58607 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 239120
[startup+102.306 s]
/proc/loadavg: 2.01 2.01 1.97 3/175 2301
/proc/meminfo: memFree=31170336/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=239120 CPUtime=102.3 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 64692 0 0 0 10214 16 0 0 25 0 1 0 890613891 244858880 54507 33554432000 4194304 8979876 140733309569680 18446744073709551615 7147088 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 59780 54507 684 1169 0 58607 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 239120
[startup+162.301 s]
/proc/loadavg: 2.04 2.02 1.98 3/175 2305
/proc/meminfo: memFree=31170780/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=239120 CPUtime=162.29 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 64702 0 0 0 16210 19 0 0 25 0 1 0 890613891 244858880 54517 33554432000 4194304 8979876 140733309569680 18446744073709551615 7146482 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 59780 54517 684 1169 0 58607 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 239120
[startup+222.301 s]
/proc/loadavg: 2.01 2.01 1.98 3/175 2307
/proc/meminfo: memFree=31171968/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=231612 CPUtime=222.29 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 68601 0 0 0 22205 24 0 0 25 0 1 0 890613891 237170688 55749 33554432000 4194304 8979876 140733309569680 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 57903 55749 761 1169 0 56730 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 231612
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/175 2308
/proc/meminfo: memFree=31161004/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=244128 CPUtime=282.29 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 71143 0 0 0 28197 32 0 0 25 0 1 0 890613891 249987072 58215 33554432000 4194304 8979876 140733309569680 18446744073709551615 6553576 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 61032 58215 687 1169 0 59859 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 244128
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 2310
/proc/meminfo: memFree=31161072/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=247796 CPUtime=342.3 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 76449 0 0 0 34191 39 0 0 25 0 1 0 890613891 253743104 59098 33554432000 4194304 8979876 140733309569680 18446744073709551615 7147384 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 61949 59098 1695 1169 0 60776 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 247796
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 2312
/proc/meminfo: memFree=31157048/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=247796 CPUtime=402.3 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 76453 0 0 0 40187 43 0 0 25 0 1 0 890613891 253743104 59102 33554432000 4194304 8979876 140733309569680 18446744073709551615 7179444 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 61949 59102 1695 1169 0 60776 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 247796
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 2313
/proc/meminfo: memFree=31156764/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=247796 CPUtime=462.31 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 76454 0 0 0 46183 48 0 0 25 0 1 0 890613891 253743104 59103 33554432000 4194304 8979876 140733309569680 18446744073709551615 7146144 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 61949 59103 1695 1169 0 60776 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 247796
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 2315
/proc/meminfo: memFree=31164520/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=238888 CPUtime=522.31 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 77763 0 0 0 52178 53 0 0 25 0 1 0 890613891 244621312 56329 33554432000 4194304 8979876 140733309569680 18446744073709551615 7146482 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 59722 56329 822 1169 0 58549 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 238888
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 2316
/proc/meminfo: memFree=31145632/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=255124 CPUtime=582.31 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 82445 0 0 0 58172 59 0 0 25 0 1 0 890613891 261246976 60912 33554432000 4194304 8979876 140733309569680 18446744073709551615 7089878 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 63781 60912 2078 1169 0 62608 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 255124
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 2323
/proc/meminfo: memFree=31139508/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=255124 CPUtime=822.31 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 84072 0 0 0 82150 81 0 0 25 0 1 0 890613891 261246976 61896 33554432000 4194304 8979876 140733309569680 18446744073709551615 6888511 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 63781 61896 1435 1169 0 62608 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 255124
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 2324
/proc/meminfo: memFree=31126448/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=274776 CPUtime=882.31 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 88448 0 0 0 88143 88 0 0 25 0 1 0 890613891 281370624 65647 33554432000 4194304 8979876 140733309569680 18446744073709551615 7146482 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 68694 65647 2053 1169 0 67521 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 274776
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 2326
/proc/meminfo: memFree=31124912/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=274776 CPUtime=942.32 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 88511 0 0 0 94140 92 0 0 25 0 1 0 890613891 281370624 65647 33554432000 4194304 8979876 140733309569680 18446744073709551615 7146332 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 68694 65647 1990 1169 0 67521 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 274776
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 2328
/proc/meminfo: memFree=31124356/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=274776 CPUtime=1002.32 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 88513 0 0 0 100137 95 0 0 25 0 1 0 890613891 281370624 65649 33554432000 4194304 8979876 140733309569680 18446744073709551615 7146513 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 68694 65649 1990 1169 0 67521 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 274776
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 2329
/proc/meminfo: memFree=31120832/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=274776 CPUtime=1062.32 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 89290 0 0 0 106131 101 0 0 25 0 1 0 890613891 281370624 66325 33554432000 4194304 8979876 140733309569680 18446744073709551615 6937417 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 68694 66325 1889 1169 0 67521 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 274776
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 2331
/proc/meminfo: memFree=31120168/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=274776 CPUtime=1122.32 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 89424 0 0 0 112127 105 0 0 25 0 1 0 890613891 281370624 66459 33554432000 4194304 8979876 140733309569680 18446744073709551615 6820799 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 68694 66459 1889 1169 0 67521 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 274776
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 2332
/proc/meminfo: memFree=31109584/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=274776 CPUtime=1182.33 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 89617 0 0 0 118123 110 0 0 25 0 1 0 890613891 281370624 66620 33554432000 4194304 8979876 140733309569680 18446744073709551615 7146472 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 68694 66620 1857 1169 0 67521 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 274776
[startup+1242.3 s]
/proc/loadavg: 2.09 2.03 1.99 3/175 2334
/proc/meminfo: memFree=31108544/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=274776 CPUtime=1242.33 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 89618 0 0 0 124120 113 0 0 25 0 1 0 890613891 281370624 66621 33554432000 4194304 8979876 140733309569680 18446744073709551615 7146602 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 68694 66621 1857 1169 0 67521 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 274776
[startup+1302.3 s]
/proc/loadavg: 2.03 2.02 1.99 3/175 2336
/proc/meminfo: memFree=31089524/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=274776 CPUtime=1302.33 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 91693 0 0 0 130113 120 0 0 25 0 1 0 890613891 281370624 67503 33554432000 4194304 8979876 140733309569680 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 68694 67503 1133 1169 0 67521 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 274776
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/175 2337
/proc/meminfo: memFree=31086764/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=283556 CPUtime=1362.34 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 93925 0 0 0 136107 127 0 0 25 0 1 0 890613891 290361344 69352 33554432000 4194304 8979876 140733309569680 18446744073709551615 7147358 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 70889 69352 751 1169 0 69716 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 283556
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 1.99 3/175 2339
/proc/meminfo: memFree=31069224/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=283556 CPUtime=1422.34 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 93927 0 0 0 142103 131 0 0 25 0 1 0 890613891 290361344 69353 33554432000 4194304 8979876 140733309569680 18446744073709551615 7145195 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 70889 69353 750 1169 0 69716 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 283556
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 2340
/proc/meminfo: memFree=31069172/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=283556 CPUtime=1482.33 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 93927 0 0 0 148098 135 0 0 25 0 1 0 890613891 290361344 69353 33554432000 4194304 8979876 140733309569680 18446744073709551615 7146609 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 70889 69353 750 1169 0 69716 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 283556
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 2342
/proc/meminfo: memFree=31058104/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=297620 CPUtime=1542.34 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 96562 0 0 0 154092 142 0 0 25 0 1 0 890613891 304762880 71931 33554432000 4194304 8979876 140733309569680 18446744073709551615 7156024 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 74405 71931 695 1169 0 73232 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 297620
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 2344
/proc/meminfo: memFree=31068352/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=297620 CPUtime=1602.34 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 96566 0 0 0 160087 147 0 0 25 0 1 0 890613891 304762880 71935 33554432000 4194304 8979876 140733309569680 18446744073709551615 7179822 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 74405 71935 695 1169 0 73232 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 297620
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 2345
/proc/meminfo: memFree=31067676/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=297620 CPUtime=1662.34 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 96566 0 0 0 166084 150 0 0 25 0 1 0 890613891 304762880 71935 33554432000 4194304 8979876 140733309569680 18446744073709551615 6601243 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 74405 71935 695 1169 0 73232 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 297620
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 2347
/proc/meminfo: memFree=31046056/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=297620 CPUtime=1722.35 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 97846 0 0 0 172077 158 0 0 25 0 1 0 890613891 304762880 73215 33554432000 4194304 8979876 140733309569680 18446744073709551615 7146482 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 74405 73215 695 1169 0 73232 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 297620
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 2348
/proc/meminfo: memFree=31043532/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=297620 CPUtime=1782.35 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 97846 0 0 0 178073 162 0 0 25 0 1 0 890613891 304762880 73215 33554432000 4194304 8979876 140733309569680 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 74405 73215 695 1169 0 73232 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 297620
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 2349
/proc/meminfo: memFree=31043392/32951124 swapFree=67064368/67111528
[pid=2248] ppid=2246 vsize=297620 CPUtime=1800.05 cores=0,2,4,6
/proc/2248/stat : 2248 (scip-2.0.1.4_2.) R 2246 2248 1656 0 -1 4202496 97846 0 0 0 179843 162 0 0 25 0 1 0 890613891 304762880 73215 33554432000 4194304 8979876 140733309569680 18446744073709551615 7146602 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2248/statm: 74405 73215 695 1169 0 73232 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 297620
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.08
CPU user time (s): 1798.43
CPU system time (s): 1.64275
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 297620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.43
system time used= 1.64275
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97846
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= 3575
runsolver used 2.6336 second user time and 5.56115 second system time
The end