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-3453147-1307082154.opb>
0.09/0.17 c original problem has 1518 variables (1518 bin, 0 int, 0 impl, 0 cont) and 21621 constraints
0.09/0.17 c problem read
0.09/0.17 c presolving settings loaded
0.19/0.24 c presolving:
0.29/0.31 c (round 1) 6 del vars, 6 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 121176 impls, 0 clqs
0.39/0.40 c (round 2) 6 del vars, 6 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 21050 upgd conss, 121176 impls, 0 clqs
0.39/0.44 c (round 3) 6 del vars, 6 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 21615 upgd conss, 121176 impls, 0 clqs
0.89/0.95 c (1.0s) probing: 314/1512 (20.8%) - 0 fixings, 0 aggregations, 12558 implications, 0 bound changes
0.89/0.95 c (1.0s) probing aborted: 100/100 successive totally useless probings
0.89/0.95 c presolving (4 rounds):
0.89/0.95 c 6 deleted vars, 6 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.95 c 146292 implications, 0 cliques
0.89/0.95 c presolved problem has 1512 variables (1512 bin, 0 int, 0 impl, 0 cont) and 21615 constraints
0.89/0.95 c 18993 constraints of type <setppc>
0.89/0.95 c 2622 constraints of type <logicor>
0.89/0.95 c transformed objective value is always integral (scale: 1)
0.89/0.95 c Presolving Time: 0.76
0.89/0.95 c - non default parameters ----------------------------------------------------------------------
0.89/0.95 c # SCIP version 2.0.1.4
0.89/0.95 c
0.89/0.95 c # frequency for displaying node information lines
0.89/0.95 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.95 c display/freq = 10000
0.89/0.95 c
0.89/0.95 c # maximal time in seconds to run
0.89/0.95 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.95 c limits/time = 1800
0.89/0.95 c
0.89/0.95 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.95 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.95 c limits/memory = 13950
0.89/0.95 c
0.89/0.95 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/0.95 c # [type: int, range: [1,2], default: 1]
0.89/0.95 c timing/clocktype = 2
0.89/0.95 c
0.89/0.95 c # belongs reading time to solving time?
0.89/0.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95 c timing/reading = TRUE
0.89/0.95 c
0.89/0.95 c # should presolving try to simplify inequalities
0.89/0.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95 c constraints/linear/simplifyinequalities = TRUE
0.89/0.95 c
0.89/0.95 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.89/0.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95 c constraints/indicator/addCouplingCons = TRUE
0.89/0.95 c
0.89/0.95 c # should presolving try to simplify knapsacks
0.89/0.95 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.95 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.95 c
0.89/0.95 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.95 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.95 c separating/rapidlearning/freq = 0
0.89/0.95 c
0.89/0.95 c -----------------------------------------------------------------------------------------------
0.89/0.95 c start solving
0.89/0.95 c
5.29/5.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.29/5.34 c 5.3s| 1 | 0 | 7277 | - | 38M| 0 |1323 |1512 | 21k|1512 | 21k| 0 | 32 | 0 | 3.959062e+02 | -- | Inf
13.69/13.76 c 13.8s| 1 | 0 | 17244 | - | 38M| 0 |1323 |1512 | 21k|1512 | 21k| 3 | 32 | 0 | 3.977812e+02 | -- | Inf
14.39/14.42 c 14.4s| 1 | 0 | 17445 | - | 39M| 0 |1323 |1512 | 21k|1512 | 21k| 7 | 32 | 0 | 3.986443e+02 | -- | Inf
15.19/15.30 c 15.3s| 1 | 0 | 17803 | - | 39M| 0 |1323 |1512 | 21k|1512 | 21k| 11 | 32 | 0 | 3.994479e+02 | -- | Inf
15.89/15.94 c 15.9s| 1 | 0 | 18048 | - | 40M| 0 |1323 |1512 | 21k|1512 | 21k| 17 | 32 | 0 | 4.003333e+02 | -- | Inf
16.59/16.64 c 16.6s| 1 | 0 | 18416 | - | 41M| 0 |1323 |1512 | 21k|1512 | 21k| 22 | 32 | 0 | 4.009922e+02 | -- | Inf
17.61/17.66 c 17.7s| 1 | 0 | 18820 | - | 41M| 0 |1323 |1512 | 21k|1512 | 21k| 26 | 32 | 0 | 4.015367e+02 | -- | Inf
18.71/18.72 c 18.7s| 1 | 0 | 19194 | - | 42M| 0 |1321 |1512 | 21k|1512 | 21k| 31 | 32 | 0 | 4.020243e+02 | -- | Inf
19.89/19.91 c 19.9s| 1 | 0 | 19584 | - | 43M| 0 |1320 |1512 | 21k|1512 | 21k| 39 | 32 | 0 | 4.025303e+02 | -- | Inf
21.49/21.58 c 21.6s| 1 | 0 | 20051 | - | 43M| 0 |1319 |1512 | 21k|1512 | 21k| 44 | 32 | 0 | 4.027250e+02 | -- | Inf
23.01/23.09 c 23.1s| 1 | 0 | 20424 | - | 43M| 0 |1320 |1512 | 21k|1512 | 21k| 50 | 32 | 0 | 4.029375e+02 | -- | Inf
24.59/24.63 c 24.6s| 1 | 0 | 20903 | - | 43M| 0 |1316 |1512 | 21k|1512 | 21k| 55 | 32 | 0 | 4.032852e+02 | -- | Inf
25.89/25.99 c 26.0s| 1 | 0 | 21343 | - | 43M| 0 |1320 |1512 | 21k|1512 | 21k| 59 | 32 | 0 | 4.036211e+02 | -- | Inf
27.40/27.48 c 27.5s| 1 | 0 | 21711 | - | 43M| 0 |1321 |1512 | 21k|1512 | 21k| 63 | 32 | 0 | 4.037773e+02 | -- | Inf
28.89/28.93 c 28.9s| 1 | 0 | 22023 | - | 43M| 0 |1321 |1512 | 21k|1512 | 21k| 66 | 32 | 0 | 4.039212e+02 | -- | Inf
30.89/30.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.89/30.97 c 31.0s| 1 | 0 | 22675 | - | 44M| 0 |1317 |1512 | 21k|1512 | 21k| 70 | 32 | 0 | 4.041198e+02 | -- | Inf
32.59/32.69 c 32.7s| 1 | 0 | 22979 | - | 44M| 0 |1319 |1512 | 21k|1512 | 21k| 72 | 32 | 0 | 4.041986e+02 | -- | Inf
34.29/34.30 c 34.3s| 1 | 0 | 23118 | - | 44M| 0 |1317 |1512 | 21k|1512 | 21k| 73 | 32 | 0 | 4.042338e+02 | -- | Inf
36.31/36.33 c 36.3s| 1 | 0 | 23169 | - | 44M| 0 |1317 |1512 | 21k|1512 | 21k| 74 | 32 | 0 | 4.042447e+02 | -- | Inf
49.59/49.60 c 49.6s| 1 | 2 | 23169 | - | 44M| 0 |1317 |1512 | 21k|1512 | 21k| 74 | 32 | 20 | 4.042447e+02 | -- | Inf
416.19/416.21 o 736
416.19/416.21 c v 416s| 137 | 79 |378614 |2613.6 | 47M| 15 | - |1512 | 21k|1512 | 21k| 74 | 376 | 483 | 4.189113e+02 | 7.360000e+02 | 75.69%
1800.02/1800.01 c
1800.02/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.02/1800.01 c Solving Time (sec) : 1800.01
1800.02/1800.01 c Solving Nodes : 1603
1800.02/1800.01 c Primal Bound : +7.36000000000000e+02 (1 solutions)
1800.02/1800.01 c Dual Bound : +4.44629098673754e+02
1800.02/1800.01 c Gap : 65.53 %
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-3453147-1307082154/watcher-3453147-1307082154 -o /tmp/evaluation-result-3453147-1307082154/solver-3453147-1307082154 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453147-1307082154.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.05 2.03 2.01 2/498 9697
/proc/meminfo: memFree=29067328/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=11628 CPUtime=0 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 1913 0 0 0 0 0 0 0 25 0 1 0 819814991 11907072 1866 33554432000 4194304 9128323 140735325274768 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9697/statm: 2907 1866 400 1205 0 1698 0
[startup+0.030396 s]
/proc/loadavg: 2.05 2.03 2.01 2/498 9697
/proc/meminfo: memFree=29067328/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=12028 CPUtime=0.02 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 2019 0 0 0 2 0 0 0 25 0 1 0 819814991 12316672 1972 33554432000 4194304 9128323 140735325274768 18446744073709551615 4338650 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9697/statm: 3007 1972 400 1205 0 1798 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12028
[startup+0.100386 s]
/proc/loadavg: 2.05 2.03 2.01 2/498 9697
/proc/meminfo: memFree=29067328/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=15996 CPUtime=0.09 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 3004 0 0 0 9 0 0 0 25 0 1 0 819814991 16379904 2956 33554432000 4194304 9128323 140735325274768 18446744073709551615 7447660 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9697/statm: 3999 2956 400 1205 0 2790 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15996
[startup+0.300363 s]
/proc/loadavg: 2.05 2.03 2.01 2/498 9697
/proc/meminfo: memFree=29067328/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=66868 CPUtime=0.29 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 15495 0 0 0 27 2 0 0 25 0 1 0 819814991 68472832 15441 33554432000 4194304 9128323 140735325274768 18446744073709551615 6592257 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 16717 15441 512 1205 0 15508 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 66868
[startup+0.700296 s]
/proc/loadavg: 2.05 2.03 2.01 2/498 9697
/proc/meminfo: memFree=29067328/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=74528 CPUtime=0.69 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 18853 0 0 0 67 2 0 0 25 0 1 0 819814991 76316672 17365 33554432000 4194304 9128323 140735325274768 18446744073709551615 5488726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 18632 17365 546 1205 0 17423 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 74528
[startup+1.5012 s]
/proc/loadavg: 2.05 2.03 2.01 3/499 9698
/proc/meminfo: memFree=28971336/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=126768 CPUtime=1.49 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 33040 0 0 0 145 4 0 0 25 0 1 0 819814991 129810432 29833 33554432000 4194304 9128323 140735325274768 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 31692 29833 776 1205 0 30483 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 126768
[startup+3.10088 s]
/proc/loadavg: 2.13 2.05 2.01 3/499 9698
/proc/meminfo: memFree=28937500/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=145520 CPUtime=3.09 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 37402 0 0 0 304 5 0 0 25 0 1 0 819814991 149012480 33858 33554432000 4194304 9128323 140735325274768 18446744073709551615 7315299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 36380 33858 791 1205 0 35171 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 145520
[startup+6.30035 s]
/proc/loadavg: 2.13 2.05 2.01 3/499 9698
/proc/meminfo: memFree=28940680/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=133976 CPUtime=6.29 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 38398 0 0 0 622 7 0 0 25 0 1 0 819814991 137191424 31740 33554432000 4194304 9128323 140735325274768 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 33494 31740 686 1205 0 32285 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 133976
[startup+12.7003 s]
/proc/loadavg: 2.11 2.05 2.01 3/499 9698
/proc/meminfo: memFree=28939720/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=133976 CPUtime=12.69 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 38404 0 0 0 1259 10 0 0 25 0 1 0 819814991 137191424 31746 33554432000 4194304 9128323 140735325274768 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 33494 31746 686 1205 0 32285 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 133976
[startup+25.5011 s]
/proc/loadavg: 2.09 2.05 2.01 3/499 9698
/proc/meminfo: memFree=28914252/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=164512 CPUtime=25.49 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 49019 0 0 0 2530 19 0 0 25 0 1 0 819814991 168460288 39243 33554432000 4194304 9128323 140735325274768 18446744073709551615 7414888 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 41128 39243 1666 1205 0 39919 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 164512
[startup+51.1008 s]
/proc/loadavg: 2.06 2.04 2.01 3/499 9698
/proc/meminfo: memFree=28898188/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=162308 CPUtime=51.09 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 146015 0 0 0 5063 46 0 0 25 0 1 0 819814991 166203392 39001 33554432000 4194304 9128323 140735325274768 18446744073709551615 6941927 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 40577 39001 946 1205 0 39368 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 162308
[startup+102.319 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 9700
/proc/meminfo: memFree=28893688/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=165724 CPUtime=102.31 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 184885 0 0 0 10151 80 0 0 25 0 1 0 819814991 169701376 39812 33554432000 4194304 9128323 140735325274768 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 41431 39812 726 1205 0 40222 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 165724
[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/499 9702
/proc/meminfo: memFree=28887604/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=169468 CPUtime=162.29 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 186078 0 0 0 16115 114 0 0 25 0 1 0 819814991 173535232 41005 33554432000 4194304 9128323 140735325274768 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 42367 41005 726 1205 0 41158 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 169468
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 9731
/proc/meminfo: memFree=28860732/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=169504 CPUtime=222.29 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 186300 0 0 0 22074 155 0 0 25 0 1 0 819814991 173572096 41227 33554432000 4194304 9128323 140735325274768 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 42376 41227 727 1205 0 41167 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 169504
[startup+282.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/499 9733
/proc/meminfo: memFree=28843012/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=169504 CPUtime=282.29 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 186303 0 0 0 28043 186 0 0 25 0 1 0 819814991 173572096 41230 33554432000 4194304 9128323 140735325274768 18446744073709551615 7315424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 42376 41230 730 1205 0 41167 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 169504
[startup+342.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/499 9733
/proc/meminfo: memFree=28850520/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=168648 CPUtime=342.3 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 188356 0 0 0 34015 215 0 0 25 0 1 0 819814991 172695552 40091 33554432000 4194304 9128323 140735325274768 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 42162 40091 730 1205 0 40953 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 168648
[startup+402.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/499 9735
/proc/meminfo: memFree=28849152/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=164332 CPUtime=402.3 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 192620 0 0 0 39984 246 0 0 25 0 1 0 819814991 168275968 39165 33554432000 4194304 9128323 140735325274768 18446744073709551615 7343104 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 41083 39165 730 1205 0 39874 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 164332
[startup+462.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 9737
/proc/meminfo: memFree=28842328/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=168636 CPUtime=462.3 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 195853 0 0 0 45952 278 0 0 25 0 1 0 819814991 172683264 40287 33554432000 4194304 9128323 140735325274768 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 42159 40287 730 1205 0 40950 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 168636
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 9739
/proc/meminfo: memFree=28838344/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=168636 CPUtime=522.3 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 195858 0 0 0 51920 310 0 0 25 0 1 0 819814991 172683264 40292 33554432000 4194304 9128323 140735325274768 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 42159 40292 730 1205 0 40950 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 168636
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 9741
/proc/meminfo: memFree=28837464/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=168936 CPUtime=582.3 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 196652 0 0 0 57886 344 0 0 25 0 1 0 819814991 172990464 41086 33554432000 4194304 9128323 140735325274768 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 42234 41086 730 1205 0 41025 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 168936
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/499 9747
/proc/meminfo: memFree=28831848/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=170416 CPUtime=822.3 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 227031 0 0 0 81751 479 0 0 25 0 1 0 819814991 174505984 41457 33554432000 4194304 9128323 140735325274768 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 42604 41457 956 1205 0 41395 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 170416
[startup+882.301 s]
/proc/loadavg: 2.13 2.05 2.01 3/499 9749
/proc/meminfo: memFree=28831588/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=170240 CPUtime=882.31 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 236024 0 0 0 87715 516 0 0 25 0 1 0 819814991 174325760 41417 33554432000 4194304 9128323 140735325274768 18446744073709551615 7315398 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 42560 41417 933 1205 0 41351 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 170240
[startup+942.301 s]
/proc/loadavg: 2.11 2.06 2.01 3/499 9749
/proc/meminfo: memFree=28832816/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=171048 CPUtime=942.3 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 244871 0 0 0 93679 551 0 0 25 0 1 0 819814991 175153152 40986 33554432000 4194304 9128323 140735325274768 18446744073709551615 7315710 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 42762 40986 730 1205 0 41553 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 171048
[startup+1002.3 s]
/proc/loadavg: 2.04 2.05 2.00 4/499 9751
/proc/meminfo: memFree=28829952/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=168320 CPUtime=1002.31 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 254071 0 0 0 99646 585 0 0 25 0 1 0 819814991 172359680 40274 33554432000 4194304 9128323 140735325274768 18446744073709551615 7315680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 42080 40274 730 1205 0 40871 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 168320
[startup+1062.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/499 9753
/proc/meminfo: memFree=28829064/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=168396 CPUtime=1062.31 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 288266 0 0 0 105610 621 0 0 25 0 1 0 819814991 172437504 40237 33554432000 4194304 9128323 140735325274768 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 42099 40237 730 1205 0 40890 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 168396
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 9755
/proc/meminfo: memFree=28829420/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=171336 CPUtime=1122.31 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 300713 0 0 0 111576 655 0 0 25 0 1 0 819814991 175448064 40597 33554432000 4194304 9128323 140735325274768 18446744073709551615 7346718 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 42834 40597 730 1205 0 41625 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 171336
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 9757
/proc/meminfo: memFree=28823700/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=167832 CPUtime=1182.31 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 335931 0 0 0 117537 694 0 0 25 0 1 0 819814991 171859968 40177 33554432000 4194304 9128323 140735325274768 18446744073709551615 7315329 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 41958 40177 730 1205 0 40749 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 167832
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 9757
/proc/meminfo: memFree=28821088/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=169888 CPUtime=1242.31 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 378931 0 0 0 123494 737 0 0 25 0 1 0 819814991 173965312 40260 33554432000 4194304 9128323 140735325274768 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 42472 40260 730 1205 0 41263 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 169888
[startup+1302.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/499 9759
/proc/meminfo: memFree=28819220/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=172884 CPUtime=1302.32 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 415285 0 0 0 129453 779 0 0 25 0 1 0 819814991 177033216 41369 33554432000 4194304 9128323 140735325274768 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 43221 41369 1017 1205 0 42012 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 172884
[startup+1362.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/499 9761
/proc/meminfo: memFree=28813140/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=177852 CPUtime=1362.31 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 454994 0 0 0 135412 819 0 0 25 0 1 0 819814991 182120448 42753 33554432000 4194304 9128323 140735325274768 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 44463 42753 730 1205 0 43254 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 177852
[startup+1422.32 s]
/proc/loadavg: 2.04 2.03 2.00 3/499 9763
/proc/meminfo: memFree=28819580/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=173164 CPUtime=1422.33 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 485355 0 0 0 141375 858 0 0 25 0 1 0 819814991 177319936 41407 33554432000 4194304 9128323 140735325274768 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 43291 41407 730 1205 0 42082 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 173164
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 9765
/proc/meminfo: memFree=28809656/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=179632 CPUtime=1482.31 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 537753 0 0 0 147331 900 0 0 25 0 1 0 819814991 183943168 43671 33554432000 4194304 9128323 140735325274768 18446744073709551615 7315183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 44908 43671 899 1205 0 43699 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 179632
[startup+1542.3 s]
/proc/loadavg: 2.11 2.05 2.00 3/499 9765
/proc/meminfo: memFree=28801464/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=181804 CPUtime=1542.32 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 557877 0 0 0 153293 939 0 0 25 0 1 0 819814991 186167296 43408 33554432000 4194304 9128323 140735325274768 18446744073709551615 7315256 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 45451 43408 730 1205 0 44242 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 181804
[startup+1602.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/499 9767
/proc/meminfo: memFree=28799728/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=184836 CPUtime=1602.32 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 581975 0 0 0 159254 978 0 0 25 0 1 0 819814991 189272064 44137 33554432000 4194304 9128323 140735325274768 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 46209 44137 919 1205 0 45000 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 184836
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 9769
/proc/meminfo: memFree=28799216/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=183968 CPUtime=1662.32 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 596650 0 0 0 165217 1015 0 0 25 0 1 0 819814991 188383232 44386 33554432000 4194304 9128323 140735325274768 18446744073709551615 7191101 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 45992 44386 1189 1205 0 44783 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 183968
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 9771
/proc/meminfo: memFree=28795728/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=183412 CPUtime=1722.32 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 620457 0 0 0 171180 1052 0 0 25 0 1 0 819814991 187813888 44459 33554432000 4194304 9128323 140735325274768 18446744073709551615 7191101 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 45853 44459 1088 1205 0 44644 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 183412
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 9773
/proc/meminfo: memFree=28793860/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=183556 CPUtime=1782.32 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 632604 0 0 0 177141 1091 0 0 25 0 1 0 819814991 187961344 44553 33554432000 4194304 9128323 140735325274768 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 45889 44553 769 1205 0 44680 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 183556
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 9773
/proc/meminfo: memFree=28789020/32951132 swapFree=57925096/67111528
[pid=9697] ppid=9695 vsize=185972 CPUtime=1800.04 cores=1,3,5,7
/proc/9697/stat : 9697 (scip-2.0.1.4.li) R 9695 9697 7222 0 -1 4202496 632646 0 0 0 178905 1099 0 0 25 0 1 0 819814991 190435328 44595 33554432000 4194304 9128323 140735325274768 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9697/statm: 46493 44595 769 1205 0 45284 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 185972
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.06
CPU user time (s): 1789.05
CPU system time (s): 11.0023
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 187352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.05
system time used= 11.0023
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 632647
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= 5
involuntary context switches= 4275
runsolver used 8.86665 second user time and 20.7089 second system time
The end