0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3489802-1307794190.opb>
1.00/1.05 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192594 constraints
1.00/1.05 c problem read
1.00/1.05 c presolving settings loaded
1.39/1.41 c presolving:
7.60/7.60 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
10.09/10.11 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
10.90/10.96 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
11.39/11.41 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
11.59/11.66 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
11.79/11.85 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
12.00/12.02 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
12.10/12.14 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
12.19/12.24 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
12.29/12.32 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
12.29/12.38 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
12.39/12.44 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
12.39/12.48 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
12.49/12.53 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
637.61/637.60 c (637.6s) probing: 1000/39750 (2.5%) - 0 fixings, 0 aggregations, 11719950 implications, 0 bound changes
1057.03/1057.07 c (1057.1s) probing: 2000/39750 (5.0%) - 0 fixings, 0 aggregations, 19025045 implications, 0 bound changes
1057.43/1057.41 c (1057.4s) probing: 2001/39750 (5.0%) - 0 fixings, 0 aggregations, 19031320 implications, 0 bound changes
1057.43/1057.41 c (1057.4s) probing aborted: 2000/2000 successive useless probings
1057.43/1057.41 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
1058.03/1058.09 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
1059.13/1059.11 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
1167.04/1167.02 c (1167.0s) probing: 2201/39750 (5.5%) - 0 fixings, 0 aggregations, 19844918 implications, 0 bound changes
1167.04/1167.02 c (1167.0s) probing aborted: 2000/2000 successive useless probings
1167.04/1167.02 c presolving (18 rounds):
1167.04/1167.02 c 15032 deleted vars, 58282 deleted constraints, 27 added constraints, 11726 tightened bounds, 0 added holes, 145 changed sides, 460 changed coefficients
1167.04/1167.02 c 81581712 implications, 0 cliques
1167.04/1167.02 c presolved problem has 39750 variables (39750 bin, 0 int, 0 impl, 0 cont) and 134339 constraints
1167.04/1167.02 c 1123 constraints of type <knapsack>
1167.04/1167.02 c 113594 constraints of type <setppc>
1167.04/1167.02 c 19622 constraints of type <logicor>
1167.04/1167.02 c transformed objective value is always integral (scale: 1)
1167.04/1167.02 c Presolving Time: 1165.71
1167.04/1167.02 c - non default parameters ----------------------------------------------------------------------
1167.04/1167.02 c # SCIP version 2.0.1.5
1167.04/1167.02 c
1167.04/1167.02 c # frequency for displaying node information lines
1167.04/1167.02 c # [type: int, range: [-1,2147483647], default: 100]
1167.04/1167.02 c display/freq = 10000
1167.04/1167.02 c
1167.04/1167.02 c # maximal time in seconds to run
1167.04/1167.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1167.04/1167.02 c limits/time = 1797
1167.04/1167.02 c
1167.04/1167.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1167.04/1167.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1167.04/1167.02 c limits/memory = 13950
1167.04/1167.02 c
1167.04/1167.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
1167.04/1167.02 c # [type: int, range: [1,2], default: 1]
1167.04/1167.02 c timing/clocktype = 2
1167.04/1167.02 c
1167.04/1167.02 c # belongs reading time to solving time?
1167.04/1167.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1167.04/1167.02 c timing/reading = TRUE
1167.04/1167.02 c
1167.04/1167.02 c # should presolving try to simplify inequalities
1167.04/1167.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1167.04/1167.02 c constraints/linear/simplifyinequalities = TRUE
1167.04/1167.02 c
1167.04/1167.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1167.04/1167.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1167.04/1167.02 c constraints/indicator/addCouplingCons = TRUE
1167.04/1167.02 c
1167.04/1167.02 c # should presolving try to simplify knapsacks
1167.04/1167.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1167.04/1167.02 c constraints/knapsack/simplifyinequalities = TRUE
1167.04/1167.02 c
1167.04/1167.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1167.04/1167.02 c # [type: int, range: [-1,2147483647], default: -1]
1167.04/1167.02 c separating/rapidlearning/freq = 0
1167.04/1167.02 c
1167.04/1167.02 c -----------------------------------------------------------------------------------------------
1167.04/1167.02 c start solving
1167.04/1167.04 c
1169.44/1169.49 o 300
1169.44/1169.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1169.44/1169.49 c T1169s| 1 | 0 | 0 | - |2376M| 0 | - | 39k| 134k| 39k| 134k| 0 | 0 | 0 | -- | 3.000000e+02 | Inf
1255.84/1255.82 c 1256s| 1 | 0 | 31550 | - |2366M| 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.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3489802-1307794190/watcher-3489802-1307794190 -o /tmp/evaluation-result-3489802-1307794190/solver-3489802-1307794190 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489802-1307794190.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.00 2.00 2/177 9791
/proc/meminfo: memFree=28354240/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=12872 CPUtime=0 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 2219 0 0 0 0 0 0 0 22 0 1 0 969649717 13180928 2174 33554432000 4194304 9016284 140736403902528 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9791/statm: 3218 2174 360 1178 0 2036 0
[startup+0.0117839 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 9791
/proc/meminfo: memFree=28354240/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=14384 CPUtime=0 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 2588 0 0 0 0 0 0 0 22 0 1 0 969649717 14729216 2543 33554432000 4194304 9016284 140736403902528 18446744073709551615 7995922 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9791/statm: 3596 2543 360 1178 0 2414 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14384
[startup+0.100834 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 9791
/proc/meminfo: memFree=28354240/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=32388 CPUtime=0.09 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 7097 0 0 0 9 0 0 0 22 0 1 0 969649717 33165312 7052 33554432000 4194304 9016284 140736403902528 18446744073709551615 5267949 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9791/statm: 8097 7052 360 1178 0 6915 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32388
[startup+0.300814 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 9791
/proc/meminfo: memFree=28354240/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=54056 CPUtime=0.29 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 12491 0 0 0 28 1 0 0 23 0 1 0 969649717 55353344 12446 33554432000 4194304 9016284 140736403902528 18446744073709551615 7870483 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9791/statm: 13514 12446 360 1178 0 12332 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54056
[startup+0.700721 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 9791
/proc/meminfo: memFree=28354240/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=87720 CPUtime=0.69 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 20929 0 0 0 67 2 0 0 25 0 1 0 969649717 89825280 20884 33554432000 4194304 9016284 140736403902528 18446744073709551615 7870478 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9791/statm: 21930 20884 360 1178 0 20748 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87720
[startup+1.50058 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9792
/proc/meminfo: memFree=28237584/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=303584 CPUtime=1.49 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 74102 0 0 0 141 8 0 0 25 0 1 0 969649717 310870016 74007 33554432000 4194304 9016284 140736403902528 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 75896 74007 474 1178 0 74714 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 303584
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9792
/proc/meminfo: memFree=27989460/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=452172 CPUtime=3.09 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 111057 0 0 0 297 12 0 0 25 0 1 0 969649717 463024128 110962 33554432000 4194304 9016284 140736403902528 18446744073709551615 6480197 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 113043 110962 485 1178 0 111861 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 452172
[startup+6.30067 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9792
/proc/meminfo: memFree=27769908/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=643956 CPUtime=6.29 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 157361 0 0 0 611 18 0 0 25 0 1 0 969649717 659410944 157266 33554432000 4194304 9016284 140736403902528 18446744073709551615 6480233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 160989 157266 485 1178 0 159807 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 643956
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9792
/proc/meminfo: memFree=27681272/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=710456 CPUtime=12.69 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 174013 0 0 0 1250 19 0 0 25 0 1 0 969649717 727506944 173547 33554432000 4194304 9016284 140736403902528 18446744073709551615 4899411 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 177614 173547 518 1178 0 176432 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 710456
[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9793
/proc/meminfo: memFree=27629020/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=743216 CPUtime=25.49 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 181042 0 0 0 2529 20 0 0 25 0 1 0 969649717 761053184 180576 33554432000 4194304 9016284 140736403902528 18446744073709551615 6480384 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 185804 180576 518 1178 0 184622 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 743216
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9793
/proc/meminfo: memFree=27569096/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=783960 CPUtime=51.09 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 191484 0 0 0 5088 21 0 0 25 0 1 0 969649717 802775040 191018 33554432000 4194304 9016284 140736403902528 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 195990 191018 518 1178 0 194808 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 783960
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9795
/proc/meminfo: memFree=27466744/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=902360 CPUtime=102.3 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 220639 0 0 0 10205 25 0 0 25 0 1 0 969649717 924016640 220173 33554432000 4194304 9016284 140736403902528 18446744073709551615 4889005 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 225590 220173 518 1178 0 224408 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 902360
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9796
/proc/meminfo: memFree=27339804/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=1031340 CPUtime=162.29 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 252765 0 0 0 16200 29 0 0 25 0 1 0 969649717 1056092160 252299 33554432000 4194304 9016284 140736403902528 18446744073709551615 6480421 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 257835 252299 518 1178 0 256653 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1031340
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9798
/proc/meminfo: memFree=27184780/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=1186328 CPUtime=222.3 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 290994 0 0 0 22197 33 0 0 25 0 1 0 969649717 1214799872 290528 33554432000 4194304 9016284 140736403902528 18446744073709551615 4460340 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 296582 290528 518 1178 0 295400 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1186328
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9800
/proc/meminfo: memFree=26981268/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=1404796 CPUtime=282.3 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 344762 0 0 0 28191 39 0 0 25 0 1 0 969649717 1438511104 344296 33554432000 4194304 9016284 140736403902528 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 351199 344296 518 1178 0 350017 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1404796
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9801
/proc/meminfo: memFree=26735212/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=1642176 CPUtime=342.3 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 403007 0 0 0 34183 47 0 0 25 0 1 0 969649717 1681588224 402541 33554432000 4194304 9016284 140736403902528 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 410544 402541 518 1178 0 409362 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1642176
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9803
/proc/meminfo: memFree=26586504/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=1793904 CPUtime=402.31 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 441114 0 0 0 40178 53 0 0 25 0 1 0 969649717 1836957696 440648 33554432000 4194304 9016284 140736403902528 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 448476 440648 518 1178 0 447294 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1793904
[startup+462.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 9843
/proc/meminfo: memFree=28552576/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=1974660 CPUtime=462.3 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 485286 0 0 0 46172 58 0 0 25 0 1 0 969649717 2022051840 484820 33554432000 4194304 9016284 140736403902528 18446744073709551615 5257461 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 493665 484820 518 1178 0 492483 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1974660
[startup+522.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9845
/proc/meminfo: memFree=28327996/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=2065132 CPUtime=522.31 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 507881 0 0 0 52169 62 0 0 25 0 1 0 969649717 2114695168 507415 33554432000 4194304 9016284 140736403902528 18446744073709551615 5228151 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 516283 507415 518 1178 0 515101 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2065132
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9847
/proc/meminfo: memFree=28071028/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=2200612 CPUtime=582.31 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 541564 0 0 0 58164 67 0 0 25 0 1 0 969649717 2253426688 541098 33554432000 4194304 9016284 140736403902528 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 550153 541098 518 1178 0 548971 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2200612
[startup+642.301 s]
################
# More data... #
################
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 747972 0 0 0 106136 96 0 0 25 0 1 0 969649717 3056824320 737376 33554432000 4194304 9016284 140736403902528 18446744073709551615 6480403 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 746295 737376 545 1178 0 745113 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2985180
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9861
/proc/meminfo: memFree=26172112/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3031784 CPUtime=1122.33 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 759475 0 0 0 112135 98 0 0 25 0 1 0 969649717 3104546816 748879 33554432000 4194304 9016284 140736403902528 18446744073709551615 6480211 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 757946 748879 545 1178 0 756764 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 3031784
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9863
/proc/meminfo: memFree=25874340/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3292644 CPUtime=1182.33 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 824462 0 0 0 118124 109 0 0 25 0 1 0 969649717 3371667456 809582 33554432000 4194304 9016284 140736403902528 18446744073709551615 7181661 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 823161 809582 735 1178 0 821979 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3292644
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9864
/proc/meminfo: memFree=25782660/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3332916 CPUtime=1242.33 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 834723 0 0 0 124115 118 0 0 25 0 1 0 969649717 3412905984 819179 33554432000 4194304 9016284 140736403902528 18446744073709551615 7124278 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 833229 819179 811 1178 0 832047 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3332916
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9866
/proc/meminfo: memFree=25730300/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3323968 CPUtime=1302.34 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 842037 0 0 0 130113 121 0 0 25 0 1 0 969649717 3403743232 817093 33554432000 4194304 9016284 140736403902528 18446744073709551615 6231355 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 830992 817093 767 1178 0 829810 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 3323968
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9867
/proc/meminfo: memFree=25620916/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3323968 CPUtime=1362.34 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 842037 0 0 0 136113 121 0 0 25 0 1 0 969649717 3403743232 817093 33554432000 4194304 9016284 140736403902528 18446744073709551615 6231312 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 830992 817093 767 1178 0 829810 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 3323968
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9869
/proc/meminfo: memFree=25588660/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3323968 CPUtime=1422.35 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 842037 0 0 0 142114 121 0 0 25 0 1 0 969649717 3403743232 817093 33554432000 4194304 9016284 140736403902528 18446744073709551615 6231502 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 830992 817093 767 1178 0 829810 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 3323968
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9871
/proc/meminfo: memFree=25337016/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3323968 CPUtime=1482.34 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 842037 0 0 0 148113 121 0 0 25 0 1 0 969649717 3403743232 817093 33554432000 4194304 9016284 140736403902528 18446744073709551615 6231340 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 830992 817093 767 1178 0 829810 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3323968
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 9872
/proc/meminfo: memFree=25315296/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3323968 CPUtime=1542.35 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 842037 0 0 0 154114 121 0 0 25 0 1 0 969649717 3403743232 817093 33554432000 4194304 9016284 140736403902528 18446744073709551615 6231355 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 830992 817093 767 1178 0 829810 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 3323968
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9874
/proc/meminfo: memFree=25307468/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3323968 CPUtime=1602.35 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 842037 0 0 0 160114 121 0 0 25 0 1 0 969649717 3403743232 817093 33554432000 4194304 9016284 140736403902528 18446744073709551615 6231355 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 830992 817093 767 1178 0 829810 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 3323968
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9875
/proc/meminfo: memFree=25306688/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3323968 CPUtime=1662.35 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 842037 0 0 0 166114 121 0 0 25 0 1 0 969649717 3403743232 817093 33554432000 4194304 9016284 140736403902528 18446744073709551615 6231436 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 830992 817093 767 1178 0 829810 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 3323968
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9877
/proc/meminfo: memFree=25306396/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3323968 CPUtime=1722.35 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 842037 0 0 0 172114 121 0 0 25 0 1 0 969649717 3403743232 817093 33554432000 4194304 9016284 140736403902528 18446744073709551615 6231248 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 830992 817093 767 1178 0 829810 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 3323968
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 9882
/proc/meminfo: memFree=25306292/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3323968 CPUtime=1782.36 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 842037 0 0 0 178115 121 0 0 25 0 1 0 969649717 3403743232 817093 33554432000 4194304 9016284 140736403902528 18446744073709551615 6231264 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 830992 817093 767 1178 0 829810 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 3323968
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 9882
/proc/meminfo: memFree=25301744/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3323968 CPUtime=1800.06 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 843236 0 0 0 179885 121 0 0 25 0 1 0 969649717 3403743232 818268 33554432000 4194304 9016284 140736403902528 18446744073709551615 6232316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 830992 818268 743 1178 0 829810 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3323968
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -9791
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 9883
/proc/meminfo: memFree=25300744/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3323968 CPUtime=1801.46 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 843611 0 0 0 180025 121 0 0 25 0 1 0 969649717 3403743232 818643 33554432000 4194304 9016284 140736403902528 18446744073709551615 6232221 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 830992 818643 743 1178 0 829810 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 3323968
[startup+1801.81 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 9883
/proc/meminfo: memFree=25300124/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3323968 CPUtime=1801.86 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 843611 0 0 0 180065 121 0 0 25 0 1 0 969649717 3403743232 818643 33554432000 4194304 9016284 140736403902528 18446744073709551615 6232316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 830992 818643 743 1178 0 829810 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 3323968
[startup+1802 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 9883
/proc/meminfo: memFree=25300124/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=3323968 CPUtime=1802.06 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4202496 843611 0 0 0 180085 121 0 0 25 0 1 0 969649717 3403743232 818643 33554432000 4194304 9016284 140736403902528 18446744073709551615 6232316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9791/statm: 830992 818643 743 1178 0 829810 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 3323968
[startup+1802.1 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 9883
/proc/meminfo: memFree=25300124/32950928 swapFree=67054844/67111528
[pid=9791] ppid=9789 vsize=0 CPUtime=1802.15 cores=1,3,5,7
/proc/9791/stat : 9791 (scip-2.0.1.4b_2) R 9789 9791 8698 0 -1 4203524 843611 0 0 0 180085 130 0 0 25 0 1 0 969649717 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/9791/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.15
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.13
CPU time (s): 1802.2
CPU user time (s): 1800.86
CPU system time (s): 1.3408
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 3334852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.86
system time used= 1.3408
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 843611
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= 3
involuntary context switches= 1466
runsolver used 2.80857 second user time and 6.93494 second system time
The end