Trace number 2664090

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPnone SCIP 1.2.1.2 without any LP solverSAT (TO)65 1801.14 1801.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_10.opb
MD5SUM26699ac56f0d58d8261ff4eb58d81611
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark58
Best CPU time to get the best result obtained on this benchmark1800.28
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 55
Optimality of the best value was proved YES
Number of variables895
Total number of constraints1659
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1659
Minimum length of a constraint14
Maximum length of a constraint29
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 707
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.01	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.01	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-2664090-1276588081.opb>
0.07/0.09	c original problem has 895 variables (895 bin, 0 int, 0 impl, 0 cont) and 1659 constraints
0.07/0.09	c problem read
0.07/0.09	c presolving settings loaded
0.07/0.09	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.12	c presolving:
0.09/0.15	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 90 chg sides, 90 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.17	c (round 2) 0 del vars, 780 del conss, 0 chg bounds, 90 chg sides, 90 chg coeffs, 54 upgd conss, 0 impls, 0 clqs
0.09/0.19	c (round 3) 0 del vars, 780 del conss, 0 chg bounds, 90 chg sides, 90 chg coeffs, 99 upgd conss, 420 impls, 0 clqs
0.59/0.64	c    (0.5s) probing: 109/895 (12.2%) - 0 fixings, 0 aggregations, 660 implications, 0 bound changes
0.59/0.64	c    (0.5s) probing aborted: 100/100 successive totally useless probings
0.59/0.64	c presolving (4 rounds):
0.59/0.64	c  0 deleted vars, 780 deleted constraints, 0 tightened bounds, 0 added holes, 90 changed sides, 90 changed coefficients
0.59/0.64	c  1740 implications, 0 cliques
0.59/0.64	c presolved problem has 895 variables (895 bin, 0 int, 0 impl, 0 cont) and 879 constraints
0.59/0.64	c      99 constraints of type <knapsack>
0.59/0.64	c     780 constraints of type <linear>
0.59/0.64	c transformed objective value is always integral (scale: 1)
0.59/0.64	c Presolving Time: 0.51
0.59/0.64	c - non default parameters ----------------------------------------------------------------------
0.59/0.64	c # SCIP version 1.2.1.2
0.59/0.64	c 
0.59/0.64	c # frequency for displaying node information lines
0.59/0.64	c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.64	c display/freq = 10000
0.59/0.64	c 
0.59/0.64	c # maximal time in seconds to run
0.59/0.64	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.64	c limits/time = 1799.92
0.59/0.64	c 
0.59/0.64	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.64	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.64	c limits/memory = 1620
0.59/0.64	c 
0.59/0.64	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.59/0.64	c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.64	c lp/solvefreq = -1
0.59/0.64	c 
0.59/0.64	c # should presolving try to simplify inequalities
0.59/0.64	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.64	c constraints/linear/simplifyinequalities = TRUE
0.59/0.64	c 
0.59/0.64	c # should presolving try to simplify knapsacks
0.59/0.64	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.64	c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.64	c 
0.59/0.64	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.64	c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.64	c separating/rapidlearning/freq = 0
0.59/0.64	c 
0.59/0.64	c -----------------------------------------------------------------------------------------------
0.59/0.64	c start solving
0.59/0.64	c 
0.59/0.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.59/0.64	c   0.5s|     1 |     2 |     0 |     - |5245k|   0 |   - | 895 | 879 |   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
48.48/48.50	c  48.0s| 10000 |  4083 |     0 |   0.0 |  21M| 844 |   - | 895 |1536 |   0 |   0 |   0 |6793 |   0 | 0.000000e+00 |      --      |    Inf 
84.37/84.46	c  83.6s| 20000 |  9373 |     0 |   0.0 |  39M| 844 |   - | 895 |1999 |   0 |   0 |   0 |  12k|   0 | 0.000000e+00 |      --      |    Inf 
118.06/118.17	c   117s| 30000 | 13734 |     0 |   0.0 |  54M| 844 |   - | 895 |2249 |   0 |   0 |   0 |  19k|   0 | 0.000000e+00 |      --      |    Inf 
148.16/148.21	c   147s| 40000 | 18491 |     0 |   0.0 |  67M| 844 |   - | 895 |3188 |   0 |   0 |   0 |  25k|   0 | 0.000000e+00 |      --      |    Inf 
181.55/181.61	c   180s| 50000 | 22288 |     0 |   0.0 |  78M| 844 |   - | 895 |3731 |   0 |   0 |   0 |  33k|   0 | 0.000000e+00 |      --      |    Inf 
217.75/217.84	c   216s| 60000 | 25827 |     0 |   0.0 |  89M| 844 |   - | 895 |3178 |   0 |   0 |   0 |  41k|   0 | 0.000000e+00 |      --      |    Inf 
246.63/246.78	c   244s| 70000 | 30632 |     0 |   0.0 | 101M| 844 |   - | 895 |3951 |   0 |   0 |   0 |  48k|   0 | 0.000000e+00 |      --      |    Inf 
261.43/261.57	o 72
261.43/261.57	c * 259s| 75031 | 32743 |     0 |   0.0 | 106M| 844 |   - | 895 |4264 |   0 |   0 |   0 |  51k|   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
277.14/277.23	c   274s| 80000 | 34873 |     0 |   0.0 | 111M| 844 |   - | 895 |4459 |   0 |   0 |   0 |  55k|   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
310.13/310.29	c   307s| 90000 | 38780 |     0 |   0.0 | 121M| 844 |   - | 895 |5177 |   0 |   0 |   0 |  63k|   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
346.10/346.27	c   343s|100000 | 42302 |     0 |   0.0 | 131M| 844 |   - | 895 |5422 |   0 |   0 |   0 |  72k|   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
383.89/384.04	c   380s|110000 | 45088 |     0 |   0.0 | 139M| 844 |   - | 895 |5731 |   0 |   0 |   0 |  82k|   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
428.37/428.50	c   424s|120000 | 46325 |     0 |   0.0 | 144M| 844 |   - | 895 |6188 |   0 |   0 |   0 |  94k|   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
464.56/464.75	c   460s|130000 | 50144 |     0 |   0.0 | 158M| 844 |   - | 895 |4712 |   0 |   0 |   0 | 101k|   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
493.86/494.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
493.86/494.02	c   489s|140000 | 54898 |     0 |   0.0 | 168M| 844 |   - | 895 |4928 |   0 |   0 |   0 | 108k|   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
524.74/524.96	c   520s|150000 | 59319 |     0 |   0.0 | 178M| 844 |   - | 895 |5378 |   0 |   0 |   0 | 115k|   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
556.64/556.85	c   552s|160000 | 63400 |     0 |   0.0 | 187M| 844 |   - | 895 |5956 |   0 |   0 |   0 | 123k|   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
591.53/591.76	c   586s|170000 | 67301 |     0 |   0.0 | 196M| 844 |   - | 895 |6261 |   0 |   0 |   0 | 131k|   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
626.92/627.11	c   621s|180000 | 70934 |     0 |   0.0 | 205M| 844 |   - | 895 |6889 |   0 |   0 |   0 | 139k|   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
664.21/664.48	c   658s|190000 | 74424 |     0 |   0.0 | 213M| 844 |   - | 895 |7024 |   0 |   0 |   0 | 148k|   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
701.70/701.94	c   695s|200000 | 77424 |     0 |   0.0 | 221M| 844 |   - | 895 |7664 |   0 |   0 |   0 | 158k|   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
741.19/741.49	c   735s|210000 | 80558 |     0 |   0.0 | 228M| 844 |   - | 895 |7658 |   0 |   0 |   0 | 167k|   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
783.47/783.70	c   776s|220000 | 82918 |     0 |   0.0 | 235M| 844 |   - | 895 |8595 |   0 |   0 |   0 | 177k|   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
826.65/826.93	c   819s|230000 | 85410 |     0 |   0.0 | 241M| 844 |   - | 895 |8604 |   0 |   0 |   0 | 188k|   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
874.03/874.35	c   866s|240000 | 87308 |     0 |   0.0 | 247M| 844 |   - | 895 |9311 |   0 |   0 |   0 | 199k|   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
923.62/923.94	c   916s|250000 | 88669 |     0 |   0.0 | 253M| 844 |   - | 895 |  10k|   0 |   0 |   0 | 210k|   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
976.10/976.44	c   968s|260000 | 89852 |     0 |   0.0 | 257M| 844 |   - | 895 |  10k|   0 |   0 |   0 | 223k|   0 | 0.000000e+00 | 7.200000e+01 |    Inf 
1012.90/1013.24	o 65
1012.90/1013.24	c *1004s|266649 | 90027 |     0 |   0.0 | 259M| 844 |   - | 895 |  11k|   0 |   0 |   0 | 231k|   0 | 0.000000e+00 | 6.500000e+01 |    Inf 
1032.49/1032.87	c  1024s|270000 | 90072 |     0 |   0.0 | 260M| 844 |   - | 895 |  11k|   0 |   0 |   0 | 236k|   0 | 0.000000e+00 | 6.500000e+01 |    Inf 
1080.57/1080.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1080.57/1080.95	c  1072s|280000 | 92548 |     0 |   0.0 | 271M| 844 |   - | 895 |7796 |   0 |   0 |   0 | 247k|   0 | 0.000000e+00 | 6.500000e+01 |    Inf 
1112.47/1112.83	c  1103s|290000 | 97293 |     0 |   0.0 | 282M| 844 |   - | 895 |7233 |   0 |   0 |   0 | 253k|   0 | 0.000000e+00 | 6.500000e+01 |    Inf 
1145.06/1145.43	c  1136s|300000 |101751 |     0 |   0.0 | 293M| 844 |   - | 895 |7379 |   0 |   0 |   0 | 260k|   0 | 0.000000e+00 | 6.500000e+01 |    Inf 
1178.25/1178.67	c  1169s|310000 |106123 |     0 |   0.0 | 304M| 844 |   - | 895 |7751 |   0 |   0 |   0 | 267k|   0 | 0.000000e+00 | 6.500000e+01 |    Inf 
1213.15/1213.59	c  1203s|320000 |110289 |     0 |   0.0 | 314M| 844 |   - | 895 |8126 |   0 |   0 |   0 | 275k|   0 | 0.000000e+00 | 6.500000e+01 |    Inf 
1248.93/1249.38	c  1239s|330000 |114095 |     0 |   0.0 | 323M| 844 |   - | 895 |8563 |   0 |   0 |   0 | 283k|   0 | 0.000000e+00 | 6.500000e+01 |    Inf 
1285.83/1286.22	c  1275s|340000 |118111 |     0 |   0.0 | 333M| 844 |   - | 895 |8948 |   0 |   0 |   0 | 291k|   0 | 0.000000e+00 | 6.500000e+01 |    Inf 
1325.02/1325.45	c  1314s|350000 |121861 |     0 |   0.0 | 343M| 844 |   - | 895 |9397 |   0 |   0 |   0 | 299k|   0 | 0.000000e+00 | 6.500000e+01 |    Inf 
1364.31/1364.78	c  1353s|360000 |125153 |     0 |   0.0 | 352M| 844 |   - | 895 |9850 |   0 |   0 |   0 | 308k|   0 | 0.000000e+00 | 6.500000e+01 |    Inf 
1403.90/1404.34	c  1392s|370000 |128682 |     0 |   0.0 | 361M| 844 |   - | 895 |  10k|   0 |   0 |   0 | 316k|   0 | 0.000000e+00 | 6.500000e+01 |    Inf 
1445.19/1445.61	c  1433s|380000 |132072 |     0 |   0.0 | 370M| 844 |   - | 895 |  10k|   0 |   0 |   0 | 325k|   0 | 0.000000e+00 | 6.500000e+01 |    Inf 
1488.68/1489.18	c  1477s|390000 |135432 |     0 |   0.0 | 379M| 844 |   - | 895 |  10k|   0 |   0 |   0 | 334k|   0 | 0.000000e+00 | 6.500000e+01 |    Inf 
1531.57/1532.08	c  1519s|400000 |138410 |     0 |   0.0 | 388M| 844 |   - | 895 |  10k|   0 |   0 |   0 | 343k|   0 | 0.000000e+00 | 6.500000e+01 |    Inf 
1576.97/1577.47	c  1564s|410000 |141115 |     0 |   0.0 | 396M| 844 |   - | 895 |  11k|   0 |   0 |   0 | 353k|   0 | 0.000000e+00 | 6.500000e+01 |    Inf 
1623.65/1624.14	c  1611s|420000 |143785 |     0 |   0.0 | 404M| 844 |   - | 895 |  11k|   0 |   0 |   0 | 363k|   0 | 0.000000e+00 | 6.500000e+01 |    Inf 
1672.54/1673.03	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1672.54/1673.03	c  1659s|430000 |146569 |     0 |   0.0 | 411M| 844 |   - | 895 |  12k|   0 |   0 |   0 | 373k|   0 | 0.000000e+00 | 6.500000e+01 |    Inf 
1719.83/1720.33	c  1706s|440000 |148977 |     0 |   0.0 | 419M| 844 |   - | 895 |  12k|   0 |   0 |   0 | 383k|   0 | 0.000000e+00 | 6.500000e+01 |    Inf 
1771.32/1771.84	c  1757s|450000 |151140 |     0 |   0.0 | 427M| 844 |   - | 895 |  13k|   0 |   0 |   0 | 393k|   0 | 0.000000e+00 | 6.500000e+01 |    Inf 
1800.02/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.02/1800.51	c 
1800.02/1800.51	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.51	c Solving Time (sec) : 1785.95
1800.02/1800.51	c Solving Nodes      : 455681
1800.02/1800.51	c Primal Bound       : +6.50000000000000e+01 (2 solutions)
1800.02/1800.51	c Dual Bound         : +0.00000000000000e+00
1800.02/1800.51	c Gap                : infinite
1800.02/1800.52	s SATISFIABLE
1800.02/1800.52	v x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 
1800.02/1800.52	v x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 -x124 x125 x126 
1800.02/1800.52	v x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 -x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 -x150 x151 
1800.02/1800.52	v x152 x153 x154 x155 x156 -x157 x158 -x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 
1800.02/1800.52	v x177 x178 x179 x180 -x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 -x192 x193 x194 x195 x196 x197 x198 -x199 x200 
1800.02/1800.52	v -x201 x202 x203 x204 x205 x206 x207 -x208 x209 x210 x211 x212 x213 -x214 x215 x216 x217 x218 x219 -x220 x221 x222 x223 x224 
1800.02/1800.52	v x225 -x226 x227 x228 x229 x230 -x231 x232 x233 x234 x235 x236 x237 -x238 -x239 -x240 x241 x242 x243 x244 x245 x246 x247 x248 
1800.02/1800.52	v x249 x250 x251 x252 x253 x254 x255 -x256 x257 x258 x259 x260 -x261 x262 x263 x264 x265 -x266 x267 x268 x269 x270 x271 x272 -x273 
1800.02/1800.52	v -x274 -x275 x276 x277 x278 x279 -x280 x281 x282 x283 -x284 x285 x286 x287 -x288 x289 x290 x291 -x292 x293 x294 x295 -x296 
1800.02/1800.52	v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 
1800.02/1800.52	v x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 x331 -x332 x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 
1800.02/1800.52	v -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 x358 x359 x360 x361 x362 x363 
1800.02/1800.52	v x364 x365 x366 x367 x368 x369 x370 -x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 -x382 x383 x384 x385 x386 x387 x388 
1800.02/1800.52	v -x389 x390 -x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 -x406 x407 x408 x409 x410 x411 x412 
1800.02/1800.52	v x413 x414 x415 x416 -x417 x418 x419 x420 x421 x422 x423 -x424 x425 -x426 -x427 x428 x429 x430 x431 x432 -x433 x434 x435 x436 
1800.02/1800.52	v x437 x438 -x439 x440 x441 x442 x443 x444 -x445 x446 x447 x448 x449 -x450 x451 x452 x453 x454 x455 x456 -x457 -x458 -x459 x460 
1800.02/1800.52	v x461 x462 x463 x464 x465 x466 x467 x468 x469 -x470 x471 x472 x473 x474 -x475 x476 x477 x478 x479 -x480 x481 x482 x483 x484 
1800.02/1800.52	v x485 x486 -x487 -x488 -x489 -x490 x491 x492 x493 -x494 x495 x496 x497 -x498 x499 x500 x501 -x502 x503 x504 x505 -x506 -x507 
1800.02/1800.52	v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 x517 x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 -x528 -x529 -x530 
1800.02/1800.52	v -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 
1800.02/1800.52	v -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x560 x561 x562 x563 x564 x565 x566 x567 x568 
1800.02/1800.52	v x569 x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 x580 x581 x582 x583 x584 x585 x586 x587 x588 x589 x590 x591 x592 x593 
1800.02/1800.52	v -x594 x595 x596 x597 x598 x599 x600 x601 x602 x603 x604 -x605 x606 x607 x608 x609 x610 x611 -x612 -x613 -x614 x615 x616 x617 
1800.02/1800.52	v x618 x619 x620 x621 x622 x623 x624 x625 x626 x627 x628 x629 -x630 x631 x632 x633 x634 x635 x636 -x637 -x638 -x639 x640 x641 
1800.02/1800.52	v x642 x643 -x644 x645 x646 x647 -x648 x649 x650 x651 -x652 -x653 x654 x655 -x656 -x657 x658 -x659 -x660 -x661 x662 x663 x664 
1800.02/1800.52	v x665 x666 x667 x668 x669 x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 
1800.02/1800.52	v -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x14 -x13 -x12 -x11 x10 x9 -x8 -x700 x701 x702 x703 
1800.02/1800.52	v x704 x705 x706 x707 x708 x709 x710 -x711 x712 x713 x714 x715 x716 x717 -x718 -x719 -x720 x721 x722 x723 x724 x725 x726 x727 
1800.02/1800.52	v x728 x729 x730 -x731 x732 x733 x734 x735 x736 x737 -x738 -x739 -x740 -x741 x742 x743 x744 -x745 x746 x747 x748 -x749 -x750 
1800.02/1800.52	v x751 x752 -x753 -x754 x755 -x756 -x757 -x758 x759 x760 x761 x762 x763 x764 -x765 -x766 x767 -x768 -x769 -x770 -x771 -x772 -x773 
1800.02/1800.52	v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x28 -x27 -x26 -x25 
1800.02/1800.52	v x24 x23 x22 x791 x792 x793 x794 x795 x796 x797 x798 x799 x800 x801 x802 x803 x804 x805 x806 x807 x808 x809 -x810 x811 x812 x813 
1800.02/1800.52	v x814 x815 x816 -x817 -x818 -x819 x820 x821 x822 x823 x824 x825 -x826 x827 x828 -x829 -x830 -x831 x832 x833 -x834 -x835 -x836 
1800.02/1800.52	v -x837 -x838 -x839 -x840 x841 -x842 -x843 -x844 -x845 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x846 x847 x848 x849 x850 x851 x852 
1800.02/1800.52	v -x853 -x854 -x855 x856 x857 x858 x859 x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 
1800.02/1800.52	v -x875 -x42 -x41 x40 -x39 -x38 x37 -x36 x876 x877 x878 x879 x880 -x881 x882 x883 -x884 -x885 -x886 -x887 -x888 -x889 -x49 x48 
1800.02/1800.52	v -x47 -x46 -x45 -x44 x43 -x890 -x891 -x892 -x893 -x894 -x56 x55 -x54 -x53 x52 -x51 x50 -x895 -x70 x69 x68 x67 x66 x65 -x64 -x63 
1800.02/1800.52	v x62 x61 x60 -x59 -x58 x57 x7 -x6 -x5 -x4 -x3 -x2 x1 
1800.02/1800.52	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.52	c Solving Time       :    1785.95
1800.02/1800.52	c Original Problem   :
1800.02/1800.52	c   Problem name     : HOME/instance-2664090-1276588081.opb
1800.02/1800.52	c   Variables        : 895 (895 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.52	c   Constraints      : 1659 initial, 1659 maximal
1800.02/1800.52	c Presolved Problem  :
1800.02/1800.52	c   Problem name     : t_HOME/instance-2664090-1276588081.opb
1800.02/1800.52	c   Variables        : 895 (895 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.52	c   Constraints      : 879 initial, 13339 maximal
1800.02/1800.52	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.52	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.52	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.52	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.52	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.52	c   implics          :       0.01          0          0          0          0          0          0          0          0
1800.02/1800.52	c   probing          :       0.44          0          0          0          0          0          0          0          0
1800.02/1800.52	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.52	c   linear           :       0.06          0          0          0          0          0        780         90         90
1800.02/1800.52	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.52	c   root node        :          -          0          -          -          0          -          -          -          -
1800.02/1800.52	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.52	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.02/1800.52	c   knapsack         :         99          0    1249748          0     344942       5091     661872          0          0          0
1800.02/1800.52	c   linear           :        780          0    1244655          0     344940     169663   11301197          0          0          0
1800.02/1800.52	c   logicor          :          0+         0     523021          0          0       3831     198470          0          0          0
1800.02/1800.52	c   countsols        :          0          0          0          0     344942          0          0          0          0          0
1800.02/1800.52	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.52	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.52	c   knapsack         :      62.59       0.00      58.74       0.00       3.85
1800.02/1800.52	c   linear           :     863.77       0.00     861.26       0.00       2.51
1800.02/1800.52	c   logicor          :     257.97       0.00     257.97       0.00       0.00
1800.02/1800.52	c   countsols        :       0.19       0.00       0.00       0.00       0.19
1800.02/1800.52	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.52	c   vbounds          :       0.75          2          0          0
1800.02/1800.52	c   rootredcost      :       0.90          0          0          0
1800.02/1800.52	c   pseudoobj        :       2.32    1249526          2       2594
1800.02/1800.52	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.52	c   propagation      :      18.35     178587     177984    1452927       32.5       8013       23.1          -
1800.02/1800.52	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.52	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.52	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.52	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.02/1800.52	c   applied globally :          -          -          -     399686       28.4          -          -          -
1800.02/1800.52	c   applied locally  :          -          -          -          9       90.7          -          -          -
1800.02/1800.52	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.52	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.02/1800.52	c   redcost          :       0.00          0          0          0          0          0
1800.02/1800.52	c   impliedbounds    :       0.00          0          0          0          0          0
1800.02/1800.52	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.52	c   cgmip            :       0.00          0          0          0          0          0
1800.02/1800.52	c   gomory           :       0.00          0          0          0          0          0
1800.02/1800.52	c   strongcg         :       0.00          0          0          0          0          0
1800.02/1800.52	c   cmir             :       0.00          0          0          0          0          0
1800.02/1800.52	c   flowcover        :       0.00          0          0          0          0          0
1800.02/1800.52	c   clique           :       0.00          0          0          0          0          0
1800.02/1800.52	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.52	c   mcf              :       0.00          0          0          0          0          0
1800.02/1800.52	c   rapidlearning    :       0.00          0          0          0          0          0
1800.02/1800.52	c Pricers            :       Time      Calls       Vars
1800.02/1800.52	c   problem variables:       0.00          0          0
1800.02/1800.52	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.52	c   relpscost        :       0.00          0          0          0          0          0          0
1800.02/1800.52	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.52	c   inference        :      49.83     344940          0          0          0          0     689880
1800.02/1800.52	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.52	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.52	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.52	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.52	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.52	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.52	c   LP solutions     :       0.00          -          0
1800.02/1800.52	c   pseudo solutions :       0.00          -          2
1800.02/1800.52	c   oneopt           :       0.51          0          0
1800.02/1800.52	c   trivial          :       0.00          2          0
1800.02/1800.52	c   simplerounding   :       0.00          0          0
1800.02/1800.52	c   zirounding       :       0.00          0          0
1800.02/1800.52	c   rounding         :       0.00          0          0
1800.02/1800.52	c   shifting         :       0.00          0          0
1800.02/1800.52	c   intshifting      :       0.00          0          0
1800.02/1800.52	c   twoopt           :       0.00          0          0
1800.02/1800.52	c   fixandinfer      :       0.00          0          0
1800.02/1800.52	c   feaspump         :       0.00          0          0
1800.02/1800.52	c   coefdiving       :       0.00          0          0
1800.02/1800.52	c   pscostdiving     :       0.00          0          0
1800.02/1800.52	c   fracdiving       :       0.00          0          0
1800.02/1800.52	c   veclendiving     :       0.00          0          0
1800.02/1800.52	c   intdiving        :       0.00          0          0
1800.02/1800.52	c   actconsdiving    :       0.00          0          0
1800.02/1800.52	c   objpscostdiving  :       0.00          0          0
1800.02/1800.52	c   rootsoldiving    :       0.00          0          0
1800.02/1800.52	c   linesearchdiving :       0.00          0          0
1800.02/1800.52	c   guideddiving     :       0.00          0          0
1800.02/1800.52	c   octane           :       0.00          0          0
1800.02/1800.52	c   rens             :       0.00          0          0
1800.02/1800.52	c   rins             :       0.00          0          0
1800.02/1800.52	c   localbranching   :       0.00          0          0
1800.02/1800.52	c   mutation         :       0.00          0          0
1800.02/1800.52	c   crossover        :       0.00          0          0
1800.02/1800.52	c   dins             :       0.00          0          0
1800.02/1800.52	c   undercover       :       0.00          0          0
1800.02/1800.52	c   nlp              :       0.23          0          0
1800.02/1800.52	c   trysol           :       0.26          0          0
1800.02/1800.52	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.52	c   primal LP        :       0.00          0          0       0.00          -
1800.02/1800.52	c   dual LP          :       0.00          0          0       0.00          -
1800.02/1800.52	c   lex dual LP      :       0.00          0          0       0.00          -
1800.02/1800.52	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.52	c   diving/probing LP:       0.00          0          0       0.00          -
1800.02/1800.52	c   strong branching :       0.00          0          0       0.00          -
1800.02/1800.52	c     (at root node) :          -          0          0       0.00          -
1800.02/1800.52	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.52	c B&B Tree           :
1800.02/1800.52	c   number of runs   :          1
1800.02/1800.52	c   nodes            :     455681
1800.02/1800.52	c   nodes (total)    :     455681
1800.02/1800.52	c   nodes left       :     152543
1800.02/1800.52	c   max depth        :        844
1800.02/1800.52	c   max depth (total):        844
1800.02/1800.52	c   backtracks       :      78406 (17.2%)
1800.02/1800.52	c   delayed cutoffs  :      81189
1800.02/1800.52	c   repropagations   :     190094 (2579080 domain reductions, 67848 cutoffs)
1800.02/1800.52	c   avg switch length:       8.39
1800.02/1800.52	c   switching time   :     475.24
1800.02/1800.52	c Solution           :
1800.02/1800.52	c   Solutions found  :          2 (2 improvements)
1800.02/1800.52	c   First Solution   : +7.20000000000000e+01   (in run 1, after 75031 nodes, 258.94 seconds, depth 41, found by <relaxation>)
1800.02/1800.52	c   Primal Bound     : +6.50000000000000e+01   (in run 1, after 266649 nodes, 1004.49 seconds, depth 46, found by <relaxation>)
1800.02/1800.52	c   Dual Bound       : +0.00000000000000e+00
1800.02/1800.52	c   Gap              :   infinite
1800.02/1800.52	c   Root Dual Bound  : +0.00000000000000e+00
1800.02/1800.52	c   Root Iterations  :          0
1801.10/1801.62	c Time complete: 1801.14.

Verifier Data 

OK	65

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664090-1276588081/watcher-2664090-1276588081 -o /tmp/evaluation-result-2664090-1276588081/solver-2664090-1276588081 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664090-1276588081.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: 0.00 0.00 0.00 3/107 2358
/proc/meminfo: memFree=1699972/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=7848 CPUtime=0
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 1451 0 0 0 0 0 0 0 20 0 1 0 100096 8036352 1373 1992294400 4194304 7136930 140733279686080 18446744073709551615 6328631 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2358/statm: 1962 1373 271 719 0 1241 0

[startup+0.077816 s]
/proc/loadavg: 0.00 0.00 0.00 3/107 2358
/proc/meminfo: memFree=1699972/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=9740 CPUtime=0.07
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 1907 0 0 0 7 0 0 0 22 0 1 0 100096 9973760 1829 1992294400 4194304 7136930 140733279686080 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2358/statm: 2435 1829 271 719 0 1714 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9740

[startup+0.100818 s]
/proc/loadavg: 0.00 0.00 0.00 3/107 2358
/proc/meminfo: memFree=1699972/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=11104 CPUtime=0.09
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 2588 0 0 0 8 1 0 0 22 0 1 0 100096 11370496 2156 1992294400 4194304 7136930 140733279686080 18446744073709551615 6346613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 2776 2166 278 719 0 2055 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11104

[startup+0.30084 s]
/proc/loadavg: 0.00 0.00 0.00 3/107 2358
/proc/meminfo: memFree=1699972/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=24696 CPUtime=0.29
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 7078 0 0 0 27 2 0 0 22 0 1 0 100096 25288704 5361 1992294400 4194304 7136930 140733279686080 18446744073709551615 4983335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 6174 5361 366 719 0 5453 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24696

[startup+0.700882 s]
/proc/loadavg: 0.00 0.00 0.00 3/107 2358
/proc/meminfo: memFree=1699972/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=25856 CPUtime=0.69
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 7394 0 0 0 66 3 0 0 24 0 1 0 100096 26476544 5677 1992294400 4194304 7136930 140733279686080 18446744073709551615 4407969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 6464 5677 386 719 0 5743 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25856

[startup+1.50097 s]
/proc/loadavg: 0.00 0.00 0.00 2/108 2359
/proc/meminfo: memFree=1677768/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=26948 CPUtime=1.49
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 7662 0 0 0 145 4 0 0 25 0 1 0 100096 27594752 5945 1992294400 4194304 7136930 140733279686080 18446744073709551615 4980271 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 6737 5945 394 719 0 6016 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26948

[startup+3.10114 s]
/proc/loadavg: 0.00 0.00 0.00 2/108 2359
/proc/meminfo: memFree=1676900/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=28288 CPUtime=3.09
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 7987 0 0 0 303 6 0 0 25 0 1 0 100096 28966912 6270 1992294400 4194304 7136930 140733279686080 18446744073709551615 4980271 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 7072 6270 394 719 0 6351 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28288

[startup+6.30147 s]
/proc/loadavg: 0.08 0.02 0.01 2/108 2359
/proc/meminfo: memFree=1674420/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=29940 CPUtime=6.29
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 8399 0 0 0 621 8 0 0 25 0 1 0 100096 30658560 6682 1992294400 4194304 7136930 140733279686080 18446744073709551615 4978086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 7485 6682 394 719 0 6764 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29940

[startup+12.7011 s]
/proc/loadavg: 0.15 0.03 0.01 2/108 2359
/proc/meminfo: memFree=1670948/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=33504 CPUtime=12.69
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 9222 0 0 0 1257 12 0 0 25 0 1 0 100096 34308096 7505 1992294400 4194304 7136930 140733279686080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 8376 7505 394 719 0 7655 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33504

[startup+25.5014 s]
/proc/loadavg: 0.34 0.08 0.02 2/108 2359
/proc/meminfo: memFree=1665864/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=38808 CPUtime=25.49
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 10472 0 0 0 2523 26 0 0 25 0 1 0 100096 39739392 8755 1992294400 4194304 7136930 140733279686080 18446744073709551615 6166343 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 9702 8755 394 719 0 8981 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 38808

[startup+51.1018 s]
/proc/loadavg: 0.56 0.15 0.05 2/108 2361
/proc/meminfo: memFree=1655448/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=49976 CPUtime=51.08
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 13094 0 0 0 5064 44 0 0 25 0 1 0 100096 51175424 11377 1992294400 4194304 7136930 140733279686080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 12494 11377 394 719 0 11773 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49976

[startup+102.309 s]
/proc/loadavg: 0.81 0.28 0.10 2/108 2361
/proc/meminfo: memFree=1621720/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=85988 CPUtime=102.27
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 21454 0 0 0 10133 94 0 0 25 0 1 0 100096 88051712 19737 1992294400 4194304 7136930 140733279686080 18446744073709551615 5950410 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 21497 19737 394 719 0 20776 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 85988

[startup+162.302 s]
/proc/loadavg: 0.93 0.41 0.15 2/108 2363
/proc/meminfo: memFree=1591340/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=118648 CPUtime=162.26
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 29312 0 0 0 16070 156 0 0 25 0 1 0 100096 121495552 27595 1992294400 4194304 7136930 140733279686080 18446744073709551615 4675212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 29662 27595 394 719 0 28941 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 118648

[startup+222.302 s]
/proc/loadavg: 0.97 0.51 0.20 2/108 2365
/proc/meminfo: memFree=1565424/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=145004 CPUtime=222.24
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 35597 0 0 0 22014 210 0 0 25 0 1 0 100096 148484096 33880 1992294400 4194304 7136930 140733279686080 18446744073709551615 4983110 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 36251 33880 394 719 0 35530 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 145004

[startup+282.302 s]
/proc/loadavg: 0.99 0.60 0.25 2/108 2367
/proc/meminfo: memFree=1538888/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=171156 CPUtime=282.23
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 42093 0 0 0 27954 269 0 0 25 0 1 0 100096 175263744 40376 1992294400 4194304 7136930 140733279686080 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 42789 40376 394 719 0 42068 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 171156

[startup+342.3 s]
/proc/loadavg: 0.99 0.67 0.29 2/108 2369
/proc/meminfo: memFree=1518304/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=192012 CPUtime=342.2
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 47218 0 0 0 33895 325 0 0 25 0 1 0 100096 196620288 45501 1992294400 4194304 7136930 140733279686080 18446744073709551615 4978358 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 48003 45501 394 719 0 47282 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 192012

[startup+402.3 s]
/proc/loadavg: 0.99 0.73 0.33 2/108 2369
/proc/meminfo: memFree=1499456/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=211512 CPUtime=402.18
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 51905 0 0 0 39844 374 0 0 25 0 1 0 100096 216588288 50188 1992294400 4194304 7136930 140733279686080 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 52878 50188 394 719 0 52157 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 211512

[startup+462.3 s]
/proc/loadavg: 0.99 0.77 0.37 2/108 2371
/proc/meminfo: memFree=1479244/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=234272 CPUtime=462.16
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 56932 0 0 0 45794 422 0 0 25 0 1 0 100096 239894528 55215 1992294400 4194304 7136930 140733279686080 18446744073709551615 4983160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 58568 55215 394 719 0 57847 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 234272

[startup+522.3 s]
/proc/loadavg: 0.99 0.81 0.41 2/108 2373
/proc/meminfo: memFree=1456676/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=256892 CPUtime=522.15
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 62584 0 0 0 51737 478 0 0 25 0 1 0 100096 263057408 60867 1992294400 4194304 7136930 140733279686080 18446744073709551615 4978973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 64223 60867 394 719 0 63502 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 256892

[startup+582.301 s]
/proc/loadavg: 0.99 0.84 0.44 2/108 2375
/proc/meminfo: memFree=1434728/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=281128 CPUtime=582.13
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 68012 0 0 0 57681 532 0 0 25 0 1 0 100096 287875072 66295 1992294400 4194304 7136930 140733279686080 18446744073709551615 4983335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 70282 66295 394 719 0 69561 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 281128

[startup+642.301 s]
/proc/loadavg: 0.99 0.87 0.47 2/108 2377
/proc/meminfo: memFree=1415260/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=300572 CPUtime=642.12
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 72880 0 0 0 63629 583 0 0 25 0 1 0 100096 307785728 71163 1992294400 4194304 7136930 140733279686080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 75143 71163 394 719 0 74422 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 300572

[startup+702.301 s]

################
# More data... #
################

[startup+1002.3 s]
/proc/loadavg: 0.99 0.95 0.63 2/108 2394
/proc/meminfo: memFree=1357420/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=358572 CPUtime=1001.99
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 87100 0 0 0 99368 831 0 0 25 0 1 0 100096 367177728 85383 1992294400 4194304 7136930 140733279686080 18446744073709551615 4210111 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 89643 85383 394 719 0 88922 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 358572

[startup+1062.3 s]
/proc/loadavg: 0.99 0.95 0.65 2/108 2396
/proc/meminfo: memFree=1353576/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=362472 CPUtime=1061.98
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 88066 0 0 0 105332 866 0 0 25 0 1 0 100096 371171328 86349 1992294400 4194304 7136930 140733279686080 18446744073709551615 4923509 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 90618 86349 394 719 0 89897 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 362472

[startup+1122.3 s]
/proc/loadavg: 0.99 0.96 0.67 2/108 2398
/proc/meminfo: memFree=1333488/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=383680 CPUtime=1121.96
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 93101 0 0 0 111278 918 0 0 25 0 1 0 100096 392888320 91384 1992294400 4194304 7136930 140733279686080 18446744073709551615 4947413 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 95920 91384 394 719 0 95199 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 383680

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.68 2/108 2400
/proc/meminfo: memFree=1311788/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=406440 CPUtime=1181.95
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 98533 0 0 0 117224 971 0 0 25 0 1 0 100096 416194560 96816 1992294400 4194304 7136930 140733279686080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 101610 96816 394 719 0 100889 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 406440

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.70 2/108 2402
/proc/meminfo: memFree=1296536/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=423016 CPUtime=1241.93
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 102240 0 0 0 123172 1021 0 0 25 0 1 0 100096 433168384 100523 1992294400 4194304 7136930 140733279686080 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 105754 100523 394 719 0 105033 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 423016

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.72 2/108 2402
/proc/meminfo: memFree=1272728/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=448504 CPUtime=1301.93
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 108142 0 0 0 129124 1069 0 0 25 0 1 0 100096 459268096 106425 1992294400 4194304 7136930 140733279686080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 112126 106425 394 719 0 111405 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 448504

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.73 2/108 2404
/proc/meminfo: memFree=1261568/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=460872 CPUtime=1361.9
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 110979 0 0 0 135079 1111 0 0 25 0 1 0 100096 471932928 109262 1992294400 4194304 7136930 140733279686080 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 115218 109262 394 719 0 114497 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 460872

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.75 2/108 2406
/proc/meminfo: memFree=1245200/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=478676 CPUtime=1421.9
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 115031 0 0 0 141034 1156 0 0 25 0 1 0 100096 490164224 113314 1992294400 4194304 7136930 140733279686080 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 119669 113314 394 719 0 118948 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 478676

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.76 2/108 2408
/proc/meminfo: memFree=1232056/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=491948 CPUtime=1481.88
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 118305 0 0 0 146989 1199 0 0 25 0 1 0 100096 503754752 116588 1992294400 4194304 7136930 140733279686080 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 122987 116588 394 719 0 122266 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 491948

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.77 2/108 2410
/proc/meminfo: memFree=1217300/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=508200 CPUtime=1541.87
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 121989 0 0 0 152947 1240 0 0 25 0 1 0 100096 520396800 120272 1992294400 4194304 7136930 140733279686080 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 127050 120272 394 719 0 126329 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 508200

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.78 2/108 2410
/proc/meminfo: memFree=1204156/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=520796 CPUtime=1601.86
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 125243 0 0 0 158907 1279 0 0 25 0 1 0 100096 533295104 123526 1992294400 4194304 7136930 140733279686080 18446744073709551615 4980289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 130199 123526 394 719 0 129478 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 520796

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.79 2/108 2412
/proc/meminfo: memFree=1195972/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=529400 CPUtime=1661.84
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 127541 0 0 0 164866 1318 0 0 25 0 1 0 100096 542105600 125824 1992294400 4194304 7136930 140733279686080 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 132350 125824 394 719 0 131629 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 529400

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.80 2/108 2414
/proc/meminfo: memFree=1189276/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=534212 CPUtime=1721.83
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 128947 0 0 0 170828 1355 0 0 25 0 1 0 100096 547033088 127230 1992294400 4194304 7136930 140733279686080 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 133553 127230 394 719 0 132832 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 534212

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.82 2/108 2416
/proc/meminfo: memFree=1182704/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=539968 CPUtime=1781.81
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 130541 0 0 0 176791 1390 0 0 25 0 1 0 100096 552927232 128824 1992294400 4194304 7136930 140733279686080 18446744073709551615 4947744 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 134992 128824 394 719 0 134271 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 539968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.82 2/108 2416
/proc/meminfo: memFree=1180224/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=542220 CPUtime=1800.02
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 131141 0 0 0 178603 1399 0 0 25 0 1 0 100096 555233280 129424 1992294400 4194304 7136930 140733279686080 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2358/statm: 135555 129424 394 719 0 134834 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 542220

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.61 s]
/proc/loadavg: 0.99 0.97 0.82 2/109 2417
/proc/meminfo: memFree=1180216/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=542220 CPUtime=1800.12
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 131147 0 0 0 178613 1399 0 0 25 0 1 0 100096 555233280 129430 1992294400 4194304 7136930 140733279686080 18446744073709551615 4670071 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2358/statm: 135555 129430 400 719 0 134834 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 542220

[startup+1801.4 s]
/proc/loadavg: 0.99 0.97 0.82 2/109 2417
/proc/meminfo: memFree=1180216/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=540156 CPUtime=1800.91
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 131147 0 0 0 178692 1399 0 0 25 0 1 0 100096 553119744 128914 1992294400 4194304 7136930 140733279686080 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2358/statm: 135039 128914 400 719 0 134318 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 540156

[startup+1801.6 s]
/proc/loadavg: 0.99 0.97 0.82 2/109 2417
/proc/meminfo: memFree=1180216/2059040 swapFree=4192956/4192956
[pid=2358] ppid=2356 vsize=199240 CPUtime=1801.1
/proc/2358/stat : 2358 (pbscip.linux.x8) R 2356 2358 2333 0 -1 4202496 131147 0 0 0 178708 1402 0 0 25 0 1 0 100096 204021760 47217 1992294400 4194304 7136930 140733279686080 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2358/statm: 49755 47053 400 719 0 49034 0
Current children cumulated CPU time (s) 1801.1
Current children cumulated vsize (KiB) 199240

Child status: 0
Real time (s): 1801.63
CPU time (s): 1801.14
CPU user time (s): 1787.09
CPU system time (s): 14.0519
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 542220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.09
system time used= 14.0519
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131154
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 21450

runsolver used 2.97355 second user time and 8.5237 second system time

The end

Launcher Data 

Begin job on node047 at 2010-06-15 09:48:01
IDJOB=2664090
IDBENCH=2637
IDSOLVER=1167
FILE ID=node047/2664090-1276588081
PBS_JOBID= 11173565
Free space on /tmp= 62376 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_10.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-2664090-1276588081/watcher-2664090-1276588081 -o /tmp/evaluation-result-2664090-1276588081/solver-2664090-1276588081 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664090-1276588081.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 26699ac56f0d58d8261ff4eb58d81611
RANDOM SEED=601542145

node047.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.244
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.48
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.244
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1701940 kB
Buffers:         14532 kB
Cached:         238040 kB
SwapCached:          0 kB
Active:          94224 kB
Inactive:       217368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1701940 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3704 kB
Writeback:           0 kB
AnonPages:       59024 kB
Mapped:          15272 kB
Slab:            23736 kB
PageTables:       4080 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179160 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= 62372 MiB
End job on node047 at 2010-06-15 10:18:03