Trace number 3463194

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
bsolo 3.2SAT93 1798 1797.97

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_4.opb
MD5SUM87341d3e4752b9f90faef0f8d9385430
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 44
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
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 constraints16
Minimum length of a constraint84
Maximum length of a constraint86
Number of terms in the objective function 128
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1881
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6154
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

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.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3463194-1307179181.opb
0.00/0.00	c File size is 13265 bytes.
0.00/0.00	c Highest Coefficient sum: 6154
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 198 Constr: 16 0/0/16 Lit: 1368 Watch. Lit: 396
0.00/0.00	c Obj. Vars: 128 (64.6465 % of total variables)
0.00/0.01	c Pre-processing Time: 0.002 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    198       16     1368   85      400    2736      0      0 0.00
0.00/0.01	c Switching off lower bounding mode.
0.00/0.01	o 1434
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0    198       17     1496   88      894    2992      1      0 0.00
0.00/0.03	c      101    198      155    14094   90     1578    3292    139   4040 0.03
0.00/0.03	o 1219
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      104    198      162    14688   90     1726    2992    146   4160 0.03
0.00/0.03	o 1218
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      120    198      190    16728   88     2013    2992    174   4285 0.03
0.00/0.04	o 1007
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      144    198      223    18861   84     2271    2992    207   4363 0.03
0.00/0.04	o 1005
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      156    198      236    19847   84     2390    2992    220   4457 0.04
0.00/0.04	o 836
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      156    198      237    19975   84     2439    2992    221   4333 0.04
0.00/0.04	o 832
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      156    198      238    20103   84     2555    2992    222   4333 0.04
0.00/0.04	o 812
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      160    198      243    20715   85     2664    2992    227   4324 0.04
0.00/0.05	o 804
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      179    198      263    21982   83     2766    2992    247   4261 0.04
0.00/0.05	o 781
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      179    198      264    22110   83     2837    2992    248   4261 0.04
0.00/0.05	o 777
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      183    198      270    22687   84     2952    2992    254   4159 0.04
0.00/0.05	o 772
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      185    198      273    22961   84     3023    2992    257   4111 0.04
0.00/0.05	o 768
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      189    198      278    23264   83     3126    2992    262   4108 0.05
0.00/0.05	o 746
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      193    198      283    23586   83     3273    2992    267   4106 0.05
0.00/0.05	o 740
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      193    198      284    23714   83     3277    2992    268   4020 0.05
0.00/0.05	o 708
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      196    198      288    24158   83     3372    2992    272   4000 0.05
0.00/0.06	o 678
0.08/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.11	c      226    198      322    26746   83     3706    2992    306   3964 0.06
0.08/0.11	c      326    198      430    34153   79     3983    3292    414   4126 0.08
0.08/0.11	o 371
0.38/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.43	c      407    198      545    45009   82     4375    2992    529   4029 0.10
0.38/0.43	c      507    198      649    50030   77     4488    3292    633   4260 0.12
0.38/0.43	c      757    198      937    68202   72     5019    3622    921   4350 0.17
0.38/0.43	c     1232    198     1490   109531   73     6158    3985   1474   4400 0.28
0.38/0.43	o 366
0.38/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.48	c     1870    198     2272   170629   75     8279    2992   2256   4410 0.42
0.38/0.48	c     1970    198     2383   176566   74     8607    3292   2367   4436 0.44
0.38/0.48	o 358
0.79/0.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.84	c     2109    198     2544   185222   72     9046    2992   2528   4430 0.48
0.79/0.84	c     2210    198     2662   192862   72     9412    3292   2646   4428 0.50
0.79/0.84	c     2460    198     2992   213066   71    10052    3622   2976   4497 0.55
0.79/0.84	c     2935    198     3589   251853   70    11308    3985   3573   4508 0.65
0.79/0.84	o 356
0.89/0.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.98	c     3715    198     2408   148895   61     6134    2992   2392   4443 0.84
0.89/0.98	c     3815    198     2522   156969   62     6454    3292   2506   4441 0.86
0.89/0.98	c     4066    198     2787   175996   63     7025    3622   2771   4386 0.93
0.89/0.98	o 321
0.99/1.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.00	c     4245    198     2986   187077   62     7550    2992   2970   4376 0.97
0.99/1.00	o 319
0.99/1.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.01	c     4321    198     1513    93328   61     4262    2992   1497   4347 0.99
0.99/1.01	o 312
0.99/1.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.02	c     4400    198     1596    96955   60     4583    2992   1580   4365 1.01
0.99/1.02	o 310
1.49/1.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.54	c     4410    198     1608    97658   60     4738    2992   1592   4366 1.01
1.49/1.54	c     4512    198     1725   107446   62     5079    3292   1709   4363 1.03
1.49/1.54	c     4762    198     1997   123663   61     5663    3622   1981   4384 1.09
1.49/1.54	c     5239    198     2538   153522   60     6790    3985   2522   4387 1.19
1.49/1.54	c     6052    198     3445   199754   57     8621    4384   3429   4382 1.38
1.49/1.54	o 302
6.48/6.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.48/6.53	c     6647    198     4161   244935   58    10293    2992   4145   4330 1.53
6.48/6.53	c     6748    198     1623    91875   56     4301    3292   1607   4320 1.56
6.48/6.53	c     6998    198     1891   105066   55     4863    3622   1875   4349 1.61
6.48/6.53	c     7473    198     2438   138023   56     6389    3985   2422   4385 1.70
6.48/6.53	c     8287    198     3409   207962   61     8786    4384   3393   4352 1.90
6.48/6.53	c     9607    198     2678   171882   64     6705    4823   2662   4256 2.26
6.48/6.53	c    11689    198     2586   137981   53     6100    5306   2570   4173 2.80
6.48/6.53	c    14912    198     3507   181240   51     7963    5837   3491   4093 3.64
6.48/6.53	c    19848    198     3226   181703   56     7422    6421   3210   3917 5.07
6.48/6.53	o 298
25.78/25.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.78/25.88	c    24793    198     5708   350243   61    13936    2992   5692   3800 6.52
25.78/25.88	c    24894    198     1620   113627   70     4801    3292   1604   3797 6.55
25.78/25.88	c    25145    198     1892   128216   67     5393    3622   1876   3809 6.60
25.78/25.88	c    25620    198     2433   155915   64     6493    3985   2417   3821 6.70
25.78/25.88	c    26433    198     3398   216256   63     8504    4384   3382   3828 6.91
25.78/25.88	c    27753    198     2632   150888   57     6244    4823   2616   3845 7.22
25.78/25.88	c    29834    198     2510   130916   52     5958    5306   2494   3840 7.77
25.78/25.88	c    33057    198     3504   178581   50     7971    5837   3488   3854 8.58
25.78/25.88	c    37993    198     3236   176401   54     7415    6421   3220   3817 9.95
25.78/25.88	c    45499    198     5370   316029   58    11806    7064   5354   3753 12.12
25.78/25.88	c    56860    198     4288   263397   61     9643    7771   4272   3639 15.62
25.78/25.88	c    74004    198     4116   219935   53     9202    8549   4100   3511 21.08
25.78/25.88	o 247
26.28/26.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.28/26.32	c    88943    198     8521   521474   61    20983    2992   8505   3437 25.88
26.28/26.32	c    89043    198     1636   107487   65     4374    3292   1620   3432 25.94
26.28/26.32	c    89293    198     1914   123338   64     5101    3622   1898   3435 25.99
26.28/26.32	c    89768    198     2458   155879   63     6355    3985   2442   3438 26.11
26.28/26.32	o 244
26.49/26.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.49/26.57	c    90564    198     3359   220243   65     8942    2992   3343   3442 26.31
26.49/26.57	c    90664    198     1619   106933   66     4807    3292   1603   3443 26.33
26.49/26.57	c    90915    198     1903   127039   66     5408    3622   1887   3445 26.39
26.49/26.57	c    91392    198     2468   161483   65     6782    3985   2452   3449 26.49
26.49/26.57	o 243
26.59/26.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.59/26.66	c    91693    198     2820   181731   64     7832    2992   2804   3451 26.56
26.59/26.66	c    91794    198     2922   185771   63     8045    3292   2906   3452 26.58
26.59/26.66	c    92044    198     3211   202340   63     8693    3622   3195   3453 26.65
26.59/26.66	o 241
26.69/26.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.69/26.71	c    92055    198     3228   203691   63     8860    2992   3212   3453 26.65
26.69/26.71	c    92156    198     1626    96632   59     4484    3292   1610   3454 26.68
26.69/26.71	o 232
26.79/26.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.79/26.81	c    92262    198     1746   102650   58     4911    2992   1730   3455 26.70
26.79/26.81	c    92362    198     1865   109878   58     5308    3292   1849   3456 26.72
26.79/26.81	c    92612    198     2166   128625   59     6167    3622   2150   3459 26.77
26.79/26.81	o 230
26.79/26.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.79/26.82	c    92766    198     2343   138040   58     6703    2992   2327   3460 26.80
26.79/26.82	o 208
26.79/26.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.79/26.85	c    92837    198     2421   142142   58     7028    2992   2405   3461 26.82
26.79/26.85	c    92937    198     2533   147504   58     7250    3292   2517   3462 26.84
26.79/26.85	o 207
26.98/27.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.98/27.07	c    92947    198     2547   148361   58     7410    2992   2531   3462 26.84
26.98/27.07	c    93047    198     2670   154927   58     7689    3292   2654   3462 26.87
26.98/27.07	c    93297    198     2947   171435   58     8299    3622   2931   3464 26.93
26.98/27.07	c    93774    198     3479   197900   56     9377    3985   3463   3465 27.06
26.98/27.07	o 202
26.98/27.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.98/27.08	c    93809    198     3518   199695   56     9585    2992   3502   3465 27.07
26.98/27.08	o 198
27.28/27.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
27.28/27.33	c    93826    198     1534    82522   53     4176    3323   1518   3464 27.08
27.28/27.33	c    93926    198     1645    88595   53     4409    3656   1629   3465 27.10
27.28/27.33	c    94177    198     1943   104862   53     5043    4022   1927   3466 27.17
27.28/27.33	c    94652    198     2472   132451   53     6167    4425   2456   3469 27.28
27.28/27.33	o 195
27.28/27.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
27.28/27.38	c    94807    198     2672   148512   55     7096    3323   2656   3469 27.32
27.28/27.38	c    94908    198     2775   152644   55     7307    3656   2759   3470 27.34
27.28/27.38	o 193
328.09/328.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
328.09/328.12	c    95044    198     2941   164055   55     7900    3323   2925   3471 27.38
328.09/328.12	c    95144    198     3056   171414   56     8133    3656   3040   3471 27.41
328.09/328.12	c    95394    198     3322   183761   55     8633    4022   3306   3474 27.46
328.09/328.12	c    95872    198     3839   208894   54     9715    4425   3823   3478 27.56
328.09/328.12	c    96685    198     2443   126865   51     5976    4868   2427   3482 27.77
328.09/328.12	c    98005    198     4030   221113   54     9264    5355   4014   3484 28.12
328.09/328.12	c   100086    198     3509   180341   51     8121    5891   3493   3496 28.62
328.09/328.12	c   103310    198     4170   220832   52     9382    6481   4154   3499 29.52
328.09/328.12	c   108246    198     6188   325114   52    13398    7130   6172   3505 30.88
328.09/328.12	c   115752    198     7081   379834   53    15222    7844   7065   3513 32.94
328.09/328.12	c   127113    198     7208   362046   50    15413    8629   7192   3511 36.20
328.09/328.12	c   144258    198     8453   521899   61    18384    9492   8437   3484 41.41
328.09/328.12	c   170078    198     7476   384832   51    15988   10442   7460   3438 49.47
328.09/328.12	c   208910    198     5968   286442   47    12844   11487   5952   3414 61.17
328.09/328.12	c   267263    198    10048   479530   47    20990   12636  10032   3400 78.59
328.09/328.12	c   354895    198     7771   423469   54    16649   13900   7755   3113 113.98
328.09/328.12	c   486447    198     9225   422842   45    19385   15291   9209   3080 157.92
328.09/328.12	c   683879    198    13940   753794   54    29215   16821  13924   3007 227.36
328.09/328.12	o 191
331.59/331.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
331.59/331.68	c   925275    198    16474   989653   60    35252    2992  16458   2819 328.12
331.59/331.68	c   925375    198     1620    96813   59     4180    3292   1604   2817 328.41
331.59/331.68	c   925626    198     1901   110369   58     4765    3622   1885   2818 328.46
331.59/331.68	c   926101    198     2443   136558   55     5840    3985   2427   2818 328.56
331.59/331.68	c   926914    198     3350   179848   53     7703    4384   3334   2819 328.74
331.59/331.68	c   928234    198     2581   129540   50     6117    4823   2565   2820 329.07
331.59/331.68	c   930315    198     2433   117397   48     5787    5306   2417   2822 329.57
331.59/331.68	c   933538    198     3429   177185   51     7975    5837   3413   2825 330.34
331.59/331.68	c   938474    198     3097   160305   51     7315    6421   3081   2829 331.66
331.59/331.68	o 185
331.69/331.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
331.69/331.76	c   938543    198     3179   165260   51     7662    2992   3163   2829 331.68
331.69/331.76	c   938645    198     1617    83241   51     4212    3292   1601   2829 331.70
331.69/331.76	c   938896    198     1884    95429   50     4751    3622   1868   2830 331.75
331.69/331.76	o 181
331.89/331.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
331.89/331.96	c   938972    198     1968    99408   50     5054    2992   1952   2830 331.77
331.89/331.96	c   939073    198     2085   107554   51     5424    3292   2069   2830 331.79
331.89/331.96	c   939323    198     2354   119959   50     6015    3622   2338   2830 331.83
331.89/331.96	c   939798    198     2903   149384   51     7143    3985   2887   2831 331.94
331.89/331.96	o 170
332.19/332.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
332.19/332.31	c   939871    198     2998   154822   51     7607    2992   2982   2831 331.96
332.19/332.31	c   939973    198     1557    80125   51     4241    3292   1541   2831 331.99
332.19/332.31	c   940223    198     1854    98648   53     4966    3622   1838   2831 332.04
332.19/332.31	c   940698    198     2384   126700   53     6195    3985   2368   2832 332.14
332.19/332.31	c   941511    198     3286   170903   52     8045    4384   3270   2833 332.31
332.19/332.31	o 166
332.30/332.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
332.30/332.36	c   941519    198     3296   171440   52     8192    2992   3280   2833 332.31
332.30/332.36	c   941619    198     1630    88713   54     4250    3292   1614   2833 332.34
332.30/332.36	o 164
333.09/333.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
333.09/333.19	c   941777    198     1800    97480   54     4727    2992   1784   2833 332.37
333.09/333.19	c   941877    198     1900   101354   53     4942    3292   1884   2833 332.38
333.09/333.19	c   942127    198     2177   116564   53     5683    3622   2161   2834 332.43
333.09/333.19	c   942602    198     2706   145892   53     6915    3985   2690   2834 332.54
333.09/333.19	c   943415    198     3640   202471   55     9338    4384   3624   2835 332.72
333.09/333.19	c   944735    198     2863   168771   58     7465    4823   2847   2836 333.06
333.09/333.19	o 163
333.19/333.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
333.19/333.21	c   945269    198     3484   207430   59     9306    2992   3468   2837 333.19
333.19/333.21	c   945369    198     1614    97278   60     4572    3292   1598   2837 333.20
333.19/333.21	o 153
333.19/333.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
333.19/333.21	c   945439    198     1688   100450   59     4881    2992   1672   2837 333.21
333.19/333.21	o 149
333.19/333.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
333.19/333.28	c   945452    198     1703   101225   59     5055    2992   1687   2837 333.22
333.19/333.28	c   945553    198     1828   110953   60     5357    3292   1812   2837 333.24
333.19/333.28	o 148
333.79/333.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
333.79/333.80	c   945745    198     2040   121057   59     5921    2992   2024   2837 333.28
333.79/333.80	c   945845    198     2140   124908   58     6113    3292   2124   2837 333.30
333.79/333.80	c   946095    198     2416   138646   57     6687    3622   2400   2838 333.35
333.79/333.80	c   946570    198     2933   164684   56     7715    3985   2917   2838 333.46
333.79/333.80	c   947384    198     3847   211945   55     9581    4384   3831   2839 333.67
333.79/333.80	o 146
343.09/343.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
343.09/343.21	c   947938    198     2209   118966   53     5668    2992   2193   2839 333.81
343.09/343.21	c   948038    198     2315   123361   53     5888    3292   2299   2839 333.83
343.09/343.21	c   948288    198     2605   138231   53     6475    3622   2589   2840 333.89
343.09/343.21	c   948764    198     3119   163683   52     7567    3985   3103   2840 334.01
343.09/343.21	c   949578    198     2010   106915   53     5030    4384   1994   2841 334.24
343.09/343.21	c   950898    198     3462   178666   51     7974    4823   3446   2842 334.55
343.09/343.21	c   952980    198     3305   171958   52     7548    5306   3289   2843 335.12
343.09/343.21	c   956204    198     4257   230642   54     9548    5837   4241   2845 335.99
343.09/343.21	c   961140    198     3746   171360   45     8405    6421   3730   2849 337.24
343.09/343.21	c   968646    198     5621   306599   54    12214    7064   5605   2854 339.33
343.09/343.21	c   980007    198     3917   192306   49     8762    7771   3901   2860 342.60
343.09/343.21	o 144
344.29/344.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
344.29/344.38	c   982417    198     6650   346831   52    15245    2992   6634   2862 343.21
344.29/344.38	c   982517    198     1613    93275   57     4596    3292   1597   2862 343.29
344.29/344.38	c   982769    198     1906   111988   58     5387    3622   1890   2862 343.34
344.29/344.38	c   983245    198     2437   140970   57     6685    3985   2421   2862 343.45
344.29/344.38	c   984058    198     3334   185789   55     8550    4384   3318   2863 343.65
344.29/344.38	c   985378    198     2579   136293   52     6323    4823   2563   2864 344.02
344.29/344.38	o 121
663.42/663.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
663.42/663.48	c   986771    198     4184   225215   53     9887    2992   4168   2865 344.38
663.42/663.48	c   986871    197     1622    89370   55     4321    3292   1606   2865 344.41
663.42/663.48	c   987121    195     1893   105056   55     4972    3622   1877   2865 344.47
663.42/663.48	c   987596    191     2404   133226   55     6375    3985   2388   2866 344.58
663.42/663.48	c   988409    191     3252   171168   52     8091    4384   3236   2866 344.77
663.42/663.48	c   989729    190     2375   105814   44     5630    4823   2359   2867 345.10
663.42/663.48	c   991810    189     4547   198696   43     9992    5306   4531   2870 345.55
663.42/663.48	c   995033    189     5216   233950   44    11342    5837   5200   2872 346.35
663.42/663.48	c   999969    189     4471   218965   48     9858    6421   4455   2877 347.54
663.42/663.48	c  1007476    188     5910   293148   49    12811    7064   5894   2882 349.52
663.42/663.48	c  1018839    188     7084   347364   49    15139    7771   7068   2889 352.56
663.42/663.48	c  1035983    188     5315   278630   52    11594    8549   5299   2897 357.50
663.42/663.48	c  1061802    187     6278   328878   52    13556    9404   6262   2905 365.38
663.42/663.48	c  1100634    187     9032   430406   47    19016   10345   9016   2927 375.98
663.42/663.48	c  1158986    185     7414   359924   48    15788   11380   7398   2954 392.23
663.42/663.48	c  1246618    183     7911   366448   46    16760   12519   7895   2981 418.12
663.42/663.48	c  1378170    183     8070   402502   49    17129   13771   8054   2994 460.27
663.42/663.48	c  1575602    183    13662   710114   51    28290   15149  13646   3009 523.53
663.42/663.48	c  1871854    183    10764   566499   52    22620   16664  10748   2992 625.50
663.42/663.48	o 115
663.80/663.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
663.80/663.86	c  1969733    183    13459   671153   49    28094    2962  13443   2968 663.49
663.80/663.86	o 113
1103.71/1103.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1103.71/1103.77	c  1969773    183     1561    93516   59     4161    2962   1545   2967 663.87
1103.71/1103.77	c  1969875    183     1673   101138   60     4448    3259   1657   2967 663.89
1103.71/1103.77	c  1970125    183     1934   113287   58     4970    3585   1918   2967 663.95
1103.71/1103.77	c  1970600    183     2424   135905   56     5961    3944   2408   2967 664.05
1103.71/1103.77	c  1971413    183     3276   173139   52     7656    4339   3260   2967 664.24
1103.71/1103.77	c  1972733    183     2422   108013   44     5716    4773   2406   2968 664.55
1103.71/1103.77	c  1974814    183     4591   203587   44    10071    5251   4575   2969 664.99
1103.71/1103.77	c  1978037    183     5259   242488   46    11408    5777   5243   2971 665.72
1103.71/1103.77	c  1982973    183     4471   209090   46     9822    6355   4455   2973 666.89
1103.71/1103.77	c  1990479    183     5788   273627   47    12492    6991   5772   2976 668.77
1103.71/1103.77	c  2001840    183     6989   350308   50    14889    7691   6973   2980 671.75
1103.71/1103.77	c  2018984    183     5218   261623   50    11309    8461   5202   2985 676.32
1103.71/1103.77	c  2044803    183     5888   319852   54    12709    9308   5872   2990 683.66
1103.71/1103.77	c  2083635    183     7866   390471   49    16644   10239   7850   2995 695.64
1103.71/1103.77	c  2141987    183     5775   297345   51    12542   11263   5759   2998 714.36
1103.71/1103.77	c  2229619    183    10354   533538   51    21654   12390  10338   3010 740.51
1103.71/1103.77	c  2361173    183     8214   420305   51    17407   13630   8198   3023 781.01
1103.71/1103.77	c  2558605    183    13614   675396   49    28215   14994  13598   3032 843.83
1103.71/1103.77	c  2854857    183    10711   555509   51    22401   16494  10695   3031 941.86
1103.71/1103.77	o 111
1103.81/1103.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1103.81/1103.85	c  3293804    183     8317   440909   53    17931    2962   8301   2984 1103.80
1103.81/1103.85	o 109
1214.01/1214.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1214.01/1214.05	c  3293852    183     1565    88462   56     4367    2962   1549   2983 1103.88
1214.01/1214.05	c  3293955    183     1678    94974   56     4617    3259   1662   2983 1103.89
1214.01/1214.05	c  3294205    183     1939   106096   54     5149    3585   1923   2984 1103.94
1214.01/1214.05	c  3294680    183     2440   127659   52     6150    3944   2424   2984 1104.03
1214.01/1214.05	c  3295493    183     3291   165248   50     7858    4339   3275   2984 1104.19
1214.01/1214.05	c  3296813    183     2409   103551   42     5800    4773   2393   2984 1104.46
1214.01/1214.05	c  3298895    183     4597   204328   44    10186    5251   4581   2985 1104.91
1214.01/1214.05	c  3302118    183     5275   250284   47    11452    5777   5259   2986 1105.68
1214.01/1214.05	c  3307054    183     4481   230370   51     9887    6355   4465   2987 1106.89
1214.01/1214.05	c  3314560    183     5821   284756   48    12580    6991   5805   2989 1108.73
1214.01/1214.05	c  3325921    183     6921   338432   48    14746    7691   6905   2992 1111.44
1214.01/1214.05	c  3343065    183     5105   254349   49    11086    8461   5089   2996 1115.77
1214.01/1214.05	c  3368884    183     6270   292518   46    13434    9308   6254   3001 1122.35
1214.01/1214.05	c  3407716    183     8404   418448   49    17687   10239   8388   3009 1132.34
1214.01/1214.05	c  3466069    183     6205   304061   49    13286   11263   6189   3018 1148.12
1214.01/1214.05	c  3553701    183    11207   547001   48    23297   12390  11191   3031 1172.10
1214.01/1214.05	c  3685254    183     9041   417639   46    18970   13630   9025   3047 1209.39
1214.01/1214.05	o 107
1214.11/1214.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1214.11/1214.14	c  3699483    182    10179   526906   51    21813    2960  10163   3047 1214.08
1214.11/1214.14	o 105
1214.11/1214.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1214.11/1214.17	c  3699571    182     1605    91354   56     4228    2960   1589   3047 1214.17
1214.11/1214.17	o 103
1214.11/1214.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1214.11/1214.17	c  3699661    182     1710    98390   57     4698    2960   1694   3047 1214.19
1214.11/1214.17	o 101
1214.11/1214.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1214.11/1214.17	c  3699692    182     1748   100788   57     4954    2960   1732   3047 1214.20
1214.11/1214.17	o 99
1214.11/1214.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1214.11/1214.18	c  3699697    182     1756   101507   57     5113    2960   1740   3047 1214.20
1214.11/1214.18	o 97
1214.11/1214.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1214.11/1214.18	c  3699700    182     1761   101972   57     5251    2960   1745   3047 1214.20
1214.11/1214.18	o 95
1214.11/1214.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1214.11/1214.18	c  3699702    182     1764   102282   57     5366    2960   1748   3047 1214.20
1214.11/1214.18	o 93
1797.92/1797.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1797.96	c  3699707    182     1771   102894   58     5502    2960   1755   3047 1214.20
1797.92/1797.96	c  3699807    182     1871   106540   56     5713    3257   1855   3047 1214.22
1797.92/1797.96	c  3700057    182     2130   117256   55     6238    3583   2114   3047 1214.26
1797.92/1797.96	c  3700532    182     2633   138627   52     7241    3942   2617   3047 1214.35
1797.92/1797.96	c  3701345    182     3461   171919   49     8908    4337   3445   3047 1214.51
1797.92/1797.96	c  3702665    182     2588   106943   41     6054    4771   2572   3048 1214.78
1797.92/1797.96	c  3704746    182     4709   197796   42    10299    5249   4693   3048 1215.17
1797.92/1797.96	c  3707969    182     2734   127328   46     6359    5774   2718   3049 1215.92
1797.92/1797.96	c  3712905    182     4826   205365   42    10527    6352   4810   3051 1216.84
1797.92/1797.96	c  3720411    182     6007   274512   45    12882    6988   5991   3053 1218.39
1797.92/1797.96	c  3731772    182     3607   170286   47     8081    7687   3591   3056 1220.95
1797.92/1797.96	c  3748916    182     5566   254203   45    12036    8456   5550   3061 1224.70
1797.92/1797.96	c  3774735    182     6132   273336   44    13136    9302   6116   3067 1230.46
1797.92/1797.96	c  3813567    182     8010   362680   45    16910   10233   7994   3077 1239.36
1797.92/1797.96	c  3871919    182     6107   275662   45    13111   11257   6091   3087 1253.96
1797.92/1797.96	c  3959551    182     5977   279903   46    12865   12383   5961   3096 1278.76
1797.92/1797.96	c  4091103    182     9751   456234   46    20378   13622   9735   3109 1315.85
1797.92/1797.96	c  4288535    182     8769   406703   46    18454   14985   8753   3120 1374.46
1797.92/1797.96	c  4584787    182    13606   631787   46    28149   16484  13590   3128 1465.26
1797.92/1797.96	c  5029270    182    14152   692604   48    29311   18133  14136   3115 1614.47
1797.92/1797.96	c Resources Exceeded
1797.92/1797.96	v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 x106 x107 x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 x132 x133 x134 -x135 x136 -x137 x138 -x139 x140 x141 x142 x143 x144 x145 x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 x158 -x159 x160 -x161 x162 x163 -x164 x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 x178 x179 x180 -x181 x182 -x183 -x184 x185 x186 -x187 -x188 x189 -x190 x191 -x192 x193 x194 x195 -x196 x197 x198 
1797.92/1797.96	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1797.96	c  249  5592033 151902  5785592    15465   695238  15449   3110 1798.00
1797.92/1797.96	c Objective: 93
1797.92/1797.96	s SATISFIABLE
1797.92/1797.96	c Total time: 1798 s

