| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | ? (TO) | 1801.98 | 1802.51 |
| 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.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2664026-1276340751.opb>
5.89/5.93 c original problem has 109757 variables (109757 bin, 0 int, 0 impl, 0 cont) and 313451 constraints
5.89/5.93 c problem read
5.89/5.94 c No objective function, only one solution is needed.
5.89/5.95 c presolving settings loaded
5.89/5.95 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
7.60/7.64 c presolving:
13.68/13.77 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
14.19/14.30 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
14.89/14.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
15.29/15.30 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
15.59/15.67 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
15.99/16.05 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
16.40/16.42 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
16.78/16.80 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
17.08/17.17 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
17.49/17.54 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
17.89/17.91 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
18.19/18.28 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
18.60/18.65 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
18.98/19.01 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
19.29/19.37 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
19.70/19.74 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
20.09/20.12 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
20.38/20.48 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
20.79/20.85 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
21.19/21.21 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
21.49/21.58 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
21.89/21.94 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
22.29/22.31 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
22.59/22.67 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
22.99/23.04 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
23.38/23.40 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
23.68/23.76 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
24.09/24.13 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
24.39/24.49 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
25.29/25.39 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
25.68/25.76 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
26.09/26.12 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
26.39/26.48 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
26.79/26.84 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
27.19/27.21 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
27.49/27.57 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
27.89/27.93 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
28.19/28.29 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
28.59/28.66 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
29.48/29.56 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
29.88/29.92 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
30.18/30.28 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
30.59/30.65 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
30.98/31.01 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
31.28/31.37 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
31.68/31.74 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
32.08/32.10 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
32.68/32.73 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
32.99/33.09 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
33.39/33.45 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
33.78/33.81 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
34.08/34.17 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
34.47/34.53 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
34.78/34.90 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
35.18/35.26 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
35.58/35.61 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
35.88/35.97 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
36.28/36.33 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
36.88/36.96 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
37.28/37.32 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
37.57/37.68 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
37.97/38.04 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
38.38/38.40 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
38.68/38.77 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
39.07/39.13 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
39.37/39.49 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
39.77/39.85 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
40.17/40.20 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
41.57/41.63 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
44.47/44.58 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
45.67/45.72 c presolving (71 rounds):
45.67/45.72 c 6645 deleted vars, 17854 deleted constraints, 2989 tightened bounds, 0 added holes, 8761 changed sides, 18368 changed coefficients
45.67/45.72 c 6564120 implications, 0 cliques
45.67/45.72 c presolved problem has 103112 variables (103112 bin, 0 int, 0 impl, 0 cont) and 295597 constraints
45.67/45.72 c 17522 constraints of type <knapsack>
45.67/45.72 c 278075 constraints of type <logicor>
45.67/45.72 c transformed objective value is always integral (scale: 1)
45.67/45.72 c Presolving Time: 26.85
45.67/45.72 c - non default parameters ----------------------------------------------------------------------
45.67/45.72 c # SCIP version 1.2.1.2
45.67/45.72 c
45.67/45.72 c # frequency for displaying node information lines
45.67/45.72 c # [type: int, range: [-1,2147483647], default: 100]
45.67/45.72 c display/freq = 10000
45.67/45.72 c
45.67/45.72 c # maximal time in seconds to run
45.67/45.72 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
45.67/45.72 c limits/time = 1794.06
45.67/45.72 c
45.67/45.72 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
45.67/45.72 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
45.67/45.72 c limits/memory = 1620
45.67/45.72 c
45.67/45.72 c # solving stops, if the given number of solutions were found (-1: no limit)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: -1]
45.67/45.72 c limits/solutions = 1
45.67/45.72 c
45.67/45.72 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: 1]
45.67/45.72 c lp/solvefreq = -1
45.67/45.72 c
45.67/45.72 c # maximal number of separation rounds per node (-1: unlimited)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: 5]
45.67/45.72 c separating/maxrounds = 1
45.67/45.72 c
45.67/45.72 c # maximal number of separation rounds in the root node (-1: unlimited)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: -1]
45.67/45.72 c separating/maxroundsroot = 5
45.67/45.72 c
45.67/45.72 c # should presolving try to simplify inequalities
45.67/45.72 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
45.67/45.72 c constraints/linear/simplifyinequalities = TRUE
45.67/45.72 c
45.67/45.72 c # should disaggregation of knapsack constraints be allowed in preprocessing?
45.67/45.72 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
45.67/45.72 c constraints/knapsack/disaggregation = FALSE
45.67/45.72 c
45.67/45.72 c # should presolving try to simplify knapsacks
45.67/45.72 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
45.67/45.72 c constraints/knapsack/simplifyinequalities = TRUE
45.67/45.72 c
45.67/45.72 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: -1]
45.67/45.72 c presolving/probing/maxrounds = 0
45.67/45.72 c
45.67/45.72 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: 10]
45.67/45.72 c heuristics/coefdiving/freq = -1
45.67/45.72 c
45.67/45.72 c # maximal fraction of diving LP iterations compared to node LP iterations
45.67/45.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
45.67/45.72 c heuristics/coefdiving/maxlpiterquot = 0.075
45.67/45.72 c
45.67/45.72 c # additional number of allowed LP iterations
45.67/45.72 c # [type: int, range: [0,2147483647], default: 1000]
45.67/45.72 c heuristics/coefdiving/maxlpiterofs = 1500
45.67/45.72 c
45.67/45.72 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: 30]
45.67/45.72 c heuristics/crossover/freq = -1
45.67/45.72 c
45.67/45.72 c # number of nodes added to the contingent of the total nodes
45.67/45.72 c # [type: longint, range: [0,9223372036854775807], default: 500]
45.67/45.72 c heuristics/crossover/nodesofs = 750
45.67/45.72 c
45.67/45.72 c # number of nodes without incumbent change that heuristic should wait
45.67/45.72 c # [type: longint, range: [0,9223372036854775807], default: 200]
45.67/45.72 c heuristics/crossover/nwaitingnodes = 100
45.67/45.72 c
45.67/45.72 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
45.67/45.72 c # [type: real, range: [0,1], default: 0.1]
45.67/45.72 c heuristics/crossover/nodesquot = 0.15
45.67/45.72 c
45.67/45.72 c # minimum percentage of integer variables that have to be fixed
45.67/45.72 c # [type: real, range: [0,1], default: 0.666]
45.67/45.72 c heuristics/crossover/minfixingrate = 0.5
45.67/45.72 c
45.67/45.72 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: 20]
45.67/45.72 c heuristics/feaspump/freq = -1
45.67/45.72 c
45.67/45.72 c # additional number of allowed LP iterations
45.67/45.72 c # [type: int, range: [0,2147483647], default: 1000]
45.67/45.72 c heuristics/feaspump/maxlpiterofs = 2000
45.67/45.72 c
45.67/45.72 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: 10]
45.67/45.72 c heuristics/fracdiving/freq = -1
45.67/45.72 c
45.67/45.72 c # maximal fraction of diving LP iterations compared to node LP iterations
45.67/45.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
45.67/45.72 c heuristics/fracdiving/maxlpiterquot = 0.075
45.67/45.72 c
45.67/45.72 c # additional number of allowed LP iterations
45.67/45.72 c # [type: int, range: [0,2147483647], default: 1000]
45.67/45.72 c heuristics/fracdiving/maxlpiterofs = 1500
45.67/45.72 c
45.67/45.72 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: 10]
45.67/45.72 c heuristics/guideddiving/freq = -1
45.67/45.72 c
45.67/45.72 c # maximal fraction of diving LP iterations compared to node LP iterations
45.67/45.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
45.67/45.72 c heuristics/guideddiving/maxlpiterquot = 0.075
45.67/45.72 c
45.67/45.72 c # additional number of allowed LP iterations
45.67/45.72 c # [type: int, range: [0,2147483647], default: 1000]
45.67/45.72 c heuristics/guideddiving/maxlpiterofs = 1500
45.67/45.72 c
45.67/45.72 c # maximal fraction of diving LP iterations compared to node LP iterations
45.67/45.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
45.67/45.72 c heuristics/intdiving/maxlpiterquot = 0.075
45.67/45.72 c
45.67/45.72 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: 10]
45.67/45.72 c heuristics/intshifting/freq = -1
45.67/45.72 c
45.67/45.72 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: 10]
45.67/45.72 c heuristics/linesearchdiving/freq = -1
45.67/45.72 c
45.67/45.72 c # maximal fraction of diving LP iterations compared to node LP iterations
45.67/45.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
45.67/45.72 c heuristics/linesearchdiving/maxlpiterquot = 0.075
45.67/45.72 c
45.67/45.72 c # additional number of allowed LP iterations
45.67/45.72 c # [type: int, range: [0,2147483647], default: 1000]
45.67/45.72 c heuristics/linesearchdiving/maxlpiterofs = 1500
45.67/45.72 c
45.67/45.72 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: 1]
45.67/45.72 c heuristics/nlp/freq = -1
45.67/45.72 c
45.67/45.72 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: 20]
45.67/45.72 c heuristics/objpscostdiving/freq = -1
45.67/45.72 c
45.67/45.72 c # maximal fraction of diving LP iterations compared to total iteration number
45.67/45.72 c # [type: real, range: [0,1], default: 0.01]
45.67/45.72 c heuristics/objpscostdiving/maxlpiterquot = 0.015
45.67/45.72 c
45.67/45.72 c # additional number of allowed LP iterations
45.67/45.72 c # [type: int, range: [0,2147483647], default: 1000]
45.67/45.72 c heuristics/objpscostdiving/maxlpiterofs = 1500
45.67/45.72 c
45.67/45.72 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: 1]
45.67/45.72 c heuristics/oneopt/freq = -1
45.67/45.72 c
45.67/45.72 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: 10]
45.67/45.72 c heuristics/pscostdiving/freq = -1
45.67/45.72 c
45.67/45.72 c # maximal fraction of diving LP iterations compared to node LP iterations
45.67/45.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
45.67/45.72 c heuristics/pscostdiving/maxlpiterquot = 0.075
45.67/45.72 c
45.67/45.72 c # additional number of allowed LP iterations
45.67/45.72 c # [type: int, range: [0,2147483647], default: 1000]
45.67/45.72 c heuristics/pscostdiving/maxlpiterofs = 1500
45.67/45.72 c
45.67/45.72 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: 0]
45.67/45.72 c heuristics/rens/freq = -1
45.67/45.72 c
45.67/45.72 c # minimum percentage of integer variables that have to be fixable
45.67/45.72 c # [type: real, range: [0,1], default: 0.5]
45.67/45.72 c heuristics/rens/minfixingrate = 0.3
45.67/45.72 c
45.67/45.72 c # number of nodes added to the contingent of the total nodes
45.67/45.72 c # [type: longint, range: [0,9223372036854775807], default: 500]
45.67/45.72 c heuristics/rens/nodesofs = 2000
45.67/45.72 c
45.67/45.72 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: 20]
45.67/45.72 c heuristics/rootsoldiving/freq = -1
45.67/45.72 c
45.67/45.72 c # maximal fraction of diving LP iterations compared to node LP iterations
45.67/45.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
45.67/45.72 c heuristics/rootsoldiving/maxlpiterquot = 0.015
45.67/45.72 c
45.67/45.72 c # additional number of allowed LP iterations
45.67/45.72 c # [type: int, range: [0,2147483647], default: 1000]
45.67/45.72 c heuristics/rootsoldiving/maxlpiterofs = 1500
45.67/45.72 c
45.67/45.72 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: 1]
45.67/45.72 c heuristics/rounding/freq = -1
45.67/45.72 c
45.67/45.72 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: 10]
45.67/45.72 c heuristics/shifting/freq = -1
45.67/45.72 c
45.67/45.72 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: 1]
45.67/45.72 c heuristics/simplerounding/freq = -1
45.67/45.72 c
45.67/45.72 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: 0]
45.67/45.72 c heuristics/trivial/freq = -1
45.67/45.72 c
45.67/45.72 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: 1]
45.67/45.72 c heuristics/trysol/freq = -1
45.67/45.72 c
45.67/45.72 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: 10]
45.67/45.72 c heuristics/veclendiving/freq = -1
45.67/45.72 c
45.67/45.72 c # maximal fraction of diving LP iterations compared to node LP iterations
45.67/45.72 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
45.67/45.72 c heuristics/veclendiving/maxlpiterquot = 0.075
45.67/45.72 c
45.67/45.72 c # additional number of allowed LP iterations
45.67/45.72 c # [type: int, range: [0,2147483647], default: 1000]
45.67/45.72 c heuristics/veclendiving/maxlpiterofs = 1500
45.67/45.72 c
45.67/45.72 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: 1]
45.67/45.72 c heuristics/zirounding/freq = -1
45.67/45.72 c
45.67/45.72 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: 0]
45.67/45.72 c separating/cmir/freq = -1
45.67/45.72 c
45.67/45.72 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: 0]
45.67/45.72 c separating/flowcover/freq = -1
45.67/45.72 c
45.67/45.72 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
45.67/45.72 c # [type: int, range: [-1,2147483647], default: -1]
45.67/45.72 c separating/rapidlearning/freq = 0
45.67/45.72 c
45.67/45.72 c -----------------------------------------------------------------------------------------------
45.67/45.72 c start solving
45.77/45.82 c
46.07/46.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.07/46.20 c 28.1s| 1 | 2 | 0 | - | 639M| 0 | - | 103k| 295k| 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1535.13/1535.63 c 1516s| 10000 | 9356 | 0 | 0.0 | 725M|4029 | - | 103k| 295k| 0 | 0 | 0 | 98 | 0 | 0.000000e+00 | -- | Inf
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.62 c
1800.07/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.62 c Solving Time (sec) : 1781.02
1800.07/1800.62 c Solving Nodes : 12518
1800.07/1800.62 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.62 c Dual Bound : +0.00000000000000e+00
1800.07/1800.62 c Gap : infinite
1800.07/1800.62 s UNKNOWN
1800.07/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.62 c Solving Time : 1781.02
1800.07/1800.62 c Original Problem :
1800.07/1800.62 c Problem name : HOME/instance-2664026-1276340751.opb
1800.07/1800.62 c Variables : 109757 (109757 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.62 c Constraints : 313451 initial, 313451 maximal
1800.07/1800.62 c Presolved Problem :
1800.07/1800.62 c Problem name : t_HOME/instance-2664026-1276340751.opb
1800.07/1800.62 c Variables : 103112 (103112 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.62 c Constraints : 295597 initial, 295695 maximal
1800.07/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.62 c trivial : 1.44 11 0 0 0 0 0 0 0
1800.07/1800.62 c dualfix : 1.39 0 0 0 0 0 0 0 0
1800.07/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c implics : 3.93 0 3638 0 0 0 0 0 0
1800.07/1800.62 c probing : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.62 c knapsack : 0.29 0 0 0 0 0 0 0 0
1800.07/1800.62 c linear : 18.03 2978 18 0 2989 0 17854 8761 18368
1800.07/1800.62 c logicor : 0.58 0 0 0 0 0 0 0 0
1800.07/1800.62 c root node : - 0 - - 0 - - - -
1800.07/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.62 c knapsack : 17522 0 73732 0 12486 7 7527 0 0 0
1800.07/1800.62 c logicor : 278075+ 0 70882 0 12486 34 1178233 0 0 0
1800.07/1800.62 c countsols : 0 0 0 0 12486 0 0 0 0 0
1800.07/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.62 c knapsack : 174.62 0.00 174.56 0.00 0.06
1800.07/1800.62 c logicor : 1264.23 0.00 9.52 0.00 1254.71
1800.07/1800.62 c countsols : 0.01 0.00 0.00 0.00 0.01
1800.07/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.62 c vbounds : 0.09 1 0 0
1800.07/1800.62 c rootredcost : 0.07 0 0 0
1800.07/1800.62 c pseudoobj : 0.04 0 0 0
1800.07/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.62 c propagation : 0.01 41 41 136 14.4 3 5.0 -
1800.07/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.62 c applied globally : - - - 98 11.3 - - -
1800.07/1800.62 c applied locally : - - - 0 0.0 - - -
1800.07/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.62 c redcost : 0.00 0 0 0 0 0
1800.07/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.62 c intobj : 0.00 0 0 0 0 0
1800.07/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.62 c gomory : 0.00 0 0 0 0 0
1800.07/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.62 c cmir : 0.00 0 0 0 0 0
1800.07/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.62 c clique : 0.00 0 0 0 0 0
1800.07/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.62 c mcf : 0.00 0 0 0 0 0
1800.07/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.62 c Pricers : Time Calls Vars
1800.07/1800.62 c problem variables: 0.00 0 0
1800.07/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.62 c inference : 304.93 12486 0 0 0 0 24972
1800.07/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.62 c random : 0.00 0 0 0 0 0 0
1800.07/1800.62 c Primal Heuristics : Time Calls Found
1800.07/1800.62 c LP solutions : 0.00 - 0
1800.07/1800.62 c pseudo solutions : 0.00 - 0
1800.07/1800.62 c trivial : 0.20 1 0
1800.07/1800.62 c simplerounding : 0.00 0 0
1800.07/1800.62 c zirounding : 0.00 0 0
1800.07/1800.62 c rounding : 0.00 0 0
1800.07/1800.62 c shifting : 0.00 0 0
1800.07/1800.62 c intshifting : 0.00 0 0
1800.07/1800.62 c oneopt : 0.00 0 0
1800.07/1800.62 c twoopt : 0.00 0 0
1800.07/1800.62 c fixandinfer : 0.00 0 0
1800.07/1800.62 c feaspump : 0.00 0 0
1800.07/1800.62 c coefdiving : 0.00 0 0
1800.07/1800.62 c pscostdiving : 0.00 0 0
1800.07/1800.62 c fracdiving : 0.00 0 0
1800.07/1800.62 c veclendiving : 0.00 0 0
1800.07/1800.62 c intdiving : 0.00 0 0
1800.07/1800.62 c actconsdiving : 0.00 0 0
1800.07/1800.62 c objpscostdiving : 0.00 0 0
1800.07/1800.62 c rootsoldiving : 0.00 0 0
1800.07/1800.62 c linesearchdiving : 0.00 0 0
1800.07/1800.62 c guideddiving : 0.00 0 0
1800.07/1800.62 c octane : 0.00 0 0
1800.07/1800.62 c rens : 0.00 0 0
1800.07/1800.62 c rins : 0.00 0 0
1800.07/1800.62 c localbranching : 0.00 0 0
1800.07/1800.62 c mutation : 0.00 0 0
1800.07/1800.62 c crossover : 0.00 0 0
1800.07/1800.62 c dins : 0.00 0 0
1800.07/1800.62 c undercover : 0.00 0 0
1800.07/1800.62 c nlp : 0.00 0 0
1800.07/1800.62 c trysol : 0.00 0 0
1800.07/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.62 c (at root node) : - 0 0 0.00 -
1800.07/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.62 c B&B Tree :
1800.07/1800.62 c number of runs : 1
1800.07/1800.62 c nodes : 12518
1800.07/1800.62 c nodes (total) : 12518
1800.07/1800.62 c nodes left : 11874
1800.07/1800.62 c max depth : 4029
1800.07/1800.62 c max depth (total): 4029
1800.07/1800.62 c backtracks : 25 (0.2%)
1800.07/1800.62 c delayed cutoffs : 581
1800.07/1800.62 c repropagations : 3315 (16963 domain reductions, 9 cutoffs)
1800.07/1800.62 c avg switch length: 2.31
1800.07/1800.62 c switching time : 5.38
1800.07/1800.62 c Solution :
1800.07/1800.62 c Solutions found : 0 (0 improvements)
1800.07/1800.62 c Primal Bound : -
1800.07/1800.62 c Dual Bound : +0.00000000000000e+00
1800.07/1800.62 c Gap : infinite
1800.07/1800.62 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.62 c Root Iterations : 0
1801.96/1802.51 c Time complete: 1801.97.
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-2664026-1276340751/watcher-2664026-1276340751 -o /tmp/evaluation-result-2664026-1276340751/solver-2664026-1276340751 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664026-1276340751.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.89 1.95 1.63 3/106 10343 /proc/meminfo: memFree=1479236/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=6584 CPUtime=0 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 997 0 0 0 0 0 0 0 19 0 1 0 9679014 6742016 920 1992294400 4194304 7136930 140737443579920 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10343/statm: 1646 930 254 719 0 925 0 [startup+0.0860891 s] /proc/loadavg: 1.89 1.95 1.63 3/106 10343 /proc/meminfo: memFree=1479236/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=11524 CPUtime=0.07 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 2346 0 0 0 7 0 0 0 21 0 1 0 9679014 11800576 2269 1992294400 4194304 7136930 140737443579920 18446744073709551615 5648970 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10343/statm: 2881 2270 268 719 0 2160 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11524 [startup+0.10109 s] /proc/loadavg: 1.89 1.95 1.63 3/106 10343 /proc/meminfo: memFree=1479236/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=12928 CPUtime=0.09 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 2696 0 0 0 9 0 0 0 21 0 1 0 9679014 13238272 2619 1992294400 4194304 7136930 140737443579920 18446744073709551615 6177543 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10343/statm: 3232 2619 268 719 0 2511 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12928 [startup+0.301109 s] /proc/loadavg: 1.89 1.95 1.63 3/106 10343 /proc/meminfo: memFree=1479236/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=19520 CPUtime=0.29 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 4354 0 0 0 28 1 0 0 21 0 1 0 9679014 19988480 4277 1992294400 4194304 7136930 140737443579920 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10343/statm: 4880 4277 268 719 0 4159 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19520 [startup+0.701148 s] /proc/loadavg: 1.89 1.95 1.63 3/106 10343 /proc/meminfo: memFree=1479236/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=34976 CPUtime=0.69 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 8226 0 0 0 66 3 0 0 22 0 1 0 9679014 35815424 8149 1992294400 4194304 7136930 140737443579920 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10343/statm: 8744 8149 268 719 0 8023 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 34976 [startup+1.50122 s] /proc/loadavg: 1.89 1.95 1.63 2/107 10344 /proc/meminfo: memFree=1437564/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=62536 CPUtime=1.49 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 15073 0 0 0 143 6 0 0 25 0 1 0 9679014 64036864 14996 1992294400 4194304 7136930 140737443579920 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10343/statm: 15634 14996 268 719 0 14913 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 62536 [startup+3.10138 s] /proc/loadavg: 1.89 1.95 1.63 2/107 10344 /proc/meminfo: memFree=1400984/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=114452 CPUtime=3.09 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 28042 0 0 0 298 11 0 0 25 0 1 0 9679014 117198848 27965 1992294400 4194304 7136930 140737443579920 18446744073709551615 4361616 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10343/statm: 28613 27965 268 719 0 27892 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 114452 [startup+6.30068 s] /proc/loadavg: 1.81 1.94 1.62 2/107 10344 /proc/meminfo: memFree=1293848/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=322096 CPUtime=6.29 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 80142 0 0 0 598 31 0 0 25 0 1 0 9679014 329826304 79711 1992294400 4194304 7136930 140737443579920 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 80524 79724 282 719 0 79803 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 322096 [startup+12.7003 s] /proc/loadavg: 1.75 1.92 1.62 2/107 10344 /proc/meminfo: memFree=817440/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=702516 CPUtime=12.69 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 172093 0 0 0 1175 94 0 0 25 0 1 0 9679014 719376384 171662 1992294400 4194304 7136930 140737443579920 18446744073709551615 6164672 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 175629 171672 346 719 0 174908 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 702516 [startup+25.5015 s] /proc/loadavg: 1.58 1.88 1.61 2/107 10344 /proc/meminfo: memFree=774412/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=719596 CPUtime=25.49 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 184823 0 0 0 2012 537 0 0 25 0 1 0 9679014 736866304 175911 1992294400 4194304 7136930 140737443579920 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 179899 175911 347 719 0 179178 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 719596 [startup+51.1009 s] /proc/loadavg: 1.38 1.81 1.59 2/107 10346 /proc/meminfo: memFree=664920/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=839652 CPUtime=51.07 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 256087 0 0 0 3874 1233 0 0 25 0 1 0 9679014 859803648 203626 1992294400 4194304 7136930 140737443579920 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 209913 203626 391 719 0 209192 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 839652 [startup+102.309 s] /proc/loadavg: 1.16 1.68 1.56 2/107 10346 /proc/meminfo: memFree=634664/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=869124 CPUtime=102.26 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 264012 0 0 0 8988 1238 0 0 25 0 1 0 9679014 889982976 210895 1992294400 4194304 7136930 140737443579920 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 217281 210895 393 719 0 216560 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 869124 [startup+162.302 s] /proc/loadavg: 1.06 1.55 1.52 2/107 10348 /proc/meminfo: memFree=630200/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=873596 CPUtime=162.24 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 265136 0 0 0 14985 1239 0 0 25 0 1 0 9679014 894562304 212019 1992294400 4194304 7136930 140737443579920 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 218399 212019 393 719 0 217678 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 873596 [startup+222.301 s] /proc/loadavg: 1.02 1.45 1.49 2/107 10350 /proc/meminfo: memFree=627100/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=876832 CPUtime=222.22 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 266048 0 0 0 20982 1240 0 0 25 0 1 0 9679014 897875968 212801 1992294400 4194304 7136930 140737443579920 18446744073709551615 5005225 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 219208 212801 393 719 0 218487 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 876832 [startup+282.301 s] /proc/loadavg: 1.01 1.36 1.45 2/107 10352 /proc/meminfo: memFree=623380/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=880468 CPUtime=282.2 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 267031 0 0 0 26977 1243 0 0 25 0 1 0 9679014 901599232 213719 1992294400 4194304 7136930 140737443579920 18446744073709551615 4853673 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 220117 213719 393 719 0 219396 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 880468 [startup+342.302 s] /proc/loadavg: 1.00 1.30 1.42 2/107 10354 /proc/meminfo: memFree=616560/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=887572 CPUtime=342.18 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 268919 0 0 0 32973 1245 0 0 25 0 1 0 9679014 908873728 215412 1992294400 4194304 7136930 140737443579920 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 221893 215412 393 719 0 221172 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 887572 [startup+402.301 s] /proc/loadavg: 1.00 1.24 1.39 2/107 10354 /proc/meminfo: memFree=614080/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=890104 CPUtime=402.16 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 269544 0 0 0 38969 1247 0 0 25 0 1 0 9679014 911466496 216037 1992294400 4194304 7136930 140737443579920 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 222526 216037 393 719 0 221805 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 890104 [startup+462.301 s] /proc/loadavg: 1.00 1.19 1.36 2/107 10356 /proc/meminfo: memFree=612220/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=892016 CPUtime=462.14 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 270007 0 0 0 44966 1248 0 0 25 0 1 0 9679014 913424384 216500 1992294400 4194304 7136930 140737443579920 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 223004 216500 393 719 0 222283 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 892016 [startup+522.301 s] /proc/loadavg: 1.00 1.16 1.34 2/107 10361 /proc/meminfo: memFree=608748/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=895452 CPUtime=522.11 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 270815 0 0 0 50961 1250 0 0 25 0 1 0 9679014 916942848 217308 1992294400 4194304 7136930 140737443579920 18446744073709551615 4697107 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 223863 217308 393 719 0 223142 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 895452 [startup+582.301 s] /proc/loadavg: 1.00 1.12 1.32 2/107 10363 /proc/meminfo: memFree=605648/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=898628 CPUtime=582.1 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 271606 0 0 0 56956 1254 0 0 25 0 1 0 9679014 920195072 218099 1992294400 4194304 7136930 140737443579920 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 224657 218099 393 719 0 223936 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 898628 [startup+642.301 s] /proc/loadavg: 1.00 1.10 1.29 2/107 10365 /proc/meminfo: memFree=600068/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=904368 CPUtime=642.09 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 273177 0 0 0 62950 1259 0 0 25 0 1 0 9679014 926072832 219475 1992294400 4194304 7136930 140737443579920 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 226092 219475 393 719 0 225371 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 904368 [startup+702.301 s] ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.17 2/107 10375 /proc/meminfo: memFree=578492/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=927768 CPUtime=1061.96 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 278756 0 0 0 104909 1287 0 0 25 0 1 0 9679014 950034432 224924 1992294400 4194304 7136930 140737443579920 18446744073709551615 5005114 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 231942 224924 393 719 0 231221 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 927768 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.16 2/107 10377 /proc/meminfo: memFree=576756/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=929316 CPUtime=1121.94 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 279149 0 0 0 110905 1289 0 0 25 0 1 0 9679014 951619584 225317 1992294400 4194304 7136930 140737443579920 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 232329 225317 393 719 0 231608 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 929316 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.15 2/107 10379 /proc/meminfo: memFree=576136/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=929980 CPUtime=1181.93 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 279308 0 0 0 116902 1291 0 0 25 0 1 0 9679014 952299520 225476 1992294400 4194304 7136930 140737443579920 18446744073709551615 4697127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 232495 225476 393 719 0 231774 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 929980 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.14 2/107 10381 /proc/meminfo: memFree=574028/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=931928 CPUtime=1241.91 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 279800 0 0 0 122897 1294 0 0 25 0 1 0 9679014 954294272 225968 1992294400 4194304 7136930 140737443579920 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 232982 225968 393 719 0 232261 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 931928 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.13 2/107 10381 /proc/meminfo: memFree=570556/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=935472 CPUtime=1301.9 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 280972 0 0 0 128891 1299 0 0 25 0 1 0 9679014 957923328 226815 1992294400 4194304 7136930 140737443579920 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 233868 226815 393 719 0 233147 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 935472 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.11 2/107 10383 /proc/meminfo: memFree=569936/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=936016 CPUtime=1361.88 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 281123 0 0 0 134884 1304 0 0 25 0 1 0 9679014 958480384 226966 1992294400 4194304 7136930 140737443579920 18446744073709551615 4853673 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 234004 226966 393 719 0 233283 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 936016 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.10 2/107 10385 /proc/meminfo: memFree=569688/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=936332 CPUtime=1421.86 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 281183 0 0 0 140879 1307 0 0 25 0 1 0 9679014 958803968 227026 1992294400 4194304 7136930 140737443579920 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 234083 227026 393 719 0 233362 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 936332 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 10387 /proc/meminfo: memFree=566340/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=939940 CPUtime=1481.84 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 282141 0 0 0 146871 1313 0 0 25 0 1 0 9679014 962498560 227854 1992294400 4194304 7136930 140737443579920 18446744073709551615 4853690 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 234985 227854 393 719 0 234264 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 939940 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 10389 /proc/meminfo: memFree=562124/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=944328 CPUtime=1541.83 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 283287 0 0 0 152865 1318 0 0 25 0 1 0 9679014 966991872 228935 1992294400 4194304 7136930 140737443579920 18446744073709551615 4853690 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 236082 228935 393 719 0 235361 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 944328 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 10389 /proc/meminfo: memFree=561628/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=944660 CPUtime=1601.81 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 283364 0 0 0 158859 1322 0 0 25 0 1 0 9679014 967331840 229012 1992294400 4194304 7136930 140737443579920 18446744073709551615 5005110 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 236165 229012 393 719 0 235444 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 944660 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.07 2/107 10391 /proc/meminfo: memFree=561504/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=944660 CPUtime=1661.8 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 283380 0 0 0 164855 1325 0 0 25 0 1 0 9679014 967331840 229028 1992294400 4194304 7136930 140737443579920 18446744073709551615 5005155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 236165 229028 393 719 0 235444 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 944660 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.07 2/107 10393 /proc/meminfo: memFree=560016/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=946200 CPUtime=1721.78 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 283766 0 0 0 170850 1328 0 0 25 0 1 0 9679014 968908800 229414 1992294400 4194304 7136930 140737443579920 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 236550 229414 393 719 0 235829 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 946200 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.06 2/107 10395 /proc/meminfo: memFree=559644/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=946340 CPUtime=1781.76 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 283788 0 0 0 176846 1330 0 0 25 0 1 0 9679014 969052160 229436 1992294400 4194304 7136930 140737443579920 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 236585 229436 393 719 0 235864 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 946340 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.06 2/107 10395 /proc/meminfo: memFree=559644/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=946340 CPUtime=1800.07 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 283789 0 0 0 178676 1331 0 0 25 0 1 0 9679014 969052160 229437 1992294400 4194304 7136930 140737443579920 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10343/statm: 236585 229437 393 719 0 235864 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 946340 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.06 2/107 10395 /proc/meminfo: memFree=559644/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=922248 CPUtime=1800.85 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 284263 0 0 0 178753 1332 0 0 25 0 1 0 9679014 944381952 224002 1992294400 4194304 7136930 140737443579920 18446744073709551615 6166784 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10343/statm: 230562 224002 399 719 0 229841 0 Current children cumulated CPU time (s) 1800.85 Current children cumulated vsize (KiB) 922248 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.06 2/108 10396 /proc/meminfo: memFree=632796/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=320444 CPUtime=1801.65 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 284263 0 0 0 178827 1338 0 0 25 0 1 0 9679014 328134656 76361 1992294400 4194304 7136930 140737443579920 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10343/statm: 79855 76361 399 719 0 79134 0 Current children cumulated CPU time (s) 1801.65 Current children cumulated vsize (KiB) 320444 [startup+1802.4 s] /proc/loadavg: 1.00 1.00 1.06 2/108 10396 /proc/meminfo: memFree=632796/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=189420 CPUtime=1801.85 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 284263 0 0 0 178845 1340 0 0 25 0 1 0 9679014 193966080 44705 1992294400 4194304 7136930 140737443579920 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10343/statm: 47355 44496 399 719 0 46634 0 Current children cumulated CPU time (s) 1801.85 Current children cumulated vsize (KiB) 189420 [startup+1802.5 s] /proc/loadavg: 1.00 1.00 1.06 2/108 10396 /proc/meminfo: memFree=632796/2059040 swapFree=4192956/4192956 [pid=10343] ppid=10341 vsize=119424 CPUtime=1801.96 /proc/10343/stat : 10343 (pbscip.linux.x8) R 10341 10343 9991 0 -1 4202496 284263 0 0 0 178855 1341 0 0 25 0 1 0 9679014 122290176 27255 1992294400 4194304 7136930 140737443579920 18446744073709551615 4333583 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10343/statm: 29856 27255 399 719 0 29135 0 Current children cumulated CPU time (s) 1801.96 Current children cumulated vsize (KiB) 119424 Child status: 0 Real time (s): 1802.51 CPU time (s): 1801.98 CPU user time (s): 1788.55 CPU system time (s): 13.423 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (KiB): 948156 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.55 system time used= 13.423 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 284270 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= 5 involuntary context switches= 25600 runsolver used 2.90156 second user time and 8.59269 second system time The end
Begin job on node004 at 2010-06-12 13:05:51 IDJOB=2664026 IDBENCH=1489 IDSOLVER=1167 FILE ID=node004/2664026-1276340751 PBS_JOBID= 11173186 Free space on /tmp= 62528 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any 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.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664026-1276340751/watcher-2664026-1276340751 -o /tmp/evaluation-result-2664026-1276340751/solver-2664026-1276340751 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664026-1276340751.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8c486f10dc9ea0956b38d79189648654 RANDOM SEED=626010191 node004.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.210 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.42 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.210 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 : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1479764 kB Buffers: 116276 kB Cached: 332900 kB SwapCached: 0 kB Active: 193688 kB Inactive: 314828 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1479764 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 14484 kB Writeback: 0 kB AnonPages: 59352 kB Mapped: 15384 kB Slab: 48936 kB PageTables: 4092 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182328 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= 62524 MiB End job on node004 at 2010-06-12 13:35:54