Trace number 3731342

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
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? 1797.39 1797.69

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-net12.opb
MD5SUM24a04ed274dd43d443428abf078e95f9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark214
Best CPU time to get the best result obtained on this benchmark6.82896
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 214
Optimality of the best value was proved YES
Number of variables147395
Total number of constraints26533
Number of constraints which are clauses12
Number of constraints which are cardinality constraints (but not clauses)391
Number of constraints which are nor clauses,nor cardinality constraints26130
Minimum length of a constraint2
Maximum length of a constraint292
Number of terms in the objective function 39
Biggest coefficient in the objective function 20
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 337
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 12288
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 137193
Number of bits of the biggest sum of numbers18
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.59/0.66	c SCIP version 1.1.0.7
0.59/0.66	c LP-Solver SoPlex 1.4.1
0.59/0.66	c user parameter file <scip.set> not found - using default parameters
0.59/0.66	c read problem <HOME/instance-3731342-1338686762.opb>
0.59/0.66	c original problem has 147395 variables (147395 bin, 0 int, 0 impl, 0 cont) and 26533 constraints
1.00/1.03	c start presolving problem
1.00/1.03	c presolving:
1.10/1.18	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 16864 chg sides, 16864 chg coeffs, 0 upgd conss, 20 impls, 407 clqs
1.48/1.57	c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 16864 chg sides, 16864 chg coeffs, 25987 upgd conss, 20 impls, 407 clqs
35.68/35.77	c (round 3) 0 del vars, 0 del conss, 0 chg bounds, 102272 chg sides, 187696 chg coeffs, 25997 upgd conss, 463984 impls, 407 clqs
56.98/57.04	c (round 4) 0 del vars, 8160 del conss, 0 chg bounds, 102272 chg sides, 192048 chg coeffs, 25997 upgd conss, 463984 impls, 407 clqs
63.98/64.03	c (round 5) 55 del vars, 8160 del conss, 0 chg bounds, 102272 chg sides, 192048 chg coeffs, 25997 upgd conss, 465004 impls, 379 clqs
97.68/97.76	c (round 6) 55 del vars, 8340 del conss, 0 chg bounds, 102648 chg sides, 192644 chg coeffs, 25997 upgd conss, 465180 impls, 379 clqs
113.87/113.92	c (round 7) 457 del vars, 10256 del conss, 0 chg bounds, 102648 chg sides, 192644 chg coeffs, 25997 upgd conss, 465180 impls, 379 clqs
115.77/115.81	c (round 8) 2825 del vars, 10426 del conss, 0 chg bounds, 102648 chg sides, 192644 chg coeffs, 25997 upgd conss, 465180 impls, 379 clqs
117.57/117.61	c (round 9) 2825 del vars, 10635 del conss, 0 chg bounds, 102648 chg sides, 192644 chg coeffs, 25997 upgd conss, 465180 impls, 379 clqs
120.37/120.46	c (round 10) 2875 del vars, 10635 del conss, 0 chg bounds, 102648 chg sides, 192644 chg coeffs, 25997 upgd conss, 465706 impls, 375 clqs
136.47/136.57	c (round 11) 2877 del vars, 10694 del conss, 0 chg bounds, 102752 chg sides, 192872 chg coeffs, 25997 upgd conss, 465742 impls, 394 clqs
149.97/150.06	c (round 12) 3017 del vars, 11326 del conss, 0 chg bounds, 102795 chg sides, 192991 chg coeffs, 26008 upgd conss, 465742 impls, 404 clqs
152.66/152.70	c (round 13) 3645 del vars, 11573 del conss, 0 chg bounds, 102799 chg sides, 193001 chg coeffs, 26008 upgd conss, 465742 impls, 405 clqs
154.46/154.53	c (round 14) 3919 del vars, 11602 del conss, 0 chg bounds, 102801 chg sides, 193048 chg coeffs, 26008 upgd conss, 465742 impls, 405 clqs
154.56/154.69	c (round 15) 3939 del vars, 11633 del conss, 0 chg bounds, 102802 chg sides, 193048 chg coeffs, 26008 upgd conss, 465742 impls, 405 clqs
156.46/156.57	c (round 16) 3989 del vars, 11633 del conss, 0 chg bounds, 102802 chg sides, 193048 chg coeffs, 26008 upgd conss, 465986 impls, 387 clqs
174.16/174.24	c (round 17) 3989 del vars, 11674 del conss, 0 chg bounds, 102860 chg sides, 193282 chg coeffs, 26008 upgd conss, 465986 impls, 408 clqs
181.46/181.51	c (round 18) 4011 del vars, 11938 del conss, 0 chg bounds, 102860 chg sides, 193306 chg coeffs, 26013 upgd conss, 465986 impls, 408 clqs
181.56/181.66	c (round 19) 4407 del vars, 11966 del conss, 0 chg bounds, 102860 chg sides, 193306 chg coeffs, 26013 upgd conss, 465986 impls, 408 clqs
185.35/185.49	c (round 20) 4457 del vars, 11966 del conss, 0 chg bounds, 102860 chg sides, 193306 chg coeffs, 26013 upgd conss, 466768 impls, 407 clqs
205.75/205.84	c (round 21) 4457 del vars, 11976 del conss, 0 chg bounds, 102875 chg sides, 193772 chg coeffs, 26013 upgd conss, 466768 impls, 431 clqs
218.55/218.69	c (round 22) 4464 del vars, 12058 del conss, 0 chg bounds, 102877 chg sides, 193927 chg coeffs, 26035 upgd conss, 466768 impls, 431 clqs
218.95/219.07	c (round 23) 4549 del vars, 12081 del conss, 0 chg bounds, 102879 chg sides, 193964 chg coeffs, 26035 upgd conss, 466768 impls, 431 clqs
222.55/222.66	c (round 24) 4610 del vars, 12090 del conss, 0 chg bounds, 102880 chg sides, 193964 chg coeffs, 26035 upgd conss, 468270 impls, 431 clqs
242.25/242.38	c (round 25) 4611 del vars, 12124 del conss, 0 chg bounds, 102945 chg sides, 194699 chg coeffs, 26035 upgd conss, 468270 impls, 465 clqs
254.15/254.22	c (round 26) 4630 del vars, 12381 del conss, 0 chg bounds, 102991 chg sides, 194910 chg coeffs, 26055 upgd conss, 468270 impls, 470 clqs
257.04/257.15	c (round 27) 5110 del vars, 12676 del conss, 0 chg bounds, 102999 chg sides, 194928 chg coeffs, 26055 upgd conss, 468270 impls, 470 clqs
257.35/257.43	c (round 28) 5426 del vars, 12721 del conss, 0 chg bounds, 102999 chg sides, 194928 chg coeffs, 26055 upgd conss, 468270 impls, 470 clqs
257.54/257.68	c (round 29) 5480 del vars, 12757 del conss, 0 chg bounds, 103005 chg sides, 194928 chg coeffs, 26055 upgd conss, 468270 impls, 470 clqs
260.25/260.38	c (round 30) 5530 del vars, 12757 del conss, 0 chg bounds, 103005 chg sides, 194928 chg coeffs, 26055 upgd conss, 469044 impls, 445 clqs
275.54/275.63	c (round 31) 5530 del vars, 12858 del conss, 0 chg bounds, 103150 chg sides, 195359 chg coeffs, 26055 upgd conss, 469064 impls, 459 clqs
287.44/287.50	c (round 32) 5884 del vars, 13663 del conss, 0 chg bounds, 103162 chg sides, 195404 chg coeffs, 26063 upgd conss, 469064 impls, 459 clqs
288.64/288.74	c (round 33) 6952 del vars, 13798 del conss, 0 chg bounds, 103166 chg sides, 195488 chg coeffs, 26063 upgd conss, 469064 impls, 459 clqs
289.63/289.76	c (round 34) 7016 del vars, 13818 del conss, 0 chg bounds, 103166 chg sides, 195488 chg coeffs, 26063 upgd conss, 469064 impls, 459 clqs
289.84/289.94	c (round 35) 7016 del vars, 13892 del conss, 0 chg bounds, 103170 chg sides, 195488 chg coeffs, 26063 upgd conss, 469064 impls, 459 clqs
291.74/291.88	c    (290.3s) probing: 1000/147395 (0.7%) - 203 fixings, 132 aggregations, 2135 implications, 0 bound changes
292.44/292.52	c (round 36) 7066 del vars, 13892 del conss, 0 chg bounds, 103170 chg sides, 195488 chg coeffs, 26063 upgd conss, 469126 impls, 424 clqs
303.93/304.04	c (round 37) 7068 del vars, 14128 del conss, 0 chg bounds, 103592 chg sides, 196179 chg coeffs, 26063 upgd conss, 469256 impls, 423 clqs
317.74/317.89	c (round 38) 7874 del vars, 16297 del conss, 0 chg bounds, 103592 chg sides, 196187 chg coeffs, 26064 upgd conss, 469256 impls, 423 clqs
322.24/322.34	c (round 39) 10810 del vars, 16650 del conss, 0 chg bounds, 103592 chg sides, 196187 chg coeffs, 26064 upgd conss, 469256 impls, 423 clqs
328.93/329.09	c (round 40) 10860 del vars, 16650 del conss, 0 chg bounds, 103592 chg sides, 196187 chg coeffs, 26064 upgd conss, 469488 impls, 377 clqs
344.53/344.67	c (round 41) 10861 del vars, 17241 del conss, 1 chg bounds, 104640 chg sides, 197979 chg coeffs, 26064 upgd conss, 469666 impls, 381 clqs
359.22/359.31	c (round 42) 12871 del vars, 23495 del conss, 1 chg bounds, 104672 chg sides, 198070 chg coeffs, 26068 upgd conss, 469666 impls, 390 clqs
366.13/366.29	c (round 43) 19485 del vars, 23767 del conss, 1 chg bounds, 104676 chg sides, 198078 chg coeffs, 26068 upgd conss, 469666 impls, 390 clqs
370.63/370.73	c (round 44) 19760 del vars, 23805 del conss, 1 chg bounds, 104676 chg sides, 198078 chg coeffs, 26068 upgd conss, 469666 impls, 390 clqs
371.12/371.21	c (round 45) 19780 del vars, 24439 del conss, 1 chg bounds, 104677 chg sides, 198078 chg coeffs, 26068 upgd conss, 469666 impls, 390 clqs
376.33/376.47	c (round 46) 19830 del vars, 24439 del conss, 1 chg bounds, 104677 chg sides, 198078 chg coeffs, 26068 upgd conss, 471044 impls, 340 clqs
391.92/392.02	c (round 47) 19830 del vars, 25011 del conss, 1 chg bounds, 105703 chg sides, 200334 chg coeffs, 26098 upgd conss, 471144 impls, 373 clqs
402.42/402.59	c (round 48) 22254 del vars, 31132 del conss, 1 chg bounds, 105905 chg sides, 200926 chg coeffs, 26098 upgd conss, 471144 impls, 444 clqs
412.52/412.64	c (round 49) 29232 del vars, 32262 del conss, 1 chg bounds, 105932 chg sides, 200985 chg coeffs, 26098 upgd conss, 471144 impls, 444 clqs
416.32/416.46	c (round 50) 30507 del vars, 32534 del conss, 1 chg bounds, 105932 chg sides, 200985 chg coeffs, 26098 upgd conss, 471144 impls, 444 clqs
417.31/417.45	c (round 51) 30686 del vars, 32960 del conss, 1 chg bounds, 105944 chg sides, 200985 chg coeffs, 26098 upgd conss, 471144 impls, 444 clqs
422.12/422.28	c    (420.4s) probing: 1668/147395 (1.1%) - 337 fixings, 143 aggregations, 3274 implications, 0 bound changes
422.12/422.28	c    (420.4s) probing aborted: 100/100 successive totally useless probings
422.12/422.28	c (round 52) 30711 del vars, 32960 del conss, 1 chg bounds, 105944 chg sides, 200985 chg coeffs, 26098 upgd conss, 471980 impls, 415 clqs
432.81/432.90	c (round 53) 30711 del vars, 33234 del conss, 1 chg bounds, 106446 chg sides, 202106 chg coeffs, 26118 upgd conss, 471990 impls, 439 clqs
437.62/437.79	c (round 54) 31915 del vars, 36194 del conss, 1 chg bounds, 106544 chg sides, 202363 chg coeffs, 26118 upgd conss, 471990 impls, 480 clqs
444.71/444.88	c (round 55) 35483 del vars, 36745 del conss, 1 chg bounds, 106546 chg sides, 202367 chg coeffs, 26118 upgd conss, 471990 impls, 481 clqs
447.12/447.23	c (round 56) 36060 del vars, 36853 del conss, 1 chg bounds, 106546 chg sides, 202367 chg coeffs, 26118 upgd conss, 471990 impls, 481 clqs
447.72/447.82	c (round 57) 36071 del vars, 37188 del conss, 1 chg bounds, 106549 chg sides, 202367 chg coeffs, 26118 upgd conss, 471990 impls, 481 clqs
448.01/448.13	c    (446.1s) probing: 1678/147395 (1.1%) - 337 fixings, 143 aggregations, 3274 implications, 0 bound changes
448.01/448.13	c    (446.1s) probing aborted: 100/100 successive totally useless probings
448.01/448.13	c presolving (58 rounds):
448.01/448.13	c  36071 deleted vars, 37188 deleted constraints, 1 tightened bounds, 0 added holes, 106549 changed sides, 202367 changed coefficients
448.01/448.13	c  471990 implications, 481 cliques
448.01/448.13	c presolved problem has 111324 variables (111324 bin, 0 int, 0 impl, 0 cont) and 78978 constraints
448.01/448.13	c   13322 constraints of type <knapsack>
448.01/448.13	c   65294 constraints of type <setppc>
448.01/448.13	c     352 constraints of type <linear>
448.01/448.13	c      10 constraints of type <logicor>
448.01/448.13	c transformed objective value is always integral (scale: 1)
448.01/448.13	c Presolving Time: 445.93
448.01/448.15	c OPT-LIN
448.01/448.15	c -----------------------------------------------------------------------------------------------
448.01/448.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
448.01/448.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
448.01/448.15	c limits/memory = c 13950
448.01/448.15	c # maximal time in seconds to run
448.01/448.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
448.01/448.15	c limits/time = c 1791
448.01/448.15	c # frequency for displaying node information lines
448.01/448.15	c # [type: int, range: [-1,2147483647], default: 100]
448.01/448.15	c display/freq = c 10000
448.01/448.15	c -----------------------------------------------------------------------------------------------
448.01/448.15	c start solving problem
448.01/448.15	c 
526.10/526.22	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
526.10/526.22	c   524s|     1 |     0 | 27929 | 545M|   0 |1638 | 111k|  78k|  78k| 111k|  78k|   0 |   0 |   0 | 6.592824e+01 |      --      |    Inf 
722.48/722.69	c   720s|     1 |     0 | 74494 | 552M|   0 |1750 | 111k|  78k|  78k| 111k|  79k| 479 |   0 |   0 | 7.331245e+01 |      --      |    Inf 
817.96/818.11	c   815s|     1 |     0 | 96673 | 552M|   0 |1938 | 111k|  78k|  78k| 111k|  79k| 800 |   0 |   0 | 7.371134e+01 |      --      |    Inf 
899.55/899.79	c   897s|     1 |     0 |112535 | 552M|   0 |2127 | 111k|  78k|  78k| 111k|  80k|1129 |   0 |   0 | 7.469836e+01 |      --      |    Inf 
972.62/972.86	c   970s|     1 |     0 |124722 | 552M|   0 |2347 | 111k|  78k|  78k| 111k|  80k|1472 |   0 |   0 | 7.479213e+01 |      --      |    Inf 
1038.41/1038.67	c  1035s|     1 |     0 |134522 | 553M|   0 |2470 | 111k|  78k|  78k| 111k|  80k|1713 |   0 |   0 | 7.565079e+01 |      --      |    Inf 
1106.00/1106.25	c  1103s|     1 |     0 |145070 | 553M|   0 |2488 | 111k|  78k|  78k| 111k|  80k|1917 |   0 |   0 | 7.571741e+01 |      --      |    Inf 
1182.78/1183.03	c  1180s|     1 |     0 |157755 | 553M|   0 |2586 | 111k|  78k|  78k| 111k|  81k|2114 |   0 |   0 | 7.572003e+01 |      --      |    Inf 
1317.57/1317.85	c  1314s|     1 |     0 |190565 | 553M|   0 |2469 | 111k|  78k|  78k| 111k|  81k|2353 |   0 |   0 | 7.602357e+01 |      --      |    Inf 
1400.35/1400.62	c  1397s|     1 |     0 |206046 | 553M|   0 |2749 | 111k|  78k|  78k| 111k|  81k|2634 |   0 |   0 | 7.602383e+01 |      --      |    Inf 
1467.94/1468.28	c  1464s|     1 |     0 |215840 | 553M|   0 |2852 | 111k|  78k|  78k| 111k|  81k|2835 |   0 |   0 | 7.602383e+01 |      --      |    Inf 
1544.14/1544.49	c  1540s|     1 |     0 |228464 | 554M|   0 |2933 | 111k|  78k|  78k| 111k|  81k|3024 |   0 |   0 | 7.602453e+01 |      --      |    Inf 
1616.12/1616.49	c  1612s|     1 |     0 |242808 | 554M|   0 |2912 | 111k|  78k|  78k| 111k|  82k|3211 |   0 |   0 | 7.603119e+01 |      --      |    Inf 
1675.02/1675.33	c  1671s|     1 |     0 |250423 | 554M|   0 |2968 | 111k|  78k|  78k| 111k|  82k|3374 |   0 |   0 | 7.603205e+01 |      --      |    Inf 
1757.21/1757.51	c  1753s|     1 |     0 |265038 | 554M|   0 |3102 | 111k|  78k|  78k| 111k|  81k|3504 |   0 |   0 | 7.625116e+01 |      --      |    Inf 
1795.20/1795.58	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1795.20/1795.58	c  1791s|     1 |     0 |266123 | 554M|   0 |   - | 111k|  78k|  78k| 111k|  81k|3663 |   0 |   0 | 7.625116e+01 |      --      |    Inf 
1795.30/1795.63	c  1791s|     1 |     2 |266123 | 554M|   0 |   - | 111k|  78k|  78k| 111k|  81k|3663 |   0 |   0 | 7.625116e+01 |      --      |    Inf 
1795.30/1795.63	c 
1795.30/1795.63	c SCIP Status        : solving was interrupted [time limit reached]
1795.30/1795.63	c Solving Time (sec) : 1791.04
1795.30/1795.63	c Solving Nodes      : 1
1795.30/1795.63	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1795.30/1795.63	c Dual Bound         : +7.62511598342300e+01
1795.30/1795.63	c Gap                : infinite
1795.30/1795.63	c NODE         1
1795.30/1795.63	c DUAL BOUND   76.2512
1795.30/1795.63	c PRIMAL BOUND 1e+20
1795.30/1795.63	c GAP          1e+20
1795.30/1795.63	s UNKNOWN
1795.30/1795.63	c SCIP Status        : solving was interrupted [time limit reached]
1795.30/1795.63	c Solving Time       :    1791.04
1795.30/1795.63	c Original Problem   :
1795.30/1795.63	c   Problem name     : HOME/instance-3731342-1338686762.opb
1795.30/1795.63	c   Variables        : 147395 (147395 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.30/1795.63	c   Constraints      : 26533 initial, 26533 maximal
1795.30/1795.63	c Presolved Problem  :
1795.30/1795.63	c   Problem name     : t_HOME/instance-3731342-1338686762.opb
1795.30/1795.63	c   Variables        : 111324 (111324 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.30/1795.63	c   Constraints      : 78978 initial, 78978 maximal
1795.30/1795.63	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1795.30/1795.63	c   trivial          :       0.42          0          0          0          0          0          0          0          0
1795.30/1795.63	c   dualfix          :       0.73      35585          0          0          0          0          0          0          0
1795.30/1795.63	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1795.30/1795.63	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1795.30/1795.63	c   implics          :       0.42          0          0          0          0          0          0          0          0
1795.30/1795.63	c   probing          :      30.34        337        143          0          0          0          0          0          0
1795.30/1795.63	c   knapsack         :     409.96          0          0          0          0          0      12256      89657     185503
1795.30/1795.63	c   setppc           :       3.39          0          0          0          0          0      24867         28          0
1795.30/1795.63	c   linear           :       0.42          1          5          0          1          0         63      16864      16864
1795.30/1795.63	c   logicor          :       0.00          0          0          0          0          0          2          0          0
1795.30/1795.63	c   root node        :          -          0          -          -          0          -          -          -          -
1795.30/1795.63	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1795.30/1795.63	c   integral         :          0          0          0          0          0          0          0          0          0          0
1795.30/1795.63	c   knapsack         :      13322         15       4478          0          1          0          0       2977          0          0
1795.30/1795.63	c   setppc           :      65294         15       4478          0          1        150          0          0          0          0
1795.30/1795.63	c   linear           :        352         15       4328          0          0        129          0          0          0          0
1795.30/1795.63	c   logicor          :         10         15         51          0          1          0          0          0          0          0
1795.30/1795.63	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1795.30/1795.63	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1795.30/1795.63	c   integral         :       0.00       0.00       0.00       0.00       0.00
1795.30/1795.63	c   knapsack         :       4.68       0.99       3.69       0.00       0.00
1795.30/1795.63	c   setppc           :       8.93       0.08       8.84       0.00       0.01
1795.30/1795.63	c   linear           :       2.55       2.39       0.16       0.00       0.00
1795.30/1795.63	c   logicor          :       0.00       0.00       0.00       0.00       0.00
1795.30/1795.63	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1795.30/1795.63	c Propagators        :       Time      Calls    Cutoffs    DomReds
1795.30/1795.63	c   rootredcost      :       0.00          0          0          0
1795.30/1795.63	c   pseudoobj        :       0.00         15          0          0
1795.30/1795.63	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1795.30/1795.63	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1795.30/1795.63	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1795.30/1795.63	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1795.30/1795.63	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1795.30/1795.63	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1795.30/1795.63	c   applied globally :          -          -          -          0        0.0          -          -          -
1795.30/1795.63	c   applied locally  :          -          -          -          0        0.0          -          -          -
1795.30/1795.63	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1795.30/1795.63	c   cut pool         :       0.03         14          -          -        108          -    (maximal pool size: 5467)
1795.30/1795.63	c   redcost          :       0.04         15          0          0          0          0
1795.30/1795.63	c   impliedbounds    :       0.15         15          0          0       4856          0
1795.30/1795.63	c   intobj           :       0.00          0          0          0          0          0
1795.30/1795.63	c   gomory           :     270.15         15          0          0        137          0
1795.30/1795.63	c   strongcg         :     260.43         15          0          0        136          0
1795.30/1795.63	c   cmir             :      10.93         10          0          0          0          0
1795.30/1795.63	c   flowcover        :      11.99         10          0          0          0          0
1795.30/1795.63	c   clique           :       0.51         15          0          0         94          0
1795.30/1795.63	c   zerohalf         :       0.00          0          0          0          0          0
1795.30/1795.63	c   mcf              :       0.07          1          0          0          0          0
1795.30/1795.63	c Pricers            :       Time      Calls       Vars
1795.30/1795.63	c   problem variables:       0.00          0          0
1795.30/1795.63	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1795.30/1795.63	c   relpscost        :       0.00          0          0          0          0          0          0
1795.30/1795.63	c   pscost           :       0.00          0          0          0          0          0          0
1795.30/1795.63	c   inference        :       0.03          1          0          0          0          0          2
1795.30/1795.63	c   mostinf          :       0.00          0          0          0          0          0          0
1795.30/1795.63	c   leastinf         :       0.00          0          0          0          0          0          0
1795.30/1795.63	c   fullstrong       :       0.00          0          0          0          0          0          0
1795.30/1795.63	c   allfullstrong    :       0.00          0          0          0          0          0          0
1795.30/1795.63	c   random           :       0.00          0          0          0          0          0          0
1795.30/1795.63	c Primal Heuristics  :       Time      Calls      Found
1795.30/1795.63	c   LP solutions     :       0.00          -          0
1795.30/1795.63	c   pseudo solutions :       0.00          -          0
1795.30/1795.63	c   oneopt           :       0.00          0          0
1795.30/1795.63	c   simplerounding   :       0.01          0          0
1795.30/1795.63	c   rounding         :       0.06         15          0
1795.30/1795.63	c   shifting         :       1.30         15          0
1795.30/1795.63	c   intshifting      :       0.00          0          0
1795.30/1795.63	c   fixandinfer      :       0.00          0          0
1795.30/1795.63	c   feaspump         :     116.31          1          0
1795.30/1795.63	c   coefdiving       :       0.00          0          0
1795.30/1795.63	c   pscostdiving     :       0.00          0          0
1795.30/1795.63	c   fracdiving       :       0.00          0          0
1795.30/1795.63	c   veclendiving     :       0.00          0          0
1795.30/1795.63	c   intdiving        :       0.00          0          0
1795.30/1795.63	c   actconsdiving    :       0.00          0          0
1795.30/1795.63	c   objpscostdiving  :       0.00          0          0
1795.30/1795.63	c   rootsoldiving    :       0.00          0          0
1795.30/1795.63	c   linesearchdiving :       0.00          0          0
1795.30/1795.63	c   guideddiving     :       0.00          0          0
1795.30/1795.63	c   octane           :       0.00          0          0
1795.30/1795.63	c   rens             :       0.00          0          0
1795.30/1795.63	c   rins             :       0.00          0          0
1795.30/1795.63	c   localbranching   :       0.00          0          0
1795.30/1795.63	c   mutation         :       0.00          0          0
1795.30/1795.63	c   crossover        :       0.00          0          0
1795.30/1795.63	c   dins             :       0.00          0          0
1795.30/1795.63	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1795.30/1795.63	c   primal LP        :       0.04          0          0       0.00       0.00
1795.30/1795.63	c   dual LP          :     668.62         16     234122   14632.62     350.16
1795.30/1795.63	c   barrier LP       :       0.00          0          0       0.00          -
1795.30/1795.63	c   diving/probing LP:     114.45         51      32001     627.47     279.61
1795.30/1795.63	c   strong branching :       0.00          0          0       0.00          -
1795.30/1795.63	c     (at root node) :          -          0          0       0.00          -
1795.30/1795.63	c   conflict analysis:       0.00          0          0       0.00          -
1795.30/1795.63	c B&B Tree           :
1795.30/1795.63	c   number of runs   :          1
1795.30/1795.63	c   nodes            :          1
1795.30/1795.63	c   nodes (total)    :          1
1795.30/1795.63	c   nodes left       :          2
1795.30/1795.63	c   max depth        :          0
1795.30/1795.63	c   max depth (total):          0
1795.30/1795.63	c   backtracks       :          0 (0.0%)
1795.30/1795.63	c   delayed cutoffs  :          0
1795.30/1795.63	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1795.30/1795.63	c   avg switch length:       1.00
1795.30/1795.63	c   switching time   :       0.00
1795.30/1795.63	c Solution           :
1795.30/1795.63	c   Solutions found  :          0 (0 improvements)
1795.30/1795.63	c   Primal Bound     :          -
1795.30/1795.63	c   Dual Bound       : +7.62511598342300e+01
1795.30/1795.63	c   Gap              :   infinite
1795.30/1795.63	c   Root Dual Bound  : +7.62511598342300e+01
1797.30/1797.68	c Time complete: 1797.38.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3731342-1338686762/watcher-3731342-1338686762 -o /tmp/evaluation-result-3731342-1338686762/solver-3731342-1338686762 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3731342-1338686762.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29106
/proc/meminfo: memFree=28128168/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=8980 CPUtime=0 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 1574 0 0 0 0 0 0 0 20 0 1 0 334802206 9195520 1527 33554432000 4194304 7823515 140733578919120 140733389043224 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 2245 1537 354 887 0 1355 0

[startup+0.0769571 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29106
/proc/meminfo: memFree=28128168/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=37260 CPUtime=0.07 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 8655 0 0 0 6 1 0 0 20 0 1 0 334802206 38154240 8608 33554432000 4194304 7823515 140733578919120 140733389043224 4512305 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 9315 8608 354 887 0 8425 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 37260

[startup+0.100286 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29106
/proc/meminfo: memFree=28128168/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=46636 CPUtime=0.09 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 10989 0 0 0 8 1 0 0 20 0 1 0 334802206 47755264 10942 33554432000 4194304 7823515 140733578919120 140733389043224 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 11659 10942 354 887 0 10769 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 46636

[startup+0.300238 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29106
/proc/meminfo: memFree=28128168/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=114092 CPUtime=0.29 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 27826 0 0 0 25 4 0 0 20 0 1 0 334802206 116830208 27779 33554432000 4194304 7823515 140733578919120 140733389043224 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 28523 27779 354 887 0 27633 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 114092

[startup+0.700237 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 29106
/proc/meminfo: memFree=28128168/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=158044 CPUtime=0.69 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 38885 0 0 0 63 6 0 0 20 0 1 0 334802206 161837056 38484 33554432000 4194304 7823515 140733578919120 140733578785224 5878822 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 39511 38484 367 887 0 38621 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 158044

[startup+1.50017 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29107
/proc/meminfo: memFree=27840712/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=449772 CPUtime=1.48 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 112506 0 0 0 129 19 0 0 20 0 1 0 334802206 460566528 111351 33554432000 4194304 7823515 140733578919120 140733578785224 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 112443 111351 428 887 0 111553 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 449772

[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29107
/proc/meminfo: memFree=27666344/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=476356 CPUtime=3.09 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 118033 0 0 0 289 20 0 0 20 0 1 0 334802206 487788544 116788 33554432000 4194304 7823515 140733578919120 140733578916408 6908153 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 119089 116788 435 887 0 118199 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 476356

[startup+6.30019 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29107
/proc/meminfo: memFree=27643704/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=499636 CPUtime=6.28 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 123841 0 0 0 607 21 0 0 20 0 1 0 334802206 511627264 122596 33554432000 4194304 7823515 140733578919120 140733578916408 6908062 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 124909 122596 435 887 0 124019 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 499636

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29107
/proc/meminfo: memFree=27630736/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=504072 CPUtime=12.69 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 124929 0 0 0 1247 22 0 0 20 0 1 0 334802206 516169728 123684 33554432000 4194304 7823515 140733578919120 140733578916408 6908057 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 126018 123684 435 887 0 125128 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 504072

[startup+25.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29107
/proc/meminfo: memFree=27613496/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=520240 CPUtime=25.48 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 128324 0 0 0 2526 22 0 0 20 0 1 0 334802206 532725760 127079 33554432000 4194304 7823515 140733578919120 140733578916408 6908057 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 130060 127079 435 887 0 129170 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 520240

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29109
/proc/meminfo: memFree=27605552/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=523056 CPUtime=51.09 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 129369 0 0 0 5083 26 0 0 20 0 1 0 334802206 535609344 127786 33554432000 4194304 7823515 140733578919120 140733578916408 6908036 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 130764 127786 438 887 0 129874 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 523056

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29110
/proc/meminfo: memFree=27551232/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=567256 CPUtime=102.28 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 137446 0 0 0 10197 31 0 0 20 0 1 0 334802206 580870144 138998 33554432000 4194304 7823515 140733578919120 140733578916408 6908148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 141814 138998 460 887 0 140924 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 567256

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29110
/proc/meminfo: memFree=27527372/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=579844 CPUtime=162.25 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 138047 0 0 0 16176 49 0 0 20 0 1 0 334802206 593760256 142174 33554432000 4194304 7823515 140733578919120 140733578916408 6908173 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 144961 142174 461 887 0 144071 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 579844

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29110
/proc/meminfo: memFree=27515640/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=580868 CPUtime=222.25 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 138306 0 0 0 22156 69 0 0 20 0 1 0 334802206 594808832 142706 33554432000 4194304 7823515 140733578919120 140733578916360 5422761 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 145217 142706 461 887 0 144327 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 580868

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29113
/proc/meminfo: memFree=27503708/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=580868 CPUtime=282.24 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 138307 0 0 0 28138 86 0 0 20 0 1 0 334802206 594808832 142706 33554432000 4194304 7823515 140733578919120 140733578916408 6908077 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 145217 142706 461 887 0 144327 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 580868

[startup+342.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 29113
/proc/meminfo: memFree=27484796/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=580868 CPUtime=342.22 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 138316 0 0 0 34119 103 0 0 20 0 1 0 334802206 594808832 144684 33554432000 4194304 7823515 140733578919120 140733578916408 6908153 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 145217 144684 466 887 0 144327 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 580868

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 29114
/proc/meminfo: memFree=27474728/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=580868 CPUtime=402.22 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 138316 0 0 0 40106 116 0 0 20 0 1 0 334802206 594808832 144690 33554432000 4194304 7823515 140733578919120 140733578916408 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 145217 144690 466 887 0 144327 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 580868

[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 29114
/proc/meminfo: memFree=27323696/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=737136 CPUtime=462.21 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 165734 0 0 0 46081 140 0 0 20 0 1 0 334802206 754827264 180848 33554432000 4194304 7823515 140733578919120 140733578914456 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 184284 180848 531 887 0 183394 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 737136

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29114
/proc/meminfo: memFree=27307260/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=738884 CPUtime=522.2 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 166808 0 0 0 52071 149 0 0 20 0 1 0 334802206 756617216 181922 33554432000 4194304 7823515 140733578919120 140733578914600 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 184721 181922 535 887 0 183831 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 738884

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29114
/proc/meminfo: memFree=27280280/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=752268 CPUtime=582.19 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 169120 0 0 0 58063 156 0 0 20 0 1 0 334802206 770322432 184745 33554432000 4194304 7823515 140733578919120 140733578913880 6179751 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 188067 184745 542 887 0 187177 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 752268

[startup+642.3 s]

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

/proc/meminfo: memFree=27143440/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=789324 CPUtime=1122.1 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 176973 0 0 0 111956 254 0 0 20 0 1 0 334802206 808267776 195904 33554432000 4194304 7823515 140733578919120 140733578914264 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 197331 195904 572 887 0 196441 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 789324

[startup+1182.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/177 29158
/proc/meminfo: memFree=27458952/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=794452 CPUtime=1182.09 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 177104 0 0 0 117945 264 0 0 20 0 1 0 334802206 813518848 196546 33554432000 4194304 7823515 140733578919120 140733578914600 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 198613 196546 572 887 0 197723 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 794452

[startup+1242.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/177 29158
/proc/meminfo: memFree=27453056/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=794452 CPUtime=1242.08 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 177106 0 0 0 123932 276 0 0 20 0 1 0 334802206 813518848 196548 33554432000 4194304 7823515 140733578919120 140733578914456 6212088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 198613 196548 572 887 0 197723 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 794452

[startup+1302.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 29159
/proc/meminfo: memFree=27454420/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=794452 CPUtime=1302.08 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 177106 0 0 0 129925 283 0 0 20 0 1 0 334802206 813518848 196548 33554432000 4194304 7823515 140733578919120 140733578914456 6211346 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 198613 196548 572 887 0 197723 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 794452

[startup+1362.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 29159
/proc/meminfo: memFree=27453056/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=794452 CPUtime=1362.06 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 177108 0 0 0 135912 294 0 0 20 0 1 0 334802206 813518848 196550 33554432000 4194304 7823515 140733578919120 140733578914456 6205296 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 198613 196550 572 887 0 197723 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 794452

[startup+1422.31 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 29159
/proc/meminfo: memFree=27450204/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=794452 CPUtime=1422.06 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 177108 0 0 0 141902 304 0 0 20 0 1 0 334802206 813518848 196550 33554432000 4194304 7823515 140733578919120 140733578914392 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 198613 196550 572 887 0 197723 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 794452

[startup+1482.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/178 29162
/proc/meminfo: memFree=27450952/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=794452 CPUtime=1482.04 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 177115 0 0 0 147889 315 0 0 20 0 1 0 334802206 813518848 196557 33554432000 4194304 7823515 140733578919120 140733578914264 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 198613 196557 572 887 0 197723 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 794452

[startup+1542.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/177 29162
/proc/meminfo: memFree=27451208/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=794452 CPUtime=1542.04 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 177115 0 0 0 153879 325 0 0 20 0 1 0 334802206 813518848 196557 33554432000 4194304 7823515 140733578919120 140733578914808 6218767 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 198613 196557 572 887 0 197723 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 794452

[startup+1602.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/176 29162
/proc/meminfo: memFree=27447492/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=794452 CPUtime=1602.02 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 177119 0 0 0 159868 334 0 0 20 0 1 0 334802206 813518848 197037 33554432000 4194304 7823515 140733578919120 140733578914456 6908036 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 198613 197037 572 887 0 197723 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 794452

[startup+1662.3 s]
/proc/loadavg: 2.05 2.07 2.01 3/177 29163
/proc/meminfo: memFree=27444696/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=794452 CPUtime=1662.01 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 177123 0 0 0 165856 345 0 0 20 0 1 0 334802206 813518848 197041 33554432000 4194304 7823515 140733578919120 140733578914456 6210989 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 198613 197041 572 887 0 197723 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 794452

[startup+1722.3 s]
/proc/loadavg: 2.05 2.07 2.01 3/177 29163
/proc/meminfo: memFree=27444572/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=794452 CPUtime=1722.01 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 177123 0 0 0 171845 356 0 0 20 0 1 0 334802206 813518848 197041 33554432000 4194304 7823515 140733578919120 140733578914456 6212560 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 198613 197041 572 887 0 197723 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 794452

[startup+1782.3 s]
/proc/loadavg: 2.11 2.08 2.02 3/177 29163
/proc/meminfo: memFree=27444696/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=794452 CPUtime=1782 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 177123 0 0 0 177836 364 0 0 20 0 1 0 334802206 813518848 197041 33554432000 4194304 7823515 140733578919120 140733578914312 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 198613 197041 572 887 0 197723 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 794452

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

[startup+1785.5 s]
/proc/loadavg: 2.10 2.08 2.02 3/177 29163
/proc/meminfo: memFree=27444696/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=794452 CPUtime=1785.2 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 177123 0 0 0 178156 364 0 0 20 0 1 0 334802206 813518848 197041 33554432000 4194304 7823515 140733578919120 140733578914312 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 198613 197041 572 887 0 197723 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 794452

[startup+1791.91 s]
/proc/loadavg: 2.18 2.10 2.02 3/177 29163
/proc/meminfo: memFree=27444696/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=794452 CPUtime=1791.6 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 177123 0 0 0 178793 367 0 0 20 0 1 0 334802206 813518848 197041 33554432000 4194304 7823515 140733578919120 140733578914312 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 198613 197041 572 887 0 197723 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 794452

[startup+1795.1 s]
/proc/loadavg: 2.16 2.10 2.02 3/177 29163
/proc/meminfo: memFree=27444696/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=794452 CPUtime=1794.8 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 177123 0 0 0 179113 367 0 0 20 0 1 0 334802206 813518848 197041 33554432000 4194304 7823515 140733578919120 140733578914456 6212075 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 198613 197041 572 887 0 197723 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 794452

[startup+1796.7 s]
/proc/loadavg: 2.16 2.10 2.02 3/177 29163
/proc/meminfo: memFree=27444696/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=794452 CPUtime=1796.4 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 177127 0 0 0 179272 368 0 0 20 0 1 0 334802206 813518848 197045 33554432000 4194304 7823515 140733578919120 140733578914632 4400768 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 198613 197045 576 887 0 197723 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 794452

[startup+1797.1 s]
/proc/loadavg: 2.16 2.10 2.02 3/177 29163
/proc/meminfo: memFree=27444696/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=794452 CPUtime=1796.8 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 177127 0 0 0 179312 368 0 0 20 0 1 0 334802206 813518848 197045 33554432000 4194304 7823515 140733578919120 140733578914632 4802841 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 198613 197045 576 887 0 197723 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 794452

[startup+1797.5 s]
/proc/loadavg: 2.16 2.10 2.02 3/177 29163
/proc/meminfo: memFree=27444696/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=794452 CPUtime=1797.2 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 177127 0 0 0 179352 368 0 0 20 0 1 0 334802206 813518848 197045 33554432000 4194304 7823515 140733578919120 140733578914632 6899811 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 198613 197045 576 887 0 197723 0
Current children cumulated CPU time (s) 1797.2
Current children cumulated vsize (KiB) 794452

[startup+1797.6 s]
/proc/loadavg: 2.16 2.10 2.02 3/177 29163
/proc/meminfo: memFree=27444696/32873648 swapFree=6864/6864
[pid=29106] ppid=29104 vsize=794452 CPUtime=1797.3 cores=1,3,5,7
/proc/29106/stat : 29106 (pbscip.linux.x8) R 29104 29106 19043 0 -1 4202496 177127 0 0 0 179362 368 0 0 20 0 1 0 334802206 813518848 197045 33554432000 4194304 7823515 140733578919120 140733578914632 5875188 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29106/statm: 198613 197045 576 887 0 197723 0
Current children cumulated CPU time (s) 1797.3
Current children cumulated vsize (KiB) 794452

Child status: 0
Real time (s): 1797.69
CPU time (s): 1797.39
CPU user time (s): 1793.7
CPU system time (s): 3.69344
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 794452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.7
system time used= 3.69344
maximum resident set size= 788180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177132
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= 39
involuntary context switches= 1845

runsolver used 2.67659 second user time and 7.14391 second system time

The end

Launcher Data 

Begin job on node120 at 2012-06-03 03:26:02
IDJOB=3731342
IDBENCH=1876
IDSOLVER=2321
FILE ID=node120/3731342-1338686762
RUNJOBID= node120-1338679216-27544
PBS_JOBID= 14636693
Free space on /tmp= 70760 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-net12.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731342-1338686762/watcher-3731342-1338686762 -o /tmp/evaluation-result-3731342-1338686762/solver-3731342-1338686762 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3731342-1338686762.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 24a04ed274dd43d443428abf078e95f9
RANDOM SEED=185441950

node120.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28128176 kB
Buffers:          555824 kB
Cached:          3117664 kB
SwapCached:         1580 kB
Active:          1839268 kB
Inactive:        1974940 kB
Active(anon):     133060 kB
Inactive(anon):     9224 kB
Active(file):    1706208 kB
Inactive(file):  1965716 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67103516 kB
Dirty:             15568 kB
Writeback:             4 kB
AnonPages:        145244 kB
Mapped:            12896 kB
Shmem:                32 kB
Slab:             793672 kB
SReclaimable:     238016 kB
SUnreclaim:       555656 kB
KernelStack:        1456 kB
PageTables:         4140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     255168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70752 MiB
End job on node120 at 2012-06-03 03:56:00