Trace number 2692489

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 NameAnswerCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1800.53 1800.51

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/
normalized-j3041_4-unsat--soft-66-100-0.wbo
MD5SUMf676428e29d52379a445f7afa72f565b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark0.347946
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4836
Total number of constraints16649
Number of soft constraints5540
Number of constraints which are clauses16341
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints308
Minimum length of a constraint1
Maximum length of a constraint26
Top cost 277431
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 277430
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 166
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2692489-1277916332.wbo>
0.09/0.15	c original problem has 15916 variables (10376 bin, 0 int, 0 impl, 5540 cont) and 22190 constraints
0.09/0.15	c problem read
0.09/0.15	c presolving settings loaded
0.29/0.30	c presolving:
0.39/0.43	c (round 1) 625 del vars, 1802 del conss, 420 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 253642 impls, 0 clqs
0.39/0.48	c (round 2) 1709 del vars, 5236 del conss, 923 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 258590 impls, 0 clqs
0.48/0.54	c (round 3) 3478 del vars, 7982 del conss, 1208 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 260561 impls, 0 clqs
0.48/0.58	c (round 4) 5286 del vars, 9719 del conss, 1334 chg bounds, 6 chg sides, 7 chg coeffs, 0 upgd conss, 262565 impls, 0 clqs
0.59/0.60	c (round 5) 6399 del vars, 10472 del conss, 1375 chg bounds, 17 chg sides, 18 chg coeffs, 0 upgd conss, 262887 impls, 0 clqs
0.59/0.62	c (round 6) 6999 del vars, 10841 del conss, 1407 chg bounds, 19 chg sides, 21 chg coeffs, 0 upgd conss, 263055 impls, 0 clqs
0.59/0.62	c (round 7) 7255 del vars, 10993 del conss, 1414 chg bounds, 23 chg sides, 24 chg coeffs, 0 upgd conss, 263123 impls, 0 clqs
0.59/0.63	c (round 8) 7374 del vars, 11038 del conss, 1417 chg bounds, 23 chg sides, 24 chg coeffs, 0 upgd conss, 263125 impls, 0 clqs
0.59/0.64	c (round 9) 7412 del vars, 11057 del conss, 1419 chg bounds, 24 chg sides, 25 chg coeffs, 0 upgd conss, 263125 impls, 0 clqs
0.59/0.64	c (round 10) 7425 del vars, 11065 del conss, 1420 chg bounds, 28 chg sides, 29 chg coeffs, 0 upgd conss, 263125 impls, 0 clqs
0.59/0.66	c (round 11) 7432 del vars, 11066 del conss, 4350 chg bounds, 28 chg sides, 29 chg coeffs, 0 upgd conss, 263125 impls, 0 clqs
0.69/0.71	c (round 12) 7433 del vars, 11066 del conss, 4350 chg bounds, 28 chg sides, 29 chg coeffs, 5423 upgd conss, 263125 impls, 0 clqs
0.69/0.73	c (round 13) 7440 del vars, 11091 del conss, 4352 chg bounds, 47 chg sides, 145 chg coeffs, 5423 upgd conss, 264356 impls, 254 clqs
0.69/0.74	c (round 14) 7446 del vars, 11119 del conss, 4352 chg bounds, 91 chg sides, 384 chg coeffs, 5423 upgd conss, 264510 impls, 274 clqs
0.69/0.76	c (round 15) 7467 del vars, 11190 del conss, 4352 chg bounds, 124 chg sides, 552 chg coeffs, 5423 upgd conss, 265258 impls, 301 clqs
0.69/0.77	c (round 16) 7492 del vars, 11249 del conss, 4352 chg bounds, 129 chg sides, 606 chg coeffs, 5423 upgd conss, 265420 impls, 323 clqs
0.69/0.79	c (round 17) 7529 del vars, 11289 del conss, 4352 chg bounds, 133 chg sides, 636 chg coeffs, 5423 upgd conss, 265454 impls, 330 clqs
0.79/0.81	c (round 18) 7565 del vars, 11302 del conss, 4368 chg bounds, 133 chg sides, 637 chg coeffs, 5423 upgd conss, 265454 impls, 332 clqs
0.79/0.84	c (round 19) 7578 del vars, 11302 del conss, 4368 chg bounds, 133 chg sides, 637 chg coeffs, 5435 upgd conss, 265454 impls, 332 clqs
0.88/0.98	c (round 20) 7629 del vars, 11302 del conss, 4368 chg bounds, 133 chg sides, 637 chg coeffs, 5435 upgd conss, 293116 impls, 332 clqs
0.99/1.00	c (round 21) 7636 del vars, 11669 del conss, 4368 chg bounds, 133 chg sides, 640 chg coeffs, 5435 upgd conss, 294806 impls, 332 clqs
0.99/1.02	c (round 22) 7746 del vars, 11780 del conss, 4368 chg bounds, 133 chg sides, 640 chg coeffs, 5435 upgd conss, 294806 impls, 333 clqs
0.99/1.03	c (round 23) 7856 del vars, 11786 del conss, 4382 chg bounds, 133 chg sides, 640 chg coeffs, 5435 upgd conss, 294806 impls, 333 clqs
0.99/1.06	c (round 24) 7862 del vars, 11786 del conss, 4382 chg bounds, 133 chg sides, 640 chg coeffs, 5442 upgd conss, 294806 impls, 333 clqs
1.59/1.69	c (round 25) 7912 del vars, 11786 del conss, 4384 chg bounds, 133 chg sides, 640 chg coeffs, 5442 upgd conss, 390100 impls, 332 clqs
1.68/1.71	c (round 26) 7922 del vars, 11998 del conss, 4384 chg bounds, 135 chg sides, 680 chg coeffs, 5442 upgd conss, 390230 impls, 333 clqs
1.68/1.73	c (round 27) 7987 del vars, 12076 del conss, 4384 chg bounds, 138 chg sides, 704 chg coeffs, 5442 upgd conss, 390254 impls, 340 clqs
1.68/1.74	c (round 28) 8056 del vars, 12095 del conss, 4384 chg bounds, 138 chg sides, 707 chg coeffs, 5442 upgd conss, 390254 impls, 346 clqs
1.68/1.75	c (round 29) 8072 del vars, 12103 del conss, 4384 chg bounds, 138 chg sides, 710 chg coeffs, 5442 upgd conss, 390266 impls, 346 clqs
1.68/1.75	c (round 30) 8077 del vars, 12118 del conss, 4387 chg bounds, 138 chg sides, 711 chg coeffs, 5442 upgd conss, 390307 impls, 346 clqs
1.68/1.77	c (round 31) 8086 del vars, 12125 del conss, 4387 chg bounds, 138 chg sides, 711 chg coeffs, 5442 upgd conss, 390307 impls, 346 clqs
1.68/1.79	c (round 32) 8093 del vars, 12127 del conss, 4411 chg bounds, 138 chg sides, 711 chg coeffs, 5442 upgd conss, 390307 impls, 346 clqs
1.79/1.81	c (round 33) 8095 del vars, 12127 del conss, 4411 chg bounds, 138 chg sides, 711 chg coeffs, 5448 upgd conss, 390307 impls, 346 clqs
2.79/2.88	c (round 34) 8145 del vars, 12127 del conss, 4412 chg bounds, 138 chg sides, 711 chg coeffs, 5448 upgd conss, 442239 impls, 341 clqs
2.89/2.90	c (round 35) 8155 del vars, 12376 del conss, 4412 chg bounds, 138 chg sides, 748 chg coeffs, 5448 upgd conss, 442583 impls, 341 clqs
2.89/2.92	c (round 36) 8243 del vars, 12477 del conss, 4412 chg bounds, 147 chg sides, 811 chg coeffs, 5448 upgd conss, 442589 impls, 358 clqs
2.89/2.93	c (round 37) 8335 del vars, 12493 del conss, 4412 chg bounds, 148 chg sides, 831 chg coeffs, 5448 upgd conss, 442589 impls, 364 clqs
2.89/2.95	c (round 38) 8350 del vars, 12496 del conss, 4430 chg bounds, 148 chg sides, 837 chg coeffs, 5448 upgd conss, 442603 impls, 366 clqs
2.89/2.97	c (round 39) 8353 del vars, 12496 del conss, 4430 chg bounds, 149 chg sides, 845 chg coeffs, 5456 upgd conss, 442603 impls, 366 clqs
2.99/3.00	c    (2.7s) probing: 1000/5462 (18.3%) - 143 fixings, 8 aggregations, 47213 implications, 3 bound changes
3.79/3.82	c    (3.5s) probing: 2000/5462 (36.6%) - 162 fixings, 16 aggregations, 52612 implications, 3 bound changes
4.19/4.20	c    (3.9s) probing: 2663/5462 (48.8%) - 162 fixings, 18 aggregations, 53146 implications, 3 bound changes
4.19/4.20	c    (3.9s) probing aborted: 100/100 successive totally useless probings
4.19/4.20	c (round 40) 8382 del vars, 12496 del conss, 4430 chg bounds, 149 chg sides, 845 chg coeffs, 5456 upgd conss, 459190 impls, 364 clqs
4.19/4.22	c (round 41) 8385 del vars, 12594 del conss, 4430 chg bounds, 166 chg sides, 975 chg coeffs, 5456 upgd conss, 459298 impls, 373 clqs
4.19/4.24	c (round 42) 8419 del vars, 12637 del conss, 4430 chg bounds, 175 chg sides, 1052 chg coeffs, 5456 upgd conss, 459302 impls, 402 clqs
4.19/4.25	c (round 43) 8456 del vars, 12646 del conss, 4430 chg bounds, 178 chg sides, 1083 chg coeffs, 5456 upgd conss, 459314 impls, 404 clqs
4.19/4.27	c (round 44) 8461 del vars, 12647 del conss, 4438 chg bounds, 178 chg sides, 1092 chg coeffs, 5456 upgd conss, 459324 impls, 409 clqs
4.19/4.29	c (round 45) 8462 del vars, 12647 del conss, 4438 chg bounds, 178 chg sides, 1096 chg coeffs, 5460 upgd conss, 459332 impls, 411 clqs
4.30/4.31	c    (4.0s) probing: 2673/5462 (48.9%) - 162 fixings, 18 aggregations, 53146 implications, 3 bound changes
4.30/4.31	c    (4.0s) probing aborted: 100/100 successive totally useless probings
4.30/4.31	c presolving (46 rounds):
4.30/4.31	c  8462 deleted vars, 12647 deleted constraints, 4438 tightened bounds, 0 added holes, 178 changed sides, 1098 changed coefficients
4.30/4.31	c  459332 implications, 413 cliques
4.30/4.31	c presolved problem has 7454 variables (4897 bin, 0 int, 0 impl, 2557 cont) and 9666 constraints
4.30/4.31	c    2557 constraints of type <indicator>
4.30/4.31	c     181 constraints of type <varbound>
4.30/4.31	c     186 constraints of type <knapsack>
4.30/4.31	c      82 constraints of type <setppc>
4.30/4.31	c    2376 constraints of type <linear>
4.30/4.31	c    4284 constraints of type <logicor>
4.30/4.31	c transformed objective value is always integral (scale: 1)
4.30/4.31	c Presolving Time: 3.92
4.30/4.31	c - non default parameters ----------------------------------------------------------------------
4.30/4.31	c # SCIP version 1.2.1.2
4.30/4.31	c 
4.30/4.31	c # frequency for displaying node information lines
4.30/4.31	c # [type: int, range: [-1,2147483647], default: 100]
4.30/4.31	c display/freq = 10000
4.30/4.31	c 
4.30/4.31	c # maximal time in seconds to run
4.30/4.31	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.30/4.31	c limits/time = 1799.85
4.30/4.31	c 
4.30/4.31	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.30/4.31	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.30/4.31	c limits/memory = 3420
4.30/4.31	c 
4.30/4.31	c # should presolving try to simplify inequalities
4.30/4.31	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.30/4.31	c constraints/linear/simplifyinequalities = TRUE
4.30/4.31	c 
4.30/4.31	c # should presolving try to simplify knapsacks
4.30/4.31	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.30/4.31	c constraints/knapsack/simplifyinequalities = TRUE
4.30/4.31	c 
4.30/4.31	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.30/4.31	c # [type: int, range: [-1,2147483647], default: -1]
4.30/4.31	c separating/rapidlearning/freq = 0
4.30/4.31	c 
4.30/4.31	c -----------------------------------------------------------------------------------------------
4.30/4.31	c start solving
4.30/4.31	c 
4.39/4.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.39/4.46	c   4.1s|     1 |     0 |  1413 |     - |  59M|   0 | 748 |7454 |9666 |7454 |4452 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
5.79/5.83	c   5.4s|     1 |     0 |  5003 |     - |  61M|   0 | 946 |7454 |9666 |7454 |5398 | 946 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
7.69/7.75	c   7.3s|     1 |     0 |  6484 |     - |  61M|   0 |1091 |7454 |9666 |7454 |5720 |1268 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.49/10.58	c  10.2s|     1 |     0 |  8120 |     - |  61M|   0 |1327 |7454 |9666 |7454 |6007 |1555 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
14.49/14.55	c  14.1s|     1 |     0 |  9782 |     - |  61M|   0 |1352 |7454 |9666 |7454 |6249 |1797 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
18.79/18.81	c  18.4s|     1 |     0 | 11623 |     - |  62M|   0 |1366 |7454 |9666 |7454 |6411 |1959 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
23.00/23.03	c  22.6s|     1 |     0 | 13101 |     - |  62M|   0 |1419 |7454 |9666 |7454 |6578 |2126 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
34.19/34.24	c  33.7s|     1 |     2 | 13101 |     - |  62M|   0 |1419 |7454 |9666 |7454 |6578 |2126 |   0 |  19 | 0.000000e+00 |      --      |    Inf 
495.39/495.45	c   490s| 10000 |  9993 |514966 |  50.2 | 104M| 140 | 153 |7454 |9776 |7454 |5742 |  12k| 118 |2306 | 0.000000e+00 |      --      |    Inf 
612.90/612.91	c   607s| 20000 | 19993 |638806 |  31.3 | 144M| 199 |  15 |7454 |9748 |7454 |5800 |  20k| 126 |2999 | 0.000000e+00 |      --      |    Inf 
720.60/720.67	c   713s| 30000 | 29993 |761218 |  24.9 | 184M| 219 |  73 |7454 |9746 |7454 |5742 |  28k| 133 |3403 | 0.000000e+00 |      --      |    Inf 
869.20/869.23	c   860s| 40000 | 39987 |923753 |  22.8 | 224M| 219 | 692 |7454 |9746 |7454 |5742 |  37k| 154 |4670 | 0.000000e+00 |      --      |    Inf 
961.00/961.07	c   951s| 50000 | 49987 |  1030k|  20.3 | 264M| 219 |  62 |7454 |9742 |7454 |5742 |  47k| 162 |4900 | 0.000000e+00 |      --      |    Inf 
1067.90/1067.90	c  1057s| 60000 | 59987 |  1145k|  18.9 | 305M| 219 |  15 |7454 |9739 |7454 |5742 |  56k| 168 |5358 | 0.000000e+00 |      --      |    Inf 
1219.50/1219.52	c  1206s| 70000 | 69983 |  1295k|  18.3 | 345M| 219 |  49 |7454 |9757 |7454 |5742 |  65k| 207 |6490 | 0.000000e+00 |      --      |    Inf 
1320.71/1320.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1320.71/1320.76	c  1307s| 80000 | 79981 |  1399k|  17.3 | 385M| 227 |   8 |7454 |9774 |7454 |5792 |  72k| 243 |6624 | 0.000000e+00 |      --      |    Inf 
1406.00/1406.04	c  1392s| 90000 | 89981 |  1471k|  16.2 | 425M| 229 |   1 |7454 |9769 |7454 |5742 |  77k| 246 |6727 | 0.000000e+00 |      --      |    Inf 
1506.41/1506.49	c  1491s|100000 | 99977 |  1543k|  15.3 | 464M| 233 |   4 |7454 |9766 |7454 |5742 |  83k| 248 |7268 | 0.000000e+00 |      --      |    Inf 
1614.91/1614.90	c  1598s|110000 |109977 |  1635k|  14.8 | 504M| 233 |  13 |7454 |9762 |7454 |5742 |  90k| 248 |7872 | 0.000000e+00 |      --      |    Inf 
1701.72/1701.79	c  1684s|120000 |119975 |  1703k|  14.1 | 543M| 233 |   1 |7454 |9758 |7454 |5742 |  96k| 250 |8120 | 0.000000e+00 |      --      |    Inf 
1783.71/1783.80	c  1766s|130000 |129975 |  1767k|  13.5 | 583M| 235 |   0 |7454 |9753 |7454 |5805 | 102k| 250 |8232 | 0.000000e+00 |      --      |    Inf 
1800.02/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.21/1800.22	c 
1800.21/1800.22	c SCIP Status        : solving was interrupted [user interrupt]
1800.21/1800.22	c Solving Time (sec) : 1782.20
1800.21/1800.22	c Solving Nodes      : 131999
1800.21/1800.22	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.21/1800.22	c Dual Bound         : +0.00000000000000e+00
1800.21/1800.22	c Gap                : infinite
1800.21/1800.22	s UNKNOWN
1800.21/1800.22	c SCIP Status        : solving was interrupted [user interrupt]
1800.21/1800.22	c Solving Time       :    1782.20
1800.21/1800.22	c Original Problem   :
1800.21/1800.22	c   Problem name     : HOME/instance-2692489-1277916332.wbo
1800.21/1800.22	c   Variables        : 15916 (10376 binary, 0 integer, 0 implicit integer, 5540 continuous)
1800.21/1800.22	c   Constraints      : 22190 initial, 22190 maximal
1800.21/1800.22	c Presolved Problem  :
1800.21/1800.22	c   Problem name     : t_HOME/instance-2692489-1277916332.wbo
1800.21/1800.22	c   Variables        : 7454 (4897 binary, 0 integer, 0 implicit integer, 2557 continuous)
1800.21/1800.22	c   Constraints      : 9666 initial, 9778 maximal
1800.21/1800.22	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.21/1800.22	c   trivial          :       0.04         42          0          0          0          0          0          0          0
1800.21/1800.22	c   dualfix          :       0.04       6318          0          0          0          0          0          0          0
1800.21/1800.22	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.21/1800.22	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.21/1800.22	c   implics          :       0.02          0         36          0          0          0          0          0          0
1800.21/1800.22	c   probing          :       2.95        162         18          0          3          0          0          0          0
1800.21/1800.22	c   indicator        :       0.07          0          0          0          0          0       2983          0          0
1800.21/1800.22	c   varbound         :       0.00          0          0          0          0          0         15          0          0
1800.21/1800.22	c   knapsack         :       0.11          0          0          0          2          0         16        150       1069
1800.21/1800.22	c   setppc           :       0.00          0          0          0          0          0         41          0          0
1800.21/1800.22	c   linear           :       0.39       1383        473          0       4430          0       8814         28         29
1800.21/1800.22	c   logicor          :       0.19         30          0          0          3          0        778          0          0
1800.21/1800.22	c   root node        :          -          0          -          -          0          -          -          -          -
1800.21/1800.22	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.21/1800.22	c   integral         :          0          0          0     139436          0          0         20          0          0     196230
1800.21/1800.22	c   indicator        :       2557          0     411257      41302          0          0     170041          0          0          0
1800.21/1800.22	c   varbound         :        181          6     411257      41302          0          0      19592       3170          0          0
1800.21/1800.22	c   knapsack         :        186          6     411257      38264          0          5     204151        348          0          0
1800.21/1800.22	c   setppc           :         82          6     411252      38264          0          6       8734          0          0          0
1800.21/1800.22	c   linear           :       2376          6     411246      38264          0          0     152977      99058          0          0
1800.21/1800.22	c   logicor          :       4284+         6     245701      33871          0         79     332444          0          0          0
1800.21/1800.22	c   countsols        :          0          0          0      33871          0          0          0          0          0          0
1800.21/1800.22	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.21/1800.22	c   integral         :     368.78       0.00       0.00     368.78       0.00
1800.21/1800.22	c   indicator        :      41.05       0.02      21.37      19.66       0.00
1800.21/1800.22	c   varbound         :       1.70       0.00       1.45       0.25       0.00
1800.21/1800.22	c   knapsack         :       3.94       0.01       3.51       0.42       0.00
1800.21/1800.22	c   setppc           :       0.39       0.00       0.33       0.06       0.00
1800.21/1800.22	c   linear           :      10.45       0.00       7.19       3.26       0.00
1800.21/1800.22	c   logicor          :       4.11       0.01       2.30       1.80       0.00
1800.21/1800.22	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.21/1800.22	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.21/1800.22	c   vbounds          :       3.78      69617          0       4860
1800.21/1800.22	c   rootredcost      :       0.09          0          0          0
1800.21/1800.22	c   pseudoobj        :      27.76     400090          0          0
1800.21/1800.22	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.21/1800.22	c   propagation      :       0.00         30         30         60        7.4          1        8.0          -
1800.21/1800.22	c   infeasible LP    :       0.15        160        160        199        5.8          1        3.0          0
1800.21/1800.22	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.21/1800.22	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.21/1800.22	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.21/1800.22	c   applied globally :          -          -          -        250        5.9          -          -          -
1800.21/1800.22	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.21/1800.22	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.21/1800.22	c   cut pool         :       0.01          5          -          -         65          -    (maximal pool size: 1436)
1800.21/1800.22	c   redcost          :      23.62     139069          0          0          0          0
1800.21/1800.22	c   impliedbounds    :       0.01          6          0          0       1284          0
1800.21/1800.22	c   intobj           :       0.00          0          0          0          0          0
1800.21/1800.22	c   cgmip            :       0.00          0          0          0          0          0
1800.21/1800.22	c   gomory           :       6.93          6          0          0         11          0
1800.21/1800.22	c   strongcg         :       5.21          6          0          0        504          0
1800.21/1800.22	c   cmir             :       0.21          6          0          0          0          0
1800.21/1800.22	c   flowcover        :       0.62          6          0          0        360          0
1800.21/1800.22	c   clique           :       0.39          6          0          0         52          0
1800.21/1800.22	c   zerohalf         :       0.00          0          0          0          0          0
1800.21/1800.22	c   mcf              :       0.02          1          0          0          0          0
1800.21/1800.22	c   rapidlearning    :       0.00          0          0          0          0          0
1800.21/1800.22	c Pricers            :       Time      Calls       Vars
1800.21/1800.22	c   problem variables:       0.00          0          0
1800.21/1800.22	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.21/1800.22	c   relpscost        :     368.66      98134          0         20          0          0     196230
1800.21/1800.22	c   pscost           :       0.00          0          0          0          0          0          0
1800.21/1800.22	c   inference        :      19.19      33871          0          0          0          0      67742
1800.21/1800.22	c   mostinf          :       0.00          0          0          0          0          0          0
1800.21/1800.22	c   leastinf         :       0.00          0          0          0          0          0          0
1800.21/1800.22	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.21/1800.22	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.21/1800.22	c   random           :       0.00          0          0          0          0          0          0
1800.21/1800.22	c Primal Heuristics  :       Time      Calls      Found
1800.21/1800.22	c   LP solutions     :       0.00          -          0
1800.21/1800.22	c   pseudo solutions :       0.00          -          0
1800.21/1800.22	c   oneopt           :       0.17          0          0
1800.21/1800.22	c   crossover        :       0.08          0          0
1800.21/1800.22	c   guideddiving     :       0.00          0          0
1800.21/1800.22	c   intshifting      :       0.08         38          0
1800.21/1800.22	c   feaspump         :       3.24         31          0
1800.21/1800.22	c   veclendiving     :      14.68       1168          0
1800.21/1800.22	c   fracdiving       :      25.40       1168          0
1800.21/1800.22	c   linesearchdiving :      19.43       1169          0
1800.21/1800.22	c   coefdiving       :      33.69       1169          0
1800.21/1800.22	c   pscostdiving     :      22.30       1169          0
1800.21/1800.22	c   rootsoldiving    :      11.29        758          0
1800.21/1800.22	c   trivial          :       0.08          2          0
1800.21/1800.22	c   simplerounding   :       0.24      87605          0
1800.21/1800.22	c   zirounding       :       0.51       1000          0
1800.21/1800.22	c   rounding         :       4.04       4157          0
1800.21/1800.22	c   shifting         :       4.58       1300          0
1800.21/1800.22	c   twoopt           :       0.00          0          0
1800.21/1800.22	c   fixandinfer      :       0.00          0          0
1800.21/1800.22	c   intdiving        :       0.00          0          0
1800.21/1800.22	c   actconsdiving    :       0.00          0          0
1800.21/1800.22	c   objpscostdiving  :      12.31         85          0
1800.21/1800.22	c   octane           :       0.00          0          0
1800.21/1800.22	c   rens             :       0.30          1          0
1800.21/1800.22	c   rins             :       0.00          0          0
1800.21/1800.22	c   localbranching   :       0.00          0          0
1800.21/1800.22	c   mutation         :       0.00          0          0
1800.21/1800.22	c   dins             :       0.00          0          0
1800.21/1800.22	c   undercover       :       0.00          0          0
1800.21/1800.22	c   nlp              :       0.11          0          0
1800.21/1800.22	c   trysol           :       8.45       3834          0
1800.21/1800.22	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.21/1800.22	c   primal LP        :       0.01          0          0       0.00       0.00
1800.21/1800.22	c   dual LP          :     908.77      96136    1600457      16.65    1761.12
1800.21/1800.22	c   lex dual LP      :       0.00          0          0       0.00          -
1800.21/1800.22	c   barrier LP       :       0.00          0          0       0.00          -
1800.21/1800.22	c   diving/probing LP:      97.59      13505     179863      13.32    1843.05
1800.21/1800.22	c   strong branching :     366.09       8245     608069      73.75    1660.98
1800.21/1800.22	c     (at root node) :          -         19      18658     982.00          -
1800.21/1800.22	c   conflict analysis:       0.00          0          0       0.00          -
1800.21/1800.22	c B&B Tree           :
1800.21/1800.22	c   number of runs   :          1
1800.21/1800.22	c   nodes            :     131999
1800.21/1800.22	c   nodes (total)    :     131999
1800.21/1800.22	c   nodes left       :     131974
1800.21/1800.22	c   max depth        :        235
1800.21/1800.22	c   max depth (total):        235
1800.21/1800.22	c   backtracks       :       1767 (1.3%)
1800.21/1800.22	c   delayed cutoffs  :          0
1800.21/1800.22	c   repropagations   :        774 (748 domain reductions, 0 cutoffs)
1800.21/1800.22	c   avg switch length:       2.28
1800.21/1800.22	c   switching time   :      26.70
1800.21/1800.22	c Solution           :
1800.21/1800.22	c   Solutions found  :          0 (0 improvements)
1800.21/1800.22	c   Primal Bound     :          -
1800.21/1800.22	c   Dual Bound       : +0.00000000000000e+00
1800.21/1800.22	c   Gap              :   infinite
1800.21/1800.22	c   Root Dual Bound  : +0.00000000000000e+00
1800.21/1800.22	c   Root Iterations  :      13101
1800.52/1800.51	c Time complete: 1800.53.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692489-1277916332/watcher-2692489-1277916332 -o /tmp/evaluation-result-2692489-1277916332/solver-2692489-1277916332 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692489-1277916332.wbo -t 1800 -m 3800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 25208
/proc/meminfo: memFree=30856920/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=9144 CPUtime=0
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 1598 0 0 0 0 0 0 0 25 0 1 0 165272814 9363456 1517 4089446400 4194304 8223781 140735067513040 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25208/statm: 2286 1518 369 984 0 1299 0

