0.00/0.01 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3453510-1307122228.opb>
0.38/0.46 c original problem has 18662 variables (18662 bin, 0 int, 0 impl, 0 cont) and 62652 constraints
0.38/0.46 c problem read
0.38/0.46 c presolving settings loaded
0.59/0.69 c presolving:
2.29/2.38 c (round 1) 997 del vars, 2613 del conss, 0 add conss, 667 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4357942 impls, 0 clqs
2.49/2.59 c (round 2) 2319 del vars, 6991 del conss, 0 add conss, 1858 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4363697 impls, 0 clqs
2.59/2.63 c (round 3) 2601 del vars, 8697 del conss, 0 add conss, 1965 chg bounds, 50 chg sides, 43 chg coeffs, 0 upgd conss, 4365799 impls, 0 clqs
2.59/2.65 c (round 4) 2689 del vars, 9113 del conss, 0 add conss, 1993 chg bounds, 50 chg sides, 43 chg coeffs, 0 upgd conss, 4366269 impls, 0 clqs
2.59/2.67 c (round 5) 2689 del vars, 9163 del conss, 0 add conss, 1993 chg bounds, 50 chg sides, 43 chg coeffs, 0 upgd conss, 4366269 impls, 0 clqs
2.79/2.87 c (round 6) 2689 del vars, 9163 del conss, 0 add conss, 1993 chg bounds, 50 chg sides, 43 chg coeffs, 53489 upgd conss, 4366269 impls, 0 clqs
2.99/3.06 c (round 7) 2689 del vars, 9176 del conss, 30 add conss, 1993 chg bounds, 90 chg sides, 235 chg coeffs, 53489 upgd conss, 4366269 impls, 0 clqs
112.59/112.62 c (112.6s) probing: 1000/15973 (6.3%) - 13 fixings, 1 aggregations, 4139714 implications, 0 bound changes
216.09/216.14 c (216.1s) probing: 2000/15973 (12.5%) - 16 fixings, 2 aggregations, 7316596 implications, 0 bound changes
307.60/307.66 c (307.7s) probing: 3000/15973 (18.8%) - 29 fixings, 2 aggregations, 9948055 implications, 4 bound changes
391.40/391.42 c (391.4s) probing: 4000/15973 (25.0%) - 40 fixings, 9 aggregations, 12169070 implications, 5 bound changes
392.20/392.23 c (round 8) 2739 del vars, 9176 del conss, 30 add conss, 1998 chg bounds, 90 chg sides, 249 chg coeffs, 53489 upgd conss, 37467172 impls, 0 clqs
392.71/392.78 c (round 9) 2743 del vars, 9539 del conss, 30 add conss, 1998 chg bounds, 90 chg sides, 399 chg coeffs, 53489 upgd conss, 37468396 impls, 0 clqs
483.60/483.63 c (483.6s) probing: 5000/15973 (31.3%) - 40 fixings, 10 aggregations, 15080234 implications, 5 bound changes
563.50/563.54 c (563.5s) probing: 6000/15973 (37.6%) - 40 fixings, 10 aggregations, 18686597 implications, 5 bound changes
564.10/564.12 c (564.1s) probing: 6008/15973 (37.6%) - 40 fixings, 10 aggregations, 18710313 implications, 5 bound changes
564.10/564.12 c (564.1s) probing aborted: 2000/2000 successive useless probings
564.10/564.12 c presolving (10 rounds):
564.10/564.12 c 2743 deleted vars, 9543 deleted constraints, 30 added constraints, 1998 tightened bounds, 0 added holes, 90 changed sides, 442 changed coefficients
564.10/564.12 c 52436996 implications, 0 cliques
564.10/564.12 c presolved problem has 15919 variables (15919 bin, 0 int, 0 impl, 0 cont) and 53139 constraints
564.10/564.12 c 1152 constraints of type <knapsack>
564.10/564.12 c 44089 constraints of type <setppc>
564.10/564.12 c 7898 constraints of type <logicor>
564.10/564.12 c transformed objective value is always integral (scale: 1)
564.10/564.12 c Presolving Time: 563.59
564.10/564.12 c - non default parameters ----------------------------------------------------------------------
564.10/564.12 c # SCIP version 2.0.1.4
564.10/564.12 c
564.10/564.12 c # frequency for displaying node information lines
564.10/564.12 c # [type: int, range: [-1,2147483647], default: 100]
564.10/564.12 c display/freq = 10000
564.10/564.12 c
564.10/564.12 c # maximal time in seconds to run
564.10/564.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
564.10/564.12 c limits/time = 1800
564.10/564.12 c
564.10/564.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
564.10/564.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
564.10/564.12 c limits/memory = 13950
564.10/564.12 c
564.10/564.12 c # default clock type (1: CPU user seconds, 2: wall clock time)
564.10/564.12 c # [type: int, range: [1,2], default: 1]
564.10/564.12 c timing/clocktype = 2
564.10/564.12 c
564.10/564.12 c # belongs reading time to solving time?
564.10/564.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
564.10/564.12 c timing/reading = TRUE
564.10/564.12 c
564.10/564.12 c # should presolving try to simplify inequalities
564.10/564.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
564.10/564.12 c constraints/linear/simplifyinequalities = TRUE
564.10/564.12 c
564.10/564.12 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
564.10/564.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
564.10/564.12 c constraints/indicator/addCouplingCons = TRUE
564.10/564.12 c
564.10/564.12 c # should presolving try to simplify knapsacks
564.10/564.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
564.10/564.12 c constraints/knapsack/simplifyinequalities = TRUE
564.10/564.12 c
564.10/564.12 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
564.10/564.12 c # [type: int, range: [-1,2147483647], default: -1]
564.10/564.12 c separating/rapidlearning/freq = 0
564.10/564.12 c
564.10/564.12 c -----------------------------------------------------------------------------------------------
564.10/564.12 c start solving
564.10/564.13 c
568.20/568.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
568.20/568.22 c 568s| 1 | 0 | 10719 | - |1462M| 0 | 211 | 15k| 53k| 15k| 53k| 0 | 20 | 0 | 5.000000e+01 | -- | Inf
1160.92/1160.94 c 1161s| 1 | 0 | 36170 | - |1465M| 0 | 370 | 15k| 53k| 15k| 53k| 302 | 20 | 0 | 5.000000e+01 | -- | Inf
1168.92/1168.92 c 1169s| 1 | 0 | 38443 | - |1467M| 0 | 398 | 15k| 53k| 15k| 53k| 351 | 20 | 0 | 5.000000e+01 | -- | Inf
1176.92/1176.91 c 1177s| 1 | 0 | 40417 | - |1467M| 0 | 424 | 15k| 53k| 15k| 53k| 386 | 20 | 0 | 5.000000e+01 | -- | Inf
1184.52/1184.53 c 1185s| 1 | 0 | 42225 | - |1469M| 0 | 415 | 15k| 53k| 15k| 53k| 407 | 20 | 0 | 5.000000e+01 | -- | Inf
1191.81/1191.85 c 1192s| 1 | 0 | 43512 | - |1470M| 0 | 400 | 15k| 53k| 15k| 53k| 424 | 20 | 0 | 5.000000e+01 | -- | Inf
1202.72/1202.70 c 1203s| 1 | 0 | 44511 | - |1471M| 0 | 400 | 15k| 53k| 15k| 53k| 441 | 20 | 0 | 5.000000e+01 | -- | Inf
1222.91/1222.92 c 1223s| 1 | 2 | 44511 | - |1471M| 0 | 400 | 15k| 53k| 15k| 53k| 441 | 20 | 20 | 5.000000e+01 | -- | Inf
1425.53/1425.53 o 54
1425.53/1425.53 c *1426s| 75 | 35 |103728 | 800.2 |1477M| 26 | - | 15k| 53k| 15k| 53k| 441 | 73 | 192 | 5.000000e+01 | 5.400000e+01 | 8.00%
1600.55/1600.58 o 53
1600.55/1600.58 c R1601s| 110 | 18 |124687 | 735.6 | 177M| 26 | - | 15k|3037 | 15k| 53k| 441 | 120 | 207 | 5.000000e+01 | 5.300000e+01 | 6.00%
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Solving Time (sec) : 1800.00
1800.04/1800.01 c Solving Nodes : 537
1800.04/1800.01 c Primal Bound : +5.30000000000000e+01 (2 solutions)
1800.04/1800.01 c Dual Bound : +5.13216775658001e+01
1800.04/1800.01 c Gap : 3.27 %
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-3453510-1307122228/watcher-3453510-1307122228 -o /tmp/evaluation-result-3453510-1307122228/solver-3453510-1307122228 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453510-1307122228.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.02 2.04 2.00 3/464 8639
/proc/meminfo: memFree=30031228/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=7208 CPUtime=0 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 904 0 0 0 0 0 0 0 25 0 1 0 823822638 7380992 857 33554432000 4194304 9128323 140735857364560 18446744073709551615 6586416 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8639/statm: 1802 858 376 1205 0 593 0
[startup+0.060271 s]
/proc/loadavg: 2.02 2.04 2.00 3/464 8639
/proc/meminfo: memFree=30031228/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=19688 CPUtime=0.05 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 3907 0 0 0 5 0 0 0 25 0 1 0 823822638 20160512 3859 33554432000 4194304 9128323 140735857364560 18446744073709551615 8008895 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8639/statm: 4922 3859 400 1205 0 3713 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 19688
[startup+0.100263 s]
/proc/loadavg: 2.02 2.04 2.00 3/464 8639
/proc/meminfo: memFree=30031228/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=23040 CPUtime=0.09 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 4744 0 0 0 9 0 0 0 25 0 1 0 823822638 23592960 4695 33554432000 4194304 9128323 140735857364560 18446744073709551615 8008925 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8639/statm: 5760 4695 400 1205 0 4551 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23040
[startup+0.300233 s]
/proc/loadavg: 2.02 2.04 2.00 3/464 8639
/proc/meminfo: memFree=30031228/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=34072 CPUtime=0.28 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 7532 0 0 0 28 0 0 0 25 0 1 0 823822638 34889728 7450 33554432000 4194304 9128323 140735857364560 18446744073709551615 7929330 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/8639/statm: 8518 7450 400 1205 0 7309 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 34072
[startup+0.701152 s]
/proc/loadavg: 2.02 2.04 2.00 3/464 8639
/proc/meminfo: memFree=30031228/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=116612 CPUtime=0.68 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 30058 0 0 0 66 2 0 0 25 0 1 0 823822638 119410688 27645 33554432000 4194304 9128323 140735857364560 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 29153 27645 501 1205 0 27944 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 116612
[startup+1.50103 s]
/proc/loadavg: 2.02 2.04 2.00 3/465 8640
/proc/meminfo: memFree=29721112/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=200308 CPUtime=1.48 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 50859 0 0 0 143 5 0 0 25 0 1 0 823822638 205115392 48446 33554432000 4194304 9128323 140735857364560 18446744073709551615 8012251 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 50077 48446 510 1205 0 48868 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 200308
[startup+3.10062 s]
/proc/loadavg: 2.02 2.04 2.00 3/465 8640
/proc/meminfo: memFree=29576652/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=286280 CPUtime=3.09 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 74538 0 0 0 301 8 0 0 25 0 1 0 823822638 293150720 69006 33554432000 4194304 9128323 140735857364560 18446744073709551615 4816678 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 71570 69006 639 1205 0 70361 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 286280
[startup+6.30117 s]
/proc/loadavg: 2.10 2.05 2.01 3/465 8640
/proc/meminfo: memFree=29433072/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=322080 CPUtime=6.29 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 82797 0 0 0 620 9 0 0 25 0 1 0 823822638 329809920 77108 33554432000 4194304 9128323 140735857364560 18446744073709551615 4352220 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 80520 77108 569 1205 0 79311 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 322080
[startup+12.701 s]
/proc/loadavg: 2.09 2.05 2.00 3/465 8640
/proc/meminfo: memFree=29363524/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=347096 CPUtime=12.69 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 88642 0 0 0 1259 10 0 0 25 0 1 0 823822638 355426304 82953 33554432000 4194304 9128323 140735857364560 18446744073709551615 4793060 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 86774 82953 569 1205 0 85565 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 347096
[startup+25.5008 s]
/proc/loadavg: 2.07 2.05 2.00 3/465 8640
/proc/meminfo: memFree=29172244/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=441576 CPUtime=25.49 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 111441 0 0 0 2535 14 0 0 25 0 1 0 823822638 452173824 105686 33554432000 4194304 9128323 140735857364560 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 110394 105686 569 1205 0 109185 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 441576
[startup+51.1003 s]
/proc/loadavg: 2.05 2.04 2.00 3/465 8641
/proc/meminfo: memFree=28909164/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=554504 CPUtime=51.09 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 139994 0 0 0 5091 18 0 0 25 0 1 0 823822638 567812096 134239 33554432000 4194304 9128323 140735857364560 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 138626 134239 569 1205 0 137417 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 554504
[startup+102.317 s]
/proc/loadavg: 2.02 2.03 2.00 3/465 8642
/proc/meminfo: memFree=28638188/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=673664 CPUtime=102.31 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 169245 0 0 0 10209 22 0 0 25 0 1 0 823822638 689831936 163490 33554432000 4194304 9128323 140735857364560 18446744073709551615 4352160 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 168416 163490 569 1205 0 167207 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 673664
[startup+162.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/465 8644
/proc/meminfo: memFree=28362996/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=799124 CPUtime=162.29 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 200967 0 0 0 16201 28 0 0 25 0 1 0 823822638 818302976 195212 33554432000 4194304 9128323 140735857364560 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 199781 195212 573 1205 0 198572 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 799124
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/465 8645
/proc/meminfo: memFree=28020832/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=943692 CPUtime=222.3 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 237416 0 0 0 22196 34 0 0 25 0 1 0 823822638 966340608 231661 33554432000 4194304 9128323 140735857364560 18446744073709551615 4793071 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 235923 231661 573 1205 0 234714 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 943692
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/465 8647
/proc/meminfo: memFree=27904980/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=1063664 CPUtime=282.29 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 267111 0 0 0 28191 38 0 0 25 0 1 0 823822638 1089191936 261356 33554432000 4194304 9128323 140735857364560 18446744073709551615 5488321 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 265916 261356 573 1205 0 264707 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1063664
[startup+342.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/465 8649
/proc/meminfo: memFree=27741380/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=1210392 CPUtime=342.3 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 303022 0 0 0 34185 45 0 0 25 0 1 0 823822638 1239441408 297267 33554432000 4194304 9128323 140735857364560 18446744073709551615 4784743 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 302598 297267 573 1205 0 301389 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1210392
[startup+402.301 s]
/proc/loadavg: 1.63 1.93 1.97 2/459 8667
/proc/meminfo: memFree=28745360/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=1359120 CPUtime=402.3 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 340547 0 0 0 40179 51 0 0 25 0 1 0 823822638 1391738880 334792 33554432000 4194304 9128323 140735857364560 18446744073709551615 4207953 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 339780 334792 573 1205 0 338571 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1359120
[startup+462.3 s]
/proc/loadavg: 1.23 1.76 1.91 2/459 8669
/proc/meminfo: memFree=28570492/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=1534132 CPUtime=462.3 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 383775 0 0 0 46174 56 0 0 25 0 1 0 823822638 1570951168 378020 33554432000 4194304 9128323 140735857364560 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 383533 378020 573 1205 0 382324 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1534132
[startup+522.301 s]
/proc/loadavg: 1.08 1.62 1.85 2/459 8670
/proc/meminfo: memFree=28400584/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=1707712 CPUtime=522.3 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 426776 0 0 0 52167 63 0 0 25 0 1 0 823822638 1748697088 420765 33554432000 4194304 9128323 140735857364560 18446744073709551615 5973112 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 426928 420765 573 1205 0 425719 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1707712
[startup+582.3 s]
/proc/loadavg: 1.03 1.50 1.79 2/459 8672
/proc/meminfo: memFree=28157496/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=1949964 CPUtime=582.3 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 489881 0 0 0 58155 75 0 0 25 0 1 0 823822638 1996763136 481490 33554432000 4194304 9128323 140735857364560 18446744073709551615 7078112 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 487491 481490 1220 1205 0 486282 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1949964
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 1.00 1.22 1.60 2/459 8678
/proc/meminfo: memFree=28157208/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=1949964 CPUtime=822.31 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 489995 0 0 0 82156 75 0 0 25 0 1 0 823822638 1996763136 481602 33554432000 4194304 9128323 140735857364560 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 487491 481602 1238 1205 0 486282 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1949964
[startup+882.3 s]
/proc/loadavg: 1.12 1.21 1.57 2/459 8680
/proc/meminfo: memFree=28156928/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=1949964 CPUtime=882.31 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 489995 0 0 0 88156 75 0 0 25 0 1 0 823822638 1996763136 481602 33554432000 4194304 9128323 140735857364560 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 487491 481602 1238 1205 0 486282 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 1949964
[startup+942.301 s]
/proc/loadavg: 1.10 1.18 1.54 2/459 8682
/proc/meminfo: memFree=28157008/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=1949964 CPUtime=942.31 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 489995 0 0 0 94155 76 0 0 25 0 1 0 823822638 1996763136 481602 33554432000 4194304 9128323 140735857364560 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 487491 481602 1238 1205 0 486282 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1949964
[startup+1002.3 s]
/proc/loadavg: 1.04 1.15 1.50 2/459 8683
/proc/meminfo: memFree=28157216/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=1949964 CPUtime=1002.31 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 489995 0 0 0 100155 76 0 0 25 0 1 0 823822638 1996763136 481602 33554432000 4194304 9128323 140735857364560 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 487491 481602 1238 1205 0 486282 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1949964
[startup+1062.3 s]
/proc/loadavg: 1.01 1.12 1.47 2/459 8685
/proc/meminfo: memFree=28157308/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=1949964 CPUtime=1062.32 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 489995 0 0 0 106156 76 0 0 25 0 1 0 823822638 1996763136 481602 33554432000 4194304 9128323 140735857364560 18446744073709551615 6243200 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 487491 481602 1238 1205 0 486282 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1949964
[startup+1122.3 s]
/proc/loadavg: 1.00 1.09 1.43 2/459 8686
/proc/meminfo: memFree=28123288/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=1984936 CPUtime=1122.31 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 498725 0 0 0 112154 77 0 0 25 0 1 0 823822638 2032574464 490332 33554432000 4194304 9128323 140735857364560 18446744073709551615 6244944 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 496234 490332 1238 1205 0 495025 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1984936
[startup+1182.3 s]
/proc/loadavg: 1.00 1.07 1.41 2/459 8688
/proc/meminfo: memFree=27946428/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=2176964 CPUtime=1182.31 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 542583 0 0 0 118146 85 0 0 25 0 1 0 823822638 2229211136 533858 33554432000 4194304 9128323 140735857364560 18446744073709551615 6239184 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 544241 533858 927 1205 0 543032 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 2176964
[startup+1242.3 s]
/proc/loadavg: 1.00 1.06 1.38 2/459 8690
/proc/meminfo: memFree=27941816/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=2180328 CPUtime=1242.32 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 561656 0 0 0 124136 96 0 0 25 0 1 0 823822638 2232655872 534644 33554432000 4194304 9128323 140735857364560 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 545082 534644 785 1205 0 543873 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2180328
[startup+1302.3 s]
/proc/loadavg: 1.00 1.04 1.35 2/459 8691
/proc/meminfo: memFree=27938676/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=2180328 CPUtime=1302.33 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 562462 0 0 0 130128 105 0 0 25 0 1 0 823822638 2232655872 535450 33554432000 4194304 9128323 140735857364560 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 545082 535450 785 1205 0 543873 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2180328
[startup+1362.3 s]
/proc/loadavg: 1.00 1.03 1.33 2/459 8693
/proc/meminfo: memFree=27938768/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=2180328 CPUtime=1362.32 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 562462 0 0 0 136117 115 0 0 25 0 1 0 823822638 2232655872 535450 33554432000 4194304 9128323 140735857364560 18446744073709551615 7191120 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 545082 535450 785 1205 0 543873 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2180328
[startup+1422.32 s]
/proc/loadavg: 1.00 1.03 1.30 2/459 8694
/proc/meminfo: memFree=27941448/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=2180296 CPUtime=1422.34 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 565639 0 0 0 142108 126 0 0 25 0 1 0 823822638 2232623104 535068 33554432000 4194304 9128323 140735857364560 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 545074 535068 776 1205 0 543865 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2180296
[startup+1482.3 s]
/proc/loadavg: 1.14 1.06 1.30 2/459 8696
/proc/meminfo: memFree=27940796/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=2180296 CPUtime=1482.32 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 565675 0 0 0 148106 126 0 0 25 0 1 0 823822638 2232623104 535104 33554432000 4194304 9128323 140735857364560 18446744073709551615 6594360 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 545074 535104 777 1205 0 543865 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2180296
[startup+1542.3 s]
/proc/loadavg: 1.05 1.05 1.27 2/459 8698
/proc/meminfo: memFree=27941132/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=2180296 CPUtime=1542.33 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 565675 0 0 0 154106 127 0 0 25 0 1 0 823822638 2232623104 535104 33554432000 4194304 9128323 140735857364560 18446744073709551615 6594394 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 545074 535104 777 1205 0 543865 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2180296
[startup+1602.3 s]
/proc/loadavg: 1.02 1.04 1.25 2/459 8699
/proc/meminfo: memFree=27943580/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=2177092 CPUtime=1602.33 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 565713 0 0 0 160102 131 0 0 25 0 1 0 823822638 2229342208 534341 33554432000 4194304 9128323 140735857364560 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 544273 534341 778 1205 0 543064 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2177092
[startup+1662.3 s]
/proc/loadavg: 1.00 1.03 1.24 2/459 8701
/proc/meminfo: memFree=27943656/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=2177092 CPUtime=1662.33 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 565722 0 0 0 166091 142 0 0 25 0 1 0 823822638 2229342208 534350 33554432000 4194304 9128323 140735857364560 18446744073709551615 7077395 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 544273 534350 779 1205 0 543064 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2177092
[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.22 2/459 8702
/proc/meminfo: memFree=27943744/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=2177092 CPUtime=1722.33 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 565727 0 0 0 172082 151 0 0 25 0 1 0 823822638 2229342208 534355 33554432000 4194304 9128323 140735857364560 18446744073709551615 7380896 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 544273 534355 780 1205 0 543064 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 2177092
[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.20 2/459 8704
/proc/meminfo: memFree=27942580/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=2177092 CPUtime=1782.33 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 565733 0 0 0 178072 161 0 0 25 0 1 0 823822638 2229342208 534361 33554432000 4194304 9128323 140735857364560 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 544273 534361 780 1205 0 543064 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2177092
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.01 1.20 2/459 8705
/proc/meminfo: memFree=27943320/32950928 swapFree=45617076/67111528
[pid=8639] ppid=8637 vsize=2177092 CPUtime=1800.04 cores=0,2,4,6
/proc/8639/stat : 8639 (scip-2.0.1.4.li) R 8637 8639 5789 0 -1 4202496 565737 0 0 0 179839 165 0 0 25 0 1 0 823822638 2229342208 534365 33554432000 4194304 9128323 140735857364560 18446744073709551615 7025286 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8639/statm: 544273 534365 780 1205 0 543064 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2177092
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.11
CPU time (s): 1800.15
CPU user time (s): 1798.41
CPU system time (s): 1.73973
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2249448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.41
system time used= 1.73974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 565737
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= 25191
runsolver used 8.41172 second user time and 18.3982 second system time
The end