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-3452467-1307101030.opb>
2.69/2.73 c original problem has 99789 variables (99789 bin, 0 int, 0 impl, 0 cont) and 388956 constraints
2.69/2.73 c problem read
2.69/2.73 c presolving settings loaded
4.09/4.13 c presolving:
6.09/6.16 c (round 1) 3085 del vars, 6113 del conss, 0 add conss, 5 chg bounds, 26 chg sides, 30 chg coeffs, 0 upgd conss, 3505402 impls, 0 clqs
6.19/6.23 c (round 2) 3085 del vars, 6191 del conss, 0 add conss, 5 chg bounds, 26 chg sides, 30 chg coeffs, 0 upgd conss, 3505402 impls, 0 clqs
7.59/7.67 c (round 3) 3085 del vars, 6195 del conss, 0 add conss, 5 chg bounds, 26 chg sides, 30 chg coeffs, 382761 upgd conss, 3505402 impls, 0 clqs
42.50/42.50 c (42.5s) probing: 587/96704 (0.6%) - 0 fixings, 2 aggregations, 128235 implications, 0 bound changes
42.50/42.50 c (42.5s) probing aborted: 100/100 successive totally useless probings
42.50/42.51 c presolving (4 rounds):
42.50/42.51 c 3087 deleted vars, 6195 deleted constraints, 0 added constraints, 5 tightened bounds, 0 added holes, 26 changed sides, 30 changed coefficients
42.50/42.51 c 3759128 implications, 0 cliques
42.50/42.51 c presolved problem has 96702 variables (96702 bin, 0 int, 0 impl, 0 cont) and 382761 constraints
42.50/42.51 c 1 constraints of type <knapsack>
42.50/42.51 c 289186 constraints of type <setppc>
42.50/42.51 c 93574 constraints of type <logicor>
42.50/42.51 c transformed objective value is always integral (scale: 1)
42.50/42.51 c Presolving Time: 39.42
42.50/42.51 c - non default parameters ----------------------------------------------------------------------
42.50/42.51 c # SCIP version 2.0.1.4
42.50/42.51 c
42.50/42.51 c # frequency for displaying node information lines
42.50/42.51 c # [type: int, range: [-1,2147483647], default: 100]
42.50/42.51 c display/freq = 10000
42.50/42.51 c
42.50/42.51 c # maximal time in seconds to run
42.50/42.51 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
42.50/42.51 c limits/time = 1800
42.50/42.51 c
42.50/42.51 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
42.50/42.51 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
42.50/42.51 c limits/memory = 13950
42.50/42.51 c
42.50/42.51 c # default clock type (1: CPU user seconds, 2: wall clock time)
42.50/42.51 c # [type: int, range: [1,2], default: 1]
42.50/42.51 c timing/clocktype = 2
42.50/42.51 c
42.50/42.51 c # belongs reading time to solving time?
42.50/42.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
42.50/42.51 c timing/reading = TRUE
42.50/42.51 c
42.50/42.51 c # should presolving try to simplify inequalities
42.50/42.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
42.50/42.51 c constraints/linear/simplifyinequalities = TRUE
42.50/42.51 c
42.50/42.51 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
42.50/42.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
42.50/42.51 c constraints/indicator/addCouplingCons = TRUE
42.50/42.51 c
42.50/42.51 c # should presolving try to simplify knapsacks
42.50/42.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
42.50/42.51 c constraints/knapsack/simplifyinequalities = TRUE
42.50/42.51 c
42.50/42.51 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
42.50/42.51 c # [type: int, range: [-1,2147483647], default: -1]
42.50/42.51 c separating/rapidlearning/freq = 0
42.50/42.51 c
42.50/42.51 c -----------------------------------------------------------------------------------------------
42.50/42.51 c start solving
42.50/42.54 c
750.62/750.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
750.62/750.68 c 751s| 1 | 0 | 46397 | - | 742M| 0 | 11k| 96k| 382k| 96k| 382k| 0 | 98 | 0 | 1.050432e+01 | -- | Inf
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-3452467-1307101030/watcher-3452467-1307101030 -o /tmp/evaluation-result-3452467-1307101030/solver-3452467-1307101030 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452467-1307101030.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.01 2.00 2/373 10014
/proc/meminfo: memFree=21504796/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=12648 CPUtime=0 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 2162 0 0 0 0 0 0 0 25 0 1 0 821703483 12951552 2114 33554432000 4194304 9128323 140733536363968 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10014/statm: 3162 2114 400 1205 0 1953 0
[startup+0.10252 s]
/proc/loadavg: 2.00 2.01 2.00 2/373 10014
/proc/meminfo: memFree=21504796/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=23092 CPUtime=0.09 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 4800 0 0 0 9 0 0 0 25 0 1 0 821703483 23646208 4750 33554432000 4194304 9128323 140733536363968 18446744073709551615 4798404 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10014/statm: 5773 4750 400 1205 0 4564 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23092
[startup+0.200515 s]
/proc/loadavg: 2.00 2.01 2.00 2/373 10014
/proc/meminfo: memFree=21504796/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=29524 CPUtime=0.19 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 6406 0 0 0 18 1 0 0 25 0 1 0 821703483 30232576 6354 33554432000 4194304 9128323 140733536363968 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10014/statm: 7381 6354 400 1205 0 6172 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29524
[startup+0.300477 s]
/proc/loadavg: 2.00 2.01 2.00 2/373 10014
/proc/meminfo: memFree=21504796/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=35384 CPUtime=0.29 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 7870 0 0 0 28 1 0 0 25 0 1 0 821703483 36233216 7817 33554432000 4194304 9128323 140733536363968 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10014/statm: 8846 7817 400 1205 0 7637 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35384
[startup+0.700399 s]
/proc/loadavg: 2.00 2.01 2.00 2/373 10014
/proc/meminfo: memFree=21504796/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=61464 CPUtime=0.69 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 14379 0 0 0 68 1 0 0 25 0 1 0 821703483 62939136 14320 33554432000 4194304 9128323 140733536363968 18446744073709551615 4437287 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10014/statm: 15366 14320 400 1205 0 14157 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 61464
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 10015
/proc/meminfo: memFree=21422700/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=114568 CPUtime=1.49 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 27644 0 0 0 146 3 0 0 25 0 1 0 821703483 117317632 27570 33554432000 4194304 9128323 140733536363968 18446744073709551615 7961707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10014/statm: 28642 27570 400 1205 0 27433 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 114568
[startup+3.10097 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 10015
/proc/meminfo: memFree=21350656/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=407372 CPUtime=3.09 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 100671 0 0 0 296 13 0 0 25 0 1 0 821703483 417148928 100483 33554432000 4194304 9128323 140733536363968 18446744073709551615 4692805 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 101843 100483 458 1205 0 100634 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 407372
[startup+6.30035 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 10015
/proc/meminfo: memFree=20861740/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=745848 CPUtime=6.29 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 201232 0 0 0 605 24 0 0 25 0 1 0 821703483 763748352 180604 33554432000 4194304 9128323 140733536363968 18446744073709551615 8009021 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 186462 180654 522 1205 0 185253 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 745848
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 10015
/proc/meminfo: memFree=20761912/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=761916 CPUtime=12.69 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 246416 0 0 0 1238 31 0 0 25 0 1 0 821703483 780201984 185740 33554432000 4194304 9128323 140733536363968 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 190479 185740 603 1205 0 189270 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 761916
[startup+25.5009 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 10016
/proc/meminfo: memFree=20734520/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=774008 CPUtime=25.49 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 249122 0 0 0 2518 31 0 0 25 0 1 0 821703483 792584192 188446 33554432000 4194304 9128323 140733536363968 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 193502 188446 603 1205 0 192293 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 774008
[startup+51.1012 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 10016
/proc/meminfo: memFree=20376724/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1160612 CPUtime=51.1 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 347128 0 0 0 5068 42 0 0 25 0 1 0 821703483 1188466688 277752 33554432000 4194304 9128323 140733536363968 18446744073709551615 6526643 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 290153 277752 655 1205 0 288944 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 1160612
[startup+102.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/374 10018
/proc/meminfo: memFree=20111196/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1478684 CPUtime=102.3 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 418392 0 0 0 10180 50 0 0 25 0 1 0 821703483 1514172416 344076 33554432000 4194304 9128323 140733536363968 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 369671 344076 705 1205 0 368462 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1478684
[startup+162.301 s]
/proc/loadavg: 2.12 2.04 2.01 3/374 10019
/proc/meminfo: memFree=19982836/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1531704 CPUtime=162.29 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 475906 0 0 0 16170 59 0 0 25 0 1 0 821703483 1568464896 359996 33554432000 4194304 9128323 140733536363968 18446744073709551615 7316118 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 382926 359996 709 1205 0 381717 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1531704
[startup+222.314 s]
/proc/loadavg: 2.09 2.05 2.01 3/374 10021
/proc/meminfo: memFree=19941144/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1584204 CPUtime=222.31 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 628074 0 0 0 22149 82 0 0 25 0 1 0 821703483 1622224896 370366 33554432000 4194304 9128323 140733536363968 18446744073709551615 7316114 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 396051 370366 709 1205 0 394842 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 1584204
[startup+282.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/374 10023
/proc/meminfo: memFree=19966908/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1584204 CPUtime=282.3 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 709189 0 0 0 28130 100 0 0 25 0 1 0 821703483 1622224896 357886 33554432000 4194304 9128323 140733536363968 18446744073709551615 7312798 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 396051 357886 1120 1205 0 394842 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1584204
[startup+342.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/374 10024
/proc/meminfo: memFree=19970108/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1584204 CPUtime=342.3 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 775644 0 0 0 34114 116 0 0 25 0 1 0 821703483 1622224896 358031 33554432000 4194304 9128323 140733536363968 18446744073709551615 6941061 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 396051 358032 1120 1205 0 394842 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1584204
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/374 10026
/proc/meminfo: memFree=19968968/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1584204 CPUtime=402.31 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 817754 0 0 0 40105 126 0 0 25 0 1 0 821703483 1622224896 358222 33554432000 4194304 9128323 140733536363968 18446744073709551615 7321000 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 396051 358222 1120 1205 0 394842 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1584204
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 10027
/proc/meminfo: memFree=19968804/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1584204 CPUtime=462.3 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 851896 0 0 0 46097 133 0 0 25 0 1 0 821703483 1622224896 358397 33554432000 4194304 9128323 140733536363968 18446744073709551615 7314634 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 396051 358397 1120 1205 0 394842 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1584204
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 10029
/proc/meminfo: memFree=19963312/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1584204 CPUtime=522.31 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 878478 0 0 0 52092 139 0 0 25 0 1 0 821703483 1622224896 360160 33554432000 4194304 9128323 140733536363968 18446744073709551615 8009001 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 396051 360160 1120 1205 0 394842 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1584204
[startup+582.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/374 10031
/proc/meminfo: memFree=19968120/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1584204 CPUtime=582.31 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 902814 0 0 0 58086 145 0 0 25 0 1 0 821703483 1622224896 358548 33554432000 4194304 9128323 140733536363968 18446744073709551615 8009001 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 396051 358548 1120 1205 0 394842 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1584204
[startup+642.3 s]
################
# More data... #
################
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 980556 0 0 0 106059 173 0 0 25 0 1 0 821703483 1519415296 358401 33554432000 4194304 9128323 140733536363968 18446744073709551615 7381110 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 370951 358401 3559 1205 0 369742 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1483804
[startup+1122.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/374 10045
/proc/meminfo: memFree=19971820/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1483804 CPUtime=1122.33 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 980564 0 0 0 112058 175 0 0 25 0 1 0 821703483 1519415296 358409 33554432000 4194304 9128323 140733536363968 18446744073709551615 7285004 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 370951 358409 3559 1205 0 369742 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1483804
[startup+1182.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/374 10047
/proc/meminfo: memFree=19972540/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1483804 CPUtime=1182.33 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 980581 0 0 0 118057 176 0 0 25 0 1 0 821703483 1519415296 358426 33554432000 4194304 9128323 140733536363968 18446744073709551615 7315730 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 370951 358426 3559 1205 0 369742 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1483804
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/374 10048
/proc/meminfo: memFree=19960848/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1483804 CPUtime=1242.32 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 980591 0 0 0 124056 176 0 0 25 0 1 0 821703483 1519415296 358436 33554432000 4194304 9128323 140733536363968 18446744073709551615 7326871 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 370951 358436 3559 1205 0 369742 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1483804
[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/374 10050
/proc/meminfo: memFree=19931428/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1483804 CPUtime=1302.33 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 980597 0 0 0 130055 178 0 0 25 0 1 0 821703483 1519415296 358442 33554432000 4194304 9128323 140733536363968 18446744073709551615 7315702 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 370951 358442 3559 1205 0 369742 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1483804
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/374 10051
/proc/meminfo: memFree=19931164/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1483804 CPUtime=1362.34 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 980598 0 0 0 136055 179 0 0 25 0 1 0 821703483 1519415296 358443 33554432000 4194304 9128323 140733536363968 18446744073709551615 7312968 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 370951 358443 3559 1205 0 369742 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1483804
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/374 10053
/proc/meminfo: memFree=19931508/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1483804 CPUtime=1422.34 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 980603 0 0 0 142055 179 0 0 25 0 1 0 821703483 1519415296 358448 33554432000 4194304 9128323 140733536363968 18446744073709551615 7325260 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 370951 358448 3559 1205 0 369742 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1483804
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 10064
/proc/meminfo: memFree=19931460/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1483804 CPUtime=1482.33 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 980609 0 0 0 148052 181 0 0 25 0 1 0 821703483 1519415296 358454 33554432000 4194304 9128323 140733536363968 18446744073709551615 7243072 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 370951 358454 3559 1205 0 369742 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1483804
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 10065
/proc/meminfo: memFree=19931560/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1483804 CPUtime=1542.35 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 980614 0 0 0 154053 182 0 0 25 0 1 0 821703483 1519415296 358459 33554432000 4194304 9128323 140733536363968 18446744073709551615 7312896 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 370951 358459 3559 1205 0 369742 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 1483804
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 10069
/proc/meminfo: memFree=19931656/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1483804 CPUtime=1602.34 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 980619 0 0 0 160052 182 0 0 25 0 1 0 821703483 1519415296 358464 33554432000 4194304 9128323 140733536363968 18446744073709551615 7313000 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 370951 358464 3559 1205 0 369742 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1483804
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 10071
/proc/meminfo: memFree=19931032/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1483804 CPUtime=1662.34 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 980622 0 0 0 166051 183 0 0 25 0 1 0 821703483 1519415296 358467 33554432000 4194304 9128323 140733536363968 18446744073709551615 7312950 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 370951 358467 3559 1205 0 369742 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1483804
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 10100
/proc/meminfo: memFree=20517912/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1483804 CPUtime=1722.34 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 980629 0 0 0 172050 184 0 0 25 0 1 0 821703483 1519415296 358474 33554432000 4194304 9128323 140733536363968 18446744073709551615 7325277 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 370951 358474 3559 1205 0 369742 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1483804
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 10102
/proc/meminfo: memFree=20507464/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1483804 CPUtime=1782.35 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 980632 0 0 0 178050 185 0 0 25 0 1 0 821703483 1519415296 358477 33554432000 4194304 9128323 140733536363968 18446744073709551615 7325248 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 370951 358477 3559 1205 0 369742 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1483804
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 10102
/proc/meminfo: memFree=20501864/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1483804 CPUtime=1800.06 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 980632 0 0 0 179821 185 0 0 25 0 1 0 821703483 1519415296 358477 33554432000 4194304 9128323 140733536363968 18446744073709551615 7082499 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 370951 358477 3559 1205 0 369742 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1483804
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -10014
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.08 2.02 2.01 3/375 10103
/proc/meminfo: memFree=20501732/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1483804 CPUtime=1800.76 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 980632 0 0 0 179891 185 0 0 25 0 1 0 821703483 1519415296 358477 33554432000 4194304 9128323 140733536363968 18446744073709551615 7315299 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 370951 358477 3559 1205 0 369742 0
Current children cumulated CPU time (s) 1800.76
Current children cumulated vsize (KiB) 1483804
[startup+1801.5 s]
/proc/loadavg: 2.08 2.02 2.01 3/375 10103
/proc/meminfo: memFree=20501732/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1483804 CPUtime=1801.55 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 980632 0 0 0 179970 185 0 0 25 0 1 0 821703483 1519415296 358477 33554432000 4194304 9128323 140733536363968 18446744073709551615 7315299 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 370951 358477 3559 1205 0 369742 0
Current children cumulated CPU time (s) 1801.55
Current children cumulated vsize (KiB) 1483804
[startup+1801.91 s]
/proc/loadavg: 2.08 2.02 2.01 3/375 10103
/proc/meminfo: memFree=20501608/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1483804 CPUtime=1801.96 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 980632 0 0 0 180011 185 0 0 25 0 1 0 821703483 1519415296 358477 33554432000 4194304 9128323 140733536363968 18446744073709551615 7325763 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 370951 358477 3559 1205 0 369742 0
Current children cumulated CPU time (s) 1801.96
Current children cumulated vsize (KiB) 1483804
[startup+1802 s]
/proc/loadavg: 2.08 2.02 2.01 3/375 10103
/proc/meminfo: memFree=20501608/32951124 swapFree=37148216/67111528
[pid=10014] ppid=10012 vsize=1483804 CPUtime=1802.05 cores=0,2,4,6
/proc/10014/stat : 10014 (scip-2.0.1.4.li) R 10012 10014 9067 0 -1 4202496 980632 0 0 0 180020 185 0 0 25 0 1 0 821703483 1519415296 358477 33554432000 4194304 9128323 140733536363968 18446744073709551615 6931023 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10014/statm: 370951 358477 3559 1205 0 369742 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 1483804
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.08
CPU time (s): 1802.13
CPU user time (s): 1800.22
CPU system time (s): 1.91371
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1584204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.22
system time used= 1.91371
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 980632
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= 5092
runsolver used 6.95194 second user time and 14.3678 second system time
The end