0.00/0.01 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.01 c Copyright (c) 2002-2010 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-2665513-1276510435.opb>
1.88/1.98 c original problem has 1534 variables (1534 bin, 0 int, 0 impl, 0 cont) and 127011 constraints
1.88/1.98 c problem read
1.88/1.98 c presolving settings loaded
2.20/2.29 o 0
2.20/2.29 c feasible solution found by trivial heuristic, objective value 0.000000e+00
2.20/2.29 c presolving:
3.89/3.99 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 127011 upgd conss, 254022 impls, 0 clqs
6.68/6.74 c (4.3s) probing: 101/1534 (6.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
6.68/6.74 c (4.3s) probing aborted: 100/100 successive totally useless probings
6.68/6.74 c presolving (2 rounds):
6.68/6.74 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
6.68/6.74 c 254022 implications, 0 cliques
6.68/6.74 c presolved problem has 1534 variables (1534 bin, 0 int, 0 impl, 0 cont) and 127011 constraints
6.68/6.74 c 127011 constraints of type <logicor>
6.68/6.74 c transformed objective value is always integral (scale: 1)
6.68/6.74 c Presolving Time: 4.13
6.68/6.74 c - non default parameters ----------------------------------------------------------------------
6.68/6.74 c # SCIP version 1.2.1.2
6.68/6.74 c
6.68/6.74 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
6.68/6.74 c # [type: int, range: [-1,2147483647], default: -1]
6.68/6.74 c conflict/interconss = 0
6.68/6.74 c
6.68/6.74 c # should binary conflicts be preferred?
6.68/6.74 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.68/6.74 c conflict/preferbinary = TRUE
6.68/6.74 c
6.68/6.74 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
6.68/6.74 c # [type: int, range: [-1,2147483647], default: 0]
6.68/6.74 c constraints/agelimit = 1
6.68/6.74 c
6.68/6.74 c # should enforcement of pseudo solution be disabled?
6.68/6.74 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.68/6.74 c constraints/disableenfops = TRUE
6.68/6.74 c
6.68/6.74 c # frequency for displaying node information lines
6.68/6.74 c # [type: int, range: [-1,2147483647], default: 100]
6.68/6.74 c display/freq = 10000
6.68/6.74 c
6.68/6.74 c # maximal time in seconds to run
6.68/6.74 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.68/6.74 c limits/time = 1798.03
6.68/6.74 c
6.68/6.74 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.68/6.74 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.68/6.74 c limits/memory = 1620
6.68/6.74 c
6.68/6.74 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
6.68/6.74 c # [type: int, range: [-1,2147483647], default: 1]
6.68/6.74 c lp/solvefreq = 0
6.68/6.74 c
6.68/6.74 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
6.68/6.74 c # [type: char, range: {lafpsqd}, default: l]
6.68/6.74 c lp/pricing = a
6.68/6.74 c
6.68/6.74 c # should presolving try to simplify inequalities
6.68/6.74 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.68/6.74 c constraints/linear/simplifyinequalities = TRUE
6.68/6.74 c
6.68/6.74 c # should presolving try to simplify knapsacks
6.68/6.74 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.68/6.74 c constraints/knapsack/simplifyinequalities = TRUE
6.68/6.74 c
6.68/6.74 c # priority of node selection rule <dfs> in standard mode
6.68/6.74 c # [type: int, range: [-536870912,536870911], default: 0]
6.68/6.74 c nodeselection/dfs/stdpriority = 1000000
6.68/6.74 c
6.68/6.74 c -----------------------------------------------------------------------------------------------
6.68/6.74 c start solving
6.68/6.75 c
9.48/9.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.48/9.50 c t 6.9s| 1 | 0 | 1702 | - | 141M| 0 |1534 |1534 | 127k|1534 | 127k| 0 | 0 | 0 |-7.670000e+02 | 0.000000e+00 | 100.00%
9.68/9.78 o -1
9.68/9.78 c R 7.2s| 1 | 0 | 1702 | - | 141M| 0 |1534 |1534 | 127k|1534 | 127k| 0 | 0 | 0 |-7.670000e+02 |-1.000000e+00 | 99.87%
10.08/10.12 o -2
10.08/10.12 c s 7.5s| 1 | 0 | 1702 | - | 141M| 0 |1534 |1534 | 127k|1534 | 127k| 0 | 0 | 0 |-7.670000e+02 |-2.000000e+00 | 99.74%
19.79/19.81 c 17.0s| 1 | 0 | 1999 | - | 141M| 0 |1451 |1534 | 127k|1534 | 127k| 19 | 0 | 0 |-7.255000e+02 |-2.000000e+00 | 99.72%
19.88/19.92 o -45
19.88/19.92 c b17.1s| 1 | 0 | 1999 | - | 141M| 0 |1451 |1534 | 127k|1534 | 127k| 19 | 0 | 0 |-7.255000e+02 |-4.500000e+01 | 93.80%
45.37/45.47 c 42.5s| 1 | 0 | 2585 | - | 141M| 0 |1402 |1534 | 127k|1534 | 127k| 25 | 0 | 0 |-7.010000e+02 |-4.500000e+01 | 93.58%
74.86/74.96 c 71.9s| 1 | 0 | 3236 | - | 141M| 0 |1345 |1534 | 127k|1534 | 127k| 38 | 0 | 0 |-6.725000e+02 |-4.500000e+01 | 93.31%
109.65/109.78 c 107s| 1 | 0 | 3874 | - | 141M| 0 |1293 |1534 | 127k|1534 | 127k| 50 | 0 | 0 |-6.455000e+02 |-4.500000e+01 | 93.03%
151.93/152.07 c 149s| 1 | 0 | 4700 | - | 141M| 0 |1218 |1534 | 127k|1534 | 127k| 59 | 0 | 0 |-6.090000e+02 |-4.500000e+01 | 92.61%
195.01/195.13 c 192s| 1 | 0 | 5488 | - | 141M| 0 |1144 |1534 | 127k|1534 | 127k| 73 | 0 | 0 |-5.720000e+02 |-4.500000e+01 | 92.13%
233.71/233.83 c 230s| 1 | 0 | 6175 | - | 141M| 0 |1103 |1534 | 127k|1534 | 127k| 79 | 0 | 0 |-5.500000e+02 |-4.500000e+01 | 91.82%
264.99/265.20 c 262s| 1 | 0 | 6639 | - | 141M| 0 |1077 |1534 | 127k|1534 | 127k| 85 | 0 | 0 |-5.385000e+02 |-4.500000e+01 | 91.64%
301.58/301.75 c 298s| 1 | 0 | 7258 | - | 141M| 0 |1026 |1534 | 127k|1534 | 127k| 93 | 0 | 0 |-5.130000e+02 |-4.500000e+01 | 91.23%
347.26/347.41 c 344s| 1 | 0 | 8126 | - | 141M| 0 | 995 |1534 | 127k|1534 | 127k| 103 | 0 | 0 |-4.975000e+02 |-4.500000e+01 | 90.95%
383.95/384.15 c 380s| 1 | 0 | 9460 | - | 141M| 0 | 926 |1534 | 127k|1534 | 127k| 109 | 0 | 0 |-4.630000e+02 |-4.500000e+01 | 90.28%
407.54/407.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
407.54/407.71 c 404s| 1 | 0 | 10217 | - | 141M| 0 | 873 |1534 | 127k|1534 | 127k| 118 | 0 | 0 |-4.365000e+02 |-4.500000e+01 | 89.69%
436.33/436.50 c 432s| 1 | 0 | 11286 | - | 141M| 0 | 805 |1534 | 127k|1534 | 127k| 127 | 0 | 0 |-4.025000e+02 |-4.500000e+01 | 88.82%
462.12/462.34 c 458s| 1 | 0 | 12173 | - | 141M| 0 | 772 |1534 | 127k|1534 | 127k| 134 | 0 | 0 |-3.860000e+02 |-4.500000e+01 | 88.34%
490.32/490.56 c 486s| 1 | 0 | 13254 | - | 141M| 0 | 723 |1534 | 127k|1534 | 127k| 143 | 0 | 0 |-3.615000e+02 |-4.500000e+01 | 87.55%
517.20/517.48 c 513s| 1 | 0 | 14327 | - | 141M| 0 | 673 |1534 | 127k|1534 | 127k| 150 | 0 | 0 |-3.365000e+02 |-4.500000e+01 | 86.63%
543.39/543.66 c 539s| 1 | 0 | 15372 | - | 141M| 0 | 627 |1534 | 127k|1534 | 127k| 159 | 0 | 0 |-3.135000e+02 |-4.500000e+01 | 85.65%
566.08/566.38 c 561s| 1 | 0 | 16331 | - | 141M| 0 | 578 |1534 | 127k|1534 | 127k| 171 | 0 | 0 |-2.890000e+02 |-4.500000e+01 | 84.43%
587.67/587.90 c 583s| 1 | 0 | 17196 | - | 141M| 0 | 533 |1534 | 127k|1534 | 127k| 178 | 0 | 0 |-2.665000e+02 |-4.500000e+01 | 83.11%
611.28/611.58 c 606s| 1 | 0 | 18235 | - | 141M| 0 | 488 |1534 | 127k|1534 | 127k| 187 | 0 | 0 |-2.440000e+02 |-4.500000e+01 | 81.56%
631.06/631.33 c 626s| 1 | 0 | 19224 | - | 141M| 0 | 419 |1534 | 127k|1534 | 127k| 196 | 0 | 0 |-2.095000e+02 |-4.500000e+01 | 78.52%
648.85/649.15 c 644s| 1 | 0 | 20192 | - | 141M| 0 | 369 |1534 | 127k|1534 | 127k| 204 | 0 | 0 |-1.845000e+02 |-4.500000e+01 | 75.61%
663.74/664.08 c 659s| 1 | 0 | 21002 | - | 141M| 0 | 343 |1534 | 127k|1534 | 127k| 211 | 0 | 0 |-1.715000e+02 |-4.500000e+01 | 73.76%
678.35/678.64 c 673s| 1 | 0 | 21866 | - | 141M| 0 | 307 |1534 | 127k|1534 | 127k| 217 | 0 | 0 |-1.480000e+02 |-4.500000e+01 | 69.59%
691.14/691.48 c 686s| 1 | 0 | 22761 | - | 141M| 0 | 307 |1534 | 127k|1534 | 127k| 222 | 0 | 0 |-1.385000e+02 |-4.500000e+01 | 67.51%
698.94/699.23 c 693s| 1 | 0 | 23350 | - | 141M| 0 | 292 |1534 | 127k|1534 | 127k| 234 | 0 | 0 |-1.275000e+02 |-4.500000e+01 | 64.71%
704.33/704.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
704.33/704.64 c 699s| 1 | 0 | 23836 | - | 141M| 0 | 253 |1534 | 127k|1534 | 127k| 242 | 0 | 0 |-1.055000e+02 |-4.500000e+01 | 57.35%
712.73/713.03 c 707s| 1 | 0 | 24547 | - | 141M| 0 | 235 |1534 | 127k|1534 | 127k| 251 | 0 | 0 |-9.400000e+01 |-4.500000e+01 | 52.13%
715.33/715.67 c 710s| 1 | 0 | 24791 | - | 141M| 0 | 198 |1534 | 127k|1534 | 127k| 261 | 0 | 0 |-8.300000e+01 |-4.500000e+01 | 45.78%
718.03/718.39 c 712s| 1 | 0 | 25110 | - | 141M| 0 | 194 |1534 | 127k|1534 | 127k| 273 | 0 | 0 |-7.300000e+01 |-4.500000e+01 | 38.36%
721.12/721.43 c 715s| 1 | 0 | 25399 | - | 141M| 0 | 187 |1534 | 127k|1534 | 127k| 283 | 0 | 0 |-6.750000e+01 |-4.500000e+01 | 33.33%
724.82/725.15 c 719s| 1 | 0 | 25659 | - | 141M| 0 | 190 |1534 | 127k|1534 | 127k| 295 | 0 | 0 |-6.400000e+01 |-4.500000e+01 | 29.69%
734.82/735.12 c 729s| 1 | 0 | 26399 | - | 141M| 0 | 259 |1534 | 127k|1534 | 127k| 306 | 0 | 0 |-6.300000e+01 |-4.500000e+01 | 28.57%
744.11/744.45 c 738s| 1 | 0 | 27091 | - | 141M| 0 | 313 |1534 | 127k|1534 | 127k| 315 | 0 | 0 |-5.966667e+01 |-4.500000e+01 | 24.58%
785.41/785.73 c 779s| 1 | 0 | 27687 | - | 141M| 0 | 456 |1534 | 127k|1534 | 127k| 330 | 0 | 0 |-5.966667e+01 |-4.500000e+01 | 24.58%
804.00/804.39 c 798s| 1 | 0 | 28572 | - | 141M| 0 | 407 |1534 | 127k|1534 | 127k| 343 | 0 | 0 |-5.962500e+01 |-4.500000e+01 | 24.53%
853.57/853.94 c 847s| 1 | 0 | 29484 | - | 141M| 0 | 376 |1534 | 127k|1534 | 127k| 352 | 0 | 0 |-5.955556e+01 |-4.500000e+01 | 24.44%
874.56/874.95 c 868s| 1 | 0 | 30334 | - | 141M| 0 | 451 |1534 | 127k|1534 | 127k| 360 | 0 | 0 |-5.900000e+01 |-4.500000e+01 | 23.73%
1015.12/1015.57 c 1008s| 1 | 0 | 31034 | - | 141M| 0 | 390 |1534 | 127k|1534 | 127k| 368 | 0 | 0 |-5.900000e+01 |-4.500000e+01 | 23.73%
1154.57/1155.08 c 1147s| 1 | 0 | 32454 | - | 141M| 0 | 500 |1534 | 127k|1534 | 127k| 377 | 0 | 0 |-5.900000e+01 |-4.500000e+01 | 23.73%
1310.50/1311.03 c 1302s| 1 | 0 | 33530 | - | 141M| 0 | 460 |1534 | 127k|1534 | 127k| 386 | 0 | 0 |-5.900000e+01 |-4.500000e+01 | 23.73%
1456.45/1457.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1456.45/1457.08 c 1448s| 1 | 0 | 34155 | - | 141M| 0 | 460 |1534 | 127k|1534 | 127k| 395 | 0 | 0 |-5.900000e+01 |-4.500000e+01 | 23.73%
1605.99/1606.69 c 1597s| 1 | 0 | 34765 | - | 141M| 0 | 475 |1534 | 127k|1534 | 127k| 401 | 0 | 0 |-5.900000e+01 |-4.500000e+01 | 23.73%
1762.03/1762.77 c 1753s| 1 | 0 | 35106 | - | 141M| 0 | 456 |1534 | 127k|1534 | 127k| 411 | 0 | 0 |-5.900000e+01 |-4.500000e+01 | 23.73%
1800.03/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665513-1276510435/watcher-2665513-1276510435 -o /tmp/evaluation-result-2665513-1276510435/solver-2665513-1276510435 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665513-1276510435.opb -t 1800 -m 1800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.93 1.01 0.99 3/106 26929
/proc/meminfo: memFree=1722008/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=9288 CPUtime=0
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 1235 0 0 0 0 0 0 0 20 0 1 0 24695417 9510912 1155 1992294400 4194304 9819077 140733787721056 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26929/statm: 2322 1164 371 1374 0 943 0
[startup+0.0172621 s]
/proc/loadavg: 0.93 1.01 0.99 3/106 26929
/proc/meminfo: memFree=1722008/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=11848 CPUtime=0
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 1906 0 0 0 0 0 0 0 22 0 1 0 24695417 12132352 1826 1992294400 4194304 9819077 140733787721056 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26929/statm: 2962 1826 388 1374 0 1583 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11848
[startup+0.101271 s]
/proc/loadavg: 0.93 1.01 0.99 3/106 26929
/proc/meminfo: memFree=1722008/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=15152 CPUtime=0.09
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 2714 0 0 0 8 1 0 0 22 0 1 0 24695417 15515648 2634 1992294400 4194304 9819077 140733787721056 18446744073709551615 8631963 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26929/statm: 3788 2634 388 1374 0 2409 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15152
[startup+0.301307 s]
/proc/loadavg: 0.93 1.01 0.99 3/106 26929
/proc/meminfo: memFree=1722008/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=19512 CPUtime=0.29
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 3816 0 0 0 28 1 0 0 22 0 1 0 24695417 19980288 3736 1992294400 4194304 9819077 140733787721056 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26929/statm: 4878 3736 388 1374 0 3499 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19512
[startup+0.700381 s]
/proc/loadavg: 0.93 1.01 0.99 3/106 26929
/proc/meminfo: memFree=1722008/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=28424 CPUtime=0.69
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 6058 0 0 0 67 2 0 0 24 0 1 0 24695417 29106176 5978 1992294400 4194304 9819077 140733787721056 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26929/statm: 7106 5978 388 1374 0 5727 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28424
[startup+1.50053 s]
/proc/loadavg: 0.93 1.01 0.99 2/107 26930
/proc/meminfo: memFree=1693604/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=45160 CPUtime=1.49
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 10212 0 0 0 145 4 0 0 25 0 1 0 24695417 46243840 10132 1992294400 4194304 9819077 140733787721056 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26929/statm: 11290 10132 388 1374 0 9911 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45160
[startup+3.10082 s]
/proc/loadavg: 0.93 1.01 0.99 2/107 26930
/proc/meminfo: memFree=1635076/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=154688 CPUtime=3.09
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 37700 0 0 0 284 25 0 0 25 0 1 0 24695417 158400512 37226 1992294400 4194304 9819077 140733787721056 18446744073709551615 4361606 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 38672 37226 490 1374 0 37293 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 154688
[startup+6.3004 s]
/proc/loadavg: 0.93 1.01 0.99 2/107 26930
/proc/meminfo: memFree=1579648/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=149812 CPUtime=6.28
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 53635 0 0 0 578 50 0 0 25 0 1 0 24695417 153407488 35875 1992294400 4194304 9819077 140733787721056 18446744073709551615 4431438 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 37453 35875 508 1374 0 36074 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 149812
[startup+12.7006 s]
/proc/loadavg: 0.94 1.01 0.99 2/107 26930
/proc/meminfo: memFree=1475488/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=351776 CPUtime=12.69
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 101406 0 0 0 1188 81 0 0 25 0 1 0 24695417 360218624 62285 1992294400 4194304 9819077 140733787721056 18446744073709551615 8653134 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 87944 62285 655 1374 0 86565 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 351776
[startup+25.5019 s]
/proc/loadavg: 0.95 1.01 0.99 2/107 26930
/proc/meminfo: memFree=1473380/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=351420 CPUtime=25.48
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 120951 0 0 0 2457 91 0 0 25 0 1 0 24695417 359854080 62401 1992294400 4194304 9819077 140733787721056 18446744073709551615 5743109 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 87855 62401 666 1374 0 86476 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 351420
[startup+51.1016 s]
/proc/loadavg: 0.97 1.01 0.99 2/107 26932
/proc/meminfo: memFree=1473504/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=350400 CPUtime=51.07
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 139634 0 0 0 5006 101 0 0 25 0 1 0 24695417 358809600 62484 1992294400 4194304 9819077 140733787721056 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 87600 62484 666 1374 0 86221 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 350400
[startup+102.309 s]
/proc/loadavg: 0.98 1.00 0.99 2/107 26932
/proc/meminfo: memFree=1469660/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=349124 CPUtime=102.26
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 170562 0 0 0 10110 116 0 0 25 0 1 0 24695417 357502976 63432 1992294400 4194304 9819077 140733787721056 18446744073709551615 6191191 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 87281 63432 667 1374 0 85902 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 349124
[startup+162.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 26934
/proc/meminfo: memFree=1473628/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=345808 CPUtime=162.23
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 201594 0 0 0 16092 131 0 0 25 0 1 0 24695417 354107392 62380 1992294400 4194304 9819077 140733787721056 18446744073709551615 5743109 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 86452 62380 667 1374 0 85073 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 345808
[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 26936
/proc/meminfo: memFree=1470776/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=344800 CPUtime=222.21
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 233498 0 0 0 22075 146 0 0 25 0 1 0 24695417 353075200 63160 1992294400 4194304 9819077 140733787721056 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 86200 63160 667 1374 0 84821 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 344800
[startup+282.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 26938
/proc/meminfo: memFree=1473628/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=342228 CPUtime=282.19
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 257756 0 0 0 28061 158 0 0 25 0 1 0 24695417 350441472 62330 1992294400 4194304 9819077 140733787721056 18446744073709551615 5743112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 85557 62330 667 1374 0 84178 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 342228
[startup+342.301 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 26940
/proc/meminfo: memFree=1460608/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=344168 CPUtime=342.16
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 290969 0 0 0 34045 171 0 0 25 0 1 0 24695417 352428032 65694 1992294400 4194304 9819077 140733787721056 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 86042 65694 667 1374 0 84663 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 344168
[startup+402.301 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 26940
/proc/meminfo: memFree=1463088/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=341988 CPUtime=402.14
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 352190 0 0 0 40014 200 0 0 25 0 1 0 24695417 350195712 65156 1992294400 4194304 9819077 140733787721056 18446744073709551615 7304779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 85497 65156 676 1374 0 84118 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 341988
[startup+462.302 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 26942
/proc/meminfo: memFree=1467676/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=340588 CPUtime=462.12
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 405430 0 0 0 45984 228 0 0 25 0 1 0 24695417 348762112 63930 1992294400 4194304 9819077 140733787721056 18446744073709551615 6581615 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 85147 63930 676 1374 0 83768 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 340588
[startup+522.302 s]
/proc/loadavg: 1.13 1.06 1.01 2/107 26944
/proc/meminfo: memFree=1467180/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=337668 CPUtime=522.1
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 465841 0 0 0 51955 255 0 0 25 0 1 0 24695417 345772032 64092 1992294400 4194304 9819077 140733787721056 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 84417 64092 676 1374 0 83038 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 337668
[startup+582.301 s]
/proc/loadavg: 1.09 1.06 1.01 2/107 26946
/proc/meminfo: memFree=1460732/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=334224 CPUtime=582.08
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 525221 0 0 0 57924 284 0 0 25 0 1 0 24695417 342245376 65736 1992294400 4194304 9819077 140733787721056 18446744073709551615 7292302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 83556 65736 676 1374 0 82177 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 334224
[startup+642.301 s]
/proc/loadavg: 1.07 1.06 1.01 2/107 26948
/proc/meminfo: memFree=1461724/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=329536 CPUtime=642.06
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 595272 0 0 0 63888 318 0 0 25 0 1 0 24695417 337444864 65342 1992294400 4194304 9819077 140733787721056 18446744073709551615 6198333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 82384 65342 676 1374 0 81005 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 329536
[startup+702.3 s]
################
# More data... #
################
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 953741 0 0 0 105653 537 0 0 25 0 1 0 24695417 346488832 64246 1992294400 4194304 9819077 140733787721056 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 84592 64246 676 1374 0 83213 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 338368
[startup+1122.3 s]
/proc/loadavg: 1.16 1.09 1.02 2/107 26960
/proc/meminfo: memFree=1465320/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=338368 CPUtime=1121.88
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 953741 0 0 0 111634 554 0 0 25 0 1 0 24695417 346488832 64246 1992294400 4194304 9819077 140733787721056 18446744073709551615 6044215 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 84592 64246 676 1374 0 83213 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 338368
[startup+1182.3 s]
/proc/loadavg: 1.06 1.07 1.01 2/107 26962
/proc/meminfo: memFree=1465196/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=336272 CPUtime=1181.86
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 984424 0 0 0 117609 577 0 0 25 0 1 0 24695417 344342528 64269 1992294400 4194304 9819077 140733787721056 18446744073709551615 6052128 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 84068 64269 676 1374 0 82689 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 336272
[startup+1242.3 s]
/proc/loadavg: 1.02 1.05 1.01 2/107 26964
/proc/meminfo: memFree=1465072/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=336272 CPUtime=1241.83
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 984424 0 0 0 123593 590 0 0 25 0 1 0 24695417 344342528 64269 1992294400 4194304 9819077 140733787721056 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 84068 64269 676 1374 0 82689 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 336272
[startup+1302.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 26964
/proc/meminfo: memFree=1455152/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=336212 CPUtime=1301.81
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 998865 0 0 0 129573 608 0 0 25 0 1 0 24695417 344281088 66842 1992294400 4194304 9819077 140733787721056 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 84053 66842 676 1374 0 82674 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 336212
[startup+1362.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 26966
/proc/meminfo: memFree=1465692/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=337460 CPUtime=1361.78
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 1019380 0 0 0 135549 629 0 0 25 0 1 0 24695417 345559040 64070 1992294400 4194304 9819077 140733787721056 18446744073709551615 6555529 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 84365 64070 676 1374 0 82986 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 337460
[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 26968
/proc/meminfo: memFree=1465692/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=337460 CPUtime=1421.77
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 1019380 0 0 0 141533 644 0 0 25 0 1 0 24695417 345559040 64070 1992294400 4194304 9819077 140733787721056 18446744073709551615 6555529 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 84365 64070 676 1374 0 82986 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 337460
[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 26970
/proc/meminfo: memFree=1465816/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=337500 CPUtime=1481.74
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 1037377 0 0 0 147511 663 0 0 25 0 1 0 24695417 345600000 64073 1992294400 4194304 9819077 140733787721056 18446744073709551615 6044346 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 84375 64073 676 1374 0 82996 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 337500
[startup+1542.3 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 26975
/proc/meminfo: memFree=1465196/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=337500 CPUtime=1541.72
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 1037377 0 0 0 153493 679 0 0 25 0 1 0 24695417 345600000 64073 1992294400 4194304 9819077 140733787721056 18446744073709551615 6044352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 84375 64073 676 1374 0 82996 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 337500
[startup+1602.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 26975
/proc/meminfo: memFree=1461724/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=337860 CPUtime=1601.7
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 1050281 0 0 0 159471 699 0 0 25 0 1 0 24695417 345968640 65306 1992294400 4194304 9819077 140733787721056 18446744073709551615 6199042 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 84465 65306 676 1374 0 83086 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 337860
[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 26977
/proc/meminfo: memFree=1465196/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=338948 CPUtime=1661.68
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 1055493 0 0 0 165455 713 0 0 25 0 1 0 24695417 347082752 64132 1992294400 4194304 9819077 140733787721056 18446744073709551615 6555537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 84737 64132 676 1374 0 83358 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 338948
[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 26979
/proc/meminfo: memFree=1465196/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=338948 CPUtime=1721.65
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 1055493 0 0 0 171437 728 0 0 25 0 1 0 24695417 347082752 64132 1992294400 4194304 9819077 140733787721056 18446744073709551615 6043587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 84737 64132 676 1374 0 83358 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 338948
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26981
/proc/meminfo: memFree=1450688/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=427736 CPUtime=1781.63
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 1136241 0 0 0 177371 792 0 0 25 0 1 0 24695417 438001664 67930 1992294400 4194304 9819077 140733787721056 18446744073709551615 6198409 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 106934 67930 717 1374 0 105555 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 427736
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 26981
/proc/meminfo: memFree=1449696/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=427232 CPUtime=1800.03
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 1155439 0 0 0 179202 801 0 0 25 0 1 0 24695417 437485568 68142 1992294400 4194304 9819077 140733787721056 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 106808 68142 717 1374 0 105429 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 427232
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -26929
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 26981
/proc/meminfo: memFree=1449696/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=427232 CPUtime=1800.72
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 1155468 0 0 0 179271 801 0 0 25 0 1 0 24695417 437485568 68171 1992294400 4194304 9819077 140733787721056 18446744073709551615 7291711 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 106808 68171 717 1374 0 105429 0
Current children cumulated CPU time (s) 1800.72
Current children cumulated vsize (KiB) 427232
[startup+1802.2 s]
/proc/loadavg: 1.06 1.02 1.00 2/108 26982
/proc/meminfo: memFree=1449440/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=427232 CPUtime=1801.52
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 1155524 0 0 0 179350 802 0 0 25 0 1 0 24695417 437485568 68227 1992294400 4194304 9819077 140733787721056 18446744073709551615 6191141 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 106808 68227 717 1374 0 105429 0
Current children cumulated CPU time (s) 1801.52
Current children cumulated vsize (KiB) 427232
[startup+1802.6 s]
/proc/loadavg: 1.06 1.02 1.00 2/108 26982
/proc/meminfo: memFree=1449440/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=427232 CPUtime=1801.92
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 1155545 0 0 0 179390 802 0 0 25 0 1 0 24695417 437485568 68248 1992294400 4194304 9819077 140733787721056 18446744073709551615 6191117 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 106808 68248 717 1374 0 105429 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 427232
[startup+1802.7 s]
/proc/loadavg: 1.06 1.02 1.00 2/108 26982
/proc/meminfo: memFree=1449440/2059040 swapFree=4140360/4192956
[pid=26929] ppid=26927 vsize=427232 CPUtime=1802.02
/proc/26929/stat : 26929 (pbscip.linux.x8) R 26927 26929 26805 0 -1 4202496 1155551 0 0 0 179400 802 0 0 25 0 1 0 24695417 437485568 68254 1992294400 4194304 9819077 140733787721056 18446744073709551615 7292002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26929/statm: 106808 68254 717 1374 0 105429 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 427232
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.75
CPU time (s): 1802.08
CPU user time (s): 1794.03
CPU system time (s): 8.05177
CPU usage (%): 99.9628
Max. virtual memory (cumulated for all children) (KiB): 465284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.03
system time used= 8.05177
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1155553
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= 1
involuntary context switches= 2483
runsolver used 3.44648 second user time and 9.68453 second system time
The end