Verifier Data 

OK	93

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-3463194-1307179181/watcher-3463194-1307179181 -o /tmp/evaluation-result-3463194-1307179181/solver-3463194-1307179181 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463194-1307179181.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.97 2.00 1.99 2/473 2052
/proc/meminfo: memFree=20367168/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/2052/stat : 2052 (runsolver) R 2050 2052 678 0 -1 4202560 41 0 0 0 0 0 0 0 25 0 1 0 829517767 12079104 51 33554432000 4194304 5432328 140737464234368 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/2052/statm: 2949 51 31 303 0 2643 0

[startup+0.102277 s]
/proc/loadavg: 1.97 2.00 1.99 2/473 2052
/proc/meminfo: memFree=20367168/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=11304 CPUtime=0.08 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 449 0 0 0 8 0 0 0 25 0 1 0 829517767 11575296 400 33554432000 134512640 137138936 4292888432 18446744073709551615 134542787 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 2826 400 192 642 0 2182 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11304

[startup+0.200259 s]
/proc/loadavg: 1.97 2.00 1.99 2/473 2052
/proc/meminfo: memFree=20367168/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=11800 CPUtime=0.18 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 570 0 0 0 18 0 0 0 25 0 1 0 829517767 12083200 522 33554432000 134512640 137138936 4292888432 18446744073709551615 134538746 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 2950 522 192 642 0 2306 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 11800

