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-3452589-1307089404.opb>
0.49/0.53 c original problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 94227 constraints
0.49/0.53 c problem read
0.49/0.53 c presolving settings loaded
0.69/0.75 o 0
0.69/0.75 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.69/0.75 c presolving:
1.10/1.17 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 94227 upgd conss, 188454 impls, 0 clqs
2.59/2.61 c (2.6s) probing: 101/1272 (7.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.59/2.61 c (2.6s) probing aborted: 100/100 successive totally useless probings
2.59/2.61 c presolving (2 rounds):
2.59/2.61 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.59/2.61 c 188454 implications, 0 cliques
2.59/2.61 c presolved problem has 1272 variables (1272 bin, 0 int, 0 impl, 0 cont) and 94227 constraints
2.59/2.61 c 94227 constraints of type <setppc>
2.59/2.61 c transformed objective value is always integral (scale: 1)
2.59/2.61 c Presolving Time: 2.02
2.59/2.61 c - non default parameters ----------------------------------------------------------------------
2.59/2.61 c # SCIP version 2.0.1.4
2.59/2.61 c
2.59/2.61 c # frequency for displaying node information lines
2.59/2.61 c # [type: int, range: [-1,2147483647], default: 100]
2.59/2.61 c display/freq = 10000
2.59/2.61 c
2.59/2.61 c # maximal time in seconds to run
2.59/2.61 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.59/2.61 c limits/time = 1800
2.59/2.61 c
2.59/2.61 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.59/2.61 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.59/2.61 c limits/memory = 13950
2.59/2.61 c
2.59/2.61 c # default clock type (1: CPU user seconds, 2: wall clock time)
2.59/2.61 c # [type: int, range: [1,2], default: 1]
2.59/2.61 c timing/clocktype = 2
2.59/2.61 c
2.59/2.61 c # belongs reading time to solving time?
2.59/2.61 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.59/2.61 c timing/reading = TRUE
2.59/2.61 c
2.59/2.61 c # should presolving try to simplify inequalities
2.59/2.61 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.59/2.61 c constraints/linear/simplifyinequalities = TRUE
2.59/2.61 c
2.59/2.61 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.59/2.61 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.59/2.61 c constraints/indicator/addCouplingCons = TRUE
2.59/2.61 c
2.59/2.61 c # should presolving try to simplify knapsacks
2.59/2.61 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.59/2.61 c constraints/knapsack/simplifyinequalities = TRUE
2.59/2.61 c
2.59/2.61 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.59/2.61 c # [type: int, range: [-1,2147483647], default: -1]
2.59/2.61 c separating/rapidlearning/freq = 0
2.59/2.61 c
2.59/2.61 c -----------------------------------------------------------------------------------------------
2.59/2.61 c start solving
2.59/2.61 c
4.41/4.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.41/4.48 c t 4.5s| 1 | 0 | 1272 | - | 109M| 0 |1272 |1272 | 94k|1272 | 94k| 0 | 0 | 0 |-6.360000e+02 | 0.000000e+00 | 100.00%
4.50/4.55 o -1
4.50/4.55 c R 4.6s| 1 | 0 | 1272 | - | 109M| 0 |1272 |1272 | 94k|1272 | 94k| 0 | 0 | 0 |-6.360000e+02 |-1.000000e+00 | 99.84%
4.60/4.63 o -2
4.60/4.63 c s 4.6s| 1 | 0 | 1272 | - | 109M| 0 |1272 |1272 | 94k|1272 | 94k| 0 | 0 | 0 |-6.360000e+02 |-2.000000e+00 | 99.69%
6.29/6.39 c 6.4s| 1 | 0 | 1493 | - | 109M| 0 |1205 |1272 | 94k|1272 | 94k| 6 | 0 | 0 |-6.025000e+02 |-2.000000e+00 | 99.67%
6.39/6.41 o -35
6.39/6.41 c b 6.4s| 1 | 0 | 1493 | - | 109M| 0 |1205 |1272 | 94k|1272 | 94k| 6 | 0 | 0 |-6.025000e+02 |-3.500000e+01 | 94.19%
8.99/9.03 c 9.0s| 1 | 0 | 1572 | - | 109M| 0 |1160 |1272 | 94k|1272 | 94k| 10 | 0 | 0 |-5.800000e+02 |-3.500000e+01 | 93.97%
12.11/12.16 c 12.2s| 1 | 0 | 1688 | - | 109M| 0 |1113 |1272 | 94k|1272 | 94k| 18 | 0 | 0 |-5.565000e+02 |-3.500000e+01 | 93.71%
15.89/15.93 c 15.9s| 1 | 0 | 2017 | - | 109M| 0 |1048 |1272 | 94k|1272 | 94k| 27 | 0 | 0 |-5.227500e+02 |-3.500000e+01 | 93.30%
20.19/20.26 c 20.3s| 1 | 0 | 2162 | - | 109M| 0 |1000 |1272 | 94k|1272 | 94k| 39 | 0 | 0 |-4.985000e+02 |-3.500000e+01 | 92.98%
25.19/25.22 c 25.2s| 1 | 0 | 2380 | - | 109M| 0 | 951 |1272 | 94k|1272 | 94k| 48 | 0 | 0 |-4.755000e+02 |-3.500000e+01 | 92.64%
30.49/30.59 c 30.6s| 1 | 0 | 2875 | - | 109M| 0 | 909 |1272 | 94k|1272 | 94k| 55 | 0 | 0 |-4.532500e+02 |-3.500000e+01 | 92.28%
35.79/35.83 c 35.8s| 1 | 0 | 3116 | - | 109M| 0 | 860 |1272 | 94k|1272 | 94k| 65 | 0 | 0 |-4.287500e+02 |-3.500000e+01 | 91.84%
40.79/40.88 c 40.9s| 1 | 0 | 3285 | - | 109M| 0 | 813 |1272 | 94k|1272 | 94k| 77 | 0 | 0 |-4.052500e+02 |-3.500000e+01 | 91.36%
45.69/45.71 c 45.7s| 1 | 0 | 3433 | - | 109M| 0 | 788 |1272 | 94k|1272 | 94k| 91 | 0 | 0 |-3.932500e+02 |-3.500000e+01 | 91.10%
46.69/46.71 c 46.7s| 1 | 0 | 3563 | - | 109M| 0 | 741 |1272 | 94k|1272 | 94k| 99 | 0 | 0 |-3.697500e+02 |-3.500000e+01 | 90.53%
47.69/47.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.69/47.73 c 47.7s| 1 | 0 | 3724 | - | 109M| 0 | 696 |1272 | 94k|1272 | 94k| 107 | 0 | 0 |-3.470000e+02 |-3.500000e+01 | 89.91%
49.29/49.32 c 49.3s| 1 | 0 | 4545 | - | 109M| 0 | 654 |1272 | 94k|1272 | 94k| 117 | 0 | 0 |-3.260000e+02 |-3.500000e+01 | 89.26%
50.39/50.44 c 50.4s| 1 | 0 | 4863 | - | 109M| 0 | 607 |1272 | 94k|1272 | 94k| 126 | 0 | 0 |-3.020000e+02 |-3.500000e+01 | 88.41%
52.20/52.26 c 52.3s| 1 | 0 | 6001 | - | 109M| 0 | 536 |1272 | 94k|1272 | 94k| 144 | 0 | 0 |-2.670000e+02 |-3.500000e+01 | 86.89%
53.39/53.50 c 53.5s| 1 | 0 | 6488 | - | 110M| 0 | 478 |1272 | 94k|1272 | 94k| 168 | 0 | 0 |-2.390000e+02 |-3.500000e+01 | 85.36%
56.11/56.16 c 56.2s| 1 | 0 | 8056 | - | 110M| 0 | 427 |1272 | 94k|1272 | 94k| 185 | 0 | 0 |-2.135000e+02 |-3.500000e+01 | 83.61%
58.50/58.59 c 58.6s| 1 | 0 | 9602 | - | 110M| 0 | 381 |1272 | 94k|1272 | 94k| 200 | 0 | 0 |-1.905000e+02 |-3.500000e+01 | 81.63%
65.70/65.72 c 65.7s| 1 | 0 | 14451 | - | 110M| 0 | 325 |1272 | 94k|1272 | 94k| 213 | 0 | 0 |-1.625000e+02 |-3.500000e+01 | 78.46%
68.99/69.06 c 69.1s| 1 | 0 | 16507 | - | 110M| 0 | 303 |1272 | 94k|1272 | 94k| 226 | 0 | 0 |-1.515000e+02 |-3.500000e+01 | 76.90%
72.61/72.69 c 72.7s| 1 | 0 | 19245 | - | 110M| 0 | 281 |1272 | 94k|1272 | 94k| 234 | 0 | 0 |-1.405000e+02 |-3.500000e+01 | 75.09%
73.29/73.37 c 73.4s| 1 | 0 | 19553 | - | 110M| 0 | 245 |1272 | 94k|1272 | 94k| 241 | 0 | 0 |-1.225000e+02 |-3.500000e+01 | 71.43%
74.09/74.14 c 74.1s| 1 | 0 | 19932 | - | 110M| 0 | 227 |1272 | 94k|1272 | 94k| 252 | 0 | 0 |-1.135000e+02 |-3.500000e+01 | 69.16%
74.70/74.81 c 74.8s| 1 | 0 | 20186 | - | 110M| 0 | 192 |1272 | 94k|1272 | 94k| 259 | 0 | 0 |-9.600000e+01 |-3.500000e+01 | 63.54%
75.80/75.90 c 75.9s| 1 | 0 | 20950 | - | 110M| 0 | 158 |1272 | 94k|1272 | 94k| 269 | 0 | 0 |-7.900000e+01 |-3.500000e+01 | 55.70%
76.90/76.92 c 76.9s| 1 | 0 | 21760 | - | 110M| 0 | 182 |1272 | 94k|1272 | 94k| 275 | 0 | 0 |-6.200000e+01 |-3.500000e+01 | 43.55%
77.69/77.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.69/77.79 c 77.8s| 1 | 0 | 22300 | - | 110M| 0 | 219 |1272 | 94k|1272 | 94k| 282 | 0 | 0 |-5.500000e+01 |-3.500000e+01 | 36.36%
78.69/78.77 c 78.8s| 1 | 0 | 22432 | - | 110M| 0 | 238 |1272 | 94k|1272 | 94k| 291 | 0 | 0 |-5.450000e+01 |-3.500000e+01 | 35.78%
83.50/83.61 c 83.6s| 1 | 0 | 23528 | - | 110M| 0 | 263 |1272 | 94k|1272 | 94k| 298 | 0 | 0 |-5.400000e+01 |-3.500000e+01 | 35.19%
84.89/84.90 c 84.9s| 1 | 0 | 23654 | - | 110M| 0 | 268 |1272 | 94k|1272 | 94k| 306 | 0 | 0 |-5.400000e+01 |-3.500000e+01 | 35.19%
110.09/110.10 c 110s| 1 | 0 | 23858 | - | 110M| 0 | 272 |1272 | 94k|1272 | 94k| 311 | 0 | 0 |-5.400000e+01 |-3.500000e+01 | 35.19%
113.70/113.78 c 114s| 1 | 0 | 24699 | - | 110M| 0 | 254 |1272 | 94k|1272 | 94k| 319 | 0 | 0 |-5.366667e+01 |-3.500000e+01 | 34.78%
114.89/114.93 c 115s| 1 | 0 | 25211 | - | 110M| 0 | 324 |1272 | 94k|1272 | 94k| 328 | 0 | 0 |-5.300000e+01 |-3.500000e+01 | 33.96%
140.09/140.11 c 140s| 1 | 0 | 26126 | - | 110M| 0 | 264 |1272 | 94k|1272 | 94k| 341 | 0 | 0 |-5.300000e+01 |-3.500000e+01 | 33.96%
162.00/162.00 c 162s| 1 | 0 | 27148 | - | 110M| 0 | 223 |1272 | 94k|1272 | 94k| 350 | 0 | 0 |-5.300000e+01 |-3.500000e+01 | 33.96%
181.89/181.91 c 182s| 1 | 0 | 27387 | - | 110M| 0 | 247 |1272 | 94k|1272 | 94k| 360 | 0 | 0 |-5.300000e+01 |-3.500000e+01 | 33.96%
201.80/201.84 c 202s| 1 | 0 | 27526 | - | 110M| 0 | 234 |1272 | 94k|1272 | 94k| 370 | 0 | 0 |-5.300000e+01 |-3.500000e+01 | 33.96%
202.90/202.97 c 203s| 1 | 0 | 27804 | - | 110M| 0 | 259 |1272 | 94k|1272 | 94k| 379 | 0 | 0 |-5.300000e+01 |-3.500000e+01 | 33.96%
224.90/224.90 c 225s| 1 | 0 | 28343 | - | 110M| 0 | 242 |1272 | 94k|1272 | 94k| 394 | 0 | 0 |-5.300000e+01 |-3.500000e+01 | 33.96%
245.89/245.93 c 246s| 1 | 0 | 28728 | - | 110M| 0 | 236 |1272 | 94k|1272 | 94k| 405 | 0 | 0 |-5.300000e+01 |-3.500000e+01 | 33.96%
266.60/266.65 c 267s| 1 | 2 | 28728 | - | 110M| 0 | 236 |1272 | 94k|1272 | 94k| 405 | 0 | 22 |-5.300000e+01 |-3.500000e+01 | 33.96%
430.51/430.56 o -36
430.51/430.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
430.51/430.56 c p 431s| 30 | 31 | 33074 | 149.9 | 115M| 17 | - |1272 | 94k|1272 | 94k| 405 | 0 | 606 |-5.300000e+01 |-3.600000e+01 | 32.08%
430.51/430.59 o -38
430.51/430.59 c p 431s| 30 | 31 | 33075 | 149.9 | 115M| 17 | - |1272 | 94k|1272 | 94k| 405 | 0 | 606 |-5.300000e+01 |-3.800000e+01 | 28.30%
430.61/430.61 o -40
430.61/430.61 c p 431s| 30 | 31 | 33078 | 150.0 | 115M| 17 | - |1272 | 94k|1272 | 94k| 405 | 0 | 606 |-5.300000e+01 |-4.000000e+01 | 24.53%
458.60/458.65 o -41
458.60/458.65 c p 459s| 164 | 153 | 46213 | 107.3 | 120M| 33 | - |1272 | 94k|1272 | 94k| 405 | 0 | 617 |-5.300000e+01 |-4.100000e+01 | 22.64%
458.60/458.68 o -42
458.60/458.68 c p 459s| 164 | 151 | 46215 | 107.3 | 120M| 33 | - |1272 | 94k|1272 | 94k| 405 | 0 | 617 |-5.300000e+01 |-4.200000e+01 | 20.75%
502.30/502.35 o -43
502.30/502.35 c * 502s| 408 | 320 | 63436 | 85.3 | 127M| 38 | - |1272 | 94k|1272 | 94k| 405 | 0 | 691 |-5.300000e+01 |-4.300000e+01 | 18.87%
510.50/510.56 o -44
510.50/510.56 c v 511s| 496 | 352 | 67527 | 78.4 | 128M| 38 | - |1272 | 94k|1272 | 94k| 405 | 0 | 700 |-5.300000e+01 |-4.400000e+01 | 16.98%
1146.42/1146.44 o -45
1146.42/1146.44 c l1146s| 2077 | 1810 |344091 | 151.9 | 182M| 38 | - |1272 | 94k|1272 | 94k| 405 | 0 |1512 |-5.300000e+01 |-4.500000e+01 | 15.09%
1800.03/1800.01 c
1800.03/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.01 c Solving Time (sec) : 1800.01
1800.03/1800.01 c Solving Nodes : 4279
1800.03/1800.01 c Primal Bound : -4.50000000000000e+01 (559 solutions)
1800.03/1800.01 c Dual Bound : -5.29999999999999e+01
1800.03/1800.01 c Gap : 15.09 %
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-3452589-1307089404/watcher-3452589-1307089404 -o /tmp/evaluation-result-3452589-1307089404/solver-3452589-1307089404 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452589-1307089404.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.04 2.03 2.00 3/497 12095
/proc/meminfo: memFree=30436508/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=11228 CPUtime=0 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 1810 0 0 0 0 0 0 0 21 0 1 0 820541329 11497472 1763 33554432000 4194304 9128323 140734365066064 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12093/statm: 2807 1765 400 1205 0 1598 0
[startup+0.0336551 s]
/proc/loadavg: 2.04 2.03 2.00 3/497 12095
/proc/meminfo: memFree=30436508/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=13156 CPUtime=0.03 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 2279 0 0 0 3 0 0 0 21 0 1 0 820541329 13471744 2232 33554432000 4194304 9128323 140734365066064 18446744073709551615 6192888 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12093/statm: 3289 2232 400 1205 0 2080 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13156
[startup+0.100643 s]
/proc/loadavg: 2.04 2.03 2.00 3/497 12095
/proc/meminfo: memFree=30436508/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=16260 CPUtime=0.09 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 3083 0 0 0 9 0 0 0 21 0 1 0 820541329 16650240 3034 33554432000 4194304 9128323 140734365066064 18446744073709551615 8011929 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12093/statm: 4065 3034 400 1205 0 2856 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16260
[startup+0.300609 s]
/proc/loadavg: 2.04 2.03 2.00 3/497 12095
/proc/meminfo: memFree=30436508/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=27280 CPUtime=0.29 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 5842 0 0 0 28 1 0 0 21 0 1 0 820541329 27934720 5788 33554432000 4194304 9128323 140734365066064 18446744073709551615 6191637 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12093/statm: 6820 5788 400 1205 0 5611 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27280
[startup+0.700565 s]
/proc/loadavg: 2.04 2.03 2.00 3/497 12095
/proc/meminfo: memFree=30436508/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=122260 CPUtime=0.69 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 28897 0 0 0 65 4 0 0 18 0 1 0 820541329 125194240 28826 33554432000 4194304 9128323 140734365066064 18446744073709551615 6889785 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 30565 28826 467 1205 0 29356 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 122260
[startup+1.50042 s]
/proc/loadavg: 2.04 2.03 2.00 4/499 12097
/proc/meminfo: memFree=30192312/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=149676 CPUtime=1.49 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 48308 0 0 0 143 6 0 0 19 0 1 0 820541329 153268224 35506 33554432000 4194304 9128323 140734365066064 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 37419 35506 533 1205 0 36210 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 149676
[startup+3.10114 s]
/proc/loadavg: 2.04 2.03 2.00 4/499 12097
/proc/meminfo: memFree=30172852/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=251460 CPUtime=3.09 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 71778 0 0 0 301 8 0 0 22 0 1 0 820541329 257495040 58384 33554432000 4194304 9128323 140734365066064 18446744073709551615 7315299 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 62865 58384 687 1205 0 61656 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 251460
[startup+6.30055 s]
/proc/loadavg: 2.04 2.03 2.00 4/499 12097
/proc/meminfo: memFree=29957588/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=281440 CPUtime=6.29 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 83818 0 0 0 619 10 0 0 25 0 1 0 820541329 288194560 67520 33554432000 4194304 9128323 140734365066064 18446744073709551615 7077352 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 70360 67520 1362 1205 0 69151 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 281440
[startup+12.7004 s]
/proc/loadavg: 2.04 2.03 2.00 4/499 12097
/proc/meminfo: memFree=29934884/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=284356 CPUtime=12.69 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 84938 0 0 0 1259 10 0 0 25 0 1 0 820541329 291180544 68212 33554432000 4194304 9128323 140734365066064 18446744073709551615 7021577 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 71089 68212 938 1205 0 69880 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 284356
[startup+25.5012 s]
/proc/loadavg: 2.03 2.02 2.00 4/499 12097
/proc/meminfo: memFree=29929356/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=284356 CPUtime=25.49 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 85021 0 0 0 2539 10 0 0 25 0 1 0 820541329 291180544 68220 33554432000 4194304 9128323 140734365066064 18446744073709551615 8008905 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 71089 68220 866 1205 0 69880 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 284356
[startup+51.1007 s]
/proc/loadavg: 2.02 2.02 2.00 4/499 12098
/proc/meminfo: memFree=29919356/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=292040 CPUtime=51.09 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 85757 0 0 0 5097 12 0 0 25 0 1 0 820541329 299048960 68836 33554432000 4194304 9128323 140734365066064 18446744073709551615 8012856 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 73010 68836 746 1205 0 71801 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 292040
[startup+102.32 s]
/proc/loadavg: 2.01 2.02 2.00 4/499 12099
/proc/meminfo: memFree=29916188/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=292040 CPUtime=102.31 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 87229 0 0 0 10211 20 0 0 25 0 1 0 820541329 299048960 70308 33554432000 4194304 9128323 140734365066064 18446744073709551615 6696563 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 73010 70308 747 1205 0 71801 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 292040
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 4/499 12101
/proc/meminfo: memFree=29914912/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=292040 CPUtime=162.3 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 87230 0 0 0 16201 29 0 0 25 0 1 0 820541329 299048960 70309 33554432000 4194304 9128323 140734365066064 18446744073709551615 7021472 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 73010 70309 747 1205 0 71801 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 292040
[startup+222.3 s]
/proc/loadavg: 2.07 2.03 2.01 4/499 12102
/proc/meminfo: memFree=29915380/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=292040 CPUtime=222.29 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 87231 0 0 0 22192 37 0 0 25 0 1 0 820541329 299048960 70309 33554432000 4194304 9128323 140734365066064 18446744073709551615 8012585 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 73010 70309 746 1205 0 71801 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 292040
[startup+282.301 s]
/proc/loadavg: 2.09 2.05 2.01 4/499 12104
/proc/meminfo: memFree=29897984/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=302904 CPUtime=282.3 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 105419 0 0 0 28174 56 0 0 25 0 1 0 820541329 310173696 73950 33554432000 4194304 9128323 140734365066064 18446744073709551615 7312716 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 75726 73950 720 1205 0 74517 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 302904
[startup+342.301 s]
/proc/loadavg: 2.03 2.04 2.00 4/499 12106
/proc/meminfo: memFree=29890644/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=302904 CPUtime=342.3 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 105419 0 0 0 34163 67 0 0 25 0 1 0 820541329 310173696 73950 33554432000 4194304 9128323 140734365066064 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 75726 73950 720 1205 0 74517 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 302904
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.00 4/499 12107
/proc/meminfo: memFree=29880808/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=302904 CPUtime=402.3 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 105419 0 0 0 40155 75 0 0 25 0 1 0 820541329 310173696 73950 33554432000 4194304 9128323 140734365066064 18446744073709551615 7192387 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 75726 73950 720 1205 0 74517 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 302904
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 4/499 12109
/proc/meminfo: memFree=29873212/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=302904 CPUtime=462.3 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 105419 0 0 0 46148 82 0 0 25 0 1 0 820541329 310173696 73950 33554432000 4194304 9128323 140734365066064 18446744073709551615 6922574 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 75726 73950 720 1205 0 74517 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 302904
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/499 12110
/proc/meminfo: memFree=29846392/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=321476 CPUtime=522.3 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 123351 0 0 0 52137 93 0 0 25 0 1 0 820541329 329191424 78603 33554432000 4194304 9128323 140734365066064 18446744073709551615 7315136 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 80369 78603 729 1205 0 79160 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 321476
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 4/499 12112
/proc/meminfo: memFree=29860376/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=311748 CPUtime=582.31 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 137706 0 0 0 58126 105 0 0 25 0 1 0 820541329 319229952 74176 33554432000 4194304 9128323 140734365066064 18446744073709551615 7191120 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 77937 74176 729 1205 0 76728 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 311748
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.16 2.06 2.02 4/499 12118
/proc/meminfo: memFree=29808816/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=340320 CPUtime=822.32 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 144633 0 0 0 82101 131 0 0 25 0 1 0 820541329 348487680 81078 33554432000 4194304 9128323 140734365066064 18446744073709551615 7049871 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 85080 81078 729 1205 0 83871 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 340320
[startup+882.301 s]
/proc/loadavg: 2.06 2.05 2.01 4/499 12120
/proc/meminfo: memFree=29799116/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=340320 CPUtime=882.31 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 145105 0 0 0 88095 136 0 0 25 0 1 0 820541329 348487680 81550 33554432000 4194304 9128323 140734365066064 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 85080 81550 729 1205 0 83871 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 340320
[startup+942.301 s]
/proc/loadavg: 2.02 2.04 2.01 4/499 12122
/proc/meminfo: memFree=29702740/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=422236 CPUtime=942.31 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 166891 0 0 0 94081 150 0 0 25 0 1 0 820541329 432369664 103336 33554432000 4194304 9128323 140734365066064 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 105559 103336 729 1205 0 104350 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 422236
[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/499 12123
/proc/meminfo: memFree=29694036/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=422236 CPUtime=1002.32 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 166892 0 0 0 100075 157 0 0 25 0 1 0 820541329 432369664 103337 33554432000 4194304 9128323 140734365066064 18446744073709551615 7343070 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 105559 103337 729 1205 0 104350 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 422236
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/499 12125
/proc/meminfo: memFree=29685572/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=422236 CPUtime=1062.32 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 166892 0 0 0 106070 162 0 0 25 0 1 0 820541329 432369664 103337 33554432000 4194304 9128323 140734365066064 18446744073709551615 7342771 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 105559 103337 729 1205 0 104350 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 422236
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/499 12126
/proc/meminfo: memFree=29675016/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=422236 CPUtime=1122.32 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 166892 0 0 0 112064 168 0 0 25 0 1 0 820541329 432369664 103337 33554432000 4194304 9128323 140734365066064 18446744073709551615 7380896 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 105559 103337 729 1205 0 104350 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 422236
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/499 12128
/proc/meminfo: memFree=29673864/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=422236 CPUtime=1182.32 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 166898 0 0 0 118058 174 0 0 25 0 1 0 820541329 432369664 103343 33554432000 4194304 9128323 140734365066064 18446744073709551615 6941061 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 105559 103343 729 1205 0 104350 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 422236
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/499 12130
/proc/meminfo: memFree=29661312/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=422236 CPUtime=1242.32 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 166902 0 0 0 124052 180 0 0 25 0 1 0 820541329 432369664 103347 33554432000 4194304 9128323 140734365066064 18446744073709551615 7052131 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 105559 103347 729 1205 0 104350 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 422236
[startup+1302.3 s]
/proc/loadavg: 2.20 2.05 2.02 4/499 12131
/proc/meminfo: memFree=29648996/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=422236 CPUtime=1302.33 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 166930 0 0 0 130047 186 0 0 25 0 1 0 820541329 432369664 103375 33554432000 4194304 9128323 140734365066064 18446744073709551615 7191072 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 105559 103375 729 1205 0 104350 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 422236
[startup+1362.3 s]
/proc/loadavg: 2.20 2.07 2.02 4/499 12133
/proc/meminfo: memFree=29642512/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=422236 CPUtime=1362.33 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 166930 0 0 0 136041 192 0 0 25 0 1 0 820541329 432369664 103375 33554432000 4194304 9128323 140734365066064 18446744073709551615 7312779 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 105559 103375 729 1205 0 104350 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 422236
[startup+1422.32 s]
/proc/loadavg: 2.07 2.05 2.01 4/499 12134
/proc/meminfo: memFree=29627236/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=430528 CPUtime=1422.34 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 177830 0 0 0 142032 202 0 0 25 0 1 0 820541329 440860672 105909 33554432000 4194304 9128323 140734365066064 18446744073709551615 7312726 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 107632 105909 729 1205 0 106423 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 430528
[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.01 4/499 12136
/proc/meminfo: memFree=29624220/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=430528 CPUtime=1482.32 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 177830 0 0 0 148024 208 0 0 25 0 1 0 820541329 440860672 105909 33554432000 4194304 9128323 140734365066064 18446744073709551615 7315248 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 107632 105909 729 1205 0 106423 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 430528
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 4/499 12138
/proc/meminfo: memFree=29620228/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=430528 CPUtime=1542.33 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 177830 0 0 0 154019 214 0 0 25 0 1 0 820541329 440860672 105909 33554432000 4194304 9128323 140734365066064 18446744073709551615 7315183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 107632 105909 729 1205 0 106423 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 430528
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 12139
/proc/meminfo: memFree=29612004/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=430528 CPUtime=1602.33 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 177833 0 0 0 160013 220 0 0 25 0 1 0 820541329 440860672 105912 33554432000 4194304 9128323 140734365066064 18446744073709551615 7361599 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 107632 105912 729 1205 0 106423 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 430528
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/499 12141
/proc/meminfo: memFree=29604036/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=430528 CPUtime=1662.33 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 177833 0 0 0 166008 225 0 0 25 0 1 0 820541329 440860672 105912 33554432000 4194304 9128323 140734365066064 18446744073709551615 7162943 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 107632 105912 729 1205 0 106423 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 430528
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/499 12142
/proc/meminfo: memFree=29530604/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=496520 CPUtime=1722.33 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 193872 0 0 0 171997 236 0 0 25 0 1 0 820541329 508436480 121951 33554432000 4194304 9128323 140734365066064 18446744073709551615 7312776 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 124130 121951 729 1205 0 122921 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 496520
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/499 12144
/proc/meminfo: memFree=29517536/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=496520 CPUtime=1782.34 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 193873 0 0 0 177991 243 0 0 25 0 1 0 820541329 508436480 121952 33554432000 4194304 9128323 140734365066064 18446744073709551615 7025311 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 124130 121952 729 1205 0 122921 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 496520
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 12145
/proc/meminfo: memFree=29515424/32951124 swapFree=53876548/67111528
[pid=12093] ppid=12090 vsize=496520 CPUtime=1800.04 cores=0,2,4,6
/proc/12093/stat : 12093 (scip-2.0.1.4.li) R 12090 12093 26596 0 -1 4202496 193873 0 0 0 179760 244 0 0 25 0 1 0 820541329 508436480 121952 33554432000 4194304 9128323 140734365066064 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/12093/statm: 124130 121952 729 1205 0 122921 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 496520
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.04
CPU time (s): 1800.09
CPU user time (s): 1797.61
CPU system time (s): 2.47062
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 496520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.61
system time used= 2.47062
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193873
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= 7
involuntary context switches= 22871
runsolver used 9.43057 second user time and 21.4417 second system time
The end