0.00/0.00 c SCIP version 2.0.1.5 [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-3450941-1307646334.opb>
5.29/5.35 c original problem has 1041679 variables (1041679 bin, 0 int, 0 impl, 0 cont) and 127860 constraints
5.29/5.35 c problem read
5.29/5.36 c presolving settings loaded
8.69/8.74 o 0
8.69/8.74 c feasible solution found by trivial heuristic, objective value 0.000000e+00
8.69/8.74 c presolving:
9.69/9.76 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
9.90/9.93 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
10.69/10.73 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
15.59/15.68 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
190.10/190.14 c (190.1s) probing: 1000/1014899 (0.1%) - 0 fixings, 6 aggregations, 53954 implications, 0 bound changes
367.10/367.11 c (367.1s) probing: 2000/1014899 (0.2%) - 0 fixings, 6 aggregations, 117771 implications, 0 bound changes
466.71/466.74 c (466.7s) probing: 2558/1014899 (0.3%) - 0 fixings, 6 aggregations, 153462 implications, 0 bound changes
466.71/466.74 c (466.7s) probing aborted: 2000/2000 successive useless probings
466.71/466.79 c presolving (5 rounds):
466.71/466.79 c 26786 deleted vars, 95354 deleted constraints, 913454 added constraints, 18205 tightened bounds, 0 added holes, 1021457 changed sides, 1998874 changed coefficients
466.71/466.79 c 2136768 implications, 1565 cliques
466.71/466.79 c presolved problem has 1014893 variables (1014893 bin, 0 int, 0 impl, 0 cont) and 945960 constraints
466.71/466.79 c 857 constraints of type <knapsack>
466.71/466.79 c 915019 constraints of type <setppc>
466.71/466.79 c 30084 constraints of type <linear>
466.71/466.79 c transformed objective value is always integral (scale: 1)
466.71/466.79 c Presolving Time: 459.96
466.71/466.79 c - non default parameters ----------------------------------------------------------------------
466.71/466.79 c # SCIP version 2.0.1.5
466.71/466.79 c
466.71/466.79 c # frequency for displaying node information lines
466.71/466.79 c # [type: int, range: [-1,2147483647], default: 100]
466.71/466.79 c display/freq = 10000
466.71/466.79 c
466.71/466.79 c # maximal time in seconds to run
466.71/466.79 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
466.71/466.79 c limits/time = 1800
466.71/466.79 c
466.71/466.79 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
466.71/466.79 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
466.71/466.79 c limits/memory = 13950
466.71/466.79 c
466.71/466.79 c # default clock type (1: CPU user seconds, 2: wall clock time)
466.71/466.79 c # [type: int, range: [1,2], default: 1]
466.71/466.79 c timing/clocktype = 2
466.71/466.79 c
466.71/466.79 c # belongs reading time to solving time?
466.71/466.79 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
466.71/466.79 c timing/reading = TRUE
466.71/466.79 c
466.71/466.79 c # should presolving try to simplify inequalities
466.71/466.79 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
466.71/466.79 c constraints/linear/simplifyinequalities = TRUE
466.71/466.79 c
466.71/466.79 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
466.71/466.79 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
466.71/466.79 c constraints/indicator/addCouplingCons = TRUE
466.71/466.79 c
466.71/466.79 c # should presolving try to simplify knapsacks
466.71/466.79 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
466.71/466.79 c constraints/knapsack/simplifyinequalities = TRUE
466.71/466.79 c
466.71/466.79 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
466.71/466.79 c # [type: int, range: [-1,2147483647], default: -1]
466.71/466.79 c separating/rapidlearning/freq = 0
466.71/466.79 c
466.71/466.79 c -----------------------------------------------------------------------------------------------
466.71/466.79 c start solving
467.00/467.08 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-3450941-1307646334/watcher-3450941-1307646334 -o /tmp/evaluation-result-3450941-1307646334/solver-3450941-1307646334 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450941-1307646334.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 2671
/proc/meminfo: memFree=31848852/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=9460 CPUtime=0 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 1454 0 0 0 0 0 0 0 23 0 1 0 876234295 9687040 1407 33554432000 4194304 9163163 140733470209264 18446744073709551615 8013931 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/2671/statm: 2365 1410 322 1214 0 1147 0
[startup+0.0978959 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 2671
/proc/meminfo: memFree=31848852/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=50608 CPUtime=0.08 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 11618 0 0 0 7 1 0 0 23 0 1 0 876234295 51822592 11571 33554432000 4194304 9163163 140733470209264 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/2671/statm: 12652 11571 395 1214 0 11434 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 50608
[startup+0.100896 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 2671
/proc/meminfo: memFree=31848852/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=52656 CPUtime=0.09 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 11923 0 0 0 8 1 0 0 23 0 1 0 876234295 53919744 11876 33554432000 4194304 9163163 140733470209264 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/2671/statm: 13164 11899 395 1214 0 11946 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 52656
[startup+0.300862 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 2671
/proc/meminfo: memFree=31848852/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=126520 CPUtime=0.29 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 30615 0 0 0 25 4 0 0 25 0 1 0 876234295 129556480 30568 33554432000 4194304 9163163 140733470209264 18446744073709551615 8031100 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/2671/statm: 31886 30596 395 1214 0 30668 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 126520
[startup+0.700787 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 2671
/proc/meminfo: memFree=31848852/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=267792 CPUtime=0.69 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 65835 0 0 0 61 8 0 0 25 0 1 0 876234295 274219008 65788 33554432000 4194304 9163163 140733470209264 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/2671/statm: 66948 65788 395 1214 0 65730 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 267792
[startup+1.50064 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2672
/proc/meminfo: memFree=31489068/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=516148 CPUtime=1.49 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 127976 0 0 0 134 15 0 0 25 0 1 0 876234295 528535552 127929 33554432000 4194304 9163163 140733470209264 18446744073709551615 8041824 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/2671/statm: 129037 127929 395 1214 0 127819 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 516148
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2672
/proc/meminfo: memFree=31169292/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=791640 CPUtime=3.09 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 196583 0 0 0 286 23 0 0 25 0 1 0 876234295 810639360 196536 33554432000 4194304 9163163 140733470209264 18446744073709551615 4337755 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/2671/statm: 197910 196536 395 1214 0 196692 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 791640
[startup+6.30076 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2672
/proc/meminfo: memFree=30986888/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=1727544 CPUtime=6.29 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 429865 0 0 0 581 48 0 0 25 0 1 0 876234295 1769005056 429744 33554432000 4194304 9163163 140733470209264 18446744073709551615 6919008 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 431886 429744 432 1214 0 430668 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1727544
[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2672
/proc/meminfo: memFree=29382356/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=2761528 CPUtime=12.69 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 681331 0 0 0 1193 76 0 0 25 0 1 0 876234295 2827804672 668968 33554432000 4194304 9163163 140733470209264 18446744073709551615 4217457 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 690382 668968 603 1214 0 689164 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2761528
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2672
/proc/meminfo: memFree=28498904/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=3402284 CPUtime=25.49 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 888010 0 0 0 2454 95 0 0 25 0 1 0 876234295 3483938816 837171 33554432000 4194304 9163163 140733470209264 18446744073709551615 5944296 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 850571 837171 1681 1214 0 849353 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3402284
[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2673
/proc/meminfo: memFree=28498072/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=3402284 CPUtime=51.09 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 888011 0 0 0 5014 95 0 0 25 0 1 0 876234295 3483938816 837171 33554432000 4194304 9163163 140733470209264 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 850571 837171 1680 1214 0 849353 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 3402284
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2674
/proc/meminfo: memFree=28491228/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=3402284 CPUtime=102.3 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 888045 0 0 0 10135 95 0 0 25 0 1 0 876234295 3483938816 837171 33554432000 4194304 9163163 140733470209264 18446744073709551615 5459264 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 850571 837171 1646 1214 0 849353 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 3402284
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2676
/proc/meminfo: memFree=28483248/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=3402284 CPUtime=162.3 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 888780 0 0 0 16135 95 0 0 25 0 1 0 876234295 3483938816 837171 33554432000 4194304 9163163 140733470209264 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 850571 837171 911 1214 0 849353 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 3402284
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2678
/proc/meminfo: memFree=28476520/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=3406380 CPUtime=222.3 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 890060 0 0 0 22135 95 0 0 25 0 1 0 876234295 3488133120 838195 33554432000 4194304 9163163 140733470209264 18446744073709551615 5944296 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 851595 838195 655 1214 0 850377 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 3406380
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2679
/proc/meminfo: memFree=28470164/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=3411500 CPUtime=282.3 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 891340 0 0 0 28135 95 0 0 25 0 1 0 876234295 3493376000 839475 33554432000 4194304 9163163 140733470209264 18446744073709551615 5944197 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 852875 839475 655 1214 0 851657 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 3411500
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2681
/proc/meminfo: memFree=28460812/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=3416620 CPUtime=342.3 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 892620 0 0 0 34135 95 0 0 25 0 1 0 876234295 3498618880 840755 33554432000 4194304 9163163 140733470209264 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 854155 840755 655 1214 0 852937 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 3416620
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2682
/proc/meminfo: memFree=28452712/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=3422764 CPUtime=402.3 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 894156 0 0 0 40134 96 0 0 25 0 1 0 876234295 3504910336 842291 33554432000 4194304 9163163 140733470209264 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 855691 842291 655 1214 0 854473 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 3422764
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2684
/proc/meminfo: memFree=28445476/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=3428908 CPUtime=462.3 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 895692 0 0 0 46134 96 0 0 25 0 1 0 876234295 3511201792 843827 33554432000 4194304 9163163 140733470209264 18446744073709551615 5944288 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 857227 843827 655 1214 0 856009 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 3428908
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2686
/proc/meminfo: memFree=26663432/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=5388084 CPUtime=522.31 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 1448317 0 0 0 52075 156 0 0 25 0 1 0 876234295 5517398016 1289115 33554432000 4194304 9163163 140733470209264 18446744073709551615 7208658 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 1347021 1289115 882 1214 0 1345803 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 5388084
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2687
/proc/meminfo: memFree=26592828/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=5460156 CPUtime=582.31 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 1465013 0 0 0 58070 161 0 0 25 0 1 0 876234295 5591199744 1305801 33554432000 4194304 9163163 140733470209264 18446744073709551615 7317354 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 1365039 1305801 888 1214 0 1363821 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 5460156
[startup+642.3 s]
################
# More data... #
################
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 1486172 0 0 0 106051 181 0 0 25 0 1 0 876234295 5604343808 1309057 33554432000 4194304 9163163 140733470209264 18446744073709551615 7349233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 1368248 1309057 893 1214 0 1367030 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 5472992
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2702
/proc/meminfo: memFree=26565928/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=5484584 CPUtime=1122.33 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 1491427 0 0 0 112049 184 0 0 25 0 1 0 876234295 5616214016 1312014 33554432000 4194304 9163163 140733470209264 18446744073709551615 7317370 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 1371146 1312014 893 1214 0 1369928 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 5484584
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2703
/proc/meminfo: memFree=26565388/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=5484908 CPUtime=1182.33 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 1493742 0 0 0 118047 186 0 0 25 0 1 0 876234295 5616545792 1312088 33554432000 4194304 9163163 140733470209264 18446744073709551615 7317586 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 1371227 1312088 893 1214 0 1370009 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 5484908
[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 2705
/proc/meminfo: memFree=26564732/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=5485164 CPUtime=1242.32 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 1497281 0 0 0 124044 188 0 0 25 0 1 0 876234295 5616807936 1312157 33554432000 4194304 9163163 140733470209264 18446744073709551615 7345682 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 1371291 1312157 893 1214 0 1370073 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 5485164
[startup+1302.3 s]
/proc/loadavg: 2.09 2.02 2.00 3/178 2706
/proc/meminfo: memFree=26564444/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=5485376 CPUtime=1302.33 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 1499921 0 0 0 130044 189 0 0 25 0 1 0 876234295 5617025024 1312213 33554432000 4194304 9163163 140733470209264 18446744073709551615 7317354 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 1371344 1312213 887 1214 0 1370126 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 5485376
[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 2708
/proc/meminfo: memFree=26553372/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=5502808 CPUtime=1362.33 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 1504909 0 0 0 136041 192 0 0 25 0 1 0 876234295 5634875392 1314897 33554432000 4194304 9163163 140733470209264 18446744073709551615 7115515 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 1375702 1314897 918 1214 0 1374484 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 5502808
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 2710
/proc/meminfo: memFree=26551600/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=5503224 CPUtime=1422.34 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 1508429 0 0 0 142040 194 0 0 25 0 1 0 876234295 5635301376 1315295 33554432000 4194304 9163163 140733470209264 18446744073709551615 7115209 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 1375806 1315295 918 1214 0 1374588 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 5503224
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 2711
/proc/meminfo: memFree=26550568/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=5503544 CPUtime=1482.34 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 1510921 0 0 0 148039 195 0 0 25 0 1 0 876234295 5635629056 1315380 33554432000 4194304 9163163 140733470209264 18446744073709551615 7274214 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 1375886 1315380 918 1214 0 1374668 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 5503544
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2713
/proc/meminfo: memFree=26550280/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=5503740 CPUtime=1542.34 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 1513352 0 0 0 154036 198 0 0 25 0 1 0 876234295 5635829760 1315429 33554432000 4194304 9163163 140733470209264 18446744073709551615 7345690 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 1375935 1315429 918 1214 0 1374717 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 5503740
[startup+1602.3 s]
/proc/loadavg: 1.66 1.92 1.97 2/172 2739
/proc/meminfo: memFree=26764480/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=5503912 CPUtime=1602.33 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 1516118 0 0 0 160034 199 0 0 25 0 1 0 876234295 5636005888 1315473 33554432000 4194304 9163163 140733470209264 18446744073709551615 7349135 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 1375978 1315473 918 1214 0 1374760 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 5503912
[startup+1662.3 s]
/proc/loadavg: 1.24 1.75 1.91 2/172 2741
/proc/meminfo: memFree=26764556/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=5504092 CPUtime=1662.34 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 1518738 0 0 0 166033 201 0 0 25 0 1 0 876234295 5636190208 1315520 33554432000 4194304 9163163 140733470209264 18446744073709551615 7317276 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 1376023 1315520 918 1214 0 1374805 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 5504092
[startup+1722.3 s]
/proc/loadavg: 1.09 1.61 1.85 2/172 2743
/proc/meminfo: memFree=26764528/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=5504228 CPUtime=1722.35 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 1521984 0 0 0 172031 204 0 0 25 0 1 0 876234295 5636329472 1315561 33554432000 4194304 9163163 140733470209264 18446744073709551615 7300733 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 1376057 1315561 918 1214 0 1374839 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 5504228
[startup+1782.3 s]
/proc/loadavg: 1.03 1.50 1.79 2/172 2744
/proc/meminfo: memFree=26764356/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=5504436 CPUtime=1782.35 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 1524905 0 0 0 178029 206 0 0 25 0 1 0 876234295 5636542464 1315618 33554432000 4194304 9163163 140733470209264 18446744073709551615 7317263 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 1376109 1315618 918 1214 0 1374891 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 5504436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.02 1.47 1.78 2/172 2745
/proc/meminfo: memFree=26764224/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=5504484 CPUtime=1800.04 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 1525612 0 0 0 179798 206 0 0 25 0 1 0 876234295 5636591616 1315630 33554432000 4194304 9163163 140733470209264 18446744073709551615 7311816 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 1376121 1315630 918 1214 0 1374903 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 5504484
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -2671
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.02 1.47 1.78 2/173 2746
/proc/meminfo: memFree=26764216/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=5504484 CPUtime=1801.44 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 1525612 0 0 0 179938 206 0 0 25 0 1 0 876234295 5636591616 1315630 33554432000 4194304 9163163 140733470209264 18446744073709551615 7347652 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 1376121 1315630 918 1214 0 1374903 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 5504484
[startup+1801.81 s]
/proc/loadavg: 1.02 1.46 1.78 2/173 2746
/proc/meminfo: memFree=26764216/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=5504484 CPUtime=1801.85 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 1525612 0 0 0 179979 206 0 0 25 0 1 0 876234295 5636591616 1315630 33554432000 4194304 9163163 140733470209264 18446744073709551615 7317354 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 1376121 1315630 918 1214 0 1374903 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 5504484
[startup+1802 s]
/proc/loadavg: 1.02 1.46 1.78 2/173 2746
/proc/meminfo: memFree=26764216/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=5504484 CPUtime=1802.04 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4202496 1525612 0 0 0 179998 206 0 0 25 0 1 0 876234295 5636591616 1315630 33554432000 4194304 9163163 140733470209264 18446744073709551615 7115468 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2671/statm: 1376121 1315630 918 1214 0 1374903 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 5504484
[startup+1802.1 s]
/proc/loadavg: 1.02 1.46 1.78 2/173 2746
/proc/meminfo: memFree=26764216/32951124 swapFree=67056684/67111528
[pid=2671] ppid=2669 vsize=0 CPUtime=1802.15 cores=1,3,5,7
/proc/2671/stat : 2671 (scip-2.0.1.4b.l) R 2669 2671 32675 0 -1 4203524 1525612 0 0 0 179999 216 0 0 25 0 1 0 876234295 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/2671/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.19
CPU time (s): 1802.24
CPU user time (s): 1799.99
CPU system time (s): 2.24966
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 5621936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 2.24966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1525612
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= 4
involuntary context switches= 21038
runsolver used 2.89756 second user time and 6.71398 second system time
The end