[startup+0.300239 s]
/proc/loadavg: 1.97 2.00 1.99 2/473 2052
/proc/meminfo: memFree=20367168/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=12424 CPUtime=0.28 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 712 0 0 0 28 0 0 0 25 0 1 0 829517767 12722176 663 33554432000 134512640 137138936 4292888432 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 3106 663 192 642 0 2462 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12424

[startup+0.700168 s]
/proc/loadavg: 1.97 2.00 1.99 2/473 2052
/proc/meminfo: memFree=20367168/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=14672 CPUtime=0.69 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 1264 0 0 0 68 1 0 0 25 0 1 0 829517767 15024128 1215 33554432000 134512640 137138936 4292888432 18446744073709551615 134572956 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 3668 1215 192 642 0 3024 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14672

[startup+1.50096 s]
/proc/loadavg: 1.97 2.00 1.99 3/474 2053
/proc/meminfo: memFree=20361952/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=14800 CPUtime=1.49 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 1323 0 0 0 148 1 0 0 25 0 1 0 829517767 15155200 1274 33554432000 134512640 137138936 4292888432 18446744073709551615 134603166 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 3700 1274 192 642 0 3056 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14800

[startup+3.10075 s]
/proc/loadavg: 1.97 2.00 1.99 3/474 2053
/proc/meminfo: memFree=20360836/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=15048 CPUtime=3.08 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 1365 0 0 0 307 1 0 0 25 0 1 0 829517767 15409152 1316 33554432000 134512640 137138936 4292888432 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 3762 1316 192 642 0 3118 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15048

