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-3451896-1307114983.opb>
0.39/0.45 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 61821 constraints
0.39/0.45 c problem read
0.39/0.45 c presolving settings loaded
0.59/0.62 o 0
0.59/0.62 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.59/0.62 c presolving:
0.69/0.70 c (round 1) 206 del vars, 206 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.89/0.92 c (round 2) 206 del vars, 980 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 60841 upgd conss, 2340 impls, 0 clqs
0.89/0.99 c (1.0s) probing: 101/1819 (5.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.99 c (1.0s) probing aborted: 100/100 successive totally useless probings
0.89/0.99 c presolving (3 rounds):
0.89/0.99 c 206 deleted vars, 980 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.99 c 2340 implications, 0 cliques
0.89/0.99 c presolved problem has 1819 variables (1819 bin, 0 int, 0 impl, 0 cont) and 60841 constraints
0.89/0.99 c 964 constraints of type <setppc>
0.89/0.99 c 59877 constraints of type <logicor>
0.89/0.99 c transformed objective value is always integral (scale: 1)
0.89/0.99 c Presolving Time: 0.50
0.89/0.99 c - non default parameters ----------------------------------------------------------------------
0.89/0.99 c # SCIP version 2.0.1.4
0.89/0.99 c
0.89/0.99 c # frequency for displaying node information lines
0.89/0.99 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.99 c display/freq = 10000
0.89/0.99 c
0.89/0.99 c # maximal time in seconds to run
0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.99 c limits/time = 1800
0.89/0.99 c
0.89/0.99 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.99 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.99 c limits/memory = 13950
0.89/0.99 c
0.89/0.99 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/0.99 c # [type: int, range: [1,2], default: 1]
0.89/0.99 c timing/clocktype = 2
0.89/0.99 c
0.89/0.99 c # belongs reading time to solving time?
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c timing/reading = TRUE
0.89/0.99 c
0.89/0.99 c # should presolving try to simplify inequalities
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c constraints/linear/simplifyinequalities = TRUE
0.89/0.99 c
0.89/0.99 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c constraints/indicator/addCouplingCons = TRUE
0.89/0.99 c
0.89/0.99 c # should presolving try to simplify knapsacks
0.89/0.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.99 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.99 c
0.89/0.99 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.99 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.99 c separating/rapidlearning/freq = 0
0.89/0.99 c
0.89/0.99 c -----------------------------------------------------------------------------------------------
0.89/0.99 c start solving
0.89/0.99 c
138.50/138.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.50/138.58 c t 139s| 1 | 0 | 40205 | - | 74M| 0 |1812 |1819 | 60k|1819 | 60k| 0 | 0 | 0 |-2.553689e+02 | 0.000000e+00 | 100.00%
138.60/138.64 o -8
138.60/138.64 c R 139s| 1 | 0 | 40205 | - | 74M| 0 |1812 |1819 | 60k|1819 | 60k| 0 | 0 | 0 |-2.553689e+02 |-8.000000e+00 | 96.87%
138.68/138.70 o -12
138.68/138.70 c s 139s| 1 | 0 | 40205 | - | 74M| 0 |1812 |1819 | 60k|1819 | 60k| 0 | 0 | 0 |-2.553689e+02 |-1.200000e+01 | 95.30%
230.38/230.45 c 230s| 1 | 0 | 67029 | - | 76M| 0 |1793 |1819 | 60k|1819 | 60k| 3 | 0 | 0 |-2.536348e+02 |-1.200000e+01 | 95.27%
230.38/230.46 o -34
230.38/230.46 c b 230s| 1 | 0 | 67029 | - | 76M| 0 |1793 |1819 | 60k|1819 | 60k| 3 | 0 | 0 |-2.536348e+02 |-3.400000e+01 | 86.59%
362.48/362.50 c 363s| 1 | 0 | 99453 | - | 77M| 0 |1811 |1819 | 60k|1819 | 60k| 8 | 0 | 0 |-2.520578e+02 |-3.400000e+01 | 86.51%
362.48/362.55 o -37
362.48/362.55 c b 363s| 1 | 0 | 99453 | - | 77M| 0 |1811 |1819 | 60k|1819 | 60k| 8 | 0 | 0 |-2.520578e+02 |-3.700000e+01 | 85.32%
536.98/537.01 c 537s| 1 | 0 |142420 | - | 79M| 0 |1794 |1819 | 60k|1819 | 60k| 15 | 0 | 0 |-2.483361e+02 |-3.700000e+01 | 85.10%
726.28/726.39 c 726s| 1 | 0 |175684 | - | 79M| 0 |1786 |1819 | 60k|1819 | 60k| 22 | 0 | 0 |-2.438583e+02 |-3.700000e+01 | 84.83%
880.19/880.20 c 880s| 1 | 0 |206756 | - | 84M| 0 |1795 |1819 | 60k|1819 | 60k| 27 | 0 | 0 |-2.399706e+02 |-3.700000e+01 | 84.58%
1065.81/1065.87 c 1066s| 1 | 0 |243586 | - | 90M| 0 |1800 |1819 | 60k|1819 | 60k| 32 | 0 | 0 |-2.381027e+02 |-3.700000e+01 | 84.46%
1229.49/1229.59 c 1230s| 1 | 0 |277480 | - | 96M| 0 |1790 |1819 | 60k|1819 | 60k| 36 | 0 | 0 |-2.374326e+02 |-3.700000e+01 | 84.42%
1295.39/1295.47 c 1295s| 1 | 0 |288963 | - | 104M| 0 |1795 |1819 | 60k|1819 | 60k| 40 | 0 | 0 |-2.370490e+02 |-3.700000e+01 | 84.39%
1459.61/1459.70 c 1460s| 1 | 0 |320078 | - | 110M| 0 |1786 |1819 | 60k|1819 | 60k| 41 | 0 | 0 |-2.368770e+02 |-3.700000e+01 | 84.38%
1718.70/1718.79 c 1719s| 1 | 0 |370229 | - | 118M| 0 |1790 |1819 | 60k|1819 | 60k| 44 | 0 | 0 |-2.331179e+02 |-3.700000e+01 | 84.13%
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-3451896-1307114983/watcher-3451896-1307114983 -o /tmp/evaluation-result-3451896-1307114983/solver-3451896-1307114983 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3451896-1307114983.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.00 2.02 2.00 3/530 30813
/proc/meminfo: memFree=15102732/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=12500 CPUtime=0.01 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 2115 0 0 0 1 0 0 0 25 0 1 0 823096987 12800000 2068 33554432000 4194304 9128323 140737108114016 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/30813/statm: 3125 2068 400 1205 0 1916 0
[startup+0.03043 s]
/proc/loadavg: 2.00 2.02 2.00 3/530 30813
/proc/meminfo: memFree=15102732/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=13212 CPUtime=0.02 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 2294 0 0 0 2 0 0 0 25 0 1 0 823096987 13529088 2247 33554432000 4194304 9128323 140737108114016 18446744073709551615 8117552 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/30813/statm: 3303 2247 400 1205 0 2094 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13212
[startup+0.100459 s]
/proc/loadavg: 2.00 2.02 2.00 3/530 30813
/proc/meminfo: memFree=15102732/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=16824 CPUtime=0.09 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 3217 0 0 0 9 0 0 0 25 0 1 0 823096987 17227776 3168 33554432000 4194304 9128323 140737108114016 18446744073709551615 7952542 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/30813/statm: 4206 3168 400 1205 0 2997 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16824
[startup+0.300399 s]
/proc/loadavg: 2.00 2.02 2.00 3/530 30813
/proc/meminfo: memFree=15102732/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=24228 CPUtime=0.29 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 5068 0 0 0 29 0 0 0 25 0 1 0 823096987 24809472 5016 33554432000 4194304 9128323 140737108114016 18446744073709551615 8008910 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/30813/statm: 6057 5016 400 1205 0 4848 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24228
[startup+0.700332 s]
/proc/loadavg: 2.00 2.02 2.00 3/530 30813
/proc/meminfo: memFree=15102732/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=88240 CPUtime=0.69 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 23862 0 0 0 67 2 0 0 25 0 1 0 823096987 90357760 20668 33554432000 4194304 9128323 140737108114016 18446744073709551615 4608704 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30813/statm: 22060 20668 516 1205 0 20851 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88240
[startup+1.50123 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 30814
/proc/meminfo: memFree=15003140/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=202556 CPUtime=1.49 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 54182 0 0 0 143 6 0 0 25 0 1 0 823096987 207417344 45619 33554432000 4194304 9128323 140737108114016 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30813/statm: 50639 45619 1033 1205 0 49430 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 202556
[startup+3.10093 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 30814
/proc/meminfo: memFree=14912496/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=218284 CPUtime=3.08 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 61355 0 0 0 302 6 0 0 25 0 1 0 823096987 223522816 51534 33554432000 4194304 9128323 140737108114016 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30813/statm: 54571 51534 762 1205 0 53362 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 218284
[startup+6.30038 s]
/proc/loadavg: 2.00 2.02 2.00 4/531 30814
/proc/meminfo: memFree=14889464/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=227968 CPUtime=6.29 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 63790 0 0 0 621 8 0 0 25 0 1 0 823096987 233439232 53917 33554432000 4194304 9128323 140737108114016 18446744073709551615 7077378 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30813/statm: 56992 53917 770 1205 0 55783 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 227968
[startup+12.7003 s]
/proc/loadavg: 2.16 2.05 2.01 3/531 30814
/proc/meminfo: memFree=14885524/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=227968 CPUtime=12.69 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 64158 0 0 0 1261 8 0 0 25 0 1 0 823096987 233439232 54219 33554432000 4194304 9128323 140737108114016 18446744073709551615 7316098 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30813/statm: 56992 54219 708 1205 0 55783 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 227968
[startup+25.5011 s]
/proc/loadavg: 2.12 2.05 2.01 3/531 30814
/proc/meminfo: memFree=14885508/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=227968 CPUtime=25.49 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 64167 0 0 0 2539 10 0 0 25 0 1 0 823096987 233439232 54228 33554432000 4194304 9128323 140737108114016 18446744073709551615 7315684 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30813/statm: 56992 54228 708 1205 0 55783 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 227968
[startup+51.1007 s]
/proc/loadavg: 2.08 2.04 2.01 3/531 30816
/proc/meminfo: memFree=14884832/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=227968 CPUtime=51.09 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 64167 0 0 0 5097 12 0 0 25 0 1 0 823096987 233439232 54228 33554432000 4194304 9128323 140737108114016 18446744073709551615 7316083 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30813/statm: 56992 54228 708 1205 0 55783 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 227968
[startup+102.321 s]
/proc/loadavg: 2.03 2.03 2.00 3/531 30816
/proc/meminfo: memFree=14883340/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=227968 CPUtime=102.31 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 64172 0 0 0 10216 15 0 0 25 0 1 0 823096987 233439232 54233 33554432000 4194304 9128323 140737108114016 18446744073709551615 7320320 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30813/statm: 56992 54233 708 1205 0 55783 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 227968
[startup+162.301 s]
/proc/loadavg: 2.16 2.06 2.01 3/531 30819
/proc/meminfo: memFree=14877128/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=225076 CPUtime=162.29 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 65860 0 0 0 16209 20 0 0 25 0 1 0 823096987 230477824 54986 33554432000 4194304 9128323 140737108114016 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30813/statm: 56269 54986 761 1205 0 55060 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 225076
[startup+222.301 s]
/proc/loadavg: 2.11 2.06 2.01 3/531 30821
/proc/meminfo: memFree=14875740/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=225076 CPUtime=222.28 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 65860 0 0 0 22203 25 0 0 25 0 1 0 823096987 230477824 54986 33554432000 4194304 9128323 140737108114016 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30813/statm: 56269 54986 761 1205 0 55060 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 225076
[startup+282.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/531 30824
/proc/meminfo: memFree=14859232/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=243964 CPUtime=282.28 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 69359 0 0 0 28196 32 0 0 25 0 1 0 823096987 249819136 58436 33554432000 4194304 9128323 140737108114016 18446744073709551615 7316152 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30813/statm: 60991 58436 717 1205 0 59782 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 243964
[startup+342.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/531 30827
/proc/meminfo: memFree=14856112/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=243964 CPUtime=342.28 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 69359 0 0 0 34192 36 0 0 25 0 1 0 823096987 249819136 58436 33554432000 4194304 9128323 140737108114016 18446744073709551615 7278888 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30813/statm: 60991 58436 717 1205 0 59782 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 243964
[startup+402.301 s]
/proc/loadavg: 2.26 2.10 2.02 3/531 30861
/proc/meminfo: memFree=14822360/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=224688 CPUtime=402.27 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 69368 0 0 0 40185 42 0 0 25 0 1 0 823096987 230080512 54426 33554432000 4194304 9128323 140737108114016 18446744073709551615 7316174 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30813/statm: 56172 54426 714 1205 0 54963 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 224688
[startup+462.301 s]
/proc/loadavg: 2.20 2.11 2.03 3/531 30863
/proc/meminfo: memFree=14805252/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=224688 CPUtime=462.28 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 69368 0 0 0 46179 49 0 0 25 0 1 0 823096987 230080512 54426 33554432000 4194304 9128323 140737108114016 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30813/statm: 56172 54426 714 1205 0 54963 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 224688
[startup+522.301 s]
/proc/loadavg: 2.17 2.12 2.03 3/531 30865
/proc/meminfo: memFree=14804760/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=224688 CPUtime=522.27 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 69368 0 0 0 52174 53 0 0 25 0 1 0 823096987 230080512 54426 33554432000 4194304 9128323 140737108114016 18446744073709551615 7244757 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30813/statm: 56172 54426 714 1205 0 54963 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 224688
[startup+582.3 s]
/proc/loadavg: 2.06 2.09 2.03 3/531 30867
/proc/meminfo: memFree=14805124/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=224688 CPUtime=582.28 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 69368 0 0 0 58166 62 0 0 25 0 1 0 823096987 230080512 54426 33554432000 4194304 9128323 140737108114016 18446744073709551615 7018424 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30813/statm: 56172 54426 714 1205 0 54963 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 224688
[startup+642.301 s]
################
# More data... #
################
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 83142 0 0 0 100118 111 0 0 25 0 1 0 823096987 263208960 61760 33554432000 4194304 9128323 140737108114016 18446744073709551615 7315315 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30813/statm: 64260 61760 2188 1205 0 63051 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 257040
[startup+1062.3 s]
/proc/loadavg: 2.16 2.07 2.01 3/531 30882
/proc/meminfo: memFree=14746104/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=260632 CPUtime=1062.29 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 84960 0 0 0 106113 116 0 0 25 0 1 0 823096987 266887168 62978 33554432000 4194304 9128323 140737108114016 18446744073709551615 7316174 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30813/statm: 65158 62978 1588 1205 0 63949 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 260632
[startup+1122.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/531 30884
/proc/meminfo: memFree=14758104/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=252168 CPUtime=1122.29 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 88943 0 0 0 112106 123 0 0 25 0 1 0 823096987 258220032 59542 33554432000 4194304 9128323 140737108114016 18446744073709551615 7316335 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30813/statm: 63042 59542 948 1205 0 61833 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 252168
[startup+1182.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/531 30886
/proc/meminfo: memFree=14758196/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=252168 CPUtime=1182.29 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 89040 0 0 0 118101 128 0 0 25 0 1 0 823096987 258220032 59639 33554432000 4194304 9128323 140737108114016 18446744073709551615 7315244 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30813/statm: 63042 59639 948 1205 0 61833 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 252168
[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/531 30888
/proc/meminfo: memFree=14748008/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=257468 CPUtime=1242.29 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 91583 0 0 0 124094 135 0 0 25 0 1 0 823096987 263647232 62182 33554432000 4194304 9128323 140737108114016 18446744073709551615 7018454 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30813/statm: 64367 62182 948 1205 0 63158 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 257468
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 30888
/proc/meminfo: memFree=14733972/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=268004 CPUtime=1302.3 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 95040 0 0 0 130088 142 0 0 25 0 1 0 823096987 274436096 65487 33554432000 4194304 9128323 140737108114016 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30813/statm: 67001 65487 796 1205 0 65792 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 268004
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 30890
/proc/meminfo: memFree=14722920/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=282444 CPUtime=1362.29 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 97439 0 0 0 136078 151 0 0 25 0 1 0 823096987 289222656 67886 33554432000 4194304 9128323 140737108114016 18446744073709551615 7285023 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30813/statm: 70611 67886 797 1205 0 69402 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 282444
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 30892
/proc/meminfo: memFree=14712508/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=282444 CPUtime=1422.31 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 97442 0 0 0 142074 157 0 0 25 0 1 0 823096987 289222656 67888 33554432000 4194304 9128323 140737108114016 18446744073709551615 7386753 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30813/statm: 70611 67888 796 1205 0 69402 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 282444
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/531 30894
/proc/meminfo: memFree=14712484/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=282444 CPUtime=1482.29 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 97442 0 0 0 148065 164 0 0 25 0 1 0 823096987 289222656 67888 33554432000 4194304 9128323 140737108114016 18446744073709551615 7018454 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30813/statm: 70611 67888 796 1205 0 69402 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 282444
[startup+1542.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/531 30896
/proc/meminfo: memFree=14695988/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=293268 CPUtime=1542.3 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 108312 0 0 0 154057 173 0 0 25 0 1 0 823096987 300306432 71970 33554432000 4194304 9128323 140737108114016 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30813/statm: 73317 71970 717 1205 0 72108 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 293268
[startup+1602.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/531 30896
/proc/meminfo: memFree=14695236/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=293268 CPUtime=1602.29 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 108314 0 0 0 160051 178 0 0 25 0 1 0 823096987 300306432 71972 33554432000 4194304 9128323 140737108114016 18446744073709551615 7315702 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30813/statm: 73317 71972 717 1205 0 72108 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 293268
[startup+1662.3 s]
/proc/loadavg: 2.17 2.08 2.02 3/531 30898
/proc/meminfo: memFree=14691132/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=293268 CPUtime=1662.3 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 108316 0 0 0 166047 183 0 0 25 0 1 0 823096987 300306432 71974 33554432000 4194304 9128323 140737108114016 18446744073709551615 7315586 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30813/statm: 73317 71974 717 1205 0 72108 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 293268
[startup+1722.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/531 30900
/proc/meminfo: memFree=14690996/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=293268 CPUtime=1722.3 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 108319 0 0 0 172043 187 0 0 25 0 1 0 823096987 300306432 71977 33554432000 4194304 9128323 140737108114016 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30813/statm: 73317 71977 717 1205 0 72108 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 293268
[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/531 30902
/proc/meminfo: memFree=14682672/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=301828 CPUtime=1782.3 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 110226 0 0 0 178033 197 0 0 25 0 1 0 823096987 309071872 73884 33554432000 4194304 9128323 140737108114016 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30813/statm: 75457 73884 717 1205 0 74248 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 301828
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.04 2.00 3/531 30902
/proc/meminfo: memFree=14683412/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=301828 CPUtime=1800.02 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 110226 0 0 0 179804 198 0 0 25 0 1 0 823096987 309071872 73884 33554432000 4194304 9128323 140737108114016 18446744073709551615 7316170 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30813/statm: 75457 73884 717 1205 0 74248 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 301828
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -30813
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.02 2.04 2.00 3/532 30903
/proc/meminfo: memFree=14682660/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=301828 CPUtime=1801.4 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 110226 0 0 0 179942 198 0 0 25 0 1 0 823096987 309071872 73884 33554432000 4194304 9128323 140737108114016 18446744073709551615 7316170 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30813/statm: 75457 73884 717 1205 0 74248 0
Current children cumulated CPU time (s) 1801.4
Current children cumulated vsize (KiB) 301828
[startup+1801.82 s]
/proc/loadavg: 2.02 2.04 2.00 3/532 30903
/proc/meminfo: memFree=14682660/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=301828 CPUtime=1801.82 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 110226 0 0 0 179984 198 0 0 25 0 1 0 823096987 309071872 73884 33554432000 4194304 9128323 140737108114016 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30813/statm: 75457 73884 717 1205 0 74248 0
Current children cumulated CPU time (s) 1801.82
Current children cumulated vsize (KiB) 301828
[startup+1802 s]
/proc/loadavg: 2.02 2.04 2.00 3/532 30903
/proc/meminfo: memFree=14682660/32951132 swapFree=46579808/67111528
[pid=30813] ppid=30810 vsize=301828 CPUtime=1802 cores=0,2,4,6
/proc/30813/stat : 30813 (scip-2.0.1.4.li) R 30810 30813 28716 0 -1 4202496 110226 0 0 0 180002 198 0 0 25 0 1 0 823096987 309071872 73884 33554432000 4194304 9128323 140737108114016 18446744073709551615 7315605 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30813/statm: 75457 73884 717 1205 0 74248 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 301828
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.04
CPU time (s): 1802.05
CPU user time (s): 1800.04
CPU system time (s): 2.00369
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 301828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 2.0037
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110226
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= 3383
runsolver used 10.2664 second user time and 21.1308 second system time
The end