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-3452601-1307075223.opb>
5.99/6.07 c original problem has 1041679 variables (1041679 bin, 0 int, 0 impl, 0 cont) and 127860 constraints
5.99/6.07 c problem read
5.99/6.08 c presolving settings loaded
10.29/10.40 o 0
10.29/10.40 c feasible solution found by trivial heuristic, objective value 0.000000e+00
10.29/10.40 c presolving:
11.49/11.56 c (round 1) 26780 del vars, 2344 del conss, 0 add conss, 18205 chg bounds, 93789 chg sides, 93789 chg coeffs, 0 upgd conss, 1378 impls, 1565 clqs
11.69/11.78 c (round 2) 26780 del vars, 3999 del conss, 0 add conss, 18205 chg bounds, 100896 chg sides, 100896 chg coeffs, 0 upgd conss, 1378 impls, 1565 clqs
12.59/12.68 c (round 3) 26780 del vars, 3999 del conss, 0 add conss, 18205 chg bounds, 100896 chg sides, 100896 chg coeffs, 93777 upgd conss, 1378 impls, 1565 clqs
18.39/18.46 c (round 4) 26780 del vars, 95354 del conss, 913454 add conss, 18205 chg bounds, 1021457 chg sides, 1998874 chg coeffs, 93777 upgd conss, 1829844 impls, 1565 clqs
207.99/208.08 c (208.1s) probing: 1000/1014899 (0.1%) - 0 fixings, 6 aggregations, 53954 implications, 0 bound changes
402.71/402.74 c (402.7s) probing: 2000/1014899 (0.2%) - 0 fixings, 6 aggregations, 117771 implications, 0 bound changes
512.63/512.68 c (512.7s) probing: 2558/1014899 (0.3%) - 0 fixings, 6 aggregations, 153462 implications, 0 bound changes
512.63/512.68 c (512.7s) probing aborted: 2000/2000 successive useless probings
512.71/512.74 c presolving (5 rounds):
512.71/512.74 c 26786 deleted vars, 95354 deleted constraints, 913454 added constraints, 18205 tightened bounds, 0 added holes, 1021457 changed sides, 1998874 changed coefficients
512.71/512.74 c 2136768 implications, 1565 cliques
512.71/512.74 c presolved problem has 1014893 variables (1014893 bin, 0 int, 0 impl, 0 cont) and 945960 constraints
512.71/512.74 c 857 constraints of type <knapsack>
512.71/512.74 c 915019 constraints of type <setppc>
512.71/512.74 c 30084 constraints of type <linear>
512.71/512.74 c transformed objective value is always integral (scale: 1)
512.71/512.74 c Presolving Time: 505.41
512.71/512.74 c - non default parameters ----------------------------------------------------------------------
512.71/512.74 c # SCIP version 2.0.1.4
512.71/512.74 c
512.71/512.74 c # frequency for displaying node information lines
512.71/512.74 c # [type: int, range: [-1,2147483647], default: 100]
512.71/512.74 c display/freq = 10000
512.71/512.74 c
512.71/512.74 c # maximal time in seconds to run
512.71/512.74 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
512.71/512.74 c limits/time = 1800
512.71/512.74 c
512.71/512.74 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
512.71/512.74 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
512.71/512.74 c limits/memory = 13950
512.71/512.74 c
512.71/512.74 c # default clock type (1: CPU user seconds, 2: wall clock time)
512.71/512.74 c # [type: int, range: [1,2], default: 1]
512.71/512.74 c timing/clocktype = 2
512.71/512.74 c
512.71/512.74 c # belongs reading time to solving time?
512.71/512.74 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
512.71/512.74 c timing/reading = TRUE
512.71/512.74 c
512.71/512.74 c # should presolving try to simplify inequalities
512.71/512.74 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
512.71/512.74 c constraints/linear/simplifyinequalities = TRUE
512.71/512.74 c
512.71/512.74 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
512.71/512.74 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
512.71/512.74 c constraints/indicator/addCouplingCons = TRUE
512.71/512.74 c
512.71/512.74 c # should presolving try to simplify knapsacks
512.71/512.74 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
512.71/512.74 c constraints/knapsack/simplifyinequalities = TRUE
512.71/512.74 c
512.71/512.74 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
512.71/512.74 c # [type: int, range: [-1,2147483647], default: -1]
512.71/512.74 c separating/rapidlearning/freq = 0
512.71/512.74 c
512.71/512.74 c -----------------------------------------------------------------------------------------------
512.71/512.74 c start solving
513.01/513.06 c
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-3452601-1307075223/watcher-3452601-1307075223 -o /tmp/evaluation-result-3452601-1307075223/solver-3452601-1307075223 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452601-1307075223.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: 2.01 2.03 2.00 2/515 7074
/proc/meminfo: memFree=22311896/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=12648 CPUtime=0 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 2151 0 0 0 0 0 0 0 24 0 1 0 897753052 12951552 2105 33554432000 4194304 9128323 140737148512224 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7074/statm: 3162 2105 400 1205 0 1953 0
[startup+0.0683899 s]
/proc/loadavg: 2.01 2.03 2.00 2/515 7074
/proc/meminfo: memFree=22311896/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=33640 CPUtime=0.05 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 7429 0 0 0 5 0 0 0 24 0 1 0 897753052 34447360 7383 33554432000 4194304 9128323 140737148512224 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7074/statm: 8410 7383 400 1205 0 7201 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 33640
[startup+0.100384 s]
/proc/loadavg: 2.01 2.03 2.00 2/515 7074
/proc/meminfo: memFree=22311896/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=43836 CPUtime=0.09 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 9947 0 0 0 8 1 0 0 24 0 1 0 897753052 44888064 9901 33554432000 4194304 9128323 140737148512224 18446744073709551615 6889409 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7074/statm: 10959 9901 400 1205 0 9750 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43836
[startup+0.300349 s]
/proc/loadavg: 2.01 2.03 2.00 2/515 7074
/proc/meminfo: memFree=22311896/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=110668 CPUtime=0.29 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 26657 0 0 0 26 3 0 0 24 0 1 0 897753052 113324032 26609 33554432000 4194304 9128323 140737148512224 18446744073709551615 4338648 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7074/statm: 27667 26609 400 1205 0 26458 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 110668
[startup+0.700277 s]
/proc/loadavg: 2.01 2.03 2.00 2/515 7074
/proc/meminfo: memFree=22311896/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=233632 CPUtime=0.69 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 57359 0 0 0 62 7 0 0 25 0 1 0 897753052 239239168 57309 33554432000 4194304 9128323 140737148512224 18446744073709551615 4338658 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7074/statm: 58456 57315 400 1205 0 57247 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 233632
[startup+1.50112 s]
/proc/loadavg: 2.01 2.03 2.00 3/516 7075
/proc/meminfo: memFree=21996928/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=455492 CPUtime=1.49 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 112710 0 0 0 136 13 0 0 25 0 1 0 897753052 466423808 112657 33554432000 4194304 9128323 140737148512224 18446744073709551615 7961707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7074/statm: 113873 112657 400 1205 0 112664 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 455492
[startup+3.10081 s]
/proc/loadavg: 2.01 2.03 2.00 3/516 7075
/proc/meminfo: memFree=21707884/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=775576 CPUtime=3.09 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 192558 0 0 0 286 23 0 0 25 0 1 0 897753052 794189824 192499 33554432000 4194304 9128323 140737148512224 18446744073709551615 4338640 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/7074/statm: 193894 192499 400 1205 0 192685 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 775576
[startup+6.30122 s]
/proc/loadavg: 2.01 2.03 2.00 3/516 7075
/proc/meminfo: memFree=21512212/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=1037040 CPUtime=6.29 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 256080 0 0 0 596 33 0 0 25 0 1 0 897753052 1061928960 256007 33554432000 4194304 9128323 140737148512224 18446744073709551615 6586630 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 259260 256009 431 1205 0 258051 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1037040
[startup+12.701 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 7075
/proc/meminfo: memFree=20200344/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=2156832 CPUtime=12.7 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 561279 0 0 0 1197 73 0 0 25 0 1 0 897753052 2208595968 536613 33554432000 4194304 9128323 140737148512224 18446744073709551615 5980948 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 539208 536613 531 1205 0 537999 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 2156832
[startup+25.5006 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 7076
/proc/meminfo: memFree=18914632/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=3449440 CPUtime=25.49 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 912709 0 0 0 2432 117 0 0 25 0 1 0 897753052 3532226560 848880 33554432000 4194304 9128323 140737148512224 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 862360 848880 1683 1205 0 861151 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3449440
[startup+51.1007 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 7076
/proc/meminfo: memFree=18914592/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=3449440 CPUtime=51.09 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 912710 0 0 0 4992 117 0 0 25 0 1 0 897753052 3532226560 848880 33554432000 4194304 9128323 140737148512224 18446744073709551615 5488321 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 862360 848880 1682 1205 0 861151 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 3449440
[startup+102.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 7078
/proc/meminfo: memFree=18912704/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=3449440 CPUtime=102.32 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 912710 0 0 0 10115 117 0 0 25 0 1 0 897753052 3532226560 848880 33554432000 4194304 9128323 140737148512224 18446744073709551615 5973216 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 862360 848880 1682 1205 0 861151 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 3449440
[startup+162.301 s]
/proc/loadavg: 2.13 2.05 2.01 3/516 7079
/proc/meminfo: memFree=18911252/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=3449440 CPUtime=162.3 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 912710 0 0 0 16113 117 0 0 25 0 1 0 897753052 3532226560 848880 33554432000 4194304 9128323 140737148512224 18446744073709551615 5973224 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 862360 848880 1682 1205 0 861151 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 3449440
[startup+222.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/516 7081
/proc/meminfo: memFree=18911148/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=3449440 CPUtime=222.29 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 912710 0 0 0 22112 117 0 0 25 0 1 0 897753052 3532226560 848880 33554432000 4194304 9128323 140737148512224 18446744073709551615 5973224 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 862360 848880 1682 1205 0 861151 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 3449440
[startup+282.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/516 7083
/proc/meminfo: memFree=18907620/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=3449440 CPUtime=282.31 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 913747 0 0 0 28113 118 0 0 25 0 1 0 897753052 3532226560 848880 33554432000 4194304 9128323 140737148512224 18446744073709551615 5973216 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 862360 848880 645 1205 0 861151 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 3449440
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 7084
/proc/meminfo: memFree=18907284/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=3449440 CPUtime=342.31 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 913747 0 0 0 34113 118 0 0 25 0 1 0 897753052 3532226560 848880 33554432000 4194304 9128323 140737148512224 18446744073709551615 5488321 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 862360 848880 645 1205 0 861151 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 3449440
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 7086
/proc/meminfo: memFree=18906320/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=3449440 CPUtime=402.31 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 913751 0 0 0 40113 118 0 0 25 0 1 0 897753052 3532226560 848880 33554432000 4194304 9128323 140737148512224 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 862360 848880 641 1205 0 861151 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 3449440
[startup+462.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/516 7087
/proc/meminfo: memFree=18905016/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=3449440 CPUtime=462.31 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 913751 0 0 0 46113 118 0 0 25 0 1 0 897753052 3532226560 848880 33554432000 4194304 9128323 140737148512224 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 862360 848880 641 1205 0 861151 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 3449440
[startup+522.301 s]
/proc/loadavg: 2.16 2.06 2.01 3/516 7171
/proc/meminfo: memFree=17878768/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=5427360 CPUtime=522.31 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 1472147 0 0 0 52049 182 0 0 25 0 1 0 897753052 5557616640 1300342 33554432000 4194304 9128323 140737148512224 18446744073709551615 7192336 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 1356840 1300342 1572 1205 0 1355631 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 5427360
[startup+582.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/516 7173
/proc/meminfo: memFree=17870040/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=5435032 CPUtime=582.31 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 1474413 0 0 0 58047 184 0 0 25 0 1 0 897753052 5565472768 1301899 33554432000 4194304 9128323 140737148512224 18446744073709551615 7082058 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 1358758 1301899 864 1205 0 1357549 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 5435032
[startup+642.301 s]
################
# More data... #
################
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 1504905 0 0 0 100030 203 0 0 25 0 1 0 897753052 5643493376 1320436 33554432000 4194304 9128323 140737148512224 18446744073709551615 7312746 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 1377806 1320436 874 1205 0 1376597 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 5511224
[startup+1062.3 s]
/proc/loadavg: 2.17 2.08 2.02 3/516 7188
/proc/meminfo: memFree=17795292/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=5511580 CPUtime=1062.33 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 1507258 0 0 0 106029 204 0 0 25 0 1 0 897753052 5643857920 1320517 33554432000 4194304 9128323 140737148512224 18446744073709551615 7267763 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 1377895 1320517 874 1205 0 1376686 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 5511580
[startup+1122.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/516 7190
/proc/meminfo: memFree=17793248/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=5512092 CPUtime=1122.33 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 1510164 0 0 0 112027 206 0 0 25 0 1 0 897753052 5644382208 1320616 33554432000 4194304 9128323 140737148512224 18446744073709551615 7082563 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 1378023 1320616 874 1205 0 1376814 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 5512092
[startup+1182.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/516 7192
/proc/meminfo: memFree=17781516/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=5523704 CPUtime=1182.34 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 1515345 0 0 0 118026 208 0 0 25 0 1 0 897753052 5656272896 1323605 33554432000 4194304 9128323 140737148512224 18446744073709551615 7312704 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 1380926 1323605 874 1205 0 1379717 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 5523704
[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/516 7193
/proc/meminfo: memFree=17779212/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=5524008 CPUtime=1242.33 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 1517392 0 0 0 124024 209 0 0 25 0 1 0 897753052 5656584192 1323671 33554432000 4194304 9128323 140737148512224 18446744073709551615 7278888 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 1381002 1323671 874 1205 0 1379793 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 5524008
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 7195
/proc/meminfo: memFree=17778016/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=5524276 CPUtime=1302.35 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 1519570 0 0 0 130024 211 0 0 25 0 1 0 897753052 5656858624 1323737 33554432000 4194304 9128323 140737148512224 18446744073709551615 7267775 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 1381069 1323737 874 1205 0 1379860 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 5524276
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 7196
/proc/meminfo: memFree=17778416/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=5524504 CPUtime=1362.34 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 1522879 0 0 0 136021 213 0 0 25 0 1 0 897753052 5657092096 1323800 33554432000 4194304 9128323 140737148512224 18446744073709551615 7381243 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 1381126 1323800 874 1205 0 1379917 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 5524504
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 7198
/proc/meminfo: memFree=17778348/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=5524676 CPUtime=1422.36 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 1525214 0 0 0 142020 216 0 0 25 0 1 0 897753052 5657268224 1323844 33554432000 4194304 9128323 140737148512224 18446744073709551615 7082524 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 1381169 1323844 868 1205 0 1379960 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 5524676
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 7200
/proc/meminfo: memFree=17767488/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=5542100 CPUtime=1482.34 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 1530184 0 0 0 148016 218 0 0 25 0 1 0 897753052 5675110400 1326524 33554432000 4194304 9128323 140737148512224 18446744073709551615 7284319 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 1385525 1326524 896 1205 0 1384316 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 5542100
[startup+1542.3 s]
/proc/loadavg: 2.16 2.06 2.02 3/516 7201
/proc/meminfo: memFree=17766544/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=5542536 CPUtime=1542.35 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 1533536 0 0 0 154015 220 0 0 25 0 1 0 897753052 5675556864 1326921 33554432000 4194304 9128323 140737148512224 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 1385634 1326921 896 1205 0 1384425 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 5542536
[startup+1602.3 s]
/proc/loadavg: 2.13 2.08 2.02 3/516 7203
/proc/meminfo: memFree=17766700/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=5542796 CPUtime=1602.35 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 1535546 0 0 0 160013 222 0 0 25 0 1 0 897753052 5675823104 1326985 33554432000 4194304 9128323 140737148512224 18446744073709551615 7312746 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 1385699 1326985 896 1205 0 1384490 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 5542796
[startup+1662.3 s]
/proc/loadavg: 2.05 2.06 2.02 3/516 7204
/proc/meminfo: memFree=17765984/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=5542988 CPUtime=1662.36 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 1537964 0 0 0 166013 223 0 0 25 0 1 0 897753052 5676019712 1327041 33554432000 4194304 9128323 140737148512224 18446744073709551615 7312709 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 1385747 1327041 896 1205 0 1384538 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 5542988
[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/516 7206
/proc/meminfo: memFree=17765760/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=5543136 CPUtime=1722.36 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 1540387 0 0 0 172012 224 0 0 25 0 1 0 897753052 5676171264 1327079 33554432000 4194304 9128323 140737148512224 18446744073709551615 7082524 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 1385784 1327079 896 1205 0 1384575 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 5543136
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/516 7208
/proc/meminfo: memFree=17762596/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=5543304 CPUtime=1782.36 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 1542683 0 0 0 178010 226 0 0 25 0 1 0 897753052 5676343296 1327123 33554432000 4194304 9128323 140737148512224 18446744073709551615 7284642 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 1385826 1327123 896 1205 0 1384617 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 5543304
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 7208
/proc/meminfo: memFree=17763068/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=5543340 CPUtime=1800.06 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 1543351 0 0 0 179780 226 0 0 25 0 1 0 897753052 5676380160 1327132 33554432000 4194304 9128323 140737148512224 18446744073709551615 7284642 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 1385835 1327132 896 1205 0 1384626 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 5543340
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -7074
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.03 2.00 3/517 7209
/proc/meminfo: memFree=17762316/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=5543340 CPUtime=1801.46 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 1543351 0 0 0 179920 226 0 0 25 0 1 0 897753052 5676380160 1327132 33554432000 4194304 9128323 140737148512224 18446744073709551615 7312726 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 1385835 1327132 896 1205 0 1384626 0
Current children cumulated CPU time (s) 1801.46
Current children cumulated vsize (KiB) 5543340
[startup+1801.82 s]
/proc/loadavg: 2.00 2.03 2.00 3/517 7209
/proc/meminfo: memFree=17762184/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=5543340 CPUtime=1801.87 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4202496 1543351 0 0 0 179961 226 0 0 25 0 1 0 897753052 5676380160 1327132 33554432000 4194304 9128323 140737148512224 18446744073709551615 7342977 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7074/statm: 1385835 1327132 896 1205 0 1384626 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 5543340
[startup+1802.2 s]
/proc/loadavg: 2.00 2.03 2.00 3/517 7209
/proc/meminfo: memFree=17762184/32950928 swapFree=58671692/67111528
[pid=7074] ppid=7072 vsize=0 CPUtime=1802.26 cores=0,2,4,6
/proc/7074/stat : 7074 (scip-2.0.1.4.li) R 7072 7074 1417 0 -1 4203524 1543683 0 0 0 179982 244 0 0 25 0 1 0 897753052 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/7074/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.26
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.26
CPU time (s): 1802.33
CPU user time (s): 1799.82
CPU system time (s): 2.50762
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 5642588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.82
system time used= 2.50762
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1543683
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= 4020
runsolver used 10.0275 second user time and 21.4507 second system time
The end