[startup+6.30018 s]
/proc/loadavg: 1.97 2.00 1.99 3/474 2053
/proc/meminfo: memFree=20360236/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=16300 CPUtime=6.28 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 1673 0 0 0 626 2 0 0 25 0 1 0 829517767 16691200 1624 33554432000 134512640 137138936 4292888432 18446744073709551615 134599975 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 4075 1624 192 642 0 3431 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 16300

[startup+12.7011 s]
/proc/loadavg: 1.98 2.00 1.99 3/474 2053
/proc/meminfo: memFree=20358480/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=16796 CPUtime=12.68 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 1797 0 0 0 1264 4 0 0 25 0 1 0 829517767 17199104 1748 33554432000 134512640 137138936 4292888432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 4199 1748 192 642 0 3555 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 16796

[startup+25.5008 s]
/proc/loadavg: 1.98 2.00 1.99 3/474 2054
/proc/meminfo: memFree=20357264/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=17916 CPUtime=25.48 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 2099 0 0 0 2541 7 0 0 25 0 1 0 829517767 18345984 2050 33554432000 134512640 137138936 4292888432 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 4479 2050 192 642 0 3835 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17916

[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/474 2054
/proc/meminfo: memFree=20355968/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=19256 CPUtime=51.09 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 2427 0 0 0 5093 16 0 0 25 0 1 0 829517767 19718144 2378 33554432000 134512640 137138936 4292888432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 4814 2378 192 642 0 4170 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19256

[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/474 2056
/proc/meminfo: memFree=20352976/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=22524 CPUtime=102.29 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 3235 0 0 0 10202 27 0 0 25 0 1 0 829517767 23064576 3186 33554432000 134512640 137138936 4292888432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 5631 3186 192 642 0 4987 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 22524

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 2057
/proc/meminfo: memFree=20350348/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=22576 CPUtime=162.28 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 3263 0 0 0 16190 38 0 0 25 0 1 0 829517767 23117824 3214 33554432000 134512640 137138936 4292888432 18446744073709551615 134540816 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 5644 3214 192 642 0 5000 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 22576

[startup+222.318 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 2059
/proc/meminfo: memFree=20349464/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=23640 CPUtime=222.3 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 3522 0 0 0 22180 50 0 0 25 0 1 0 829517767 24207360 3473 33554432000 134512640 137138936 4292888432 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 5910 3473 192 642 0 5266 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 23640

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 2060
/proc/meminfo: memFree=20348580/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=24376 CPUtime=282.29 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 3711 0 0 0 28166 63 0 0 25 0 1 0 829517767 24961024 3662 33554432000 134512640 137138936 4292888432 18446744073709551615 136504423 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 6094 3662 192 642 0 5450 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 24376

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 2062
/proc/meminfo: memFree=20347072/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=25788 CPUtime=342.29 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 4064 0 0 0 34155 74 0 0 25 0 1 0 829517767 26406912 4015 33554432000 134512640 137138936 4292888432 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 6447 4015 192 642 0 5803 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 25788

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 2064
/proc/meminfo: memFree=20346936/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=25784 CPUtime=402.29 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 4064 0 0 0 40140 89 0 0 25 0 1 0 829517767 26402816 4015 33554432000 134512640 137138936 4292888432 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 6446 4015 192 642 0 5802 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 25784

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 2065
/proc/meminfo: memFree=20348652/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=25784 CPUtime=462.3 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 4064 0 0 0 46126 104 0 0 25 0 1 0 829517767 26402816 4015 33554432000 134512640 137138936 4292888432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 6446 4015 192 642 0 5802 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 25784

[startup+522.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/474 2067
/proc/meminfo: memFree=20348624/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=25784 CPUtime=522.29 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 4064 0 0 0 52110 119 0 0 25 0 1 0 829517767 26402816 4015 33554432000 134512640 137138936 4292888432 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 6446 4015 192 642 0 5802 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 25784

[startup+582.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/474 2068
/proc/meminfo: memFree=20348348/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=25784 CPUtime=582.3 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 4064 0 0 0 58098 132 0 0 25 0 1 0 829517767 26402816 4015 33554432000 134512640 137138936 4292888432 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 6446 4015 192 642 0 5802 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 25784

[startup+642.3 s]

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

/proc/meminfo: memFree=20301016/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=25772 CPUtime=1122.31 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 4064 0 0 0 111951 280 0 0 25 0 1 0 829517767 26390528 4015 33554432000 134512640 137138936 4292888432 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 6443 4015 192 642 0 5799 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 25772

[startup+1182.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/474 2111
/proc/meminfo: memFree=20300608/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=25764 CPUtime=1182.31 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 4064 0 0 0 117932 299 0 0 25 0 1 0 829517767 26382336 4015 33554432000 134512640 137138936 4292888432 18446744073709551615 135984550 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 6441 4015 192 642 0 5797 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 25764

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/474 2113
/proc/meminfo: memFree=20299948/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=25720 CPUtime=1242.31 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 4064 0 0 0 123910 321 0 0 25 0 1 0 829517767 26337280 4005 33554432000 134512640 137138936 4292888432 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 6430 4005 192 642 0 5786 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 25720

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 2115
/proc/meminfo: memFree=20299924/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=25720 CPUtime=1302.32 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 4064 0 0 0 129889 343 0 0 25 0 1 0 829517767 26337280 4005 33554432000 134512640 137138936 4292888432 18446744073709551615 134544827 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 6430 4005 192 642 0 5786 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 25720

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 2116
/proc/meminfo: memFree=20299028/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=25720 CPUtime=1362.32 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 4064 0 0 0 135868 364 0 0 25 0 1 0 829517767 26337280 4005 33554432000 134512640 137138936 4292888432 18446744073709551615 134555509 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 6430 4005 192 642 0 5786 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 25720

[startup+1422.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/474 2118
/proc/meminfo: memFree=20298868/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=25720 CPUtime=1422.32 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 4064 0 0 0 141847 385 0 0 25 0 1 0 829517767 26337280 4005 33554432000 134512640 137138936 4292888432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 6430 4005 192 642 0 5786 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 25720

[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/474 2119
/proc/meminfo: memFree=20299580/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=25720 CPUtime=1482.32 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 4064 0 0 0 147829 403 0 0 25 0 1 0 829517767 26337280 4005 33554432000 134512640 137138936 4292888432 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 6430 4005 192 642 0 5786 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 25720

[startup+1542.32 s]
/proc/loadavg: 2.10 2.04 2.01 3/474 2121
/proc/meminfo: memFree=20300776/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=25720 CPUtime=1542.34 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 4064 0 0 0 153814 420 0 0 25 0 1 0 829517767 26337280 4005 33554432000 134512640 137138936 4292888432 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 6430 4005 192 642 0 5786 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 25720

[startup+1602.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/474 2123
/proc/meminfo: memFree=20300244/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=25720 CPUtime=1602.32 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 4064 0 0 0 159796 436 0 0 25 0 1 0 829517767 26337280 4005 33554432000 134512640 137138936 4292888432 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 6430 4005 192 642 0 5786 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 25720

[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/474 2124
/proc/meminfo: memFree=20300700/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=25724 CPUtime=1662.32 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 4065 0 0 0 165777 455 0 0 25 0 1 0 829517767 26341376 4006 33554432000 134512640 137138936 4292888432 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 6431 4006 192 642 0 5787 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 25724

[startup+1722.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/474 2126
/proc/meminfo: memFree=20300668/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=25724 CPUtime=1722.32 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 4065 0 0 0 171759 473 0 0 25 0 1 0 829517767 26341376 4006 33554432000 134512640 137138936 4292888432 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 6431 4006 192 642 0 5787 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 25724

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 2128
/proc/meminfo: memFree=20299524/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=25724 CPUtime=1782.33 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 4065 0 0 0 177741 492 0 0 25 0 1 0 829517767 26341376 4006 33554432000 134512640 137138936 4292888432 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 6431 4006 192 642 0 5787 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 25724

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

[startup+1785.6 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 2128
/proc/meminfo: memFree=20300512/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=25724 CPUtime=1785.63 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 4065 0 0 0 178070 493 0 0 25 0 1 0 829517767 26341376 4006 33554432000 134512640 137138936 4292888432 18446744073709551615 136297633 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 6431 4006 192 642 0 5787 0
Current children cumulated CPU time (s) 1785.63
Current children cumulated vsize (KiB) 25724

[startup+1792.02 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 2128
/proc/meminfo: memFree=20300632/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=25724 CPUtime=1792.04 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 4065 0 0 0 178709 495 0 0 25 0 1 0 829517767 26341376 4006 33554432000 134512640 137138936 4292888432 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 6431 4006 192 642 0 5787 0
Current children cumulated CPU time (s) 1792.04
Current children cumulated vsize (KiB) 25724

[startup+1795.2 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 2128
/proc/meminfo: memFree=20300632/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=25724 CPUtime=1795.23 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 4065 0 0 0 179027 496 0 0 25 0 1 0 829517767 26341376 4006 33554432000 134512640 137138936 4292888432 18446744073709551615 134542755 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 6431 4006 192 642 0 5787 0
Current children cumulated CPU time (s) 1795.23
Current children cumulated vsize (KiB) 25724

[startup+1796.8 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 2128
/proc/meminfo: memFree=20300632/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=25724 CPUtime=1796.83 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 4065 0 0 0 179187 496 0 0 25 0 1 0 829517767 26341376 4006 33554432000 134512640 137138936 4292888432 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 6431 4006 192 642 0 5787 0
Current children cumulated CPU time (s) 1796.83
Current children cumulated vsize (KiB) 25724

[startup+1797.6 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 2128
/proc/meminfo: memFree=20300384/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=25724 CPUtime=1797.62 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 4065 0 0 0 179266 496 0 0 25 0 1 0 829517767 26341376 4006 33554432000 134512640 137138936 4292888432 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 6431 4006 192 642 0 5787 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (KiB) 25724

[startup+1797.8 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 2128
/proc/meminfo: memFree=20300384/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=25724 CPUtime=1797.82 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 4065 0 0 0 179286 496 0 0 25 0 1 0 829517767 26341376 4006 33554432000 134512640 137138936 4292888432 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 6431 4006 192 642 0 5787 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 25724

[startup+1797.9 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 2128
/proc/meminfo: memFree=20300384/32950928 swapFree=61858088/67111528
[pid=2052] ppid=2050 vsize=25724 CPUtime=1797.92 cores=1,3,5,7
/proc/2052/stat : 2052 (bsolo) R 2050 2052 678 0 -1 4202496 4065 0 0 0 179296 496 0 0 25 0 1 0 829517767 26341376 4006 33554432000 134512640 137138936 4292888432 18446744073709551615 134575831 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/2052/statm: 6431 4006 192 642 0 5787 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 25724

Child status: 0
Real time (s): 1797.97
CPU time (s): 1798
CPU user time (s): 1793.03
CPU system time (s): 4.97024
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 25796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.03
system time used= 4.97024
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4066
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= 24151

runsolver used 8.00178 second user time and 19.66 second system time

The end

Launcher Data 

Begin job on node125 at 2011-06-04 11:19:41
IDJOB=3463194
IDBENCH=2904
IDSOLVER=1955
FILE ID=node125/3463194-1307179181
RUNJOBID= node125-1307174917-1664
PBS_JOBID= 13508829
Free space on /tmp= 73788 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_4.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463194-1307179181/watcher-3463194-1307179181 -o /tmp/evaluation-result-3463194-1307179181/solver-3463194-1307179181 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3463194-1307179181.opb

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

MD5SUM BENCH= 87341d3e4752b9f90faef0f8d9385430
RANDOM SEED=1521469717

node125.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.828
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.65
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.828
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	: 5266.55
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.828
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.84
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.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
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.828
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.82
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.828
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.74
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.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      20367324 kB
Buffers:        357140 kB
Cached:        3510168 kB
SwapCached:       3616 kB
Active:        8879060 kB
Inactive:      3360640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      20367324 kB
SwapTotal:    67111528 kB
SwapFree:     61858088 kB
Dirty:            7940 kB
Writeback:           0 kB
AnonPages:     8370828 kB
Mapped:          34872 kB
Slab:           214164 kB
PageTables:      61824 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 130043592 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73784 MiB
End job on node125 at 2011-06-04 11:49:39