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-3453542-1307122030.opb>
1.19/1.26 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192594 constraints
1.19/1.26 c problem read
1.19/1.26 c presolving settings loaded
1.89/1.90 c presolving:
6.69/6.78 c (round 1) 5566 del vars, 16216 del conss, 0 add conss, 4401 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12953472 impls, 0 clqs
8.19/8.25 c (round 2) 10243 del vars, 37571 del conss, 0 add conss, 8768 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12980786 impls, 0 clqs
8.59/8.69 c (round 3) 12308 del vars, 46514 del conss, 0 add conss, 10051 chg bounds, 49 chg sides, 48 chg coeffs, 0 upgd conss, 12997802 impls, 0 clqs
8.89/8.92 c (round 4) 13191 del vars, 50511 del conss, 0 add conss, 10650 chg bounds, 59 chg sides, 60 chg coeffs, 0 upgd conss, 13005060 impls, 0 clqs
8.99/9.07 c (round 5) 13783 del vars, 52972 del conss, 0 add conss, 10975 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13010474 impls, 0 clqs
9.09/9.18 c (round 6) 14126 del vars, 54491 del conss, 0 add conss, 11179 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13015088 impls, 0 clqs
9.19/9.29 c (round 7) 14449 del vars, 55696 del conss, 0 add conss, 11368 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13018623 impls, 0 clqs
9.29/9.37 c (round 8) 14660 del vars, 56618 del conss, 0 add conss, 11490 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13021202 impls, 0 clqs
9.39/9.44 c (round 9) 14782 del vars, 57171 del conss, 0 add conss, 11563 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13023062 impls, 0 clqs
9.49/9.50 c (round 10) 14890 del vars, 57599 del conss, 0 add conss, 11629 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13024516 impls, 0 clqs
9.49/9.55 c (round 11) 14952 del vars, 57899 del conss, 0 add conss, 11672 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025101 impls, 0 clqs
9.59/9.60 c (round 12) 15000 del vars, 58094 del conss, 0 add conss, 11705 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025374 impls, 0 clqs
9.59/9.65 c (round 13) 15024 del vars, 58211 del conss, 0 add conss, 11722 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025466 impls, 0 clqs
9.59/9.69 c (round 14) 15030 del vars, 58255 del conss, 0 add conss, 11725 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 13025492 impls, 0 clqs
472.50/472.69 c (472.7s) probing: 1000/39750 (2.5%) - 0 fixings, 0 aggregations, 11719950 implications, 0 bound changes
832.31/832.44 c (832.4s) probing: 2000/39750 (5.0%) - 0 fixings, 0 aggregations, 19025045 implications, 0 bound changes
832.63/832.76 c (832.8s) probing: 2001/39750 (5.0%) - 0 fixings, 0 aggregations, 19031320 implications, 0 bound changes
832.63/832.76 c (832.8s) probing aborted: 2000/2000 successive useless probings
832.63/832.76 c (round 15) 15032 del vars, 58271 del conss, 0 add conss, 11726 chg bounds, 67 chg sides, 73 chg coeffs, 0 upgd conss, 79430638 impls, 0 clqs
833.31/833.46 c (round 16) 15032 del vars, 58271 del conss, 0 add conss, 11726 chg bounds, 67 chg sides, 73 chg coeffs, 134323 upgd conss, 79430638 impls, 0 clqs
834.41/834.51 c (round 17) 15032 del vars, 58279 del conss, 27 add conss, 11726 chg bounds, 144 chg sides, 449 chg coeffs, 134323 upgd conss, 79430638 impls, 0 clqs
903.31/903.42 c (903.4s) probing: 2201/39750 (5.5%) - 0 fixings, 0 aggregations, 19844918 implications, 0 bound changes
903.31/903.42 c (903.4s) probing aborted: 2000/2000 successive useless probings
903.31/903.43 c presolving (18 rounds):
903.31/903.43 c 15032 deleted vars, 58282 deleted constraints, 27 added constraints, 11726 tightened bounds, 0 added holes, 145 changed sides, 460 changed coefficients
903.31/903.43 c 81581712 implications, 0 cliques
903.31/903.43 c presolved problem has 39750 variables (39750 bin, 0 int, 0 impl, 0 cont) and 134339 constraints
903.31/903.43 c 1123 constraints of type <knapsack>
903.31/903.43 c 113594 constraints of type <setppc>
903.31/903.43 c 19622 constraints of type <logicor>
903.31/903.43 c transformed objective value is always integral (scale: 1)
903.31/903.43 c Presolving Time: 901.99
903.31/903.43 c - non default parameters ----------------------------------------------------------------------
903.31/903.43 c # SCIP version 2.0.1.4
903.31/903.43 c
903.31/903.43 c # frequency for displaying node information lines
903.31/903.43 c # [type: int, range: [-1,2147483647], default: 100]
903.31/903.43 c display/freq = 10000
903.31/903.43 c
903.31/903.43 c # maximal time in seconds to run
903.31/903.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
903.31/903.43 c limits/time = 1800
903.31/903.43 c
903.31/903.43 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
903.31/903.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
903.31/903.43 c limits/memory = 13950
903.31/903.43 c
903.31/903.43 c # default clock type (1: CPU user seconds, 2: wall clock time)
903.31/903.43 c # [type: int, range: [1,2], default: 1]
903.31/903.43 c timing/clocktype = 2
903.31/903.43 c
903.31/903.43 c # belongs reading time to solving time?
903.31/903.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
903.31/903.43 c timing/reading = TRUE
903.31/903.43 c
903.31/903.43 c # should presolving try to simplify inequalities
903.31/903.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
903.31/903.43 c constraints/linear/simplifyinequalities = TRUE
903.31/903.43 c
903.31/903.43 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
903.31/903.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
903.31/903.43 c constraints/indicator/addCouplingCons = TRUE
903.31/903.43 c
903.31/903.43 c # should presolving try to simplify knapsacks
903.31/903.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
903.31/903.43 c constraints/knapsack/simplifyinequalities = TRUE
903.31/903.43 c
903.31/903.43 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
903.31/903.43 c # [type: int, range: [-1,2147483647], default: -1]
903.31/903.43 c separating/rapidlearning/freq = 0
903.31/903.43 c
903.31/903.43 c -----------------------------------------------------------------------------------------------
903.31/903.43 c start solving
903.31/903.44 c
905.71/905.89 o 300
905.71/905.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
905.71/905.89 c T 906s| 1 | 0 | 0 | - |2361M| 0 | - | 39k| 134k| 39k| 134k| 0 | 0 | 0 | -- | 3.000000e+02 | Inf
993.23/993.32 c 993s| 1 | 0 | 31550 | - |2352M| 0 | 184 | 39k| 133k| 39k| 134k| 0 | 0 | 0 | 9.800000e+01 | 3.000000e+02 | 206.12%
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-3453542-1307122030/watcher-3453542-1307122030 -o /tmp/evaluation-result-3453542-1307122030/solver-3453542-1307122030 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453542-1307122030.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.00 2.02 2.00 2/535 11621
/proc/meminfo: memFree=25176588/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=11568 CPUtime=0 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 1879 0 0 0 0 0 0 0 21 0 1 0 804619335 11845632 1832 33554432000 4194304 9128323 140734685060992 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11621/statm: 2892 1836 400 1205 0 1683 0
[startup+0.073409 s]
/proc/loadavg: 2.00 2.02 2.00 2/535 11621
/proc/meminfo: memFree=25176588/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=23848 CPUtime=0.06 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 4947 0 0 0 6 0 0 0 21 0 1 0 804619335 24420352 4898 33554432000 4194304 9128323 140734685060992 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11621/statm: 5962 4898 400 1205 0 4753 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 23848
[startup+0.100398 s]
/proc/loadavg: 2.00 2.02 2.00 2/535 11621
/proc/meminfo: memFree=25176588/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=26340 CPUtime=0.09 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 5602 0 0 0 9 0 0 0 21 0 1 0 804619335 26972160 5553 33554432000 4194304 9128323 140734685060992 18446744073709551615 8008910 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11621/statm: 6841 5573 400 1205 0 5632 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26340
[startup+0.300365 s]
/proc/loadavg: 2.00 2.02 2.00 2/535 11621
/proc/meminfo: memFree=25176588/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=43888 CPUtime=0.29 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 10002 0 0 0 28 1 0 0 22 0 1 0 804619335 44941312 9921 33554432000 4194304 9128323 140734685060992 18446744073709551615 8008880 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11621/statm: 10972 9921 400 1205 0 9763 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43888
[startup+0.700292 s]
/proc/loadavg: 2.00 2.02 2.00 2/535 11621
/proc/meminfo: memFree=25176588/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=64492 CPUtime=0.69 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 15140 0 0 0 68 1 0 0 24 0 1 0 804619335 66039808 15051 33554432000 4194304 9128323 140734685060992 18446744073709551615 6191637 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11621/statm: 16123 15051 400 1205 0 14914 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64492
[startup+1.50015 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11622
/proc/meminfo: memFree=25026468/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=221804 CPUtime=1.49 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 54181 0 0 0 144 5 0 0 25 0 1 0 804619335 227127296 54028 33554432000 4194304 9128323 140734685060992 18446744073709551615 8012251 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11621/statm: 55451 54028 467 1205 0 54242 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 221804
[startup+3.10086 s]
/proc/loadavg: 2.00 2.02 2.00 4/536 11622
/proc/meminfo: memFree=24544356/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=450616 CPUtime=3.09 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 119184 0 0 0 297 12 0 0 25 0 1 0 804619335 461430784 110673 33554432000 4194304 9128323 140734685060992 18446744073709551615 4352210 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11621/statm: 112654 110673 510 1205 0 111445 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 450616
[startup+6.30029 s]
/proc/loadavg: 2.08 2.03 2.01 3/536 11622
/proc/meminfo: memFree=23971876/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=688736 CPUtime=6.29 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 176828 0 0 0 611 18 0 0 25 0 1 0 804619335 705265664 168317 33554432000 4194304 9128323 140734685060992 18446744073709551615 6890077 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11621/statm: 172184 168317 519 1205 0 170975 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 688736
[startup+12.7011 s]
/proc/loadavg: 2.07 2.03 2.00 3/536 11622
/proc/meminfo: memFree=23760508/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=733008 CPUtime=12.69 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 188800 0 0 0 1249 20 0 0 25 0 1 0 804619335 750600192 178605 33554432000 4194304 9128323 140734685060992 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11621/statm: 183252 178605 554 1205 0 182043 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 733008
[startup+25.5009 s]
/proc/loadavg: 2.06 2.03 2.00 3/536 11623
/proc/meminfo: memFree=23676580/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=768556 CPUtime=25.49 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 197110 0 0 0 2528 21 0 0 25 0 1 0 804619335 787001344 186915 33554432000 4194304 9128323 140734685060992 18446744073709551615 5235810 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11621/statm: 192139 186915 554 1205 0 190930 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 768556
[startup+51.1003 s]
/proc/loadavg: 2.04 2.03 2.00 3/536 11623
/proc/meminfo: memFree=23522676/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=846740 CPUtime=51.09 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 216630 0 0 0 5085 24 0 0 25 0 1 0 804619335 867061760 206435 33554432000 4194304 9128323 140734685060992 18446744073709551615 4232530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11621/statm: 211685 206435 554 1205 0 210476 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 846740
[startup+102.32 s]
/proc/loadavg: 2.01 2.02 2.00 4/536 11625
/proc/meminfo: memFree=23253112/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=990084 CPUtime=102.31 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 252091 0 0 0 10204 27 0 0 25 0 1 0 804619335 1013846016 241896 33554432000 4194304 9128323 140734685060992 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11621/statm: 247521 241896 554 1205 0 246312 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 990084
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11626
/proc/meminfo: memFree=22817944/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=1238332 CPUtime=162.29 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 313716 0 0 0 16194 35 0 0 25 0 1 0 804619335 1268051968 303521 33554432000 4194304 9128323 140734685060992 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11621/statm: 309583 303521 554 1205 0 308374 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1238332
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 11628
/proc/meminfo: memFree=22236576/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=1586696 CPUtime=222.29 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 399040 0 0 0 22184 45 0 0 25 0 1 0 804619335 1624776704 388845 33554432000 4194304 9128323 140734685060992 18446744073709551615 5207902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11621/statm: 396674 388845 554 1205 0 395465 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1586696
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/536 11630
/proc/meminfo: memFree=21895512/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=1775916 CPUtime=282.29 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 446239 0 0 0 28179 50 0 0 25 0 1 0 804619335 1818537984 436044 33554432000 4194304 9128323 140734685060992 18446744073709551615 6593107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11621/statm: 443979 436044 554 1205 0 442770 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1775916
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 11631
/proc/meminfo: memFree=21476832/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=2001328 CPUtime=342.2 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 501728 0 0 0 34162 58 0 0 25 0 1 0 804619335 2049359872 491533 33554432000 4194304 9128323 140734685060992 18446744073709551615 5207902 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11621/statm: 500332 491533 554 1205 0 499123 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 2001328
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/536 11633
/proc/meminfo: memFree=21228396/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=2144500 CPUtime=402.19 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 536990 0 0 0 40157 62 0 0 25 0 1 0 804619335 2195968000 526795 33554432000 4194304 9128323 140734685060992 18446744073709551615 4794037 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11621/statm: 536125 526795 554 1205 0 534916 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 2144500
[startup+462.301 s]
/proc/loadavg: 2.14 2.04 2.01 4/536 11634
/proc/meminfo: memFree=20981344/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=2291000 CPUtime=462.2 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 573930 0 0 0 46152 68 0 0 25 0 1 0 804619335 2345984000 563735 33554432000 4194304 9128323 140734685060992 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11621/statm: 572750 563735 554 1205 0 571541 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 2291000
[startup+522.301 s]
/proc/loadavg: 2.17 2.06 2.02 3/536 11636
/proc/meminfo: memFree=20721376/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=2435968 CPUtime=522.2 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 610756 0 0 0 52146 74 0 0 25 0 1 0 804619335 2494431232 600561 33554432000 4194304 9128323 140734685060992 18446744073709551615 5240725 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11621/statm: 608992 600561 558 1205 0 607783 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 2435968
[startup+582.3 s]
/proc/loadavg: 2.18 2.08 2.02 3/536 11638
/proc/meminfo: memFree=20569672/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=2546444 CPUtime=582.2 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 637888 0 0 0 58142 78 0 0 25 0 1 0 804619335 2607558656 627693 33554432000 4194304 9128323 140734685060992 18446744073709551615 5973125 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11621/statm: 636611 627693 558 1205 0 635402 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 2546444
[startup+642.301 s]
################
# More data... #
################
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 852679 0 0 0 100106 115 0 0 25 0 1 0 804619335 3401314304 816586 33554432000 4194304 9128323 140734685060992 18446744073709551615 8008980 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11621/statm: 830399 816586 775 1205 0 829190 0
Current children cumulated CPU time (s) 1002.21
Current children cumulated vsize (KiB) 3321596
[startup+1062.3 s]
/proc/loadavg: 1.72 1.96 1.98 2/530 11667
/proc/meminfo: memFree=21944500/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=3321596 CPUtime=1062.21 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 852723 0 0 0 106106 115 0 0 25 0 1 0 804619335 3401314304 816630 33554432000 4194304 9128323 140734685060992 18446744073709551615 6243360 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11621/statm: 830399 816630 781 1205 0 829190 0
Current children cumulated CPU time (s) 1062.21
Current children cumulated vsize (KiB) 3321596
[startup+1122.3 s]
/proc/loadavg: 1.26 1.78 1.91 2/530 11669
/proc/meminfo: memFree=21945056/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=3321596 CPUtime=1122.22 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 852723 0 0 0 112107 115 0 0 25 0 1 0 804619335 3401314304 816630 33554432000 4194304 9128323 140734685060992 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11621/statm: 830399 816630 781 1205 0 829190 0
Current children cumulated CPU time (s) 1122.22
Current children cumulated vsize (KiB) 3321596
[startup+1182.3 s]
/proc/loadavg: 1.09 1.64 1.85 2/530 11671
/proc/meminfo: memFree=21943628/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=3321596 CPUtime=1182.22 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 852723 0 0 0 118107 115 0 0 25 0 1 0 804619335 3401314304 816630 33554432000 4194304 9128323 140734685060992 18446744073709551615 6243313 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11621/statm: 830399 816630 781 1205 0 829190 0
Current children cumulated CPU time (s) 1182.22
Current children cumulated vsize (KiB) 3321596
[startup+1242.3 s]
/proc/loadavg: 1.03 1.52 1.80 2/530 11672
/proc/meminfo: memFree=21943704/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=3321596 CPUtime=1242.22 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 852723 0 0 0 124107 115 0 0 25 0 1 0 804619335 3401314304 816630 33554432000 4194304 9128323 140734685060992 18446744073709551615 6243296 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11621/statm: 830399 816630 781 1205 0 829190 0
Current children cumulated CPU time (s) 1242.22
Current children cumulated vsize (KiB) 3321596
[startup+1302.3 s]
/proc/loadavg: 1.01 1.42 1.74 2/530 11674
/proc/meminfo: memFree=21943036/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=3321596 CPUtime=1302.23 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 852723 0 0 0 130108 115 0 0 25 0 1 0 804619335 3401314304 816630 33554432000 4194304 9128323 140734685060992 18446744073709551615 6243311 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11621/statm: 830399 816630 781 1205 0 829190 0
Current children cumulated CPU time (s) 1302.23
Current children cumulated vsize (KiB) 3321596
[startup+1362.3 s]
/proc/loadavg: 1.00 1.34 1.69 2/530 11675
/proc/meminfo: memFree=21944228/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=3321596 CPUtime=1362.22 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 852723 0 0 0 136107 115 0 0 25 0 1 0 804619335 3401314304 816630 33554432000 4194304 9128323 140734685060992 18446744073709551615 6243311 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11621/statm: 830399 816630 781 1205 0 829190 0
Current children cumulated CPU time (s) 1362.22
Current children cumulated vsize (KiB) 3321596
[startup+1422.32 s]
/proc/loadavg: 1.00 1.28 1.65 2/530 11677
/proc/meminfo: memFree=21944432/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=3321596 CPUtime=1422.24 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 852723 0 0 0 142109 115 0 0 25 0 1 0 804619335 3401314304 816630 33554432000 4194304 9128323 140734685060992 18446744073709551615 6243388 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11621/statm: 830399 816630 781 1205 0 829190 0
Current children cumulated CPU time (s) 1422.24
Current children cumulated vsize (KiB) 3321596
[startup+1482.3 s]
/proc/loadavg: 1.00 1.22 1.61 2/530 11679
/proc/meminfo: memFree=21944376/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=3321596 CPUtime=1482.23 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 852723 0 0 0 148108 115 0 0 25 0 1 0 804619335 3401314304 816630 33554432000 4194304 9128323 140734685060992 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11621/statm: 830399 816630 781 1205 0 829190 0
Current children cumulated CPU time (s) 1482.23
Current children cumulated vsize (KiB) 3321596
[startup+1542.3 s]
/proc/loadavg: 1.12 1.21 1.58 2/530 11680
/proc/meminfo: memFree=21944324/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=3321596 CPUtime=1542.23 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 852723 0 0 0 154108 115 0 0 25 0 1 0 804619335 3401314304 816630 33554432000 4194304 9128323 140734685060992 18446744073709551615 6243311 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11621/statm: 830399 816630 781 1205 0 829190 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 3321596
[startup+1602.3 s]
/proc/loadavg: 1.10 1.19 1.54 2/530 11682
/proc/meminfo: memFree=21944520/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=3321596 CPUtime=1602.23 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 852723 0 0 0 160108 115 0 0 25 0 1 0 804619335 3401314304 816630 33554432000 4194304 9128323 140734685060992 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11621/statm: 830399 816630 781 1205 0 829190 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 3321596
[startup+1662.3 s]
/proc/loadavg: 1.04 1.15 1.50 2/530 11683
/proc/meminfo: memFree=21944600/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=3321596 CPUtime=1662.23 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 852723 0 0 0 166108 115 0 0 25 0 1 0 804619335 3401314304 816630 33554432000 4194304 9128323 140734685060992 18446744073709551615 6243388 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11621/statm: 830399 816630 781 1205 0 829190 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 3321596
[startup+1722.3 s]
/proc/loadavg: 1.01 1.12 1.47 2/530 11685
/proc/meminfo: memFree=21944668/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=3321596 CPUtime=1722.23 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 852723 0 0 0 172108 115 0 0 25 0 1 0 804619335 3401314304 816630 33554432000 4194304 9128323 140734685060992 18446744073709551615 6243388 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11621/statm: 830399 816630 781 1205 0 829190 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 3321596
[startup+1782.3 s]
/proc/loadavg: 1.00 1.10 1.44 2/530 11687
/proc/meminfo: memFree=21943608/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=3321596 CPUtime=1782.23 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 852723 0 0 0 178108 115 0 0 25 0 1 0 804619335 3401314304 816630 33554432000 4194304 9128323 140734685060992 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11621/statm: 830399 816630 781 1205 0 829190 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 3321596
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 1.00 1.09 1.43 2/530 11687
/proc/meminfo: memFree=21944212/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=3321596 CPUtime=1800.04 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 852744 0 0 0 179889 115 0 0 25 0 1 0 804619335 3401314304 816630 33554432000 4194304 9128323 140734685060992 18446744073709551615 6244953 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11621/statm: 830399 816630 760 1205 0 829190 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3321596
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11621
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.09 1.43 2/531 11688
/proc/meminfo: memFree=21939988/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=3321596 CPUtime=1801.33 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 853918 0 0 0 180018 115 0 0 25 0 1 0 804619335 3401314304 817804 33554432000 4194304 9128323 140734685060992 18446744073709551615 6244953 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11621/statm: 830399 817804 760 1205 0 829190 0
Current children cumulated CPU time (s) 1801.33
Current children cumulated vsize (KiB) 3321596
[startup+1801.82 s]
/proc/loadavg: 1.00 1.09 1.43 2/531 11688
/proc/meminfo: memFree=21938748/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=3321596 CPUtime=1801.75 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4202496 853918 0 0 0 180060 115 0 0 25 0 1 0 804619335 3401314304 817804 33554432000 4194304 9128323 140734685060992 18446744073709551615 6244953 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11621/statm: 830399 817804 760 1205 0 829190 0
Current children cumulated CPU time (s) 1801.75
Current children cumulated vsize (KiB) 3321596
[startup+1802.2 s]
/proc/loadavg: 1.00 1.09 1.43 2/531 11688
/proc/meminfo: memFree=21938748/32951124 swapFree=46970528/67111528
[pid=11621] ppid=11619 vsize=0 CPUtime=1802.13 cores=1,3,5,7
/proc/11621/stat : 11621 (scip-2.0.1.4.li) R 11619 11621 9437 0 -1 4203524 853919 0 0 0 180090 123 0 0 25 0 1 0 804619335 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/11621/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.25
CPU time (s): 1802.19
CPU user time (s): 1800.91
CPU system time (s): 1.2828
CPU usage (%): 99.997
Max. virtual memory (cumulated for all children) (KiB): 3332480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.91
system time used= 1.2828
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 853919
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= 2250
runsolver used 8.89865 second user time and 22.3906 second system time
The end