0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3691299-1338023055.opb>
0.59/0.65 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256600 constraints
0.59/0.65 c problem read in 0.65
1.58/1.61 c presolving:
8.19/8.29 c (round 1) 7246 del vars, 21005 del conss, 0 add conss, 5909 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17227958 impls, 0 clqs
12.08/12.17 c (round 2) 11790 del vars, 43932 del conss, 0 add conss, 10268 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17255270 impls, 0 clqs
13.48/13.51 c (round 3) 14003 del vars, 53164 del conss, 0 add conss, 11665 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17269377 impls, 0 clqs
14.28/14.35 c (round 4) 15115 del vars, 57755 del conss, 0 add conss, 12435 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17279343 impls, 0 clqs
14.78/14.88 c (round 5) 15846 del vars, 60872 del conss, 0 add conss, 12948 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17284291 impls, 0 clqs
15.08/15.17 c (round 6) 16254 del vars, 62654 del conss, 0 add conss, 13184 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17286898 impls, 0 clqs
15.28/15.36 c (round 7) 16454 del vars, 63533 del conss, 0 add conss, 13309 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17288310 impls, 0 clqs
15.49/15.52 c (round 8) 16577 del vars, 64071 del conss, 0 add conss, 13391 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17289146 impls, 0 clqs
15.58/15.64 c (round 9) 16651 del vars, 64416 del conss, 0 add conss, 13438 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17289481 impls, 0 clqs
15.68/15.74 c (round 10) 16689 del vars, 64601 del conss, 0 add conss, 13462 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17289681 impls, 0 clqs
15.78/15.83 c (round 11) 16717 del vars, 64722 del conss, 0 add conss, 13481 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17289775 impls, 0 clqs
15.88/15.92 c (round 12) 16727 del vars, 64778 del conss, 0 add conss, 13487 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17289807 impls, 0 clqs
15.98/16.00 c (round 13) 16733 del vars, 64806 del conss, 0 add conss, 13490 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17289833 impls, 0 clqs
401.49/401.65 c (401.6s) probing: 1000/56103 (1.8%) - 1 fixings, 0 aggregations, 8501303 implications, 0 bound changes
402.38/402.50 c (402.5s) probing: 1002/56103 (1.8%) - 1 fixings, 0 aggregations, 8525794 implications, 0 bound changes
402.38/402.50 c (402.5s) probing aborted: 1000/1000 successive useless probings
402.38/402.50 c (round 14) 16740 del vars, 64834 del conss, 0 add conss, 13493 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 34341443 impls, 0 clqs
446.26/446.41 c (446.4s) probing: 1102/56103 (2.0%) - 1 fixings, 0 aggregations, 9943103 implications, 0 bound changes
446.26/446.41 c (446.4s) probing aborted: 1000/1000 successive useless probings
447.16/447.31 c (round 15) 16741 del vars, 64844 del conss, 0 add conss, 13493 chg bounds, 1 chg sides, 18 chg coeffs, 191756 upgd conss, 37175865 impls, 0 clqs
448.26/448.41 c (round 16) 16741 del vars, 64850 del conss, 22 add conss, 13493 chg bounds, 31 chg sides, 113 chg coeffs, 191756 upgd conss, 37175865 impls, 0 clqs
448.77/448.93 c (round 17) 16741 del vars, 153084 del conss, 27789 add conss, 13493 chg bounds, 34 chg sides, 125 chg coeffs, 191756 upgd conss, 37175865 impls, 0 clqs
449.36/449.50 c (round 18) 16741 del vars, 175028 del conss, 49733 add conss, 13493 chg bounds, 34 chg sides, 125 chg coeffs, 191756 upgd conss, 37175865 impls, 4932 clqs
449.96/450.19 c presolving (19 rounds):
449.96/450.19 c 16741 deleted vars, 175028 deleted constraints, 49733 added constraints, 13493 tightened bounds, 0 added holes, 34 changed sides, 125 changed coefficients
449.96/450.19 c 37175865 implications, 26876 cliques
449.96/450.19 c presolved problem has 56101 variables (56101 bin, 0 int, 0 impl, 0 cont) and 131305 constraints
449.96/450.19 c 1188 constraints of type <knapsack>
449.96/450.19 c 129224 constraints of type <setppc>
449.96/450.19 c 890 constraints of type <and>
449.96/450.19 c 3 constraints of type <logicor>
449.96/450.19 c transformed objective value is always integral (scale: 1)
449.96/450.19 c Presolving Time: 449.28
449.96/450.19 c - non default parameters ----------------------------------------------------------------------
449.96/450.19 c # SCIP version 2.1.1.4
449.96/450.19 c
449.96/450.19 c # maximal time in seconds to run
449.96/450.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
449.96/450.19 c limits/time = 1797
449.96/450.19 c
449.96/450.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
449.96/450.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
449.96/450.19 c limits/memory = 13950
449.96/450.19 c
449.96/450.19 c # default clock type (1: CPU user seconds, 2: wall clock time)
449.96/450.19 c # [type: int, range: [1,2], default: 1]
449.96/450.19 c timing/clocktype = 2
449.96/450.19 c
449.96/450.19 c # belongs reading time to solving time?
449.96/450.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
449.96/450.19 c timing/reading = TRUE
449.96/450.19 c
449.96/450.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
449.96/450.19 c # [type: int, range: [-1,2147483647], default: -1]
449.96/450.19 c separating/rapidlearning/freq = 0
449.96/450.19 c
449.96/450.19 c -----------------------------------------------------------------------------------------------
449.96/450.19 c start solving
450.45/450.62 c
1168.05/1168.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1168.05/1168.31 c 1168s| 1 | 0 | 98575 | - |1302M| 0 |6241 | 56k| 131k| 56k| 132k| 0 | 29 | 0 | 9.201932e+01 | -- | Inf
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3691299-1338023055/watcher-3691299-1338023055 -o /tmp/evaluation-result-3691299-1338023055/solver-3691299-1338023055 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691299-1338023055.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.01 2.02 1.98 3/176 4091
/proc/meminfo: memFree=28826276/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=10672 CPUtime=0 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 1407 0 0 0 0 0 0 0 20 0 1 0 268431264 10928128 1361 33554432000 4194304 10173063 140734172321088 140734459030248 7545739 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4091/statm: 2668 1361 416 1460 0 1199 0
[startup+0.103066 s]
/proc/loadavg: 2.01 2.02 1.98 3/176 4091
/proc/meminfo: memFree=28826276/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=44772 CPUtime=0.09 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 9975 0 0 0 8 1 0 0 20 0 1 0 268431264 45846528 9902 33554432000 4194304 10173063 140734172321088 140734172186264 5474314 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4091/statm: 11193 9902 416 1460 0 9724 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44772
[startup+0.200271 s]
/proc/loadavg: 2.01 2.02 1.98 3/176 4091
/proc/meminfo: memFree=28826276/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=60328 CPUtime=0.19 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 13849 0 0 0 17 2 0 0 20 0 1 0 268431264 61775872 13776 33554432000 4194304 10173063 140734172321088 140734172186264 5285022 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4091/statm: 15082 13776 416 1460 0 13613 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 60328
[startup+0.300282 s]
/proc/loadavg: 2.01 2.02 1.98 3/176 4091
/proc/meminfo: memFree=28826276/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=73848 CPUtime=0.29 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 17243 0 0 0 27 2 0 0 20 0 1 0 268431264 75620352 17170 33554432000 4194304 10173063 140734172321088 140734172186264 7141593 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4091/statm: 18462 17170 416 1460 0 16993 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 73848
[startup+0.70023 s]
/proc/loadavg: 2.01 2.02 1.98 3/176 4091
/proc/meminfo: memFree=28826276/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=173884 CPUtime=0.69 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 42108 0 0 0 64 5 0 0 20 0 1 0 268431264 178057216 42015 33554432000 4194304 10173063 140734172321088 140734172186264 5477204 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4091/statm: 43471 42017 466 1460 0 42002 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 173884
[startup+1.50023 s]
/proc/loadavg: 2.01 2.02 1.98 3/177 4092
/proc/meminfo: memFree=28507432/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=456800 CPUtime=1.48 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 112088 0 0 0 134 14 0 0 20 0 1 0 268431264 467763200 111923 33554432000 4194304 10173063 140734172321088 140734172318856 7550144 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4091/statm: 114200 111923 514 1460 0 112731 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 456800
[startup+3.10017 s]
/proc/loadavg: 2.01 2.02 1.98 3/177 4092
/proc/meminfo: memFree=28343504/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=592188 CPUtime=3.08 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 157610 0 0 0 284 24 0 0 20 0 1 0 268431264 606400512 145056 33554432000 4194304 10173063 140734172321088 140734172318088 4953443 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 148047 145056 559 1460 0 146578 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 592188
[startup+6.30027 s]
/proc/loadavg: 2.01 2.02 1.98 3/177 4092
/proc/meminfo: memFree=28041424/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=849420 CPUtime=6.28 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 220112 0 0 0 591 37 0 0 20 0 1 0 268431264 869806080 207847 33554432000 4194304 10173063 140734172321088 140734172318088 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 212355 207847 559 1460 0 210886 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 849420
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 1.98 3/177 4092
/proc/meminfo: memFree=27914604/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=933268 CPUtime=12.68 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 240682 0 0 0 1216 52 0 0 20 0 1 0 268431264 955666432 227817 33554432000 4194304 10173063 140734172321088 140734172318088 7436472 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 233317 227817 568 1460 0 231848 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 933268
[startup+25.5064 s]
/proc/loadavg: 2.01 2.02 1.98 3/177 4092
/proc/meminfo: memFree=27896344/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=951024 CPUtime=25.48 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 244992 0 0 0 2465 83 0 0 20 0 1 0 268431264 973848576 232460 33554432000 4194304 10173063 140734172321088 140734172317448 4487052 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 237756 232460 586 1460 0 236287 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 951024
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 1.98 3/177 4092
/proc/meminfo: memFree=27879944/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=968140 CPUtime=51.07 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 249048 0 0 0 5023 84 0 0 20 0 1 0 268431264 991375360 236636 33554432000 4194304 10173063 140734172321088 140734172317448 4261730 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 242035 236636 586 1460 0 240566 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 968140
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/177 4093
/proc/meminfo: memFree=27834984/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=1005456 CPUtime=102.26 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 257385 0 0 0 10138 88 0 0 20 0 1 0 268431264 1029586944 247672 33554432000 4194304 10173063 140734172321088 140734172317448 4487099 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 251364 247672 586 1460 0 249895 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1005456
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/177 4093
/proc/meminfo: memFree=27776796/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=1064800 CPUtime=162.25 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 269942 0 0 0 16131 94 0 0 20 0 1 0 268431264 1090355200 261113 33554432000 4194304 10173063 140734172321088 140734172317448 4487085 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 266200 261113 586 1460 0 264731 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 1064800
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 4093
/proc/meminfo: memFree=27705460/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=1138056 CPUtime=222.25 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 287562 0 0 0 22125 100 0 0 20 0 1 0 268431264 1165369344 278803 33554432000 4194304 10173063 140734172321088 140734172317448 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 284514 278803 586 1460 0 283045 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1138056
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 4093
/proc/meminfo: memFree=27643800/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=1203672 CPUtime=282.23 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 304055 0 0 0 28118 105 0 0 20 0 1 0 268431264 1232560128 295297 33554432000 4194304 10173063 140734172321088 140734172317448 4950286 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 300918 295297 586 1460 0 299449 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1203672
[startup+342.306 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 4093
/proc/meminfo: memFree=27577736/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=1269056 CPUtime=342.23 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 320488 0 0 0 34110 113 0 0 20 0 1 0 268431264 1299513344 311737 33554432000 4194304 10173063 140734172321088 140734172317464 4487052 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 317264 311737 586 1460 0 315795 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1269056
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 4097
/proc/meminfo: memFree=27507836/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=1340504 CPUtime=402.18 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 338109 0 0 0 40099 119 0 0 20 0 1 0 268431264 1372676096 329343 33554432000 4194304 10173063 140734172321088 140734172317448 4487052 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 335126 329343 587 1460 0 333657 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1340504
[startup+462.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/177 4097
/proc/meminfo: memFree=27223484/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=1633844 CPUtime=462.15 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 410079 0 0 0 46047 168 0 0 20 0 1 0 268431264 1673056256 400236 33554432000 4194304 10173063 140734172321088 140734172316968 4780421 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 408461 400236 708 1460 0 406992 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1633844
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/177 4097
/proc/meminfo: memFree=27126592/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=1736032 CPUtime=522.14 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 425148 0 0 0 52038 176 0 0 20 0 1 0 268431264 1777696768 425058 33554432000 4194304 10173063 140734172321088 140734172314264 8007073 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 434008 425058 789 1460 0 432539 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1736032
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 4097
/proc/meminfo: memFree=27093972/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=1764340 CPUtime=582.14 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 429832 0 0 0 58033 181 0 0 20 0 1 0 268431264 1806684160 432460 33554432000 4194304 10173063 140734172321088 140734172314264 8013292 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 441085 432460 789 1460 0 439616 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1764340
[startup+642.3 s]
################
# More data... #
################
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 432872 0 0 0 100005 203 0 0 20 0 1 0 268431264 1839738880 445840 33554432000 4194304 10173063 140734172321088 140734172314264 8846889 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 449155 445840 790 1460 0 447686 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 1796620
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4102
/proc/meminfo: memFree=27045508/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=1796620 CPUtime=1062.06 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 432873 0 0 0 106001 205 0 0 20 0 1 0 268431264 1839738880 446069 33554432000 4194304 10173063 140734172321088 140734172314264 8013178 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 449155 446069 790 1460 0 447686 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 1796620
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4102
/proc/meminfo: memFree=27040288/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=1796620 CPUtime=1122.05 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 432878 0 0 0 111997 208 0 0 20 0 1 0 268431264 1839738880 446090 33554432000 4194304 10173063 140734172321088 140734172314264 8064797 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 449155 446090 790 1460 0 447686 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 1796620
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4102
/proc/meminfo: memFree=27037948/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=1796620 CPUtime=1182.05 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 433019 0 0 0 117993 212 0 0 20 0 1 0 268431264 1839738880 447380 33554432000 4194304 10173063 140734172321088 140734172312248 8012341 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 449155 447380 807 1460 0 447686 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 1796620
[startup+1242.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 4102
/proc/meminfo: memFree=27035180/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=1796620 CPUtime=1242.03 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 433021 0 0 0 123988 215 0 0 20 0 1 0 268431264 1839738880 447382 33554432000 4194304 10173063 140734172321088 140734172312344 8022958 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 449155 447382 807 1460 0 447686 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 1796620
[startup+1302.3 s]
/proc/loadavg: 1.97 2.00 1.99 3/177 4141
/proc/meminfo: memFree=27179244/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=1796620 CPUtime=1302.03 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 433022 0 0 0 129985 218 0 0 20 0 1 0 268431264 1839738880 447383 33554432000 4194304 10173063 140734172321088 140734172312392 8007115 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 449155 447383 807 1460 0 447686 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 1796620
[startup+1362.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/178 4142
/proc/meminfo: memFree=27177428/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=1796620 CPUtime=1362.02 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 433022 0 0 0 135981 221 0 0 20 0 1 0 268431264 1839738880 447383 33554432000 4194304 10173063 140734172321088 140734172312616 8023396 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 449155 447383 807 1460 0 447686 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 1796620
[startup+1422.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 4142
/proc/meminfo: memFree=27173884/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=1796620 CPUtime=1422.01 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 433022 0 0 0 141976 225 0 0 20 0 1 0 268431264 1839738880 447383 33554432000 4194304 10173063 140734172321088 140734172312248 8007069 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 449155 447383 807 1460 0 447686 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 1796620
[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 4142
/proc/meminfo: memFree=27171080/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=1796620 CPUtime=1481.99 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 433022 0 0 0 147970 229 0 0 20 0 1 0 268431264 1839738880 447383 33554432000 4194304 10173063 140734172321088 140734172312216 8012255 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 449155 447383 807 1460 0 447686 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 1796620
[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 4142
/proc/meminfo: memFree=27168532/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=1796620 CPUtime=1541.99 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 433022 0 0 0 153965 234 0 0 20 0 1 0 268431264 1839738880 447383 33554432000 4194304 10173063 140734172321088 140734172312392 8023207 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 449155 447383 807 1460 0 447686 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 1796620
[startup+1602.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 4146
/proc/meminfo: memFree=27167584/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=1796620 CPUtime=1601.98 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 433022 0 0 0 159958 240 0 0 20 0 1 0 268431264 1839738880 447383 33554432000 4194304 10173063 140734172321088 140734172312616 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 449155 447383 807 1460 0 447686 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 1796620
[startup+1662.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4146
/proc/meminfo: memFree=27162332/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=1796620 CPUtime=1661.97 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 433024 0 0 0 165950 247 0 0 20 0 1 0 268431264 1839738880 447385 33554432000 4194304 10173063 140734172321088 140734172312216 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 449155 447385 807 1460 0 447686 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 1796620
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 4146
/proc/meminfo: memFree=27161012/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=1796620 CPUtime=1721.96 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 433158 0 0 0 171941 255 0 0 20 0 1 0 268431264 1839738880 447519 33554432000 4194304 10173063 140734172321088 140734172315928 5107494 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 449155 447519 824 1460 0 447686 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 1796620
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4146
/proc/meminfo: memFree=27158208/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=1796620 CPUtime=1781.95 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 433166 0 0 0 177838 357 0 0 20 0 1 0 268431264 1839738880 447527 33554432000 4194304 10173063 140734172321088 140734172317048 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 449155 447527 832 1460 0 447686 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 1796620
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4146
/proc/meminfo: memFree=27107896/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=1846980 CPUtime=1800.05 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 433777 0 0 0 179593 412 0 0 20 0 1 0 268431264 1891307520 459891 33554432000 4194304 10173063 140734172321088 140734172317064 7241128 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 461745 459891 832 1460 0 460276 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1846980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -4091
Solver just ended. Dumping a history of the last processes samples
[startup+1801.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4147
/proc/meminfo: memFree=27102188/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=1869140 CPUtime=1801.24 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 434654 0 0 0 179712 412 0 0 20 0 1 0 268431264 1913999360 463323 33554432000 4194304 10173063 140734172321088 140734172317064 7241128 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 467285 463323 832 1460 0 465816 0
Current children cumulated CPU time (s) 1801.24
Current children cumulated vsize (KiB) 1869140
[startup+1802.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4147
/proc/meminfo: memFree=27089584/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=1869140 CPUtime=1801.65 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 434657 0 0 0 179753 412 0 0 20 0 1 0 268431264 1913999360 464859 33554432000 4194304 10173063 140734172321088 140734172317064 7241104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 467285 464859 832 1460 0 465816 0
Current children cumulated CPU time (s) 1801.65
Current children cumulated vsize (KiB) 1869140
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4147
/proc/meminfo: memFree=27089584/32873660 swapFree=7108/7108
[pid=4091] ppid=4089 vsize=1883640 CPUtime=1802.05 cores=0,2,4,6
/proc/4091/stat : 4091 (scip-2.1.1.4fix) R 4089 4091 3226 0 -1 4202496 435172 0 0 0 179792 413 0 0 20 0 1 0 268431264 1928847360 466907 33554432000 4194304 10173063 140734172321088 140734172317064 7241119 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/4091/statm: 470910 466907 832 1460 0 469441 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 1883640
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.43
CPU time (s): 1802.08
CPU user time (s): 1797.93
CPU system time (s): 4.14937
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 1883640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.93
system time used= 4.14937
maximum resident set size= 1867628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 435172
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= 91
involuntary context switches= 1935
runsolver used 5.55215 second user time and 16.3085 second system time
The end