[startup+0.0244781 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 25208
/proc/meminfo: memFree=30856920/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=15036 CPUtime=0.02
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 3084 0 0 0 2 0 0 0 25 0 1 0 165272814 15396864 3003 4089446400 4194304 8223781 140735067513040 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25208/statm: 3759 3003 369 984 0 2772 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15036

[startup+0.100465 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 25208
/proc/meminfo: memFree=30856920/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=25844 CPUtime=0.09
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 5751 0 0 0 9 0 0 0 25 0 1 0 165272814 26464256 5670 4089446400 4194304 8223781 140735067513040 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25208/statm: 6461 5670 369 984 0 5474 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25844

[startup+0.300441 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 25208
/proc/meminfo: memFree=30856920/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=72968 CPUtime=0.29
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 17281 0 0 0 27 2 0 0 25 0 1 0 165272814 74719232 16804 4089446400 4194304 8223781 140735067513040 18446744073709551615 7257410 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25208/statm: 18242 16804 426 984 0 17255 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72968

[startup+0.700364 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 25208
/proc/meminfo: memFree=30856920/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=86584 CPUtime=0.69
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 24120 0 0 0 63 6 0 0 25 0 1 0 165272814 88662016 20302 4089446400 4194304 8223781 140735067513040 18446744073709551615 6206490 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25208/statm: 21646 20302 465 984 0 20659 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86584

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25209
/proc/meminfo: memFree=30775520/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=89124 CPUtime=1.49
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 36385 0 0 0 138 11 0 0 25 0 1 0 165272814 91262976 20994 4089446400 4194304 8223781 140735067513040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25208/statm: 22281 20994 495 984 0 21294 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 89124

[startup+3.10096 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25209
/proc/meminfo: memFree=30771552/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=92336 CPUtime=3.09
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 49489 0 0 0 292 17 0 0 25 0 1 0 165272814 94552064 21762 4089446400 4194304 8223781 140735067513040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25208/statm: 23084 21762 500 984 0 22097 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 92336

[startup+6.30042 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25209
/proc/meminfo: memFree=30756356/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=108572 CPUtime=6.29
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 61507 0 0 0 604 25 0 0 25 0 1 0 165272814 111177728 25577 4089446400 4194304 8223781 140735067513040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25208/statm: 27143 25577 595 984 0 26156 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 108572

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25209
/proc/meminfo: memFree=30749664/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=109708 CPUtime=12.69
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 65216 0 0 0 1242 27 0 0 25 0 1 0 165272814 112340992 25881 4089446400 4194304 8223781 140735067513040 18446744073709551615 6055425 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25208/statm: 27427 25881 595 984 0 26440 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 109708

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25209
/proc/meminfo: memFree=30745852/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=111220 CPUtime=25.49
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 99398 0 0 0 2514 35 0 0 25 0 1 0 165272814 113889280 26236 4089446400 4194304 8223781 140735067513040 18446744073709551615 6536439 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25208/statm: 27805 26236 609 984 0 26818 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 111220

[startup+51.1009 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25209
/proc/meminfo: memFree=30742604/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=110960 CPUtime=51.09
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 204146 0 0 0 5058 51 0 0 25 0 1 0 165272814 113623040 26197 4089446400 4194304 8223781 140735067513040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25208/statm: 27740 26197 609 984 0 26753 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 110960

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25211
/proc/meminfo: memFree=30727796/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=110880 CPUtime=102.3
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 411116 0 0 0 10142 88 0 0 25 0 1 0 165272814 113541120 26179 4089446400 4194304 8223781 140735067513040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25208/statm: 27720 26179 609 984 0 26733 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 110880

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25213
/proc/meminfo: memFree=30708176/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=114752 CPUtime=162.3
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 693556 0 0 0 16092 138 0 0 25 0 1 0 165272814 117506048 27177 4089446400 4194304 8223781 140735067513040 18446744073709551615 6570056 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25208/statm: 28688 27177 613 984 0 27701 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 114752

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25213
/proc/meminfo: memFree=30693616/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=114444 CPUtime=222.29
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 1065214 0 0 0 22028 201 0 0 25 0 1 0 165272814 117190656 27096 4089446400 4194304 8223781 140735067513040 18446744073709551615 6591317 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25208/statm: 28611 27096 612 984 0 27624 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 114444

[startup+282.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 25215
/proc/meminfo: memFree=30675580/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=118376 CPUtime=282.29
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 1380155 0 0 0 27972 257 0 0 25 0 1 0 165272814 121217024 27877 4089446400 4194304 8223781 140735067513040 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25208/statm: 29594 27877 613 984 0 28607 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 118376

[startup+342.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 25217
/proc/meminfo: memFree=30648764/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=124140 CPUtime=342.3
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 1708633 0 0 0 33915 315 0 0 25 0 1 0 165272814 127119360 29329 4089446400 4194304 8223781 140735067513040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25208/statm: 31035 29329 613 984 0 30048 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 124140

[startup+402.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 25219
/proc/meminfo: memFree=30626028/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=132964 CPUtime=402.3
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 2044016 0 0 0 39852 378 0 0 25 0 1 0 165272814 136155136 31694 4089446400 4194304 8223781 140735067513040 18446744073709551615 5990663 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25208/statm: 33241 31694 615 984 0 32254 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 132964

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25221
/proc/meminfo: memFree=30590524/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=146704 CPUtime=462.3
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 2453536 0 0 0 45779 451 0 0 25 0 1 0 165272814 150224896 35026 4089446400 4194304 8223781 140735067513040 18446744073709551615 6599037 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25208/statm: 36676 35026 613 984 0 35689 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 146704

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25221
/proc/meminfo: memFree=30562420/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=160256 CPUtime=522.3
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 2817333 0 0 0 51708 522 0 0 25 0 1 0 165272814 164102144 38449 4089446400 4194304 8223781 140735067513040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25208/statm: 40064 38449 613 984 0 39077 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 160256

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25223
/proc/meminfo: memFree=30525440/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=179912 CPUtime=582.3
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 3193075 0 0 0 57643 587 0 0 25 0 1 0 165272814 184229888 43318 4089446400 4194304 8223781 140735067513040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25208/statm: 44978 43318 613 984 0 43991 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 179912

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25225
/proc/meminfo: memFree=30483708/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=208992 CPUtime=642.31
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 3436559 0 0 0 63585 646 0 0 25 0 1 0 165272814 214007808 50718 4089446400 4194304 8223781 140735067513040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25208/statm: 52248 50718 613 984 0 51261 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 208992

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 25371
/proc/meminfo: memFree=30546072/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=332020 CPUtime=1002.3
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 5431266 0 0 0 99178 1052 0 0 25 0 1 0 165272814 339988480 81663 4089446400 4194304 8223781 140735067513040 18446744073709551615 6536498 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25208/statm: 83005 81663 615 984 0 82018 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 332020

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 25373
/proc/meminfo: memFree=30505624/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=352656 CPUtime=1062.3
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 5737963 0 0 0 105112 1118 0 0 25 0 1 0 165272814 361119744 86869 4089446400 4194304 8223781 140735067513040 18446744073709551615 4902982 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25208/statm: 88164 86869 613 984 0 87177 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 352656

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25373
/proc/meminfo: memFree=30461664/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=372544 CPUtime=1122.31
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 6061893 0 0 0 111048 1183 0 0 25 0 1 0 165272814 381485056 91735 4089446400 4194304 8223781 140735067513040 18446744073709551615 6090666 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25208/statm: 93136 91735 613 984 0 92149 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 372544

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25375
/proc/meminfo: memFree=30421452/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=388060 CPUtime=1182.3
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 6437941 0 0 0 116978 1252 0 0 25 0 1 0 165272814 397373440 95114 4089446400 4194304 8223781 140735067513040 18446744073709551615 6296736 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25208/statm: 97015 95114 613 984 0 96028 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 388060

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25377
/proc/meminfo: memFree=30377252/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=405892 CPUtime=1242.3
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 6715146 0 0 0 122917 1313 0 0 25 0 1 0 165272814 415633408 99676 4089446400 4194304 8223781 140735067513040 18446744073709551615 6559931 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25208/statm: 101473 99676 613 984 0 100486 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 405892

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25379
/proc/meminfo: memFree=30326864/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=429776 CPUtime=1302.32
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 6902950 0 0 0 128867 1365 0 0 25 0 1 0 165272814 440090624 105705 4089446400 4194304 8223781 140735067513040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25208/statm: 107444 105705 613 984 0 106457 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 429776

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25381
/proc/meminfo: memFree=30273864/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=455216 CPUtime=1362.31
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 7049383 0 0 0 134825 1406 0 0 25 0 1 0 165272814 466141184 112038 4089446400 4194304 8223781 140735067513040 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25208/statm: 113804 112038 613 984 0 112817 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 455216

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25381
/proc/meminfo: memFree=30219760/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=480788 CPUtime=1422.32
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 7240804 0 0 0 140776 1456 0 0 25 0 1 0 165272814 492326912 118369 4089446400 4194304 8223781 140735067513040 18446744073709551615 6538084 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25208/statm: 120197 118369 613 984 0 119210 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 480788

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25383
/proc/meminfo: memFree=30166408/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=505080 CPUtime=1482.31
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 7497901 0 0 0 146716 1515 0 0 25 0 1 0 165272814 517201920 124501 4089446400 4194304 8223781 140735067513040 18446744073709551615 7257410 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25208/statm: 126270 124501 613 984 0 125283 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 505080

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25385
/proc/meminfo: memFree=30117876/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=526684 CPUtime=1542.31
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 7779221 0 0 0 152660 1571 0 0 25 0 1 0 165272814 539324416 129931 4089446400 4194304 8223781 140735067513040 18446744073709551615 6520517 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25208/statm: 131671 129931 613 984 0 130684 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 526684

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25387
/proc/meminfo: memFree=30071436/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=547100 CPUtime=1602.31
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 8080660 0 0 0 158595 1636 0 0 25 0 1 0 165272814 560230400 135003 4089446400 4194304 8223781 140735067513040 18446744073709551615 6568506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25208/statm: 136775 135003 613 984 0 135788 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 547100

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25389
/proc/meminfo: memFree=30013464/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=576604 CPUtime=1662.31
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 8267211 0 0 0 164544 1687 0 0 25 0 1 0 165272814 590442496 142449 4089446400 4194304 8223781 140735067513040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25208/statm: 144151 142449 613 984 0 143164 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 576604

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25389
/proc/meminfo: memFree=29960464/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=598576 CPUtime=1722.31
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 8474149 0 0 0 170498 1733 0 0 25 0 1 0 165272814 612941824 147965 4089446400 4194304 8223781 140735067513040 18446744073709551615 6455726 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25208/statm: 149644 147965 613 984 0 148657 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 598576

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25391
/proc/meminfo: memFree=29901152/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=629580 CPUtime=1782.31
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 8600350 0 0 0 176455 1776 0 0 25 0 1 0 165272814 644689920 155754 4089446400 4194304 8223781 140735067513040 18446744073709551615 4834562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25208/statm: 157395 155754 613 984 0 156408 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 629580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25393
/proc/meminfo: memFree=29882904/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=637520 CPUtime=1800.02
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 8634530 0 0 0 178213 1789 0 0 25 0 1 0 165272814 652820480 157814 4089446400 4194304 8223781 140735067513040 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25208/statm: 159380 157814 613 984 0 158393 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 637520

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

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

[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25393
/proc/meminfo: memFree=29882904/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=637520 CPUtime=1800.21
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 8634947 0 0 0 178232 1789 0 0 25 0 1 0 165272814 652820480 157809 4089446400 4194304 8223781 140735067513040 18446744073709551615 6571318 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25208/statm: 159380 157809 613 984 0 158393 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 637520

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25393
/proc/meminfo: memFree=29882904/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=326928 CPUtime=1800.41
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 8635203 0 0 0 178251 1790 0 0 25 0 1 0 165272814 334774272 80167 4089446400 4194304 8223781 140735067513040 18446744073709551615 6206658 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25208/statm: 81732 80167 614 984 0 80745 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (KiB) 326928

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25393
/proc/meminfo: memFree=29882904/32951124 swapFree=67111528/67111528
[pid=25208] ppid=25206 vsize=49700 CPUtime=1800.52
/proc/25208/stat : 25208 (pbscip.linux.x8) R 25206 25208 24474 0 -1 4202496 8635203 0 0 0 178260 1792 0 0 25 0 1 0 165272814 50892800 11725 4089446400 4194304 8223781 140735067513040 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25208/statm: 12425 11725 614 984 0 11438 0
Current children cumulated CPU time (s) 1800.52
Current children cumulated vsize (KiB) 49700

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.53
CPU user time (s): 1782.61
CPU system time (s): 17.9233
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 638096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.61
system time used= 17.9233
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8635207
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1487

runsolver used 2.42463 second user time and 5.80912 second system time

The end

Launcher Data 

Begin job on node118 at 2010-06-30 18:45:32
IDJOB=2692489
IDBENCH=79069
IDSOLVER=1204
FILE ID=node118/2692489-1277916332
PBS_JOBID= 11197260
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/normalized-j3041_4-unsat--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692489-1277916332/watcher-2692489-1277916332 -o /tmp/evaluation-result-2692489-1277916332/solver-2692489-1277916332 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2692489-1277916332.wbo -t 1800 -m 3800

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

MD5SUM BENCH= f676428e29d52379a445f7afa72f565b
RANDOM SEED=1928181806

node118.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5448.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30857448 kB
Buffers:        201672 kB
Cached:        1302848 kB
SwapCached:          0 kB
Active:         920700 kB
Inactive:      1028448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30857448 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5208 kB
Writeback:           0 kB
AnonPages:      444968 kB
Mapped:          16640 kB
Slab:            79692 kB
PageTables:       5772 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   586560 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74200 MiB
End job on node118 at 2010-06-30 19:15:34