Trace number 3450958

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
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4? (TO) 1800.71 1800.65

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g250.15.opb
MD5SUMf368868fda311e5aaeadb84d33b29291
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3750
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3750
Optimality of the best value was proved NO
Number of variables7500
Total number of constraints237715
Number of constraints which are clauses237715
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint15
Number of terms in the objective function 7500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 7500
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7500
Number of bits of the biggest sum of numbers13
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.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 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-3450958-1307083772.opb>
1.29/1.39	c original problem has 7500 variables (7500 bin, 0 int, 0 impl, 0 cont) and 237715 constraints
1.29/1.39	c problem read
1.29/1.39	c presolving settings loaded
1.59/1.66	c presolving:
2.59/2.66	c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 233965 upgd conss, 477930 impls, 0 clqs
2.79/2.88	c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 237715 upgd conss, 477930 impls, 0 clqs
44.99/45.01	c    (45.0s) probing: 1000/7500 (13.3%) - 0 fixings, 0 aggregations, 134067 implications, 0 bound changes
90.31/90.31	c    (90.3s) probing: 2000/7500 (26.7%) - 0 fixings, 0 aggregations, 259456 implications, 0 bound changes
90.31/90.36	c    (90.4s) probing: 2001/7500 (26.7%) - 0 fixings, 0 aggregations, 259580 implications, 0 bound changes
90.31/90.36	c    (90.4s) probing aborted: 2000/2000 successive useless probings
90.31/90.36	c presolving (3 rounds):
90.31/90.36	c  0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
90.31/90.36	c  1372588 implications, 0 cliques
90.31/90.36	c presolved problem has 7500 variables (7500 bin, 0 int, 0 impl, 0 cont) and 237715 constraints
90.31/90.36	c  237465 constraints of type <setppc>
90.31/90.36	c     250 constraints of type <logicor>
90.31/90.36	c transformed objective value is always integral (scale: 1)
90.31/90.36	c Presolving Time: 88.75
90.31/90.36	c - non default parameters ----------------------------------------------------------------------
90.31/90.36	c # SCIP version 2.0.1.5
90.31/90.36	c 
90.31/90.36	c # frequency for displaying node information lines
90.31/90.36	c # [type: int, range: [-1,2147483647], default: 100]
90.31/90.36	c display/freq = 10000
90.31/90.36	c 
90.31/90.36	c # maximal time in seconds to run
90.31/90.36	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
90.31/90.36	c limits/time = 1800
90.31/90.36	c 
90.31/90.36	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
90.31/90.36	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
90.31/90.36	c limits/memory = 13950
90.31/90.36	c 
90.31/90.36	c # default clock type (1: CPU user seconds, 2: wall clock time)
90.31/90.36	c # [type: int, range: [1,2], default: 1]
90.31/90.36	c timing/clocktype = 2
90.31/90.36	c 
90.31/90.36	c # belongs reading time to solving time?
90.31/90.36	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
90.31/90.36	c timing/reading = TRUE
90.31/90.36	c 
90.31/90.36	c # should presolving try to simplify inequalities
90.31/90.36	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
90.31/90.36	c constraints/linear/simplifyinequalities = TRUE
90.31/90.36	c 
90.31/90.36	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
90.31/90.36	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
90.31/90.36	c constraints/indicator/addCouplingCons = TRUE
90.31/90.36	c 
90.31/90.36	c # should presolving try to simplify knapsacks
90.31/90.36	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
90.31/90.36	c constraints/knapsack/simplifyinequalities = TRUE
90.31/90.36	c 
90.31/90.36	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
90.31/90.36	c # [type: int, range: [-1,2147483647], default: -1]
90.31/90.36	c separating/rapidlearning/freq = 0
90.31/90.36	c 
90.31/90.36	c -----------------------------------------------------------------------------------------------
90.31/90.36	c start solving
90.31/90.37	c 
112.09/112.17	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
112.09/112.17	c   112s|     1 |     0 |  4979 |     - | 329M|   0 |4250 |7500 | 237k|7500 | 237k|   0 |  42 |   0 | 2.125000e+03 |      --      |    Inf 
129.59/129.65	c   130s|     1 |     0 |  6970 |     - | 330M|   0 |4196 |7500 | 237k|7500 | 237k|  31 |  42 |   0 | 2.152000e+03 |      --      |    Inf 
140.91/140.95	c   141s|     1 |     0 |  7685 |     - | 330M|   0 |4153 |7500 | 237k|7500 | 237k|  53 |  42 |   0 | 2.173500e+03 |      --      |    Inf 
155.11/155.21	c   155s|     1 |     0 |  8196 |     - | 330M|   0 |4088 |7500 | 237k|7500 | 237k| 105 |  42 |   0 | 2.206000e+03 |      --      |    Inf 
173.10/173.13	c   173s|     1 |     0 |  8633 |     - | 330M|   0 |4036 |7500 | 237k|7500 | 237k| 146 |  42 |   0 | 2.232500e+03 |      --      |    Inf 
193.20/193.25	c   193s|     1 |     0 |  9093 |     - | 330M|   0 |3997 |7500 | 237k|7500 | 237k| 181 |  42 |   0 | 2.252500e+03 |      --      |    Inf 
216.30/216.37	c   216s|     1 |     0 |  9621 |     - | 330M|   0 |3959 |7500 | 237k|7500 | 237k| 219 |  42 |   0 | 2.271500e+03 |      --      |    Inf 
240.49/240.51	c   241s|     1 |     0 | 10129 |     - | 330M|   0 |3921 |7500 | 237k|7500 | 237k| 248 |  42 |   0 | 2.291750e+03 |      --      |    Inf 
266.60/266.67	c   267s|     1 |     0 | 10741 |     - | 330M|   0 |3875 |7500 | 237k|7500 | 238k| 292 |  42 |   0 | 2.315167e+03 |      --      |    Inf 
294.70/294.78	c   295s|     1 |     0 | 11425 |     - | 330M|   0 |3838 |7500 | 237k|7500 | 238k| 335 |  42 |   0 | 2.335250e+03 |      --      |    Inf 
327.60/327.61	c   328s|     1 |     0 | 12245 |     - | 330M|   0 |3800 |7500 | 237k|7500 | 238k| 382 |  42 |   0 | 2.354500e+03 |      --      |    Inf 
336.80/336.80	c   337s|     1 |     0 | 13246 |     - | 331M|   0 |3772 |7500 | 237k|7500 | 238k| 428 |  42 |   0 | 2.371250e+03 |      --      |    Inf 
345.52/345.53	c   346s|     1 |     0 | 14411 |     - | 331M|   0 |3746 |7500 | 237k|7500 | 238k| 482 |  42 |   0 | 2.387333e+03 |      --      |    Inf 
354.70/354.73	c   355s|     1 |     0 | 15770 |     - | 331M|   0 |3723 |7500 | 237k|7500 | 238k| 546 |  42 |   0 | 2.405583e+03 |      --      |    Inf 
364.70/364.71	c   365s|     1 |     0 | 16963 |     - | 332M|   0 |3688 |7500 | 237k|7500 | 238k| 599 |  42 |   0 | 2.422524e+03 |      --      |    Inf 
377.32/377.35	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
377.32/377.35	c   377s|     1 |     0 | 18757 |     - | 332M|   0 |3644 |7500 | 237k|7500 | 238k| 656 |  42 |   0 | 2.440821e+03 |      --      |    Inf 
387.00/387.02	c   387s|     1 |     0 | 20244 |     - | 332M|   0 |3620 |7500 | 237k|7500 | 238k| 720 |  42 |   0 | 2.461911e+03 |      --      |    Inf 
406.02/406.08	c   406s|     1 |     0 | 24191 |     - | 333M|   0 |3579 |7500 | 237k|7500 | 238k| 792 |  42 |   0 | 2.481917e+03 |      --      |    Inf 
420.41/420.49	c   420s|     1 |     0 | 26693 |     - | 333M|   0 |3549 |7500 | 237k|7500 | 238k| 844 |  42 |   0 | 2.495750e+03 |      --      |    Inf 
432.50/432.52	c   433s|     1 |     0 | 28947 |     - | 333M|   0 |3537 |7500 | 237k|7500 | 238k| 903 |  42 |   0 | 2.509750e+03 |      --      |    Inf 
445.31/445.36	c   445s|     1 |     0 | 31178 |     - | 334M|   0 |3498 |7500 | 237k|7500 | 238k| 955 |  42 |   0 | 2.526000e+03 |      --      |    Inf 
462.60/462.68	c   463s|     1 |     0 | 35152 |     - | 334M|   0 |3450 |7500 | 237k|7500 | 238k|1018 |  42 |   0 | 2.538369e+03 |      --      |    Inf 
480.90/480.94	c   481s|     1 |     0 | 39387 |     - | 335M|   0 |3462 |7500 | 237k|7500 | 238k|1068 |  42 |   0 | 2.551542e+03 |      --      |    Inf 
494.61/494.66	c   495s|     1 |     0 | 42311 |     - | 335M|   0 |3419 |7500 | 237k|7500 | 238k|1131 |  42 |   0 | 2.566867e+03 |      --      |    Inf 
510.53/510.56	c   511s|     1 |     0 | 46019 |     - | 335M|   0 |3386 |7500 | 237k|7500 | 238k|1187 |  42 |   0 | 2.587991e+03 |      --      |    Inf 
519.01/519.03	c   519s|     1 |     0 | 47601 |     - | 335M|   0 |3350 |7500 | 237k|7500 | 238k|1238 |  42 |   0 | 2.601750e+03 |      --      |    Inf 
539.71/539.79	c   540s|     1 |     0 | 53119 |     - | 336M|   0 |3342 |7500 | 237k|7500 | 238k|1288 |  42 |   0 | 2.614884e+03 |      --      |    Inf 
556.81/556.86	c   557s|     1 |     0 | 56997 |     - | 336M|   0 |3319 |7500 | 237k|7500 | 238k|1349 |  42 |   0 | 2.631500e+03 |      --      |    Inf 
572.61/572.66	c   573s|     1 |     0 | 59843 |     - | 336M|   0 |3274 |7500 | 237k|7500 | 238k|1404 |  42 |   0 | 2.646750e+03 |      --      |    Inf 
586.71/586.72	c   587s|     1 |     0 | 62730 |     - | 337M|   0 |3249 |7500 | 237k|7500 | 238k|1464 |  42 |   0 | 2.658000e+03 |      --      |    Inf 
612.21/612.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
612.21/612.25	c   612s|     1 |     0 | 67541 |     - | 337M|   0 |3212 |7500 | 237k|7500 | 238k|1517 |  42 |   0 | 2.670333e+03 |      --      |    Inf 
634.31/634.38	c   634s|     1 |     0 | 72117 |     - | 337M|   0 |3204 |7500 | 237k|7500 | 238k|1570 |  42 |   0 | 2.676750e+03 |      --      |    Inf 
651.11/651.16	c   651s|     1 |     0 | 75664 |     - | 338M|   0 |3183 |7500 | 237k|7500 | 238k|1625 |  42 |   0 | 2.686093e+03 |      --      |    Inf 
675.21/675.29	c   675s|     1 |     0 | 80234 |     - | 338M|   0 |3186 |7500 | 237k|7500 | 238k|1673 |  42 |   0 | 2.693864e+03 |      --      |    Inf 
686.32/686.31	c   686s|     1 |     0 | 82721 |     - | 338M|   0 |3145 |7500 | 237k|7500 | 238k|1725 |  42 |   0 | 2.703614e+03 |      --      |    Inf 
701.71/701.78	c   702s|     1 |     0 | 85831 |     - | 339M|   0 |3119 |7500 | 237k|7500 | 238k|1775 |  42 |   0 | 2.711864e+03 |      --      |    Inf 
723.83/723.91	c   724s|     1 |     0 | 90137 |     - | 339M|   0 |3104 |7500 | 237k|7500 | 238k|1834 |  42 |   0 | 2.725306e+03 |      --      |    Inf 
744.31/744.38	c   744s|     1 |     0 | 94712 |     - | 339M|   0 |3111 |7500 | 237k|7500 | 239k|1887 |  42 |   0 | 2.736681e+03 |      --      |    Inf 
761.81/761.80	c   762s|     1 |     0 | 98466 |     - | 340M|   0 |3077 |7500 | 237k|7500 | 239k|1937 |  42 |   0 | 2.747250e+03 |      --      |    Inf 
795.43/795.45	c   795s|     1 |     0 |105727 |     - | 340M|   0 |3055 |7500 | 237k|7500 | 238k|1986 |  42 |   0 | 2.757750e+03 |      --      |    Inf 
820.22/820.23	c   820s|     1 |     0 |110902 |     - | 340M|   0 |2994 |7500 | 237k|7500 | 238k|2038 |  42 |   0 | 2.774292e+03 |      --      |    Inf 
843.73/843.75	c   844s|     1 |     0 |115647 |     - | 340M|   0 |3000 |7500 | 237k|7500 | 238k|2099 |  42 |   0 | 2.787750e+03 |      --      |    Inf 
874.42/874.48	c   874s|     1 |     0 |122654 |     - | 341M|   0 |2955 |7500 | 237k|7500 | 239k|2154 |  42 |   0 | 2.796750e+03 |      --      |    Inf 
906.22/906.24	c   906s|     1 |     0 |128537 |     - | 341M|   0 |2973 |7500 | 237k|7500 | 239k|2204 |  42 |   0 | 2.805000e+03 |      --      |    Inf 
924.92/924.90	c   925s|     1 |     0 |132013 |     - | 341M|   0 |2951 |7500 | 237k|7500 | 239k|2262 |  42 |   0 | 2.815625e+03 |      --      |    Inf 
974.03/974.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
974.03/974.05	c   974s|     1 |     0 |141261 |     - | 341M|   0 |2961 |7500 | 237k|7500 | 238k|2312 |  42 |   0 | 2.823417e+03 |      --      |    Inf 
994.13/994.14	c   994s|     1 |     0 |145555 |     - | 342M|   0 |2933 |7500 | 237k|7500 | 239k|2383 |  42 |   0 | 2.829250e+03 |      --      |    Inf 
1088.63/1088.64	c  1089s|     1 |     0 |158704 |     - | 342M|   0 |2923 |7500 | 237k|7500 | 239k|2455 |  42 |   0 | 2.836125e+03 |      --      |    Inf 
1117.53/1117.57	c  1118s|     1 |     0 |164905 |     - | 342M|   0 |2888 |7500 | 237k|7500 | 239k|2518 |  42 |   0 | 2.845975e+03 |      --      |    Inf 
1134.93/1134.94	c  1135s|     1 |     0 |168665 |     - | 343M|   0 |2894 |7500 | 237k|7500 | 239k|2593 |  42 |   0 | 2.855389e+03 |      --      |    Inf 
1168.43/1168.41	c  1168s|     1 |     0 |176010 |     - | 343M|   0 |2882 |7500 | 237k|7500 | 239k|2651 |  42 |   0 | 2.865188e+03 |      --      |    Inf 
1201.43/1201.49	c  1201s|     1 |     0 |182344 |     - | 343M|   0 |2860 |7500 | 237k|7500 | 239k|2703 |  42 |   0 | 2.873139e+03 |      --      |    Inf 
1258.33/1258.39	c  1258s|     1 |     0 |192980 |     - | 344M|   0 |2816 |7500 | 237k|7500 | 239k|2761 |  42 |   0 | 2.881417e+03 |      --      |    Inf 
1295.44/1295.44	c  1295s|     1 |     0 |200288 |     - | 344M|   0 |2799 |7500 | 237k|7500 | 239k|2819 |  42 |   0 | 2.885688e+03 |      --      |    Inf 
1317.54/1317.57	c  1318s|     1 |     0 |205437 |     - | 345M|   0 |2813 |7500 | 237k|7500 | 239k|2881 |  42 |   0 | 2.891833e+03 |      --      |    Inf 
1350.33/1350.38	c  1350s|     1 |     0 |212749 |     - | 345M|   0 |2860 |7500 | 237k|7500 | 239k|2949 |  42 |   0 | 2.902200e+03 |      --      |    Inf 
1384.54/1384.50	c  1384s|     1 |     0 |219192 |     - | 345M|   0 |2771 |7500 | 237k|7500 | 239k|3005 |  42 |   0 | 2.910750e+03 |      --      |    Inf 
1412.74/1412.80	c  1413s|     1 |     0 |225742 |     - | 346M|   0 |2813 |7500 | 237k|7500 | 239k|3059 |  42 |   0 | 2.916750e+03 |      --      |    Inf 
1455.04/1455.04	c  1455s|     1 |     0 |234450 |     - | 346M|   0 |2771 |7500 | 237k|7500 | 239k|3111 |  42 |   0 | 2.924667e+03 |      --      |    Inf 
1487.04/1487.06	c  1487s|     1 |     0 |241400 |     - | 346M|   0 |2774 |7500 | 237k|7500 | 239k|3176 |  42 |   0 | 2.930250e+03 |      --      |    Inf 
1549.44/1549.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1549.44/1549.49	c  1549s|     1 |     0 |252505 |     - | 347M|   0 |2738 |7500 | 237k|7500 | 239k|3237 |  42 |   0 | 2.937000e+03 |      --      |    Inf 
1630.05/1630.02	c  1630s|     1 |     0 |264278 |     - | 347M|   0 |2692 |7500 | 237k|7500 | 239k|3301 |  42 |   0 | 2.941250e+03 |      --      |    Inf 
1672.74/1672.77	c  1673s|     1 |     0 |272763 |     - | 348M|   0 |2676 |7500 | 237k|7500 | 239k|3361 |  42 |   0 | 2.946500e+03 |      --      |    Inf 
1715.65/1715.61	c  1716s|     1 |     0 |280922 |     - | 348M|   0 |2696 |7500 | 237k|7500 | 239k|3402 |  42 |   0 | 2.953500e+03 |      --      |    Inf 
1776.05/1776.08	c  1776s|     1 |     0 |291076 |     - | 348M|   0 |2723 |7500 | 237k|7500 | 239k|3452 |  42 |   0 | 2.958250e+03 |      --      |    Inf 
1800.06/1800.02	c  1800s|     1 |     0 |294457 |     - | 349M|   0 |   - |7500 | 237k|7500 | 239k|3518 |  42 |   0 | 2.958250e+03 |      --      |    Inf 
1800.06/1800.10	c  1800s|     1 |     2 |294457 |     - | 349M|   0 |   - |7500 | 237k|7500 | 239k|3518 |  42 |   0 | 2.958250e+03 |      --      |    Inf 
1800.06/1800.10	c 
1800.06/1800.10	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.10	c Solving Time (sec) : 1800.10
1800.06/1800.10	c Solving Nodes      : 1
1800.06/1800.10	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.06/1800.10	c Dual Bound         : +2.95825000000000e+03
1800.06/1800.10	c Gap                : infinite
1800.06/1800.10	s UNKNOWN
1800.06/1800.10	c SCIP Status        : solving was interrupted [user interrupt]
1800.06/1800.10	c Total Time         :    1800.10
1800.06/1800.10	c   solving          :    1800.10
1800.06/1800.10	c   presolving       :      88.75 (included in solving)
1800.06/1800.10	c   reading          :       1.39 (included in solving)
1800.06/1800.10	c Original Problem   :
1800.06/1800.10	c   Problem name     : HOME/instance-3450958-1307083772.opb
1800.06/1800.10	c   Variables        : 7500 (7500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.10	c   Constraints      : 237715 initial, 237715 maximal
1800.06/1800.10	c Presolved Problem  :
1800.06/1800.10	c   Problem name     : t_HOME/instance-3450958-1307083772.opb
1800.06/1800.10	c   Variables        : 7500 (7500 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.10	c   Constraints      : 237715 initial, 237757 maximal
1800.06/1800.10	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.06/1800.10	c   trivial          :       0.00          0          0          0          0          0          0          0          0          0
1800.06/1800.10	c   dualfix          :       0.00          0          0          0          0          0          0          0          0          0
1800.06/1800.10	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.06/1800.10	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.06/1800.10	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1800.06/1800.10	c   implics          :       0.00          0          0          0          0          0          0          0          0          0
1800.06/1800.10	c   probing          :      87.36          0          0          0          0          0          0          0          0          0
1800.06/1800.10	c   setppc           :       0.32          0          0          0          0          0          0          0          0          0
1800.06/1800.10	c   linear           :       0.84          0          0          0          0          0          0          0          0          0
1800.06/1800.10	c   logicor          :       0.00          0          0          0          0          0          0          0          0          0
1800.06/1800.10	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.06/1800.10	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.10	c   integral         :          0          0          0          0          0          4          0          0          0          0          0          0
1800.06/1800.10	c   setppc           :     237465         65       6624          0          1          3       1050          2          0          0          0          0
1800.06/1800.10	c   logicor          :        250+        65        936          0          1          0        303         13          0          0          0          0
1800.06/1800.10	c   countsols        :          0          0          0          0          1          0          0          0          0          0          0          0
1800.06/1800.10	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.06/1800.10	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.06/1800.10	c   setppc           :      82.13       1.29      80.72       0.00       0.07       0.05       0.00
1800.06/1800.10	c   logicor          :       0.06       0.00       0.06       0.00       0.00       0.00       0.00
1800.06/1800.10	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.06/1800.10	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.06/1800.10	c   vbounds          :          0          0          0          0
1800.06/1800.10	c   rootredcost      :          0          0          0          0
1800.06/1800.10	c   pseudoobj        :        689          0          0          0
1800.06/1800.10	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.06/1800.10	c   vbounds          :       0.00       0.00       0.00
1800.06/1800.10	c   rootredcost      :       0.00       0.00       0.00
1800.06/1800.10	c   pseudoobj        :       0.01       0.01       0.00
1800.06/1800.10	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.06/1800.10	c   propagation      :       0.00         15         15         55       26.5          0        0.0          -
1800.06/1800.10	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.10	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.10	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.06/1800.10	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.06/1800.10	c   applied globally :          -          -          -         42       24.2          -          -          -
1800.06/1800.10	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.06/1800.10	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.06/1800.10	c   cut pool         :       0.11         64          -          -       1011          -    (maximal pool size: 6992)
1800.06/1800.10	c   redcost          :       0.01         65          0          0          0          0
1800.06/1800.10	c   impliedbounds    :       0.82         65          0          0          0          0
1800.06/1800.10	c   intobj           :       0.00          0          0          0          0          0
1800.06/1800.10	c   gomory           :      78.45         65          0          0      32500          0
1800.06/1800.10	c   cgmip            :       0.00          0          0          0          0          0
1800.06/1800.10	c   closecuts        :       0.00          0          0          0          0          0
1800.06/1800.10	c   strongcg         :      21.74         20          0          0      10000          0
1800.06/1800.10	c   cmir             :      64.64         10          0          0          0          0
1800.06/1800.10	c   flowcover        :      69.11         10          0          0          0          0
1800.06/1800.10	c   clique           :      17.95         65          0          0        630          0
1800.06/1800.10	c   zerohalf         :       0.00          0          0          0          0          0
1800.06/1800.10	c   mcf              :       0.46          1          0          0          0          0
1800.06/1800.10	c   oddcycle         :       0.00          0          0          0          0          0
1800.06/1800.10	c   rapidlearning    :       0.00          0          0          0          0          0
1800.06/1800.10	c Pricers            :       Time      Calls       Vars
1800.06/1800.10	c   problem variables:       0.00          0          0
1800.06/1800.10	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.06/1800.10	c   relpscost        :       0.00          0          0          0          0          0          0
1800.06/1800.10	c   pscost           :       0.00          0          0          0          0          0          0
1800.06/1800.10	c   inference        :       0.00          1          0          0          0          0          2
1800.06/1800.10	c   mostinf          :       0.00          0          0          0          0          0          0
1800.06/1800.10	c   leastinf         :       0.00          0          0          0          0          0          0
1800.06/1800.10	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.06/1800.10	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.06/1800.10	c   random           :       0.00          0          0          0          0          0          0
1800.06/1800.10	c Primal Heuristics  :       Time      Calls      Found
1800.06/1800.10	c   LP solutions     :       0.00          -          0
1800.06/1800.10	c   pseudo solutions :       0.00          -          0
1800.06/1800.10	c   oneopt           :       0.00          0          0
1800.06/1800.10	c   trivial          :       0.10          2          0
1800.06/1800.10	c   shiftandpropagate:       4.39          1          0
1800.06/1800.10	c   simplerounding   :       0.00          0          0
1800.06/1800.10	c   zirounding       :       0.00          0          0
1800.06/1800.10	c   rounding         :       1.78         65          0
1800.06/1800.10	c   shifting         :      45.51         65          0
1800.06/1800.10	c   intshifting      :       0.00          0          0
1800.06/1800.10	c   twoopt           :       0.00          0          0
1800.06/1800.10	c   fixandinfer      :       0.00          0          0
1800.06/1800.10	c   feaspump         :       7.24          1          0
1800.06/1800.10	c   clique           :       0.00          0          0
1800.06/1800.10	c   coefdiving       :       0.00          0          0
1800.06/1800.10	c   pscostdiving     :       0.00          0          0
1800.06/1800.10	c   fracdiving       :       0.00          0          0
1800.06/1800.10	c   veclendiving     :       0.00          0          0
1800.06/1800.10	c   intdiving        :       0.00          0          0
1800.06/1800.10	c   actconsdiving    :       0.00          0          0
1800.06/1800.10	c   objpscostdiving  :       0.00          0          0
1800.06/1800.10	c   rootsoldiving    :       0.00          0          0
1800.06/1800.10	c   linesearchdiving :       0.00          0          0
1800.06/1800.10	c   guideddiving     :       0.00          0          0
1800.06/1800.10	c   octane           :       0.00          0          0
1800.06/1800.10	c   rens             :       0.00          0          0
1800.06/1800.10	c   rins             :       0.00          0          0
1800.06/1800.10	c   localbranching   :       0.00          0          0
1800.06/1800.10	c   mutation         :       0.00          0          0
1800.06/1800.10	c   crossover        :       0.00          0          0
1800.06/1800.10	c   dins             :       0.00          0          0
1800.06/1800.10	c   vbounds          :       0.00          0          0
1800.06/1800.10	c   undercover       :       0.00          0          0
1800.06/1800.10	c   subnlp           :       0.00          0          0
1800.06/1800.10	c   trysol           :       0.00          0          0
1800.06/1800.10	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.06/1800.10	c   primal LP        :       0.80          0          0       0.00       0.00
1800.06/1800.10	c   dual LP          :    1393.01         66     293221    4442.74     210.49
1800.06/1800.10	c   lex dual LP      :       0.00          0          0       0.00          -
1800.06/1800.10	c   barrier LP       :       0.00          0          0       0.00          -
1800.06/1800.10	c   diving/probing LP:       5.89         74       1236      16.70     209.68
1800.06/1800.10	c   strong branching :       0.00          0          0       0.00          -
1800.06/1800.10	c     (at root node) :          -          0          0       0.00          -
1800.06/1800.10	c   conflict analysis:       0.00          0          0       0.00          -
1800.06/1800.10	c B&B Tree           :
1800.06/1800.10	c   number of runs   :          1
1800.06/1800.10	c   nodes            :          1
1800.06/1800.10	c   nodes (total)    :          1
1800.06/1800.10	c   nodes left       :          2
1800.06/1800.10	c   max depth        :          0
1800.06/1800.10	c   max depth (total):          0
1800.06/1800.10	c   backtracks       :          0 (0.0%)
1800.06/1800.10	c   delayed cutoffs  :          0
1800.06/1800.10	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.06/1800.10	c   avg switch length:       1.00
1800.06/1800.10	c   switching time   :       0.00
1800.06/1800.10	c Solution           :
1800.06/1800.10	c   Solutions found  :          0 (0 improvements)
1800.06/1800.10	c   Primal Bound     :          -
1800.06/1800.10	c   Dual Bound       : +2.95825000000000e+03
1800.06/1800.10	c   Gap              :   infinite
1800.06/1800.10	c   Root Dual Bound  : +2.95825000000000e+03
1800.06/1800.10	c   Root Iterations  :     294457
1800.65/1800.64	c Time complete: 1800.69.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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.02 2.01 2.00 2/436 17837
/proc/meminfo: memFree=20701856/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=16516 CPUtime=0 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 3116 0 0 0 0 0 0 0 23 0 1 0 819975043 16912384 3068 33554432000 4194304 9163163 140735543340128 18446744073709551615 6167890 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17837/statm: 4129 3077 389 1214 0 2911 0

[startup+0.109704 s]
/proc/loadavg: 2.02 2.01 2.00 2/436 17837
/proc/meminfo: memFree=20701856/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=26672 CPUtime=0.1 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 5689 0 0 0 10 0 0 0 24 0 1 0 819975043 27312128 5641 33554432000 4194304 9163163 140735543340128 18446744073709551615 8041839 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17837/statm: 6668 5642 395 1214 0 5450 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 26672

[startup+0.200687 s]
/proc/loadavg: 2.02 2.01 2.00 2/436 17837
/proc/meminfo: memFree=20701856/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=31476 CPUtime=0.19 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 6886 0 0 0 19 0 0 0 24 0 1 0 819975043 32231424 6838 33554432000 4194304 9163163 140735543340128 18446744073709551615 8041864 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17837/statm: 7869 6838 395 1214 0 6651 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31476

[startup+0.300672 s]
/proc/loadavg: 2.02 2.01 2.00 2/436 17837
/proc/meminfo: memFree=20701856/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=38448 CPUtime=0.29 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 8629 0 0 0 28 1 0 0 25 0 1 0 819975043 39370752 8581 33554432000 4194304 9163163 140735543340128 18446744073709551615 7962157 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17837/statm: 9612 8581 395 1214 0 8394 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38448

[startup+0.700594 s]
/proc/loadavg: 2.02 2.01 2.00 2/436 17837
/proc/meminfo: memFree=20701856/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=63436 CPUtime=0.69 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 14855 0 0 0 67 2 0 0 25 0 1 0 819975043 64958464 14807 33554432000 4194304 9163163 140735543340128 18446744073709551615 4443414 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17837/statm: 15859 14807 395 1214 0 14641 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63436

[startup+1.50045 s]
/proc/loadavg: 2.02 2.01 2.00 3/437 17838
/proc/meminfo: memFree=20615172/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=185440 CPUtime=1.49 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 44922 0 0 0 143 6 0 0 25 0 1 0 819975043 189890560 44836 33554432000 4194304 9163163 140735543340128 18446744073709551615 4338904 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 46360 44836 432 1214 0 45142 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 185440

[startup+3.10115 s]
/proc/loadavg: 2.02 2.01 2.00 3/437 17838
/proc/meminfo: memFree=20407100/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=326796 CPUtime=3.09 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 102503 0 0 0 297 12 0 0 25 0 1 0 819975043 334639104 79351 33554432000 4194304 9163163 140735543340128 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 81699 79351 533 1214 0 80481 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 326796

[startup+6.30056 s]
/proc/loadavg: 2.02 2.01 2.00 3/437 17838
/proc/meminfo: memFree=20380088/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=326796 CPUtime=6.29 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 102505 0 0 0 617 12 0 0 25 0 1 0 819975043 334639104 79353 33554432000 4194304 9163163 140735543340128 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 81699 79353 533 1214 0 80481 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 326796

[startup+12.7004 s]
/proc/loadavg: 2.01 2.01 2.00 3/437 17838
/proc/meminfo: memFree=20373556/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=326796 CPUtime=12.69 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 102507 0 0 0 1257 12 0 0 25 0 1 0 819975043 334639104 79355 33554432000 4194304 9163163 140735543340128 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 81699 79355 533 1214 0 80481 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 326796

[startup+25.501 s]
/proc/loadavg: 2.01 2.01 2.00 3/437 17838
/proc/meminfo: memFree=20363756/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=326796 CPUtime=25.49 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 102507 0 0 0 2537 12 0 0 25 0 1 0 819975043 334639104 79355 33554432000 4194304 9163163 140735543340128 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 81699 79355 533 1214 0 80481 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 326796

[startup+51.1013 s]
/proc/loadavg: 2.06 2.02 2.00 3/437 17839
/proc/meminfo: memFree=20356672/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=326796 CPUtime=51.1 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 102513 0 0 0 5098 12 0 0 25 0 1 0 819975043 334639104 79361 33554432000 4194304 9163163 140735543340128 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 81699 79361 537 1214 0 80481 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 326796

[startup+102.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/437 17840
/proc/meminfo: memFree=20037604/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=672572 CPUtime=102.31 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 188457 0 0 0 10209 22 0 0 25 0 1 0 819975043 688713728 158473 33554432000 4194304 9163163 140735543340128 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 168143 158473 988 1214 0 166925 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 672572

[startup+162.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/437 17842
/proc/meminfo: memFree=19969864/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=735048 CPUtime=162.3 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 228376 0 0 0 16200 30 0 0 25 0 1 0 819975043 752689152 175939 33554432000 4194304 9163163 140735543340128 18446744073709551615 6254756 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 183762 175939 1478 1214 0 182544 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 735048

[startup+222.317 s]
/proc/loadavg: 2.01 2.03 2.00 3/437 17844
/proc/meminfo: memFree=19950992/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=746112 CPUtime=222.31 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 233227 0 0 0 22199 32 0 0 25 0 1 0 819975043 764018688 180565 33554432000 4194304 9163163 140735543340128 18446744073709551615 6254766 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 186528 180565 1254 1214 0 185310 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 746112

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 17845
/proc/meminfo: memFree=19945380/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=755444 CPUtime=282.3 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 234699 0 0 0 28197 33 0 0 25 0 1 0 819975043 773574656 182037 33554432000 4194304 9163163 140735543340128 18446744073709551615 6284261 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 188861 182037 1254 1214 0 187643 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 755444

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/437 17847
/proc/meminfo: memFree=19945220/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=758528 CPUtime=342.3 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 234712 0 0 0 34195 35 0 0 25 0 1 0 819975043 776732672 182046 33554432000 4194304 9163163 140735543340128 18446744073709551615 7345752 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 189632 182046 1250 1214 0 188414 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 758528

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/437 17848
/proc/meminfo: memFree=19887648/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=809620 CPUtime=402.3 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 249122 0 0 0 40186 44 0 0 25 0 1 0 819975043 829050880 196454 33554432000 4194304 9163163 140735543340128 18446744073709551615 7225477 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 202405 196454 1249 1214 0 201187 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 809620

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 17850
/proc/meminfo: memFree=19868420/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=828840 CPUtime=462.3 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 253904 0 0 0 46178 52 0 0 25 0 1 0 819975043 848732160 201234 33554432000 4194304 9163163 140735543340128 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 207210 201234 1247 1214 0 205992 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 828840

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/437 17852
/proc/meminfo: memFree=19867896/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=828840 CPUtime=522.31 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 253934 0 0 0 52172 59 0 0 25 0 1 0 819975043 848732160 201264 33554432000 4194304 9163163 140735543340128 18446744073709551615 7348020 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 207210 201264 1247 1214 0 205992 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 828840

[startup+582.301 s]
/proc/loadavg: 2.22 2.05 2.02 3/437 17853
/proc/meminfo: memFree=19867120/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=828840 CPUtime=582.31 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 253935 0 0 0 58164 67 0 0 25 0 1 0 819975043 848732160 201264 33554432000 4194304 9163163 140735543340128 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 207210 201264 1246 1214 0 205992 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 828840

[startup+642.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/437 17876
/proc/meminfo: memFree=19852760/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=838864 CPUtime=1002.32 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 256442 0 0 0 100113 119 0 0 25 0 1 0 819975043 858996736 203769 33554432000 4194304 9163163 140735543340128 18446744073709551615 7348020 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 209716 203769 1244 1214 0 208498 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 838864

[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/437 17878
/proc/meminfo: memFree=19852864/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=838864 CPUtime=1062.33 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 256445 0 0 0 106109 124 0 0 25 0 1 0 819975043 858996736 203772 33554432000 4194304 9163163 140735543340128 18446744073709551615 7274251 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 209716 203772 1247 1214 0 208498 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 838864

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 17880
/proc/meminfo: memFree=19852600/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=838864 CPUtime=1122.33 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 256446 0 0 0 112104 129 0 0 25 0 1 0 819975043 858996736 203773 33554432000 4194304 9163163 140735543340128 18446744073709551615 7345685 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 209716 203773 1247 1214 0 208498 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 838864

[startup+1182.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/437 17881
/proc/meminfo: memFree=19850464/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=838864 CPUtime=1182.33 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 256446 0 0 0 118096 137 0 0 25 0 1 0 819975043 858996736 203773 33554432000 4194304 9163163 140735543340128 18446744073709551615 7348207 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 209716 203773 1247 1214 0 208498 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 838864

[startup+1242.3 s]
/proc/loadavg: 2.10 2.07 2.02 3/437 17883
/proc/meminfo: memFree=19848468/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=838864 CPUtime=1242.33 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 256446 0 0 0 124088 145 0 0 25 0 1 0 819975043 858996736 203773 33554432000 4194304 9163163 140735543340128 18446744073709551615 7110296 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 209716 203773 1247 1214 0 208498 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 838864

[startup+1302.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/437 17884
/proc/meminfo: memFree=19846820/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=838864 CPUtime=1302.33 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 256446 0 0 0 130082 151 0 0 25 0 1 0 819975043 858996736 203773 33554432000 4194304 9163163 140735543340128 18446744073709551615 6974030 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 209716 203773 1247 1214 0 208498 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 838864

[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/437 17886
/proc/meminfo: memFree=19844928/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=838864 CPUtime=1362.33 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 256446 0 0 0 136073 160 0 0 25 0 1 0 819975043 858996736 203773 33554432000 4194304 9163163 140735543340128 18446744073709551615 7348554 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 209716 203773 1247 1214 0 208498 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 838864

[startup+1422.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/437 17888
/proc/meminfo: memFree=19843664/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=838864 CPUtime=1422.35 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 256446 0 0 0 142066 169 0 0 25 0 1 0 819975043 858996736 203773 33554432000 4194304 9163163 140735543340128 18446744073709551615 7311832 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 209716 203773 1247 1214 0 208498 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 838864

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 17889
/proc/meminfo: memFree=19843900/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=838864 CPUtime=1482.34 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 256446 0 0 0 148059 175 0 0 25 0 1 0 819975043 858996736 203773 33554432000 4194304 9163163 140735543340128 18446744073709551615 7348401 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 209716 203773 1247 1214 0 208498 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 838864

[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 17891
/proc/meminfo: memFree=19841772/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=838864 CPUtime=1542.35 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 256446 0 0 0 154053 182 0 0 25 0 1 0 819975043 858996736 203773 33554432000 4194304 9163163 140735543340128 18446744073709551615 8041924 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 209716 203773 1247 1214 0 208498 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 838864

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/437 17892
/proc/meminfo: memFree=19841984/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=838864 CPUtime=1602.35 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 256446 0 0 0 160046 189 0 0 25 0 1 0 819975043 858996736 203773 33554432000 4194304 9163163 140735543340128 18446744073709551615 7348694 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 209716 203773 1247 1214 0 208498 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 838864

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/437 17894
/proc/meminfo: memFree=19841224/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=838864 CPUtime=1662.34 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 256447 0 0 0 166039 195 0 0 25 0 1 0 819975043 858996736 203773 33554432000 4194304 9163163 140735543340128 18446744073709551615 7345653 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 209716 203773 1246 1214 0 208498 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 838864

[startup+1722.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/437 17951
/proc/meminfo: memFree=19987084/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=838864 CPUtime=1722.34 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 256447 0 0 0 172031 203 0 0 25 0 1 0 819975043 858996736 203773 33554432000 4194304 9163163 140735543340128 18446744073709551615 6974005 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 209716 203773 1246 1214 0 208498 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 838864

[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/437 17952
/proc/meminfo: memFree=19830096/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=855768 CPUtime=1782.35 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 260668 0 0 0 178023 212 0 0 25 0 1 0 819975043 876306432 207994 33554432000 4194304 9163163 140735543340128 18446744073709551615 7311832 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 213942 207994 1246 1214 0 212724 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 855768



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.03 2.02 2.00 3/437 17953
/proc/meminfo: memFree=19816532/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=856248 CPUtime=1800.06 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 260807 0 0 0 179793 213 0 0 25 0 1 0 819975043 876797952 208115 33554432000 4194304 9163163 140735543340128 18446744073709551615 7348243 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/17837/statm: 214062 208115 1246 1214 0 212844 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 856248

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

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

[startup+1800.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/437 17953
/proc/meminfo: memFree=19816532/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=856248 CPUtime=1800.35 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 260816 0 0 0 179822 213 0 0 18 0 1 0 819975043 876797952 208124 33554432000 4194304 9163163 140735543340128 18446744073709551615 6918261 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17837/statm: 214062 208124 1255 1214 0 212844 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 856248

[startup+1800.5 s]
/proc/loadavg: 2.03 2.02 2.00 3/437 17953
/proc/meminfo: memFree=19816532/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=841068 CPUtime=1800.55 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 260817 0 0 0 179842 213 0 0 18 0 1 0 819975043 861253632 204330 33554432000 4194304 9163163 140735543340128 18446744073709551615 6918295 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17837/statm: 210267 204330 1256 1214 0 209049 0
Current children cumulated CPU time (s) 1800.55
Current children cumulated vsize (KiB) 841068

[startup+1800.6 s]
/proc/loadavg: 2.03 2.02 2.00 3/437 17953
/proc/meminfo: memFree=19816532/32951124 swapFree=60787360/67111528
[pid=17837] ppid=17835 vsize=661584 CPUtime=1800.65 cores=1,3,5,7
/proc/17837/stat : 17837 (scip-2.0.1.4b.l) R 17835 17837 11639 0 -1 4202496 260820 0 0 0 179851 214 0 0 18 0 1 0 819975043 677462016 159841 33554432000 4194304 9163163 140735543340128 18446744073709551615 6918256 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/17837/statm: 165396 159841 1259 1214 0 164178 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (KiB) 661584

Child status: 0
Real time (s): 1800.65
CPU time (s): 1800.71
CPU user time (s): 1798.53
CPU system time (s): 2.17167
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 856248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.53
system time used= 2.17167
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260825
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= 5
involuntary context switches= 2689

runsolver used 7.34988 second user time and 18.8291 second system time

The end

Launcher Data 

Begin job on node135 at 2011-06-03 08:49:32
IDJOB=3450958
IDBENCH=2139
IDSOLVER=1948
FILE ID=node135/3450958-1307083772
RUNJOBID= node135-1307083434-17485
PBS_JOBID= 13497851
Free space on /tmp= 73940 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.15.opb
COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450958-1307083772/watcher-3450958-1307083772 -o /tmp/evaluation-result-3450958-1307083772/solver-3450958-1307083772 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450958-1307083772.opb -t 1800 -m 15500

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

MD5SUM BENCH= f368868fda311e5aaeadb84d33b29291
RANDOM SEED=1710700818

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20702136 kB
Buffers:        212940 kB
Cached:         465972 kB
SwapCached:       6168 kB
Active:       11621716 kB
Inactive:       369872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20702136 kB
SwapTotal:    67111528 kB
SwapFree:     60787360 kB
Dirty:           18168 kB
Writeback:          96 kB
AnonPages:    11312260 kB
Mapped:          28884 kB
Slab:           125876 kB
PageTables:      66244 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 124611932 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73928 MiB
End job on node135 at 2011-06-03 09:19:34