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-3453482-1307120244.opb>
1.49/1.57 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245346 constraints
1.49/1.57 c problem read
1.49/1.58 c presolving settings loaded
2.39/2.40 c presolving:
8.69/8.78 c (round 1) 5610 del vars, 16364 del conss, 0 add conss, 4141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16767384 impls, 0 clqs
11.39/11.46 c (round 2) 12043 del vars, 41876 del conss, 0 add conss, 10170 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16802912 impls, 0 clqs
12.29/12.31 c (round 3) 14621 del vars, 53076 del conss, 0 add conss, 11865 chg bounds, 51 chg sides, 45 chg coeffs, 0 upgd conss, 16818378 impls, 0 clqs
12.69/12.76 c (round 4) 16038 del vars, 58671 del conss, 0 add conss, 12821 chg bounds, 79 chg sides, 86 chg coeffs, 0 upgd conss, 16827295 impls, 0 clqs
12.99/13.01 c (round 5) 16875 del vars, 61984 del conss, 0 add conss, 13385 chg bounds, 84 chg sides, 92 chg coeffs, 0 upgd conss, 16832562 impls, 0 clqs
13.10/13.17 c (round 6) 17283 del vars, 63784 del conss, 0 add conss, 13635 chg bounds, 84 chg sides, 92 chg coeffs, 0 upgd conss, 16835739 impls, 0 clqs
13.29/13.30 c (round 7) 17565 del vars, 64909 del conss, 0 add conss, 13823 chg bounds, 84 chg sides, 92 chg coeffs, 0 upgd conss, 16838313 impls, 0 clqs
13.29/13.39 c (round 8) 17689 del vars, 65490 del conss, 0 add conss, 13916 chg bounds, 84 chg sides, 92 chg coeffs, 0 upgd conss, 16839251 impls, 0 clqs
13.39/13.47 c (round 9) 17771 del vars, 65855 del conss, 0 add conss, 13978 chg bounds, 84 chg sides, 92 chg coeffs, 0 upgd conss, 16839554 impls, 0 clqs
13.49/13.54 c (round 10) 17807 del vars, 66037 del conss, 0 add conss, 14000 chg bounds, 84 chg sides, 92 chg coeffs, 0 upgd conss, 16839693 impls, 0 clqs
13.49/13.60 c (round 11) 17819 del vars, 66107 del conss, 0 add conss, 14008 chg bounds, 84 chg sides, 92 chg coeffs, 0 upgd conss, 16839727 impls, 0 clqs
14.20/14.30 c (round 12) 17819 del vars, 66117 del conss, 0 add conss, 14008 chg bounds, 84 chg sides, 92 chg coeffs, 179229 upgd conss, 16839727 impls, 0 clqs
14.78/14.87 c (round 13) 17819 del vars, 66122 del conss, 29 add conss, 14008 chg bounds, 141 chg sides, 300 chg coeffs, 179229 upgd conss, 16839727 impls, 0 clqs
14.98/15.09 c (round 14) 17819 del vars, 66128 del conss, 34 add conss, 14008 chg bounds, 152 chg sides, 346 chg coeffs, 179229 upgd conss, 16839727 impls, 0 clqs
671.20/671.24 c (671.2s) probing: 1000/55023 (1.8%) - 0 fixings, 0 aggregations, 13492056 implications, 0 bound changes
1188.72/1188.71 c (1188.7s) probing: 2000/55023 (3.6%) - 0 fixings, 0 aggregations, 20506271 implications, 0 bound changes
1189.14/1189.20 c (1189.2s) probing: 2001/55023 (3.6%) - 0 fixings, 0 aggregations, 20519458 implications, 0 bound changes
1189.14/1189.20 c (1189.2s) probing aborted: 2000/2000 successive useless probings
1189.22/1189.20 c presolving (15 rounds):
1189.22/1189.20 c 17819 deleted vars, 66128 deleted constraints, 34 added constraints, 14008 tightened bounds, 0 added holes, 152 changed sides, 351 changed coefficients
1189.22/1189.20 c 90421365 implications, 0 cliques
1189.22/1189.20 c presolved problem has 55023 variables (55023 bin, 0 int, 0 impl, 0 cont) and 179252 constraints
1189.22/1189.20 c 1096 constraints of type <knapsack>
1189.22/1189.20 c 150961 constraints of type <setppc>
1189.22/1189.20 c 27195 constraints of type <logicor>
1189.22/1189.20 c transformed objective value is always integral (scale: 1)
1189.22/1189.20 c Presolving Time: 1187.40
1189.22/1189.20 c - non default parameters ----------------------------------------------------------------------
1189.22/1189.20 c # SCIP version 2.0.1.4
1189.22/1189.20 c
1189.22/1189.20 c # frequency for displaying node information lines
1189.22/1189.20 c # [type: int, range: [-1,2147483647], default: 100]
1189.22/1189.20 c display/freq = 10000
1189.22/1189.20 c
1189.22/1189.20 c # maximal time in seconds to run
1189.22/1189.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1189.22/1189.20 c limits/time = 1800
1189.22/1189.20 c
1189.22/1189.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1189.22/1189.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1189.22/1189.20 c limits/memory = 13950
1189.22/1189.20 c
1189.22/1189.20 c # default clock type (1: CPU user seconds, 2: wall clock time)
1189.22/1189.20 c # [type: int, range: [1,2], default: 1]
1189.22/1189.20 c timing/clocktype = 2
1189.22/1189.20 c
1189.22/1189.20 c # belongs reading time to solving time?
1189.22/1189.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1189.22/1189.20 c timing/reading = TRUE
1189.22/1189.20 c
1189.22/1189.20 c # should presolving try to simplify inequalities
1189.22/1189.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1189.22/1189.20 c constraints/linear/simplifyinequalities = TRUE
1189.22/1189.20 c
1189.22/1189.20 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1189.22/1189.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1189.22/1189.20 c constraints/indicator/addCouplingCons = TRUE
1189.22/1189.20 c
1189.22/1189.20 c # should presolving try to simplify knapsacks
1189.22/1189.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1189.22/1189.20 c constraints/knapsack/simplifyinequalities = TRUE
1189.22/1189.20 c
1189.22/1189.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1189.22/1189.20 c # [type: int, range: [-1,2147483647], default: -1]
1189.22/1189.20 c separating/rapidlearning/freq = 0
1189.22/1189.20 c
1189.22/1189.20 c -----------------------------------------------------------------------------------------------
1189.22/1189.20 c start solving
1189.22/1189.24 c
1430.22/1430.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1430.22/1430.22 c 1430s| 1 | 0 | 49420 | - |2673M| 0 | 567 | 55k| 179k| 55k| 179k| 0 | 42 | 0 | 8.600000e+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-3453482-1307120244/watcher-3453482-1307120244 -o /tmp/evaluation-result-3453482-1307120244/solver-3453482-1307120244 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453482-1307120244.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: 1.10 1.58 1.82 3/524 11212
/proc/meminfo: memFree=24988772/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=10656 CPUtime=0 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 1664 0 0 0 0 0 0 0 22 0 1 0 902255108 10911744 1617 33554432000 4194304 9128323 140735033276688 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11212/statm: 2664 1617 400 1205 0 1455 0
[startup+0.0493959 s]
/proc/loadavg: 1.10 1.58 1.82 3/524 11212
/proc/meminfo: memFree=24988772/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=17452 CPUtime=0.04 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 3379 0 0 0 4 0 0 0 22 0 1 0 902255108 17870848 3331 33554432000 4194304 9128323 140735033276688 18446744073709551615 7905154 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11212/statm: 4363 3331 400 1205 0 3154 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17452
[startup+0.100378 s]
/proc/loadavg: 1.10 1.58 1.82 3/524 11212
/proc/meminfo: memFree=24988772/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=26344 CPUtime=0.08 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 5602 0 0 0 8 0 0 0 22 0 1 0 902255108 26976256 5553 33554432000 4194304 9128323 140735033276688 18446744073709551615 7998246 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11212/statm: 6586 5553 400 1205 0 5377 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26344
[startup+0.300354 s]
/proc/loadavg: 1.10 1.58 1.82 3/524 11212
/proc/meminfo: memFree=24988772/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=50216 CPUtime=0.29 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 11587 0 0 0 28 1 0 0 23 0 1 0 902255108 51421184 11506 33554432000 4194304 9128323 140735033276688 18446744073709551615 8008900 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11212/statm: 12554 11506 400 1205 0 11345 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50216
[startup+0.700284 s]
/proc/loadavg: 1.10 1.58 1.82 3/524 11212
/proc/meminfo: memFree=24988772/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=68576 CPUtime=0.68 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 16163 0 0 0 67 1 0 0 25 0 1 0 902255108 70221824 16074 33554432000 4194304 9128323 140735033276688 18446744073709551615 6165104 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11212/statm: 17144 16074 400 1205 0 15935 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 68576
[startup+1.50117 s]
/proc/loadavg: 1.10 1.58 1.82 3/528 11220
/proc/meminfo: memFree=24822084/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=131016 CPUtime=1.49 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 31746 0 0 0 145 4 0 0 25 0 1 0 902255108 134160384 31641 33554432000 4194304 9128323 140735033276688 18446744073709551615 4338658 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/11212/statm: 32754 31641 400 1205 0 31545 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 131016
[startup+3.10086 s]
/proc/loadavg: 1.17 1.58 1.82 3/528 11220
/proc/meminfo: memFree=24366048/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=475904 CPUtime=3.09 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 128473 0 0 0 294 15 0 0 25 0 1 0 902255108 487325696 115998 33554432000 4194304 9128323 140735033276688 18446744073709551615 4352215 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 118976 115998 501 1205 0 117767 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 475904
[startup+6.30033 s]
/proc/loadavg: 1.17 1.58 1.82 3/528 11221
/proc/meminfo: memFree=23628224/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=768596 CPUtime=6.29 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 200376 0 0 0 607 22 0 0 25 0 1 0 902255108 787042304 187901 33554432000 4194304 9128323 140735033276688 18446744073709551615 6593104 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 192149 187901 510 1205 0 190940 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 768596
[startup+12.7012 s]
/proc/loadavg: 1.30 1.60 1.82 3/528 11221
/proc/meminfo: memFree=23214592/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=890816 CPUtime=12.69 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 230513 0 0 0 1243 26 0 0 25 0 1 0 902255108 912195584 217007 33554432000 4194304 9128323 140735033276688 18446744073709551615 6594394 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 222704 217007 523 1205 0 221495 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 890816
[startup+25.501 s]
/proc/loadavg: 1.41 1.61 1.82 3/528 11221
/proc/meminfo: memFree=22999956/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=1018292 CPUtime=25.49 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 279219 0 0 0 2518 31 0 0 25 0 1 0 902255108 1042731008 246964 33554432000 4194304 9128323 140735033276688 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 254573 246964 659 1205 0 253364 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1018292
[startup+51.1005 s]
/proc/loadavg: 1.61 1.64 1.83 3/528 11222
/proc/meminfo: memFree=22900944/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=1070480 CPUtime=51.09 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 291706 0 0 0 5076 33 0 0 25 0 1 0 902255108 1096171520 259385 33554432000 4194304 9128323 140735033276688 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 267620 259385 659 1205 0 266411 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1070480
[startup+102.321 s]
/proc/loadavg: 1.84 1.70 1.83 3/528 11223
/proc/meminfo: memFree=22576632/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=1225072 CPUtime=102.31 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 329858 0 0 0 10194 37 0 0 25 0 1 0 902255108 1254473728 297537 33554432000 4194304 9128323 140735033276688 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 306268 297537 659 1205 0 305059 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1225072
[startup+162.301 s]
/proc/loadavg: 1.94 1.75 1.84 3/528 11225
/proc/meminfo: memFree=22256940/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=1389520 CPUtime=162.29 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 371945 0 0 0 16188 41 0 0 25 0 1 0 902255108 1422868480 339096 33554432000 4194304 9128323 140735033276688 18446744073709551615 5489947 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 347380 339096 659 1205 0 346171 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1389520
[startup+222.301 s]
/proc/loadavg: 1.98 1.79 1.84 3/528 11236
/proc/meminfo: memFree=21879216/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=1542440 CPUtime=222.29 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 409525 0 0 0 22184 45 0 0 25 0 1 0 902255108 1579458560 376676 33554432000 4194304 9128323 140735033276688 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 385610 376676 659 1205 0 384401 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1542440
[startup+282.301 s]
/proc/loadavg: 2.09 1.86 1.86 3/528 11238
/proc/meminfo: memFree=21374456/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=1797268 CPUtime=282.29 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 472740 0 0 0 28176 53 0 0 25 0 1 0 902255108 1840402432 439627 33554432000 4194304 9128323 140735033276688 18446744073709551615 6593438 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 449317 439627 659 1205 0 448108 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1797268
[startup+342.301 s]
/proc/loadavg: 2.15 1.92 1.88 3/528 11239
/proc/meminfo: memFree=21008500/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=1984056 CPUtime=342.3 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 518778 0 0 0 34171 59 0 0 25 0 1 0 902255108 2031673344 485665 33554432000 4194304 9128323 140735033276688 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 496014 485665 659 1205 0 494805 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1984056
[startup+402.301 s]
/proc/loadavg: 2.09 1.95 1.89 3/528 11241
/proc/meminfo: memFree=20715596/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=2140728 CPUtime=402.29 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 557823 0 0 0 40165 64 0 0 25 0 1 0 902255108 2192105472 524710 33554432000 4194304 9128323 140735033276688 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 535182 524710 659 1205 0 533973 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 2140728
[startup+462.301 s]
/proc/loadavg: 2.03 1.95 1.90 3/528 11243
/proc/meminfo: memFree=20288016/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=2312240 CPUtime=462.3 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 600228 0 0 0 46160 70 0 0 25 0 1 0 902255108 2367733760 567115 33554432000 4194304 9128323 140735033276688 18446744073709551615 4794279 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 578060 567115 659 1205 0 576851 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2312240
[startup+522.301 s]
/proc/loadavg: 2.01 1.96 1.90 3/528 11244
/proc/meminfo: memFree=19974272/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=2516732 CPUtime=522.3 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 651176 0 0 0 52153 77 0 0 25 0 1 0 902255108 2577133568 618063 33554432000 4194304 9128323 140735033276688 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 629183 618063 659 1205 0 627974 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2516732
[startup+582.301 s]
/proc/loadavg: 2.00 1.96 1.91 3/528 11246
/proc/meminfo: memFree=19725624/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=2573656 CPUtime=582.3 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 665800 0 0 0 58152 78 0 0 25 0 1 0 902255108 2635423744 632687 33554432000 4194304 9128323 140735033276688 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 643414 632687 659 1205 0 642205 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2573656
[startup+642.301 s]
################
# More data... #
################
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 817752 0 0 0 106131 101 0 0 25 0 1 0 902255108 3263606784 784639 33554432000 4194304 9128323 140735033276688 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 796779 784639 663 1205 0 795570 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 3187116
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/528 11260
/proc/meminfo: memFree=18186816/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=3248860 CPUtime=1122.31 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 833449 0 0 0 112128 103 0 0 25 0 1 0 902255108 3326832640 800336 33554432000 4194304 9128323 140735033276688 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 812215 800336 663 1205 0 811006 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 3248860
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/528 11262
/proc/meminfo: memFree=18066752/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=3313076 CPUtime=1182.31 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 848837 0 0 0 118126 105 0 0 25 0 1 0 902255108 3392589824 815724 33554432000 4194304 9128323 140735033276688 18446744073709551615 5489545 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 828269 815724 663 1205 0 827060 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 3313076
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/528 11263
/proc/meminfo: memFree=17672536/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=3643008 CPUtime=1242.32 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 924967 0 0 0 124115 117 0 0 25 0 1 0 902255108 3730440192 889317 33554432000 4194304 9128323 140735033276688 18446744073709551615 7312704 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 910752 889317 933 1205 0 909543 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3643008
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/528 11265
/proc/meminfo: memFree=17350108/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=3647924 CPUtime=1302.33 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 931560 0 0 0 130112 121 0 0 25 0 1 0 902255108 3735474176 894941 33554432000 4194304 9128323 140735033276688 18446744073709551615 8009021 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 911981 894941 800 1205 0 910772 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3647924
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/528 11267
/proc/meminfo: memFree=17316864/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=3677116 CPUtime=1362.32 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 936079 0 0 0 136107 125 0 0 25 0 1 0 902255108 3765366784 899307 33554432000 4194304 9128323 140735033276688 18446744073709551615 7316352 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 919279 899307 693 1205 0 918070 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3677116
[startup+1422.32 s]
/proc/loadavg: 2.07 2.03 1.95 3/528 11268
/proc/meminfo: memFree=17291916/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=3678972 CPUtime=1422.34 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 936792 0 0 0 142107 127 0 0 25 0 1 0 902255108 3767267328 900020 33554432000 4194304 9128323 140735033276688 18446744073709551615 7316156 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 919743 900020 693 1205 0 918534 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3678972
[startup+1482.3 s]
/proc/loadavg: 2.18 2.06 1.97 3/528 11270
/proc/meminfo: memFree=17249980/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=3679104 CPUtime=1482.32 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 940457 0 0 0 148101 131 0 0 25 0 1 0 902255108 3767402496 903678 33554432000 4194304 9128323 140735033276688 18446744073709551615 7312896 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 919776 903678 696 1205 0 918567 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3679104
[startup+1542.3 s]
/proc/loadavg: 2.12 2.07 1.97 3/528 11271
/proc/meminfo: memFree=17248340/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=3679104 CPUtime=1542.32 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 940459 0 0 0 154099 133 0 0 25 0 1 0 902255108 3767402496 903680 33554432000 4194304 9128323 140735033276688 18446744073709551615 7381250 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 919776 903680 696 1205 0 918567 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3679104
[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 1.97 3/528 11273
/proc/meminfo: memFree=17248312/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=3679104 CPUtime=1602.32 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 940459 0 0 0 160097 135 0 0 25 0 1 0 902255108 3767402496 903680 33554432000 4194304 9128323 140735033276688 18446744073709551615 7325219 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 919776 903680 696 1205 0 918567 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 3679104
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 1.97 3/528 11276
/proc/meminfo: memFree=17246548/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=3679104 CPUtime=1662.32 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 941080 0 0 0 166093 139 0 0 25 0 1 0 902255108 3767402496 904297 33554432000 4194304 9128323 140735033276688 18446744073709551615 6309894 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 919776 904297 855 1205 0 918567 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 3679104
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/528 11277
/proc/meminfo: memFree=17246396/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=3679104 CPUtime=1722.33 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 941093 0 0 0 172094 139 0 0 25 0 1 0 902255108 3767402496 904310 33554432000 4194304 9128323 140735033276688 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 919776 904310 859 1205 0 918567 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3679104
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/528 11280
/proc/meminfo: memFree=17244136/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=3679104 CPUtime=1782.33 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 941093 0 0 0 178094 139 0 0 25 0 1 0 902255108 3767402496 904310 33554432000 4194304 9128323 140735033276688 18446744073709551615 6243200 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 919776 904310 859 1205 0 918567 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3679104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 1.97 3/528 11280
/proc/meminfo: memFree=17244868/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=3679104 CPUtime=1800.04 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 941102 0 0 0 179865 139 0 0 25 0 1 0 902255108 3767402496 904310 33554432000 4194304 9128323 140735033276688 18446744073709551615 6244928 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 919776 904310 850 1205 0 918567 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3679104
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11212
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.02 1.97 3/530 11283
/proc/meminfo: memFree=17242744/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=3679104 CPUtime=1801.43 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 941158 0 0 0 180004 139 0 0 25 0 1 0 902255108 3767402496 904365 33554432000 4194304 9128323 140735033276688 18446744073709551615 6244928 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 919776 904365 849 1205 0 918567 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 3679104
[startup+1801.82 s]
/proc/loadavg: 2.00 2.02 1.97 3/530 11283
/proc/meminfo: memFree=17243736/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=3679104 CPUtime=1801.85 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 941158 0 0 0 180046 139 0 0 25 0 1 0 902255108 3767402496 904365 33554432000 4194304 9128323 140735033276688 18446744073709551615 6244944 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 919776 904365 849 1205 0 918567 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 3679104
[startup+1802 s]
/proc/loadavg: 2.00 2.02 1.97 3/530 11283
/proc/meminfo: memFree=17243736/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=3679104 CPUtime=1802.03 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4202496 941158 0 0 0 180064 139 0 0 25 0 1 0 902255108 3767402496 904365 33554432000 4194304 9128323 140735033276688 18446744073709551615 6244953 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11212/statm: 919776 904365 849 1205 0 918567 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 3679104
[startup+1802.1 s]
/proc/loadavg: 2.00 2.02 1.97 3/530 11283
/proc/meminfo: memFree=17243736/32951124 swapFree=56241860/67111528
[pid=11212] ppid=11210 vsize=0 CPUtime=1802.13 cores=0,2,4,6
/proc/11212/stat : 11212 (scip-2.0.1.4.li) R 11210 11212 5807 0 -1 4203524 941158 0 0 0 180066 147 0 0 25 0 1 0 902255108 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/11212/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.18
CPU time (s): 1802.21
CPU user time (s): 1800.66
CPU system time (s): 1.55276
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3679104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.66
system time used= 1.55276
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 941158
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= 1520
runsolver used 9.98848 second user time and 21.2608 second system time
The end