Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver | MSAT | 1792.86 | 1792.79 |
| Name | /SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-44s.smv--soft-0-100-0.wbo |
| MD5SUM | 4d1622885c2ebb9b79c07237f88a35bc |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 0.024996 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 495 |
| Total number of constraints | 940 |
| Number of soft constraints | 940 |
| Number of constraints which are clauses | 800 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 140 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 13 |
| Top cost | 46815 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 46814 |
| Biggest number in a constraint | 68 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 257 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705189-1278578352.wbo>
0.01/0.01 c original problem has 2375 variables (1435 bin, 0 int, 940 impl, 0 cont) and 1881 constraints
0.01/0.01 c problem read
0.01/0.01 c presolving settings loaded
0.01/0.03 o 46814
0.01/0.03 c feasible solution found by trivial heuristic, objective value 4.681400e+04
0.01/0.03 c presolving:
0.01/0.03 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.01/0.04 c (round 2) 0 del vars, 1 del conss, 940 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.01/0.05 c (round 3) 0 del vars, 1 del conss, 940 chg bounds, 70 chg sides, 140 chg coeffs, 1 upgd conss, 1740 impls, 0 clqs
0.01/0.07 c (0.1s) probing: 101/1435 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.07 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.01/0.07 c presolving (4 rounds):
0.01/0.07 c 0 deleted vars, 1 deleted constraints, 940 tightened bounds, 0 added holes, 70 changed sides, 140 changed coefficients
0.01/0.07 c 1744 implications, 0 cliques
0.01/0.07 c presolved problem has 2375 variables (1435 bin, 0 int, 940 impl, 0 cont) and 1880 constraints
0.01/0.07 c 1 constraints of type <varbound>
0.01/0.07 c 939 constraints of type <linear>
0.01/0.07 c 940 constraints of type <indicator>
0.01/0.07 c transformed objective value is always integral (scale: 1)
0.01/0.07 c Presolving Time: 0.05
0.01/0.07 c - non default parameters ----------------------------------------------------------------------
0.01/0.07 c # SCIP version 1.2.1.3
0.01/0.07 c
0.01/0.07 c # frequency for displaying node information lines
0.01/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.07 c display/freq = 10000
0.01/0.07 c
0.01/0.07 c # maximal time in seconds to run
0.01/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.07 c limits/time = 1789.99
0.01/0.07 c
0.01/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.07 c limits/memory = 3420
0.01/0.07 c
0.01/0.07 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.07 c # [type: int, range: [1,2], default: 1]
0.01/0.07 c timing/clocktype = 2
0.01/0.07 c
0.01/0.07 c # should presolving try to simplify inequalities
0.01/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.07 c constraints/linear/simplifyinequalities = TRUE
0.01/0.07 c
0.01/0.07 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.01/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.07 c constraints/indicator/addCouplingCons = TRUE
0.01/0.07 c
0.01/0.07 c # should presolving try to simplify knapsacks
0.01/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.07 c
0.01/0.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.07 c separating/rapidlearning/freq = 0
0.01/0.07 c
0.01/0.07 c -----------------------------------------------------------------------------------------------
0.01/0.07 c start solving
0.01/0.07 c
0.01/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.07 c t 0.1s| 1 | 0 | 0 | - |7679k| 0 | 0 |2375 |1880 |2375 | 0 | 0 | 0 | 0 | 0.000000e+00 | 4.681400e+04 | Inf
0.09/0.16 c 0.1s| 1 | 0 | 122 | - |7818k| 0 | 66 |2375 |1880 |2375 | 123 | 123 | 0 | 0 | 0.000000e+00 | 4.681400e+04 | Inf
0.09/0.18 c 0.2s| 1 | 0 | 294 | - |7942k| 0 | 70 |2375 |1880 |2375 | 290 | 290 | 0 | 0 | 0.000000e+00 | 4.681400e+04 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 359 | - |8093k| 0 | 121 |2375 |1880 |2375 | 342 | 342 | 0 | 0 | 0.000000e+00 | 4.681400e+04 | Inf
0.19/0.27 c 0.3s| 1 | 0 | 498 | - |8231k| 0 | 158 |2375 |1880 |2375 | 418 | 418 | 0 | 0 | 0.000000e+00 | 4.681400e+04 | Inf
0.29/0.35 c 0.3s| 1 | 0 | 609 | - |8330k| 0 | 168 |2375 |1880 |2375 | 474 | 474 | 0 | 0 | 0.000000e+00 | 4.681400e+04 | Inf
0.39/0.44 c 0.4s| 1 | 0 | 728 | - |8418k| 0 | 181 |2375 |1880 |2375 | 524 | 524 | 0 | 0 | 0.000000e+00 | 4.681400e+04 | Inf
0.79/0.81 c 0.8s| 1 | 2 | 728 | - |8448k| 0 | 181 |2375 |1880 |2375 | 524 | 524 | 0 | 33 | 0.000000e+00 | 4.681400e+04 | Inf
8.70/8.77 o 46717
8.70/8.77 c y 8.8s| 1199 | 1198 | 21082 | 17.0 |9911k| 127 | - |2375 |1880 | 0 | 0 | 533 | 0 |1951 | 0.000000e+00 | 4.671700e+04 | Inf
17.39/17.42 c 17.4s| 10000 | 10001 | 59354 | 5.9 | 21M| 177 | 99 |2375 |1880 |2375 | 404 | 826 | 0 |2293 | 0.000000e+00 | 4.671700e+04 | Inf
26.59/26.60 c 26.6s| 20000 | 20001 | 95787 | 4.8 | 33M| 177 | 10 |2375 |1880 |2375 | 404 |1130 | 0 |2323 | 0.000000e+00 | 4.671700e+04 | Inf
35.59/35.60 c 35.6s| 30000 | 30001 |124129 | 4.1 | 44M| 177 | 66 |2375 |1880 |2375 | 404 |1647 | 0 |2406 | 0.000000e+00 | 4.671700e+04 | Inf
44.39/44.47 c 44.5s| 40000 | 40001 |144552 | 3.6 | 55M| 177 | 0 |2375 |1880 |2375 | 410 |2291 | 0 |2406 | 0.000000e+00 | 4.671700e+04 | Inf
53.39/53.48 c 53.5s| 50000 | 50001 |170916 | 3.4 | 66M| 177 | 20 |2375 |1880 |2375 | 404 |2775 | 0 |2408 | 0.000000e+00 | 4.671700e+04 | Inf
62.39/62.43 c 62.4s| 60000 | 60001 |189372 | 3.1 | 77M| 211 | 0 |2375 |1880 |2375 | 408 |3331 | 0 |2412 | 0.000000e+00 | 4.671700e+04 | Inf
71.10/71.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.10/71.18 c 71.2s| 70000 | 70001 |191944 | 2.7 | 88M| 221 | 0 |2375 |1880 |2375 | 409 |3648 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
79.89/79.95 c 79.9s| 80000 | 80001 |194416 | 2.4 | 100M| 223 | 0 |2375 |1880 |2375 | 409 |3921 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
88.80/88.81 c 88.8s| 90000 | 90001 |198701 | 2.2 | 111M| 223 | 0 |2375 |1880 |2375 | 408 |4301 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
97.59/97.63 c 97.6s|100000 |100001 |200325 | 2.0 | 122M| 223 | 0 |2375 |1880 |2375 | 408 |4537 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
106.49/106.50 c 106s|110000 |110001 |202574 | 1.8 | 133M| 223 | 0 |2375 |1880 |2375 | 409 |4827 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
115.29/115.37 c 115s|120000 |120001 |204649 | 1.7 | 144M| 223 | 0 |2375 |1880 |2375 | 409 |5129 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
124.19/124.21 c 124s|130000 |130001 |206175 | 1.6 | 155M| 223 | 0 |2375 |1880 |2375 | 409 |5368 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
133.10/133.12 c 133s|140000 |140001 |208838 | 1.5 | 166M| 223 | 0 |2375 |1880 |2375 | 409 |5832 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
142.00/142.04 c 142s|150000 |150001 |211999 | 1.4 | 178M| 223 | 0 |2375 |1880 |2375 | 411 |6288 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
150.99/151.01 c 151s|160000 |160001 |216101 | 1.3 | 189M| 223 | 0 |2375 |1880 |2375 | 412 |6747 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
159.89/159.93 c 160s|170000 |170001 |219079 | 1.3 | 200M| 223 | 0 |2375 |1880 |2375 | 412 |7120 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
168.80/168.84 c 169s|180000 |180001 |221533 | 1.2 | 211M| 223 | 0 |2375 |1880 |2375 | 410 |7559 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
177.70/177.78 c 178s|190000 |190001 |224044 | 1.2 | 222M| 223 | 0 |2375 |1880 |2375 | 410 |8063 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
186.70/186.74 c 187s|200000 |200001 |227215 | 1.1 | 233M| 223 | 9 |2375 |1880 |2375 | 404 |8569 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
195.70/195.77 c 196s|210000 |210001 |231342 | 1.1 | 245M| 223 | 6 |2375 |1880 |2375 | 409 |9008 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
204.79/204.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
204.79/204.88 c 205s|220000 |220001 |236356 | 1.1 | 256M| 223 | 0 |2375 |1880 |2375 | 410 |9586 | 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
213.89/213.94 c 214s|230000 |230001 |239911 | 1.0 | 267M| 223 | 0 |2375 |1880 |2375 | 409 | 10k| 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
222.90/222.92 c 223s|240000 |240001 |241739 | 1.0 | 278M| 223 | 0 |2375 |1880 |2375 | 409 | 10k| 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
231.89/231.93 c 232s|250000 |250001 |243978 | 1.0 | 289M| 223 | 0 |2375 |1880 |2375 | 409 | 10k| 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
240.90/240.99 c 241s|260000 |260001 |247614 | 0.9 | 301M| 223 | 6 |2375 |1880 |2375 | 410 | 11k| 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
250.10/250.14 c 250s|270000 |270001 |251968 | 0.9 | 312M| 223 | 0 |2375 |1880 |2375 | 412 | 11k| 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
259.20/259.28 c 259s|280000 |280001 |257116 | 0.9 | 323M| 223 | 0 |2375 |1880 |2375 | 412 | 12k| 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
268.41/268.47 c 268s|290000 |290001 |261780 | 0.9 | 334M| 223 | 0 |2375 |1880 |2375 | 413 | 12k| 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
277.60/277.63 c 278s|300000 |300001 |266180 | 0.9 | 346M| 223 | 0 |2375 |1880 |2375 | 412 | 13k| 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
286.70/286.77 c 287s|310000 |310001 |270775 | 0.9 | 357M| 223 | 0 |2375 |1880 |2375 | 412 | 13k| 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
295.91/295.93 c 296s|320000 |320001 |275203 | 0.9 | 369M| 223 | 0 |2375 |1880 |2375 | 412 | 14k| 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
305.00/305.08 c 305s|330000 |330001 |279542 | 0.8 | 380M| 223 | 0 |2375 |1880 |2375 | 412 | 15k| 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
314.20/314.25 c 314s|340000 |340001 |285422 | 0.8 | 391M| 223 | 0 |2375 |1880 |2375 | 417 | 15k| 0 |2413 | 0.000000e+00 | 4.671700e+04 | Inf
323.50/323.51 c 323s|350000 |350001 |290687 | 0.8 | 403M| 225 | 0 |2375 |1880 |2375 | 415 | 16k| 0 |2439 | 0.000000e+00 | 4.671700e+04 | Inf
332.71/332.71 c 333s|360000 |360001 |296292 | 0.8 | 414M| 227 | 3 |2375 |1880 |2375 | 411 | 17k| 0 |2445 | 0.000000e+00 | 4.671700e+04 | Inf
341.81/341.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
341.81/341.87 c 342s|370000 |370001 |301194 | 0.8 | 425M| 227 | 2 |2375 |1880 |2375 | 412 | 17k| 0 |2445 | 0.000000e+00 | 4.671700e+04 | Inf
351.00/351.04 c 351s|380000 |380001 |307470 | 0.8 | 437M| 227 | 0 |2375 |1880 |2375 | 411 | 18k| 0 |2480 | 0.000000e+00 | 4.671700e+04 | Inf
360.20/360.28 c 360s|390000 |390001 |312275 | 0.8 | 448M| 227 | 0 |2375 |1880 |2375 | 411 | 18k| 0 |2515 | 0.000000e+00 | 4.671700e+04 | Inf
369.40/369.47 c 369s|400000 |400001 |317087 | 0.8 | 459M| 229 | 0 |2375 |1880 |2375 | 411 | 19k| 0 |2518 | 0.000000e+00 | 4.671700e+04 | Inf
378.61/378.62 c 379s|410000 |410001 |322096 | 0.8 | 471M| 229 | 7 |2375 |1880 |2375 | 404 | 19k| 0 |2518 | 0.000000e+00 | 4.671700e+04 | Inf
387.71/387.76 c 388s|420000 |420001 |327790 | 0.8 | 482M| 229 | 2 |2375 |1880 |2375 | 409 | 20k| 0 |2541 | 0.000000e+00 | 4.671700e+04 | Inf
396.90/396.92 c 397s|430000 |430001 |332872 | 0.8 | 494M| 229 | 0 |2375 |1880 |2375 | 413 | 20k| 0 |2559 | 0.000000e+00 | 4.671700e+04 | Inf
406.01/406.07 c 406s|440000 |440001 |337889 | 0.8 | 505M| 229 | 0 |2375 |1880 |2375 | 414 | 21k| 0 |2569 | 0.000000e+00 | 4.671700e+04 | Inf
415.21/415.20 c 415s|450000 |450001 |342402 | 0.8 | 516M| 229 | 0 |2375 |1880 |2375 | 412 | 22k| 0 |2570 | 0.000000e+00 | 4.671700e+04 | Inf
424.31/424.30 c 424s|460000 |460001 |346665 | 0.8 | 528M| 229 | 2 |2375 |1880 |2375 | 407 | 22k| 0 |2572 | 0.000000e+00 | 4.671700e+04 | Inf
433.51/433.58 c 434s|470000 |470001 |351569 | 0.7 | 539M| 229 | 0 |2375 |1880 |2375 | 411 | 23k| 0 |2651 | 0.000000e+00 | 4.671700e+04 | Inf
442.71/442.71 c 443s|480000 |480001 |356426 | 0.7 | 550M| 229 | 0 |2375 |1880 |2375 | 414 | 23k| 0 |2659 | 0.000000e+00 | 4.671700e+04 | Inf
451.81/451.83 c 452s|490000 |490001 |361077 | 0.7 | 562M| 229 | 0 |2375 |1880 |2375 | 414 | 24k| 0 |2667 | 0.000000e+00 | 4.671700e+04 | Inf
461.01/461.02 c 461s|500000 |500001 |366642 | 0.7 | 573M| 229 | 0 |2375 |1880 |2375 | 415 | 24k| 0 |2667 | 0.000000e+00 | 4.671700e+04 | Inf
470.20/470.21 c 470s|510000 |510001 |371313 | 0.7 | 584M| 229 | 1 |2375 |1880 |2375 | 408 | 25k| 0 |2713 | 0.000000e+00 | 4.671700e+04 | Inf
479.41/479.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
479.41/479.40 c 479s|520000 |520001 |376068 | 0.7 | 596M| 229 | 0 |2375 |1880 |2375 | 411 | 25k| 0 |2724 | 0.000000e+00 | 4.671700e+04 | Inf
488.51/488.54 c 489s|530000 |530001 |381013 | 0.7 | 607M| 229 | 0 |2375 |1880 |2375 | 408 | 26k| 0 |2731 | 0.000000e+00 | 4.671700e+04 | Inf
497.61/497.68 c 498s|540000 |540001 |385918 | 0.7 | 618M| 229 | 0 |2375 |1880 |2375 | 413 | 26k| 0 |2738 | 0.000000e+00 | 4.671700e+04 | Inf
506.80/506.87 c 507s|550000 |550001 |391108 | 0.7 | 630M| 229 | 0 |2375 |1880 |2375 | 413 | 27k| 0 |2782 | 0.000000e+00 | 4.671700e+04 | Inf
516.01/516.02 c 516s|560000 |560001 |396945 | 0.7 | 641M| 229 | 0 |2375 |1880 |2375 | 412 | 28k| 0 |2807 | 0.000000e+00 | 4.671700e+04 | Inf
525.11/525.17 c 525s|570000 |570001 |402363 | 0.7 | 653M| 229 | 0 |2375 |1880 |2375 | 412 | 28k| 0 |2807 | 0.000000e+00 | 4.671700e+04 | Inf
534.31/534.34 c 534s|580000 |580001 |405829 | 0.7 | 664M| 229 | 0 |2375 |1880 |2375 | 411 | 28k| 0 |2815 | 0.000000e+00 | 4.671700e+04 | Inf
543.51/543.51 c 544s|590000 |590001 |408680 | 0.7 | 675M| 229 | 0 |2375 |1880 |2375 | 411 | 29k| 0 |2816 | 0.000000e+00 | 4.671700e+04 | Inf
552.61/552.68 c 553s|600000 |600001 |412038 | 0.7 | 687M| 229 | 0 |2375 |1880 |2375 | 414 | 29k| 0 |2830 | 0.000000e+00 | 4.671700e+04 | Inf
561.91/561.91 c 562s|610000 |610001 |416021 | 0.7 | 698M| 229 | 0 |2375 |1880 |2375 | 414 | 29k| 0 |2855 | 0.000000e+00 | 4.671700e+04 | Inf
571.11/571.13 c 571s|620000 |620001 |421020 | 0.7 | 709M| 229 | 0 |2375 |1880 |2375 | 414 | 30k| 0 |2866 | 0.000000e+00 | 4.671700e+04 | Inf
580.31/580.35 c 580s|630000 |630001 |425681 | 0.7 | 721M| 229 | 0 |2375 |1880 |2375 | 411 | 31k| 0 |2870 | 0.000000e+00 | 4.671700e+04 | Inf
589.51/589.57 c 590s|640000 |640001 |430572 | 0.7 | 732M| 229 | 1 |2375 |1880 |2375 | 409 | 31k| 0 |2880 | 0.000000e+00 | 4.671700e+04 | Inf
598.81/598.83 c 599s|650000 |650001 |435737 | 0.7 | 743M| 229 | 0 |2375 |1880 |2375 | 412 | 32k| 0 |2949 | 0.000000e+00 | 4.671700e+04 | Inf
608.01/608.02 c 608s|660000 |660001 |439485 | 0.7 | 755M| 229 | 0 |2375 |1880 |2375 | 414 | 32k| 0 |2960 | 0.000000e+00 | 4.671700e+04 | Inf
617.21/617.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
617.21/617.21 c 617s|670000 |670001 |442720 | 0.7 | 766M| 229 | 0 |2375 |1880 |2375 | 414 | 32k| 0 |2964 | 0.000000e+00 | 4.671700e+04 | Inf
626.41/626.41 c 626s|680000 |680001 |446433 | 0.7 | 777M| 229 | 0 |2375 |1880 |2375 | 414 | 33k| 0 |2982 | 0.000000e+00 | 4.671700e+04 | Inf
635.51/635.57 c 636s|690000 |690001 |451868 | 0.7 | 789M| 229 | 0 |2375 |1880 |2375 | 411 | 33k| 0 |2984 | 0.000000e+00 | 4.671700e+04 | Inf
644.71/644.78 c 645s|700000 |700001 |456501 | 0.7 | 800M| 235 | 0 |2375 |1880 |2375 | 411 | 34k| 0 |3033 | 0.000000e+00 | 4.671700e+04 | Inf
654.02/654.02 c 654s|710000 |710001 |462947 | 0.7 | 812M| 235 | 7 |2375 |1880 |2375 | 412 | 34k| 0 |3096 | 0.000000e+00 | 4.671700e+04 | Inf
663.12/663.18 c 663s|720000 |720001 |467297 | 0.6 | 823M| 235 | 0 |2375 |1880 |2375 | 412 | 35k| 0 |3097 | 0.000000e+00 | 4.671700e+04 | Inf
672.31/672.35 c 672s|730000 |730001 |471480 | 0.6 | 834M| 235 | 2 |2375 |1880 |2375 | 412 | 35k| 0 |3097 | 0.000000e+00 | 4.671700e+04 | Inf
681.42/681.46 c 681s|740000 |740001 |474947 | 0.6 | 846M| 235 | 0 |2375 |1880 |2375 | 412 | 35k| 0 |3111 | 0.000000e+00 | 4.671700e+04 | Inf
690.62/690.63 c 691s|750000 |750001 |478481 | 0.6 | 857M| 235 | 0 |2375 |1880 |2375 | 412 | 36k| 0 |3130 | 0.000000e+00 | 4.671700e+04 | Inf
699.82/699.82 c 700s|760000 |760001 |482670 | 0.6 | 868M| 239 | 0 |2375 |1880 |2375 | 412 | 36k| 0 |3137 | 0.000000e+00 | 4.671700e+04 | Inf
708.91/708.99 c 709s|770000 |770001 |487801 | 0.6 | 880M| 239 | 0 |2375 |1880 |2375 | 414 | 37k| 0 |3177 | 0.000000e+00 | 4.671700e+04 | Inf
718.12/718.18 c 718s|780000 |780001 |492732 | 0.6 | 891M| 239 | 0 |2375 |1880 |2375 | 412 | 37k| 0 |3188 | 0.000000e+00 | 4.671700e+04 | Inf
727.32/727.38 c 727s|790000 |789997 |496820 | 0.6 | 903M| 239 | 3 |2375 |1882 |2375 | 408 | 38k| 2 |3202 | 0.000000e+00 | 4.671700e+04 | Inf
736.52/736.58 c 737s|800000 |799997 |501304 | 0.6 | 914M| 239 | 0 |2375 |1882 |2375 | 412 | 38k| 2 |3236 | 0.000000e+00 | 4.671700e+04 | Inf
745.72/745.80 c 746s|810000 |809997 |505524 | 0.6 | 925M| 239 | 0 |2375 |1882 |2375 | 412 | 38k| 2 |3248 | 0.000000e+00 | 4.671700e+04 | Inf
754.92/754.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
754.92/754.98 c 755s|820000 |819997 |509505 | 0.6 | 937M| 239 | 0 |2375 |1882 |2375 | 415 | 38k| 2 |3254 | 0.000000e+00 | 4.671700e+04 | Inf
764.12/764.19 c 764s|830000 |829997 |513182 | 0.6 | 948M| 239 | 0 |2375 |1882 |2375 | 412 | 39k| 2 |3258 | 0.000000e+00 | 4.671700e+04 | Inf
773.32/773.38 c 773s|840000 |839997 |517625 | 0.6 | 959M| 239 | 0 |2375 |1882 |2375 | 414 | 39k| 2 |3275 | 0.000000e+00 | 4.671700e+04 | Inf
782.52/782.59 c 783s|850000 |849997 |522381 | 0.6 | 971M| 239 | 0 |2375 |1882 |2375 | 415 | 40k| 2 |3319 | 0.000000e+00 | 4.671700e+04 | Inf
791.72/791.76 c 792s|860000 |859997 |526981 | 0.6 | 982M| 239 | 0 |2375 |1882 |2375 | 410 | 40k| 2 |3324 | 0.000000e+00 | 4.671700e+04 | Inf
800.82/800.87 c 801s|870000 |869997 |530677 | 0.6 | 994M| 239 | 0 |2375 |1882 |2375 | 411 | 41k| 2 |3324 | 0.000000e+00 | 4.671700e+04 | Inf
810.02/810.03 c 810s|880000 |879997 |536117 | 0.6 |1005M| 239 | 0 |2375 |1881 |2375 | 411 | 41k| 2 |3328 | 0.000000e+00 | 4.671700e+04 | Inf
819.22/819.29 c 819s|890000 |889993 |542692 | 0.6 |1016M| 239 | 0 |2375 |1883 |2375 | 412 | 42k| 4 |3381 | 0.000000e+00 | 4.671700e+04 | Inf
828.42/828.48 c 828s|900000 |899993 |547926 | 0.6 |1028M| 239 | 0 |2375 |1883 |2375 | 413 | 42k| 4 |3396 | 0.000000e+00 | 4.671700e+04 | Inf
837.62/837.64 c 838s|910000 |909993 |551874 | 0.6 |1039M| 239 | 0 |2375 |1883 |2375 | 409 | 43k| 4 |3403 | 0.000000e+00 | 4.671700e+04 | Inf
846.93/846.97 c 847s|920000 |919993 |556457 | 0.6 |1051M| 239 | 0 |2375 |1883 |2375 | 412 | 43k| 4 |3403 | 0.000000e+00 | 4.671700e+04 | Inf
856.22/856.20 c 856s|930000 |929993 |560423 | 0.6 |1062M| 239 | 0 |2375 |1883 |2375 | 414 | 43k| 4 |3409 | 0.000000e+00 | 4.671700e+04 | Inf
865.43/865.43 c 865s|940000 |939993 |564297 | 0.6 |1073M| 239 | 0 |2375 |1883 |2375 | 410 | 44k| 4 |3449 | 0.000000e+00 | 4.671700e+04 | Inf
874.63/874.66 c 875s|950000 |949993 |568808 | 0.6 |1085M| 239 | 2 |2375 |1883 |2375 | 412 | 44k| 4 |3454 | 0.000000e+00 | 4.671700e+04 | Inf
883.83/883.87 c 884s|960000 |959993 |573392 | 0.6 |1096M| 239 | 0 |2375 |1882 |2375 | 412 | 44k| 4 |3459 | 0.000000e+00 | 4.671700e+04 | Inf
893.02/893.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
893.02/893.03 c 893s|970000 |969993 |577319 | 0.6 |1107M| 239 | 0 |2375 |1882 |2375 | 414 | 45k| 4 |3467 | 0.000000e+00 | 4.671700e+04 | Inf
902.23/902.27 c 902s|980000 |979993 |582298 | 0.6 |1119M| 239 | 0 |2375 |1882 |2375 | 416 | 45k| 4 |3482 | 0.000000e+00 | 4.671700e+04 | Inf
911.52/911.56 c 912s|990000 |989993 |586993 | 0.6 |1130M| 239 | 0 |2375 |1882 |2375 | 414 | 45k| 4 |3560 | 0.000000e+00 | 4.671700e+04 | Inf
920.63/920.69 c 921s| 1000k|999993 |591131 | 0.6 |1141M| 239 | 0 |2375 |1882 |2375 | 413 | 46k| 4 |3568 | 0.000000e+00 | 4.671700e+04 | Inf
929.83/929.88 c 930s| 1010k| 1009k|595289 | 0.6 |1153M| 239 | 6 |2375 |1882 |2375 | 412 | 46k| 4 |3575 | 0.000000e+00 | 4.671700e+04 | Inf
939.02/939.09 c 939s| 1020k| 1019k|599782 | 0.6 |1164M| 239 | 1 |2375 |1882 |2375 | 409 | 46k| 4 |3577 | 0.000000e+00 | 4.671700e+04 | Inf
948.33/948.32 c 948s| 1030k| 1029k|603505 | 0.6 |1176M| 239 | 11 |2375 |1882 |2375 | 404 | 47k| 4 |3650 | 0.000000e+00 | 4.671700e+04 | Inf
957.53/957.54 c 958s| 1040k| 1039k|608121 | 0.6 |1187M| 239 | 0 |2375 |1882 |2375 | 414 | 47k| 4 |3652 | 0.000000e+00 | 4.671700e+04 | Inf
966.73/966.75 c 967s| 1050k| 1049k|611853 | 0.6 |1198M| 239 | 0 |2375 |1882 |2375 | 412 | 48k| 4 |3685 | 0.000000e+00 | 4.671700e+04 | Inf
975.83/975.86 c 976s| 1060k| 1059k|615583 | 0.6 |1210M| 239 | 0 |2375 |1882 |2375 | 413 | 48k| 4 |3694 | 0.000000e+00 | 4.671700e+04 | Inf
985.03/985.02 c 985s| 1070k| 1069k|620982 | 0.6 |1221M| 239 | 0 |2375 |1882 |2375 | 411 | 48k| 4 |3704 | 0.000000e+00 | 4.671700e+04 | Inf
994.23/994.23 c 994s| 1080k| 1079k|626777 | 0.6 |1232M| 239 | 0 |2375 |1882 |2375 | 413 | 49k| 4 |3738 | 0.000000e+00 | 4.671700e+04 | Inf
1003.43/1003.48 c 1003s| 1090k| 1089k|632409 | 0.6 |1244M| 239 | 0 |2375 |1882 |2375 | 415 | 49k| 4 |3760 | 0.000000e+00 | 4.671700e+04 | Inf
1012.73/1012.71 c 1013s| 1100k| 1099k|637794 | 0.6 |1255M| 239 | 0 |2375 |1882 |2375 | 414 | 50k| 4 |3772 | 0.000000e+00 | 4.671700e+04 | Inf
1021.84/1021.89 c 1022s| 1110k| 1109k|642090 | 0.6 |1267M| 239 | 0 |2375 |1882 |2375 | 412 | 50k| 4 |3772 | 0.000000e+00 | 4.671700e+04 | Inf
1031.13/1031.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1031.13/1031.11 c 1031s| 1120k| 1119k|647342 | 0.6 |1278M| 239 | 0 |2375 |1882 |2375 | 414 | 51k| 4 |3789 | 0.000000e+00 | 4.671700e+04 | Inf
1040.33/1040.34 c 1040s| 1130k| 1129k|653964 | 0.6 |1289M| 239 | 0 |2375 |1882 |2375 | 413 | 51k| 4 |3803 | 0.000000e+00 | 4.671700e+04 | Inf
1049.53/1049.55 c 1050s| 1140k| 1139k|659654 | 0.6 |1301M| 239 | 0 |2375 |1882 |2375 | 414 | 52k| 4 |3855 | 0.000000e+00 | 4.671700e+04 | Inf
1058.73/1058.79 c 1059s| 1150k| 1149k|666026 | 0.6 |1312M| 239 | 0 |2375 |1882 |2375 | 415 | 52k| 4 |3866 | 0.000000e+00 | 4.671700e+04 | Inf
1067.94/1067.99 c 1068s| 1160k| 1159k|672559 | 0.6 |1323M| 239 | 0 |2375 |1882 |2375 | 410 | 53k| 4 |3881 | 0.000000e+00 | 4.671700e+04 | Inf
1077.23/1077.26 c 1077s| 1170k| 1169k|678408 | 0.6 |1335M| 239 | 0 |2375 |1882 |2375 | 412 | 53k| 4 |3922 | 0.000000e+00 | 4.671700e+04 | Inf
1086.43/1086.49 c 1086s| 1180k| 1179k|683604 | 0.6 |1346M| 239 | 7 |2375 |1882 |2375 | 405 | 54k| 4 |3924 | 0.000000e+00 | 4.671700e+04 | Inf
1095.73/1095.74 c 1096s| 1190k| 1189k|689049 | 0.6 |1357M| 239 | 0 |2375 |1882 |2375 | 411 | 55k| 4 |3972 | 0.000000e+00 | 4.671700e+04 | Inf
1105.03/1105.03 c 1105s| 1200k| 1199k|695681 | 0.6 |1369M| 239 | 0 |2375 |1882 |2375 | 410 | 55k| 4 |3973 | 0.000000e+00 | 4.671700e+04 | Inf
1114.34/1114.33 c 1114s| 1210k| 1209k|702115 | 0.6 |1380M| 239 | 0 |2375 |1882 |2375 | 413 | 56k| 4 |4014 | 0.000000e+00 | 4.671700e+04 | Inf
1123.53/1123.58 c 1124s| 1220k| 1219k|708015 | 0.6 |1392M| 239 | 0 |2375 |1882 |2375 | 406 | 57k| 4 |4018 | 0.000000e+00 | 4.671700e+04 | Inf
1132.84/1132.81 c 1133s| 1230k| 1229k|713309 | 0.6 |1403M| 239 | 0 |2375 |1882 |2375 | 411 | 57k| 4 |4018 | 0.000000e+00 | 4.671700e+04 | Inf
1142.04/1142.02 c 1142s| 1240k| 1239k|719624 | 0.6 |1414M| 239 | 0 |2375 |1882 |2375 | 412 | 58k| 4 |4059 | 0.000000e+00 | 4.671700e+04 | Inf
1151.34/1151.37 c 1151s| 1250k| 1249k|727468 | 0.6 |1426M| 239 | 0 |2375 |1882 |2375 | 416 | 59k| 4 |4160 | 0.000000e+00 | 4.671700e+04 | Inf
1160.73/1160.74 c 1161s| 1260k| 1259k|735213 | 0.6 |1437M| 239 | 0 |2375 |1882 |2375 | 413 | 59k| 4 |4165 | 0.000000e+00 | 4.671700e+04 | Inf
1170.14/1170.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1170.14/1170.13 c 1170s| 1270k| 1269k|742898 | 0.6 |1449M| 239 | 0 |2375 |1882 |2375 | 414 | 60k| 4 |4165 | 0.000000e+00 | 4.671700e+04 | Inf
1179.54/1179.55 c 1180s| 1280k| 1279k|750482 | 0.6 |1460M| 239 | 0 |2375 |1882 |2375 | 415 | 61k| 4 |4214 | 0.000000e+00 | 4.671700e+04 | Inf
1188.94/1188.95 c 1189s| 1290k| 1289k|756106 | 0.6 |1471M| 239 | 0 |2375 |1882 |2375 | 415 | 62k| 4 |4223 | 0.000000e+00 | 4.671700e+04 | Inf
1198.23/1198.20 c 1198s| 1300k| 1299k|764706 | 0.6 |1483M| 239 | 0 |2375 |1882 |2375 | 415 | 63k| 4 |4225 | 0.000000e+00 | 4.671700e+04 | Inf
1207.54/1207.50 c 1207s| 1310k| 1309k|773344 | 0.6 |1494M| 239 | 0 |2375 |1882 |2375 | 414 | 64k| 4 |4272 | 0.000000e+00 | 4.671700e+04 | Inf
1216.74/1216.74 c 1217s| 1320k| 1319k|780845 | 0.6 |1506M| 239 | 0 |2375 |1882 |2375 | 415 | 64k| 4 |4291 | 0.000000e+00 | 4.671700e+04 | Inf
1225.94/1225.92 c 1226s| 1330k| 1329k|787013 | 0.6 |1517M| 239 | 0 |2375 |1882 |2375 | 410 | 65k| 4 |4291 | 0.000000e+00 | 4.671700e+04 | Inf
1235.04/1235.09 c 1235s| 1340k| 1339k|792103 | 0.6 |1528M| 239 | 0 |2375 |1882 |2375 | 411 | 65k| 4 |4294 | 0.000000e+00 | 4.671700e+04 | Inf
1244.34/1244.30 c 1244s| 1350k| 1349k|797155 | 0.6 |1540M| 239 | 0 |2375 |1882 |2375 | 410 | 65k| 4 |4335 | 0.000000e+00 | 4.671700e+04 | Inf
1253.44/1253.47 c 1253s| 1360k| 1359k|803231 | 0.6 |1551M| 239 | 0 |2375 |1882 |2375 | 412 | 66k| 4 |4352 | 0.000000e+00 | 4.671700e+04 | Inf
1262.64/1262.63 c 1263s| 1370k| 1369k|809365 | 0.6 |1562M| 239 | 0 |2375 |1882 |2375 | 412 | 66k| 4 |4356 | 0.000000e+00 | 4.671700e+04 | Inf
1271.84/1271.81 c 1272s| 1380k| 1379k|815587 | 0.6 |1574M| 239 | 0 |2375 |1882 |2375 | 414 | 67k| 4 |4358 | 0.000000e+00 | 4.671700e+04 | Inf
1281.24/1281.23 c 1281s| 1390k| 1389k|823585 | 0.6 |1585M| 239 | 0 |2375 |1882 |2375 | 414 | 68k| 4 |4424 | 0.000000e+00 | 4.671700e+04 | Inf
1290.44/1290.50 c 1290s| 1400k| 1399k|832485 | 0.6 |1597M| 239 | 0 |2375 |1882 |2375 | 417 | 68k| 4 |4438 | 0.000000e+00 | 4.671700e+04 | Inf
1299.84/1299.83 c 1300s| 1410k| 1409k|838335 | 0.6 |1608M| 239 | 0 |2375 |1882 |2375 | 413 | 69k| 4 |4440 | 0.000000e+00 | 4.671700e+04 | Inf
1309.24/1309.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1309.24/1309.21 c 1309s| 1420k| 1419k|844684 | 0.6 |1619M| 239 | 11 |2375 |1882 |2375 | 409 | 70k| 4 |4497 | 0.000000e+00 | 4.671700e+04 | Inf
1318.54/1318.54 c 1319s| 1430k| 1429k|850794 | 0.6 |1631M| 239 | 2 |2375 |1882 |2375 | 409 | 70k| 4 |4500 | 0.000000e+00 | 4.671700e+04 | Inf
1327.94/1327.91 c 1328s| 1440k| 1439k|857270 | 0.6 |1642M| 239 | 0 |2375 |1882 |2375 | 411 | 71k| 4 |4507 | 0.000000e+00 | 4.671700e+04 | Inf
1337.25/1337.26 c 1337s| 1450k| 1449k|862449 | 0.6 |1654M| 239 | 0 |2375 |1882 |2375 | 408 | 72k| 4 |4507 | 0.000000e+00 | 4.671700e+04 | Inf
1346.64/1346.65 c 1347s| 1460k| 1459k|869013 | 0.6 |1665M| 239 | 0 |2375 |1882 |2375 | 410 | 72k| 4 |4565 | 0.000000e+00 | 4.671700e+04 | Inf
1356.05/1356.03 c 1356s| 1470k| 1469k|875692 | 0.6 |1676M| 239 | 0 |2375 |1882 |2375 | 412 | 73k| 4 |4583 | 0.000000e+00 | 4.671700e+04 | Inf
1365.34/1365.37 c 1365s| 1480k| 1479k|882738 | 0.6 |1688M| 239 | 0 |2375 |1882 |2375 | 414 | 74k| 4 |4583 | 0.000000e+00 | 4.671700e+04 | Inf
1374.74/1374.75 c 1375s| 1490k| 1489k|890517 | 0.6 |1699M| 239 | 6 |2375 |1882 |2375 | 406 | 74k| 4 |4628 | 0.000000e+00 | 4.671700e+04 | Inf
1384.05/1384.09 c 1384s| 1500k| 1499k|897896 | 0.6 |1711M| 239 | 0 |2375 |1882 |2375 | 416 | 75k| 4 |4645 | 0.000000e+00 | 4.671700e+04 | Inf
1393.44/1393.43 c 1393s| 1510k| 1509k|903830 | 0.6 |1722M| 239 | 0 |2375 |1882 |2375 | 413 | 76k| 4 |4647 | 0.000000e+00 | 4.671700e+04 | Inf
1402.84/1402.83 c 1403s| 1520k| 1519k|910138 | 0.6 |1733M| 239 | 0 |2375 |1882 |2375 | 413 | 77k| 4 |4650 | 0.000000e+00 | 4.671700e+04 | Inf
1412.25/1412.24 c 1412s| 1530k| 1529k|916479 | 0.6 |1745M| 239 | 7 |2375 |1882 |2375 | 408 | 77k| 4 |4708 | 0.000000e+00 | 4.671700e+04 | Inf
1421.65/1421.62 c 1422s| 1540k| 1539k|922422 | 0.6 |1756M| 239 | 0 |2375 |1882 |2375 | 416 | 78k| 4 |4713 | 0.000000e+00 | 4.671700e+04 | Inf
1431.05/1431.01 c 1431s| 1550k| 1549k|928157 | 0.6 |1768M| 239 | 0 |2375 |1882 |2375 | 413 | 79k| 4 |4751 | 0.000000e+00 | 4.671700e+04 | Inf
1440.34/1440.38 c 1440s| 1560k| 1559k|932943 | 0.6 |1779M| 239 | 0 |2375 |1882 |2375 | 417 | 80k| 4 |4762 | 0.000000e+00 | 4.671700e+04 | Inf
1449.75/1449.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1449.75/1449.79 c 1450s| 1570k| 1569k|937964 | 0.6 |1790M| 239 | 0 |2375 |1882 |2375 | 411 | 80k| 4 |4800 | 0.000000e+00 | 4.671700e+04 | Inf
1459.15/1459.15 c 1459s| 1580k| 1579k|943115 | 0.6 |1802M| 239 | 0 |2375 |1882 |2375 | 413 | 81k| 4 |4820 | 0.000000e+00 | 4.671700e+04 | Inf
1468.55/1468.51 c 1468s| 1590k| 1589k|948583 | 0.6 |1813M| 239 | 7 |2375 |1882 |2375 | 406 | 82k| 4 |4838 | 0.000000e+00 | 4.671700e+04 | Inf
1477.95/1477.91 c 1478s| 1600k| 1599k|954126 | 0.6 |1824M| 239 | 0 |2375 |1882 |2375 | 413 | 82k| 4 |4845 | 0.000000e+00 | 4.671700e+04 | Inf
1487.26/1487.29 c 1487s| 1610k| 1609k|959085 | 0.6 |1836M| 239 | 0 |2375 |1881 |2375 | 413 | 83k| 4 |4847 | 0.000000e+00 | 4.671700e+04 | Inf
1496.64/1496.67 c 1497s| 1620k| 1619k|964453 | 0.6 |1847M| 239 | 0 |2375 |1882 |2375 | 416 | 84k| 5 |4894 | 0.000000e+00 | 4.671700e+04 | Inf
1506.05/1506.09 c 1506s| 1630k| 1629k|970185 | 0.6 |1859M| 239 | 0 |2375 |1882 |2375 | 413 | 84k| 5 |4910 | 0.000000e+00 | 4.671700e+04 | Inf
1515.45/1515.49 c 1515s| 1640k| 1639k|976504 | 0.6 |1870M| 239 | 0 |2375 |1882 |2375 | 411 | 85k| 5 |4911 | 0.000000e+00 | 4.671700e+04 | Inf
1524.85/1524.84 c 1525s| 1650k| 1649k|980880 | 0.6 |1881M| 239 | 0 |2375 |1882 |2375 | 415 | 86k| 5 |4912 | 0.000000e+00 | 4.671700e+04 | Inf
1534.16/1534.19 c 1534s| 1660k| 1659k|985525 | 0.6 |1893M| 239 | 0 |2375 |1882 |2375 | 414 | 87k| 5 |4919 | 0.000000e+00 | 4.671700e+04 | Inf
1543.65/1543.65 c 1544s| 1670k| 1669k|990667 | 0.6 |1904M| 239 | 0 |2375 |1883 |2375 | 413 | 87k| 6 |4964 | 0.000000e+00 | 4.671700e+04 | Inf
1553.06/1553.06 c 1553s| 1680k| 1679k|996187 | 0.6 |1915M| 239 | 0 |2375 |1882 |2375 | 412 | 88k| 6 |4971 | 0.000000e+00 | 4.671700e+04 | Inf
1562.35/1562.38 c 1562s| 1690k| 1689k| 1000k| 0.6 |1927M| 239 | 0 |2375 |1882 |2375 | 412 | 89k| 6 |4980 | 0.000000e+00 | 4.671700e+04 | Inf
1571.75/1571.78 c 1572s| 1700k| 1699k| 1006k| 0.6 |1938M| 239 | 0 |2375 |1883 |2375 | 412 | 89k| 7 |4985 | 0.000000e+00 | 4.671700e+04 | Inf
1581.16/1581.19 c 1581s| 1710k| 1709k| 1012k| 0.6 |1949M| 239 | 0 |2375 |1883 |2375 | 412 | 90k| 7 |5035 | 0.000000e+00 | 4.671700e+04 | Inf
1590.56/1590.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1590.56/1590.55 c 1591s| 1720k| 1719k| 1016k| 0.6 |1961M| 239 | 0 |2375 |1883 |2375 | 413 | 91k| 7 |5041 | 0.000000e+00 | 4.671700e+04 | Inf
1599.95/1599.91 c 1600s| 1730k| 1729k| 1022k| 0.6 |1972M| 239 | 0 |2375 |1883 |2375 | 413 | 91k| 7 |5062 | 0.000000e+00 | 4.671700e+04 | Inf
1609.15/1609.20 c 1609s| 1740k| 1739k| 1026k| 0.6 |1984M| 239 | 0 |2375 |1883 |2375 | 413 | 92k| 7 |5062 | 0.000000e+00 | 4.671700e+04 | Inf
1618.55/1618.52 c 1619s| 1750k| 1749k| 1030k| 0.6 |1995M| 239 | 10 |2375 |1882 |2375 | 408 | 92k| 7 |5062 | 0.000000e+00 | 4.671700e+04 | Inf
1627.75/1627.77 c 1628s| 1760k| 1759k| 1034k| 0.6 |2006M| 239 | 0 |2375 |1882 |2375 | 410 | 92k| 7 |5062 | 0.000000e+00 | 4.671700e+04 | Inf
1636.96/1636.95 c 1637s| 1770k| 1769k| 1037k| 0.6 |2018M| 239 | 0 |2375 |1882 |2375 | 410 | 92k| 7 |5082 | 0.000000e+00 | 4.671700e+04 | Inf
1646.06/1646.06 c 1646s| 1780k| 1779k| 1040k| 0.6 |2029M| 239 | 0 |2375 |1882 |2375 | 411 | 93k| 7 |5082 | 0.000000e+00 | 4.671700e+04 | Inf
1655.26/1655.22 c 1655s| 1790k| 1789k| 1043k| 0.6 |2040M| 239 | 0 |2375 |1882 |2375 | 413 | 93k| 7 |5099 | 0.000000e+00 | 4.671700e+04 | Inf
1664.46/1664.48 c 1664s| 1800k| 1799k| 1046k| 0.6 |2052M| 239 | 0 |2375 |1882 |2375 | 413 | 93k| 7 |5099 | 0.000000e+00 | 4.671700e+04 | Inf
1673.75/1673.79 c 1674s| 1810k| 1809k| 1052k| 0.6 |2063M| 239 | 0 |2375 |1883 |2375 | 414 | 94k| 8 |5131 | 0.000000e+00 | 4.671700e+04 | Inf
1683.16/1683.16 c 1683s| 1820k| 1819k| 1057k| 0.6 |2074M| 239 | 0 |2375 |1883 |2375 | 412 | 94k| 8 |5137 | 0.000000e+00 | 4.671700e+04 | Inf
1692.55/1692.57 c 1693s| 1830k| 1829k| 1063k| 0.6 |2086M| 239 | 0 |2375 |1883 |2375 | 415 | 95k| 8 |5180 | 0.000000e+00 | 4.671700e+04 | Inf
1701.96/1701.97 c 1702s| 1840k| 1839k| 1068k| 0.6 |2097M| 239 | 0 |2375 |1883 |2375 | 413 | 96k| 8 |5193 | 0.000000e+00 | 4.671700e+04 | Inf
1711.26/1711.29 c 1711s| 1850k| 1849k| 1074k| 0.6 |2108M| 239 | 0 |2375 |1883 |2375 | 414 | 96k| 8 |5204 | 0.000000e+00 | 4.671700e+04 | Inf
1720.65/1720.60 c 1721s| 1860k| 1859k| 1079k| 0.6 |2120M| 239 | 0 |2375 |1883 |2375 | 414 | 97k| 8 |5211 | 0.000000e+00 | 4.671700e+04 | Inf
1729.95/1729.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1729.95/1729.93 c 1730s| 1870k| 1869k| 1084k| 0.6 |2131M| 239 | 0 |2375 |1883 |2375 | 414 | 97k| 8 |5287 | 0.000000e+00 | 4.671700e+04 | Inf
1739.36/1739.38 c 1739s| 1880k| 1879k| 1088k| 0.6 |2143M| 239 | 0 |2375 |1883 |2375 | 415 | 97k| 8 |5493 | 0.000000e+00 | 4.671700e+04 | Inf
1748.96/1748.98 c 1749s| 1890k| 1889k| 1093k| 0.6 |2154M| 239 | 0 |2375 |1883 |2375 | 414 | 99k| 8 |5562 | 0.000000e+00 | 4.671700e+04 | Inf
1758.56/1758.50 c 1758s| 1900k| 1899k| 1099k| 0.6 |2165M| 239 | 0 |2375 |1883 |2375 | 418 | 100k| 8 |5586 | 0.000000e+00 | 4.671700e+04 | Inf
1768.16/1768.12 c 1768s| 1910k| 1909k| 1106k| 0.6 |2177M| 239 | 0 |2375 |1883 |2375 | 419 | 101k| 8 |5656 | 0.000000e+00 | 4.671700e+04 | Inf
1777.67/1777.64 c 1778s| 1920k| 1919k| 1112k| 0.6 |2188M| 239 | 0 |2375 |1883 |2375 | 419 | 102k| 8 |5666 | 0.000000e+00 | 4.671700e+04 | Inf
1787.16/1787.16 c 1787s| 1930k| 1929k| 1118k| 0.6 |2200M| 239 | 0 |2375 |1883 |2375 | 420 | 103k| 8 |5667 | 0.000000e+00 | 4.671700e+04 | Inf
1790.06/1790.00 c
1790.06/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1790.06/1790.00 c Solving Time (sec) : 1789.99
1790.06/1790.00 c Solving Nodes : 1932982
1790.06/1790.00 c Primal Bound : +4.67170000000000e+04 (103 solutions)
1790.06/1790.00 c Dual Bound : +0.00000000000000e+00
1790.06/1790.00 c Gap : infinite
1790.06/1790.02 s SATISFIABLE
1790.06/1790.02 v -x495 x494 x493 x492 x491 x490 x489 -x488 x487 x486 -x485 x484 x483 -x482 -x481 -x480 x479 x478 x477 -x476 x475 x474 -x473 x472
1790.06/1790.02 v -x471 -x470 -x469 -x468 x467 x466 -x465 -x464 -x463 -x462 x461 x460 -x459 x458 -x457 x456 x455 x454 -x453 -x452 -x451 x450 x449
1790.06/1790.02 v x448 -x447 x446 x445 x444 x443 x442 x441 x440 x439 x438 -x437 x436 -x435 -x434 -x433 -x432 x431 x430 -x429 -x428 -x427 -x426
1790.06/1790.02 v x425 x424 x423 -x422 x421 -x420 x419 x418 x417 x416 x415 x414 x413 x412 -x411 -x410 -x409 x408 x407 x406 x405 -x404 -x403
1790.06/1790.02 v -x402 x401 x400 x399 -x398 x397 x396 x395 -x394 -x393 -x392 -x391 -x390 x389 x388 -x387 -x386 -x385 -x384 x383 x382 -x381 x380
1790.06/1790.02 v x379 x378 -x377 x376 -x375 x374 x373 -x372 -x371 x370 x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358
1790.06/1790.02 v -x357 -x356 -x355 -x354 x353 -x352 -x351 x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337
1790.06/1790.02 v -x336 -x335 -x334 -x333 -x332 -x331 x330 -x329 -x328 -x327 -x326 -x325 x324 x323 -x322 x321 -x320 -x319 -x318 -x317 -x316 -x315
1790.06/1790.02 v x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 x296 -x295 -x294
1790.06/1790.02 v x293 -x292 -x291 -x290 x289 -x288 -x287 -x286 -x285 -x284 -x283 x282 x281 -x280 -x279 x278 -x277 -x276 -x275 -x274 x273 -x272
1790.06/1790.02 v -x271 -x270 -x269 x268 -x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 x252 -x251
1790.06/1790.02 v -x250 -x249 -x248 -x247 -x246 x245 x244 -x243 -x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 -x233 x232 x231 -x230 -x229
1790.06/1790.02 v -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 x215 x214 -x213 -x212 -x211 x210 -x209 -x208 -x207
1790.06/1790.02 v -x206 x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 x193 x192 -x191 -x190 -x189 x188 x187 x186 -x185
1790.06/1790.02 v -x184 x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 x167 -x166 -x165 x164
1790.06/1790.02 v x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 x149 x148 x147 -x146 x145 -x144 -x143 -x142
1790.06/1790.02 v -x141 -x140 x139 x138 x137 x136 x135 x134 x133 x132 -x131 x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119
1790.06/1790.02 v -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106 x105 x104 -x103 -x102 -x101 x100 x99 -x98 -x97
1790.06/1790.02 v -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 -x87 -x86 x85 -x84 -x83 x82 -x81 -x80 -x79 x78 -x77 x76 -x75 -x74 -x73 x72 -x71
1790.06/1790.02 v -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 x50 -x49 -x48 -x47 -x46 -x45
1790.06/1790.02 v -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20
1790.06/1790.02 v x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 x3 -x2 x1
1790.06/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1790.06/1790.02 c Solving Time : 1789.99
1790.06/1790.02 c Original Problem :
1790.06/1790.02 c Problem name : HOME/instance-2705189-1278578352.wbo
1790.06/1790.02 c Variables : 2375 (1435 binary, 0 integer, 940 implicit integer, 0 continuous)
1790.06/1790.02 c Constraints : 1881 initial, 1881 maximal
1790.06/1790.02 c Presolved Problem :
1790.06/1790.02 c Problem name : t_HOME/instance-2705189-1278578352.wbo
1790.06/1790.02 c Variables : 2375 (1435 binary, 0 integer, 940 implicit integer, 0 continuous)
1790.06/1790.02 c Constraints : 1880 initial, 1883 maximal
1790.06/1790.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.06/1790.02 c trivial : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.02 c dualfix : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.02 c implics : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.02 c probing : 0.02 0 0 0 0 0 0 0 0
1790.06/1790.02 c varbound : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.02 c linear : 0.02 0 0 0 940 0 1 70 140
1790.06/1790.02 c indicator : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.02 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.06/1790.02 c root node : - 0 - - 0 - - - -
1790.06/1790.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.06/1790.02 c integral : 0 0 0 1970794 0 0 0 0 0 646934
1790.06/1790.02 c varbound : 1 6 1540783 617816 0 0 16045 1 0 0
1790.06/1790.02 c linear : 939 6 3355477 1647327 0 8 1429216 103376 0 0
1790.06/1790.02 c indicator : 940 0 3355469 1647327 0 0 579160 0 0 0
1790.06/1790.02 c bounddisjunction : 0+ 0 23517 0 0 0 3307 0 0 0
1790.06/1790.02 c countsols : 0 0 0 1609507 0 0 0 0 0 0
1790.06/1790.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.06/1790.02 c integral : 10.81 0.00 0.00 10.81 0.00
1790.06/1790.02 c varbound : 0.48 0.00 0.36 0.12 0.00
1790.06/1790.02 c linear : 156.74 0.00 26.42 130.32 0.00
1790.06/1790.02 c indicator : 145.99 0.04 55.68 90.27 0.00
1790.06/1790.02 c bounddisjunction : 0.03 0.00 0.03 0.00 0.00
1790.06/1790.02 c countsols : 0.22 0.00 0.00 0.22 0.00
1790.06/1790.02 c Propagators : Time Calls Cutoffs DomReds
1790.06/1790.02 c vbounds : 7.50 490367 0 308179
1790.06/1790.02 c rootredcost : 0.61 1 0 0
1790.06/1790.02 c pseudoobj : 55.07 3355277 0 0
1790.06/1790.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.06/1790.02 c propagation : 0.00 8 8 8 11.8 0 0.0 -
1790.06/1790.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.06/1790.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.06/1790.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.06/1790.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.06/1790.02 c applied globally : - - - 8 11.8 - - -
1790.06/1790.02 c applied locally : - - - 0 0.0 - - -
1790.06/1790.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.06/1790.02 c cut pool : 0.00 4 - - 208 - (maximal pool size: 746)
1790.06/1790.02 c redcost : 102.89 1970798 0 0 0 0
1790.06/1790.02 c impliedbounds : 0.00 5 0 0 0 0
1790.06/1790.02 c intobj : 0.00 0 0 0 0 0
1790.06/1790.02 c cgmip : 0.00 0 0 0 0 0
1790.06/1790.02 c gomory : 0.02 5 0 0 78 0
1790.06/1790.02 c strongcg : 0.02 5 0 0 101 0
1790.06/1790.02 c cmir : 0.08 5 0 0 418 0
1790.06/1790.02 c flowcover : 0.12 5 0 0 721 0
1790.06/1790.02 c clique : 0.00 1 0 0 0 0
1790.06/1790.02 c zerohalf : 0.00 0 0 0 0 0
1790.06/1790.02 c mcf : 0.00 1 0 0 0 0
1790.06/1790.02 c rapidlearning : 0.08 1 0 0 0 0
1790.06/1790.02 c Pricers : Time Calls Vars
1790.06/1790.02 c problem variables: 0.00 0 0
1790.06/1790.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.06/1790.02 c relpscost : 10.17 323467 0 0 0 0 646934
1790.06/1790.02 c pscost : 0.00 0 0 0 0 0 0
1790.06/1790.02 c inference : 233.23 1609507 0 0 0 0 3219014
1790.06/1790.02 c mostinf : 0.00 0 0 0 0 0 0
1790.06/1790.02 c leastinf : 0.00 0 0 0 0 0 0
1790.06/1790.02 c fullstrong : 0.00 0 0 0 0 0 0
1790.06/1790.02 c allfullstrong : 0.00 0 0 0 0 0 0
1790.06/1790.02 c random : 0.00 0 0 0 0 0 0
1790.06/1790.02 c Primal Heuristics : Time Calls Found
1790.06/1790.02 c LP solutions : 0.00 - 0
1790.06/1790.02 c pseudo solutions : 0.00 - 0
1790.06/1790.02 c intshifting : 0.01 0 0
1790.06/1790.02 c feaspump : 0.01 0 0
1790.06/1790.02 c oneopt : 0.41 1 0
1790.06/1790.02 c crossover : 0.61 13 0
1790.06/1790.02 c coefdiving : 12.39 16110 0
1790.06/1790.02 c pscostdiving : 12.34 16110 0
1790.06/1790.02 c fracdiving : 12.25 16110 0
1790.06/1790.02 c linesearchdiving : 12.27 16110 0
1790.06/1790.02 c guideddiving : 12.01 16110 0
1790.06/1790.02 c veclendiving : 12.05 16111 0
1790.06/1790.02 c objpscostdiving : 11.55 14756 0
1790.06/1790.02 c rootsoldiving : 12.47 15666 0
1790.06/1790.02 c trivial : 0.01 2 2
1790.06/1790.02 c simplerounding : 0.77 313219 0
1790.06/1790.02 c zirounding : 0.38 1000 0
1790.06/1790.02 c rounding : 0.52 7881 0
1790.06/1790.02 c shifting : 0.60 2504 0
1790.06/1790.02 c twoopt : 0.00 0 0
1790.06/1790.02 c fixandinfer : 0.00 0 0
1790.06/1790.02 c intdiving : 0.00 0 0
1790.06/1790.02 c actconsdiving : 0.00 0 0
1790.06/1790.02 c octane : 0.00 0 0
1790.06/1790.02 c rens : 0.02 1 0
1790.06/1790.02 c rins : 0.00 0 0
1790.06/1790.02 c localbranching : 0.00 0 0
1790.06/1790.02 c mutation : 0.00 0 0
1790.06/1790.02 c dins : 0.00 0 0
1790.06/1790.02 c undercover : 0.00 0 0
1790.06/1790.02 c nlp : 0.26 0 0
1790.06/1790.02 c trysol : 0.56 16430 101
1790.06/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec
1790.06/1790.02 c primal LP : 0.00 0 0 0.00 -
1790.06/1790.02 c dual LP : 640.38 391882 1104861 2.82 1725.31
1790.06/1790.02 c lex dual LP : 0.00 0 0 0.00 -
1790.06/1790.02 c barrier LP : 0.00 0 0 0.00 -
1790.06/1790.02 c diving/probing LP: 2.23 3646 15253 4.18 6845.86
1790.06/1790.02 c strong branching : 8.29 5667 77693 13.71 9376.63
1790.06/1790.02 c (at root node) : - 33 3829 116.03 -
1790.06/1790.02 c conflict analysis: 0.00 0 0 0.00 -
1790.06/1790.02 c B&B Tree :
1790.06/1790.02 c number of runs : 1
1790.06/1790.02 c nodes : 1932982
1790.06/1790.02 c nodes (total) : 1932982
1790.06/1790.02 c nodes left : 1932967
1790.06/1790.02 c max depth : 239
1790.06/1790.02 c max depth (total): 239
1790.06/1790.02 c backtracks : 16337 (0.8%)
1790.06/1790.02 c delayed cutoffs : 0
1790.06/1790.02 c repropagations : 112 (15 domain reductions, 0 cutoffs)
1790.06/1790.02 c avg switch length: 2.11
1790.06/1790.02 c switching time : 46.71
1790.06/1790.02 c Solution :
1790.06/1790.02 c Solutions found : 103 (2 improvements)
1790.06/1790.02 c First Solution : +4.68140000000000e+04 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1790.06/1790.02 c Primal Bound : +4.67170000000000e+04 (in run 1, after 1198 nodes, 8.76 seconds, depth 128, found by <trysol>)
1790.06/1790.02 c Dual Bound : +0.00000000000000e+00
1790.06/1790.02 c Gap : infinite
1790.06/1790.02 c Root Dual Bound : +0.00000000000000e+00
1790.06/1790.02 c Root Iterations : 728
1792.76/1792.79 c Time complete: 1792.85.
OK 2712
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705189-1278578352/watcher-2705189-1278578352 -o /tmp/evaluation-result-2705189-1278578352/solver-2705189-1278578352 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705189-1278578352.wbo -t 1800 -m 3800 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.96 4/178 24367 /proc/meminfo: memFree=28821504/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=12336 CPUtime=0 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 1923 0 0 0 0 0 0 0 21 0 1 0 26047769 12632064 1841 4089446400 4194304 10345943 140733997875344 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/24367/statm: 3084 1841 429 1502 0 1577 0 [startup+0.01675 s] /proc/loadavg: 2.00 2.00 1.96 4/178 24367 /proc/meminfo: memFree=28821504/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=15556 CPUtime=0.01 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 2746 0 0 0 1 0 0 0 21 0 1 0 26047769 15929344 2664 4089446400 4194304 10345943 140733997875344 18446744073709551615 9083712 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/24367/statm: 3889 2664 429 1502 0 2382 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 15556 [startup+0.100741 s] /proc/loadavg: 2.00 2.00 1.96 4/178 24367 /proc/meminfo: memFree=28821504/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=42788 CPUtime=0.09 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 9528 0 0 0 9 0 0 0 21 0 1 0 26047769 43814912 9092 4089446400 4194304 10345943 140733997875344 18446744073709551615 9134708 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/24367/statm: 10697 9092 637 1502 0 9190 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 42788 [startup+0.300697 s] /proc/loadavg: 2.00 2.00 1.96 4/178 24367 /proc/meminfo: memFree=28821504/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=38992 CPUtime=0.29 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 9650 0 0 0 29 0 0 0 21 0 1 0 26047769 39927808 8538 4089446400 4194304 10345943 140733997875344 18446744073709551615 5823712 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/24367/statm: 9748 8538 743 1502 0 8241 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 38992 [startup+0.700619 s] /proc/loadavg: 2.00 2.00 1.96 4/178 24367 /proc/meminfo: memFree=28821504/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=38992 CPUtime=0.69 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 10990 0 0 0 68 1 0 0 22 0 1 0 26047769 39927808 8577 4089446400 4194304 10345943 140733997875344 18446744073709551615 7569440 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/24367/statm: 9748 8577 752 1502 0 8241 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38992 [startup+1.50048 s] /proc/loadavg: 2.00 2.00 1.96 3/179 24368 /proc/meminfo: memFree=28789380/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=38992 CPUtime=1.49 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 10997 0 0 0 148 1 0 0 25 0 1 0 26047769 39927808 8584 4089446400 4194304 10345943 140733997875344 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/24367/statm: 9748 8584 759 1502 0 8241 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 38992 [startup+3.1002 s] /proc/loadavg: 2.00 2.00 1.96 2/177 24369 /proc/meminfo: memFree=29788712/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=38992 CPUtime=3.09 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 10997 0 0 0 307 2 0 0 25 0 1 0 26047769 39927808 8584 4089446400 4194304 10345943 140733997875344 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0 /proc/24367/statm: 9748 8584 759 1502 0 8241 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 38992 [startup+6.30054 s] /proc/loadavg: 1.92 1.98 1.95 3/179 24396 /proc/meminfo: memFree=29723312/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=38992 CPUtime=6.29 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 10998 0 0 0 624 5 0 0 25 0 1 0 26047769 39927808 8585 4089446400 4194304 10345943 140733997875344 18446744073709551615 6864645 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 9748 8585 760 1502 0 8241 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 38992 [startup+12.7003 s] /proc/loadavg: 1.93 1.98 1.95 3/179 24396 /proc/meminfo: memFree=29714248/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=48360 CPUtime=12.69 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 14659 0 0 0 1261 8 0 0 25 0 1 0 26047769 49520640 10957 4089446400 4194304 10345943 140733997875344 18446744073709551615 6702728 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 12090 10957 762 1502 0 10583 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48360 [startup+25.5009 s] /proc/loadavg: 1.94 1.98 1.95 3/179 24397 /proc/meminfo: memFree=29699816/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=58204 CPUtime=25.49 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 22153 0 0 0 2535 14 0 0 25 0 1 0 26047769 59600896 12971 4089446400 4194304 10345943 140733997875344 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 14551 12971 762 1502 0 13044 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 58204 [startup+51.101 s] /proc/loadavg: 2.04 2.00 1.96 3/179 24397 /proc/meminfo: memFree=29659228/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=91796 CPUtime=51.09 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 33207 0 0 0 5084 25 0 0 25 0 1 0 26047769 93999104 20916 4089446400 4194304 10345943 140733997875344 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 22949 20916 762 1502 0 21442 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 91796 [startup+102.306 s] /proc/loadavg: 2.06 2.01 1.96 3/179 24399 /proc/meminfo: memFree=29558752/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=155844 CPUtime=102.3 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 54868 0 0 0 10195 35 0 0 25 0 1 0 26047769 159584256 37270 4089446400 4194304 10345943 140733997875344 18446744073709551615 6119630 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 38961 37270 762 1502 0 37454 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 155844 [startup+162.301 s] /proc/loadavg: 2.02 2.01 1.96 3/179 24400 /proc/meminfo: memFree=29445040/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=230836 CPUtime=162.29 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 73460 0 0 0 16187 42 0 0 25 0 1 0 26047769 236376064 55862 4089446400 4194304 10345943 140733997875344 18446744073709551615 5926409 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 57709 55862 762 1502 0 56202 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 230836 [startup+222.301 s] /proc/loadavg: 2.01 2.00 1.96 3/179 24402 /proc/meminfo: memFree=29327428/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=309284 CPUtime=222.3 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 95021 0 0 0 22179 51 0 0 25 0 1 0 26047769 316706816 74879 4089446400 4194304 10345943 140733997875344 18446744073709551615 4605842 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 77321 74879 762 1502 0 75814 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 309284 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.96 3/179 24403 /proc/meminfo: memFree=29217008/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=382560 CPUtime=282.3 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 113221 0 0 0 28171 59 0 0 25 0 1 0 26047769 391741440 93079 4089446400 4194304 10345943 140733997875344 18446744073709551615 6003044 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 95640 93079 762 1502 0 94133 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 382560 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.96 3/179 24405 /proc/meminfo: memFree=29100504/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=457756 CPUtime=342.31 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 132077 0 0 0 34161 70 0 0 25 0 1 0 26047769 468742144 111935 4089446400 4194304 10345943 140733997875344 18446744073709551615 6802942 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 114439 111935 762 1502 0 112932 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 457756 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.96 3/179 24407 /proc/meminfo: memFree=28987488/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=529264 CPUtime=402.3 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 153051 0 0 0 40151 79 0 0 25 0 1 0 26047769 541966336 130364 4089446400 4194304 10345943 140733997875344 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 132316 130364 762 1502 0 130809 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 529264 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.96 3/179 24408 /proc/meminfo: memFree=28868264/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=614788 CPUtime=462.31 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 172340 0 0 0 46141 90 0 0 25 0 1 0 26047769 629542912 149653 4089446400 4194304 10345943 140733997875344 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 153697 149653 762 1502 0 152190 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 614788 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 24410 /proc/meminfo: memFree=28756976/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=689532 CPUtime=522.31 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 190877 0 0 0 52133 98 0 0 25 0 1 0 26047769 706080768 168188 4089446400 4194304 10345943 140733997875344 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 172383 168188 762 1502 0 170876 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 689532 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.96 3/179 24411 /proc/meminfo: memFree=28640712/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=763128 CPUtime=582.31 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 209450 0 0 0 58123 108 0 0 25 0 1 0 26047769 781443072 186761 4089446400 4194304 10345943 140733997875344 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 190782 186761 762 1502 0 189275 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 763128 [startup+642.3 s] /proc/loadavg: 2.00 2.00 1.96 3/179 24413 /proc/meminfo: memFree=28526440/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=835040 CPUtime=642.32 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 227470 0 0 0 64114 118 0 0 25 0 1 0 26047769 855080960 204780 4089446400 4194304 10345943 140733997875344 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 208760 204780 762 1502 0 207253 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 835040 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=27715668/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=1374372 CPUtime=1062.33 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 359983 0 0 0 106052 181 0 0 25 0 1 0 26047769 1407356928 334742 4089446400 4194304 10345943 140733997875344 18446744073709551615 5012706 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 343593 334742 769 1502 0 342086 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 1374372 [startup+1122.3 s] /proc/loadavg: 2.07 2.02 1.97 3/179 24426 /proc/meminfo: memFree=27599796/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=1448232 CPUtime=1122.33 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 378418 0 0 0 112042 191 0 0 25 0 1 0 26047769 1482989568 353177 4089446400 4194304 10345943 140733997875344 18446744073709551615 6777380 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 362058 353177 769 1502 0 360551 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1448232 [startup+1182.3 s] /proc/loadavg: 2.02 2.01 1.97 3/179 24427 /proc/meminfo: memFree=27489116/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=1521152 CPUtime=1182.34 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 396400 0 0 0 118033 201 0 0 25 0 1 0 26047769 1557659648 371159 4089446400 4194304 10345943 140733997875344 18446744073709551615 5012568 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 380288 371159 769 1502 0 378781 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 1521152 [startup+1242.3 s] /proc/loadavg: 2.01 2.00 1.97 3/179 24429 /proc/meminfo: memFree=27374240/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=1593016 CPUtime=1242.34 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 414252 0 0 0 124020 214 0 0 25 0 1 0 26047769 1631248384 389011 4089446400 4194304 10345943 140733997875344 18446744073709551615 6518887 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 398254 389011 769 1502 0 396747 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 1593016 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.97 3/179 24431 /proc/meminfo: memFree=27255772/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=1667624 CPUtime=1302.35 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 433109 0 0 0 130008 227 0 0 25 0 1 0 26047769 1707646976 407868 4089446400 4194304 10345943 140733997875344 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 416906 407868 769 1502 0 415399 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 1667624 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.97 3/179 24441 /proc/meminfo: memFree=27140616/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=1739940 CPUtime=1362.35 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 451001 0 0 0 135997 238 0 0 25 0 1 0 26047769 1781698560 425760 4089446400 4194304 10345943 140733997875344 18446744073709551615 6119433 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 434985 425760 769 1502 0 433478 0 Current children cumulated CPU time (s) 1362.35 Current children cumulated vsize (KiB) 1739940 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.97 3/179 24443 /proc/meminfo: memFree=27027592/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=1810516 CPUtime=1422.35 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 468874 0 0 0 141985 250 0 0 25 0 1 0 26047769 1853968384 443633 4089446400 4194304 10345943 140733997875344 18446744073709551615 8160361 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 452629 443633 769 1502 0 451122 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 1810516 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.97 3/179 24444 /proc/meminfo: memFree=26914820/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=1884368 CPUtime=1482.35 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 487281 0 0 0 147975 260 0 0 25 0 1 0 26047769 1929592832 462040 4089446400 4194304 10345943 140733997875344 18446744073709551615 4695997 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 471092 462040 769 1502 0 469585 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 1884368 [startup+1542.3 s] /proc/loadavg: 2.07 2.02 1.97 3/179 24446 /proc/meminfo: memFree=26797940/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=1955824 CPUtime=1542.35 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 508336 0 0 0 153964 271 0 0 25 0 1 0 26047769 2002763776 480487 4089446400 4194304 10345943 140733997875344 18446744073709551615 6785408 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 488956 480487 769 1502 0 487449 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 1955824 [startup+1602.3 s] /proc/loadavg: 2.03 2.01 1.97 3/179 24448 /proc/meminfo: memFree=26684304/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=2027212 CPUtime=1602.35 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 526391 0 0 0 159953 282 0 0 25 0 1 0 26047769 2075865088 498542 4089446400 4194304 10345943 140733997875344 18446744073709551615 4749694 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 506803 498542 769 1502 0 505296 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 2027212 [startup+1662.3 s] /proc/loadavg: 2.04 2.02 1.98 3/179 24449 /proc/meminfo: memFree=26568444/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=2099584 CPUtime=1662.35 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 544677 0 0 0 165945 290 0 0 25 0 1 0 26047769 2149974016 516828 4089446400 4194304 10345943 140733997875344 18446744073709551615 6528246 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 524896 516828 769 1502 0 523389 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 2099584 [startup+1722.3 s] /proc/loadavg: 2.02 2.02 1.98 3/179 24451 /proc/meminfo: memFree=26449104/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=2175004 CPUtime=1722.36 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 563363 0 0 0 171935 301 0 0 25 0 1 0 26047769 2227204096 535514 4089446400 4194304 10345943 140733997875344 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 543751 535514 769 1502 0 542244 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 2175004 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 1.98 3/179 24452 /proc/meminfo: memFree=26337088/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=2245020 CPUtime=1782.36 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 580786 0 0 0 177925 311 0 0 25 0 1 0 26047769 2298900480 552937 4089446400 4194304 10345943 140733997875344 18446744073709551615 4749665 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 561255 552937 769 1502 0 559748 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 2245020 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.01 1.98 3/179 24452 /proc/meminfo: memFree=26330764/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=2248224 CPUtime=1785.56 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 581735 0 0 0 178245 311 0 0 25 0 1 0 26047769 2302181376 553886 4089446400 4194304 10345943 140733997875344 18446744073709551615 4796486 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 562056 553886 769 1502 0 560549 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (KiB) 2248224 [startup+1788.7 s] /proc/loadavg: 2.00 2.01 1.98 3/179 24453 /proc/meminfo: memFree=26323196/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=2253176 CPUtime=1788.76 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 582935 0 0 0 178564 312 0 0 25 0 1 0 26047769 2307252224 555086 4089446400 4194304 10345943 140733997875344 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/24367/statm: 563294 555086 769 1502 0 561787 0 Current children cumulated CPU time (s) 1788.76 Current children cumulated vsize (KiB) 2253176 [startup+1790.3 s] /proc/loadavg: 2.00 2.01 1.98 3/179 24453 /proc/meminfo: memFree=26322576/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=2254048 CPUtime=1790.36 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 583169 0 0 0 178724 312 0 0 18 0 1 0 26047769 2308145152 555320 4089446400 4194304 10345943 140733997875344 18446744073709551615 6325130 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/24367/statm: 563512 555320 773 1502 0 562005 0 Current children cumulated CPU time (s) 1790.36 Current children cumulated vsize (KiB) 2254048 [startup+1791.91 s] /proc/loadavg: 2.00 2.01 1.98 3/179 24453 /proc/meminfo: memFree=26321456/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=2254048 CPUtime=1791.96 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 583169 0 0 0 178884 312 0 0 20 0 1 0 26047769 2308145152 555320 4089446400 4194304 10345943 140733997875344 18446744073709551615 6325130 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/24367/statm: 563512 555320 773 1502 0 562005 0 Current children cumulated CPU time (s) 1791.96 Current children cumulated vsize (KiB) 2254048 [startup+1792.3 s] /proc/loadavg: 2.00 2.01 1.98 3/179 24453 /proc/meminfo: memFree=26321456/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=2254048 CPUtime=1792.36 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 583169 0 0 0 178924 312 0 0 21 0 1 0 26047769 2308145152 555320 4089446400 4194304 10345943 140733997875344 18446744073709551615 6325102 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/24367/statm: 563512 555320 773 1502 0 562005 0 Current children cumulated CPU time (s) 1792.36 Current children cumulated vsize (KiB) 2254048 [startup+1792.7 s] /proc/loadavg: 2.00 2.01 1.98 3/179 24453 /proc/meminfo: memFree=26321456/32950928 swapFree=67111528/67111528 [pid=24367] ppid=24365 vsize=2254048 CPUtime=1792.76 /proc/24367/stat : 24367 (pbscip.linux.x8) R 24365 24367 23924 0 -1 4202496 583169 0 0 0 178964 312 0 0 23 0 1 0 26047769 2308145152 555320 4089446400 4194304 10345943 140733997875344 18446744073709551615 6325130 0 0 4096 0 0 0 0 17 7 0 0 0 /proc/24367/statm: 563512 555320 773 1502 0 562005 0 Current children cumulated CPU time (s) 1792.76 Current children cumulated vsize (KiB) 2254048 Child status: 0 Real time (s): 1792.79 CPU time (s): 1792.86 CPU user time (s): 1789.66 CPU system time (s): 3.20551 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 2254048 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.66 system time used= 3.20551 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 583172 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= 2 involuntary context switches= 940 runsolver used 3.19551 second user time and 6.09907 second system time The end
Begin job on node148 at 2010-07-08 10:39:12 IDJOB=2705189 IDBENCH=79317 IDSOLVER=1214 FILE ID=node148/2705189-1278578352 PBS_JOBID= 11240159 Free space on /tmp= 73712 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-44s.smv--soft-0-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705189-1278578352/watcher-2705189-1278578352 -o /tmp/evaluation-result-2705189-1278578352/solver-2705189-1278578352 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705189-1278578352.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4d1622885c2ebb9b79c07237f88a35bc RANDOM SEED=1071258226 node148.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.825 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 28822280 kB Buffers: 165208 kB Cached: 2734372 kB SwapCached: 0 kB Active: 2062160 kB Inactive: 1899200 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 28822280 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 12876 kB Writeback: 0 kB AnonPages: 1061960 kB Mapped: 17384 kB Slab: 100732 kB PageTables: 6776 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1213732 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73700 MiB End job on node148 at 2010-07-08 11:09:05