Trace number 3693030

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
SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed? 1796.76 1797.07

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K83.opb
MD5SUM87eecd69bf3cf4e36ad8fc8a9d8af53d
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5644
Total number of constraints5812
Number of constraints which are clauses5729
Number of constraints which are cardinality constraints (but not clauses)83
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint83
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 84
Number of bits of the biggest sum of numbers7
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 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 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-3693030-1338043835.opb>
0.00/0.03	c original problem has 5644 variables (5644 bin, 0 int, 0 impl, 0 cont) and 5812 constraints
0.00/0.03	c problem read in 0.03
0.00/0.07	c presolving:
0.09/0.10	c (round 1) 2 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8774 impls, 83 clqs
0.09/0.10	c (round 2) 136 del vars, 12 del conss, 0 add conss, 136 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8774 impls, 81 clqs
0.09/0.11	c (round 3) 212 del vars, 155 del conss, 0 add conss, 212 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8826 impls, 81 clqs
0.09/0.12	c (round 4) 269 del vars, 212 del conss, 0 add conss, 269 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8938 impls, 81 clqs
0.09/0.12	c (round 5) 315 del vars, 258 del conss, 0 add conss, 315 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9062 impls, 81 clqs
0.09/0.13	c (round 6) 345 del vars, 288 del conss, 0 add conss, 345 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9196 impls, 81 clqs
0.09/0.13	c (round 7) 356 del vars, 299 del conss, 0 add conss, 356 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9276 impls, 81 clqs
0.09/0.14	c (round 8) 360 del vars, 303 del conss, 0 add conss, 360 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9308 impls, 81 clqs
0.09/0.14	c (round 9) 362 del vars, 305 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9318 impls, 81 clqs
0.19/0.20	c (round 10) 362 del vars, 386 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5345 upgd conss, 9330 impls, 81 clqs
0.19/0.23	c (round 11) 362 del vars, 386 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5426 upgd conss, 9330 impls, 81 clqs
1.39/1.49	c (round 12) 387 del vars, 386 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5426 upgd conss, 512318 impls, 81 clqs
1.49/1.50	c (round 13) 387 del vars, 411 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5426 upgd conss, 512336 impls, 81 clqs
1.49/1.52	c (round 14) 387 del vars, 411 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5434 upgd conss, 512336 impls, 81 clqs
2.79/2.80	c (round 15) 412 del vars, 411 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5434 upgd conss, 1526164 impls, 81 clqs
2.79/2.81	c (round 16) 412 del vars, 436 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5434 upgd conss, 1526250 impls, 81 clqs
2.79/2.84	c (round 17) 412 del vars, 436 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5439 upgd conss, 1526250 impls, 81 clqs
2.79/2.87	c (round 18) 437 del vars, 436 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5439 upgd conss, 1532554 impls, 81 clqs
2.79/2.87	c (round 19) 437 del vars, 461 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5439 upgd conss, 1532646 impls, 81 clqs
2.88/2.90	c (round 20) 437 del vars, 461 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5445 upgd conss, 1532646 impls, 81 clqs
2.88/2.96	c (round 21) 462 del vars, 461 del conss, 0 add conss, 362 chg bounds, 0 chg sides, 0 chg coeffs, 5445 upgd conss, 1551818 impls, 81 clqs
2.88/2.96	c (round 22) 467 del vars, 492 del conss, 0 add conss, 363 chg bounds, 0 chg sides, 0 chg coeffs, 5445 upgd conss, 1551934 impls, 81 clqs
2.88/2.99	c (round 23) 469 del vars, 493 del conss, 0 add conss, 363 chg bounds, 0 chg sides, 0 chg coeffs, 5460 upgd conss, 1552012 impls, 81 clqs
2.99/3.03	c (round 24) 494 del vars, 493 del conss, 0 add conss, 363 chg bounds, 0 chg sides, 0 chg coeffs, 5460 upgd conss, 1555284 impls, 81 clqs
2.99/3.04	c (round 25) 494 del vars, 520 del conss, 0 add conss, 365 chg bounds, 0 chg sides, 0 chg coeffs, 5460 upgd conss, 1555288 impls, 81 clqs
2.99/3.05	c (round 26) 498 del vars, 523 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 5460 upgd conss, 1555289 impls, 81 clqs
2.99/3.07	c (round 27) 499 del vars, 523 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 5461 upgd conss, 1555289 impls, 81 clqs
3.08/3.13	c (round 28) 524 del vars, 523 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 5461 upgd conss, 1555289 impls, 81 clqs
3.08/3.14	c (round 29) 524 del vars, 548 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 5461 upgd conss, 1555289 impls, 81 clqs
3.08/3.19	c (round 30) 549 del vars, 548 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 5461 upgd conss, 1555289 impls, 81 clqs
3.08/3.20	c (round 31) 549 del vars, 573 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 5461 upgd conss, 1555289 impls, 81 clqs
3.19/3.23	c (round 32) 574 del vars, 573 del conss, 0 add conss, 366 chg bounds, 0 chg sides, 0 chg coeffs, 5461 upgd conss, 1555971 impls, 81 clqs
3.19/3.24	c (round 33) 576 del vars, 602 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5461 upgd conss, 1555985 impls, 81 clqs
3.19/3.27	c (round 34) 578 del vars, 602 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5464 upgd conss, 1555985 impls, 81 clqs
3.19/3.30	c (round 35) 603 del vars, 602 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5464 upgd conss, 1555985 impls, 81 clqs
3.29/3.30	c (round 36) 603 del vars, 627 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5464 upgd conss, 1555985 impls, 81 clqs
3.68/3.73	c    (3.7s) probing: 1000/5282 (18.9%) - 240 fixings, 1 aggregations, 340279 implications, 0 bound changes
5.88/5.95	c    (6.0s) probing: 2000/5282 (37.9%) - 244 fixings, 1 aggregations, 625354 implications, 0 bound changes
6.38/6.50	c (round 37) 628 del vars, 627 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5464 upgd conss, 2393117 impls, 81 clqs
6.49/6.50	c (round 38) 628 del vars, 652 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5464 upgd conss, 2393125 impls, 81 clqs
6.49/6.53	c (round 39) 628 del vars, 652 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5468 upgd conss, 2393125 impls, 81 clqs
6.49/6.56	c (round 40) 653 del vars, 652 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5468 upgd conss, 2393125 impls, 81 clqs
6.49/6.57	c (round 41) 656 del vars, 680 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5468 upgd conss, 2393125 impls, 81 clqs
7.49/7.56	c (round 42) 681 del vars, 680 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5468 upgd conss, 2664927 impls, 81 clqs
7.49/7.57	c (round 43) 681 del vars, 705 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5468 upgd conss, 2664937 impls, 81 clqs
7.49/7.60	c (round 44) 681 del vars, 705 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5473 upgd conss, 2664937 impls, 81 clqs
7.59/7.64	c (round 45) 706 del vars, 705 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5473 upgd conss, 2665939 impls, 81 clqs
7.59/7.64	c (round 46) 706 del vars, 730 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5473 upgd conss, 2665939 impls, 81 clqs
8.48/8.52	c    (8.5s) probing: 3000/5282 (56.8%) - 329 fixings, 1 aggregations, 963183 implications, 0 bound changes
10.90/10.96	c    (11.0s) probing: 4000/5282 (75.7%) - 341 fixings, 1 aggregations, 1313905 implications, 0 bound changes
12.29/12.34	c    (12.3s) probing: 4500/5282 (85.2%) - 341 fixings, 1 aggregations, 1464503 implications, 0 bound changes
12.29/12.34	c    (12.3s) probing aborted: 1000/1000 successive useless probings
12.29/12.34	c (round 47) 723 del vars, 730 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5473 upgd conss, 3914977 impls, 81 clqs
12.29/12.35	c (round 48) 723 del vars, 747 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5473 upgd conss, 3914979 impls, 81 clqs
12.29/12.37	c (round 49) 723 del vars, 747 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5474 upgd conss, 3914979 impls, 81 clqs
13.58/13.63	c    (13.6s) probing: 5000/5282 (94.7%) - 343 fixings, 1 aggregations, 1622340 implications, 0 bound changes
13.99/14.04	c    (14.0s) probing cycle finished: starting next cycle
14.09/14.14	c    (14.1s) probing: 51/4919 (1.0%) - 343 fixings, 1 aggregations, 1679070 implications, 0 bound changes
14.09/14.14	c    (14.1s) probing aborted: 50/50 successive totally useless probings
14.09/14.14	c (round 50) 725 del vars, 747 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5474 upgd conss, 4346283 impls, 81 clqs
14.09/14.15	c (round 51) 725 del vars, 749 del conss, 0 add conss, 368 chg bounds, 0 chg sides, 0 chg coeffs, 5474 upgd conss, 4346283 impls, 81 clqs
14.09/14.20	c    (14.2s) probing: 56/4919 (1.1%) - 343 fixings, 1 aggregations, 1679070 implications, 0 bound changes
14.09/14.20	c    (14.2s) probing aborted: 50/50 successive totally useless probings
14.19/14.21	c presolving (52 rounds):
14.19/14.21	c  725 deleted vars, 749 deleted constraints, 0 added constraints, 368 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
14.19/14.21	c  4346283 implications, 81 cliques
14.19/14.21	c presolved problem has 4919 variables (4919 bin, 0 int, 0 impl, 0 cont) and 5063 constraints
14.19/14.21	c    1092 constraints of type <setppc>
14.19/14.21	c    3971 constraints of type <logicor>
14.19/14.21	c transformed objective value is always integral (scale: 1)
14.19/14.21	c Presolving Time: 14.16
14.19/14.21	c - non default parameters ----------------------------------------------------------------------
14.19/14.21	c # SCIP version 2.1.1.4
14.19/14.21	c 
14.19/14.21	c # maximal time in seconds to run
14.19/14.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.19/14.21	c limits/time = 1797
14.19/14.21	c 
14.19/14.21	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
14.19/14.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.19/14.21	c limits/memory = 13950
14.19/14.21	c 
14.19/14.21	c # default clock type (1: CPU user seconds, 2: wall clock time)
14.19/14.21	c # [type: int, range: [1,2], default: 1]
14.19/14.21	c timing/clocktype = 2
14.19/14.21	c 
14.19/14.21	c # belongs reading time to solving time?
14.19/14.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.19/14.21	c timing/reading = TRUE
14.19/14.21	c 
14.19/14.21	c -----------------------------------------------------------------------------------------------
14.19/14.21	c start solving
14.19/14.21	c 
18.49/18.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
18.49/18.54	c  18.5s|     1 |     0 | 10923 |     - | 136M|   0 |1147 |4919 |5147 |4919 |5063 |   0 |  84 |   0 | 0.000000e+00 |      --      |    Inf 
101.27/101.33	c   101s|     1 |     0 | 69738 |     - | 137M|   0 |1443 |4919 |5147 |4919 |5227 | 164 |  84 |   0 | 0.000000e+00 |      --      |    Inf 
105.07/105.12	c   105s|     1 |     0 | 75441 |     - | 137M|   0 |1540 |4919 |5147 |4919 |5311 | 248 |  84 |   0 | 0.000000e+00 |      --      |    Inf 
107.57/107.69	c   108s|     1 |     0 | 78900 |     - | 137M|   0 |1543 |4919 |5147 |4919 |5375 | 312 |  84 |   0 | 0.000000e+00 |      --      |    Inf 
110.77/110.85	c   111s|     1 |     0 | 83167 |     - | 137M|   0 |1692 |4919 |5147 |4919 |5412 | 349 |  84 |   0 | 0.000000e+00 |      --      |    Inf 
114.47/114.50	c   115s|     1 |     0 | 88206 |     - | 137M|   0 |1721 |4919 |5147 |4919 |5443 | 380 |  84 |   0 | 0.000000e+00 |      --      |    Inf 
116.97/117.06	c   117s|     1 |     0 | 91308 |     - | 137M|   0 |1846 |4919 |5147 |4919 |5481 | 418 |  84 |   0 | 0.000000e+00 |      --      |    Inf 
162.66/162.79	c   163s|     1 |     2 | 91308 |     - | 137M|   0 |1846 |4919 |5147 |4919 |5481 | 418 |  84 |  31 | 0.000000e+00 |      --      |    Inf 
512.90/513.05	c   513s|   100 |    29 |468213 |3807.1 | 137M|  26 |   - |4919 |5159 |4919 |5268 | 418 | 112 | 316 | 0.000000e+00 |      --      |    Inf 
718.45/718.66	c   719s|   200 |    39 |765708 |3388.9 | 137M|  26 | 565 |4919 |5167 |4919 |5268 | 418 | 127 | 428 | 0.000000e+00 |      --      |    Inf 
820.14/820.37	c   820s|   300 |    41 |913503 |2749.8 | 137M|  27 |   - |4919 |5168 |4919 |5268 | 418 | 129 | 504 | 0.000000e+00 |      --      |    Inf 
979.01/979.29	c   979s|   400 |    45 |  1138k|2624.1 | 137M|  27 | 560 |4919 |5172 |4919 |5268 | 418 | 135 | 639 | 0.000000e+00 |      --      |    Inf 
1092.99/1093.24	c  1093s|   500 |    45 |  1306k|2435.8 | 137M|  27 | 508 |4919 |5176 |4919 |5268 | 418 | 139 | 744 | 0.000000e+00 |      --      |    Inf 
1212.77/1213.05	c  1213s|   600 |    45 |  1503k|2357.2 | 137M|  27 |   - |4919 |5181 |4919 |5268 | 418 | 145 | 820 | 0.000000e+00 |      --      |    Inf 
1326.45/1326.73	c  1327s|   700 |    49 |  1659k|2244.2 | 137M|  28 | 615 |4919 |5192 |4919 |5268 | 418 | 156 | 919 | 0.000000e+00 |      --      |    Inf 
1433.94/1434.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1433.94/1434.24	c  1434s|   800 |    47 |  1813k|2155.0 | 138M|  28 |   - |4919 |5198 |4919 |5268 | 418 | 164 |1003 | 0.000000e+00 |      --      |    Inf 
1590.81/1591.11	c  1591s|   900 |    49 |  2064k|2195.3 | 137M|  28 | 483 |4919 |5201 |4919 |5268 | 418 | 167 |1085 | 0.000000e+00 |      --      |    Inf 
1709.40/1709.79	c  1710s|  1000 |    49 |  2242k|2153.2 | 137M|  28 | 602 |4919 |5210 |4919 |5268 | 418 | 176 |1180 | 0.000000e+00 |      --      |    Inf 
1796.69/1797.03	c 
1796.69/1797.03	c SCIP Status        : solving was interrupted [time limit reached]
1796.69/1797.03	c Solving Time (sec) : 1797.03
1796.69/1797.03	c Solving Nodes      : 1073
1796.69/1797.03	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.69/1797.03	c Dual Bound         : +0.00000000000000e+00
1796.69/1797.03	c Gap                : infinite
1796.69/1797.03	s UNKNOWN
1796.69/1797.03	c SCIP Status        : solving was interrupted [time limit reached]
1796.69/1797.03	c Total Time         :    1797.03
1796.69/1797.03	c   solving          :    1797.03
1796.69/1797.03	c   presolving       :      14.16 (included in solving)
1796.69/1797.03	c   reading          :       0.03 (included in solving)
1796.69/1797.03	c   copying          :       0.02 (1 #copies) (minimal 0.02, maximal 0.02, average 0.02)
1796.69/1797.03	c Original Problem   :
1796.69/1797.03	c   Problem name     : HOME/instance-3693030-1338043835.opb
1796.69/1797.03	c   Variables        : 5644 (5644 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.03	c   Constraints      : 5812 initial, 5812 maximal
1796.69/1797.03	c   Objective sense  : minimize
1796.69/1797.03	c Presolved Problem  :
1796.69/1797.03	c   Problem name     : t_HOME/instance-3693030-1338043835.opb
1796.69/1797.03	c   Variables        : 4919 (4919 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.69/1797.03	c   Constraints      : 5063 initial, 5214 maximal
1796.69/1797.03	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.69/1797.03	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.03	c   trivial          :       0.01       0.00          6          0          0          0          0          0          0          0          0
1796.69/1797.03	c   dualfix          :       0.01       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.03	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.03	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.03	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.03	c   gateextraction   :       0.03       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.03	c   implics          :       0.05       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.03	c   components       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.03	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.69/1797.03	c   probing          :      13.26       0.00        343          1          0          0          0          0          0          0          0
1796.69/1797.03	c   setppc           :       0.15       0.00         10          0          0          0          0        113          0          0          0
1796.69/1797.03	c   linear           :       0.11       0.00        362          0          0        362          0        386          0          0          0
1796.69/1797.03	c   logicor          :       0.50       0.00          3          0          0          6          0        250          0          0          0
1796.69/1797.03	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1796.69/1797.03	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.69/1797.03	c   integral         :          0          0          0          0        588          0          4          0          1         38          0          0       1124
1796.69/1797.03	c   setppc           :       1092       1092          6      83265          0          0          3      19492        190      36500          0          0          0
1796.69/1797.03	c   logicor          :       3971+      4122          6      76182          0          0          0      46183        144      52314          0          0          0
1796.69/1797.03	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0
1796.69/1797.03	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.69/1797.03	c   integral         :     555.39       0.00       0.00       0.00     555.38       0.00       0.00       0.00
1796.69/1797.03	c   setppc           :       1.59       0.00       0.00       1.57       0.00       0.00       0.00       0.02
1796.69/1797.03	c   logicor          :       1.98       0.00       0.00       1.93       0.00       0.00       0.00       0.05
1796.69/1797.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.69/1797.03	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.69/1797.03	c   rootredcost      :          0          0          0          0
1796.69/1797.03	c   pseudoobj        :          0          0          0          0
1796.69/1797.03	c   vbounds          :          0          0          0          0
1796.69/1797.03	c   redcost          :        594          0          0          0
1796.69/1797.03	c   probing          :          0          0          0          0
1796.69/1797.03	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.69/1797.03	c   rootredcost      :       0.07       0.00       0.00       0.07       0.00
1796.69/1797.03	c   pseudoobj        :       0.07       0.00       0.00       0.07       0.00
1796.69/1797.03	c   vbounds          :       0.07       0.00       0.00       0.07       0.00
1796.69/1797.03	c   redcost          :       0.10       0.00       0.00       0.10       0.00
1796.69/1797.03	c   probing          :      13.26       0.00      13.26       0.00       0.00
1796.69/1797.03	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.69/1797.03	c   propagation      :       0.07        334         75        243       64.4          5       12.8          -
1796.69/1797.03	c   infeasible LP    :       1.65        497         10        160      664.2          3        7.0          0
1796.69/1797.03	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.69/1797.03	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.69/1797.03	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.69/1797.03	c   applied globally :          -          -          -        182       55.0          -          -          -
1796.69/1797.03	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.69/1797.03	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.69/1797.03	c   cut pool         :       0.00                     5          -          -         16          -    (maximal pool size: 463)
1796.69/1797.03	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.69/1797.03	c   impliedbounds    :       0.13       0.00          6          0          0        576          0
1796.69/1797.03	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.69/1797.03	c   gomory           :       0.99       0.00          6          0          0          0          0
1796.69/1797.03	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.69/1797.03	c   strongcg         :       1.00       0.00          6          0          0          0          0
1796.69/1797.03	c   cmir             :       0.19       0.00          6          0          0          0          0
1796.69/1797.03	c   flowcover        :       0.19       0.00          6          0          0          0          0
1796.69/1797.03	c   clique           :      10.43       0.00          6          0          0         58          0
1796.69/1797.03	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.69/1797.03	c   mcf              :       0.00       0.00          1          0          0          0          0
1796.69/1797.03	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.69/1797.03	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1796.69/1797.03	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.69/1797.03	c   problem variables:       0.00          -          0          0
1796.69/1797.03	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.69/1797.03	c   relpscost        :     555.38       0.00        588          1         38          0          0       1124
1796.69/1797.03	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.03	c   inference        :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.03	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.03	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.03	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.03	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.03	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.69/1797.03	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.69/1797.03	c   LP solutions     :       0.00          -          -          0
1796.69/1797.03	c   pseudo solutions :       0.00          -          -          0
1796.69/1797.03	c   oneopt           :       0.00       0.00          0          0
1796.69/1797.03	c   crossover        :       0.00       0.00          0          0
1796.69/1797.03	c   guideddiving     :       0.00       0.00          0          0
1796.69/1797.03	c   coefdiving       :      41.98       0.00          3          0
1796.69/1797.03	c   veclendiving     :      72.03       0.00          3          0
1796.69/1797.03	c   linesearchdiving :      16.68       0.00          3          0
1796.69/1797.03	c   objpscostdiving  :      14.54       0.00          2          0
1796.69/1797.03	c   rootsoldiving    :      16.52       0.00          2          0
1796.69/1797.03	c   fracdiving       :      39.82       0.00          4          0
1796.69/1797.03	c   feaspump         :     121.59       0.00          2          0
1796.69/1797.03	c   pscostdiving     :      75.19       0.00          4          0
1796.69/1797.03	c   smallcard        :       0.00       0.00          0          0
1796.69/1797.03	c   trivial          :       0.01       0.00          2          0
1796.69/1797.03	c   shiftandpropagate:       0.08       0.00          1          0
1796.69/1797.03	c   simplerounding   :       0.00       0.00          0          0
1796.69/1797.03	c   zirounding       :       0.07       0.00          0          0
1796.69/1797.03	c   rounding         :       0.10       0.00        295          0
1796.69/1797.03	c   shifting         :       0.14       0.00         56          0
1796.69/1797.03	c   intshifting      :       0.00       0.00          0          0
1796.69/1797.03	c   twoopt           :       0.00       0.00          0          0
1796.69/1797.03	c   indtwoopt        :       0.00       0.00          0          0
1796.69/1797.03	c   indoneopt        :       0.00       0.00          0          0
1796.69/1797.03	c   fixandinfer      :       0.00       0.00          0          0
1796.69/1797.03	c   clique           :       0.00       0.00          0          0
1796.69/1797.03	c   indcoefdiving    :       0.00       0.00          0          0
1796.69/1797.03	c   indrounding      :       0.00       0.00          0          0
1796.69/1797.03	c   nlpdiving        :       0.00       0.00          0          0
1796.69/1797.03	c   intdiving        :       0.00       0.00          0          0
1796.69/1797.03	c   actconsdiving    :       0.00       0.00          0          0
1796.69/1797.03	c   octane           :       0.00       0.00          0          0
1796.69/1797.03	c   rens             :      23.54       0.00          1          0
1796.69/1797.03	c   rins             :       0.00       0.00          0          0
1796.69/1797.03	c   localbranching   :       0.00       0.00          0          0
1796.69/1797.03	c   mutation         :       0.00       0.00          0          0
1796.69/1797.03	c   dins             :       0.00       0.00          0          0
1796.69/1797.03	c   vbounds          :       0.00       0.00          0          0
1796.69/1797.03	c   undercover       :       0.00       0.00          0          0
1796.69/1797.03	c   subnlp           :       0.00       0.00          0          0
1796.69/1797.03	c   trysol           :       0.00       0.00          0          0
1796.69/1797.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.69/1797.03	c   primal LP        :       0.01          1          0       0.00       0.00       0.01          1
1796.69/1797.03	c   dual LP          :     789.12       1062    1725184    1633.70    2186.21       0.04          6
1796.69/1797.03	c   lex dual LP      :       0.00          0          0       0.00          -
1796.69/1797.03	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.69/1797.03	c   diving/probing LP:     394.44       2820     643359     228.14    1631.08
1796.69/1797.03	c   strong branching :     555.25       1254    1025018     817.40    1846.06
1796.69/1797.03	c     (at root node) :          -         31      31000    1000.00          -
1796.69/1797.03	c   conflict analysis:       0.00          0          0       0.00          -
1796.69/1797.03	c B&B Tree           :
1796.69/1797.03	c   number of runs   :          1
1796.69/1797.03	c   nodes            :       1073
1796.69/1797.03	c   nodes (total)    :       1073
1796.69/1797.03	c   nodes left       :         52
1796.69/1797.03	c   max depth        :         28
1796.69/1797.03	c   max depth (total):         28
1796.69/1797.03	c   backtracks       :        174 (16.2%)
1796.69/1797.03	c   delayed cutoffs  :          0
1796.69/1797.03	c   repropagations   :        276 (381 domain reductions, 0 cutoffs)
1796.69/1797.03	c   avg switch length:       3.24
1796.69/1797.03	c   switching time   :       0.32
1796.69/1797.03	c Solution           :
1796.69/1797.03	c   Solutions found  :          0 (0 improvements)
1796.69/1797.03	c   Primal Bound     :          -
1796.69/1797.03	c   Dual Bound       : +0.00000000000000e+00
1796.69/1797.03	c   Gap              :   infinite
1796.69/1797.03	c   Root Dual Bound  : +0.00000000000000e+00
1796.69/1797.03	c   Root Iterations  :      91308
1796.69/1797.06	c Time complete: 1796.75.

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-3693030-1338043835/watcher-3693030-1338043835 -o /tmp/evaluation-result-3693030-1338043835/solver-3693030-1338043835 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693030-1338043835.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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/177 4052
/proc/meminfo: memFree=25931292/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=11160 CPUtime=0 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 1535 0 0 0 0 0 0 0 20 0 1 0 270512122 11427840 1489 33554432000 4194304 10169799 140737077880048 140737431666808 7169050 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4052/statm: 2790 1489 409 1459 0 1322 0

[startup+0.0910501 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4052
/proc/meminfo: memFree=25931292/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=38720 CPUtime=0.07 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 8128 0 0 0 6 1 0 0 20 0 1 0 270512122 39649280 8082 33554432000 4194304 10169799 140737077880048 140737431666808 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4052/statm: 9680 8082 544 1459 0 8212 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 38720

[startup+0.100266 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4052
/proc/meminfo: memFree=25931292/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=40460 CPUtime=0.09 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 8503 0 0 0 7 2 0 0 20 0 1 0 270512122 41431040 8458 33554432000 4194304 10169799 140737077880048 140737431666808 8844157 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4052/statm: 10115 8475 556 1459 0 8647 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40460

[startup+0.300227 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4052
/proc/meminfo: memFree=25931292/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=55340 CPUtime=0.29 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 12791 0 0 0 20 9 0 0 20 0 1 0 270512122 56668160 12300 33554432000 4194304 10169799 140737077880048 140737077878728 5295876 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4052/statm: 13835 12300 596 1459 0 12367 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55340

[startup+0.700244 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4052
/proc/meminfo: memFree=25931292/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=85700 CPUtime=0.68 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 19278 0 0 0 59 9 0 0 20 0 1 0 270512122 87756800 18787 33554432000 4194304 10169799 140737077880048 140737077877576 5908704 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4052/statm: 21425 18787 596 1459 0 19957 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 85700

[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4053
/proc/meminfo: memFree=25854916/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=101948 CPUtime=1.49 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 23071 0 0 0 138 11 0 0 20 0 1 0 270512122 104394752 22580 33554432000 4194304 10169799 140737077880048 140737077877576 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4052/statm: 25487 22580 601 1459 0 24019 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 101948

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4053
/proc/meminfo: memFree=25824412/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=143524 CPUtime=3.08 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 33476 0 0 0 279 29 0 0 20 0 1 0 270512122 146968576 32985 33554432000 4194304 10169799 140737077880048 140737077877576 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4052/statm: 35881 32985 605 1459 0 34413 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 143524

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4053
/proc/meminfo: memFree=25775664/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=178820 CPUtime=6.29 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 42227 0 0 0 575 54 0 0 20 0 1 0 270512122 183111680 41736 33554432000 4194304 10169799 140737077880048 140737077877560 8883533 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4052/statm: 44705 41736 605 1459 0 43237 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 178820

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4053
/proc/meminfo: memFree=25702760/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=247656 CPUtime=12.68 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 59362 0 0 0 1171 97 0 0 20 0 1 0 270512122 253599744 58871 33554432000 4194304 10169799 140737077880048 140737077877576 8961143 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4052/statm: 61914 58871 605 1459 0 60446 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 247656

[startup+25.5002 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 4053
/proc/meminfo: memFree=25661952/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=282088 CPUtime=25.49 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 69327 0 0 0 2437 112 0 0 20 0 1 0 270512122 288858112 67811 33554432000 4194304 10169799 140737077880048 140737077872728 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4052/statm: 70522 67811 776 1459 0 69054 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 282088

[startup+51.1002 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 4053
/proc/meminfo: memFree=25660960/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=282344 CPUtime=51.07 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 70020 0 0 0 4993 114 0 0 20 0 1 0 270512122 289120256 67963 33554432000 4194304 10169799 140737077880048 140737077872328 8004307 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4052/statm: 70586 67963 776 1459 0 69118 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 282344

[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4053
/proc/meminfo: memFree=25647888/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=295448 CPUtime=102.28 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 76134 0 0 0 9963 265 0 0 20 0 1 0 270512122 302538752 71249 33554432000 4194304 10169799 140737077880048 140737077877560 7978361 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4052/statm: 73862 71249 803 1459 0 72394 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 295448

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4054
/proc/meminfo: memFree=25648164/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=294996 CPUtime=162.26 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 85711 0 0 0 15933 293 0 0 20 0 1 0 270512122 302075904 71130 33554432000 4194304 10169799 140737077880048 140737077874648 7591808 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4052/statm: 73749 71130 845 1459 0 72281 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 294996

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4054
/proc/meminfo: memFree=26386264/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=295960 CPUtime=222.25 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 86003 0 0 0 21916 309 0 0 20 0 1 0 270512122 303063040 71422 33554432000 4194304 10169799 140737077880048 140737077874648 7707226 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4052/statm: 73990 71422 846 1459 0 72522 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 295960

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4054
/proc/meminfo: memFree=26402152/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=296184 CPUtime=282.24 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 86059 0 0 0 27900 324 0 0 20 0 1 0 270512122 303292416 71478 33554432000 4194304 10169799 140737077880048 140737077874648 8009499 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4052/statm: 74046 71478 846 1459 0 72578 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 296184

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4054
/proc/meminfo: memFree=26400772/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=296184 CPUtime=342.23 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 86090 0 0 0 33886 337 0 0 20 0 1 0 270512122 303292416 71509 33554432000 4194304 10169799 140737077880048 140737077874328 8009719 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4052/statm: 74046 71509 846 1459 0 72578 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 296184

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4054
/proc/meminfo: memFree=26400428/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=296184 CPUtime=402.22 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 86090 0 0 0 39867 355 0 0 20 0 1 0 270512122 303292416 71509 33554432000 4194304 10169799 140737077880048 140737077874648 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4052/statm: 74046 71509 846 1459 0 72578 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 296184

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4055
/proc/meminfo: memFree=26399464/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=296184 CPUtime=462.2 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 86093 0 0 0 45848 372 0 0 20 0 1 0 270512122 303292416 71727 33554432000 4194304 10169799 140737077880048 140737077874744 8004337 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4052/statm: 74046 71727 846 1459 0 72578 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 296184

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4055
/proc/meminfo: memFree=26395896/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=296184 CPUtime=522.19 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 86093 0 0 0 51831 388 0 0 20 0 1 0 270512122 303292416 72672 33554432000 4194304 10169799 140737077880048 140737077874552 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4052/statm: 74046 72672 846 1459 0 72578 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 296184

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4058
/proc/meminfo: memFree=26393808/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=297792 CPUtime=582.18 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 86362 0 0 0 57812 406 0 0 20 0 1 0 270512122 304939008 73321 33554432000 4194304 10169799 140737077880048 140737077874504 8979322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/4052/statm: 74448 73321 846 1459 0 72980 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 297792

[startup+642.3 s]

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

/proc/meminfo: memFree=26944864/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=297792 CPUtime=1122.08 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 86460 0 0 0 111637 571 0 0 20 0 1 0 270512122 304939008 73669 33554432000 4194304 10169799 140737077880048 140737077873384 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4052/statm: 74448 73669 846 1459 0 72980 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 297792

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4124
/proc/meminfo: memFree=26941908/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=297792 CPUtime=1182.08 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 86460 0 0 0 117619 589 0 0 20 0 1 0 270512122 304939008 73669 33554432000 4194304 10169799 140737077880048 140737077874744 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4052/statm: 74448 73669 846 1459 0 72980 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 297792

[startup+1242.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 4124
/proc/meminfo: memFree=26939156/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=297792 CPUtime=1242.07 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 86460 0 0 0 123603 604 0 0 20 0 1 0 270512122 304939008 73669 33554432000 4194304 10169799 140737077880048 140737077874504 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4052/statm: 74448 73669 846 1459 0 72980 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 297792

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4124
/proc/meminfo: memFree=26935960/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=297792 CPUtime=1302.06 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 86473 0 0 0 129584 622 0 0 20 0 1 0 270512122 304939008 73682 33554432000 4194304 10169799 140737077880048 140737077874696 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4052/statm: 74448 73682 846 1459 0 72980 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 297792

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4125
/proc/meminfo: memFree=26935616/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=297792 CPUtime=1362.05 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 86473 0 0 0 135565 640 0 0 20 0 1 0 270512122 304939008 73682 33554432000 4194304 10169799 140737077880048 140737077874744 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4052/statm: 74448 73682 846 1459 0 72980 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 297792

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4125
/proc/meminfo: memFree=26935768/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=298432 CPUtime=1422.05 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 86501 0 0 0 141548 657 0 0 20 0 1 0 270512122 305594368 73710 33554432000 4194304 10169799 140737077880048 140737077874456 7983350 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4052/statm: 74608 73710 846 1459 0 73140 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 298432

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4125
/proc/meminfo: memFree=26935176/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=299140 CPUtime=1482.03 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 86789 0 0 0 147531 672 0 0 20 0 1 0 270512122 306319360 73998 33554432000 4194304 10169799 140737077880048 140737077873016 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4052/statm: 74785 73998 846 1459 0 73317 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 299140

[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 4125
/proc/meminfo: memFree=26934956/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=299140 CPUtime=1542.02 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 86816 0 0 0 153510 692 0 0 20 0 1 0 270512122 306319360 74025 33554432000 4194304 10169799 140737077880048 140737077874456 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4052/statm: 74785 74025 846 1459 0 73317 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 299140

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4125
/proc/meminfo: memFree=26945152/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=299140 CPUtime=1602.01 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 86816 0 0 0 159494 707 0 0 20 0 1 0 270512122 306319360 74025 33554432000 4194304 10169799 140737077880048 140737077874648 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4052/statm: 74785 74025 846 1459 0 73317 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 299140

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 4126
/proc/meminfo: memFree=26855784/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=299140 CPUtime=1662 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 86816 0 0 0 165476 724 0 0 20 0 1 0 270512122 306319360 74025 33554432000 4194304 10169799 140737077880048 140737077874552 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4052/statm: 74785 74025 846 1459 0 73317 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 299140

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4126
/proc/meminfo: memFree=26851848/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=299140 CPUtime=1721.99 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 86816 0 0 0 171455 744 0 0 20 0 1 0 270512122 306319360 74025 33554432000 4194304 10169799 140737077880048 140737077874840 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4052/statm: 74785 74025 846 1459 0 73317 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 299140

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4129
/proc/meminfo: memFree=26847552/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=299140 CPUtime=1781.98 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 86816 0 0 0 177438 760 0 0 20 0 1 0 270512122 306319360 74025 33554432000 4194304 10169799 140737077880048 140737077874504 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4052/statm: 74785 74025 846 1459 0 73317 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 299140

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4129
/proc/meminfo: memFree=26847488/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=299140 CPUtime=1785.18 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 86816 0 0 0 177757 761 0 0 20 0 1 0 270512122 306319360 74025 33554432000 4194304 10169799 140737077880048 140737077873912 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4052/statm: 74785 74025 846 1459 0 73317 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 299140

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4129
/proc/meminfo: memFree=26847612/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=299140 CPUtime=1791.59 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 86816 0 0 0 178396 763 0 0 20 0 1 0 270512122 306319360 74025 33554432000 4194304 10169799 140737077880048 140737077874456 8051760 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4052/statm: 74785 74025 846 1459 0 73317 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 299140

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4129
/proc/meminfo: memFree=26845676/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=299140 CPUtime=1794.79 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 86816 0 0 0 178715 764 0 0 20 0 1 0 270512122 306319360 74025 33554432000 4194304 10169799 140737077880048 140737077874696 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4052/statm: 74785 74025 846 1459 0 73317 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 299140

[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4129
/proc/meminfo: memFree=26845676/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=299140 CPUtime=1795.58 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 86816 0 0 0 178794 764 0 0 20 0 1 0 270512122 306319360 74025 33554432000 4194304 10169799 140737077880048 140737077874648 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4052/statm: 74785 74025 846 1459 0 73317 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (KiB) 299140

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4129
/proc/meminfo: memFree=26845924/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=299140 CPUtime=1796.38 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 86816 0 0 0 178874 764 0 0 20 0 1 0 270512122 306319360 74025 33554432000 4194304 10169799 140737077880048 140737077874744 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4052/statm: 74785 74025 846 1459 0 73317 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 299140

[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4129
/proc/meminfo: memFree=26845924/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=299140 CPUtime=1796.59 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 86816 0 0 0 178894 765 0 0 20 0 1 0 270512122 306319360 74025 33554432000 4194304 10169799 140737077880048 140737077874744 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4052/statm: 74785 74025 846 1459 0 73317 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (KiB) 299140

[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4129
/proc/meminfo: memFree=26845924/32873844 swapFree=7356/7356
[pid=4052] ppid=4050 vsize=299140 CPUtime=1796.69 cores=0,2,4,6
/proc/4052/stat : 4052 (scip-2.1.1.4sfi) R 4050 4052 1047 0 -1 4202496 86816 0 0 0 178904 765 0 0 20 0 1 0 270512122 306319360 74025 33554432000 4194304 10169799 140737077880048 140737077874744 8979322 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4052/statm: 74785 74025 846 1459 0 73317 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (KiB) 299140

Child status: 0
Real time (s): 1797.07
CPU time (s): 1796.76
CPU user time (s): 1789.11
CPU system time (s): 7.65683
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 333124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.11
system time used= 7.65684
maximum resident set size= 321608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86820
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= 14
involuntary context switches= 2346

runsolver used 3.39548 second user time and 8.66768 second system time

The end

Launcher Data 

Begin job on node109 at 2012-05-26 16:50:35
IDJOB=3693030
IDBENCH=90136
IDSOLVER=2272
FILE ID=node109/3693030-1338043835
RUNJOBID= node109-1338029634-2326
PBS_JOBID= 14624362
Free space on /tmp= 71332 MiB

SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K83.opb
COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3693030-1338043835/watcher-3693030-1338043835 -o /tmp/evaluation-result-3693030-1338043835/solver-3693030-1338043835 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693030-1338043835.opb -t 1800 -m 15500

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

MD5SUM BENCH= 87eecd69bf3cf4e36ad8fc8a9d8af53d
RANDOM SEED=1870413001

node109.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		: 2667.264
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	: 5334.52
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		: 2667.264
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		: 2667.264
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.91
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		: 2667.264
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.91
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		: 2667.264
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		: 2667.264
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.91
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		: 2667.264
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		: 2667.264
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        25931936 kB
Buffers:          249400 kB
Cached:          3458484 kB
SwapCached:            0 kB
Active:          3196392 kB
Inactive:        2962700 kB
Active(anon):    2453628 kB
Inactive(anon):        0 kB
Active(file):     742764 kB
Inactive(file):  2962700 kB
Unevictable:        7356 kB
Mlocked:            7356 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14008 kB
Writeback:             0 kB
AnonPages:       2459044 kB
Mapped:            17588 kB
Shmem:               200 kB
Slab:             640596 kB
SReclaimable:      83332 kB
SUnreclaim:       557264 kB
KernelStack:        1456 kB
PageTables:         9076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2611896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1273856 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71364 MiB
End job on node109 at 2012-05-26 17:20:33