| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 | ? (TO) | 1802.23 | 1802.75 |
| Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl.opb |
| MD5SUM | 70ea01a607f0d01f6199fb93098b84d8 |
| 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 | 324.171 |
| 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 | 77106 |
| Total number of constraints | 218779 |
| Number of constraints which are clauses | 205559 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 13220 |
| 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 | 129 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 510 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
3.49/3.51 c SCIP version 1.1.0.7
3.49/3.51 c LP-Solver Clp 1.8.2
3.49/3.51 c user parameter file <scip.set> not found - using default parameters
3.49/3.51 c read problem <HOME/instance-1868629-1245130131.opb>
3.49/3.51 c original problem has 77106 variables (77106 bin, 0 int, 0 impl, 0 cont) and 218779 constraints
4.49/4.55 c No objective function, only one solution is needed.
4.49/4.55 c start presolving problem
4.49/4.55 c presolving:
8.49/8.58 c (round 1) 3221 del vars, 4039 del conss, 1432 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4306962 impls, 0 clqs
8.89/8.90 c (round 2) 3525 del vars, 8825 del conss, 1624 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4307384 impls, 0 clqs
9.09/9.10 c (round 3) 3527 del vars, 9060 del conss, 1626 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4307384 impls, 0 clqs
9.39/9.46 c (round 4) 3537 del vars, 9226 del conss, 1636 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4307694 impls, 0 clqs
9.69/9.71 c (round 5) 3841 del vars, 9391 del conss, 1645 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4308290 impls, 0 clqs
9.89/9.95 c (round 6) 3999 del vars, 10153 del conss, 1657 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4308622 impls, 0 clqs
10.08/10.18 c (round 7) 4159 del vars, 10623 del conss, 1670 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4309480 impls, 0 clqs
10.29/10.39 c (round 8) 4186 del vars, 10963 del conss, 1685 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4310373 impls, 0 clqs
10.59/10.60 c (round 9) 4233 del vars, 11060 del conss, 1702 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4312227 impls, 0 clqs
10.79/10.81 c (round 10) 4263 del vars, 11174 del conss, 1725 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4312814 impls, 0 clqs
10.99/11.02 c (round 11) 4317 del vars, 11276 del conss, 1753 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4313340 impls, 0 clqs
11.19/11.24 c (round 12) 4428 del vars, 11478 del conss, 1789 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4314818 impls, 0 clqs
11.39/11.45 c (round 13) 4532 del vars, 11794 del conss, 1824 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4318258 impls, 0 clqs
11.59/11.66 c (round 14) 4574 del vars, 12037 del conss, 1858 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4318724 impls, 0 clqs
11.79/11.88 c (round 15) 4631 del vars, 12156 del conss, 1888 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4321514 impls, 0 clqs
11.99/12.09 c (round 16) 4660 del vars, 12284 del conss, 1914 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4321754 impls, 0 clqs
12.19/12.29 c (round 17) 4711 del vars, 12382 del conss, 1940 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4322250 impls, 0 clqs
12.49/12.50 c (round 18) 4774 del vars, 12544 del conss, 1971 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4323332 impls, 0 clqs
12.69/12.71 c (round 19) 4842 del vars, 12726 del conss, 2002 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4325602 impls, 0 clqs
12.89/12.91 c (round 20) 4871 del vars, 12871 del conss, 2027 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4325750 impls, 0 clqs
13.09/13.12 c (round 21) 4913 del vars, 12959 del conss, 2053 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4325892 impls, 0 clqs
13.28/13.32 c (round 22) 4977 del vars, 13099 del conss, 2084 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4326175 impls, 0 clqs
13.49/13.53 c (round 23) 5035 del vars, 13272 del conss, 2110 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4327091 impls, 0 clqs
13.69/13.74 c (round 24) 5070 del vars, 13409 del conss, 2136 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4327723 impls, 0 clqs
13.89/13.94 c (round 25) 5141 del vars, 13552 del conss, 2170 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4328422 impls, 0 clqs
14.09/14.14 c (round 26) 5200 del vars, 13735 del conss, 2202 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4328998 impls, 0 clqs
14.30/14.34 c (round 27) 5263 del vars, 13933 del conss, 2243 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4329742 impls, 0 clqs
14.49/14.55 c (round 28) 5282 del vars, 14031 del conss, 2254 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4329946 impls, 0 clqs
14.69/14.75 c (round 29) 5294 del vars, 14077 del conss, 2261 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4330286 impls, 0 clqs
14.88/14.94 c (round 30) 5306 del vars, 14113 del conss, 2266 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4330698 impls, 0 clqs
15.08/15.14 c (round 31) 5311 del vars, 14144 del conss, 2271 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4330700 impls, 0 clqs
15.39/15.47 c (round 32) 5321 del vars, 14192 del conss, 2281 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4330766 impls, 0 clqs
15.59/15.68 c (round 33) 5383 del vars, 14236 del conss, 2288 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4331640 impls, 0 clqs
15.79/15.88 c (round 34) 5394 del vars, 14368 del conss, 2298 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4331922 impls, 0 clqs
15.99/16.08 c (round 35) 5444 del vars, 14432 del conss, 2312 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4332921 impls, 0 clqs
16.18/16.28 c (round 36) 5488 del vars, 14570 del conss, 2328 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4333397 impls, 0 clqs
16.39/16.49 c (round 37) 5543 del vars, 14742 del conss, 2361 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4334115 impls, 0 clqs
16.59/16.69 c (round 38) 5560 del vars, 14831 del conss, 2370 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4334279 impls, 0 clqs
16.79/16.89 c (round 39) 5572 del vars, 14873 del conss, 2377 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4334419 impls, 0 clqs
16.99/17.08 c (round 40) 5584 del vars, 14909 del conss, 2382 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4334831 impls, 0 clqs
17.19/17.28 c (round 41) 5589 del vars, 14940 del conss, 2387 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4334833 impls, 0 clqs
17.59/17.62 c (round 42) 5599 del vars, 14988 del conss, 2397 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4334899 impls, 0 clqs
17.78/17.82 c (round 43) 5661 del vars, 15032 del conss, 2404 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4335777 impls, 0 clqs
17.99/18.03 c (round 44) 5672 del vars, 15164 del conss, 2414 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4336059 impls, 0 clqs
18.19/18.23 c (round 45) 5721 del vars, 15227 del conss, 2428 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4337644 impls, 0 clqs
18.38/18.43 c (round 46) 5766 del vars, 15364 del conss, 2444 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4338684 impls, 0 clqs
18.59/18.64 c (round 47) 5821 del vars, 15538 del conss, 2477 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4339610 impls, 0 clqs
18.79/18.84 c (round 48) 5838 del vars, 15627 del conss, 2486 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4339866 impls, 0 clqs
18.99/19.04 c (round 49) 5850 del vars, 15669 del conss, 2493 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4340012 impls, 0 clqs
19.19/19.24 c (round 50) 5862 del vars, 15705 del conss, 2498 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4340424 impls, 0 clqs
19.39/19.44 c (round 51) 5867 del vars, 15736 del conss, 2503 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4340426 impls, 0 clqs
19.69/19.77 c (round 52) 5877 del vars, 15784 del conss, 2513 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4340492 impls, 0 clqs
19.89/19.98 c (round 53) 5939 del vars, 15828 del conss, 2520 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4341366 impls, 0 clqs
20.08/20.18 c (round 54) 5950 del vars, 15960 del conss, 2530 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4341648 impls, 0 clqs
20.29/20.38 c (round 55) 5973 del vars, 15997 del conss, 2543 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4341692 impls, 0 clqs
20.49/20.58 c (round 56) 6042 del vars, 16105 del conss, 2559 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4344854 impls, 0 clqs
20.69/20.79 c (round 57) 6097 del vars, 16329 del conss, 2592 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4345446 impls, 0 clqs
20.89/20.99 c (round 58) 6115 del vars, 16418 del conss, 2601 chg bounds, 6611 chg sides, 13855 chg coeffs, 0 upgd conss, 4345638 impls, 0 clqs
21.09/21.18 c (round 59) 6130 del vars, 16464 del conss, 2610 chg bounds, 6612 chg sides, 13856 chg coeffs, 0 upgd conss, 4345792 impls, 0 clqs
21.29/21.38 c (round 60) 6139 del vars, 16514 del conss, 2619 chg bounds, 6612 chg sides, 13856 chg coeffs, 0 upgd conss, 4345868 impls, 0 clqs
21.79/21.86 c (round 61) 6147 del vars, 16539 del conss, 2627 chg bounds, 6612 chg sides, 13856 chg coeffs, 0 upgd conss, 4345878 impls, 0 clqs
24.09/24.12 c (round 62) 6153 del vars, 16618 del conss, 2633 chg bounds, 6612 chg sides, 13856 chg coeffs, 202160 upgd conss, 4345962 impls, 0 clqs
46.37/46.47 c presolving (63 rounds):
46.37/46.47 c 6153 deleted vars, 16618 deleted constraints, 2633 tightened bounds, 0 added holes, 6612 changed sides, 13856 changed coefficients
46.37/46.47 c 4345962 implications, 0 cliques
46.37/46.47 c presolved problem has 70953 variables (70953 bin, 0 int, 0 impl, 0 cont) and 202161 constraints
46.37/46.47 c 13220 constraints of type <knapsack>
46.37/46.47 c 188941 constraints of type <logicor>
46.37/46.47 c transformed objective value is always integral (scale: 1)
46.37/46.47 c Presolving Time: 35.74
46.37/46.47 c SATUNSAT-LIN
46.37/46.47 c -----------------------------------------------------------------------------------------------
46.37/46.47 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
46.37/46.47 c # [type: int, range: [-1,2147483647], default: 0]
46.37/46.47 c separating/flowcover/freq = c -1
46.37/46.47 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
46.37/46.47 c # [type: int, range: [-1,2147483647], default: 0]
46.37/46.47 c separating/cmir/freq = c -1
46.37/46.47 c # additional number of allowed LP iterations
46.37/46.47 c # [type: int, range: [0,2147483647], default: 1000]
46.37/46.47 c heuristics/veclendiving/maxlpiterofs = c 1500
46.37/46.47 c # maximal fraction of diving LP iterations compared to node LP iterations
46.37/46.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
46.37/46.47 c heuristics/veclendiving/maxlpiterquot = c 0.075
46.37/46.47 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
46.37/46.47 c # [type: int, range: [-1,2147483647], default: 10]
46.37/46.47 c heuristics/veclendiving/freq = c -1
46.37/46.47 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
46.37/46.47 c # [type: int, range: [-1,2147483647], default: 1]
46.37/46.47 c heuristics/simplerounding/freq = c -1
46.37/46.47 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
46.37/46.47 c # [type: int, range: [-1,2147483647], default: 10]
46.37/46.47 c heuristics/shifting/freq = c -1
46.37/46.47 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
46.37/46.47 c # [type: int, range: [-1,2147483647], default: 1]
46.37/46.47 c heuristics/rounding/freq = c -1
46.37/46.47 c # additional number of allowed LP iterations
46.37/46.47 c # [type: int, range: [0,2147483647], default: 1000]
46.37/46.47 c heuristics/rootsoldiving/maxlpiterofs = c 1500
46.37/46.47 c # maximal fraction of diving LP iterations compared to node LP iterations
46.37/46.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
46.37/46.47 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
46.37/46.47 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
46.37/46.47 c # [type: int, range: [-1,2147483647], default: 20]
46.37/46.47 c heuristics/rootsoldiving/freq = c -1
46.37/46.47 c # number of nodes added to the contingent of the total nodes
46.37/46.47 c # [type: longint, range: [0,9223372036854775807], default: 500]
46.37/46.47 c heuristics/rens/nodesofs = c 2000
46.37/46.47 c # minimum percentage of integer variables that have to be fixable
46.37/46.47 c # [type: real, range: [0,1], default: 0.5]
46.37/46.47 c heuristics/rens/minfixingrate = c 0.3
46.37/46.47 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
46.37/46.47 c # [type: int, range: [-1,2147483647], default: 0]
46.37/46.47 c heuristics/rens/freq = c -1
46.37/46.47 c # additional number of allowed LP iterations
46.37/46.47 c # [type: int, range: [0,2147483647], default: 1000]
46.37/46.47 c heuristics/pscostdiving/maxlpiterofs = c 1500
46.37/46.47 c # maximal fraction of diving LP iterations compared to node LP iterations
46.37/46.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
46.37/46.47 c heuristics/pscostdiving/maxlpiterquot = c 0.075
46.37/46.47 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
46.37/46.47 c # [type: int, range: [-1,2147483647], default: 10]
46.37/46.47 c heuristics/pscostdiving/freq = c -1
46.37/46.47 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
46.37/46.47 c # [type: int, range: [-1,2147483647], default: 1]
46.37/46.47 c heuristics/oneopt/freq = c -1
46.37/46.47 c # additional number of allowed LP iterations
46.37/46.47 c # [type: int, range: [0,2147483647], default: 1000]
46.37/46.47 c heuristics/objpscostdiving/maxlpiterofs = c 1500
46.37/46.47 c # maximal fraction of diving LP iterations compared to total iteration number
46.37/46.47 c # [type: real, range: [0,1], default: 0.01]
46.37/46.47 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
46.37/46.47 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
46.37/46.47 c # [type: int, range: [-1,2147483647], default: 20]
46.37/46.47 c heuristics/objpscostdiving/freq = c -1
46.37/46.47 c # additional number of allowed LP iterations
46.37/46.47 c # [type: int, range: [0,2147483647], default: 1000]
46.37/46.47 c heuristics/linesearchdiving/maxlpiterofs = c 1500
46.37/46.47 c # maximal fraction of diving LP iterations compared to node LP iterations
46.37/46.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
46.37/46.47 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
46.37/46.47 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
46.37/46.47 c # [type: int, range: [-1,2147483647], default: 10]
46.37/46.47 c heuristics/linesearchdiving/freq = c -1
46.37/46.47 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
46.37/46.47 c # [type: int, range: [-1,2147483647], default: 10]
46.37/46.47 c heuristics/intshifting/freq = c -1
46.37/46.47 c # maximal fraction of diving LP iterations compared to node LP iterations
46.37/46.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
46.37/46.47 c heuristics/intdiving/maxlpiterquot = c 0.075
46.37/46.47 c # additional number of allowed LP iterations
46.37/46.47 c # [type: int, range: [0,2147483647], default: 1000]
46.37/46.47 c heuristics/guideddiving/maxlpiterofs = c 1500
46.37/46.47 c # maximal fraction of diving LP iterations compared to node LP iterations
46.37/46.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
46.37/46.47 c heuristics/guideddiving/maxlpiterquot = c 0.075
46.37/46.47 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
46.37/46.47 c # [type: int, range: [-1,2147483647], default: 10]
46.37/46.47 c heuristics/guideddiving/freq = c -1
46.37/46.47 c # additional number of allowed LP iterations
46.37/46.47 c # [type: int, range: [0,2147483647], default: 1000]
46.37/46.47 c heuristics/fracdiving/maxlpiterofs = c 1500
46.37/46.47 c # maximal fraction of diving LP iterations compared to node LP iterations
46.37/46.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
46.37/46.47 c heuristics/fracdiving/maxlpiterquot = c 0.075
46.37/46.47 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
46.37/46.47 c # [type: int, range: [-1,2147483647], default: 10]
46.37/46.47 c heuristics/fracdiving/freq = c -1
46.37/46.47 c # additional number of allowed LP iterations
46.37/46.47 c # [type: int, range: [0,2147483647], default: 1000]
46.37/46.47 c heuristics/feaspump/maxlpiterofs = c 2000
46.37/46.47 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
46.37/46.47 c # [type: int, range: [-1,2147483647], default: 20]
46.37/46.47 c heuristics/feaspump/freq = c -1
46.37/46.47 c # minimum percentage of integer variables that have to be fixed
46.37/46.47 c # [type: real, range: [0,1], default: 0.666]
46.37/46.47 c heuristics/crossover/minfixingrate = c 0.5
46.37/46.47 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
46.37/46.47 c # [type: real, range: [0,1], default: 0.1]
46.37/46.47 c heuristics/crossover/nodesquot = c 0.15
46.37/46.47 c # number of nodes without incumbent change that heuristic should wait
46.37/46.47 c # [type: longint, range: [0,9223372036854775807], default: 200]
46.37/46.47 c heuristics/crossover/nwaitingnodes = c 100
46.37/46.47 c # number of nodes added to the contingent of the total nodes
46.37/46.47 c # [type: longint, range: [0,9223372036854775807], default: 500]
46.37/46.47 c heuristics/crossover/nodesofs = c 750
46.37/46.47 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
46.37/46.47 c # [type: int, range: [-1,2147483647], default: 30]
46.37/46.47 c heuristics/crossover/freq = c -1
46.37/46.47 c # additional number of allowed LP iterations
46.37/46.47 c # [type: int, range: [0,2147483647], default: 1000]
46.37/46.47 c heuristics/coefdiving/maxlpiterofs = c 1500
46.37/46.47 c # maximal fraction of diving LP iterations compared to node LP iterations
46.37/46.47 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
46.37/46.47 c heuristics/coefdiving/maxlpiterquot = c 0.075
46.37/46.47 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
46.37/46.47 c # [type: int, range: [-1,2147483647], default: 10]
46.37/46.47 c heuristics/coefdiving/freq = c -1
46.37/46.47 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
46.37/46.47 c # [type: int, range: [-1,2147483647], default: -1]
46.37/46.47 c presolving/probing/maxrounds = c 0
46.37/46.47 c # should presolving try to simplify knapsacks
46.37/46.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
46.37/46.47 c constraints/knapsack/simplifyinequalities = c TRUE
46.37/46.47 c # should disaggregation of knapsack constraints be allowed in preprocessing?
46.37/46.47 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
46.37/46.47 c constraints/knapsack/disaggregation = c FALSE
46.37/46.47 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
46.37/46.47 c # [type: int, range: [-1,2147483647], default: -1]
46.37/46.47 c constraints/knapsack/maxnumcardlift = c 0
46.37/46.47 c # should presolving try to simplify inequalities
46.47/46.54 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
46.47/46.54 c constraints/linear/simplifyinequalities = c TRUE
46.47/46.54 c # maximal number of separation rounds in the root node (-1: unlimited)
46.47/46.54 c # [type: int, range: [-1,2147483647], default: -1]
46.47/46.54 c separating/maxroundsroot = c 5
46.47/46.54 c # maximal number of separation rounds per node (-1: unlimited)
46.47/46.54 c # [type: int, range: [-1,2147483647], default: 5]
46.47/46.54 c separating/maxrounds = c 1
46.47/46.54 c # solving stops, if the given number of solutions were found (-1: no limit)
46.47/46.54 c # [type: int, range: [-1,2147483647], default: -1]
46.47/46.54 c limits/solutions = c 1
46.47/46.54 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
46.47/46.54 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
46.47/46.54 c limits/memory = c 1620
46.47/46.54 c # maximal time in seconds to run
46.47/46.54 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
46.47/46.54 c limits/time = c 1791
46.47/46.54 c # frequency for displaying node information lines
46.47/46.54 c # [type: int, range: [-1,2147483647], default: 100]
46.47/46.54 c display/freq = c 10000
46.47/46.54 c -----------------------------------------------------------------------------------------------
46.47/46.54 c start solving problem
46.47/46.54 c
65.27/65.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.27/65.34 c 55.0s| 1 | 0 | 12506 | 538M| 0 |8898 | 70k| 202k| 202k| 70k| 202k| 0 | 0 | 0 | 4.133843e+03 | -- | Inf
160.24/160.32 c 149s| 1 | 0 | 14269 | 538M| 0 |8651 | 70k| 202k| 202k| 70k| 202k| 273 | 0 | 0 | 4.249764e+03 | -- | Inf
235.62/235.76 c 224s| 1 | 0 | 16235 | 539M| 0 |8690 | 70k| 202k| 202k| 70k| 202k| 455 | 0 | 0 | 4.294026e+03 | -- | Inf
316.90/317.08 c 305s| 1 | 0 | 17872 | 540M| 0 |8976 | 70k| 202k| 202k| 70k| 202k| 644 | 0 | 0 | 4.314573e+03 | -- | Inf
408.38/408.51 c 397s| 1 | 0 | 19584 | 541M| 0 |8773 | 70k| 202k| 202k| 70k| 202k| 829 | 0 | 0 | 4.335643e+03 | -- | Inf
519.84/520.06 c 508s| 1 | 0 | 22151 | 541M| 0 |9107 | 70k| 202k| 202k| 70k| 203k|1004 | 0 | 0 | 4.368155e+03 | -- | Inf
703.09/703.32 c 691s| 1 | 2 | 22151 | 541M| 0 |9107 | 70k| 202k| 202k| 70k| 203k|1004 | 0 | 17 | 4.368155e+03 | -- | Inf
1801.58/1802.17 c
1801.58/1802.17 c SCIP Status : solving was interrupted [user interrupt]
1801.58/1802.17 c Solving Time (sec) : 1788.92
1801.58/1802.17 c Solving Nodes : 7
1801.58/1802.17 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1801.58/1802.17 c Dual Bound : +4.42428934071981e+03
1801.58/1802.17 c Gap : infinite
1801.58/1802.17 c NODE 7
1801.58/1802.17 c DUAL BOUND 4424.29
1801.58/1802.17 c PRIMAL BOUND 1e+20
1801.58/1802.17 c GAP 1e+20
1801.58/1802.17 s UNKNOWN
1801.58/1802.17 c SCIP Status : solving was interrupted [user interrupt]
1801.58/1802.18 c Solving Time : 1788.92
1801.58/1802.18 c Original Problem :
1801.58/1802.18 c Problem name : HOME/instance-1868629-1245130131.opb
1801.58/1802.18 c Variables : 77106 (77106 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.58/1802.18 c Constraints : 218779 initial, 218779 maximal
1801.58/1802.18 c Presolved Problem :
1801.58/1802.18 c Problem name : t_HOME/instance-1868629-1245130131.opb
1801.58/1802.18 c Variables : 70953 (70953 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.58/1802.18 c Constraints : 202161 initial, 202161 maximal
1801.58/1802.18 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1801.58/1802.18 c trivial : 0.93 36 0 0 0 0 0 0 0
1801.58/1802.18 c dualfix : 0.80 0 0 0 0 0 0 0 0
1801.58/1802.18 c boundshift : 0.00 0 0 0 0 0 0 0 0
1801.58/1802.18 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1801.58/1802.18 c implics : 2.60 0 3477 0 0 0 0 0 0
1801.58/1802.18 c probing : 0.00 0 0 0 0 0 0 0 0
1801.58/1802.18 c knapsack : 21.79 0 0 0 0 0 0 0 0
1801.58/1802.18 c linear : 8.63 2625 15 0 2633 0 16618 6612 13856
1801.58/1802.18 c logicor : 0.37 0 0 0 0 0 0 0 0
1801.58/1802.18 c root node : - 0 - - 0 - - - -
1801.58/1802.18 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1801.58/1802.18 c integral : 0 0 0 7 0 0 0 0 0 14
1801.58/1802.18 c knapsack : 13220 5 88 0 0 0 0 1000 0 0
1801.58/1802.18 c logicor : 188941 5 88 0 0 0 21823 0 0 0
1801.58/1802.18 c countsols : 0 0 0 0 0 0 0 0 0 0
1801.58/1802.18 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1801.58/1802.18 c integral : 924.22 0.00 0.00 924.22 0.00
1801.58/1802.18 c knapsack : 0.16 0.01 0.15 0.00 0.00
1801.58/1802.18 c logicor : 0.49 0.13 0.36 0.00 0.00
1801.58/1802.18 c countsols : 0.00 0.00 0.00 0.00 0.00
1801.58/1802.18 c Propagators : Time Calls Cutoffs DomReds
1801.58/1802.18 c rootredcost : 0.00 0 0 0
1801.58/1802.18 c pseudoobj : 1.14 97 0 0
1801.58/1802.18 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1801.58/1802.18 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1801.58/1802.18 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1801.58/1802.18 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1801.58/1802.18 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1801.58/1802.18 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1801.58/1802.18 c applied globally : - - - 0 0.0 - - -
1801.58/1802.18 c applied locally : - - - 0 0.0 - - -
1801.58/1802.18 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1801.58/1802.18 c cut pool : 0.00 4 - - 529 - (maximal pool size: 3061)
1801.58/1802.18 c redcost : 0.17 11 0 0 0 0
1801.58/1802.18 c impliedbounds : 0.20 5 0 0 0 0
1801.58/1802.18 c intobj : 0.00 0 0 0 0 0
1801.58/1802.18 c gomory : 173.16 5 0 0 2500 0
1801.58/1802.18 c strongcg : 183.09 5 0 0 2500 0
1801.58/1802.18 c cmir : 0.00 0 0 0 0 0
1801.58/1802.18 c flowcover : 0.00 0 0 0 0 0
1801.58/1802.18 c clique : 8.20 5 0 0 33 0
1801.58/1802.18 c zerohalf : 0.00 0 0 0 0 0
1801.58/1802.18 c mcf : 5.06 1 0 0 0 0
1801.58/1802.18 c Pricers : Time Calls Vars
1801.58/1802.18 c problem variables: 0.00 0 0
1801.58/1802.18 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1801.58/1802.18 c relpscost : 924.22 7 0 0 0 0 14
1801.58/1802.18 c pscost : 0.00 0 0 0 0 0 0
1801.58/1802.18 c inference : 0.00 0 0 0 0 0 0
1801.58/1802.18 c mostinf : 0.00 0 0 0 0 0 0
1801.58/1802.18 c leastinf : 0.00 0 0 0 0 0 0
1801.58/1802.18 c fullstrong : 0.00 0 0 0 0 0 0
1801.58/1802.18 c allfullstrong : 0.00 0 0 0 0 0 0
1801.58/1802.18 c random : 0.00 0 0 0 0 0 0
1801.58/1802.18 c Primal Heuristics : Time Calls Found
1801.58/1802.18 c LP solutions : 0.00 - 0
1801.58/1802.18 c pseudo solutions : 0.00 - 0
1801.58/1802.18 c simplerounding : 0.00 0 0
1801.58/1802.18 c rounding : 0.00 0 0
1801.58/1802.18 c shifting : 0.00 0 0
1801.58/1802.18 c intshifting : 0.00 0 0
1801.58/1802.18 c oneopt : 0.00 0 0
1801.58/1802.18 c fixandinfer : 0.00 0 0
1801.58/1802.18 c feaspump : 0.00 0 0
1801.58/1802.18 c coefdiving : 0.00 0 0
1801.58/1802.18 c pscostdiving : 0.00 0 0
1801.58/1802.18 c fracdiving : 0.00 0 0
1801.58/1802.18 c veclendiving : 0.00 0 0
1801.58/1802.18 c intdiving : 0.00 0 0
1801.58/1802.18 c actconsdiving : 0.00 0 0
1801.58/1802.18 c objpscostdiving : 0.00 0 0
1801.58/1802.18 c rootsoldiving : 0.00 0 0
1801.58/1802.18 c linesearchdiving : 0.00 0 0
1801.58/1802.18 c guideddiving : 0.00 0 0
1801.58/1802.18 c octane : 0.00 0 0
1801.58/1802.18 c rens : 0.00 0 0
1801.58/1802.18 c rins : 0.00 0 0
1801.58/1802.18 c localbranching : 0.00 0 0
1801.58/1802.18 c mutation : 0.00 0 0
1801.58/1802.18 c crossover : 0.00 0 0
1801.58/1802.18 c dins : 0.00 0 0
1801.58/1802.18 c LP : Time Calls Iterations Iter/call Iter/sec
1801.58/1802.18 c primal LP : 6.63 0 0 0.00 0.00
1801.58/1802.18 c dual LP : 447.66 12 53344 4445.33 119.16
1801.58/1802.18 c barrier LP : 0.00 0 0 0.00 -
1801.58/1802.18 c diving/probing LP: 0.00 0 0 0.00 -
1801.58/1802.18 c strong branching : 924.16 141 93691 664.48 101.38
1801.58/1802.18 c (at root node) : - 17 16303 959.00 -
1801.58/1802.18 c conflict analysis: 0.00 0 0 0.00 -
1801.58/1802.18 c B&B Tree :
1801.58/1802.18 c number of runs : 1
1801.58/1802.18 c nodes : 7
1801.58/1802.18 c nodes (total) : 7
1801.58/1802.18 c nodes left : 8
1801.58/1802.18 c max depth : 4
1801.58/1802.18 c max depth (total): 4
1801.58/1802.18 c backtracks : 1 (14.3%)
1801.58/1802.18 c delayed cutoffs : 0
1801.58/1802.18 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1801.58/1802.18 c avg switch length: 1.57
1801.58/1802.18 c switching time : 6.78
1801.58/1802.18 c Solution :
1801.58/1802.18 c Solutions found : 0 (0 improvements)
1801.58/1802.18 c Primal Bound : -
1801.58/1802.18 c Dual Bound : +4.42428934071981e+03
1801.58/1802.18 c Gap : infinite
1801.58/1802.18 c Root Dual Bound : +4.36815502775522e+03
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-1868629-1245130131/watcher-1868629-1245130131 -o /tmp/evaluation-result-1868629-1245130131/solver-1868629-1245130131 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868629-1245130131.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.99 3/64 11348 /proc/meminfo: memFree=1939848/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=5812 CPUtime=0 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 516 0 0 0 0 0 0 0 18 0 1 0 180613436 5951488 500 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0 /proc/11348/statm: 1453 501 332 1256 0 192 0 [startup+0.0295401 s] /proc/loadavg: 0.99 0.97 0.99 3/64 11348 /proc/meminfo: memFree=1939848/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=11476 CPUtime=0.02 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 1832 0 0 0 2 0 0 0 18 0 1 0 180613436 11751424 1816 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0 /proc/11348/statm: 2869 1816 376 1256 0 1608 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 11476 [startup+0.101548 s] /proc/loadavg: 0.99 0.97 0.99 3/64 11348 /proc/meminfo: memFree=1939848/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=15936 CPUtime=0.09 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 2958 0 0 0 8 1 0 0 18 0 1 0 180613436 16318464 2942 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/11348/statm: 3984 2942 376 1256 0 2723 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15936 [startup+0.301567 s] /proc/loadavg: 0.99 0.97 0.99 3/64 11348 /proc/meminfo: memFree=1939848/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=24816 CPUtime=0.29 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 5186 0 0 0 27 2 0 0 19 0 1 0 180613436 25411584 5170 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/11348/statm: 6204 5170 376 1256 0 4943 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24816 [startup+0.70161 s] /proc/loadavg: 0.99 0.97 0.99 3/64 11348 /proc/meminfo: memFree=1939848/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=39256 CPUtime=0.69 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 8789 0 0 0 65 4 0 0 22 0 1 0 180613436 40198144 8773 1992294400 4194304 9342243 548682068736 18446744073709551615 8236863 0 0 4096 0 0 0 0 17 1 0 0 /proc/11348/statm: 9814 8773 376 1256 0 8553 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 39256 [startup+1.50169 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11349 /proc/meminfo: memFree=1894016/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=71256 CPUtime=1.49 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 16780 0 0 0 142 7 0 0 25 0 1 0 180613436 72966144 16764 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0 /proc/11348/statm: 17814 16764 376 1256 0 16553 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 71256 [startup+3.10186 s] /proc/loadavg: 0.99 0.97 0.99 2/65 11349 /proc/meminfo: memFree=1850752/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=132352 CPUtime=3.09 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 31988 0 0 0 295 14 0 0 25 0 1 0 180613436 135528448 31972 1992294400 4194304 9342243 548682068736 18446744073709551615 5537466 0 0 4096 0 0 0 0 17 1 0 0 /proc/11348/statm: 33088 31972 376 1256 0 31827 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 132352 [startup+6.30118 s] /proc/loadavg: 1.07 0.99 1.00 2/65 11349 /proc/meminfo: memFree=1577408/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=405932 CPUtime=6.29 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 100282 0 0 0 583 46 0 0 25 0 1 0 180613436 415674368 99912 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 101483 99912 474 1256 0 100222 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 405932 [startup+12.7018 s] /proc/loadavg: 1.07 0.99 1.00 2/65 11349 /proc/meminfo: memFree=1469888/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=481016 CPUtime=12.69 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 118096 0 0 0 1048 221 0 0 25 0 1 0 180613436 492560384 117726 1992294400 4194304 9342243 548682068736 18446744073709551615 5417649 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 120254 117726 474 1256 0 118993 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 481016 [startup+25.5012 s] /proc/loadavg: 1.05 0.99 1.00 2/65 11349 /proc/meminfo: memFree=1365440/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=585680 CPUtime=25.48 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 151441 0 0 0 1885 663 0 0 25 0 1 0 180613436 599736320 143793 1992294400 4194304 9342243 548682068736 18446744073709551615 8247732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 146420 143793 485 1256 0 145159 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 585680 [startup+51.1018 s] /proc/loadavg: 1.03 0.99 1.00 2/65 11349 /proc/meminfo: memFree=1156096/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=854000 CPUtime=51.07 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 205072 0 0 0 4413 694 0 0 25 0 1 0 180613436 874496000 196265 1992294400 4194304 9342243 548682068736 18446744073709551615 6962268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 213500 196265 620 1256 0 212239 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 854000 [startup+102.305 s] /proc/loadavg: 1.01 0.99 1.00 2/65 11349 /proc/meminfo: memFree=1139712/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=860812 CPUtime=102.27 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 209101 0 0 0 9528 699 0 0 25 0 1 0 180613436 881471488 200288 1992294400 4194304 9342243 548682068736 18446744073709551615 6237437 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 215203 200288 641 1256 0 213942 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 860812 [startup+162.301 s] /proc/loadavg: 1.00 0.99 1.00 2/65 11349 /proc/meminfo: memFree=1114752/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=881028 CPUtime=162.24 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 215320 0 0 0 15416 808 0 0 25 0 1 0 180613436 902172672 206507 1992294400 4194304 9342243 548682068736 18446744073709551615 6953040 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 220257 206507 653 1256 0 218996 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 881028 [startup+222.301 s] /proc/loadavg: 1.00 0.99 1.00 2/65 11349 /proc/meminfo: memFree=1108864/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=884368 CPUtime=222.23 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 216786 0 0 0 21413 810 0 0 25 0 1 0 180613436 905592832 207973 1992294400 4194304 9342243 548682068736 18446744073709551615 5869964 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 221092 207973 653 1256 0 219831 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 884368 [startup+282.302 s] /proc/loadavg: 1.00 0.99 1.00 2/65 11349 /proc/meminfo: memFree=1105088/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=886496 CPUtime=282.21 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 217711 0 0 0 27407 814 0 0 25 0 1 0 180613436 907771904 208898 1992294400 4194304 9342243 548682068736 18446744073709551615 6237429 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 221624 208898 653 1256 0 220363 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 886496 [startup+342.302 s] /proc/loadavg: 1.00 0.99 1.00 2/65 11349 /proc/meminfo: memFree=1094720/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=894424 CPUtime=342.2 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 220303 0 0 0 33402 818 0 0 25 0 1 0 180613436 915890176 211490 1992294400 4194304 9342243 548682068736 18446744073709551615 6953040 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 223606 211490 653 1256 0 222345 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 894424 [startup+402.302 s] /proc/loadavg: 1.00 0.99 1.00 2/65 11349 /proc/meminfo: memFree=1093292/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=900912 CPUtime=402.18 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 222366 0 0 0 39397 821 0 0 25 0 1 0 180613436 922533888 213553 1992294400 4194304 9342243 548682068736 18446744073709551615 6962206 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 225228 213553 653 1256 0 223967 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 900912 [startup+462.301 s] /proc/loadavg: 1.00 0.99 1.00 2/65 11349 /proc/meminfo: memFree=1085888/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=900912 CPUtime=462.16 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 222489 0 0 0 45393 823 0 0 25 0 1 0 180613436 922533888 213676 1992294400 4194304 9342243 548682068736 18446744073709551615 6939152 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 225228 213676 653 1256 0 223967 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 900912 [startup+522.301 s] /proc/loadavg: 1.00 0.99 1.00 2/65 11349 /proc/meminfo: memFree=1067008/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=1006564 CPUtime=522.14 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 227227 0 0 0 51387 827 0 0 25 0 1 0 180613436 1030721536 218414 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 251641 218414 658 1256 0 250380 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 1006564 [startup+582.302 s] /proc/loadavg: 1.00 0.99 1.00 2/65 11349 /proc/meminfo: memFree=1071360/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=1004172 CPUtime=582.12 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 249201 0 0 0 57375 837 0 0 25 0 1 0 180613436 1028272128 217172 1992294400 4194304 9342243 548682068736 18446744073709551615 5874771 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 251043 217172 658 1256 0 249782 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 1004172 [startup+642.302 s] /proc/loadavg: 1.00 0.99 1.00 2/65 11349 /proc/meminfo: memFree=1071360/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=1004172 CPUtime=642.11 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 267647 0 0 0 63363 848 0 0 25 0 1 0 180613436 1028272128 217261 1992294400 4194304 9342243 548682068736 18446744073709551615 5874776 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 251043 217261 658 1256 0 249782 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 1004172 [startup+702.302 s] ################ # More data... # ################ /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 312671 0 0 0 105321 878 0 0 25 0 1 0 180613436 1046949888 220377 1992294400 4194304 9342243 548682068736 18446744073709551615 6960298 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 255603 220377 672 1256 0 254342 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 1022412 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11349 /proc/meminfo: memFree=1058240/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=1020708 CPUtime=1121.98 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 318603 0 0 0 111315 883 0 0 25 0 1 0 180613436 1045204992 220477 1992294400 4194304 9342243 548682068736 18446744073709551615 6960594 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 255177 220477 672 1256 0 253916 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 1020708 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11349 /proc/meminfo: memFree=1058112/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=1020708 CPUtime=1181.96 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 323412 0 0 0 117309 887 0 0 25 0 1 0 180613436 1045204992 220494 1992294400 4194304 9342243 548682068736 18446744073709551615 6960879 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 255177 220494 672 1256 0 253916 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 1020708 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11349 /proc/meminfo: memFree=1060672/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=936324 CPUtime=1241.94 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 333003 0 0 0 123300 894 0 0 25 0 1 0 180613436 958795776 219825 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 234081 219825 672 1256 0 232820 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 936324 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11349 /proc/meminfo: memFree=1060672/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=936460 CPUtime=1301.93 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 333026 0 0 0 129297 896 0 0 25 0 1 0 180613436 958935040 219848 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 234115 219848 672 1256 0 232854 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 936460 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 3/65 11349 /proc/meminfo: memFree=1057664/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=1022428 CPUtime=1361.91 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 337640 0 0 0 135291 900 0 0 25 0 1 0 180613436 1046966272 220587 1992294400 4194304 9342243 548682068736 18446744073709551615 6213648 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 255607 220587 672 1256 0 254346 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1022428 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11351 /proc/meminfo: memFree=1060352/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=936052 CPUtime=1421.89 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 345652 0 0 0 141282 907 0 0 25 0 1 0 180613436 958517248 219863 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 234013 219863 672 1256 0 232752 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 936052 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11351 /proc/meminfo: memFree=1057792/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=1021084 CPUtime=1481.87 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 349330 0 0 0 147276 911 0 0 25 0 1 0 180613436 1045590016 220541 1992294400 4194304 9342243 548682068736 18446744073709551615 6960748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 255271 220541 672 1256 0 254010 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1021084 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11351 /proc/meminfo: memFree=1057792/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=1021084 CPUtime=1541.85 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 355558 0 0 0 153270 915 0 0 25 0 1 0 180613436 1045590016 220541 1992294400 4194304 9342243 548682068736 18446744073709551615 7008420 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 255271 220541 672 1256 0 254010 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1021084 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11351 /proc/meminfo: memFree=1057728/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=1021084 CPUtime=1601.84 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 362478 0 0 0 159264 920 0 0 25 0 1 0 180613436 1045590016 220541 1992294400 4194304 9342243 548682068736 18446744073709551615 6960563 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 255271 220541 672 1256 0 254010 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1021084 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11351 /proc/meminfo: memFree=1057728/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=1021084 CPUtime=1661.81 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 368014 0 0 0 165256 925 0 0 25 0 1 0 180613436 1045590016 220541 1992294400 4194304 9342243 548682068736 18446744073709551615 6960255 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 255271 220541 672 1256 0 254010 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1021084 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11351 /proc/meminfo: memFree=1057664/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=1021084 CPUtime=1721.8 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 376318 0 0 0 171248 932 0 0 25 0 1 0 180613436 1045590016 220541 1992294400 4194304 9342243 548682068736 18446744073709551615 6960228 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 255271 220541 672 1256 0 254010 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1021084 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11351 /proc/meminfo: memFree=1056896/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=1024884 CPUtime=1781.78 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 379728 0 0 0 177243 935 0 0 25 0 1 0 180613436 1049481216 220744 1992294400 4194304 9342243 548682068736 18446744073709551615 5874730 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 256221 220744 672 1256 0 254960 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1024884 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11351 /proc/meminfo: memFree=1056640/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=1024884 CPUtime=1800.09 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 380692 0 0 0 179072 937 0 0 25 0 1 0 180613436 1049481216 220786 1992294400 4194304 9342243 548682068736 18446744073709551615 5869964 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 256221 220786 672 1256 0 254960 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1024884 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -11348 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11351 /proc/meminfo: memFree=1056640/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=1024884 CPUtime=1800.88 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 380692 0 0 0 179151 937 0 0 25 0 1 0 180613436 1049481216 220786 1992294400 4194304 9342243 548682068736 18446744073709551615 6959570 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11348/statm: 256221 220786 672 1256 0 254960 0 Current children cumulated CPU time (s) 1800.88 Current children cumulated vsize (KiB) 1024884 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11352 /proc/meminfo: memFree=1056632/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=923144 CPUtime=1801.68 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 380693 0 0 0 179231 937 0 0 25 0 1 0 180613436 945299456 219868 1992294400 4194304 9342243 548682068736 18446744073709551615 8251398 0 0 4096 0 0 0 0 17 1 0 0 /proc/11348/statm: 230786 219868 673 1256 0 229525 0 Current children cumulated CPU time (s) 1801.68 Current children cumulated vsize (KiB) 923144 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11352 /proc/meminfo: memFree=1056632/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=923144 CPUtime=1802.08 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4194304 380696 0 0 0 179271 937 0 0 25 0 1 0 180613436 945299456 219871 1992294400 4194304 9342243 548682068736 18446744073709551615 4302007 0 0 4096 0 0 0 0 17 1 0 0 /proc/11348/statm: 230786 219871 676 1256 0 229525 0 Current children cumulated CPU time (s) 1802.08 Current children cumulated vsize (KiB) 923144 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 1.00 2/66 11352 /proc/meminfo: memFree=1056632/2055920 swapFree=4181836/4192956 [pid=11348] ppid=11346 vsize=0 CPUtime=1802.18 /proc/11348/stat : 11348 (pbscip.linux.x8) R 11346 11348 11007 0 -1 4195332 380696 0 0 0 179272 946 0 0 25 0 1 0 180613436 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0 /proc/11348/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.18 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.75 CPU time (s): 1802.23 CPU user time (s): 1792.73 CPU system time (s): 9.50855 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (KiB): 1025676 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.73 system time used= 9.50855 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 380696 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= 6 involuntary context switches= 2410 runsolver used 1.50577 second user time and 3.87941 second system time The end
Begin job on node24 at 2009-06-16 07:28:51 IDJOB=1868629 IDBENCH=1481 IDSOLVER=684 FILE ID=node24/1868629-1245130131 PBS_JOBID= 9363685 Free space on /tmp= 66356 MiB SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2 BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1868629-1245130131/watcher-1868629-1245130131 -o /tmp/evaluation-result-1868629-1245130131/solver-1868629-1245130131 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1868629-1245130131.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 70ea01a607f0d01f6199fb93098b84d8 RANDOM SEED=986734650 node24.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.231 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.231 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1940264 kB Buffers: 5588 kB Cached: 67396 kB SwapCached: 5284 kB Active: 55792 kB Inactive: 24904 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1940264 kB SwapTotal: 4192956 kB SwapFree: 4181836 kB Dirty: 19816 kB Writeback: 0 kB Mapped: 12860 kB Slab: 20820 kB Committed_AS: 183828 kB PageTables: 1444 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66344 MiB End job on node24 at 2009-06-16 07:58:54