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-3489801-1307793880.opb>
0.99/1.05 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192684 constraints
0.99/1.05 c problem read
0.99/1.05 c presolving settings loaded
1.39/1.41 c presolving:
7.49/7.59 c (round 1) 5730 del vars, 16736 del conss, 0 add conss, 4533 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12917346 impls, 0 clqs
9.89/9.99 c (round 2) 10386 del vars, 37331 del conss, 0 add conss, 8854 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12946857 impls, 0 clqs
10.79/10.85 c (round 3) 12335 del vars, 45927 del conss, 0 add conss, 10093 chg bounds, 74 chg sides, 70 chg coeffs, 0 upgd conss, 12963656 impls, 0 clqs
11.29/11.39 c (round 4) 13324 del vars, 50181 del conss, 0 add conss, 10831 chg bounds, 117 chg sides, 115 chg coeffs, 0 upgd conss, 12971676 impls, 0 clqs
11.60/11.66 c (round 5) 13976 del vars, 52914 del conss, 0 add conss, 11252 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12975288 impls, 0 clqs
11.80/11.82 c (round 6) 14283 del vars, 54297 del conss, 0 add conss, 11429 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12977821 impls, 0 clqs
11.90/11.92 c (round 7) 14415 del vars, 54937 del conss, 0 add conss, 11508 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12978687 impls, 0 clqs
11.90/12.00 c (round 8) 14505 del vars, 55335 del conss, 0 add conss, 11565 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12979387 impls, 0 clqs
12.00/12.07 c (round 9) 14575 del vars, 55644 del conss, 0 add conss, 11604 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12980347 impls, 0 clqs
12.10/12.12 c (round 10) 14605 del vars, 55792 del conss, 0 add conss, 11622 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12980585 impls, 0 clqs
12.10/12.17 c (round 11) 14619 del vars, 55856 del conss, 0 add conss, 11629 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12980793 impls, 0 clqs
12.20/12.22 c (round 12) 14633 del vars, 55923 del conss, 0 add conss, 11636 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12981095 impls, 0 clqs
12.20/12.26 c (round 13) 14645 del vars, 55976 del conss, 0 add conss, 11644 chg bounds, 125 chg sides, 126 chg coeffs, 0 upgd conss, 12981129 impls, 0 clqs
12.69/12.77 c (round 14) 14645 del vars, 55986 del conss, 0 add conss, 11644 chg bounds, 125 chg sides, 126 chg coeffs, 136698 upgd conss, 12981129 impls, 0 clqs
13.20/13.27 c (round 15) 14645 del vars, 55995 del conss, 35 add conss, 11644 chg bounds, 223 chg sides, 386 chg coeffs, 136698 upgd conss, 12981129 impls, 0 clqs
654.02/654.06 c (654.1s) probing: 1000/40137 (2.5%) - 0 fixings, 0 aggregations, 12102310 implications, 0 bound changes
1123.23/1123.25 c (1123.2s) probing: 2000/40137 (5.0%) - 0 fixings, 0 aggregations, 19511761 implications, 0 bound changes
1124.13/1124.14 c (1124.1s) probing: 2001/40137 (5.0%) - 0 fixings, 0 aggregations, 19524971 implications, 0 bound changes
1124.13/1124.14 c (1124.1s) probing aborted: 2000/2000 successive useless probings
1124.13/1124.14 c presolving (16 rounds):
1124.13/1124.14 c 14645 deleted vars, 56003 deleted constraints, 35 added constraints, 11644 tightened bounds, 0 added holes, 223 changed sides, 403 changed coefficients
1124.13/1124.14 c 78743749 implications, 0 cliques
1124.13/1124.14 c presolved problem has 40137 variables (40137 bin, 0 int, 0 impl, 0 cont) and 136716 constraints
1124.13/1124.14 c 1099 constraints of type <knapsack>
1124.13/1124.14 c 115798 constraints of type <setppc>
1124.13/1124.14 c 19819 constraints of type <logicor>
1124.13/1124.14 c transformed objective value is always integral (scale: 1)
1124.13/1124.14 c Presolving Time: 1122.83
1124.13/1124.14 c - non default parameters ----------------------------------------------------------------------
1124.13/1124.14 c # SCIP version 2.0.1.5
1124.13/1124.14 c
1124.13/1124.14 c # frequency for displaying node information lines
1124.13/1124.14 c # [type: int, range: [-1,2147483647], default: 100]
1124.13/1124.14 c display/freq = 10000
1124.13/1124.14 c
1124.13/1124.14 c # maximal time in seconds to run
1124.13/1124.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1124.13/1124.14 c limits/time = 1797
1124.13/1124.14 c
1124.13/1124.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1124.13/1124.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1124.13/1124.14 c limits/memory = 13950
1124.13/1124.14 c
1124.13/1124.14 c # default clock type (1: CPU user seconds, 2: wall clock time)
1124.13/1124.14 c # [type: int, range: [1,2], default: 1]
1124.13/1124.14 c timing/clocktype = 2
1124.13/1124.14 c
1124.13/1124.14 c # belongs reading time to solving time?
1124.13/1124.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1124.13/1124.14 c timing/reading = TRUE
1124.13/1124.14 c
1124.13/1124.14 c # should presolving try to simplify inequalities
1124.13/1124.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1124.13/1124.14 c constraints/linear/simplifyinequalities = TRUE
1124.13/1124.14 c
1124.13/1124.14 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1124.13/1124.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1124.13/1124.14 c constraints/indicator/addCouplingCons = TRUE
1124.13/1124.14 c
1124.13/1124.14 c # should presolving try to simplify knapsacks
1124.13/1124.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1124.13/1124.14 c constraints/knapsack/simplifyinequalities = TRUE
1124.13/1124.14 c
1124.13/1124.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1124.13/1124.14 c # [type: int, range: [-1,2147483647], default: -1]
1124.13/1124.14 c separating/rapidlearning/freq = 0
1124.13/1124.14 c
1124.13/1124.14 c -----------------------------------------------------------------------------------------------
1124.13/1124.14 c start solving
1124.13/1124.17 c
1126.93/1126.99 o 300
1126.93/1126.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1126.93/1126.99 c T1127s| 1 | 0 | 0 | - |2311M| 0 | - | 40k| 136k| 40k| 136k| 0 | 0 | 0 | -- | 3.000000e+02 | Inf
1229.53/1229.51 c 1230s| 1 | 0 | 34754 | - |2307M| 0 | 205 | 40k| 136k| 40k| 136k| 0 | 0 | 0 | 9.200000e+01 | 3.000000e+02 | 226.09%
1232.33/1232.32 c 1232s| 1 | 0 | 34754 | - |2303M| 0 | 205 | 40k| 136k| 40k| 136k| 0 | 0 | 0 | 9.200000e+01 | 3.000000e+02 | 226.09%
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-3489801-1307793880/watcher-3489801-1307793880 -o /tmp/evaluation-result-3489801-1307793880/solver-3489801-1307793880 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489801-1307793880.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.01 2.01 2.00 2/174 14727
/proc/meminfo: memFree=28906512/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=12696 CPUtime=0 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 2142 0 0 0 0 0 0 0 25 0 1 0 871803613 13000704 2096 33554432000 4194304 9016284 140733926329936 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14727/statm: 3174 2101 353 1178 0 1992 0
[startup+0.0530149 s]
/proc/loadavg: 2.01 2.01 2.00 2/174 14727
/proc/meminfo: memFree=28906512/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=23332 CPUtime=0.04 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 4816 0 0 0 4 0 0 0 25 0 1 0 871803613 23891968 4770 33554432000 4194304 9016284 140733926329936 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14727/statm: 5833 4780 360 1178 0 4651 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23332
[startup+0.101002 s]
/proc/loadavg: 2.01 2.01 2.00 2/174 14727
/proc/meminfo: memFree=28906512/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=32392 CPUtime=0.09 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 7099 0 0 0 9 0 0 0 25 0 1 0 871803613 33169408 7053 33554432000 4194304 9016284 140733926329936 18446744073709551615 7870493 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14727/statm: 8098 7053 360 1178 0 6916 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32392
[startup+0.300964 s]
/proc/loadavg: 2.01 2.01 2.00 2/174 14727
/proc/meminfo: memFree=28906512/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=54060 CPUtime=0.29 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 12493 0 0 0 28 1 0 0 25 0 1 0 871803613 55357440 12447 33554432000 4194304 9016284 140733926329936 18446744073709551615 7749816 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14727/statm: 13515 12447 360 1178 0 12333 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54060
[startup+0.700892 s]
/proc/loadavg: 2.01 2.01 2.00 2/174 14727
/proc/meminfo: memFree=28906512/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=87724 CPUtime=0.69 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 20929 0 0 0 67 2 0 0 25 0 1 0 871803613 89829376 20883 33554432000 4194304 9016284 140733926329936 18446744073709551615 7811835 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14727/statm: 21931 20883 360 1178 0 20749 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87724
[startup+1.50074 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 14728
/proc/meminfo: memFree=28787896/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=303644 CPUtime=1.49 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 74159 0 0 0 142 7 0 0 25 0 1 0 871803613 310931456 74023 33554432000 4194304 9016284 140733926329936 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 75911 74023 474 1178 0 74729 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 303644
[startup+3.10044 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 14728
/proc/meminfo: memFree=28538052/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=449852 CPUtime=3.09 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 110531 0 0 0 299 10 0 0 25 0 1 0 871803613 460648448 110395 33554432000 4194304 9016284 140733926329936 18446744073709551615 4460361 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 112463 110395 485 1178 0 111281 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 449852
[startup+6.30084 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 14728
/proc/meminfo: memFree=28308572/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=647736 CPUtime=6.29 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 157836 0 0 0 614 15 0 0 25 0 1 0 871803613 663281664 157700 33554432000 4194304 9016284 140733926329936 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 161934 157700 485 1178 0 160752 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 647736
[startup+12.7006 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 14729
/proc/meminfo: memFree=28183940/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=732264 CPUtime=12.69 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 183255 0 0 0 1252 17 0 0 25 0 1 0 871803613 749838336 178430 33554432000 4194304 9016284 140733926329936 18446744073709551615 4318651 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 183066 178430 507 1178 0 181884 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 732264
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14729
/proc/meminfo: memFree=28077056/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=782668 CPUtime=25.49 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 202003 0 0 0 2529 20 0 0 25 0 1 0 871803613 801452032 190629 33554432000 4194304 9016284 140733926329936 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 195667 190629 554 1178 0 194485 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 782668
[startup+51.1004 s]
/proc/loadavg: 2.08 2.02 2.00 3/175 14730
/proc/meminfo: memFree=28005080/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=825312 CPUtime=51.09 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 212463 0 0 0 5088 21 0 0 25 0 1 0 871803613 845119488 201089 33554432000 4194304 9016284 140733926329936 18446744073709551615 6476068 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 206328 201089 554 1178 0 205146 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 825312
[startup+102.307 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 14731
/proc/meminfo: memFree=27827460/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=943928 CPUtime=102.3 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 242007 0 0 0 10206 24 0 0 25 0 1 0 871803613 966582272 230633 33554432000 4194304 9016284 140733926329936 18446744073709551615 4875334 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 235982 230633 554 1178 0 234800 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 943928
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 14733
/proc/meminfo: memFree=27541716/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=1071756 CPUtime=162.3 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 272854 0 0 0 16203 27 0 0 25 0 1 0 871803613 1097478144 261480 33554432000 4194304 9016284 140733926329936 18446744073709551615 5325542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 267939 261480 554 1178 0 266757 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1071756
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14734
/proc/meminfo: memFree=27240832/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=1303812 CPUtime=222.3 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 330417 0 0 0 22196 34 0 0 25 0 1 0 871803613 1335103488 319043 33554432000 4194304 9016284 140733926329936 18446744073709551615 4919600 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 325953 319043 554 1178 0 324771 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1303812
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14736
/proc/meminfo: memFree=27071764/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=1429044 CPUtime=282.3 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 361847 0 0 0 28192 38 0 0 25 0 1 0 871803613 1463341056 350473 33554432000 4194304 9016284 140733926329936 18446744073709551615 6479802 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 357261 350473 554 1178 0 356079 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1429044
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14737
/proc/meminfo: memFree=26802884/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=1609832 CPUtime=342.31 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 406163 0 0 0 34187 44 0 0 25 0 1 0 871803613 1648467968 394789 33554432000 4194304 9016284 140733926329936 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 402458 394789 554 1178 0 401276 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 1609832
[startup+402.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 14739
/proc/meminfo: memFree=26600592/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=1788348 CPUtime=402.3 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 450907 0 0 0 40181 49 0 0 25 0 1 0 871803613 1831268352 439533 33554432000 4194304 9016284 140733926329936 18446744073709551615 6480372 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 447087 439533 554 1178 0 445905 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1788348
[startup+462.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 14741
/proc/meminfo: memFree=26293032/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=2047428 CPUtime=462.31 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 514401 0 0 0 46172 59 0 0 25 0 1 0 871803613 2096566272 503027 33554432000 4194304 9016284 140733926329936 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 511857 503027 554 1178 0 510675 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2047428
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 14742
/proc/meminfo: memFree=26153968/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=2150168 CPUtime=522.31 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 540272 0 0 0 52168 63 0 0 25 0 1 0 871803613 2201772032 528898 33554432000 4194304 9016284 140733926329936 18446744073709551615 4888901 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 537542 528898 554 1178 0 536360 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2150168
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 14744
/proc/meminfo: memFree=25936056/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=2306432 CPUtime=582.31 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 578960 0 0 0 58164 67 0 0 25 0 1 0 871803613 2361786368 567586 33554432000 4194304 9016284 140733926329936 18446744073709551615 6480168 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 576608 567586 554 1178 0 575426 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2306432
[startup+642.301 s]
################
# More data... #
################
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 737838 0 0 0 106143 90 0 0 25 0 1 0 871803613 3017093120 726464 33554432000 4194304 9016284 140733926329936 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 736595 726464 559 1178 0 735413 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 2946380
[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 14796
/proc/meminfo: memFree=27496836/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=3009484 CPUtime=1122.33 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 754056 0 0 0 112140 93 0 0 25 0 1 0 871803613 3081711616 742682 33554432000 4194304 9016284 140733926329936 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 752371 742682 559 1178 0 751189 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 3009484
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 14836
/proc/meminfo: memFree=25330100/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=3278732 CPUtime=1182.33 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 821627 0 0 0 118123 110 0 0 25 0 1 0 871803613 3357421568 805689 33554432000 4194304 9016284 140733926329936 18446744073709551615 7181481 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 819683 805689 1230 1178 0 818501 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3278732
[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 14840
/proc/meminfo: memFree=25175424/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=3285788 CPUtime=1242.34 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 822683 0 0 0 124118 116 0 0 25 0 1 0 871803613 3364646912 806668 33554432000 4194304 9016284 140733926329936 18446744073709551615 7870548 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 821447 806668 1268 1178 0 820265 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 3285788
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 14842
/proc/meminfo: memFree=25107316/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=3285788 CPUtime=1302.35 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 822796 0 0 0 130119 116 0 0 25 0 1 0 871803613 3364646912 806781 33554432000 4194304 9016284 140733926329936 18446744073709551615 6231355 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 821447 806781 1274 1178 0 820265 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 3285788
[startup+1362.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/175 14844
/proc/meminfo: memFree=25180428/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=3285788 CPUtime=1362.34 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 822796 0 0 0 136118 116 0 0 25 0 1 0 871803613 3364646912 806781 33554432000 4194304 9016284 140733926329936 18446744073709551615 6231359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 821447 806781 1274 1178 0 820265 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 3285788
[startup+1422.31 s]
/proc/loadavg: 2.07 2.03 2.00 3/175 14845
/proc/meminfo: memFree=25218704/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=3285788 CPUtime=1422.35 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 822796 0 0 0 142119 116 0 0 25 0 1 0 871803613 3364646912 806781 33554432000 4194304 9016284 140733926329936 18446744073709551615 6231359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 821447 806781 1274 1178 0 820265 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 3285788
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/175 14847
/proc/meminfo: memFree=25237732/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=3285788 CPUtime=1482.35 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 822796 0 0 0 148119 116 0 0 25 0 1 0 871803613 3364646912 806781 33554432000 4194304 9016284 140733926329936 18446744073709551615 6231344 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 821447 806781 1274 1178 0 820265 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 3285788
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 14848
/proc/meminfo: memFree=25235580/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=3285788 CPUtime=1542.35 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 822796 0 0 0 154119 116 0 0 25 0 1 0 871803613 3364646912 806781 33554432000 4194304 9016284 140733926329936 18446744073709551615 6231267 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 821447 806781 1274 1178 0 820265 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 3285788
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 14850
/proc/meminfo: memFree=25234772/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=3285788 CPUtime=1602.35 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 822796 0 0 0 160119 116 0 0 25 0 1 0 871803613 3364646912 806781 33554432000 4194304 9016284 140733926329936 18446744073709551615 6231264 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 821447 806781 1274 1178 0 820265 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 3285788
[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 14852
/proc/meminfo: memFree=25201096/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=3285788 CPUtime=1662.35 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 822796 0 0 0 166119 116 0 0 25 0 1 0 871803613 3364646912 806781 33554432000 4194304 9016284 140733926329936 18446744073709551615 6231436 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 821447 806781 1274 1178 0 820265 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 3285788
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 14853
/proc/meminfo: memFree=25201048/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=3285788 CPUtime=1722.36 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 822796 0 0 0 172120 116 0 0 25 0 1 0 871803613 3364646912 806781 33554432000 4194304 9016284 140733926329936 18446744073709551615 6231355 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 821447 806781 1274 1178 0 820265 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 3285788
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 14855
/proc/meminfo: memFree=25269792/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=3285788 CPUtime=1782.36 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 822796 0 0 0 178120 116 0 0 25 0 1 0 871803613 3364646912 806781 33554432000 4194304 9016284 140733926329936 18446744073709551615 6231424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 821447 806781 1274 1178 0 820265 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 3285788
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 14855
/proc/meminfo: memFree=25261712/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=3285788 CPUtime=1800.06 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 824699 0 0 0 179890 116 0 0 25 0 1 0 871803613 3364646912 808684 33554432000 4194304 9016284 140733926329936 18446744073709551615 6232288 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 821447 808684 1274 1178 0 820265 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3285788
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14727
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 14856
/proc/meminfo: memFree=25261704/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=3285788 CPUtime=1801.46 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 824743 0 0 0 180030 116 0 0 25 0 1 0 871803613 3364646912 808728 33554432000 4194304 9016284 140733926329936 18446744073709551615 6232304 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 821447 808728 1274 1178 0 820265 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 3285788
[startup+1801.81 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 14856
/proc/meminfo: memFree=25261828/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=3285788 CPUtime=1801.86 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 824780 0 0 0 180070 116 0 0 25 0 1 0 871803613 3364646912 808765 33554432000 4194304 9016284 140733926329936 18446744073709551615 6232304 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 821447 808765 1274 1178 0 820265 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 3285788
[startup+1802 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 14856
/proc/meminfo: memFree=25261828/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=3285788 CPUtime=1802.06 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4202496 824794 0 0 0 180090 116 0 0 25 0 1 0 871803613 3364646912 808779 33554432000 4194304 9016284 140733926329936 18446744073709551615 6232288 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14727/statm: 821447 808779 1274 1178 0 820265 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 3285788
[startup+1802.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 14856
/proc/meminfo: memFree=25261828/32951124 swapFree=67064580/67111528
[pid=14727] ppid=14725 vsize=0 CPUtime=1802.15 cores=1,3,5,7
/proc/14727/stat : 14727 (scip-2.0.1.4b_2) R 14725 14727 13556 0 -1 4203524 824794 0 0 0 180090 125 0 0 25 0 1 0 871803613 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/14727/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.19
CPU user time (s): 1800.91
CPU system time (s): 1.2848
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 3285788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.91
system time used= 1.2848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 824794
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= 3268
runsolver used 2.6296 second user time and 6.01908 second system time
The end