| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | ? | 1792.11 | 1792.67 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb |
| MD5SUM | 8c486f10dc9ea0956b38d79189648654 |
| Bench Category | DEC-SMALLINT (no optimisation, small integers) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 786.704 |
| Has Objective Function | NO |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 109757 |
| Total number of constraints | 313451 |
| Number of constraints which are clauses | 295929 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 17522 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 15 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 130 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 512 |
| Number of bits of the biggest sum of numbers | 10 |
| 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: SoPlex 1.4.2]
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-2703578-1278550591.opb>
4.79/4.86 c original problem has 109757 variables (109757 bin, 0 int, 0 impl, 0 cont) and 313451 constraints
4.79/4.86 c problem read
4.79/4.87 c No objective function, only one solution is needed.
4.79/4.88 c presolving settings loaded
6.49/6.55 c presolving:
12.29/12.36 c (round 1) 4625 del vars, 6402 del conss, 2234 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6521963 impls, 0 clqs
12.59/12.66 c (round 2) 4627 del vars, 12003 del conss, 2236 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6521963 impls, 0 clqs
12.89/12.93 c (round 3) 4637 del vars, 12035 del conss, 2247 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6522436 impls, 0 clqs
13.10/13.12 c (round 4) 4702 del vars, 12091 del conss, 2257 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6523703 impls, 0 clqs
13.29/13.30 c (round 5) 4726 del vars, 12242 del conss, 2270 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6524282 impls, 0 clqs
13.39/13.49 c (round 6) 4766 del vars, 12324 del conss, 2284 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6525528 impls, 0 clqs
13.59/13.67 c (round 7) 4826 del vars, 12456 del conss, 2299 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6525800 impls, 0 clqs
13.79/13.87 c (round 8) 4911 del vars, 12651 del conss, 2315 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6527112 impls, 0 clqs
13.99/14.05 c (round 9) 4962 del vars, 12867 del conss, 2330 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6527660 impls, 0 clqs
14.19/14.24 c (round 10) 4992 del vars, 12994 del conss, 2343 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6528205 impls, 0 clqs
14.39/14.42 c (round 11) 5017 del vars, 13082 del conss, 2355 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6528713 impls, 0 clqs
14.59/14.60 c (round 12) 5069 del vars, 13174 del conss, 2363 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6529839 impls, 0 clqs
14.69/14.78 c (round 13) 5096 del vars, 13303 del conss, 2369 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6531031 impls, 0 clqs
14.89/14.96 c (round 14) 5106 del vars, 13365 del conss, 2376 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6531221 impls, 0 clqs
15.09/15.14 c (round 15) 5129 del vars, 13404 del conss, 2385 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6531619 impls, 0 clqs
15.29/15.32 c (round 16) 5177 del vars, 13500 del conss, 2400 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6532103 impls, 0 clqs
15.48/15.51 c (round 17) 5255 del vars, 13673 del conss, 2414 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6534699 impls, 0 clqs
15.58/15.69 c (round 18) 5273 del vars, 13838 del conss, 2422 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6534949 impls, 0 clqs
15.78/15.87 c (round 19) 5302 del vars, 13897 del conss, 2431 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6535753 impls, 0 clqs
15.98/16.05 c (round 20) 5350 del vars, 14004 del conss, 2442 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6535944 impls, 0 clqs
16.18/16.23 c (round 21) 5388 del vars, 14133 del conss, 2450 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6536836 impls, 0 clqs
16.39/16.41 c (round 22) 5400 del vars, 14215 del conss, 2460 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6537316 impls, 0 clqs
16.49/16.59 c (round 23) 5439 del vars, 14274 del conss, 2473 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6537983 impls, 0 clqs
16.68/16.77 c (round 24) 5466 del vars, 14377 del conss, 2486 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6538359 impls, 0 clqs
16.88/16.94 c (round 25) 5499 del vars, 14460 del conss, 2501 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6538781 impls, 0 clqs
17.08/17.12 c (round 26) 5522 del vars, 14541 del conss, 2512 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6539049 impls, 0 clqs
17.28/17.30 c (round 27) 5545 del vars, 14613 del conss, 2525 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6539331 impls, 0 clqs
17.38/17.47 c (round 28) 5557 del vars, 14661 del conss, 2531 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6539389 impls, 0 clqs
17.59/17.65 c (round 29) 5570 del vars, 14704 del conss, 2538 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6539617 impls, 0 clqs
17.98/18.01 c (round 30) 5583 del vars, 14775 del conss, 2551 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6539853 impls, 0 clqs
18.08/18.19 c (round 31) 5649 del vars, 14821 del conss, 2558 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6540723 impls, 0 clqs
18.28/18.36 c (round 32) 5661 del vars, 14961 del conss, 2568 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6541009 impls, 0 clqs
18.48/18.54 c (round 33) 5681 del vars, 15002 del conss, 2578 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6541147 impls, 0 clqs
18.69/18.72 c (round 34) 5709 del vars, 15066 del conss, 2591 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6541333 impls, 0 clqs
18.88/18.90 c (round 35) 5753 del vars, 15166 del conss, 2608 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6542558 impls, 0 clqs
18.98/19.08 c (round 36) 5792 del vars, 15288 del conss, 2623 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6543258 impls, 0 clqs
19.18/19.25 c (round 37) 5817 del vars, 15387 del conss, 2638 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6543544 impls, 0 clqs
19.38/19.43 c (round 38) 5831 del vars, 15440 del conss, 2646 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6543620 impls, 0 clqs
19.58/19.60 c (round 39) 5844 del vars, 15487 del conss, 2653 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6543868 impls, 0 clqs
19.88/19.96 c (round 40) 5857 del vars, 15558 del conss, 2666 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6544102 impls, 0 clqs
20.08/20.14 c (round 41) 5923 del vars, 15604 del conss, 2673 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6544972 impls, 0 clqs
20.28/20.32 c (round 42) 5935 del vars, 15744 del conss, 2683 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6545436 impls, 0 clqs
20.38/20.49 c (round 43) 5956 del vars, 15785 del conss, 2693 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6546780 impls, 0 clqs
20.58/20.68 c (round 44) 6014 del vars, 15876 del conss, 2709 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6549924 impls, 0 clqs
20.79/20.85 c (round 45) 6051 del vars, 16038 del conss, 2726 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6550702 impls, 0 clqs
20.98/21.03 c (round 46) 6094 del vars, 16171 del conss, 2752 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6551546 impls, 0 clqs
21.18/21.21 c (round 47) 6113 del vars, 16245 del conss, 2761 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6553044 impls, 0 clqs
21.38/21.47 c (round 48) 6116 del vars, 16276 del conss, 2764 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6553050 impls, 0 clqs
21.58/21.65 c (round 49) 6150 del vars, 16313 del conss, 2768 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6553112 impls, 0 clqs
21.78/21.83 c (round 50) 6184 del vars, 16414 del conss, 2773 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6553920 impls, 0 clqs
21.89/22.00 c (round 51) 6194 del vars, 16489 del conss, 2781 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6554382 impls, 0 clqs
22.08/22.18 c (round 52) 6215 del vars, 16526 del conss, 2791 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6555100 impls, 0 clqs
22.28/22.36 c (round 53) 6261 del vars, 16609 del conss, 2804 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6557566 impls, 0 clqs
22.48/22.54 c (round 54) 6304 del vars, 16750 del conss, 2823 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6558166 impls, 0 clqs
22.68/22.71 c (round 55) 6322 del vars, 16841 del conss, 2833 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6558362 impls, 0 clqs
22.78/22.89 c (round 56) 6342 del vars, 16893 del conss, 2843 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6558586 impls, 0 clqs
22.99/23.06 c (round 57) 6356 del vars, 16943 del conss, 2851 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6558898 impls, 0 clqs
23.18/23.24 c (round 58) 6363 del vars, 16983 del conss, 2858 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6558950 impls, 0 clqs
23.48/23.50 c (round 59) 6373 del vars, 17035 del conss, 2868 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6559112 impls, 0 clqs
23.58/23.68 c (round 60) 6439 del vars, 17081 del conss, 2875 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6560050 impls, 0 clqs
23.78/23.86 c (round 61) 6451 del vars, 17221 del conss, 2885 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6560336 impls, 0 clqs
23.98/24.03 c (round 62) 6473 del vars, 17263 del conss, 2897 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6560478 impls, 0 clqs
24.19/24.21 c (round 63) 6501 del vars, 17331 del conss, 2910 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6560632 impls, 0 clqs
24.28/24.38 c (round 64) 6545 del vars, 17431 del conss, 2926 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6562834 impls, 0 clqs
24.48/24.56 c (round 65) 6582 del vars, 17550 del conss, 2941 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6563458 impls, 0 clqs
24.68/24.74 c (round 66) 6607 del vars, 17647 del conss, 2956 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6563752 impls, 0 clqs
24.88/24.91 c (round 67) 6620 del vars, 17700 del conss, 2964 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6563852 impls, 0 clqs
24.98/25.08 c (round 68) 6635 del vars, 17759 del conss, 2979 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6563872 impls, 0 clqs
25.58/25.62 c (round 69) 6645 del vars, 17790 del conss, 2989 chg bounds, 8761 chg sides, 18368 chg coeffs, 0 upgd conss, 6564092 impls, 0 clqs
27.88/27.97 c (round 70) 6645 del vars, 17854 del conss, 2989 chg bounds, 8761 chg sides, 18368 chg coeffs, 295597 upgd conss, 6564120 impls, 0 clqs
28.88/28.99 c presolving (71 rounds):
28.88/28.99 c 6645 deleted vars, 17854 deleted constraints, 2989 tightened bounds, 0 added holes, 8761 changed sides, 18368 changed coefficients
28.88/28.99 c 6564120 implications, 0 cliques
28.88/28.99 c presolved problem has 103112 variables (103112 bin, 0 int, 0 impl, 0 cont) and 295597 constraints
28.88/28.99 c 17522 constraints of type <knapsack>
28.88/28.99 c 185599 constraints of type <setppc>
28.88/28.99 c 92476 constraints of type <logicor>
28.88/28.99 c transformed objective value is always integral (scale: 1)
28.88/28.99 c Presolving Time: 23.10
28.88/28.99 c - non default parameters ----------------------------------------------------------------------
28.88/28.99 c # SCIP version 1.2.1.3
28.88/28.99 c
28.88/28.99 c # frequency for displaying node information lines
28.88/28.99 c # [type: int, range: [-1,2147483647], default: 100]
28.88/28.99 c display/freq = 10000
28.88/28.99 c
28.88/28.99 c # maximal time in seconds to run
28.88/28.99 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
28.88/28.99 c limits/time = 1785.13
28.88/28.99 c
28.88/28.99 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
28.88/28.99 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
28.88/28.99 c limits/memory = 1620
28.88/28.99 c
28.88/28.99 c # solving stops, if the given number of solutions were found (-1: no limit)
28.88/28.99 c # [type: int, range: [-1,2147483647], default: -1]
28.88/28.99 c limits/solutions = 1
28.88/28.99 c
28.88/28.99 c # maximal number of separation rounds per node (-1: unlimited)
28.88/28.99 c # [type: int, range: [-1,2147483647], default: 5]
28.88/28.99 c separating/maxrounds = 1
28.88/28.99 c
28.88/28.99 c # maximal number of separation rounds in the root node (-1: unlimited)
28.88/28.99 c # [type: int, range: [-1,2147483647], default: -1]
28.88/28.99 c separating/maxroundsroot = 5
28.88/28.99 c
28.88/28.99 c # default clock type (1: CPU user seconds, 2: wall clock time)
28.88/28.99 c # [type: int, range: [1,2], default: 1]
28.88/28.99 c timing/clocktype = 2
28.88/28.99 c
28.88/28.99 c # should presolving try to simplify inequalities
28.88/28.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
28.88/28.99 c constraints/linear/simplifyinequalities = TRUE
28.88/28.99 c
28.88/28.99 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
28.88/28.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
28.88/28.99 c constraints/indicator/addCouplingCons = TRUE
28.88/28.99 c
28.88/28.99 c # should disaggregation of knapsack constraints be allowed in preprocessing?
28.88/28.99 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
28.88/28.99 c constraints/knapsack/disaggregation = FALSE
28.88/28.99 c
28.88/28.99 c # should presolving try to simplify knapsacks
28.88/28.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
28.88/28.99 c constraints/knapsack/simplifyinequalities = TRUE
28.88/28.99 c
28.88/28.99 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
28.88/28.99 c # [type: int, range: [-1,2147483647], default: -1]
28.88/28.99 c presolving/probing/maxrounds = 0
28.88/28.99 c
28.88/28.99 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
28.88/28.99 c # [type: int, range: [-1,2147483647], default: 10]
28.88/28.99 c heuristics/coefdiving/freq = -1
28.88/28.99 c
28.88/28.99 c # maximal fraction of diving LP iterations compared to node LP iterations
28.88/28.99 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
28.88/28.99 c heuristics/coefdiving/maxlpiterquot = 0.075
28.88/28.99 c
28.88/28.99 c # additional number of allowed LP iterations
28.88/28.99 c # [type: int, range: [0,2147483647], default: 1000]
28.88/28.99 c heuristics/coefdiving/maxlpiterofs = 1500
28.88/28.99 c
28.88/28.99 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
28.88/28.99 c # [type: int, range: [-1,2147483647], default: 30]
28.88/28.99 c heuristics/crossover/freq = -1
28.88/28.99 c
28.88/28.99 c # number of nodes added to the contingent of the total nodes
28.88/28.99 c # [type: longint, range: [0,9223372036854775807], default: 500]
28.88/28.99 c heuristics/crossover/nodesofs = 750
28.88/28.99 c
28.88/28.99 c # number of nodes without incumbent change that heuristic should wait
28.88/28.99 c # [type: longint, range: [0,9223372036854775807], default: 200]
28.88/28.99 c heuristics/crossover/nwaitingnodes = 100
28.88/28.99 c
28.88/28.99 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
28.88/28.99 c # [type: real, range: [0,1], default: 0.1]
28.88/28.99 c heuristics/crossover/nodesquot = 0.15
28.88/28.99 c
28.88/28.99 c # minimum percentage of integer variables that have to be fixed
28.88/28.99 c # [type: real, range: [0,1], default: 0.666]
28.88/28.99 c heuristics/crossover/minfixingrate = 0.5
28.88/28.99 c
28.88/28.99 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
28.88/28.99 c # [type: int, range: [-1,2147483647], default: 20]
28.88/28.99 c heuristics/feaspump/freq = -1
28.88/28.99 c
28.88/28.99 c # additional number of allowed LP iterations
28.88/28.99 c # [type: int, range: [0,2147483647], default: 1000]
28.88/28.99 c heuristics/feaspump/maxlpiterofs = 2000
28.88/28.99 c
28.88/28.99 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
28.88/28.99 c # [type: int, range: [-1,2147483647], default: 10]
28.88/28.99 c heuristics/fracdiving/freq = -1
28.88/28.99 c
28.88/28.99 c # maximal fraction of diving LP iterations compared to node LP iterations
28.88/28.99 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
28.88/28.99 c heuristics/fracdiving/maxlpiterquot = 0.075
28.88/28.99 c
28.88/28.99 c # additional number of allowed LP iterations
28.88/28.99 c # [type: int, range: [0,2147483647], default: 1000]
28.88/28.99 c heuristics/fracdiving/maxlpiterofs = 1500
28.88/28.99 c
28.88/28.99 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
28.88/28.99 c # [type: int, range: [-1,2147483647], default: 10]
28.88/28.99 c heuristics/guideddiving/freq = -1
28.88/28.99 c
28.88/28.99 c # maximal fraction of diving LP iterations compared to node LP iterations
28.88/28.99 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
28.88/28.99 c heuristics/guideddiving/maxlpiterquot = 0.075
28.88/28.99 c
28.88/28.99 c # additional number of allowed LP iterations
28.88/28.99 c # [type: int, range: [0,2147483647], default: 1000]
28.88/28.99 c heuristics/guideddiving/maxlpiterofs = 1500
28.88/28.99 c
28.88/28.99 c # maximal fraction of diving LP iterations compared to node LP iterations
28.88/28.99 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
28.88/28.99 c heuristics/intdiving/maxlpiterquot = 0.075
28.88/28.99 c
28.88/28.99 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
28.88/28.99 c # [type: int, range: [-1,2147483647], default: 10]
28.88/28.99 c heuristics/intshifting/freq = -1
28.88/28.99 c
28.88/28.99 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
28.88/28.99 c # [type: int, range: [-1,2147483647], default: 10]
28.88/28.99 c heuristics/linesearchdiving/freq = -1
28.88/28.99 c
28.88/28.99 c # maximal fraction of diving LP iterations compared to node LP iterations
28.88/28.99 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
28.88/28.99 c heuristics/linesearchdiving/maxlpiterquot = 0.075
28.88/28.99 c
28.88/28.99 c # additional number of allowed LP iterations
28.88/28.99 c # [type: int, range: [0,2147483647], default: 1000]
28.88/28.99 c heuristics/linesearchdiving/maxlpiterofs = 1500
28.88/28.99 c
28.88/28.99 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
28.88/28.99 c # [type: int, range: [-1,2147483647], default: 1]
28.88/28.99 c heuristics/nlp/freq = -1
28.88/28.99 c
28.88/28.99 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
28.88/28.99 c # [type: int, range: [-1,2147483647], default: 20]
28.88/28.99 c heuristics/objpscostdiving/freq = -1
28.88/28.99 c
28.88/28.99 c # maximal fraction of diving LP iterations compared to total iteration number
28.88/28.99 c # [type: real, range: [0,1], default: 0.01]
28.88/28.99 c heuristics/objpscostdiving/maxlpiterquot = 0.015
28.88/28.99 c
28.88/28.99 c # additional number of allowed LP iterations
28.88/28.99 c # [type: int, range: [0,2147483647], default: 1000]
28.88/28.99 c heuristics/objpscostdiving/maxlpiterofs = 1500
28.88/28.99 c
28.88/28.99 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
28.88/28.99 c # [type: int, range: [-1,2147483647], default: 1]
28.88/28.99 c heuristics/oneopt/freq = -1
28.88/28.99 c
28.88/28.99 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
28.88/28.99 c # [type: int, range: [-1,2147483647], default: 10]
28.88/28.99 c heuristics/pscostdiving/freq = -1
28.88/28.99 c
28.88/28.99 c # maximal fraction of diving LP iterations compared to node LP iterations
28.88/28.99 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
28.88/28.99 c heuristics/pscostdiving/maxlpiterquot = 0.075
28.88/28.99 c
28.88/28.99 c # additional number of allowed LP iterations
28.88/28.99 c # [type: int, range: [0,2147483647], default: 1000]
28.88/28.99 c heuristics/pscostdiving/maxlpiterofs = 1500
28.88/28.99 c
28.88/28.99 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
28.88/29.00 c # [type: int, range: [-1,2147483647], default: 0]
28.88/29.00 c heuristics/rens/freq = -1
28.88/29.00 c
28.88/29.00 c # minimum percentage of integer variables that have to be fixable
28.88/29.00 c # [type: real, range: [0,1], default: 0.5]
28.88/29.00 c heuristics/rens/minfixingrate = 0.3
28.88/29.00 c
28.88/29.00 c # number of nodes added to the contingent of the total nodes
28.88/29.00 c # [type: longint, range: [0,9223372036854775807], default: 500]
28.88/29.00 c heuristics/rens/nodesofs = 2000
28.88/29.00 c
28.88/29.00 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
28.88/29.00 c # [type: int, range: [-1,2147483647], default: 20]
28.88/29.00 c heuristics/rootsoldiving/freq = -1
28.88/29.00 c
28.88/29.00 c # maximal fraction of diving LP iterations compared to node LP iterations
28.88/29.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
28.88/29.00 c heuristics/rootsoldiving/maxlpiterquot = 0.015
28.88/29.00 c
28.88/29.00 c # additional number of allowed LP iterations
28.88/29.00 c # [type: int, range: [0,2147483647], default: 1000]
28.88/29.00 c heuristics/rootsoldiving/maxlpiterofs = 1500
28.88/29.00 c
28.88/29.00 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
28.88/29.00 c # [type: int, range: [-1,2147483647], default: 1]
28.88/29.00 c heuristics/rounding/freq = -1
28.88/29.00 c
28.88/29.00 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
28.88/29.00 c # [type: int, range: [-1,2147483647], default: 10]
28.88/29.00 c heuristics/shifting/freq = -1
28.88/29.00 c
28.88/29.00 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
28.88/29.00 c # [type: int, range: [-1,2147483647], default: 1]
28.88/29.00 c heuristics/simplerounding/freq = -1
28.88/29.00 c
28.88/29.00 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
28.88/29.00 c # [type: int, range: [-1,2147483647], default: 0]
28.88/29.00 c heuristics/trivial/freq = -1
28.88/29.00 c
28.88/29.00 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
28.88/29.00 c # [type: int, range: [-1,2147483647], default: 1]
28.88/29.00 c heuristics/trysol/freq = -1
28.88/29.00 c
28.88/29.00 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
28.88/29.00 c # [type: int, range: [-1,2147483647], default: 10]
28.88/29.00 c heuristics/veclendiving/freq = -1
28.88/29.00 c
28.88/29.00 c # maximal fraction of diving LP iterations compared to node LP iterations
28.88/29.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
28.88/29.00 c heuristics/veclendiving/maxlpiterquot = 0.075
28.88/29.00 c
28.88/29.00 c # additional number of allowed LP iterations
28.88/29.00 c # [type: int, range: [0,2147483647], default: 1000]
28.88/29.00 c heuristics/veclendiving/maxlpiterofs = 1500
28.88/29.00 c
28.88/29.00 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
28.88/29.00 c # [type: int, range: [-1,2147483647], default: 1]
28.88/29.00 c heuristics/zirounding/freq = -1
28.88/29.00 c
28.88/29.00 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
28.88/29.00 c # [type: int, range: [-1,2147483647], default: 0]
28.88/29.00 c separating/cmir/freq = -1
28.88/29.00 c
28.88/29.00 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
28.88/29.00 c # [type: int, range: [-1,2147483647], default: 0]
28.88/29.00 c separating/flowcover/freq = -1
28.88/29.00 c
28.88/29.00 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
28.88/29.00 c # [type: int, range: [-1,2147483647], default: -1]
28.88/29.00 c separating/rapidlearning/freq = 0
28.88/29.00 c
28.88/29.00 c -----------------------------------------------------------------------------------------------
28.88/29.00 c start solving
28.98/29.10 c
968.99/969.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
968.99/969.37 c 964s| 1 | 0 | 43663 | - | 777M| 0 | 27k| 103k| 295k| 103k| 295k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1789.94/1790.55 c 1786s| 1 | 0 | 59116 | - | 778M| 0 | - | 103k| 295k| 103k| 295k| 211 | 0 | 0 | 0.000000e+00 | -- | Inf
1790.04/1790.69 c 1786s| 1 | 2 | 59116 | - | 778M| 0 | - | 103k| 295k| 103k| 295k| 211 | 0 | 0 | 0.000000e+00 | -- | Inf
1790.04/1790.69 c
1790.04/1790.69 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.69 c Solving Time (sec) : 1785.81
1790.04/1790.69 c Solving Nodes : 1
1790.04/1790.69 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.04/1790.69 c Dual Bound : +0.00000000000000e+00
1790.04/1790.69 c Gap : infinite
1790.04/1790.69 s UNKNOWN
1790.04/1790.69 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.69 c Solving Time : 1785.81
1790.04/1790.69 c Original Problem :
1790.04/1790.69 c Problem name : HOME/instance-2703578-1278550591.opb
1790.04/1790.69 c Variables : 109757 (109757 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.04/1790.69 c Constraints : 313451 initial, 313451 maximal
1790.04/1790.69 c Presolved Problem :
1790.04/1790.69 c Problem name : t_HOME/instance-2703578-1278550591.opb
1790.04/1790.69 c Variables : 103112 (103112 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.04/1790.69 c Constraints : 295597 initial, 295597 maximal
1790.04/1790.69 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.04/1790.69 c trivial : 1.36 11 0 0 0 0 0 0 0
1790.04/1790.69 c dualfix : 1.35 0 0 0 0 0 0 0 0
1790.04/1790.69 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.69 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.69 c implics : 3.77 0 3638 0 0 0 0 0 0
1790.04/1790.69 c probing : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.69 c knapsack : 0.24 0 0 0 0 0 0 0 0
1790.04/1790.69 c setppc : 0.52 0 0 0 0 0 0 0 0
1790.04/1790.69 c linear : 14.51 2978 18 0 2989 0 17854 8761 18368
1790.04/1790.69 c logicor : 0.17 0 0 0 0 0 0 0 0
1790.04/1790.69 c root node : - 0 - - 0 - - - -
1790.04/1790.69 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.04/1790.69 c integral : 0 0 0 0 0 0 0 0 0 0
1790.04/1790.69 c knapsack : 17522 1 1 0 1 0 0 200 0 0
1790.04/1790.69 c setppc : 185599 1 1 0 1 0 0 0 0 0
1790.04/1790.69 c logicor : 92476 1 1 0 1 0 0 0 0 0
1790.04/1790.69 c countsols : 0 0 0 0 1 0 0 0 0 0
1790.04/1790.69 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.04/1790.69 c integral : 0.00 0.00 0.00 0.00 0.00
1790.04/1790.69 c knapsack : 0.01 0.00 0.00 0.00 0.00
1790.04/1790.69 c setppc : 0.11 0.03 0.02 0.00 0.06
1790.04/1790.69 c logicor : 0.17 0.02 0.11 0.00 0.04
1790.04/1790.69 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.04/1790.69 c Propagators : Time Calls Cutoffs DomReds
1790.04/1790.69 c vbounds : 0.00 1 0 0
1790.04/1790.69 c rootredcost : 0.00 0 0 0
1790.04/1790.69 c pseudoobj : 0.00 0 0 0
1790.04/1790.69 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.04/1790.69 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1790.04/1790.69 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.69 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.69 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.69 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.04/1790.69 c applied globally : - - - 0 0.0 - - -
1790.04/1790.69 c applied locally : - - - 0 0.0 - - -
1790.04/1790.69 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.04/1790.69 c cut pool : 0.00 0 - - 0 - (maximal pool size: 475)
1790.04/1790.69 c redcost : 0.01 1 0 0 0 0
1790.04/1790.69 c impliedbounds : 0.15 1 0 0 0 0
1790.04/1790.69 c intobj : 0.00 0 0 0 0 0
1790.04/1790.69 c cgmip : 0.00 0 0 0 0 0
1790.04/1790.69 c gomory : 70.00 1 0 0 500 0
1790.04/1790.69 c strongcg : 101.57 1 0 0 500 0
1790.04/1790.69 c cmir : 0.00 0 0 0 0 0
1790.04/1790.69 c flowcover : 0.00 0 0 0 0 0
1790.04/1790.69 c clique : 11.35 1 0 0 8 0
1790.04/1790.69 c zerohalf : 0.00 0 0 0 0 0
1790.04/1790.69 c mcf : 18.82 1 0 0 0 0
1790.04/1790.69 c rapidlearning : 0.00 0 0 0 0 0
1790.04/1790.69 c Pricers : Time Calls Vars
1790.04/1790.69 c problem variables: 0.00 0 0
1790.04/1790.69 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.04/1790.69 c relpscost : 0.00 0 0 0 0 0 0
1790.04/1790.69 c pscost : 0.00 0 0 0 0 0 0
1790.04/1790.69 c inference : 0.03 1 0 0 0 0 2
1790.04/1790.69 c mostinf : 0.00 0 0 0 0 0 0
1790.04/1790.69 c leastinf : 0.00 0 0 0 0 0 0
1790.04/1790.69 c fullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.69 c allfullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.69 c random : 0.00 0 0 0 0 0 0
1790.04/1790.69 c Primal Heuristics : Time Calls Found
1790.04/1790.69 c LP solutions : 0.00 - 0
1790.04/1790.69 c pseudo solutions : 0.00 - 0
1790.04/1790.69 c trivial : 0.21 1 0
1790.04/1790.69 c simplerounding : 0.00 0 0
1790.04/1790.69 c zirounding : 0.00 0 0
1790.04/1790.69 c rounding : 0.00 0 0
1790.04/1790.69 c shifting : 0.00 0 0
1790.04/1790.69 c intshifting : 0.00 0 0
1790.04/1790.69 c oneopt : 0.00 0 0
1790.04/1790.69 c twoopt : 0.00 0 0
1790.04/1790.69 c fixandinfer : 0.00 0 0
1790.04/1790.69 c feaspump : 0.00 0 0
1790.04/1790.69 c coefdiving : 0.00 0 0
1790.04/1790.69 c pscostdiving : 0.00 0 0
1790.04/1790.69 c fracdiving : 0.00 0 0
1790.04/1790.69 c veclendiving : 0.00 0 0
1790.04/1790.69 c intdiving : 0.00 0 0
1790.04/1790.69 c actconsdiving : 0.00 0 0
1790.04/1790.69 c objpscostdiving : 0.00 0 0
1790.04/1790.69 c rootsoldiving : 0.00 0 0
1790.04/1790.69 c linesearchdiving : 0.00 0 0
1790.04/1790.69 c guideddiving : 0.00 0 0
1790.04/1790.69 c octane : 0.00 0 0
1790.04/1790.69 c rens : 0.00 0 0
1790.04/1790.69 c rins : 0.00 0 0
1790.04/1790.69 c localbranching : 0.00 0 0
1790.04/1790.69 c mutation : 0.00 0 0
1790.04/1790.69 c crossover : 0.00 0 0
1790.04/1790.69 c dins : 0.00 0 0
1790.04/1790.69 c undercover : 0.00 0 0
1790.04/1790.69 c nlp : 0.00 0 0
1790.04/1790.69 c trysol : 0.00 0 0
1790.04/1790.69 c LP : Time Calls Iterations Iter/call Iter/sec
1790.04/1790.69 c primal LP : 0.00 0 0 0.00 -
1790.04/1790.69 c dual LP : 1557.63 2 59116 29558.00 37.95
1790.04/1790.69 c lex dual LP : 0.00 0 0 0.00 -
1790.04/1790.69 c barrier LP : 0.00 0 0 0.00 -
1790.04/1790.69 c diving/probing LP: 0.00 0 0 0.00 -
1790.04/1790.69 c strong branching : 0.00 0 0 0.00 -
1790.04/1790.69 c (at root node) : - 0 0 0.00 -
1790.04/1790.69 c conflict analysis: 0.00 0 0 0.00 -
1790.04/1790.69 c B&B Tree :
1790.04/1790.69 c number of runs : 1
1790.04/1790.69 c nodes : 1
1790.04/1790.69 c nodes (total) : 1
1790.04/1790.69 c nodes left : 2
1790.04/1790.69 c max depth : 0
1790.04/1790.69 c max depth (total): 0
1790.04/1790.69 c backtracks : 0 (0.0%)
1790.04/1790.69 c delayed cutoffs : 0
1790.04/1790.69 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1790.04/1790.69 c avg switch length: 1.00
1790.04/1790.69 c switching time : 0.00
1790.04/1790.69 c Solution :
1790.04/1790.69 c Solutions found : 0 (0 improvements)
1790.04/1790.69 c Primal Bound : -
1790.04/1790.69 c Dual Bound : +0.00000000000000e+00
1790.04/1790.69 c Gap : infinite
1790.04/1790.69 c Root Dual Bound : +0.00000000000000e+00
1790.04/1790.69 c Root Iterations : 59116
1792.04/1792.66 c Time complete: 1792.1.
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703578-1278550591/watcher-2703578-1278550591 -o /tmp/evaluation-result-2703578-1278550591/solver-2703578-1278550591 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703578-1278550591.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: 1.09 1.02 0.92 3/105 29228 /proc/meminfo: memFree=1854476/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=7904 CPUtime=0 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 1099 0 0 0 0 0 0 0 21 0 1 0 23267105 8093696 1010 1992294400 4194304 8395647 140735826840704 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29228/statm: 1976 1018 365 1026 0 946 0 [startup+0.0674711 s] /proc/loadavg: 1.09 1.02 0.92 3/105 29228 /proc/meminfo: memFree=1854476/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=13208 CPUtime=0.05 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 2596 0 0 0 5 0 0 0 21 0 1 0 23267105 13524992 2507 1992294400 4194304 8395647 140735826840704 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29228/statm: 3302 2507 390 1026 0 2272 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 13208 [startup+0.100474 s] /proc/loadavg: 1.09 1.02 0.92 3/105 29228 /proc/meminfo: memFree=1854476/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=16240 CPUtime=0.09 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 3360 0 0 0 9 0 0 0 21 0 1 0 23267105 16629760 3271 1992294400 4194304 8395647 140735826840704 18446744073709551615 7382041 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29228/statm: 4060 3271 390 1026 0 3030 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16240 [startup+0.300499 s] /proc/loadavg: 1.09 1.02 0.92 3/105 29228 /proc/meminfo: memFree=1854476/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=25264 CPUtime=0.29 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 5586 0 0 0 28 1 0 0 21 0 1 0 23267105 25870336 5497 1992294400 4194304 8395647 140735826840704 18446744073709551615 7382020 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29228/statm: 6316 5497 390 1026 0 5286 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25264 [startup+0.700547 s] /proc/loadavg: 1.09 1.02 0.92 3/105 29228 /proc/meminfo: memFree=1854476/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=42100 CPUtime=0.69 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 9780 0 0 0 67 2 0 0 22 0 1 0 23267105 43110400 9691 1992294400 4194304 8395647 140735826840704 18446744073709551615 5756272 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29228/statm: 10525 9691 390 1026 0 9495 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 42100 [startup+1.50065 s] /proc/loadavg: 1.08 1.02 0.92 2/106 29229 /proc/meminfo: memFree=1804124/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=75020 CPUtime=1.49 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 18016 0 0 0 143 6 0 0 25 0 1 0 23267105 76820480 17927 1992294400 4194304 8395647 140735826840704 18446744073709551615 5758820 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29228/statm: 18755 17927 390 1026 0 17725 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 75020 [startup+3.10084 s] /proc/loadavg: 1.08 1.02 0.92 2/106 29229 /proc/meminfo: memFree=1758988/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=140140 CPUtime=3.09 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 34243 0 0 0 296 13 0 0 25 0 1 0 23267105 143503360 34154 1992294400 4194304 8395647 140735826840704 18446744073709551615 6767029 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29228/statm: 35035 34154 390 1026 0 34005 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 140140 [startup+6.30024 s] /proc/loadavg: 1.07 1.02 0.92 2/106 29229 /proc/meminfo: memFree=1490280/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=476720 CPUtime=6.29 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 118366 0 0 0 588 41 0 0 25 0 1 0 23267105 488161280 117923 1992294400 4194304 8395647 140735826840704 18446744073709551615 4601776 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 119180 117923 429 1026 0 118150 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 476720 [startup+12.701 s] /proc/loadavg: 1.07 1.02 0.92 2/106 29229 /proc/meminfo: memFree=1154364/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=720944 CPUtime=12.69 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 176465 0 0 0 1209 60 0 0 25 0 1 0 23267105 738246656 176022 1992294400 4194304 8395647 140735826840704 18446744073709551615 5597501 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 180236 176022 475 1026 0 179206 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 720944 [startup+25.5006 s] /proc/loadavg: 1.06 1.01 0.92 2/106 29229 /proc/meminfo: memFree=1151140/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=720944 CPUtime=25.48 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 176479 0 0 0 2488 60 0 0 25 0 1 0 23267105 738246656 176036 1992294400 4194304 8395647 140735826840704 18446744073709551615 18446744073699066094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 180236 176036 475 1026 0 179206 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 720944 [startup+51.1007 s] /proc/loadavg: 1.03 1.01 0.92 2/106 29229 /proc/meminfo: memFree=695440/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1214028 CPUtime=51.07 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 305177 0 0 0 5002 105 0 0 25 0 1 0 23267105 1243164672 290351 1992294400 4194304 8395647 140735826840704 18446744073709551615 6752539 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 303507 290351 814 1026 0 302477 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1214028 [startup+102.308 s] /proc/loadavg: 1.01 1.01 0.92 2/106 29231 /proc/meminfo: memFree=678824/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1263216 CPUtime=102.27 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 309654 0 0 0 10113 114 0 0 25 0 1 0 23267105 1293533184 294136 1992294400 4194304 8395647 140735826840704 18446744073709551615 6752906 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 315804 294136 731 1026 0 314774 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1263216 [startup+162.3 s] /proc/loadavg: 1.00 1.00 0.92 2/106 29233 /proc/meminfo: memFree=660968/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1272972 CPUtime=162.24 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 314338 0 0 0 16104 120 0 0 25 0 1 0 23267105 1303523328 298727 1992294400 4194304 8395647 140735826840704 18446744073709551615 6697983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 318243 298727 861 1026 0 317213 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 1272972 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.92 2/106 29235 /proc/meminfo: memFree=646460/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1277800 CPUtime=222.23 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 318137 0 0 0 22097 126 0 0 25 0 1 0 23267105 1308467200 302396 1992294400 4194304 8395647 140735826840704 18446744073709551615 7382137 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 319450 302396 889 1026 0 318420 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 1277800 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.92 2/106 29246 /proc/meminfo: memFree=635572/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1288136 CPUtime=282.21 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 320421 0 0 0 28089 132 0 0 25 0 1 0 23267105 1319051264 304522 1992294400 4194304 8395647 140735826840704 18446744073709551615 6693383 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 322034 304522 732 1026 0 321004 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 1288136 [startup+342.3 s] /proc/loadavg: 1.00 1.00 0.92 2/106 29246 /proc/meminfo: memFree=627016/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1289096 CPUtime=342.19 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 322554 0 0 0 34083 136 0 0 25 0 1 0 23267105 1320034304 306655 1992294400 4194304 8395647 140735826840704 18446744073709551615 6636377 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 322274 306655 732 1026 0 321244 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 1289096 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.92 2/106 29248 /proc/meminfo: memFree=623792/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1289588 CPUtime=402.17 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 323341 0 0 0 40077 140 0 0 25 0 1 0 23267105 1320538112 307442 1992294400 4194304 8395647 140735826840704 18446744073709551615 6636339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 322397 307442 732 1026 0 321367 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 1289588 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.92 2/106 29250 /proc/meminfo: memFree=622552/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1290144 CPUtime=462.15 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 323650 0 0 0 46071 144 0 0 25 0 1 0 23267105 1321107456 307751 1992294400 4194304 8395647 140735826840704 18446744073709551615 7382157 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 322536 307751 732 1026 0 321506 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 1290144 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.92 2/106 29252 /proc/meminfo: memFree=620692/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1292492 CPUtime=522.13 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 324188 0 0 0 52064 149 0 0 25 0 1 0 23267105 1323511808 308288 1992294400 4194304 8395647 140735826840704 18446744073709551615 6697980 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 323123 308288 804 1026 0 322093 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 1292492 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.92 2/106 29254 /proc/meminfo: memFree=620072/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1292492 CPUtime=582.12 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 324334 0 0 0 58059 153 0 0 25 0 1 0 23267105 1323511808 308406 1992294400 4194304 8395647 140735826840704 18446744073709551615 6698349 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 323123 308406 776 1026 0 322093 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 1292492 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.92 2/106 29254 /proc/meminfo: memFree=618460/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1293196 CPUtime=642.1 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 324738 0 0 0 64053 157 0 0 25 0 1 0 23267105 1324232704 308810 1992294400 4194304 8395647 140735826840704 18446744073709551615 6697997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 323299 308810 776 1026 0 322269 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 1293196 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=616600/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1294288 CPUtime=1121.94 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 325226 0 0 0 112010 184 0 0 25 0 1 0 23267105 1325350912 309244 1992294400 4194304 8395647 140735826840704 18446744073709551615 6440490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 323572 309244 742 1026 0 322542 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 1294288 [startup+1182.3 s] /proc/loadavg: 1.11 1.07 0.97 2/106 29270 /proc/meminfo: memFree=575928/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1346684 CPUtime=1181.92 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 336337 0 0 0 118004 188 0 0 25 0 1 0 23267105 1379004416 319366 1992294400 4194304 8395647 140735826840704 18446744073709551615 7382127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 336671 319366 735 1026 0 335641 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 1346684 [startup+1242.3 s] /proc/loadavg: 1.10 1.07 0.97 2/106 29270 /proc/meminfo: memFree=555840/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1356020 CPUtime=1241.91 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 341345 0 0 0 123999 192 0 0 25 0 1 0 23267105 1388564480 324336 1992294400 4194304 8395647 140735826840704 18446744073709551615 6698214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 339005 324336 710 1026 0 337975 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1356020 [startup+1302.3 s] /proc/loadavg: 1.09 1.07 0.98 2/106 29272 /proc/meminfo: memFree=547904/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1362452 CPUtime=1301.89 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 343297 0 0 0 129994 195 0 0 25 0 1 0 23267105 1395150848 326262 1992294400 4194304 8395647 140735826840704 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 340613 326262 684 1026 0 339583 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1362452 [startup+1362.3 s] /proc/loadavg: 1.08 1.07 0.98 2/106 29274 /proc/meminfo: memFree=547160/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1362584 CPUtime=1361.86 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 343471 0 0 0 135989 197 0 0 25 0 1 0 23267105 1395286016 326436 1992294400 4194304 8395647 140735826840704 18446744073709551615 6698222 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 340646 326436 684 1026 0 339616 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1362584 [startup+1422.31 s] /proc/loadavg: 1.16 1.08 1.00 2/107 29279 /proc/meminfo: memFree=525144/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1362584 CPUtime=1421.85 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 343575 0 0 0 141985 200 0 0 25 0 1 0 23267105 1395286016 326540 1992294400 4194304 8395647 140735826840704 18446744073709551615 6697955 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 340646 326540 684 1026 0 339616 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1362584 [startup+1482.3 s] /proc/loadavg: 1.13 1.09 1.00 2/106 29281 /proc/meminfo: memFree=501572/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1362584 CPUtime=1481.83 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 343604 0 0 0 147980 203 0 0 25 0 1 0 23267105 1395286016 326569 1992294400 4194304 8395647 140735826840704 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 340646 326569 684 1026 0 339616 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1362584 [startup+1542.3 s] /proc/loadavg: 1.09 1.09 1.00 2/106 29281 /proc/meminfo: memFree=501572/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1362720 CPUtime=1541.8 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 343681 0 0 0 153975 205 0 0 25 0 1 0 23267105 1395425280 326646 1992294400 4194304 8395647 140735826840704 18446744073709551615 6698072 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 340680 326646 684 1026 0 339650 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1362720 [startup+1602.3 s] /proc/loadavg: 1.07 1.08 1.00 2/106 29283 /proc/meminfo: memFree=501448/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1362720 CPUtime=1601.79 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 343716 0 0 0 159971 208 0 0 25 0 1 0 23267105 1395425280 326681 1992294400 4194304 8395647 140735826840704 18446744073709551615 6696983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 340680 326681 684 1026 0 339650 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1362720 [startup+1662.3 s] /proc/loadavg: 1.06 1.08 1.00 2/106 29285 /proc/meminfo: memFree=501200/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1362876 CPUtime=1661.77 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 343780 0 0 0 165966 211 0 0 25 0 1 0 23267105 1395585024 326745 1992294400 4194304 8395647 140735826840704 18446744073709551615 6636354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 340719 326745 684 1026 0 339689 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1362876 [startup+1722.3 s] /proc/loadavg: 1.13 1.09 1.01 2/106 29287 /proc/meminfo: memFree=501076/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1362876 CPUtime=1721.76 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 343805 0 0 0 171962 214 0 0 25 0 1 0 23267105 1395585024 326770 1992294400 4194304 8395647 140735826840704 18446744073709551615 6693807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 340719 326770 684 1026 0 339689 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1362876 [startup+1782.3 s] /proc/loadavg: 1.12 1.09 1.00 2/106 29289 /proc/meminfo: memFree=500952/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1362876 CPUtime=1781.74 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 343813 0 0 0 177957 217 0 0 25 0 1 0 23267105 1395585024 326778 1992294400 4194304 8395647 140735826840704 18446744073709551615 6636342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 340719 326778 684 1026 0 339689 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1362876 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.12 1.09 1.00 2/106 29289 /proc/meminfo: memFree=500952/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1362876 CPUtime=1784.93 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 343813 0 0 0 178276 217 0 0 25 0 1 0 23267105 1395585024 326778 1992294400 4194304 8395647 140735826840704 18446744073709551615 6636342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 340719 326778 684 1026 0 339689 0 Current children cumulated CPU time (s) 1784.93 Current children cumulated vsize (KiB) 1362876 [startup+1788.7 s] /proc/loadavg: 1.11 1.09 1.00 3/106 29289 /proc/meminfo: memFree=500952/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1362876 CPUtime=1788.13 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 343817 0 0 0 178596 217 0 0 25 0 1 0 23267105 1395585024 326782 1992294400 4194304 8395647 140735826840704 18446744073709551615 6697959 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 340719 326782 684 1026 0 339689 0 Current children cumulated CPU time (s) 1788.13 Current children cumulated vsize (KiB) 1362876 [startup+1790.3 s] /proc/loadavg: 1.11 1.09 1.00 2/106 29289 /proc/meminfo: memFree=500952/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1362876 CPUtime=1789.74 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 343817 0 0 0 178756 218 0 0 25 0 1 0 23267105 1395585024 326782 1992294400 4194304 8395647 140735826840704 18446744073709551615 6697978 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/29228/statm: 340719 326782 684 1026 0 339689 0 Current children cumulated CPU time (s) 1789.74 Current children cumulated vsize (KiB) 1362876 [startup+1791.91 s] /proc/loadavg: 1.10 1.09 1.00 2/106 29289 /proc/meminfo: memFree=499216/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1360248 CPUtime=1791.34 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 344266 0 0 0 178916 218 0 0 25 0 1 0 23267105 1392893952 326618 1992294400 4194304 8395647 140735826840704 18446744073709551615 6345233 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29228/statm: 340062 326618 693 1026 0 339032 0 Current children cumulated CPU time (s) 1791.34 Current children cumulated vsize (KiB) 1360248 [startup+1792.3 s] /proc/loadavg: 1.10 1.09 1.00 2/106 29289 /proc/meminfo: memFree=499216/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1223824 CPUtime=1791.73 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 344266 0 0 0 178954 219 0 0 25 0 1 0 23267105 1253195776 295944 1992294400 4194304 8395647 140735826840704 18446744073709551615 7185424 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29228/statm: 305956 295944 682 1026 0 304926 0 Current children cumulated CPU time (s) 1791.73 Current children cumulated vsize (KiB) 1223824 [startup+1792.5 s] /proc/loadavg: 1.10 1.09 1.00 2/106 29289 /proc/meminfo: memFree=499216/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1115316 CPUtime=1791.93 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 344266 0 0 0 178973 220 0 0 25 0 1 0 23267105 1142083584 268864 1992294400 4194304 8395647 140735826840704 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29228/statm: 278829 268864 682 1026 0 277799 0 Current children cumulated CPU time (s) 1791.93 Current children cumulated vsize (KiB) 1115316 [startup+1792.6 s] /proc/loadavg: 1.10 1.09 1.00 2/106 29289 /proc/meminfo: memFree=499216/2059040 swapFree=4140272/4192956 [pid=29228] ppid=29226 vsize=1062476 CPUtime=1792.04 /proc/29228/stat : 29228 (pbscip.linux.x8) R 29226 29228 28584 0 -1 4202496 344266 0 0 0 178980 224 0 0 25 0 1 0 23267105 1087975424 177178 1992294400 4194304 8395647 140735826840704 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29228/statm: 265619 176666 637 1026 0 264589 0 Current children cumulated CPU time (s) 1792.04 Current children cumulated vsize (KiB) 1062476 Child status: 0 Real time (s): 1792.67 CPU time (s): 1792.11 CPU user time (s): 1789.8 CPU system time (s): 2.30565 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 1362876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.8 system time used= 2.30565 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 344273 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= 6147 runsolver used 3.04454 second user time and 8.39272 second system time The end
Begin job on node080 at 2010-07-08 02:56:32 IDJOB=2703578 IDBENCH=1489 IDSOLVER=1213 FILE ID=node080/2703578-1278550591 PBS_JOBID= 11239483 Free space on /tmp= 62528 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703578-1278550591/watcher-2703578-1278550591 -o /tmp/evaluation-result-2703578-1278550591/solver-2703578-1278550591 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703578-1278550591.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8c486f10dc9ea0956b38d79189648654 RANDOM SEED=507875507 node080.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.255 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.255 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1855724 kB Buffers: 2724 kB Cached: 101220 kB SwapCached: 9124 kB Active: 45688 kB Inactive: 74480 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1855724 kB SwapTotal: 4192956 kB SwapFree: 4140272 kB Dirty: 21604 kB Writeback: 0 kB AnonPages: 11356 kB Mapped: 12064 kB Slab: 61340 kB PageTables: 4112 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181056 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62520 MiB End job on node080 at 2010-07-08 03:26:25