0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3450725-1307110124.opb>
0.09/0.19 c original problem has 33622 variables (33622 bin, 0 int, 0 impl, 0 cont) and 36623 constraints
0.09/0.19 c problem read
0.09/0.19 c presolving settings loaded
0.29/0.39 o 0
0.29/0.39 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.29/0.39 c presolving:
0.79/0.82 c (round 1) 0 del vars, 33622 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1000 upgd conss, 254976 impls, 1999 clqs
0.89/0.93 c (round 2) 31622 del vars, 33622 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3000 upgd conss, 254976 impls, 0 clqs
1.00/1.05 c (1.0s) probing: 101/2000 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.00/1.05 c (1.0s) probing aborted: 100/100 successive totally useless probings
1.00/1.05 c presolving (3 rounds):
1.00/1.05 c 31622 deleted vars, 33622 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.00/1.05 c 254976 implications, 0 cliques
1.00/1.05 c presolved problem has 2000 variables (2000 bin, 0 int, 0 impl, 0 cont) and 3001 constraints
1.00/1.05 c 2000 constraints of type <knapsack>
1.00/1.05 c 1000 constraints of type <setppc>
1.00/1.05 c 1 constraints of type <linear>
1.00/1.05 c transformed objective value is always integral (scale: 1)
1.00/1.05 c Presolving Time: 0.75
1.00/1.05 c - non default parameters ----------------------------------------------------------------------
1.00/1.05 c # SCIP version 2.0.1.5
1.00/1.05 c
1.00/1.05 c # frequency for displaying node information lines
1.00/1.05 c # [type: int, range: [-1,2147483647], default: 100]
1.00/1.05 c display/freq = 10000
1.00/1.05 c
1.00/1.05 c # maximal time in seconds to run
1.00/1.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.05 c limits/time = 1800
1.00/1.05 c
1.00/1.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.00/1.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.05 c limits/memory = 13950
1.00/1.05 c
1.00/1.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.00/1.05 c # [type: int, range: [1,2], default: 1]
1.00/1.05 c timing/clocktype = 2
1.00/1.05 c
1.00/1.05 c # belongs reading time to solving time?
1.00/1.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.05 c timing/reading = TRUE
1.00/1.05 c
1.00/1.05 c # should presolving try to simplify inequalities
1.00/1.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.05 c constraints/linear/simplifyinequalities = TRUE
1.00/1.05 c
1.00/1.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.00/1.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.05 c constraints/indicator/addCouplingCons = TRUE
1.00/1.05 c
1.00/1.05 c # should presolving try to simplify knapsacks
1.00/1.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.05 c constraints/knapsack/simplifyinequalities = TRUE
1.00/1.05 c
1.00/1.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.00/1.05 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.05 c separating/rapidlearning/freq = 0
1.00/1.05 c
1.00/1.05 c -----------------------------------------------------------------------------------------------
1.00/1.05 c start solving
1.00/1.05 c
96.59/96.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.59/96.66 c t96.7s| 1 | 0 | 18668 | - | 86M| 0 |2000 |2000 |3001 |2000 |3001 | 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
96.70/96.80 o -1
96.70/96.80 c R96.8s| 1 | 0 | 18668 | - | 87M| 0 |2000 |2000 |3001 |2000 |3001 | 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
391.49/391.52 c 392s| 1 | 2 | 27679 | - | 87M| 0 |2000 |2000 |3001 |2000 |3001 | 0 | 0 | 10 |-5.000000e+02 |-1.000000e+00 | 99.80%
1547.62/1547.62 o -2
1547.62/1547.62 c R1548s| 6 | 5 | 31692 |2604.8 | 87M| 5 |1932 |2000 |3001 |2000 |3001 | 0 | 0 | 70 |-5.000000e+02 |-2.000000e+00 | 99.60%
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-3450725-1307110124/watcher-3450725-1307110124 -o /tmp/evaluation-result-3450725-1307110124/solver-3450725-1307110124 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450725-1307110124.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.19 2.06 2.01 3/461 14060
/proc/meminfo: memFree=28638432/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=15924 CPUtime=0 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 2970 0 0 0 0 0 0 0 25 0 1 0 822610418 16306176 2923 33554432000 4194304 9163163 140734676378256 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14060/statm: 3981 2923 410 1214 0 2763 0
[startup+0.0942289 s]
/proc/loadavg: 2.19 2.06 2.01 3/461 14060
/proc/meminfo: memFree=28638432/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=39316 CPUtime=0.08 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 8802 0 0 0 8 0 0 0 25 0 1 0 822610418 40259584 8755 33554432000 4194304 9163163 140734676378256 18446744073709551615 4351868 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14060/statm: 9829 8755 410 1214 0 8611 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 39316
[startup+0.100234 s]
/proc/loadavg: 2.19 2.06 2.01 3/461 14060
/proc/meminfo: memFree=28638432/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=41376 CPUtime=0.09 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 9317 0 0 0 8 1 0 0 25 0 1 0 822610418 42369024 9270 33554432000 4194304 9163163 140734676378256 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14060/statm: 10344 9270 410 1214 0 9126 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41376
[startup+0.300193 s]
/proc/loadavg: 2.19 2.06 2.01 3/461 14060
/proc/meminfo: memFree=28638432/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=102320 CPUtime=0.29 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 24667 0 0 0 27 2 0 0 25 0 1 0 822610418 104775680 24426 33554432000 4194304 9163163 140734676378256 18446744073709551615 4978168 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14060/statm: 25580 24426 461 1214 0 24362 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 102320
[startup+0.701117 s]
/proc/loadavg: 2.19 2.06 2.01 3/461 14060
/proc/meminfo: memFree=28638432/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=126516 CPUtime=0.69 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 31467 0 0 0 67 2 0 0 25 0 1 0 822610418 129552384 30215 33554432000 4194304 9163163 140734676378256 18446744073709551615 5346615 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14060/statm: 31629 30217 534 1214 0 30411 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 126516
[startup+1.50097 s]
/proc/loadavg: 2.19 2.06 2.01 3/462 14061
/proc/meminfo: memFree=28502412/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=154360 CPUtime=1.49 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 38127 0 0 0 144 5 0 0 25 0 1 0 822610418 158064640 36655 33554432000 4194304 9163163 140734676378256 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14060/statm: 38590 36655 663 1214 0 37372 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 154360
[startup+3.10068 s]
/proc/loadavg: 2.18 2.06 2.01 3/462 14061
/proc/meminfo: memFree=28488596/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=158740 CPUtime=3.09 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 39411 0 0 0 303 6 0 0 25 0 1 0 822610418 162549760 37906 33554432000 4194304 9163163 140734676378256 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14060/statm: 39685 37906 676 1214 0 38467 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 158740
[startup+6.3011 s]
/proc/loadavg: 2.18 2.06 2.01 3/462 14061
/proc/meminfo: memFree=28477444/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=164920 CPUtime=6.29 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 42528 0 0 0 621 8 0 0 25 0 1 0 822610418 168878080 39612 33554432000 4194304 9163163 140734676378256 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14060/statm: 41230 39612 664 1214 0 40012 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 164920
[startup+12.7009 s]
/proc/loadavg: 2.15 2.05 2.01 3/462 14089
/proc/meminfo: memFree=28465724/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=176980 CPUtime=12.7 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 48297 0 0 0 1260 10 0 0 25 0 1 0 822610418 181227520 42291 33554432000 4194304 9163163 140734676378256 18446744073709551615 7347037 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14060/statm: 44245 42291 664 1214 0 43027 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 176980
[startup+25.5006 s]
/proc/loadavg: 2.13 2.05 2.01 3/462 14116
/proc/meminfo: memFree=28459180/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=186232 CPUtime=25.5 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 51564 0 0 0 2539 11 0 0 25 0 1 0 822610418 190701568 43782 33554432000 4194304 9163163 140734676378256 18446744073709551615 7346900 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14060/statm: 46558 43782 666 1214 0 45340 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 186232
[startup+51.101 s]
/proc/loadavg: 2.20 2.08 2.02 3/462 14117
/proc/meminfo: memFree=28442716/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=195824 CPUtime=51.09 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 58134 0 0 0 5096 13 0 0 25 0 1 0 822610418 200523776 47366 33554432000 4194304 9163163 140734676378256 18446744073709551615 7390842 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14060/statm: 48956 47366 664 1214 0 47738 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 195824
[startup+102.317 s]
/proc/loadavg: 2.08 2.06 2.01 3/462 14118
/proc/meminfo: memFree=28396520/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=239388 CPUtime=102.31 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 88669 0 0 0 10212 19 0 0 25 0 1 0 822610418 245133312 58472 33554432000 4194304 9163163 140734676378256 18446744073709551615 6555920 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14060/statm: 59847 58472 751 1214 0 58629 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 239388
[startup+162.301 s]
/proc/loadavg: 2.09 2.06 2.01 3/462 14120
/proc/meminfo: memFree=28385884/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=240008 CPUtime=162.3 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 88900 0 0 0 16209 21 0 0 25 0 1 0 822610418 245768192 58668 33554432000 4194304 9163163 140734676378256 18446744073709551615 7391810 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14060/statm: 60002 58668 733 1214 0 58784 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 240008
[startup+222.301 s]
/proc/loadavg: 2.03 2.05 2.01 3/462 14121
/proc/meminfo: memFree=28388172/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=231068 CPUtime=222.3 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 96940 0 0 0 22204 26 0 0 25 0 1 0 822610418 236613632 55567 33554432000 4194304 9163163 140734676378256 18446744073709551615 7390316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14060/statm: 57767 55567 737 1214 0 56549 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 231068
[startup+282.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/462 14123
/proc/meminfo: memFree=28376344/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=231068 CPUtime=282.29 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 97109 0 0 0 28202 27 0 0 25 0 1 0 822610418 236613632 55736 33554432000 4194304 9163163 140734676378256 18446744073709551615 7390076 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14060/statm: 57767 55736 737 1214 0 56549 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 231068
[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/462 14124
/proc/meminfo: memFree=28369976/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=224352 CPUtime=342.3 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 105632 0 0 0 34199 31 0 0 25 0 1 0 822610418 229736448 55014 33554432000 4194304 9163163 140734676378256 18446744073709551615 7416733 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14060/statm: 56088 55014 737 1214 0 54870 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 224352
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 14126
/proc/meminfo: memFree=28360632/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=230308 CPUtime=402.27 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 105711 0 0 0 40195 32 0 0 25 0 1 0 822610418 235835392 55093 33554432000 4194304 9163163 140734676378256 18446744073709551615 7390101 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14060/statm: 57577 55093 737 1214 0 56359 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 230308
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 14128
/proc/meminfo: memFree=28352188/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=224192 CPUtime=462.29 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 130973 0 0 0 46191 38 0 0 25 0 1 0 822610418 229572608 53915 33554432000 4194304 9163163 140734676378256 18446744073709551615 7390842 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14060/statm: 56048 53915 737 1214 0 54830 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 224192
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 14129
/proc/meminfo: memFree=28332540/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=235780 CPUtime=522.28 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 142625 0 0 0 52187 41 0 0 25 0 1 0 822610418 241438720 56413 33554432000 4194304 9163163 140734676378256 18446744073709551615 7390821 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14060/statm: 58945 56413 737 1214 0 57727 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 235780
[startup+582.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/462 14131
/proc/meminfo: memFree=28333860/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=225616 CPUtime=582.28 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 168853 0 0 0 58182 46 0 0 25 0 1 0 822610418 231030784 54238 33554432000 4194304 9163163 140734676378256 18446744073709551615 7346217 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14060/statm: 56404 54238 737 1214 0 55186 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 225616
[startup+642.301 s]
################
# More data... #
################
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 238086 0 0 0 100158 72 0 0 25 0 1 0 822610418 229568512 54911 33554432000 4194304 9163163 140734676378256 18446744073709551615 7348654 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14060/statm: 56047 54911 737 1214 0 54829 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 224188
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 14144
/proc/meminfo: memFree=28230692/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=230932 CPUtime=1062.3 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 248975 0 0 0 106155 75 0 0 25 0 1 0 822610418 236474368 55829 33554432000 4194304 9163163 140734676378256 18446744073709551615 7360957 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14060/statm: 57733 55829 737 1214 0 56515 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 230932
[startup+1122.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/462 14145
/proc/meminfo: memFree=28216396/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=232040 CPUtime=1122.3 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 269160 0 0 0 112151 79 0 0 25 0 1 0 822610418 237608960 56015 33554432000 4194304 9163163 140734676378256 18446744073709551615 7390096 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14060/statm: 58010 56015 737 1214 0 56792 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 232040
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/462 14147
/proc/meminfo: memFree=28204568/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=229020 CPUtime=1182.3 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 278060 0 0 0 118147 83 0 0 25 0 1 0 822610418 234516480 56165 33554432000 4194304 9163163 140734676378256 18446744073709551615 7391810 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14060/statm: 57255 56165 737 1214 0 56037 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 229020
[startup+1242.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/462 14148
/proc/meminfo: memFree=28191036/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=232716 CPUtime=1242.31 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 287279 0 0 0 124144 87 0 0 25 0 1 0 822610418 238301184 56475 33554432000 4194304 9163163 140734676378256 18446744073709551615 6974024 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14060/statm: 58179 56475 737 1214 0 56961 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 232716
[startup+1302.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/462 14150
/proc/meminfo: memFree=28175116/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=232780 CPUtime=1302.32 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 315214 0 0 0 130139 93 0 0 25 0 1 0 822610418 238366720 57121 33554432000 4194304 9163163 140734676378256 18446744073709551615 7358967 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14060/statm: 58195 57121 737 1214 0 56977 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 232780
[startup+1362.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/462 14152
/proc/meminfo: memFree=28164520/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=233552 CPUtime=1362.31 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 353773 0 0 0 136133 98 0 0 25 0 1 0 822610418 239157248 57300 33554432000 4194304 9163163 140734676378256 18446744073709551615 7390865 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14060/statm: 58388 57300 737 1214 0 57170 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 233552
[startup+1422.32 s]
/proc/loadavg: 2.01 2.02 2.00 3/462 14153
/proc/meminfo: memFree=28155428/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=233608 CPUtime=1422.33 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 371984 0 0 0 142132 101 0 0 25 0 1 0 822610418 239214592 56638 33554432000 4194304 9163163 140734676378256 18446744073709551615 7390807 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14060/statm: 58402 56638 737 1214 0 57184 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 233608
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 14155
/proc/meminfo: memFree=28141120/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=232780 CPUtime=1482.31 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 419429 0 0 0 148122 109 0 0 25 0 1 0 822610418 238366720 57137 33554432000 4194304 9163163 140734676378256 18446744073709551615 7357843 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14060/statm: 58195 57137 737 1214 0 56977 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 232780
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 14156
/proc/meminfo: memFree=28148896/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=213736 CPUtime=1542.31 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 442802 0 0 0 154117 114 0 0 25 0 1 0 822610418 218865664 52380 33554432000 4194304 9163163 140734676378256 18446744073709551615 7390360 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14060/statm: 53434 52380 737 1214 0 52216 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 213736
[startup+1602.3 s]
/proc/loadavg: 2.19 2.05 2.01 3/462 14158
/proc/meminfo: memFree=28120464/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=230992 CPUtime=1602.31 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 446202 0 0 0 160115 116 0 0 25 0 1 0 822610418 236535808 55780 33554432000 4194304 9163163 140734676378256 18446744073709551615 7390821 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14060/statm: 57748 55780 737 1214 0 56530 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 230992
[startup+1662.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/462 14160
/proc/meminfo: memFree=28106652/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=230992 CPUtime=1662.32 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 446202 0 0 0 166114 118 0 0 25 0 1 0 822610418 236535808 55780 33554432000 4194304 9163163 140734676378256 18446744073709551615 7390101 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14060/statm: 57748 55780 737 1214 0 56530 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 230992
[startup+1722.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/462 14161
/proc/meminfo: memFree=28094092/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=230992 CPUtime=1722.32 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 446277 0 0 0 172113 119 0 0 25 0 1 0 822610418 236535808 55855 33554432000 4194304 9163163 140734676378256 18446744073709551615 7390842 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14060/statm: 57748 55855 737 1214 0 56530 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 230992
[startup+1782.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/462 14163
/proc/meminfo: memFree=28080532/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=230992 CPUtime=1782.32 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 446581 0 0 0 178112 120 0 0 25 0 1 0 822610418 236535808 56159 33554432000 4194304 9163163 140734676378256 18446744073709551615 7348642 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14060/statm: 57748 56159 737 1214 0 56530 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 230992
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.12 2.06 2.01 3/462 14163
/proc/meminfo: memFree=28078036/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=230992 CPUtime=1800.03 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 446581 0 0 0 179882 121 0 0 25 0 1 0 822610418 236535808 56159 33554432000 4194304 9163163 140734676378256 18446744073709551615 7370790 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14060/statm: 57748 56159 737 1214 0 56530 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 230992
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14060
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.12 2.06 2.01 3/463 14164
/proc/meminfo: memFree=28077284/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=230992 CPUtime=1801.42 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 446581 0 0 0 180021 121 0 0 25 0 1 0 822610418 236535808 56159 33554432000 4194304 9163163 140734676378256 18446744073709551615 7348654 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14060/statm: 57748 56159 737 1214 0 56530 0
Current children cumulated CPU time (s) 1801.42
Current children cumulated vsize (KiB) 230992
[startup+1801.82 s]
/proc/loadavg: 2.11 2.06 2.01 3/463 14164
/proc/meminfo: memFree=28076416/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=230992 CPUtime=1801.84 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 446581 0 0 0 180063 121 0 0 25 0 1 0 822610418 236535808 56159 33554432000 4194304 9163163 140734676378256 18446744073709551615 7390342 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14060/statm: 57748 56159 737 1214 0 56530 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 230992
[startup+1802 s]
/proc/loadavg: 2.11 2.06 2.01 3/463 14164
/proc/meminfo: memFree=28076416/32951124 swapFree=41830676/67111528
[pid=14060] ppid=14058 vsize=230992 CPUtime=1802.02 cores=1,3,5,7
/proc/14060/stat : 14060 (scip-2.0.1.4b.l) R 14058 14060 12829 0 -1 4202496 446581 0 0 0 180081 121 0 0 25 0 1 0 822610418 236535808 56159 33554432000 4194304 9163163 140734676378256 18446744073709551615 7390821 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14060/statm: 57748 56159 737 1214 0 56530 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 230992
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.03
CPU time (s): 1802.06
CPU user time (s): 1800.83
CPU system time (s): 1.22481
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 251316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.83
system time used= 1.22481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 446581
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 2782
runsolver used 7.56185 second user time and 18.7262 second system time
The end