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-3489730-1307792975.opb>
1.29/1.35 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234184 constraints
1.29/1.35 c problem read
1.29/1.35 c presolving settings loaded
1.79/1.82 c presolving:
9.39/9.44 c (round 1) 4774 del vars, 14555 del conss, 0 add conss, 3235 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16026630 impls, 0 clqs
13.49/13.50 c (round 2) 12161 del vars, 40482 del conss, 0 add conss, 10083 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16060390 impls, 0 clqs
14.79/14.86 c (round 3) 14492 del vars, 51753 del conss, 0 add conss, 11471 chg bounds, 32 chg sides, 39 chg coeffs, 0 upgd conss, 16073647 impls, 0 clqs
15.59/15.64 c (round 4) 15671 del vars, 56278 del conss, 0 add conss, 12227 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16080666 impls, 0 clqs
15.99/16.08 c (round 5) 16246 del vars, 58655 del conss, 0 add conss, 12587 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16084836 impls, 0 clqs
16.19/16.28 c (round 6) 16585 del vars, 60051 del conss, 0 add conss, 12736 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16087492 impls, 0 clqs
16.40/16.41 c (round 7) 16706 del vars, 60648 del conss, 0 add conss, 12817 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16088497 impls, 0 clqs
16.50/16.50 c (round 8) 16778 del vars, 60964 del conss, 0 add conss, 12867 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16089046 impls, 0 clqs
16.50/16.58 c (round 9) 16824 del vars, 61185 del conss, 0 add conss, 12899 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16089335 impls, 0 clqs
16.59/16.65 c (round 10) 16856 del vars, 61314 del conss, 0 add conss, 12920 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16089534 impls, 0 clqs
16.69/16.72 c (round 11) 16872 del vars, 61403 del conss, 0 add conss, 12932 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16089610 impls, 0 clqs
16.69/16.77 c (round 12) 16886 del vars, 61459 del conss, 0 add conss, 12939 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16089674 impls, 0 clqs
16.79/16.83 c (round 13) 16888 del vars, 61479 del conss, 0 add conss, 12940 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16089688 impls, 0 clqs
17.50/17.51 c (round 14) 16888 del vars, 61481 del conss, 0 add conss, 12940 chg bounds, 39 chg sides, 46 chg coeffs, 172703 upgd conss, 16089688 impls, 0 clqs
681.61/681.68 c (681.7s) probing: 1000/55954 (1.8%) - 0 fixings, 0 aggregations, 10966360 implications, 0 bound changes
1175.82/1175.81 c (1175.8s) probing: 2000/55954 (3.6%) - 0 fixings, 0 aggregations, 16019746 implications, 0 bound changes
1176.12/1176.17 c (1176.2s) probing: 2001/55954 (3.6%) - 0 fixings, 0 aggregations, 16024416 implications, 0 bound changes
1176.12/1176.17 c (1176.2s) probing aborted: 2000/2000 successive useless probings
1176.12/1176.18 c presolving (15 rounds):
1176.12/1176.18 c 16888 deleted vars, 61481 deleted constraints, 2 added constraints, 12940 tightened bounds, 0 added holes, 41 changed sides, 152 changed coefficients
1176.12/1176.18 c 73223902 implications, 0 cliques
1176.12/1176.18 c presolved problem has 55954 variables (55954 bin, 0 int, 0 impl, 0 cont) and 172705 constraints
1176.12/1176.18 c 1152 constraints of type <knapsack>
1176.12/1176.18 c 143918 constraints of type <setppc>
1176.12/1176.18 c 27635 constraints of type <logicor>
1176.12/1176.18 c transformed objective value is always integral (scale: 1)
1176.12/1176.18 c Presolving Time: 1174.49
1176.12/1176.18 c - non default parameters ----------------------------------------------------------------------
1176.12/1176.18 c # SCIP version 2.0.1.5
1176.12/1176.18 c
1176.12/1176.18 c # frequency for displaying node information lines
1176.12/1176.18 c # [type: int, range: [-1,2147483647], default: 100]
1176.12/1176.18 c display/freq = 10000
1176.12/1176.18 c
1176.12/1176.18 c # maximal time in seconds to run
1176.12/1176.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1176.12/1176.18 c limits/time = 1797
1176.12/1176.18 c
1176.12/1176.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1176.12/1176.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1176.12/1176.18 c limits/memory = 13950
1176.12/1176.18 c
1176.12/1176.18 c # default clock type (1: CPU user seconds, 2: wall clock time)
1176.12/1176.18 c # [type: int, range: [1,2], default: 1]
1176.12/1176.18 c timing/clocktype = 2
1176.12/1176.18 c
1176.12/1176.18 c # belongs reading time to solving time?
1176.12/1176.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1176.12/1176.18 c timing/reading = TRUE
1176.12/1176.18 c
1176.12/1176.18 c # should presolving try to simplify inequalities
1176.12/1176.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1176.12/1176.18 c constraints/linear/simplifyinequalities = TRUE
1176.12/1176.18 c
1176.12/1176.18 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1176.12/1176.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1176.12/1176.18 c constraints/indicator/addCouplingCons = TRUE
1176.12/1176.18 c
1176.12/1176.18 c # should presolving try to simplify knapsacks
1176.12/1176.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1176.12/1176.18 c constraints/knapsack/simplifyinequalities = TRUE
1176.12/1176.18 c
1176.12/1176.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1176.12/1176.18 c # [type: int, range: [-1,2147483647], default: -1]
1176.12/1176.18 c separating/rapidlearning/freq = 0
1176.12/1176.18 c
1176.12/1176.18 c -----------------------------------------------------------------------------------------------
1176.12/1176.18 c start solving
1176.22/1176.21 c
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-3489730-1307792975/watcher-3489730-1307792975 -o /tmp/evaluation-result-3489730-1307792975/solver-3489730-1307792975 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489730-1307792975.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 26646
/proc/meminfo: memFree=28748072/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=12880 CPUtime=0 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 2210 0 0 0 0 0 0 0 25 0 1 0 890897277 13189120 2164 33554432000 4194304 9016284 140736894155024 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26646/statm: 3220 2165 353 1178 0 2038 0
[startup+0.0847949 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 26646
/proc/meminfo: memFree=28748072/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=28912 CPUtime=0.07 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 6228 0 0 0 7 0 0 0 25 0 1 0 890897277 29605888 6182 33554432000 4194304 9016284 140736894155024 18446744073709551615 6816773 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26646/statm: 7228 6182 360 1178 0 6046 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 28912
[startup+0.100799 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 26646
/proc/meminfo: memFree=28748072/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=32264 CPUtime=0.09 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 7065 0 0 0 9 0 0 0 25 0 1 0 890897277 33038336 7019 33554432000 4194304 9016284 140736894155024 18446744073709551615 7870473 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26646/statm: 8066 7019 360 1178 0 6884 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32264
[startup+0.30076 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 26646
/proc/meminfo: memFree=28748072/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=59144 CPUtime=0.29 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 13783 0 0 0 28 1 0 0 25 0 1 0 890897277 60563456 13737 33554432000 4194304 9016284 140736894155024 18446744073709551615 7870473 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26646/statm: 14786 13737 360 1178 0 13604 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59144
[startup+0.70069 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 26646
/proc/meminfo: memFree=28748072/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=88684 CPUtime=0.69 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 21153 0 0 0 67 2 0 0 25 0 1 0 890897277 90812416 21107 33554432000 4194304 9016284 140736894155024 18446744073709551615 6151876 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26646/statm: 22171 21107 360 1178 0 20989 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88684
[startup+1.50055 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 26647
/proc/meminfo: memFree=28630520/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=269472 CPUtime=1.49 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 66224 0 0 0 142 7 0 0 25 0 1 0 890897277 275939328 66159 33554432000 4194304 9016284 140736894155024 18446744073709551615 6813403 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 67368 66159 406 1178 0 66186 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 269472
[startup+3.10015 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 26647
/proc/meminfo: memFree=28355984/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=505760 CPUtime=3.09 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 123813 0 0 0 296 13 0 0 25 0 1 0 890897277 517898240 123748 33554432000 4194304 9016284 140736894155024 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 126440 123748 485 1178 0 125258 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 505760
[startup+6.3007 s]
/proc/loadavg: 2.01 2.00 2.00 4/178 26648
/proc/meminfo: memFree=28087896/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=723848 CPUtime=6.3 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 177246 0 0 0 611 19 0 0 25 0 1 0 890897277 741220352 177181 33554432000 4194304 9016284 140736894155024 18446744073709551615 6817529 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 180962 177181 485 1178 0 179780 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 723848
[startup+12.7006 s]
/proc/loadavg: 2.01 2.00 2.00 4/178 26648
/proc/meminfo: memFree=27895920/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=861032 CPUtime=12.69 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 210482 0 0 0 1246 23 0 0 25 0 1 0 890897277 881696768 210160 33554432000 4194304 9016284 140736894155024 18446744073709551615 6481251 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 215258 210160 496 1178 0 214076 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 861032
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 26648
/proc/meminfo: memFree=27783204/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=957752 CPUtime=25.49 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 246449 0 0 0 2522 27 0 0 25 0 1 0 890897277 980738048 233385 33554432000 4194304 9016284 140736894155024 18446744073709551615 6480376 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 239438 233385 625 1178 0 238256 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 957752
[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 26649
/proc/meminfo: memFree=27662928/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=994468 CPUtime=51.1 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 255319 0 0 0 5082 28 0 0 25 0 1 0 890897277 1018335232 242255 33554432000 4194304 9016284 140736894155024 18446744073709551615 6480168 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 248617 242255 625 1178 0 247435 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 994468
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 26650
/proc/meminfo: memFree=27511140/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=1078060 CPUtime=102.29 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 275761 0 0 0 10199 30 0 0 25 0 1 0 890897277 1103933440 262697 33554432000 4194304 9016284 140736894155024 18446744073709551615 6480393 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 269515 262697 625 1178 0 268333 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1078060
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26652
/proc/meminfo: memFree=27309488/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=1208884 CPUtime=162.3 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 308043 0 0 0 16195 35 0 0 25 0 1 0 890897277 1237897216 294979 33554432000 4194304 9016284 140736894155024 18446744073709551615 4460344 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 302221 294979 625 1178 0 301039 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1208884
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26653
/proc/meminfo: memFree=27112804/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=1320808 CPUtime=222.3 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 336097 0 0 0 22191 39 0 0 25 0 1 0 890897277 1352507392 323033 33554432000 4194304 9016284 140736894155024 18446744073709551615 6480192 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 330202 323033 625 1178 0 329020 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1320808
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 26655
/proc/meminfo: memFree=26874692/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=1492444 CPUtime=282.3 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 377748 0 0 0 28186 44 0 0 25 0 1 0 890897277 1528262656 364684 33554432000 4194304 9016284 140736894155024 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 373111 364684 625 1178 0 371929 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1492444
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 26657
/proc/meminfo: memFree=26648740/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=1640352 CPUtime=342.3 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 414109 0 0 0 34182 48 0 0 25 0 1 0 890897277 1679720448 401045 33554432000 4194304 9016284 140736894155024 18446744073709551615 6480425 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 410088 401045 625 1178 0 408906 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1640352
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26658
/proc/meminfo: memFree=26506856/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=1731764 CPUtime=402.3 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 437160 0 0 0 40180 50 0 0 25 0 1 0 890897277 1773326336 424096 33554432000 4194304 9016284 140736894155024 18446744073709551615 6480389 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 432941 424096 625 1178 0 431759 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1731764
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 26660
/proc/meminfo: memFree=26357408/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=1829236 CPUtime=462.3 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 461341 0 0 0 46178 52 0 0 25 0 1 0 890897277 1873137664 448277 33554432000 4194304 9016284 140736894155024 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 457309 448277 625 1178 0 456127 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1829236
[startup+522.301 s]
/proc/loadavg: 2.05 2.01 2.00 4/178 26661
/proc/meminfo: memFree=26223952/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=1914644 CPUtime=522.3 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 482606 0 0 0 52175 55 0 0 25 0 1 0 890897277 1960595456 469542 33554432000 4194304 9016284 140736894155024 18446744073709551615 4889096 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 478661 469542 625 1178 0 477479 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1914644
[startup+582.301 s]
/proc/loadavg: 2.02 2.01 2.00 4/178 26663
/proc/meminfo: memFree=26029116/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=2044356 CPUtime=582.31 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 515014 0 0 0 58172 59 0 0 25 0 1 0 890897277 2093420544 501950 33554432000 4194304 9016284 140736894155024 18446744073709551615 6480379 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 511089 501950 625 1178 0 509907 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2044356
[startup+642.3 s]
################
# More data... #
################
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 655390 0 0 0 106151 80 0 0 25 0 1 0 890897277 2674466816 642326 33554432000 4194304 9016284 140736894155024 18446744073709551615 5510757 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 652946 642326 630 1178 0 651764 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2611784
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 26728
/proc/meminfo: memFree=27744004/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=2648164 CPUtime=1122.32 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 664897 0 0 0 112151 81 0 0 25 0 1 0 890897277 2711719936 651833 33554432000 4194304 9016284 140736894155024 18446744073709551615 5510784 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 662041 651833 630 1178 0 660859 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2648164
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 26730
/proc/meminfo: memFree=27341464/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=2979932 CPUtime=1182.32 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 743608 0 0 0 118143 89 0 0 25 0 1 0 890897277 3051450368 725351 33554432000 4194304 9016284 140736894155024 18446744073709551615 7211710 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 744983 725357 737 1178 0 743801 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2979932
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26732
/proc/meminfo: memFree=27142036/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=3006956 CPUtime=1242.33 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 753314 0 0 0 124139 94 0 0 25 0 1 0 890897277 3079122944 734816 33554432000 4194304 9016284 140736894155024 18446744073709551615 7178120 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 751739 734816 736 1178 0 750557 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3006956
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26733
/proc/meminfo: memFree=27013788/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=3009112 CPUtime=1302.33 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 754492 0 0 0 130136 97 0 0 25 0 1 0 890897277 3081330688 735993 33554432000 4194304 9016284 140736894155024 18446744073709551615 7191227 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 752278 735993 752 1178 0 751096 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3009112
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26735
/proc/meminfo: memFree=26923856/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=3015112 CPUtime=1362.33 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 756108 0 0 0 136133 100 0 0 25 0 1 0 890897277 3087474688 737437 33554432000 4194304 9016284 140736894155024 18446744073709551615 6977467 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 753778 737437 682 1178 0 752596 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3015112
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 26736
/proc/meminfo: memFree=26881912/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=3015904 CPUtime=1422.33 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 756476 0 0 0 142131 102 0 0 25 0 1 0 890897277 3088285696 737805 33554432000 4194304 9016284 140736894155024 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 753976 737805 682 1178 0 752794 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3015904
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 26738
/proc/meminfo: memFree=26808104/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=3015904 CPUtime=1482.33 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 757579 0 0 0 148129 104 0 0 25 0 1 0 890897277 3088285696 738903 33554432000 4194304 9016284 140736894155024 18446744073709551615 7127444 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 753976 738903 677 1178 0 752794 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3015904
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26740
/proc/meminfo: memFree=26759200/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=3021436 CPUtime=1542.33 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 757795 0 0 0 154126 107 0 0 25 0 1 0 890897277 3093950464 739119 33554432000 4194304 9016284 140736894155024 18446744073709551615 6863440 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 755359 739119 677 1178 0 754177 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3021436
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26741
/proc/meminfo: memFree=26693076/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=3021580 CPUtime=1602.33 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 758018 0 0 0 160123 110 0 0 25 0 1 0 890897277 3094097920 739342 33554432000 4194304 9016284 140736894155024 18446744073709551615 7191227 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 755395 739342 677 1178 0 754213 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3021580
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 26743
/proc/meminfo: memFree=26623236/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=3028244 CPUtime=1662.33 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 759419 0 0 0 166121 112 0 0 25 0 1 0 890897277 3100921856 740743 33554432000 4194304 9016284 140736894155024 18446744073709551615 7157093 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 757061 740743 678 1178 0 755879 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3028244
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 26744
/proc/meminfo: memFree=26379280/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=3028244 CPUtime=1722.34 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 759512 0 0 0 172118 116 0 0 25 0 1 0 890897277 3100921856 740836 33554432000 4194304 9016284 140736894155024 18446744073709551615 7157120 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 757061 740836 678 1178 0 755879 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3028244
[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 26784
/proc/meminfo: memFree=28270520/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=3041824 CPUtime=1782.33 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 764220 0 0 0 178114 119 0 0 25 0 1 0 890897277 3114827776 745543 33554432000 4194304 9016284 140736894155024 18446744073709551615 7181678 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 760456 745543 749 1178 0 759274 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3041824
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.01 2.00 3/178 26784
/proc/meminfo: memFree=28200588/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=3041824 CPUtime=1800.04 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 764245 0 0 0 179884 120 0 0 25 0 1 0 890897277 3114827776 745550 33554432000 4194304 9016284 140736894155024 18446744073709551615 7179103 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 760456 745550 731 1178 0 759274 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3041824
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -26646
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 26785
/proc/meminfo: memFree=28185576/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=3041824 CPUtime=1801.44 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 764245 0 0 0 180024 120 0 0 25 0 1 0 890897277 3114827776 745550 33554432000 4194304 9016284 140736894155024 18446744073709551615 6977450 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 760456 745550 731 1178 0 759274 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 3041824
[startup+1801.81 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 26785
/proc/meminfo: memFree=28173672/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=3041824 CPUtime=1801.84 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 764245 0 0 0 180064 120 0 0 25 0 1 0 890897277 3114827776 745550 33554432000 4194304 9016284 140736894155024 18446744073709551615 7181476 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 760456 745550 731 1178 0 759274 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 3041824
[startup+1802 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 26785
/proc/meminfo: memFree=28173672/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=3041824 CPUtime=1802.04 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4202496 764245 0 0 0 180084 120 0 0 25 0 1 0 890897277 3114827776 745550 33554432000 4194304 9016284 140736894155024 18446744073709551615 7124278 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26646/statm: 760456 745550 731 1178 0 759274 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 3041824
[startup+1802.1 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 26785
/proc/meminfo: memFree=28173672/32950904 swapFree=67055440/67111528
[pid=26646] ppid=26644 vsize=0 CPUtime=1802.13 cores=0,2,4,6
/proc/26646/stat : 26646 (scip-2.0.1.4b_2) R 26644 26646 25471 0 -1 4203524 764245 0 0 0 180084 129 0 0 25 0 1 0 890897277 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/26646/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.12
CPU time (s): 1802.16
CPU user time (s): 1800.85
CPU system time (s): 1.3158
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3041824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.85
system time used= 1.3158
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 764245
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= 1456
runsolver used 3.13552 second user time and 6.31004 second system time
The end