0.00/0.00 c SCIP version 2.0.1.4 [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-3452369-1307109962.opb>
0.00/0.02 c original problem has 400 variables (400 bin, 0 int, 0 impl, 0 cont) and 601 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.05 o 0
0.00/0.05 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.05 c presolving:
0.09/0.11 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 600 upgd conss, 50128 impls, 400 clqs
0.09/0.19 c (0.2s) probing: 101/6616 (1.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.09/0.19 c presolving (2 rounds):
0.09/0.19 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19 c 50128 implications, 400 cliques
0.09/0.19 c presolved problem has 6616 variables (6616 bin, 0 int, 0 impl, 0 cont) and 6817 constraints
0.09/0.19 c 600 constraints of type <setppc>
0.09/0.19 c 6216 constraints of type <and>
0.09/0.19 c 1 constraints of type <linear>
0.09/0.19 c transformed objective value is always integral (scale: 1)
0.09/0.19 c Presolving Time: 0.17
0.09/0.19 c - non default parameters ----------------------------------------------------------------------
0.09/0.19 c # SCIP version 2.0.1.4
0.09/0.19 c
0.09/0.19 c # frequency for displaying node information lines
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19 c display/freq = 10000
0.09/0.19 c
0.09/0.19 c # maximal time in seconds to run
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/time = 1800
0.09/0.19 c
0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/memory = 13950
0.09/0.19 c
0.09/0.19 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.19 c # [type: int, range: [1,2], default: 1]
0.09/0.19 c timing/clocktype = 2
0.09/0.19 c
0.09/0.19 c # belongs reading time to solving time?
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c timing/reading = TRUE
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify inequalities
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/linear/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/indicator/addCouplingCons = TRUE
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify knapsacks
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c separating/rapidlearning/freq = 0
0.09/0.19 c
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c start solving
0.09/0.19 c
6.69/6.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.69/6.76 c t 6.8s| 1 | 0 | 8450 | - | 28M| 0 |3624 |6616 |6817 |6616 | 13k| 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
6.69/6.77 o -7
6.69/6.77 c s 6.8s| 1 | 0 | 8450 | - | 28M| 0 |3624 |6616 |6817 |6616 | 13k| 0 | 0 | 0 |-1.000000e+02 |-7.000000e+00 | 93.00%
25.40/25.49 o -8
25.40/25.49 c U25.5s| 1 | 0 | 8450 | - | 29M| 0 |3624 |6616 |6819 |6616 | 13k| 0 | 1 | 0 |-1.000000e+02 |-8.000000e+00 | 92.00%
30.60/30.62 c 30.6s| 1 | 0 | 9475 | - | 30M| 0 |3593 |6616 |6820 |6616 | 13k| 111 | 1 | 0 |-1.000000e+02 |-8.000000e+00 | 92.00%
38.40/38.47 c 38.5s| 1 | 0 | 15789 | - | 30M| 0 |3524 |6616 |6820 |6616 | 13k| 139 | 1 | 0 |-1.000000e+02 |-8.000000e+00 | 92.00%
49.89/49.90 c 49.9s| 1 | 0 | 26385 | - | 30M| 0 |3546 |6616 |6820 |6616 | 13k| 182 | 1 | 0 |-1.000000e+02 |-8.000000e+00 | 92.00%
65.09/65.11 c 65.1s| 1 | 0 | 39511 | - | 30M| 0 |3475 |6616 |6820 |6616 | 13k| 258 | 1 | 0 |-1.000000e+02 |-8.000000e+00 | 92.00%
78.69/78.79 c 78.8s| 1 | 0 | 51842 | - | 30M| 0 |3556 |6616 |6820 |6616 | 13k| 341 | 1 | 0 |-1.000000e+02 |-8.000000e+00 | 92.00%
89.19/89.22 c 89.2s| 1 | 0 | 61944 | - | 30M| 0 |3478 |6616 |6820 |6616 | 13k| 377 | 1 | 0 |-1.000000e+02 |-8.000000e+00 | 92.00%
101.29/101.38 c 101s| 1 | 2 | 61944 | - | 30M| 0 |3478 |6616 |6820 |6616 | 13k| 377 | 1 | 11 |-1.000000e+02 |-8.000000e+00 | 92.00%
1280.63/1280.68 o -23
1280.63/1280.68 c l1281s| 38 | 39 | 2329k|61277.5 | 33M| 7 | - |6616 |7002 |6616 |6026 | 17k| 183 | 555 |-9.960933e+01 |-2.300000e+01 | 76.91%
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-3452369-1307109962/watcher-3452369-1307109962 -o /tmp/evaluation-result-3452369-1307109962/solver-3452369-1307109962 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452369-1307109962.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.01 2.00 2/483 13239
/proc/meminfo: memFree=24876636/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=10444 CPUtime=0 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 1629 0 0 0 0 0 0 0 22 0 1 0 901226900 10694656 1582 33554432000 4194304 9128323 140733393398912 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13239/statm: 2611 1582 401 1205 0 1402 0
[startup+0.071419 s]
/proc/loadavg: 2.00 2.01 2.00 2/483 13239
/proc/meminfo: memFree=24876636/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=31992 CPUtime=0.06 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 6730 0 0 0 6 0 0 0 22 0 1 0 901226900 32759808 6682 33554432000 4194304 9128323 140733393398912 18446744073709551615 8008930 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 7998 6682 498 1205 0 6789 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 31992
[startup+0.100445 s]
/proc/loadavg: 2.00 2.01 2.00 2/483 13239
/proc/meminfo: memFree=24876636/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=32840 CPUtime=0.09 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 7215 0 0 0 9 0 0 0 22 0 1 0 901226900 33628160 6910 33554432000 4194304 9128323 140733393398912 18446744073709551615 4816407 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 8210 6910 514 1205 0 7001 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32840
[startup+0.300436 s]
/proc/loadavg: 2.00 2.01 2.00 2/483 13239
/proc/meminfo: memFree=24876636/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=66444 CPUtime=0.29 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 15710 0 0 0 27 2 0 0 22 0 1 0 901226900 68038656 14989 33554432000 4194304 9128323 140733393398912 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 16611 14989 643 1205 0 15402 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 66444
[startup+0.700363 s]
/proc/loadavg: 2.00 2.01 2.00 2/483 13239
/proc/meminfo: memFree=24876636/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=70628 CPUtime=0.69 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 17118 0 0 0 67 2 0 0 24 0 1 0 901226900 72323072 16204 33554432000 4194304 9128323 140733393398912 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 17657 16204 645 1205 0 16448 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 70628
[startup+1.50016 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 13240
/proc/meminfo: memFree=24779524/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=73004 CPUtime=1.49 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 17599 0 0 0 146 3 0 0 25 0 1 0 901226900 74756096 16682 33554432000 4194304 9128323 140733393398912 18446744073709551615 7315610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 18251 16682 686 1205 0 17042 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 73004
[startup+3.10086 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 13240
/proc/meminfo: memFree=24776672/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=73004 CPUtime=3.09 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 17758 0 0 0 305 4 0 0 25 0 1 0 901226900 74756096 16800 33554432000 4194304 9128323 140733393398912 18446744073709551615 7315689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 18251 16800 645 1205 0 17042 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 73004
[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 13240
/proc/meminfo: memFree=24774884/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=73948 CPUtime=6.29 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 18043 0 0 0 624 5 0 0 25 0 1 0 901226900 75722752 17085 33554432000 4194304 9128323 140733393398912 18446744073709551615 7315713 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 18487 17085 645 1205 0 17278 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 73948
[startup+12.7002 s]
/proc/loadavg: 2.08 2.02 2.01 3/484 13241
/proc/meminfo: memFree=24728644/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=117756 CPUtime=12.7 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 38569 0 0 0 1246 24 0 0 25 0 1 0 901226900 120582144 28390 33554432000 4194304 9128323 140733393398912 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 29439 28390 731 1205 0 28230 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 117756
[startup+25.5008 s]
/proc/loadavg: 2.07 2.02 2.00 3/484 13241
/proc/meminfo: memFree=24729368/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=25.49 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43231 0 0 0 2508 41 0 0 25 0 1 0 901226900 130490368 30661 33554432000 4194304 9128323 140733393398912 18446744073709551615 6890232 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30661 734 1205 0 30649 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 127432
[startup+51.1001 s]
/proc/loadavg: 2.04 2.02 2.00 3/484 13242
/proc/meminfo: memFree=24720472/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=51.1 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43362 0 0 0 5056 54 0 0 25 0 1 0 901226900 130490368 30785 33554432000 4194304 9128323 140733393398912 18446744073709551615 6482032 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30785 768 1205 0 30649 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 127432
[startup+102.318 s]
/proc/loadavg: 2.02 2.02 2.00 3/484 13243
/proc/meminfo: memFree=24717532/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=102.32 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43381 0 0 0 10154 78 0 0 25 0 1 0 901226900 130490368 30798 33554432000 4194304 9128323 140733393398912 18446744073709551615 7286040 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30798 770 1205 0 30649 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 127432
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 13245
/proc/meminfo: memFree=24706828/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=162.3 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43381 0 0 0 16087 143 0 0 25 0 1 0 901226900 130490368 30798 33554432000 4194304 9128323 140733393398912 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30798 770 1205 0 30649 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 127432
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 13246
/proc/meminfo: memFree=24676384/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=222.3 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43381 0 0 0 22021 209 0 0 25 0 1 0 901226900 130490368 30798 33554432000 4194304 9128323 140733393398912 18446744073709551615 6713568 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30798 770 1205 0 30649 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 127432
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 13248
/proc/meminfo: memFree=24663964/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=282.3 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43381 0 0 0 27958 272 0 0 25 0 1 0 901226900 130490368 30798 33554432000 4194304 9128323 140733393398912 18446744073709551615 7279223 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30798 770 1205 0 30649 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 127432
[startup+342.301 s]
/proc/loadavg: 2.08 2.02 2.01 3/484 13276
/proc/meminfo: memFree=24700036/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=342.3 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43381 0 0 0 33896 334 0 0 25 0 1 0 901226900 130490368 30798 33554432000 4194304 9128323 140733393398912 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30798 770 1205 0 30649 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 127432
[startup+402.301 s]
/proc/loadavg: 2.11 2.03 2.01 3/484 13278
/proc/meminfo: memFree=24638420/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=402.3 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43381 0 0 0 39831 399 0 0 25 0 1 0 901226900 130490368 30798 33554432000 4194304 9128323 140733393398912 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30798 770 1205 0 30649 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 127432
[startup+462.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/484 13280
/proc/meminfo: memFree=24614376/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=462.3 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43381 0 0 0 45771 459 0 0 25 0 1 0 901226900 130490368 30798 33554432000 4194304 9128323 140733393398912 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30798 770 1205 0 30649 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 127432
[startup+522.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/484 13281
/proc/meminfo: memFree=24568176/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=522.3 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43381 0 0 0 51720 510 0 0 25 0 1 0 901226900 130490368 30798 33554432000 4194304 9128323 140733393398912 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30798 770 1205 0 30649 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 127432
[startup+582.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/484 13283
/proc/meminfo: memFree=24568244/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=582.31 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43381 0 0 0 57663 568 0 0 25 0 1 0 901226900 130490368 30798 33554432000 4194304 9128323 140733393398912 18446744073709551615 7320064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30798 770 1205 0 30649 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 127432
[startup+642.301 s]
################
# More data... #
################
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43381 0 0 0 99287 946 0 0 25 0 1 0 901226900 130490368 30798 33554432000 4194304 9128323 140733393398912 18446744073709551615 6941934 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30798 770 1205 0 30649 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 127432
[startup+1062.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/484 13296
/proc/meminfo: memFree=24641328/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=1062.33 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43381 0 0 0 105237 996 0 0 25 0 1 0 901226900 130490368 30798 33554432000 4194304 9128323 140733393398912 18446744073709551615 7315263 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30798 770 1205 0 30649 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 127432
[startup+1122.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/484 13297
/proc/meminfo: memFree=24641628/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=1122.32 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43382 0 0 0 111190 1042 0 0 25 0 1 0 901226900 130490368 30799 33554432000 4194304 9128323 140733393398912 18446744073709551615 7278888 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30799 771 1205 0 30649 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 127432
[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/484 13299
/proc/meminfo: memFree=24641456/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=1182.33 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43382 0 0 0 117136 1097 0 0 25 0 1 0 901226900 130490368 30799 33554432000 4194304 9128323 140733393398912 18446744073709551615 7316170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30799 771 1205 0 30649 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 127432
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 13300
/proc/meminfo: memFree=24641272/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=1242.33 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43382 0 0 0 123082 1151 0 0 25 0 1 0 901226900 130490368 30799 33554432000 4194304 9128323 140733393398912 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30799 771 1205 0 30649 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 127432
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 13302
/proc/meminfo: memFree=24641720/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=1302.34 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43382 0 0 0 129026 1208 0 0 25 0 1 0 901226900 130490368 30799 33554432000 4194304 9128323 140733393398912 18446744073709551615 7267694 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30799 771 1205 0 30649 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 127432
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 13304
/proc/meminfo: memFree=24641184/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=1362.33 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43382 0 0 0 134965 1268 0 0 25 0 1 0 901226900 130490368 30799 33554432000 4194304 9128323 140733393398912 18446744073709551615 6941042 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30799 771 1205 0 30649 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 127432
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 13305
/proc/meminfo: memFree=24642020/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=1422.36 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43382 0 0 0 140889 1347 0 0 25 0 1 0 901226900 130490368 30799 33554432000 4194304 9128323 140733393398912 18446744073709551615 7192200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30799 771 1205 0 30649 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 127432
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/484 13307
/proc/meminfo: memFree=24642072/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=1482.34 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43382 0 0 0 146826 1408 0 0 25 0 1 0 901226900 130490368 30799 33554432000 4194304 9128323 140733393398912 18446744073709551615 7083066 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30799 771 1205 0 30649 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 127432
[startup+1542.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/484 13308
/proc/meminfo: memFree=24641532/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=1542.34 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43382 0 0 0 152775 1459 0 0 25 0 1 0 901226900 130490368 30799 33554432000 4194304 9128323 140733393398912 18446744073709551615 7286095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30799 771 1205 0 30649 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 127432
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/484 13310
/proc/meminfo: memFree=24641716/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=1602.34 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43382 0 0 0 158726 1508 0 0 25 0 1 0 901226900 130490368 30799 33554432000 4194304 9128323 140733393398912 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30799 771 1205 0 30649 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 127432
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/484 13312
/proc/meminfo: memFree=24641036/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=1662.35 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43382 0 0 0 164643 1592 0 0 25 0 1 0 901226900 130490368 30799 33554432000 4194304 9128323 140733393398912 18446744073709551615 7326061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30799 771 1205 0 30649 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 127432
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 13313
/proc/meminfo: memFree=24640956/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=1722.35 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43382 0 0 0 170580 1655 0 0 25 0 1 0 901226900 130490368 30799 33554432000 4194304 9128323 140733393398912 18446744073709551615 7313273 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30799 771 1205 0 30649 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 127432
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 13315
/proc/meminfo: memFree=24640152/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=1782.34 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43382 0 0 0 176518 1716 0 0 25 0 1 0 901226900 130490368 30799 33554432000 4194304 9128323 140733393398912 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30799 771 1205 0 30649 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 127432
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 13315
/proc/meminfo: memFree=24640636/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=1800.05 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43382 0 0 0 178277 1728 0 0 25 0 1 0 901226900 130490368 30799 33554432000 4194304 9128323 140733393398912 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30799 771 1205 0 30649 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 127432
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -13239
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/485 13316
/proc/meminfo: memFree=24640128/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=1801.45 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43382 0 0 0 178415 1730 0 0 25 0 1 0 901226900 130490368 30799 33554432000 4194304 9128323 140733393398912 18446744073709551615 7315234 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30799 771 1205 0 30649 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 127432
[startup+1801.82 s]
/proc/loadavg: 2.00 2.00 2.00 3/485 13316
/proc/meminfo: memFree=24640128/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=1801.87 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43382 0 0 0 178457 1730 0 0 25 0 1 0 901226900 130490368 30799 33554432000 4194304 9128323 140733393398912 18446744073709551615 7315680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30799 771 1205 0 30649 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 127432
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/485 13316
/proc/meminfo: memFree=24640128/32950928 swapFree=61542356/67111528
[pid=13239] ppid=13237 vsize=127432 CPUtime=1802.05 cores=1,3,5,7
/proc/13239/stat : 13239 (scip-2.0.1.4.li) R 13237 13239 12040 0 -1 4202496 43382 0 0 0 178475 1730 0 0 25 0 1 0 901226900 130490368 30799 33554432000 4194304 9128323 140733393398912 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13239/statm: 31858 30799 771 1205 0 30649 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 127432
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.03
CPU time (s): 1802.08
CPU user time (s): 1784.77
CPU system time (s): 17.3094
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 127432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.77
system time used= 17.3094
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43382
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= 4
involuntary context switches= 2683
runsolver used 8.07877 second user time and 19.824 second system time
The end