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-3485285-1307778642.opb>
1.99/2.04 c original problem has 99789 variables (99789 bin, 0 int, 0 impl, 0 cont) and 388956 constraints
1.99/2.04 c problem read
1.99/2.04 c presolving settings loaded
3.30/3.32 c presolving:
5.29/5.36 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
5.40/5.42 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
6.60/6.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
39.09/39.15 c (39.1s) probing: 587/96704 (0.6%) - 0 fixings, 2 aggregations, 128235 implications, 0 bound changes
39.09/39.15 c (39.1s) probing aborted: 100/100 successive totally useless probings
39.09/39.15 c presolving (4 rounds):
39.09/39.15 c 3087 deleted vars, 6195 deleted constraints, 0 added constraints, 5 tightened bounds, 0 added holes, 26 changed sides, 30 changed coefficients
39.09/39.15 c 3759128 implications, 0 cliques
39.09/39.15 c presolved problem has 96702 variables (96702 bin, 0 int, 0 impl, 0 cont) and 382761 constraints
39.09/39.15 c 1 constraints of type <knapsack>
39.09/39.15 c 289186 constraints of type <setppc>
39.09/39.15 c 93574 constraints of type <logicor>
39.09/39.15 c transformed objective value is always integral (scale: 1)
39.09/39.15 c Presolving Time: 36.79
39.09/39.15 c - non default parameters ----------------------------------------------------------------------
39.09/39.15 c # SCIP version 2.0.1.4
39.09/39.15 c
39.09/39.15 c # frequency for displaying node information lines
39.09/39.15 c # [type: int, range: [-1,2147483647], default: 100]
39.09/39.15 c display/freq = 10000
39.09/39.15 c
39.09/39.15 c # maximal time in seconds to run
39.09/39.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
39.09/39.15 c limits/time = 1797
39.09/39.15 c
39.09/39.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
39.09/39.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
39.09/39.15 c limits/memory = 13950
39.09/39.15 c
39.09/39.15 c # default clock type (1: CPU user seconds, 2: wall clock time)
39.09/39.15 c # [type: int, range: [1,2], default: 1]
39.09/39.15 c timing/clocktype = 2
39.09/39.15 c
39.09/39.15 c # belongs reading time to solving time?
39.09/39.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
39.09/39.15 c timing/reading = TRUE
39.09/39.15 c
39.09/39.15 c # should presolving try to simplify inequalities
39.09/39.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
39.09/39.15 c constraints/linear/simplifyinequalities = TRUE
39.09/39.15 c
39.09/39.15 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
39.09/39.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
39.09/39.15 c constraints/indicator/addCouplingCons = TRUE
39.09/39.15 c
39.09/39.15 c # should presolving try to simplify knapsacks
39.09/39.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
39.09/39.15 c constraints/knapsack/simplifyinequalities = TRUE
39.09/39.15 c
39.09/39.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
39.09/39.15 c # [type: int, range: [-1,2147483647], default: -1]
39.09/39.15 c separating/rapidlearning/freq = 0
39.09/39.15 c
39.09/39.15 c -----------------------------------------------------------------------------------------------
39.09/39.15 c start solving
39.09/39.18 c
685.41/685.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
685.41/685.42 c 685s| 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.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-3485285-1307778642/watcher-3485285-1307778642 -o /tmp/evaluation-result-3485285-1307778642/solver-3485285-1307778642 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485285-1307778642.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 1.97 1.91 3/174 13066
/proc/meminfo: memFree=31659032/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=10452 CPUtime=0 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 1551 0 0 0 0 0 0 0 24 0 1 0 889464664 10702848 1505 33554432000 4194304 8979876 140736271169552 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13066/statm: 2613 1521 358 1169 0 1440 0
[startup+0.0399769 s]
/proc/loadavg: 2.00 1.97 1.91 3/174 13066
/proc/meminfo: memFree=31659032/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=19264 CPUtime=0.03 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 3830 0 0 0 3 0 0 0 24 0 1 0 889464664 19726336 3784 33554432000 4194304 8979876 140736271169552 18446744073709551615 7807867 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13066/statm: 4816 3784 366 1169 0 3643 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19264
[startup+0.100938 s]
/proc/loadavg: 2.00 1.97 1.91 3/174 13066
/proc/meminfo: memFree=31659032/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=24248 CPUtime=0.09 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 5090 0 0 0 9 0 0 0 24 0 1 0 889464664 24829952 5044 33554432000 4194304 8979876 140736271169552 18446744073709551615 7836078 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13066/statm: 6062 5044 366 1169 0 4889 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24248
[startup+0.3009 s]
/proc/loadavg: 2.00 1.97 1.91 3/174 13066
/proc/meminfo: memFree=31659032/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=41124 CPUtime=0.29 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 9258 0 0 0 29 0 0 0 25 0 1 0 889464664 42110976 9212 33554432000 4194304 8979876 140736271169552 18446744073709551615 7836088 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13066/statm: 10281 9212 366 1169 0 9108 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41124
[startup+0.700803 s]
/proc/loadavg: 2.00 1.97 1.91 3/174 13066
/proc/meminfo: memFree=31659032/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=75932 CPUtime=0.69 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 17996 0 0 0 67 2 0 0 25 0 1 0 889464664 77754368 17950 33554432000 4194304 8979876 140736271169552 18446744073709551615 4702762 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13066/statm: 18983 17950 366 1169 0 17810 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75932
[startup+1.50066 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13067
/proc/meminfo: memFree=31560716/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=145460 CPUtime=1.49 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 35290 0 0 0 145 4 0 0 25 0 1 0 889464664 148951040 35244 33554432000 4194304 8979876 140736271169552 18446744073709551615 7953194 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/13066/statm: 36365 35244 366 1169 0 35192 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 145460
[startup+3.10041 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13067
/proc/meminfo: memFree=31403608/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=646992 CPUtime=3.09 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 160238 0 0 0 292 17 0 0 25 0 1 0 889464664 662519808 159747 33554432000 4194304 8979876 140736271169552 18446744073709551615 4318332 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 161748 159747 450 1169 0 160575 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 646992
[startup+6.30082 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13067
/proc/meminfo: memFree=30973196/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=808924 CPUtime=6.29 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 228836 0 0 0 603 26 0 0 25 0 1 0 889464664 828338176 197076 33554432000 4194304 8979876 140736271169552 18446744073709551615 4904928 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 202231 197076 514 1169 0 201058 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 808924
[startup+12.7007 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13067
/proc/meminfo: memFree=30913800/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=764276 CPUtime=12.69 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 246889 0 0 0 1241 28 0 0 25 0 1 0 889464664 782618624 186172 33554432000 4194304 8979876 140736271169552 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 191069 186172 584 1169 0 189896 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 764276
[startup+25.5003 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13068
/proc/meminfo: memFree=30903124/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=774476 CPUtime=25.49 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 249296 0 0 0 2521 28 0 0 25 0 1 0 889464664 793063424 188579 33554432000 4194304 8979876 140736271169552 18446744073709551615 5537708 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 193619 188579 584 1169 0 192446 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 774476
[startup+51.1007 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13068
/proc/meminfo: memFree=30544288/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1161164 CPUtime=51.09 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 347297 0 0 0 5071 38 0 0 25 0 1 0 889464664 1189031936 277917 33554432000 4194304 8979876 140736271169552 18446744073709551615 6446041 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 290291 277917 633 1169 0 289118 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1161164
[startup+102.306 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13108
/proc/meminfo: memFree=30212240/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1491260 CPUtime=102.29 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 419012 0 0 0 10180 49 0 0 25 0 1 0 889464664 1527050240 344695 33554432000 4194304 8979876 140736271169552 18446744073709551615 7143824 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 372815 344695 695 1169 0 371642 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1491260
[startup+162.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13109
/proc/meminfo: memFree=30118464/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1531864 CPUtime=162.29 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 476426 0 0 0 16171 58 0 0 25 0 1 0 889464664 1568628736 360516 33554432000 4194304 8979876 140736271169552 18446744073709551615 7151988 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 382966 360516 695 1169 0 381793 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1531864
[startup+222.301 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13111
/proc/meminfo: memFree=30130968/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1584056 CPUtime=222.29 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 672997 0 0 0 22144 85 0 0 25 0 1 0 889464664 1622073344 357814 33554432000 4194304 8979876 140736271169552 18446744073709551615 7122143 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 396014 357814 1106 1169 0 394841 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1584056
[startup+282.301 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13112
/proc/meminfo: memFree=30130324/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1584056 CPUtime=282.3 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 736555 0 0 0 28132 98 0 0 25 0 1 0 889464664 1622073344 357998 33554432000 4194304 8979876 140736271169552 18446744073709551615 7147027 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 396014 357998 1106 1169 0 394841 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1584056
[startup+342.301 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13114
/proc/meminfo: memFree=30129300/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1584056 CPUtime=342.3 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 803106 0 0 0 34121 109 0 0 25 0 1 0 889464664 1622073344 358159 33554432000 4194304 8979876 140736271169552 18446744073709551615 7145534 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 396014 358159 1106 1169 0 394841 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1584056
[startup+402.301 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13116
/proc/meminfo: memFree=30125576/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1584056 CPUtime=402.3 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 838379 0 0 0 40112 118 0 0 25 0 1 0 889464664 1622073344 358978 33554432000 4194304 8979876 140736271169552 18446744073709551615 7147016 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 396014 358978 1106 1169 0 394841 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1584056
[startup+462.301 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13117
/proc/meminfo: memFree=30056708/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1584056 CPUtime=462.3 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 868704 0 0 0 46107 123 0 0 25 0 1 0 889464664 1622073344 358415 33554432000 4194304 8979876 140736271169552 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 396014 358415 1106 1169 0 394841 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1584056
[startup+522.301 s]
/proc/loadavg: 2.05 1.99 1.91 3/175 13119
/proc/meminfo: memFree=30056060/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1584056 CPUtime=522.31 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 899593 0 0 0 52100 131 0 0 25 0 1 0 889464664 1622073344 358515 33554432000 4194304 8979876 140736271169552 18446744073709551615 7147018 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 396014 358515 1106 1169 0 394841 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1584056
[startup+582.301 s]
/proc/loadavg: 2.02 1.99 1.91 3/175 13120
/proc/meminfo: memFree=30055788/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1584056 CPUtime=582.31 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 920161 0 0 0 58095 136 0 0 25 0 1 0 889464664 1622073344 358706 33554432000 4194304 8979876 140736271169552 18446744073709551615 7156780 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 396014 358706 1106 1169 0 394841 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1584056
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/175 13139
/proc/meminfo: memFree=30066304/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1483656 CPUtime=822.32 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 980377 0 0 0 82079 153 0 0 25 0 1 0 889464664 1519263744 358237 33554432000 4194304 8979876 140736271169552 18446744073709551615 7156776 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 370914 358237 3560 1169 0 369741 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 1483656
[startup+882.301 s]
/proc/loadavg: 2.04 2.00 1.92 3/175 13140
/proc/meminfo: memFree=30065868/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1483656 CPUtime=882.32 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 980492 0 0 0 88076 156 0 0 25 0 1 0 889464664 1519263744 358339 33554432000 4194304 8979876 140736271169552 18446744073709551615 7146279 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 370914 358339 3547 1169 0 369741 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1483656
[startup+942.301 s]
/proc/loadavg: 2.01 2.00 1.92 3/175 13142
/proc/meminfo: memFree=30065716/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1483656 CPUtime=942.32 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 980527 0 0 0 94075 157 0 0 25 0 1 0 889464664 1519263744 358373 33554432000 4194304 8979876 140736271169552 18446744073709551615 7122758 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 370914 358373 3546 1169 0 369741 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1483656
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 13144
/proc/meminfo: memFree=30065564/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1483656 CPUtime=1002.31 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 980539 0 0 0 100074 157 0 0 25 0 1 0 889464664 1519263744 358385 33554432000 4194304 8979876 140736271169552 18446744073709551615 7155180 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 370914 358385 3546 1169 0 369741 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1483656
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 13145
/proc/meminfo: memFree=30065776/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1483656 CPUtime=1062.32 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 980552 0 0 0 106074 158 0 0 25 0 1 0 889464664 1519263744 358398 33554432000 4194304 8979876 140736271169552 18446744073709551615 7155197 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 370914 358398 3546 1169 0 369741 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1483656
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 13147
/proc/meminfo: memFree=30065756/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1483656 CPUtime=1122.32 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 980562 0 0 0 112073 159 0 0 25 0 1 0 889464664 1519263744 358408 33554432000 4194304 8979876 140736271169552 18446744073709551615 6941015 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 370914 358408 3546 1169 0 369741 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1483656
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 13148
/proc/meminfo: memFree=30065608/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1483656 CPUtime=1182.33 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 980573 0 0 0 118073 160 0 0 25 0 1 0 889464664 1519263744 358419 33554432000 4194304 8979876 140736271169552 18446744073709551615 7122720 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 370914 358419 3546 1169 0 369741 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1483656
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 13150
/proc/meminfo: memFree=30065212/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1483656 CPUtime=1242.32 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 980574 0 0 0 124072 160 0 0 25 0 1 0 889464664 1519263744 358420 33554432000 4194304 8979876 140736271169552 18446744073709551615 7155470 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 370914 358420 3546 1169 0 369741 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1483656
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 13152
/proc/meminfo: memFree=30064932/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1483656 CPUtime=1302.33 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 980576 0 0 0 130072 161 0 0 25 0 1 0 889464664 1519263744 358422 33554432000 4194304 8979876 140736271169552 18446744073709551615 7143951 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 370914 358422 3546 1169 0 369741 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1483656
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 13153
/proc/meminfo: memFree=30065028/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1483656 CPUtime=1362.33 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 980584 0 0 0 136071 162 0 0 25 0 1 0 889464664 1519263744 358430 33554432000 4194304 8979876 140736271169552 18446744073709551615 7146491 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 370914 358430 3546 1169 0 369741 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1483656
[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 1.93 3/175 13155
/proc/meminfo: memFree=30065252/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1483656 CPUtime=1422.33 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 980588 0 0 0 142071 162 0 0 25 0 1 0 889464664 1519263744 358434 33554432000 4194304 8979876 140736271169552 18446744073709551615 7156722 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 370914 358434 3546 1169 0 369741 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1483656
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/175 13156
/proc/meminfo: memFree=30065220/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1483656 CPUtime=1482.33 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 980592 0 0 0 148070 163 0 0 25 0 1 0 889464664 1519263744 358438 33554432000 4194304 8979876 140736271169552 18446744073709551615 7155180 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 370914 358438 3546 1169 0 369741 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1483656
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/175 13158
/proc/meminfo: memFree=30065068/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1483656 CPUtime=1542.33 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 980597 0 0 0 154069 164 0 0 25 0 1 0 889464664 1519263744 358443 33554432000 4194304 8979876 140736271169552 18446744073709551615 7122720 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 370914 358443 3546 1169 0 369741 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1483656
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 13160
/proc/meminfo: memFree=30065292/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1483656 CPUtime=1602.33 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 980605 0 0 0 160068 165 0 0 25 0 1 0 889464664 1519263744 358451 33554432000 4194304 8979876 140736271169552 18446744073709551615 7155180 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 370914 358451 3546 1169 0 369741 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1483656
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 13161
/proc/meminfo: memFree=30065264/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1483656 CPUtime=1662.34 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 980608 0 0 0 166068 166 0 0 25 0 1 0 889464664 1519263744 358454 33554432000 4194304 8979876 140736271169552 18446744073709551615 7143931 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 370914 358454 3546 1169 0 369741 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1483656
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 13163
/proc/meminfo: memFree=30065236/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1483656 CPUtime=1722.34 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 980609 0 0 0 172067 167 0 0 25 0 1 0 889464664 1519263744 358455 33554432000 4194304 8979876 140736271169552 18446744073709551615 7143889 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 370914 358455 3546 1169 0 369741 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1483656
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 13164
/proc/meminfo: memFree=30064836/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1483656 CPUtime=1782.35 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 980611 0 0 0 178067 168 0 0 25 0 1 0 889464664 1519263744 358457 33554432000 4194304 8979876 140736271169552 18446744073709551615 7143725 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 370914 358457 3546 1169 0 369741 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1483656
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 13165
/proc/meminfo: memFree=30064824/32951124 swapFree=67060628/67111528
[pid=13066] ppid=13064 vsize=1483656 CPUtime=1800.05 cores=0,2,4,6
/proc/13066/stat : 13066 (scip-2.0.1.4_2.) R 13064 13066 8673 0 -1 4202496 980611 0 0 0 179837 168 0 0 25 0 1 0 889464664 1519263744 358457 33554432000 4194304 8979876 140736271169552 18446744073709551615 6942512 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13066/statm: 370914 358457 3546 1169 0 369741 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1483656
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.06
CPU time (s): 1800.11
CPU user time (s): 1798.38
CPU system time (s): 1.73374
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1584056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.38
system time used= 1.73374
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 980611
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 2203
runsolver used 3.17852 second user time and 5.9091 second system time
The end