0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2664619-1276406635.opb>
0.00/0.04 c original problem has 624 variables (624 bin, 0 int, 0 impl, 0 cont) and 1884 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.04 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.05 c presolving:
0.09/0.10 c (round 1) 104 del vars, 104 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1676 upgd conss, 800 impls, 0 clqs
0.09/0.12 c (round 2) 104 del vars, 208 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1676 upgd conss, 800 impls, 0 clqs
0.09/0.14 c (0.1s) probing: 101/520 (19.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.14 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.14 c presolving (3 rounds):
0.09/0.14 c 104 deleted vars, 208 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.14 c 800 implications, 0 cliques
0.09/0.14 c presolved problem has 520 variables (520 bin, 0 int, 0 impl, 0 cont) and 1676 constraints
0.09/0.14 c 24 constraints of type <knapsack>
0.09/0.14 c 1652 constraints of type <logicor>
0.09/0.14 c transformed objective value is always integral (scale: 1)
0.09/0.14 c Presolving Time: 0.07
0.09/0.14 c - non default parameters ----------------------------------------------------------------------
0.09/0.14 c # SCIP version 1.2.1.2
0.09/0.14 c
0.09/0.14 c # frequency for displaying node information lines
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.14 c display/freq = 10000
0.09/0.14 c
0.09/0.14 c # maximal time in seconds to run
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/time = 1799.97
0.09/0.14 c
0.09/0.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.14 c limits/memory = 1620
0.09/0.14 c
0.09/0.14 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.14 c lp/solvefreq = -1
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify inequalities
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/linear/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # should presolving try to simplify knapsacks
0.09/0.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.14 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.14 c
0.09/0.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.14 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.14 c separating/rapidlearning/freq = 0
0.09/0.14 c
0.09/0.14 c -----------------------------------------------------------------------------------------------
0.09/0.14 c start solving
0.09/0.14 c
0.09/0.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.14 c 0.1s| 1 | 2 | 0 | - |2840k| 0 | - | 520 |1676 | 0 | 0 | 0 | 0 | 0 | 1.600000e+01 | -- | Inf
6.29/6.34 c 6.0s| 10000 | 6234 | 0 | 0.0 |9192k| 49 | - | 520 |2550 | 0 | 0 | 0 |4018 | 0 | 1.900000e+01 | -- | Inf
12.79/12.88 c 12.2s| 20000 | 13202 | 0 | 0.0 | 16M| 49 | - | 520 |3131 | 0 | 0 | 0 |7326 | 0 | 1.900000e+01 | -- | Inf
19.98/20.05 c 19.1s| 30000 | 19976 | 0 | 0.0 | 23M| 49 | - | 520 |3120 | 0 | 0 | 0 | 10k| 0 | 2.000000e+01 | -- | Inf
26.98/27.04 c 25.7s| 40000 | 26793 | 0 | 0.0 | 31M| 51 | - | 520 |3314 | 0 | 0 | 0 | 12k| 0 | 2.100000e+01 | -- | Inf
34.09/34.16 c 32.5s| 50000 | 33786 | 0 | 0.0 | 40M| 53 | - | 520 |3771 | 0 | 0 | 0 | 15k| 0 | 2.300000e+01 | -- | Inf
42.48/42.58 c 40.6s| 60000 | 39660 | 0 | 0.0 | 47M| 53 | - | 520 |4038 | 0 | 0 | 0 | 20k| 0 | 2.300000e+01 | -- | Inf
50.97/51.06 c 48.7s| 70000 | 46113 | 0 | 0.0 | 56M| 53 | - | 520 |4261 | 0 | 0 | 0 | 25k| 0 | 2.400000e+01 | -- | Inf
59.87/59.97 c 57.3s| 80000 | 52319 | 0 | 0.0 | 65M| 53 | - | 520 |5128 | 0 | 0 | 0 | 31k| 0 | 2.400000e+01 | -- | Inf
70.17/70.27 c 67.3s| 90000 | 57224 | 0 | 0.0 | 72M| 53 | - | 520 |5485 | 0 | 0 | 0 | 40k| 0 | 2.400000e+01 | -- | Inf
80.87/80.95 c 77.6s|100000 | 62066 | 0 | 0.0 | 80M| 53 | - | 520 |5646 | 0 | 0 | 0 | 49k| 0 | 2.400000e+01 | -- | Inf
91.86/91.93 c 88.2s|110000 | 67285 | 0 | 0.0 | 88M| 53 | - | 520 |6030 | 0 | 0 | 0 | 59k| 0 | 2.400000e+01 | -- | Inf
102.16/102.28 c 98.3s|120000 | 72965 | 0 | 0.0 | 96M| 53 | - | 520 |5617 | 0 | 0 | 0 | 66k| 0 | 2.500000e+01 | -- | Inf
113.26/113.40 c 109s|130000 | 77988 | 0 | 0.0 | 103M| 53 | - | 520 |6400 | 0 | 0 | 0 | 76k| 0 | 2.500000e+01 | -- | Inf
124.26/124.33 c 120s|140000 | 83560 | 0 | 0.0 | 111M| 53 | - | 520 |5937 | 0 | 0 | 0 | 84k| 0 | 2.500000e+01 | -- | Inf
135.95/136.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
135.95/136.02 c 131s|150000 | 88265 | 0 | 0.0 | 119M| 53 | - | 520 |6480 | 0 | 0 | 0 | 94k| 0 | 2.500000e+01 | -- | Inf
147.25/147.31 c 142s|160000 | 93835 | 0 | 0.0 | 128M| 56 | - | 520 |7200 | 0 | 0 | 0 | 103k| 0 | 2.500000e+01 | -- | Inf
157.75/157.80 c 152s|170000 | 99920 | 0 | 0.0 | 135M| 56 | - | 520 |6406 | 0 | 0 | 0 | 110k| 0 | 2.500000e+01 | -- | Inf
168.74/168.82 c 163s|180000 |105755 | 0 | 0.0 | 144M| 56 | - | 520 |6887 | 0 | 0 | 0 | 118k| 0 | 2.500000e+01 | -- | Inf
179.63/179.76 c 173s|190000 |111593 | 0 | 0.0 | 151M| 56 | - | 520 |6203 | 0 | 0 | 0 | 125k| 0 | 2.500000e+01 | -- | Inf
190.94/191.03 c 184s|200000 |117314 | 0 | 0.0 | 159M| 56 | - | 520 |7368 | 0 | 0 | 0 | 134k| 0 | 2.500000e+01 | -- | Inf
203.34/203.46 c 196s|210000 |122774 | 0 | 0.0 | 168M| 56 | - | 520 |7680 | 0 | 0 | 0 | 144k| 0 | 2.500000e+01 | -- | Inf
215.03/215.16 c 208s|220000 |128767 | 0 | 0.0 | 177M| 56 | - | 520 |7858 | 0 | 0 | 0 | 152k| 0 | 2.500000e+01 | -- | Inf
227.63/227.71 c 220s|230000 |133872 | 0 | 0.0 | 185M| 56 | - | 520 |7370 | 0 | 0 | 0 | 161k| 0 | 2.500000e+01 | -- | Inf
241.22/241.37 c 233s|240000 |138873 | 0 | 0.0 | 194M| 56 | - | 520 |8252 | 0 | 0 | 0 | 172k| 0 | 2.500000e+01 | -- | Inf
253.62/253.72 c 245s|250000 |144587 | 0 | 0.0 | 203M| 56 | - | 520 |8048 | 0 | 0 | 0 | 180k| 0 | 2.500000e+01 | -- | Inf
266.22/266.33 c 258s|260000 |150006 | 0 | 0.0 | 211M| 56 | - | 520 |8463 | 0 | 0 | 0 | 189k| 0 | 2.600000e+01 | -- | Inf
278.41/278.58 c 269s|270000 |155663 | 0 | 0.0 | 218M| 56 | - | 520 |7974 | 0 | 0 | 0 | 197k| 0 | 2.600000e+01 | -- | Inf
291.11/291.22 c 282s|280000 |161371 | 0 | 0.0 | 227M| 56 | - | 520 |9242 | 0 | 0 | 0 | 205k| 0 | 2.600000e+01 | -- | Inf
304.10/304.23 c 294s|290000 |167427 | 0 | 0.0 | 236M| 56 | - | 520 |9010 | 0 | 0 | 0 | 213k| 0 | 2.600000e+01 | -- | Inf
316.71/316.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
316.71/316.90 c 307s|300000 |173476 | 0 | 0.0 | 245M| 56 | - | 520 |7738 | 0 | 0 | 0 | 221k| 0 | 2.600000e+01 | -- | Inf
330.20/330.34 c 320s|310000 |178568 | 0 | 0.0 | 252M| 56 | - | 520 |8267 | 0 | 0 | 0 | 231k| 0 | 2.600000e+01 | -- | Inf
343.80/343.91 c 333s|320000 |184184 | 0 | 0.0 | 261M| 56 | - | 520 |9038 | 0 | 0 | 0 | 240k| 0 | 2.600000e+01 | -- | Inf
358.09/358.23 c 347s|330000 |189694 | 0 | 0.0 | 270M| 56 | - | 520 |9810 | 0 | 0 | 0 | 249k| 0 | 2.600000e+01 | -- | Inf
372.38/372.50 c 361s|340000 |195422 | 0 | 0.0 | 279M| 56 | - | 520 |9731 | 0 | 0 | 0 | 258k| 0 | 2.600000e+01 | -- | Inf
386.68/386.86 c 375s|350000 |201323 | 0 | 0.0 | 289M| 56 | - | 520 |9608 | 0 | 0 | 0 | 266k| 0 | 2.600000e+01 | -- | Inf
402.67/402.87 c 391s|360000 |205961 | 0 | 0.0 | 298M| 56 | - | 520 |9378 | 0 | 0 | 0 | 278k| 0 | 2.600000e+01 | -- | Inf
419.27/419.41 c 407s|370000 |210928 | 0 | 0.0 | 307M| 56 | - | 520 |9955 | 0 | 0 | 0 | 289k| 0 | 2.700000e+01 | -- | Inf
435.77/435.92 c 423s|380000 |215979 | 0 | 0.0 | 316M| 56 | - | 520 | 10k| 0 | 0 | 0 | 300k| 0 | 2.700000e+01 | -- | Inf
451.97/452.10 c 439s|390000 |221323 | 0 | 0.0 | 327M| 56 | - | 520 | 11k| 0 | 0 | 0 | 310k| 0 | 2.700000e+01 | -- | Inf
466.96/467.12 c 453s|400000 |226530 | 0 | 0.0 | 334M| 56 | - | 520 | 10k| 0 | 0 | 0 | 320k| 0 | 2.700000e+01 | -- | Inf
482.15/482.35 c 468s|410000 |231967 | 0 | 0.0 | 342M| 56 | - | 520 | 10k| 0 | 0 | 0 | 329k| 0 | 2.700000e+01 | -- | Inf
497.54/497.76 c 483s|420000 |237220 | 0 | 0.0 | 350M| 56 | - | 520 | 11k| 0 | 0 | 0 | 340k| 0 | 2.700000e+01 | -- | Inf
513.65/513.82 c 499s|430000 |242774 | 0 | 0.0 | 359M| 56 | - | 520 | 11k| 0 | 0 | 0 | 350k| 0 | 2.700000e+01 | -- | Inf
529.84/530.00 c 515s|440000 |248292 | 0 | 0.0 | 368M| 56 | - | 520 | 11k| 0 | 0 | 0 | 360k| 0 | 2.700000e+01 | -- | Inf
545.93/546.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
545.93/546.16 c 531s|450000 |253547 | 0 | 0.0 | 376M| 56 | - | 520 |9207 | 0 | 0 | 0 | 370k| 0 | 2.700000e+01 | -- | Inf
561.42/561.65 c 546s|460000 |258420 | 0 | 0.0 | 384M| 56 | - | 520 |9405 | 0 | 0 | 0 | 381k| 0 | 2.700000e+01 | -- | Inf
577.81/578.00 c 562s|470000 |263336 | 0 | 0.0 | 393M| 56 | - | 520 | 10k| 0 | 0 | 0 | 392k| 0 | 2.700000e+01 | -- | Inf
595.41/595.66 c 579s|480000 |268184 | 0 | 0.0 | 403M| 56 | - | 520 | 11k| 0 | 0 | 0 | 404k| 0 | 2.800000e+01 | -- | Inf
613.30/613.54 c 596s|490000 |273279 | 0 | 0.0 | 413M| 56 | - | 520 | 11k| 0 | 0 | 0 | 415k| 0 | 2.800000e+01 | -- | Inf
630.80/631.04 c 614s|500000 |278444 | 0 | 0.0 | 424M| 56 | - | 520 | 11k| 0 | 0 | 0 | 426k| 0 | 2.800000e+01 | -- | Inf
648.60/648.89 c 631s|510000 |283635 | 0 | 0.0 | 434M| 56 | - | 520 | 10k| 0 | 0 | 0 | 437k| 0 | 2.800000e+01 | -- | Inf
668.39/668.64 c 650s|520000 |287526 | 0 | 0.0 | 443M| 56 | - | 520 | 11k| 0 | 0 | 0 | 450k| 0 | 2.800000e+01 | -- | Inf
689.49/689.72 c 671s|530000 |291679 | 0 | 0.0 | 453M| 56 | - | 520 | 12k| 0 | 0 | 0 | 463k| 0 | 2.800000e+01 | -- | Inf
711.48/711.73 c 693s|540000 |295986 | 0 | 0.0 | 464M| 56 | - | 520 | 13k| 0 | 0 | 0 | 476k| 0 | 2.800000e+01 | -- | Inf
734.17/734.45 c 715s|550000 |300428 | 0 | 0.0 | 475M| 56 | - | 520 | 13k| 0 | 0 | 0 | 489k| 0 | 2.800000e+01 | -- | Inf
757.56/757.87 c 738s|560000 |304655 | 0 | 0.0 | 486M| 56 | - | 520 | 13k| 0 | 0 | 0 | 502k| 0 | 2.800000e+01 | -- | Inf
778.25/778.52 c 758s|570000 |309904 | 0 | 0.0 | 498M| 56 | - | 520 | 13k| 0 | 0 | 0 | 513k| 0 | 2.800000e+01 | -- | Inf
797.45/797.76 c 777s|580000 |315565 | 0 | 0.0 | 511M| 56 | - | 520 | 13k| 0 | 0 | 0 | 522k| 0 | 2.800000e+01 | -- | Inf
816.63/816.91 c 796s|590000 |320709 | 0 | 0.0 | 521M| 56 | - | 520 | 12k| 0 | 0 | 0 | 532k| 0 | 2.800000e+01 | -- | Inf
835.34/835.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
835.34/835.67 c 814s|600000 |325799 | 0 | 0.0 | 531M| 56 | - | 520 | 13k| 0 | 0 | 0 | 543k| 0 | 2.800000e+01 | -- | Inf
854.03/854.36 c 833s|610000 |331170 | 0 | 0.0 | 542M| 56 | - | 520 | 14k| 0 | 0 | 0 | 554k| 0 | 2.900000e+01 | -- | Inf
873.73/874.02 c 852s|620000 |336792 | 0 | 0.0 | 553M| 56 | - | 520 | 14k| 0 | 0 | 0 | 563k| 0 | 2.900000e+01 | -- | Inf
892.51/892.85 c 870s|630000 |342141 | 0 | 0.0 | 563M| 56 | - | 520 | 11k| 0 | 0 | 0 | 574k| 0 | 2.900000e+01 | -- | Inf
911.21/911.53 c 889s|640000 |346978 | 0 | 0.0 | 572M| 56 | - | 520 | 12k| 0 | 0 | 0 | 586k| 0 | 2.900000e+01 | -- | Inf
930.10/930.45 c 907s|650000 |351975 | 0 | 0.0 | 582M| 56 | - | 520 | 13k| 0 | 0 | 0 | 597k| 0 | 2.900000e+01 | -- | Inf
948.30/948.66 c 925s|660000 |357614 | 0 | 0.0 | 593M| 56 | - | 520 | 12k| 0 | 0 | 0 | 607k| 0 | 2.900000e+01 | -- | Inf
967.00/967.35 c 943s|670000 |363022 | 0 | 0.0 | 604M| 56 | - | 520 | 13k| 0 | 0 | 0 | 618k| 0 | 2.900000e+01 | -- | Inf
986.69/987.07 c 963s|680000 |368316 | 0 | 0.0 | 615M| 56 | - | 520 | 13k| 0 | 0 | 0 | 629k| 0 | 2.900000e+01 | -- | Inf
1005.68/1006.01 c 981s|690000 |374075 | 0 | 0.0 | 628M| 56 | - | 520 | 13k| 0 | 0 | 0 | 639k| 0 | 2.900000e+01 | -- | Inf
1028.07/1028.44 c 1003s|700000 |377684 | 0 | 0.0 | 636M| 56 | - | 520 | 11k| 0 | 0 | 0 | 652k| 0 | 2.900000e+01 | -- | Inf
1051.47/1051.81 c 1026s|710000 |381806 | 0 | 0.0 | 648M| 56 | - | 520 | 12k| 0 | 0 | 0 | 665k| 0 | 2.900000e+01 | -- | Inf
1075.86/1076.24 c 1050s|720000 |385962 | 0 | 0.0 | 659M| 56 | - | 520 | 13k| 0 | 0 | 0 | 679k| 0 | 2.900000e+01 | -- | Inf
1100.15/1100.59 c 1074s|730000 |390171 | 0 | 0.0 | 670M| 56 | - | 520 | 14k| 0 | 0 | 0 | 692k| 0 | 2.900000e+01 | -- | Inf
1125.34/1125.75 c 1099s|740000 |394357 | 0 | 0.0 | 682M| 56 | - | 520 | 15k| 0 | 0 | 0 | 706k| 0 | 2.900000e+01 | -- | Inf
1151.33/1151.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1151.33/1151.71 c 1124s|750000 |398634 | 0 | 0.0 | 694M| 56 | - | 520 | 15k| 0 | 0 | 0 | 720k| 0 | 2.900000e+01 | -- | Inf
1176.42/1176.88 c 1149s|760000 |403138 | 0 | 0.0 | 705M| 56 | - | 520 | 15k| 0 | 0 | 0 | 733k| 0 | 2.900000e+01 | -- | Inf
1201.31/1201.78 c 1173s|770000 |407976 | 0 | 0.0 | 717M| 56 | - | 520 | 15k| 0 | 0 | 0 | 745k| 0 | 2.900000e+01 | -- | Inf
1225.41/1225.84 c 1197s|780000 |412924 | 0 | 0.0 | 730M| 56 | - | 520 | 16k| 0 | 0 | 0 | 757k| 0 | 3.000000e+01 | -- | Inf
1248.21/1248.67 c 1220s|790000 |417931 | 0 | 0.0 | 742M| 56 | - | 520 | 17k| 0 | 0 | 0 | 769k| 0 | 3.000000e+01 | -- | Inf
1273.50/1273.96 c 1244s|800000 |421982 | 0 | 0.0 | 754M| 56 | - | 520 | 18k| 0 | 0 | 0 | 784k| 0 | 3.000000e+01 | -- | Inf
1295.49/1295.99 c 1266s|810000 |427388 | 0 | 0.0 | 763M| 56 | - | 520 | 15k| 0 | 0 | 0 | 795k| 0 | 3.000000e+01 | -- | Inf
1316.18/1316.60 c 1286s|820000 |432811 | 0 | 0.0 | 774M| 56 | - | 520 | 15k| 0 | 0 | 0 | 807k| 0 | 3.000000e+01 | -- | Inf
1337.38/1337.85 c 1307s|830000 |438475 | 0 | 0.0 | 785M| 56 | - | 520 | 13k| 0 | 0 | 0 | 818k| 0 | 3.000000e+01 | -- | Inf
1358.37/1358.89 c 1328s|840000 |443555 | 0 | 0.0 | 795M| 56 | - | 520 | 13k| 0 | 0 | 0 | 830k| 0 | 3.000000e+01 | -- | Inf
1379.56/1380.08 c 1349s|850000 |448529 | 0 | 0.0 | 806M| 56 | - | 520 | 15k| 0 | 0 | 0 | 843k| 0 | 3.000000e+01 | -- | Inf
1402.26/1402.70 c 1371s|860000 |452495 | 0 | 0.0 | 815M| 56 | - | 520 | 14k| 0 | 0 | 0 | 859k| 0 | 3.000000e+01 | -- | Inf
1427.54/1428.04 c 1396s|870000 |455921 | 0 | 0.0 | 826M| 56 | - | 520 | 15k| 0 | 0 | 0 | 876k| 0 | 3.000000e+01 | -- | Inf
1453.75/1454.23 c 1421s|880000 |459418 | 0 | 0.0 | 836M| 56 | - | 520 | 17k| 0 | 0 | 0 | 892k| 0 | 3.000000e+01 | -- | Inf
1483.63/1484.15 c 1451s|890000 |462120 | 0 | 0.0 | 845M| 56 | - | 520 | 14k| 0 | 0 | 0 | 908k| 0 | 3.000000e+01 | -- | Inf
1516.53/1517.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1516.53/1517.05 c 1483s|900000 |464017 | 0 | 0.0 | 856M| 56 | - | 520 | 16k| 0 | 0 | 0 | 926k| 0 | 3.000000e+01 | -- | Inf
1539.41/1539.92 o 72
1539.41/1539.92 c *1506s|906574 |465264 | 0 | 0.0 | 863M| 56 | - | 520 | 16k| 0 | 0 | 0 | 937k| 0 | 3.000000e+01 | 7.200000e+01 | 140.00%
1551.31/1551.83 c 1518s|910000 |466675 | 0 | 0.0 | 867M| 56 | - | 520 | 15k| 0 | 0 | 0 | 941k| 0 | 3.000000e+01 | 7.200000e+01 | 140.00%
1587.70/1588.21 c 1554s|920000 |469979 | 0 | 0.0 | 879M| 56 | - | 520 | 16k| 0 | 0 | 0 | 954k| 0 | 3.000000e+01 | 7.200000e+01 | 140.00%
1622.79/1623.38 c 1588s|930000 |473622 | 0 | 0.0 | 891M| 56 | - | 520 | 16k| 0 | 0 | 0 | 967k| 0 | 3.100000e+01 | 7.200000e+01 | 132.26%
1657.19/1657.72 c 1622s|940000 |477143 | 0 | 0.0 | 903M| 56 | - | 520 | 16k| 0 | 0 | 0 | 980k| 0 | 3.100000e+01 | 7.200000e+01 | 132.26%
1691.29/1691.89 c 1656s|950000 |480669 | 0 | 0.0 | 916M| 56 | - | 520 | 17k| 0 | 0 | 0 | 992k| 0 | 3.100000e+01 | 7.200000e+01 | 132.26%
1726.37/1726.97 c 1690s|960000 |484433 | 0 | 0.0 | 928M| 56 | - | 520 | 19k| 0 | 0 | 0 |1004k| 0 | 3.100000e+01 | 7.200000e+01 | 132.26%
1761.46/1762.07 c 1725s|970000 |488406 | 0 | 0.0 | 941M| 56 | - | 520 | 18k| 0 | 0 | 0 |1016k| 0 | 3.100000e+01 | 7.200000e+01 | 132.26%
1793.75/1794.35 c 1757s|980000 |493062 | 0 | 0.0 | 953M| 56 | - | 520 | 18k| 0 | 0 | 0 |1027k| 0 | 3.100000e+01 | 7.200000e+01 | 132.26%
1800.05/1800.60 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61 c
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1763.21
1800.05/1800.61 c Solving Nodes : 982129
1800.05/1800.61 c Primal Bound : +7.20000000000000e+01 (1 solutions)
1800.05/1800.61 c Dual Bound : +3.10000000000000e+01
1800.05/1800.61 c Gap : 132.26 %
1800.05/1800.61 s SATISFIABLE
1800.05/1800.61 v -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603
1800.05/1800.61 v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582
1800.05/1800.61 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561
1800.05/1800.61 v -x560 -x559 x558 -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540
1800.05/1800.61 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519
1800.05/1800.61 v -x518 -x517 -x516 -x515 -x514 -x513 x512 x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498
1800.05/1800.61 v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 x485 -x484 -x483 -x482 -x481 -x480 x479 x478 -x477
1800.05/1800.61 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456
1800.05/1800.61 v -x455 -x454 -x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435
1800.05/1800.61 v -x434 -x433 -x432 -x431 -x430 -x429 x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414
1800.05/1800.61 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393
1800.05/1800.61 v -x392 -x391 -x390 -x389 -x388 x387 x386 x385 -x384 -x383 -x382 x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371
1800.05/1800.61 v x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 x358 -x357 -x356 -x355 -x354 x353 -x352 -x351 -x350
1800.05/1800.61 v x349 -x348 -x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 x330 -x329
1800.05/1800.61 v -x328 -x327 x326 -x325 -x324 -x323 -x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 -x308 -x307
1800.05/1800.61 v x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 x296 -x295 -x294 -x293 x292 -x291 -x290 -x289 -x288 -x287 -x286
1800.05/1800.61 v x285 -x284 -x283 -x282 x281 -x280 -x279 -x278 x277 x276 x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264
1800.05/1800.61 v -x263 -x262 x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243
1800.05/1800.61 v -x242 -x241 -x240 -x239 x238 -x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 x226 -x225 x224 -x223 -x222 -x221
1800.05/1800.61 v -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 x206 -x205 -x204 -x203 -x202 -x201 -x200
1800.05/1800.61 v -x199 x198 x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 x182 -x181 -x180 -x179
1800.05/1800.61 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 x163 -x162 -x161 -x160 -x159 -x158 -x157
1800.05/1800.61 v -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136
1800.05/1800.61 v -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115
1800.05/1800.61 v -x114 -x113 x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 -x100 -x99 x98 -x97 x96 -x95 -x94 -x93 x92
1800.05/1800.61 v -x91 -x90 -x89 x88 -x87 -x86 -x85 x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66
1800.05/1800.61 v -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41
1800.05/1800.61 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15
1800.05/1800.61 v -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 x2 x1
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time : 1763.21
1800.05/1800.61 c Original Problem :
1800.05/1800.61 c Problem name : HOME/instance-2664619-1276406635.opb
1800.05/1800.61 c Variables : 624 (624 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 1884 initial, 1884 maximal
1800.05/1800.61 c Presolved Problem :
1800.05/1800.61 c Problem name : t_HOME/instance-2664619-1276406635.opb
1800.05/1800.61 c Variables : 520 (520 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 1676 initial, 19411 maximal
1800.05/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c implics : 0.00 0 104 0 0 0 0 0 0
1800.05/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.61 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c linear : 0.03 0 0 0 0 0 208 0 0
1800.05/1800.61 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.61 c root node : - 3 - - 3 - - - -
1800.05/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.61 c knapsack : 24 0 4187323 0 795238 202756 12934829 0 0 0
1800.05/1800.61 c logicor : 1652+ 0 3793085 0 795239 72406 18603709 0 0 0
1800.05/1800.61 c countsols : 0 0 0 0 795233 0 0 0 0 0
1800.05/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.61 c knapsack : 99.79 0.00 83.63 0.00 16.16
1800.05/1800.61 c logicor : 876.32 0.00 672.98 0.00 203.34
1800.05/1800.61 c countsols : 0.31 0.00 0.00 0.00 0.31
1800.05/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.61 c vbounds : 2.21 2 0 0
1800.05/1800.61 c rootredcost : 2.00 0 0 0
1800.05/1800.61 c pseudoobj : 114.11 4187252 129 900
1800.05/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.61 c propagation : 26.12 275291 274072 1955000 22.0 21263 13.6 -
1800.05/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.61 c applied globally : - - - 1029678 19.0 - - -
1800.05/1800.61 c applied locally : - - - 8 56.2 - - -
1800.05/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.61 c redcost : 0.00 0 0 0 0 0
1800.05/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.61 c intobj : 0.00 0 0 0 0 0
1800.05/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.61 c gomory : 0.00 0 0 0 0 0
1800.05/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.61 c cmir : 0.00 0 0 0 0 0
1800.05/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.61 c clique : 0.00 0 0 0 0 0
1800.05/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.61 c mcf : 0.00 0 0 0 0 0
1800.05/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.61 c Pricers : Time Calls Vars
1800.05/1800.61 c problem variables: 0.00 0 0
1800.05/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c inference : 69.55 795232 0 0 0 0 1590464
1800.05/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c random : 0.00 0 0 0 0 0 0
1800.05/1800.61 c Primal Heuristics : Time Calls Found
1800.05/1800.61 c LP solutions : 0.00 - 0
1800.05/1800.61 c pseudo solutions : 0.02 - 1
1800.05/1800.61 c oneopt : 0.59 0 0
1800.05/1800.61 c trivial : 0.00 2 0
1800.05/1800.61 c simplerounding : 0.00 0 0
1800.05/1800.61 c zirounding : 0.00 0 0
1800.05/1800.61 c rounding : 0.00 0 0
1800.05/1800.61 c shifting : 0.00 0 0
1800.05/1800.61 c intshifting : 0.00 0 0
1800.05/1800.61 c twoopt : 0.00 0 0
1800.05/1800.61 c fixandinfer : 0.00 0 0
1800.05/1800.61 c feaspump : 0.00 0 0
1800.05/1800.61 c coefdiving : 0.00 0 0
1800.05/1800.61 c pscostdiving : 0.00 0 0
1800.05/1800.61 c fracdiving : 0.00 0 0
1800.05/1800.61 c veclendiving : 0.00 0 0
1800.05/1800.61 c intdiving : 0.00 0 0
1800.05/1800.61 c actconsdiving : 0.00 0 0
1800.05/1800.61 c objpscostdiving : 0.00 0 0
1800.05/1800.61 c rootsoldiving : 0.00 0 0
1800.05/1800.61 c linesearchdiving : 0.00 0 0
1800.05/1800.61 c guideddiving : 0.00 0 0
1800.05/1800.61 c octane : 0.00 0 0
1800.05/1800.61 c rens : 0.00 0 0
1800.05/1800.61 c rins : 0.00 0 0
1800.05/1800.61 c localbranching : 0.00 0 0
1800.05/1800.61 c mutation : 0.00 0 0
1800.05/1800.61 c crossover : 0.00 0 0
1800.05/1800.61 c dins : 0.00 0 0
1800.05/1800.61 c undercover : 0.00 0 0
1800.05/1800.61 c nlp : 0.64 0 0
1800.05/1800.61 c trysol : 0.47 0 0
1800.05/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.61 c (at root node) : - 0 0 0.00 -
1800.05/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.61 c B&B Tree :
1800.05/1800.61 c number of runs : 1
1800.05/1800.61 c nodes : 982129
1800.05/1800.61 c nodes (total) : 982129
1800.05/1800.61 c nodes left : 494087
1800.05/1800.61 c max depth : 56
1800.05/1800.61 c max depth (total): 56
1800.05/1800.61 c backtracks : 135258 (13.8%)
1800.05/1800.61 c delayed cutoffs : 114249
1800.05/1800.61 c repropagations : 384786 (7485713 domain reductions, 88395 cutoffs)
1800.05/1800.61 c avg switch length: 7.48
1800.05/1800.61 c switching time : 403.54
1800.05/1800.61 c Solution :
1800.05/1800.61 c Solutions found : 1 (1 improvements)
1800.05/1800.61 c First Solution : +7.20000000000000e+01 (in run 1, after 906574 nodes, 1505.84 seconds, depth 28, found by <relaxation>)
1800.05/1800.61 c Primal Bound : +7.20000000000000e+01 (in run 1, after 906574 nodes, 1505.84 seconds, depth 28, found by <relaxation>)
1800.05/1800.61 c Dual Bound : +3.10000000000000e+01
1800.05/1800.61 c Gap : 132.26 %
1800.05/1800.61 c Root Dual Bound : +1.60000000000000e+01
1800.05/1800.61 c Root Iterations : 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664619-1276406635/watcher-2664619-1276406635 -o /tmp/evaluation-result-2664619-1276406635/solver-2664619-1276406635 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664619-1276406635.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: 2.74 2.02 1.40 3/106 22335
/proc/meminfo: memFree=1776232/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=6584 CPUtime=0
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 980 0 0 0 0 0 0 0 20 0 1 0 14319815 6742016 903 1992294400 4194304 7136930 140735735577456 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22335/statm: 1646 912 254 719 0 925 0
[startup+0.102868 s]
/proc/loadavg: 2.74 2.02 1.40 3/106 22335
/proc/meminfo: memFree=1776232/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=14712 CPUtime=0.09
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 3848 0 0 0 8 1 0 0 20 0 1 0 14319815 15065088 2903 1992294400 4194304 7136930 140735735577456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 3678 2903 348 719 0 2957 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14712
[startup+0.200876 s]
/proc/loadavg: 2.74 2.02 1.40 3/106 22335
/proc/meminfo: memFree=1776232/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=16032 CPUtime=0.19
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 5506 0 0 0 16 3 0 0 20 0 1 0 14319815 16416768 3276 1992294400 4194304 7136930 140735735577456 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 4008 3276 396 719 0 3287 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16032
[startup+0.300886 s]
/proc/loadavg: 2.74 2.02 1.40 3/106 22335
/proc/meminfo: memFree=1776232/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=16296 CPUtime=0.29
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 5570 0 0 0 26 3 0 0 20 0 1 0 14319815 16687104 3340 1992294400 4194304 7136930 140735735577456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 4074 3340 396 719 0 3353 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16296
[startup+0.700924 s]
/proc/loadavg: 2.74 2.02 1.40 3/106 22335
/proc/meminfo: memFree=1776232/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=16752 CPUtime=0.69
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 5708 0 0 0 64 5 0 0 20 0 1 0 14319815 17154048 3478 1992294400 4194304 7136930 140735735577456 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 4188 3478 396 719 0 3467 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16752
[startup+1.501 s]
/proc/loadavg: 2.74 2.02 1.40 2/107 22336
/proc/meminfo: memFree=1762956/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=17696 CPUtime=1.49
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 5951 0 0 0 142 7 0 0 22 0 1 0 14319815 18120704 3721 1992294400 4194304 7136930 140735735577456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 4424 3721 396 719 0 3703 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17696
[startup+3.10015 s]
/proc/loadavg: 2.74 2.02 1.40 2/107 22336
/proc/meminfo: memFree=1761344/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=20220 CPUtime=3.09
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 6563 0 0 0 295 14 0 0 25 0 1 0 14319815 20705280 4333 1992294400 4194304 7136930 140735735577456 18446744073709551615 4408903 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 5055 4333 396 719 0 4334 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20220
[startup+6.30146 s]
/proc/loadavg: 2.60 2.00 1.40 2/107 22336
/proc/meminfo: memFree=1757500/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=24452 CPUtime=6.29
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 7627 0 0 0 598 31 0 0 25 0 1 0 14319815 25038848 5397 1992294400 4194304 7136930 140735735577456 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 6113 5397 396 719 0 5392 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24452
[startup+12.7011 s]
/proc/loadavg: 2.47 1.99 1.40 2/107 22336
/proc/meminfo: memFree=1747580/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=32612 CPUtime=12.69
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 9713 0 0 0 1206 63 0 0 25 0 1 0 14319815 33394688 7483 1992294400 4194304 7136930 140735735577456 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 8153 7483 396 719 0 7432 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32612
[startup+25.5013 s]
/proc/loadavg: 2.15 1.94 1.39 2/107 22338
/proc/meminfo: memFree=1729972/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=49976 CPUtime=25.48
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 14037 0 0 0 2428 120 0 0 25 0 1 0 14319815 51175424 11807 1992294400 4194304 7136930 140735735577456 18446744073709551615 4696964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 12494 11807 396 719 0 11773 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49976
[startup+51.1008 s]
/proc/loadavg: 1.75 1.86 1.38 2/107 22338
/proc/meminfo: memFree=1693764/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=87300 CPUtime=51.08
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 23339 0 0 0 4881 227 0 0 25 0 1 0 14319815 89395200 21109 1992294400 4194304 7136930 140735735577456 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 21825 21109 396 719 0 21104 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 87300
[startup+102.302 s]
/proc/loadavg: 1.33 1.73 1.36 2/107 22340
/proc/meminfo: memFree=1640444/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=141960 CPUtime=102.27
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 36326 0 0 0 9831 396 0 0 25 0 1 0 14319815 145367040 34096 1992294400 4194304 7136930 140735735577456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 35490 34096 396 719 0 34769 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 141960
[startup+162.301 s]
/proc/loadavg: 1.12 1.59 1.33 2/107 22340
/proc/meminfo: memFree=1589232/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=195936 CPUtime=162.24
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 49478 0 0 0 15645 579 0 0 25 0 1 0 14319815 200638464 47248 1992294400 4194304 7136930 140735735577456 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 48984 47248 396 719 0 48263 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 195936
[startup+222.309 s]
/proc/loadavg: 1.04 1.48 1.31 2/107 22342
/proc/meminfo: memFree=1539012/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=244828 CPUtime=222.23
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 61591 0 0 0 21473 750 0 0 25 0 1 0 14319815 250703872 59361 1992294400 4194304 7136930 140735735577456 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 61207 59361 396 719 0 60486 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 244828
[startup+282.301 s]
/proc/loadavg: 1.01 1.39 1.29 2/107 22344
/proc/meminfo: memFree=1494744/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=290896 CPUtime=282.21
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 72657 0 0 0 27307 914 0 0 25 0 1 0 14319815 297877504 70427 1992294400 4194304 7136930 140735735577456 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 72724 70427 396 719 0 72003 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 290896
[startup+342.302 s]
/proc/loadavg: 1.00 1.32 1.27 2/107 22346
/proc/meminfo: memFree=1447624/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=337104 CPUtime=342.19
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 84384 0 0 0 33143 1076 0 0 25 0 1 0 14319815 345194496 82154 1992294400 4194304 7136930 140735735577456 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 84276 82154 396 719 0 83555 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 337104
[startup+402.301 s]
/proc/loadavg: 1.00 1.26 1.25 2/107 22348
/proc/meminfo: memFree=1409184/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=382900 CPUtime=402.18
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 94297 0 0 0 39004 1214 0 0 25 0 1 0 14319815 392089600 92067 1992294400 4194304 7136930 140735735577456 18446744073709551615 4660962 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 95725 92067 396 719 0 95004 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 382900
[startup+462.301 s]
/proc/loadavg: 1.00 1.21 1.23 2/107 22348
/proc/meminfo: memFree=1371240/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=421164 CPUtime=462.16
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 103446 0 0 0 44863 1353 0 0 25 0 1 0 14319815 431271936 101216 1992294400 4194304 7136930 140735735577456 18446744073709551615 4409185 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 105291 101216 396 719 0 104570 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 421164
[startup+522.301 s]
/proc/loadavg: 1.00 1.17 1.21 2/107 22350
/proc/meminfo: memFree=1332800/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=461644 CPUtime=522.14
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 113114 0 0 0 50725 1489 0 0 25 0 1 0 14319815 472723456 110884 1992294400 4194304 7136930 140735735577456 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 115411 110884 396 719 0 114690 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 461644
[startup+582.302 s]
/proc/loadavg: 1.00 1.13 1.20 2/107 22352
/proc/meminfo: memFree=1294608/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=499420 CPUtime=582.12
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 122608 0 0 0 56589 1623 0 0 25 0 1 0 14319815 511406080 120378 1992294400 4194304 7136930 140735735577456 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 124855 120378 396 719 0 124134 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 499420
[startup+642.302 s]
/proc/loadavg: 1.00 1.11 1.18 2/107 22354
/proc/meminfo: memFree=1262740/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=530556 CPUtime=642.1
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 130579 0 0 0 62456 1754 0 0 25 0 1 0 14319815 543289344 128349 1992294400 4194304 7136930 140735735577456 18446744073709551615 4221241 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 132639 128349 396 719 0 131918 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 530556
[startup+702.301 s]
################
# More data... #
################
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 180900 0 0 0 97745 2454 0 0 25 0 1 0 14319815 753639424 178670 1992294400 4194304 7136930 140735735577456 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 183994 178670 396 719 0 183273 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 735976
[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.10 2/107 22367
/proc/meminfo: memFree=1031108/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=764444 CPUtime=1061.96
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 187950 0 0 0 103634 2562 0 0 25 0 1 0 14319815 782790656 185720 1992294400 4194304 7136930 140735735577456 18446744073709551615 4223905 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 191111 185720 396 719 0 190390 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 764444
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.09 2/107 22369
/proc/meminfo: memFree=999612/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=795856 CPUtime=1121.95
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 195811 0 0 0 109531 2664 0 0 25 0 1 0 14319815 814956544 193581 1992294400 4194304 7136930 140735735577456 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 198964 193581 396 719 0 198243 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 795856
[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.08 2/107 22371
/proc/meminfo: memFree=977664/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=816748 CPUtime=1181.92
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 201257 0 0 0 115433 2759 0 0 25 0 1 0 14319815 836349952 199027 1992294400 4194304 7136930 140735735577456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 204187 199027 396 719 0 203466 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 816748
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 22373
/proc/meminfo: memFree=944432/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=849996 CPUtime=1241.9
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 209600 0 0 0 121329 2861 0 0 25 0 1 0 14319815 870395904 207370 1992294400 4194304 7136930 140735735577456 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 212499 207370 396 719 0 211778 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 849996
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 22375
/proc/meminfo: memFree=917524/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=878212 CPUtime=1301.88
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 216325 0 0 0 127223 2965 0 0 25 0 1 0 14319815 899289088 214095 1992294400 4194304 7136930 140735735577456 18446744073709551615 5005060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 219553 214095 396 719 0 218832 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 878212
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 22375
/proc/meminfo: memFree=888136/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=907156 CPUtime=1361.86
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 223564 0 0 0 133111 3075 0 0 25 0 1 0 14319815 928927744 221334 1992294400 4194304 7136930 140735735577456 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 226789 221334 396 719 0 226068 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 907156
[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 22377
/proc/meminfo: memFree=867676/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=926708 CPUtime=1421.86
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 228671 0 0 0 139004 3182 0 0 25 0 1 0 14319815 948948992 226441 1992294400 4194304 7136930 140735735577456 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 231677 226441 396 719 0 230956 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 926708
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 22379
/proc/meminfo: memFree=841636/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=961708 CPUtime=1481.84
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 235137 0 0 0 144906 3278 0 0 25 0 1 0 14319815 984788992 232907 1992294400 4194304 7136930 140735735577456 18446744073709551615 4454590 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 240427 232907 396 719 0 239706 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 961708
[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 22381
/proc/meminfo: memFree=824772/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=978360 CPUtime=1541.82
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 239391 0 0 0 150825 3357 0 0 25 0 1 0 14319815 1001840640 237161 1992294400 4194304 7136930 140735735577456 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 244590 237161 396 719 0 243869 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 978360
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 22383
/proc/meminfo: memFree=807412/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=995568 CPUtime=1601.8
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 243767 0 0 0 156747 3433 0 0 25 0 1 0 14319815 1019461632 241537 1992294400 4194304 7136930 140735735577456 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 248892 241537 396 719 0 248171 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 995568
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 22383
/proc/meminfo: memFree=776660/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=1026924 CPUtime=1661.78
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 251379 0 0 0 162669 3509 0 0 25 0 1 0 14319815 1051570176 249149 1992294400 4194304 7136930 140735735577456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 256731 249149 396 719 0 256010 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1026924
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 22385
/proc/meminfo: memFree=756200/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=1048764 CPUtime=1721.77
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 256608 0 0 0 168590 3587 0 0 25 0 1 0 14319815 1073934336 254378 1992294400 4194304 7136930 140735735577456 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 262191 254378 396 719 0 261470 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1048764
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 22387
/proc/meminfo: memFree=734376/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=1069724 CPUtime=1781.75
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 261894 0 0 0 174517 3658 0 0 25 0 1 0 14319815 1095397376 259664 1992294400 4194304 7136930 140735735577456 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 267431 259664 396 719 0 266710 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1069724
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 22387
/proc/meminfo: memFree=726192/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=1078240 CPUtime=1800.05
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 263950 0 0 0 176324 3681 0 0 25 0 1 0 14319815 1104117760 261720 1992294400 4194304 7136930 140735735577456 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22335/statm: 269560 261720 396 719 0 268839 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1078240
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -22335
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.02 2/108 22388
/proc/meminfo: memFree=726184/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=1078268 CPUtime=1800.94
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 263957 0 0 0 176413 3681 0 0 25 0 1 0 14319815 1104146432 261727 1992294400 4194304 7136930 140735735577456 18446744073709551615 4616919 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22335/statm: 269567 261727 402 719 0 268846 0
Current children cumulated CPU time (s) 1800.94
Current children cumulated vsize (KiB) 1078268
[startup+1802.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/108 22388
/proc/meminfo: memFree=726184/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=1078268 CPUtime=1801.74
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4202496 263957 0 0 0 176493 3681 0 0 25 0 1 0 14319815 1104146432 261727 1992294400 4194304 7136930 140735735577456 18446744073709551615 4212307 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22335/statm: 269567 261727 402 719 0 268846 0
Current children cumulated CPU time (s) 1801.74
Current children cumulated vsize (KiB) 1078268
[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.02 2/108 22388
/proc/meminfo: memFree=726184/2059040 swapFree=4142536/4192956
[pid=22335] ppid=22333 vsize=0 CPUtime=1802.14
/proc/22335/stat : 22335 (pbscip.linux.x8) R 22333 22335 22203 0 -1 4203524 263957 0 0 0 176524 3690 0 0 25 0 1 0 14319815 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/22335/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.71
CPU time (s): 1802.17
CPU user time (s): 1765.25
CPU system time (s): 36.9204
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 1078268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1765.25
system time used= 36.9204
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 263957
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= 2444
runsolver used 2.95455 second user time and 8.5427 second system time
The end