Trace number 1870418

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 NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)SAT (TO)-52 1800.34 1800.87

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_10_1.opb
MD5SUM2be9d345a101e171c9ff93c0b5b2195d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-52
Best CPU time to get the best result obtained on this benchmark1800.28
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint10
Maximum length of a constraint22
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2482
Sum of products size (including duplicates)4964
Number of different products1241
Sum of products size2482

Quality of the solution as a function of time


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

Solver Data 

0.00/0.02	c SCIP version 1.1.0.7
0.00/0.02	c LP-Solver SoPlex 1.4.1
0.00/0.02	c user parameter file <scip.set> not found - using default parameters
0.00/0.02	c read problem <HOME/instance-1870418-1245202780.opb>
0.00/0.02	c original problem has 1441 variables (1441 bin, 0 int, 0 impl, 0 cont) and 1441 constraints
0.00/0.03	c start presolving problem
0.00/0.03	c presolving:
0.09/0.17	c (round 1) 1241 del vars, 200 del conss, 1241 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4964 impls, 0 clqs
0.29/0.32	c    (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.32	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.29/0.32	c presolving (2 rounds):
0.29/0.32	c  1241 deleted vars, 200 deleted constraints, 1241 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.32	c  7446 implications, 0 cliques
0.29/0.32	c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 1241 constraints
0.29/0.32	c    1241 constraints of type <and>
0.29/0.32	c transformed objective value is always integral (scale: 1)
0.29/0.32	c Presolving Time: 0.13
0.29/0.32	c OPT-NLC
0.29/0.32	c -----------------------------------------------------------------------------------------------
0.29/0.32	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.32	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.32	c limits/memory = c 1620
0.29/0.32	c # maximal time in seconds to run
0.29/0.32	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.32	c limits/time = c 1791
0.29/0.32	c # frequency for displaying node information lines
0.29/0.32	c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.32	c display/freq = c 10000
0.29/0.32	c -----------------------------------------------------------------------------------------------
0.29/0.32	c start solving problem
0.29/0.32	c 
0.29/0.35	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.29/0.35	c   0.2s|     1 |     0 |   223 |5083k|   0 | 200 | 200 |1241 |1241 | 200 |1241 |   0 |   0 |   0 |-1.000000e+02 |      --      |    Inf 
0.29/0.35	o -34
0.29/0.35	c R 0.2s|     1 |     0 |   223 |5088k|   0 | 200 | 200 |1241 |1241 | 200 |1241 |   0 |   0 |   0 |-1.000000e+02 |-3.400000e+01 |  66.00%
0.39/0.40	c   0.2s|     1 |     0 |   285 |5097k|   0 | 191 | 200 |1241 |1241 | 200 |1250 |   9 |   0 |   0 |-9.550000e+01 |-3.400000e+01 |  64.40%
0.39/0.46	c   0.3s|     1 |     0 |   357 |5101k|   0 | 186 | 200 |1241 |1241 | 200 |1258 |  17 |   0 |   0 |-9.300000e+01 |-3.400000e+01 |  63.44%
0.49/0.54	c   0.3s|     1 |     0 |   461 |5105k|   0 | 179 | 200 |1241 |1241 | 200 |1267 |  26 |   0 |   0 |-8.950000e+01 |-3.400000e+01 |  62.01%
0.59/0.62	c   0.4s|     1 |     0 |   542 |5109k|   0 | 175 | 200 |1241 |1241 | 200 |1273 |  32 |   0 |   0 |-8.750000e+01 |-3.400000e+01 |  61.14%
0.69/0.71	c   0.5s|     1 |     0 |   598 |5114k|   0 | 173 | 200 |1241 |1241 | 200 |1280 |  39 |   0 |   0 |-8.650000e+01 |-3.400000e+01 |  60.69%
0.79/0.83	c   0.6s|     1 |     0 |   719 |5130k|   0 | 173 | 200 |1241 |1241 | 200 |1289 |  48 |   0 |   0 |-8.600000e+01 |-3.400000e+01 |  60.47%
0.89/0.98	c   0.8s|     1 |     0 |   896 |5149k|   0 | 170 | 200 |1241 |1241 | 200 |1296 |  55 |   0 |   0 |-8.450000e+01 |-3.400000e+01 |  59.76%
1.09/1.12	c   0.9s|     1 |     0 |  1093 |5169k|   0 | 167 | 200 |1241 |1241 | 200 |1304 |  63 |   0 |   0 |-8.350000e+01 |-3.400000e+01 |  59.28%
1.19/1.22	c   1.0s|     1 |     0 |  1135 |5175k|   0 | 167 | 200 |1241 |1241 | 200 |1311 |  70 |   0 |   0 |-8.350000e+01 |-3.400000e+01 |  59.28%
1.29/1.37	c   1.1s|     1 |     0 |  1356 |5179k|   0 | 163 | 200 |1241 |1241 | 200 |1319 |  78 |   0 |   0 |-8.150000e+01 |-3.400000e+01 |  58.28%
1.39/1.49	c   1.3s|     1 |     0 |  1478 |5183k|   0 | 162 | 200 |1241 |1241 | 200 | 383 |  85 |   0 |   0 |-8.100000e+01 |-3.400000e+01 |  58.02%
1.49/1.56	c   1.3s|     1 |     0 |  1607 |5233k|   0 | 156 | 200 |1241 |1241 | 200 | 390 |  92 |   0 |   0 |-8.100000e+01 |-3.400000e+01 |  58.02%
1.59/1.62	c   1.4s|     1 |     0 |  1781 |5254k|   0 | 169 | 200 |1241 |1241 | 200 | 415 | 117 |   0 |   0 |-8.050000e+01 |-3.400000e+01 |  57.76%
1.68/1.71	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.68/1.71	c   1.5s|     1 |     0 |  1980 |5291k|   0 | 172 | 200 |1241 |1241 | 200 | 447 | 149 |   0 |   0 |-7.962500e+01 |-3.400000e+01 |  57.30%
1.79/1.80	c   1.6s|     1 |     0 |  2218 |5351k|   0 | 174 | 200 |1241 |1241 | 200 | 472 | 174 |   0 |   0 |-7.700000e+01 |-3.400000e+01 |  55.84%
1.89/1.91	c   1.7s|     1 |     0 |  2412 |5387k|   0 | 184 | 200 |1241 |1241 | 200 | 532 | 234 |   0 |   0 |-7.588235e+01 |-3.400000e+01 |  55.19%
1.99/2.03	c   1.8s|     1 |     0 |  2595 |5600k|   0 | 173 | 200 |1241 |1241 | 200 | 429 | 283 |   0 |   0 |-7.500000e+01 |-3.400000e+01 |  54.67%
2.09/2.13	c   1.9s|     1 |     0 |  2825 |5885k|   0 | 152 | 200 |1241 |1241 | 200 | 448 | 302 |   0 |   0 |-7.400000e+01 |-3.400000e+01 |  54.05%
2.19/2.21	c   2.0s|     1 |     0 |  3003 |5919k|   0 | 183 | 200 |1241 |1241 | 200 | 456 | 310 |   0 |   0 |-7.369091e+01 |-3.400000e+01 |  53.86%
2.30/2.35	c   2.1s|     1 |     0 |  3182 |6143k|   0 | 193 | 200 |1241 |1241 | 200 | 538 | 392 |   0 |   0 |-7.299206e+01 |-3.400000e+01 |  53.42%
2.39/2.47	c   2.2s|     1 |     0 |  3423 |6763k|   0 | 185 | 200 |1241 |1241 | 200 | 564 | 418 |   0 |   0 |-7.221635e+01 |-3.400000e+01 |  52.92%
2.49/2.58	c   2.3s|     1 |     0 |  3645 |7030k|   0 | 178 | 200 |1241 |1241 | 200 | 592 | 446 |   0 |   0 |-7.144444e+01 |-3.400000e+01 |  52.41%
2.69/2.70	c   2.5s|     1 |     0 |  3905 |7267k|   0 | 183 | 200 |1241 |1241 | 200 | 558 | 476 |   0 |   0 |-7.121429e+01 |-3.400000e+01 |  52.26%
2.79/2.81	c   2.6s|     1 |     0 |  4140 |7416k|   0 | 148 | 200 |1241 |1241 | 200 | 580 | 498 |   0 |   0 |-7.100000e+01 |-3.400000e+01 |  52.11%
2.89/2.92	c   2.7s|     1 |     0 |  4332 |7683k|   0 | 143 | 200 |1241 |1241 | 200 | 591 | 509 |   0 |   0 |-7.100000e+01 |-3.400000e+01 |  52.11%
2.99/3.03	c   2.8s|     1 |     0 |  4627 |7706k|   0 | 189 | 200 |1241 |1241 | 200 | 599 | 517 |   0 |   0 |-7.090517e+01 |-3.400000e+01 |  52.05%
3.09/3.17	c   2.9s|     1 |     0 |  4904 |8301k|   0 | 194 | 200 |1241 |1241 | 200 | 629 | 547 |   0 |   0 |-7.068071e+01 |-3.400000e+01 |  51.90%
3.29/3.30	c   3.0s|     1 |     0 |  5092 |8562k|   0 | 197 | 200 |1241 |1241 | 200 | 647 | 565 |   0 |   0 |-7.051108e+01 |-3.400000e+01 |  51.78%
3.39/3.41	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.39/3.41	c   3.1s|     1 |     0 |  5188 |8571k|   0 | 194 | 200 |1241 |1241 | 200 | 491 | 578 |   0 |   0 |-7.041601e+01 |-3.400000e+01 |  51.72%
3.49/3.54	c   3.3s|     1 |     0 |  5381 |9333k|   0 | 195 | 200 |1241 |1241 | 200 | 506 | 593 |   0 |   0 |-7.027885e+01 |-3.400000e+01 |  51.62%
3.59/3.62	c   3.4s|     1 |     0 |  5445 |9343k|   0 | 195 | 200 |1241 |1241 | 200 | 522 | 609 |   0 |   0 |-7.023968e+01 |-3.400000e+01 |  51.59%
3.69/3.75	c   3.5s|     1 |     0 |  5695 |9351k|   0 | 195 | 200 |1241 |1241 | 200 | 534 | 621 |   0 |   0 |-6.992187e+01 |-3.400000e+01 |  51.37%
3.79/3.83	c   3.6s|     1 |     0 |  5754 |9357k|   0 | 195 | 200 |1241 |1241 | 200 | 544 | 631 |   0 |   0 |-6.988387e+01 |-3.400000e+01 |  51.35%
3.89/3.90	c   3.6s|     1 |     0 |  5793 |9359k|   0 | 194 | 200 |1241 |1241 | 200 | 549 | 636 |   0 |   0 |-6.986540e+01 |-3.400000e+01 |  51.33%
3.89/3.99	c   3.7s|     1 |     0 |  5877 |9364k|   0 | 195 | 200 |1241 |1241 | 200 | 374 | 637 |   0 |   0 |-6.980420e+01 |-3.400000e+01 |  51.29%
3.99/4.04	c   3.8s|     1 |     0 |  5885 |9365k|   0 | 196 | 200 |1241 |1241 | 200 | 378 | 641 |   0 |   0 |-6.980394e+01 |-3.400000e+01 |  51.29%
3.99/4.09	c   3.8s|     1 |     0 |  5888 |9366k|   0 | 196 | 200 |1241 |1241 | 200 | 379 | 642 |   0 |   0 |-6.980391e+01 |-3.400000e+01 |  51.29%
5.79/5.89	c   5.6s|     1 |     2 |  6788 |9369k|   0 | 196 | 200 |1241 |1241 | 200 | 379 | 642 |   0 |  26 |-6.980391e+01 |-3.400000e+01 |  51.29%
13.29/13.31	o -43
13.29/13.31	c *12.9s|    44 |    41 | 11005 |9447k|  19 |   - | 200 |1241 |  97 | 200 | 423 |2304 |   0 | 752 |-6.861404e+01 |-4.300000e+01 |  37.33%
13.68/13.79	o -44
13.68/13.79	c *13.3s|    53 |    45 | 11476 |9459k|  19 |   - | 200 |1241 | 139 | 200 | 402 |2490 |   0 | 891 |-6.861404e+01 |-4.400000e+01 |  35.87%
15.89/15.95	o -45
15.89/15.95	c *15.4s|   116 |    77 | 15108 |9518k|  20 |   - | 200 |1241 | 143 | 200 | 409 |3382 |   0 |1162 |-6.861404e+01 |-4.500000e+01 |  34.42%
17.98/18.04	o -47
17.98/18.04	c *17.5s|   354 |   151 | 25843 |9667k|  24 |   - | 200 |1241 | 143 | 200 | 418 |6450 |   0 |1189 |-6.841667e+01 |-4.700000e+01 |  31.30%
49.58/49.64	o -48
49.58/49.64	c *48.5s|  3153 |  1223 |230861 |  11M|  27 |   - | 200 |1241 | 177 | 200 | 406 |  42k|   0 |1444 |-6.569444e+01 |-4.800000e+01 |  26.93%
93.97/94.00	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
93.97/94.00	c  91.8s| 10000 |  2698 |525931 |  14M|  32 |   - | 200 |1241 | 288 | 200 | 448 |  90k|   0 |1498 |-6.400000e+01 |-4.800000e+01 |  25.00%
97.36/97.41	o -49
97.36/97.41	c *95.2s| 10699 |  2451 |548569 |  13M|  34 |   - | 200 |1241 | 150 | 200 | 407 |  94k|   0 |1499 |-6.400000e+01 |-4.900000e+01 |  23.44%
137.16/137.25	o -50
137.16/137.25	c * 134s| 17789 |  3161 |805478 |  15M|  35 |   - | 200 |1241 | 224 | 200 | 403 | 131k|   0 |1971 |-6.333333e+01 |-5.000000e+01 |  21.05%
147.55/147.67	c   144s| 20000 |  3406 |873844 |  15M|  35 |   - | 200 |1241 | 320 | 200 | 421 | 142k|   0 |2106 |-6.316667e+01 |-5.000000e+01 |  20.84%
155.85/155.92	o -51
155.85/155.92	c * 152s| 21534 |  3221 |928286 |  15M|  35 |   - | 200 |1241 | 213 | 200 | 390 | 150k|   0 |2164 |-6.302857e+01 |-5.100000e+01 |  19.08%
200.64/200.74	c   196s| 30000 |  4169 |  1215k|  17M|  48 |   - | 200 |1241 | 299 | 200 | 444 | 192k|   0 |2677 |-6.265625e+01 |-5.100000e+01 |  18.60%
249.23/249.36	c   244s| 40000 |  5147 |  1531k|  19M|  48 |   - | 200 |1241 | 300 | 200 | 388 | 232k|   0 |3069 |-6.233333e+01 |-5.100000e+01 |  18.18%
292.81/292.91	c   286s| 50000 |  5985 |  1818k|  21M|  52 |   - | 200 |1241 | 312 | 200 | 414 | 274k|   0 |3492 |-6.207692e+01 |-5.100000e+01 |  17.84%
333.10/333.20	c   326s| 60000 |  6605 |  2085k|  23M|  52 |  82 | 200 |1241 | 300 | 200 | 426 | 307k|   0 |3818 |-6.200000e+01 |-5.100000e+01 |  17.74%
375.49/375.62	c   367s| 70000 |  7281 |  2363k|  25M|  52 |   - | 200 |1241 | 347 | 200 | 443 | 341k|   0 |4212 |-6.177160e+01 |-5.100000e+01 |  17.44%
417.98/418.18	c   409s| 80000 |  8047 |  2646k|  27M|  52 |   - | 200 |1241 | 324 | 200 | 452 | 376k|   0 |4527 |-6.164423e+01 |-5.100000e+01 |  17.27%
459.36/459.57	c   449s| 90000 |  8753 |  2920k|  28M|  52 |  87 | 200 |1241 | 339 | 200 | 366 | 410k|   0 |4832 |-6.150000e+01 |-5.100000e+01 |  17.07%
501.56/501.74	c   490s|100000 |  9537 |  3201k|  30M|  52 |  95 | 200 |1241 | 343 | 200 | 449 | 451k|   0 |5116 |-6.150000e+01 |-5.100000e+01 |  17.07%
542.34/542.56	c   530s|110000 | 10235 |  3474k|  32M|  52 |   - | 200 |1241 | 288 | 200 | 404 | 486k|   0 |5341 |-6.130000e+01 |-5.100000e+01 |  16.80%
584.53/584.79	c   572s|120000 | 11031 |  3753k|  34M|  52 |   - | 200 |1241 | 289 | 200 | 461 | 524k|   0 |5595 |-6.117778e+01 |-5.100000e+01 |  16.64%
625.62/625.83	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
625.62/625.83	c   612s|130000 | 11707 |  4023k|  36M|  52 |   - | 200 |1241 | 223 | 200 | 397 | 553k|   0 |5851 |-6.105556e+01 |-5.100000e+01 |  16.47%
663.01/663.23	c   648s|140000 | 12351 |  4276k|  37M|  52 |   - | 200 |1241 | 227 | 200 | 396 | 585k|   0 |6117 |-6.100000e+01 |-5.100000e+01 |  16.39%
700.90/701.13	c   685s|150000 | 13017 |  4535k|  39M|  52 |   - | 200 |1241 | 326 | 200 | 444 | 625k|   0 |6296 |-6.100000e+01 |-5.100000e+01 |  16.39%
742.89/743.18	c   726s|160000 | 13769 |  4816k|  41M|  52 |  86 | 200 |1241 | 382 | 200 | 408 | 665k|   0 |6578 |-6.091667e+01 |-5.100000e+01 |  16.28%
784.08/784.33	c   767s|170000 | 14451 |  5094k|  43M|  52 |  79 | 200 |1241 | 374 | 200 | 434 | 702k|   0 |6746 |-6.075000e+01 |-5.100000e+01 |  16.05%
824.07/824.32	c   806s|180000 | 15123 |  5362k|  44M|  52 |   - | 200 |1241 | 323 | 200 | 463 | 743k|   0 |7006 |-6.068085e+01 |-5.100000e+01 |  15.95%
864.06/864.38	c   845s|190000 | 15763 |  5626k|  46M|  52 |   - | 200 |1241 | 332 | 200 | 445 | 773k|   0 |7190 |-6.055000e+01 |-5.100000e+01 |  15.77%
903.15/903.47	c   883s|200000 | 16435 |  5892k|  48M|  52 | 102 | 200 |1241 | 369 | 200 | 490 | 810k|   0 |7368 |-6.050000e+01 |-5.100000e+01 |  15.70%
942.44/942.77	c   921s|210000 | 17131 |  6156k|  49M|  52 |   - | 200 |1241 | 288 | 200 | 416 | 846k|   0 |7614 |-6.050000e+01 |-5.100000e+01 |  15.70%
983.52/983.86	c   962s|220000 | 17777 |  6428k|  51M|  52 |   - | 200 |1241 | 368 | 200 | 428 | 880k|   0 |7841 |-6.050000e+01 |-5.100000e+01 |  15.70%
1025.31/1025.63	c  1002s|230000 | 18429 |  6706k|  53M|  52 |   - | 200 |1241 | 286 | 200 | 449 | 910k|   0 |7997 |-6.033333e+01 |-5.100000e+01 |  15.47%
1051.71/1052.08	o -52
1051.71/1052.08	c *1028s|236393 | 14614 |  6879k|  43M|  52 |   - | 200 |1241 | 254 | 200 | 429 | 929k|   0 |8192 |-6.025000e+01 |-5.200000e+01 |  13.69%
1065.61/1065.96	c  1042s|240000 | 14785 |  6973k|  44M|  52 |  93 | 200 |1241 | 422 | 200 | 362 | 940k|   0 |8192 |-6.025000e+01 |-5.200000e+01 |  13.69%
1105.00/1105.35	c  1080s|250000 | 15207 |  7237k|  45M|  52 |   - | 200 |1241 | 346 | 200 | 437 | 972k|   0 |8418 |-6.020588e+01 |-5.200000e+01 |  13.63%
1146.78/1147.19	c  1121s|260000 | 15659 |  7517k|  46M|  52 | 108 | 200 |1241 | 394 | 200 | 434 |1001k|   0 |8601 |-6.012500e+01 |-5.200000e+01 |  13.51%
1189.08/1189.49	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1189.08/1189.49	c  1163s|270000 | 16109 |  7797k|  47M|  52 |   - | 200 |1241 | 297 | 200 | 422 |1031k|   0 |8818 |-6.000000e+01 |-5.200000e+01 |  13.33%
1229.16/1229.56	c  1202s|280000 | 16557 |  8067k|  49M|  52 |   - | 200 |1241 | 348 | 200 | 451 |1062k|   0 |9026 |-6.000000e+01 |-5.200000e+01 |  13.33%
1268.55/1268.90	c  1240s|290000 | 17031 |  8337k|  50M|  52 |  95 | 200 |1241 | 469 | 200 | 421 |1099k|   0 |9190 |-6.000000e+01 |-5.200000e+01 |  13.33%
1307.14/1307.52	c  1278s|300000 | 17491 |  8599k|  51M|  52 |  95 | 200 |1241 | 397 | 200 | 435 |1131k|   0 |9338 |-6.000000e+01 |-5.200000e+01 |  13.33%
1347.79/1348.21	c  1318s|310000 | 17919 |  8876k|  52M|  52 |   - | 200 |1241 | 266 | 200 | 485 |1163k|   0 |9513 |-5.993333e+01 |-5.200000e+01 |  13.24%
1389.78/1390.24	c  1359s|320000 | 18315 |  9154k|  54M|  52 |   - | 200 |1241 | 348 | 200 | 391 |1189k|   0 |9684 |-5.981818e+01 |-5.200000e+01 |  13.07%
1431.07/1431.54	c  1399s|330000 | 18697 |  9431k|  55M|  52 | 100 | 200 |1241 | 473 | 200 | 384 |1218k|   0 |9865 |-5.975000e+01 |-5.200000e+01 |  12.97%
1471.46/1471.94	c  1439s|340000 | 19119 |  9704k|  56M|  52 |   - | 200 |1241 | 346 | 200 | 412 |1249k|   0 |  10k|-5.974194e+01 |-5.200000e+01 |  12.96%
1511.84/1512.38	c  1478s|350000 | 19491 |  9975k|  57M|  52 | 100 | 200 |1241 | 390 | 200 | 429 |1278k|   0 |  10k|-5.962500e+01 |-5.200000e+01 |  12.79%
1552.94/1553.48	c  1518s|360000 | 19897 | 10250k|  58M|  52 |   - | 200 |1241 | 309 | 200 | 391 |1307k|   0 |  10k|-5.955000e+01 |-5.200000e+01 |  12.68%
1593.22/1593.72	c  1558s|370000 | 20271 | 10520k|  59M|  52 |   - | 200 |1241 | 375 | 200 | 458 |1336k|   0 |  10k|-5.950000e+01 |-5.200000e+01 |  12.61%
1631.41/1631.99	c  1595s|380000 | 20629 | 10779k|  60M|  52 | 120 | 200 |1241 | 560 | 200 | 451 |1365k|   0 |  10k|-5.950000e+01 |-5.200000e+01 |  12.61%
1670.90/1671.43	c  1634s|390000 | 20965 | 11046k|  61M|  52 |  94 | 200 |1241 | 328 | 200 | 398 |1396k|   0 |  10k|-5.950000e+01 |-5.200000e+01 |  12.61%
1708.69/1709.25	c  1671s|400000 | 21297 | 11306k|  62M|  52 |   - | 200 |1241 | 265 | 200 | 418 |1430k|   0 |  10k|-5.950000e+01 |-5.200000e+01 |  12.61%
1745.88/1746.44	c  1707s|410000 | 21621 | 11560k|  63M|  52 |  97 | 200 |1241 | 411 | 200 | 394 |1462k|   0 |  11k|-5.950000e+01 |-5.200000e+01 |  12.61%
1785.57/1786.14	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1785.57/1786.14	c  1746s|420000 | 22013 | 11828k|  64M|  52 |   - | 200 |1241 | 268 | 200 | 420 |1490k|   0 |  11k|-5.942857e+01 |-5.200000e+01 |  12.50%
1800.07/1800.60	c 
1800.07/1800.60	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.60	c Solving Time (sec) : 1759.90
1800.07/1800.60	c Solving Nodes      : 423822
1800.07/1800.60	c Primal Bound       : -5.20000000000000e+01 (10 solutions)
1800.07/1800.60	c Dual Bound         : -5.93846153846154e+01
1800.07/1800.60	c Gap                : 12.44 %
1800.07/1800.60	c NODE         423822
1800.07/1800.60	c DUAL BOUND   -59.3846
1800.07/1800.60	c PRIMAL BOUND -52
1800.07/1800.60	c GAP          0.124352
1800.07/1800.60	s SATISFIABLE
1800.07/1800.60	v x200 -x199 -x198 x197 x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 x183 x182 -x181 x180 -x179 x178 
1800.07/1800.60	v x177 -x176 x175 x174 x173 x172 x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 x158 x157 -x156 -x155 
1800.07/1800.60	v -x154 -x153 -x152 x151 -x150 x149 x148 -x147 -x146 -x145 x144 x143 -x142 x141 -x140 x139 -x138 x137 -x136 -x135 -x134 x133 
1800.07/1800.60	v -x132 -x131 -x130 -x129 x128 -x127 -x126 x125 -x124 x123 x122 x121 -x120 -x119 x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 
1800.07/1800.60	v -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 
1800.07/1800.60	v -x87 -x86 x85 -x84 x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 x69 -x68 x67 -x66 x65 -x64 x63 x62 x61 
1800.07/1800.60	v -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 
1800.07/1800.60	v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 x12 -x11 -x10 
1800.07/1800.60	v -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1800.07/1800.60	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.60	c Solving Time       :    1759.90
1800.07/1800.60	c Original Problem   :
1800.07/1800.60	c   Problem name     : HOME/instance-1870418-1245202780.opb
1800.07/1800.60	c   Variables        : 1441 (1441 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.60	c   Constraints      : 1441 initial, 1441 maximal
1800.07/1800.60	c Presolved Problem  :
1800.07/1800.60	c   Problem name     : t_HOME/instance-1870418-1245202780.opb
1800.07/1800.60	c   Variables        : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.60	c   Constraints      : 1241 initial, 1241 maximal
1800.07/1800.60	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.07/1800.60	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.60	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.60	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.60	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.60	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.60	c   probing          :       0.02          0          0          0          0          0          0          0          0
1800.07/1800.60	c   and              :       0.10          0          0          0          0          0          0          0          0
1800.07/1800.60	c   linear           :       0.01       1241          0          0       1241          0        200          0          0
1800.07/1800.60	c   root node        :          -          0          -          -          0          -          -          -          -
1800.07/1800.60	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.60	c   integral         :          0          0          0     226279          0        199       1048          0          0     451490
1800.07/1800.60	c   and              :       1241     427853     709352         10          0          0    2045215    1499604          0          0
1800.07/1800.60	c   countsols        :          0          0          0          9          0          0          0          0          0          0
1800.07/1800.60	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.07/1800.60	c   integral         :      71.83       0.00       0.00      71.83       0.00
1800.07/1800.60	c   and              :     111.16      85.96      25.20       0.00       0.00
1800.07/1800.60	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.07/1800.60	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.07/1800.60	c   rootredcost      :       0.40          9          0          0
1800.07/1800.60	c   pseudoobj        :       9.80     710438          0          0
1800.07/1800.60	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.07/1800.60	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.07/1800.60	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.60	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.60	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.60	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.07/1800.60	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.07/1800.60	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.07/1800.60	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.07/1800.60	c   cut pool         :       0.02         37          -          -        113          -    (maximal pool size: 1629)
1800.07/1800.60	c   redcost          :       4.02     440571          0      47688          0          0
1800.07/1800.60	c   impliedbounds    :       0.01         38          0          0        753          0
1800.07/1800.60	c   intobj           :       0.00          0          0          0          0          0
1800.07/1800.60	c   gomory           :       1.45         38          0          0      10844          0
1800.07/1800.60	c   strongcg         :       0.46         20          0          0       7465          0
1800.07/1800.60	c   cmir             :       0.10         10          0          0          0          0
1800.07/1800.60	c   flowcover        :       0.03         10          0          0          0          0
1800.07/1800.60	c   clique           :       0.07         38          0          0        236          0
1800.07/1800.60	c   zerohalf         :       0.00          0          0          0          0          0
1800.07/1800.60	c   mcf              :       0.00          1          0          0          0          0
1800.07/1800.60	c Pricers            :       Time      Calls       Vars
1800.07/1800.60	c   problem variables:       0.00          0          0
1800.07/1800.60	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.60	c   relpscost        :      71.28     226269        199       1048          0          0     451490
1800.07/1800.60	c   pscost           :       0.00          0          0          0          0          0          0
1800.07/1800.60	c   inference        :       0.00          0          0          0          0          0          0
1800.07/1800.60	c   mostinf          :       0.00          0          0          0          0          0          0
1800.07/1800.60	c   leastinf         :       0.00          0          0          0          0          0          0
1800.07/1800.60	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.07/1800.60	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.07/1800.60	c   random           :       0.00          0          0          0          0          0          0
1800.07/1800.60	c Primal Heuristics  :       Time      Calls      Found
1800.07/1800.60	c   LP solutions     :       0.05          -          9
1800.07/1800.60	c   pseudo solutions :       0.00          -          0
1800.07/1800.60	c   oneopt           :       0.24         10          0
1800.07/1800.60	c   feaspump         :       0.22          1          0
1800.07/1800.60	c   crossover        :       0.50          7          0
1800.07/1800.60	c   veclendiving     :       4.81        265          0
1800.07/1800.60	c   guideddiving     :       4.81        265          0
1800.07/1800.60	c   linesearchdiving :       3.81        265          0
1800.07/1800.60	c   objpscostdiving  :       7.88        133          0
1800.07/1800.60	c   rootsoldiving    :       3.02        133          0
1800.07/1800.60	c   coefdiving       :       4.04        266          0
1800.07/1800.60	c   pscostdiving     :       5.11        266          0
1800.07/1800.60	c   fracdiving       :       4.41        266          0
1800.07/1800.60	c   simplerounding   :       0.41          0          0
1800.07/1800.60	c   rounding         :      11.77      31469          1
1800.07/1800.60	c   shifting         :       1.23       2911          0
1800.07/1800.60	c   intshifting      :       0.03          0          0
1800.07/1800.60	c   fixandinfer      :       0.00          0          0
1800.07/1800.60	c   intdiving        :       0.00          0          0
1800.07/1800.60	c   actconsdiving    :       0.00          0          0
1800.07/1800.60	c   octane           :       0.00          0          0
1800.07/1800.60	c   rens             :       0.01          0          0
1800.07/1800.60	c   rins             :       0.00          0          0
1800.07/1800.60	c   localbranching   :       0.00          0          0
1800.07/1800.60	c   mutation         :       0.00          0          0
1800.07/1800.60	c   dins             :       0.00          0          0
1800.07/1800.60	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.07/1800.60	c   primal LP        :      39.90          0          0       0.00       0.00
1800.07/1800.60	c   dual LP          :    1309.69     625743   11646413      18.61    8892.50
1800.07/1800.60	c   barrier LP       :       0.00          0          0       0.00          -
1800.07/1800.60	c   diving/probing LP:      33.59      22838     276904      12.12    8243.64
1800.07/1800.60	c   strong branching :      56.68      11326     509618      45.00    8991.14
1800.07/1800.60	c     (at root node) :          -         26       7852     302.00          -
1800.07/1800.60	c   conflict analysis:       0.00          0          0       0.00          -
1800.07/1800.60	c B&B Tree           :
1800.07/1800.60	c   number of runs   :          1
1800.07/1800.60	c   nodes            :     423822
1800.07/1800.60	c   nodes (total)    :     423822
1800.07/1800.60	c   nodes left       :      22087
1800.07/1800.60	c   max depth        :         52
1800.07/1800.60	c   max depth (total):         52
1800.07/1800.60	c   backtracks       :      53525 (12.6%)
1800.07/1800.60	c   delayed cutoffs  :          0
1800.07/1800.60	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.07/1800.60	c   avg switch length:       4.16
1800.07/1800.60	c   switching time   :      70.38
1800.07/1800.60	c Solution           :
1800.07/1800.60	c   Solutions found  :         10 (10 improvements)
1800.07/1800.60	c   Primal Bound     : -5.20000000000000e+01   (in run 1, after 236393 nodes, 1028.18 seconds, depth 35, found by <relaxation>)
1800.07/1800.60	c   Dual Bound       : -5.93846153846154e+01
1800.07/1800.60	c   Gap              :      12.44 %
1800.07/1800.60	c   Root Dual Bound  : -6.98039106137988e+01
1800.27/1800.86	c Time complete: 1800.34.

Verifier Data 

OK	-52

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 0.99 0.97 3/64 5823
/proc/meminfo: memFree=1846512/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=4324 CPUtime=0
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 479 0 0 0 0 0 0 0 18 0 1 0 187878584 4427776 463 1992294400 4194304 7823515 548682068736 18446744073709551615 7113616 0 0 4096 0 0 0 0 17 1 0 0
/proc/5823/statm: 1082 471 306 886 0 192 0

[startup+0.104043 s]
/proc/loadavg: 1.00 0.99 0.97 3/64 5823
/proc/meminfo: memFree=1846512/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=16468 CPUtime=0.09
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 3503 0 0 0 5 4 0 0 18 0 1 0 187878584 16863232 3131 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 4117 3131 404 886 0 3227 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16468

[startup+0.202054 s]
/proc/loadavg: 1.00 0.99 0.97 3/64 5823
/proc/meminfo: memFree=1846512/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=16468 CPUtime=0.19
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 3527 0 0 0 9 10 0 0 18 0 1 0 187878584 16863232 3155 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 4117 3155 425 886 0 3227 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 16468

[startup+0.302065 s]
/proc/loadavg: 1.00 0.99 0.97 3/64 5823
/proc/meminfo: memFree=1846512/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=16468 CPUtime=0.29
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 3527 0 0 0 13 16 0 0 19 0 1 0 187878584 16863232 3155 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 4117 3155 425 886 0 3227 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16468

[startup+0.702112 s]
/proc/loadavg: 1.00 0.99 0.97 3/64 5823
/proc/meminfo: memFree=1846512/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=22428 CPUtime=0.69
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 5219 0 0 0 50 19 0 0 23 0 1 0 187878584 22966272 4810 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 5607 4810 543 886 0 4717 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22428

[startup+1.5012 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5824
/proc/meminfo: memFree=1826024/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=26732 CPUtime=1.49
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 6286 0 0 0 128 21 0 0 25 0 1 0 187878584 27373568 5870 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 6683 5870 546 886 0 5793 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26732

[startup+3.10139 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5824
/proc/meminfo: memFree=1819560/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=37160 CPUtime=3.09
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 8958 0 0 0 285 24 0 0 25 0 1 0 187878584 38051840 8515 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 9290 8525 547 886 0 8400 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37160

[startup+6.30176 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5824
/proc/meminfo: memFree=1811304/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=39812 CPUtime=6.29
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 9648 0 0 0 601 28 0 0 25 0 1 0 187878584 40767488 9205 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 9953 9205 554 886 0 9063 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39812

[startup+12.7015 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5824
/proc/meminfo: memFree=1811312/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=39812 CPUtime=12.68
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 9649 0 0 0 1227 41 0 0 25 0 1 0 187878584 40767488 9206 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 9953 9206 555 886 0 9063 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 39812

[startup+25.502 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5824
/proc/meminfo: memFree=1812848/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=38152 CPUtime=25.49
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 12066 0 0 0 2480 69 0 0 25 0 1 0 187878584 39067648 8837 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 9538 8837 569 886 0 8648 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 38152

[startup+51.102 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5824
/proc/meminfo: memFree=1811248/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=40200 CPUtime=51.08
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 12550 0 0 0 4990 118 0 0 25 0 1 0 187878584 41164800 9321 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 10050 9321 569 886 0 9160 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 40200

[startup+102.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5824
/proc/meminfo: memFree=1810352/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=40928 CPUtime=102.26
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 15961 0 0 0 9993 233 0 0 25 0 1 0 187878584 41910272 9530 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 10232 9530 573 886 0 9342 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 40928

[startup+162.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5824
/proc/meminfo: memFree=1805872/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=45472 CPUtime=162.25
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 18705 0 0 0 15855 370 0 0 25 0 1 0 187878584 46563328 10654 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 11368 10654 573 886 0 10478 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 45472

[startup+222.306 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5824
/proc/meminfo: memFree=1803696/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=47616 CPUtime=222.24
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 20923 0 0 0 21725 499 0 0 25 0 1 0 187878584 48758784 11199 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 11904 11199 578 886 0 11014 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 47616

[startup+282.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5824
/proc/meminfo: memFree=1801520/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=49688 CPUtime=282.21
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 21444 0 0 0 27590 631 0 0 25 0 1 0 187878584 50880512 11720 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 12422 11720 578 886 0 11532 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 49688

[startup+342.303 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5824
/proc/meminfo: memFree=1801328/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=49832 CPUtime=342.2
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 21482 0 0 0 33449 771 0 0 25 0 1 0 187878584 51027968 11758 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 12458 11758 578 886 0 11568 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 49832

[startup+402.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5824
/proc/meminfo: memFree=1795760/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=55376 CPUtime=402.18
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 22875 0 0 0 39320 898 0 0 25 0 1 0 187878584 56705024 13151 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 13844 13151 578 886 0 12954 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 55376

[startup+462.303 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5824
/proc/meminfo: memFree=1794928/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=56148 CPUtime=462.17
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 23081 0 0 0 45191 1026 0 0 25 0 1 0 187878584 57495552 13357 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 14037 13357 578 886 0 13147 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 56148

[startup+522.303 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5824
/proc/meminfo: memFree=1792496/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=58548 CPUtime=522.15
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 23689 0 0 0 51059 1156 0 0 25 0 1 0 187878584 59953152 13965 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 14637 13965 578 886 0 13747 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 58548

[startup+582.303 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5824
/proc/meminfo: memFree=1788528/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=62520 CPUtime=582.14
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 24668 0 0 0 56922 1292 0 0 25 0 1 0 187878584 64020480 14944 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 15630 14944 578 886 0 14740 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 62520

[startup+642.303 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5824
/proc/meminfo: memFree=1785520/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=65468 CPUtime=642.12
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 25417 0 0 0 62786 1426 0 0 25 0 1 0 187878584 67039232 15690 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 16367 15690 578 886 0 15477 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 65468

[startup+702.303 s]

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

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5826
/proc/meminfo: memFree=1772528/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=78216 CPUtime=942.04
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 28615 0 0 0 92099 2105 0 0 25 0 1 0 187878584 80093184 18888 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 19554 18888 578 886 0 18664 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 78216

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5826
/proc/meminfo: memFree=1768496/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=82256 CPUtime=1002.03
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 29623 0 0 0 97963 2240 0 0 25 0 1 0 187878584 84230144 19895 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 20564 19895 578 886 0 19674 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 82256

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5826
/proc/meminfo: memFree=1766512/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=84056 CPUtime=1062.01
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 31698 0 0 0 103822 2379 0 0 25 0 1 0 187878584 86073344 20381 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 21014 20381 578 886 0 20124 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 84056

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5826
/proc/meminfo: memFree=1764272/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=86316 CPUtime=1121.99
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 32246 0 0 0 109691 2508 0 0 25 0 1 0 187878584 88387584 20929 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 21579 20929 578 886 0 20689 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 86316

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5826
/proc/meminfo: memFree=1764272/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=86316 CPUtime=1181.97
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 32246 0 0 0 115555 2642 0 0 25 0 1 0 187878584 88387584 20929 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 21579 20929 578 886 0 20689 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 86316

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5826
/proc/meminfo: memFree=1764208/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=86316 CPUtime=1241.96
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 32246 0 0 0 121424 2772 0 0 25 0 1 0 187878584 88387584 20929 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 21579 20929 578 886 0 20689 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 86316

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/65 5832
/proc/meminfo: memFree=1764016/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=86316 CPUtime=1301.94
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 32262 0 0 0 127288 2906 0 0 25 0 1 0 187878584 88387584 20945 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 21579 20945 578 886 0 20689 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 86316

[startup+1362.3 s]
/proc/loadavg: 1.19 1.03 0.99 2/65 6308
/proc/meminfo: memFree=1742376/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=86316 CPUtime=1361.89
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 32262 0 0 0 133156 3033 0 0 25 0 1 0 187878584 88387584 20945 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 21579 20945 578 886 0 20689 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 86316

[startup+1422.3 s]
/proc/loadavg: 1.07 1.03 0.99 2/65 6308
/proc/meminfo: memFree=1742568/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=86316 CPUtime=1421.87
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 32262 0 0 0 139028 3159 0 0 25 0 1 0 187878584 88387584 20945 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 21579 20945 578 886 0 20689 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 86316

[startup+1482.3 s]
/proc/loadavg: 1.02 1.02 0.99 2/65 6308
/proc/meminfo: memFree=1741800/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=87292 CPUtime=1481.86
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 32491 0 0 0 144897 3289 0 0 25 0 1 0 187878584 89387008 21174 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 21823 21174 578 886 0 20933 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 87292

[startup+1542.31 s]
/proc/loadavg: 1.01 1.01 0.99 2/65 6308
/proc/meminfo: memFree=1741160/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=87932 CPUtime=1541.84
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 32643 0 0 0 150757 3427 0 0 25 0 1 0 187878584 90042368 21326 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 21983 21326 578 886 0 21093 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 87932

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 0.99 2/65 6308
/proc/meminfo: memFree=1740200/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=88888 CPUtime=1601.82
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 32895 0 0 0 156625 3557 0 0 25 0 1 0 187878584 91021312 21578 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 22222 21578 578 886 0 21332 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 88888

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6308
/proc/meminfo: memFree=1737712/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=91328 CPUtime=1661.81
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 33531 0 0 0 162482 3699 0 0 25 0 1 0 187878584 93519872 22210 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 22832 22210 578 886 0 21942 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 91328

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6308
/proc/meminfo: memFree=1737520/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=91484 CPUtime=1721.79
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 33567 0 0 0 168344 3835 0 0 25 0 1 0 187878584 93679616 22246 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 22871 22246 578 886 0 21981 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 91484

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6308
/proc/meminfo: memFree=1734960/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=94000 CPUtime=1781.78
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 34204 0 0 0 174203 3975 0 0 25 0 1 0 187878584 96256000 22883 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 23500 22883 578 886 0 22610 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 94000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6308
/proc/meminfo: memFree=1734832/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=94184 CPUtime=1800.07
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 34237 0 0 0 175991 4016 0 0 25 0 1 0 187878584 96444416 22916 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5823/statm: 23546 22916 578 886 0 22656 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 94184

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 6309
/proc/meminfo: memFree=1734824/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=94184 CPUtime=1800.17
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 34239 0 0 0 176001 4016 0 0 25 0 1 0 187878584 96444416 22918 1992294400 4194304 7823515 548682068736 18446744073709551615 5875928 0 0 4096 0 0 0 0 17 1 0 0
/proc/5823/statm: 23546 22918 580 886 0 22656 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 94184

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 6309
/proc/meminfo: memFree=1734824/2055920 swapFree=4192812/4192956
[pid=5823] ppid=5821 vsize=94184 CPUtime=1800.27
/proc/5823/stat : 5823 (pbscip.linux.x8) R 5821 5823 5503 0 -1 4194304 34239 0 0 0 176011 4016 0 0 25 0 1 0 187878584 96444416 22918 1992294400 4194304 7823515 548682068736 18446744073709551615 4211754 0 0 4096 0 0 0 0 17 1 0 0
/proc/5823/statm: 23546 22918 580 886 0 22656 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 94184

Child status: 0
Real time (s): 1800.87
CPU time (s): 1800.34
CPU user time (s): 1760.16
CPU system time (s): 40.1839
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 94184

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

runsolver used 1.52577 second user time and 3.53046 second system time

The end

Launcher Data 

Begin job on node11 at 2009-06-17 03:39:40
IDJOB=1870418
IDBENCH=48208
IDSOLVER=683
FILE ID=node11/1870418-1245202780
PBS_JOBID= 9368316
Free space on /tmp= 66196 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_1.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1870418-1245202780/watcher-1870418-1245202780 -o /tmp/evaluation-result-1870418-1245202780/solver-1870418-1245202780 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1870418-1245202780.opb

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

MD5SUM BENCH= 2be9d345a101e171c9ff93c0b5b2195d
RANDOM SEED=66990132

node11.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1846928 kB
Buffers:         49096 kB
Cached:          88808 kB
SwapCached:          0 kB
Active:          55692 kB
Inactive:        95652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1846928 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            9864 kB
Writeback:           0 kB
Mapped:          23244 kB
Slab:            43580 kB
Committed_AS:   196324 kB
PageTables:       1456 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66188 MiB
End job on node11 at 2009-06-17 04:09:42