Trace number 3462819

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.2SAT-60 1798.05 1798.01

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_2.opb
MD5SUM493eec42e81abed935f584a4e365015a
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-82
Best CPU time to get the best result obtained on this benchmark1797.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -84
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31340
Sum of products size (including duplicates)62680
Number of different products15670
Sum of products size31340

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-3462819-1307183462.opb
0.00/0.00	c File size is 431169 bytes.
0.05/0.07	c Highest Coefficient sum: 1000
0.05/0.07	c Parsing was ok!!
0.05/0.07	c Total parsing time: 0.074 s
0.05/0.09	c Var: 32340 Constr: 64182 31840/1002/31340 Lit: 222380 Watch. Lit: 190042
0.05/0.09	c Obj. Vars: 500 (1.54607 % of total variables)
59.89/59.97	c Pre-processing Time: 59.972 s
59.89/59.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
59.89/59.97	c        0  32340    64182   222380    3   190042  525974      0      0 59.97
59.89/59.97	c Switching off lower bounding mode.
59.99/60.00	o -1
59.99/60.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
59.99/60.08	c        0  32340    64183   222880    3   190045  526308      1      0 60.01
59.99/60.08	o -2
60.09/60.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.09/60.14	c        1  32340    64186   224380    3   190054  526474      4      0 60.09
60.09/60.14	o -3
60.19/60.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.19/60.20	c        2  32340    64189   225910    3   190065  526641      7      0 60.15
60.19/60.20	o -4
60.19/60.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.19/60.26	c        3  32340    64192   227467    3   190078  526808     10      0 60.21
60.19/60.26	o -5
60.29/60.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.29/60.32	c        4  32340    64195   229025    3   190093  526974     13      0 60.27
60.29/60.32	o -6
60.29/60.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.29/60.39	c        6  32340    64199   230611    3   190112  526974     17      0 60.33
60.29/60.39	o -7
60.39/60.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.39/60.44	c        8  32340    64203   232195    3   190133  526974     21      0 60.40
60.39/60.44	o -8
60.39/60.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.39/60.50	c        9  32340    64206   233818    3   190154  526974     24      0 60.45
60.39/60.50	o -9
60.50/60.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.50/60.56	c       10  32340    64209   235476    3   190177  526974     27      0 60.51
60.50/60.56	o -10
60.59/60.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.59/60.61	c       12  32340    64213   237122    3   190204  526974     31      0 60.57
60.59/60.61	o -11
60.59/60.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.59/60.68	c       16  32340    64219   238811    3   190237  526974     37      0 60.62
60.59/60.68	o -12
60.69/60.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.69/60.74	c       22  32340    64227   240487    3   190276  526974     45      0 60.69
60.69/60.74	o -13
60.79/60.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.79/60.80	c       26  32340    64233   243142    3   190313  526974     51      0 60.75
60.79/60.80	o -14
60.79/60.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.79/60.86	c       41  32340    64250   247780    3   190374  526974     68      0 60.81
60.79/60.86	o -15
60.89/60.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.89/60.93	c       68  32340    64279   251971    3   190461  526974     97      1 60.88
60.89/60.93	o -16
60.89/60.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.89/60.99	c       84  32340    64297   259018    4   190528  526974    115      1 60.94
60.89/60.99	o -17
60.99/61.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.99/61.05	c       96  32340    64311   263634    4   190589  526974    129      1 61.00
60.99/61.05	o -18
61.09/61.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.09/61.10	c      101  32340    64318   266305    4   190638  526974    136      1 61.06
61.09/61.10	o -19
61.09/61.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.09/61.17	c      107  32340    64326   268018    4   190691  526974    144      1 61.12
61.09/61.17	o -20
61.19/61.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.19/61.22	c      115  32340    64336   269737    4   190750  526974    154      1 61.18
61.19/61.22	o -21
61.19/61.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.19/61.29	c      120  32340    64343   271474    4   190805  526974    161      1 61.23
61.19/61.29	o -22
61.29/61.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.29/61.34	c      134  32340    64359   273244    4   190880  526974    177      2 61.30
61.29/61.34	o -23
61.39/61.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.39/61.42	c      142  32340    64369   275014    4   190945  526974    187      2 61.35
61.39/61.42	o -24
61.39/61.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.39/61.48	c      177  32340    64406   290213    4   191066  526974    224      2 61.43
61.39/61.48	o -25
61.50/61.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.50/61.53	c      196  32340    64427   299653    4   191157  526974    245      3 61.49
61.50/61.53	o -26
61.50/61.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.50/61.58	c      205  32340    64438   302908    4   191230  526974    256      3 61.54
61.50/61.58	o -27
61.61/61.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.61/61.64	c      210  32340    64445   304733    4   191297  526974    263      3 61.60
61.61/61.64	o -28
61.69/61.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.69/61.70	c      216  32340    64453   306565    4   191368  526974    271      3 61.65
61.69/61.70	o -29
61.69/61.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.69/61.76	c      229  32340    64468   308418    4   191455  526974    286      3 61.72
61.69/61.76	o -30
61.79/61.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.79/61.81	c      235  32340    64476   310292    4   191530  526974    294      3 61.77
61.79/61.81	o -31
61.79/61.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.79/61.89	c      240  32340    64483   312156    4   191605  526974    301      3 61.82
61.79/61.89	o -32
61.99/62.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.99/62.03	c      263  32340    64508   314086    4   191718  526974    326      4 61.90
61.99/62.03	o -33
62.09/62.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.09/62.11	c      342  32340    64589   343686    5   191945  526974    407      5 62.04
62.09/62.11	o -34
62.09/62.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.09/62.15	c      362  32340    64611   347965    5   192056  526974    429      5 62.12
62.09/62.15	o -35
62.19/62.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.19/62.25	c      364  32340    64615   349868    5   192133  526974    433      5 62.16
62.19/62.25	o -36
62.29/62.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.29/62.40	c      401  32340    64654   351878    5   192282  526974    472      6 62.26
62.29/62.40	o -37
118.59/118.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
118.59/118.70	c      454  32340    64709   353930    5   192465  526974    527      7 62.41
118.59/118.70	c      555  32340    64810   379523    5   192667  579672    628      8 63.29
118.59/118.70	c      806  32340    65061   451193    6   193169  637640    879     12 65.12
118.59/118.70	c     1281  32340    65536   662498   10   194119  701405   1354     18 67.46
118.59/118.70	c     2094  32340    66350  1064046   16   195747  771546   2168     29 70.73
118.59/118.70	c     3414  32340    67670  1722820   25   198387  848701   3488     45 75.68
118.59/118.70	c     5495  32340    69751  2761639   39   202549  933572   5569     66 82.44
118.59/118.70	c     8718  32340    72975  4364839   59   208997  500000   8793     92 93.82
118.59/118.70	c    13654  32340    77914  6820356   87   218875  550001  13732    117 115.86
118.59/118.70	o -42
120.79/120.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
120.79/120.90	c    14244  32340    78505  7102707   90   220099  526974  14323    119 118.72
120.79/120.90	c    14344  32340    78628  7163428   91   221961  579672  14446    119 120.12
120.79/120.90	c    14594  32340    78884  7291056   92   222878  637640  14702    120 120.77
120.79/120.90	o -43
121.49/121.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
121.49/121.57	c    14682  32340    78973  7334975   92   223099  526974  14791    121 120.91
121.49/121.57	c    14782  32340    79073  7384931   93   223299  579672  14891    122 121.13
121.49/121.57	o -44
121.59/121.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
121.59/121.64	c    15020  32340    79313  7499047   94   223866  526974  15131    123 121.59
121.59/121.64	o -45
121.69/121.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
121.69/121.75	c    15029  32340    79324  7500927   94   223977  526974  15142    123 121.66
121.69/121.75	o -46
121.89/121.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
121.89/121.94	c    15053  32340    79350  7502862   94   224120  526974  15168    123 121.77
121.89/121.94	o -47
121.89/122.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
121.89/122.01	c    15117  32340    79416  7515771   94   224345  526974  15234    123 121.95
121.89/122.01	o -48
122.00/122.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
122.00/122.10	c    15128  32340    79429  7518159   94   224466  526974  15247    123 122.02
122.00/122.10	o -49
122.20/122.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
122.20/122.20	c    15144  32340    79447  7523258   94   224599  526974  15265    124 122.11
122.20/122.20	o -50
122.30/122.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
122.30/122.33	c    15172  32340    79477  7535564   94   224758  526974  15295    124 122.21
122.30/122.33	o -51
122.40/122.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
122.40/122.41	c    15191  32340    79498  7541560   94   224901  526974  15316    124 122.34
122.40/122.41	o -52
122.40/122.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
122.40/122.47	c    15205  32340    79514  7546652   94   225036  526974  15332    124 122.42
122.40/122.47	o -53
122.49/122.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
122.49/122.56	c    15209  32340    79520  7548591   94   225153  526974  15338    124 122.48
122.49/122.56	o -54
202.89/202.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
202.89/202.99	c    15221  32340    79534  7550555   94   225288  526974  15352    124 122.58
202.89/202.99	c    15321  32340    79635  7552737   94   225544  579672  15453    124 122.77
202.89/202.99	c    15571  32340    79885  7677240   96   226044  637640  15703    126 123.05
202.89/202.99	c    16046  32340    80361  7913747   98   226996  701405  16179    129 123.53
202.89/202.99	c    16859  32340    81174  8316768  102   228622  771546  16992    135 124.38
202.89/202.99	c    18179  32340    82495  8973787  108   231264  848701  18313    144 125.77
202.89/202.99	c    20260  32340    84578 10009319  118   235430  933572  20396    158 128.06
202.89/202.99	c    23483  32340    87806 11612872  132   241886  500000  23624    178 131.90
202.89/202.99	c    28419  32340    92745 14067456  151   251764  550001  28563    205 138.19
202.89/202.99	c    35925  32340   100256 17798089  177   266786  605002  36074    241 148.58
202.89/202.99	c    47286  32340   111626 23449275  210   289526  665503  47444    286 165.33
202.89/202.99	c    64431  32340   128785 31876800  247   323844  732054  64603    330 195.21
202.89/202.99	o -55
500.60/500.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
500.60/500.60	c    68193  32340   132549 33540444  253   331427  526974  68367    335 203.00
500.60/500.60	c    68293  32340   132650 33576638  253   331684  579672  68468    336 203.21
500.60/500.60	c    68543  32340   132900 33701136  253   332184  637640  68718    336 203.59
500.60/500.60	c    69018  32340   133377 33938139  254   333138  701405  69195    338 204.16
500.60/500.60	c    69831  32340   134191 34342155  255   334766  771546  70009    340 205.07
500.60/500.60	c    71151  32340   135513 34999175  258   337410  848701  71331    344 206.62
500.60/500.60	c    73232  32340   137598 36035206  261   341580  933572  73416    350 209.08
500.60/500.60	c    76455  32340   140824 37637264  267   348032  500000  76642    358 213.04
500.60/500.60	c    81391  32340   145761 40090328  275   357906  550001  81579    370 219.50
500.60/500.60	c    88897  32340   153270 43823923  285   372924  605002  89088    387 229.67
500.60/500.60	c   100258  32340   164640 49467118  300   395664  665503 100458    407 245.95
500.60/500.60	c   117403  32340   181796 57658949  317   429976  732054 117614    406 288.78
500.60/500.60	c   143222  32340   207634 70489849  339   481652  805260 143452    425 336.31
500.60/500.60	c Reducing formula size due to memory constraints
500.60/500.60	c Memory Limit: 1000.00 MB  Used: 1005.76 MB
500.60/500.60	o -56
500.70/500.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
500.70/500.76	c   162203  32340    78466  7085274   90   218776  526974  14284    323 500.63
500.70/500.76	o -57
500.90/500.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
500.90/500.91	c   162255  32340    78520  7100998   90   218997  526974  14338    324 500.79
500.90/500.91	o -58
500.90/500.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
500.90/500.99	c   162285  32340    78552  7106084   90   219176  526974  14370    323 500.93
500.90/500.99	o -59
501.00/501.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
501.00/501.06	c   162302  32340    78571  7108932   90   219331  526974  14389    323 501.02
501.00/501.06	o -60
1797.93/1797.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1797.96	c   162314  32340    78585  7110889   90   219478  526974  14403    323 501.08
1797.93/1797.96	c   162414  32340    78686  7130120   90   219740  579672  14504    323 501.29
1797.93/1797.96	c   162664  32340    78936  7131306   90   220240  637640  14754    324 501.56
1797.93/1797.96	c   163140  32340    79416  7240583   91   221200  701405  15234    322 506.10
1797.93/1797.96	c   163953  32340    80253  7595799   94   222874  771546  16071    320 511.28
1797.93/1797.96	c   165274  32340    81583  8015185   98   225534  848701  17401    321 514.74
1797.93/1797.96	c   167355  32340    83664  9051201  108   229696  933572  19482    323 517.15
1797.93/1797.96	c   170578  32340    86890 10654245  122   236148  500000  22708    327 521.03
1797.93/1797.96	c   175514  32340    91829 13109817  142   246026  550001  27647    332 527.49
1797.93/1797.96	c   183020  32340    99339 16844929  169   261046  605002  35157    339 538.36
1797.93/1797.96	c   194381  32340   110708 22495112  203   283784  665503  46526    346 561.79
1797.93/1797.96	c   211525  32340   127864 30991883  242   318096  732054  63682    352 600.89
1797.93/1797.96	c   237344  32340   154070 43862886  284   371035  805260  89888    343 691.38
1797.93/1797.96	c   276177  32340   193542 64379030  332   450658  885787 129360    332 830.85
1797.93/1797.96	c Reducing formula size due to memory constraints
1797.93/1797.96	c Memory Limit: 1000.00 MB  Used: 1002.87 MB
1797.93/1797.96	c   334529  32340   111415 24115346  216   285520   95743  47233    327 1021.95
1797.93/1797.96	c   422161  32340    90750 13151301  144   243397  105318  26568    320 1318.22
1797.93/1797.96	c   553713  32340   102979 20880966  202   269147  115850  38797    311 1779.28
1797.93/1797.96	c Resources Exceeded
1797.93/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 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 x344 x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x791 -x720 -x789 -x576 -x562 -x999 -x865 -x778 -x746 -x628 x843 -x680 -x650 -x594 -x538 -x550 -x655 -x774 x868 -x731 -x503 -x573 -x570 -x816 -x768 -x519 -x578 -x601 -x606 -x610 -x625 -x629 -x644 -x727 -x769 x796 -x837 -x851 -x888 -x926 -x931 -x945 -x957 -x959 -x501 -x892 -x711 -x631 -x797 -x564 -x514 -x587 x783 x803 -x662 -x697 -x653 -x878 -x974 x898 x858 -x668 x929 -x507 -x761 -x966 -x557 -x915 -x591 -x776 -x512 -x541 -x546 -x560 -x561 -x574 -x588 -x673 -x728 -x738 -x810 -x812 -x828 x869 -x885 -x947 -x502 -x645 -x946 -x700 -x567 -x967 -x824 x949 -x887 -x963 -x544 -x522 -x617 -x718 x787 -x691 -x518 -x526 -x589 -x623 -x671 -x683 -x753 -x755 x798 -x820 -x829 -x971 -x763 -x558 -x705 -x686 -x734 -x800 -x704 -x961 -x938 x652 -x918 -x582 x870 -x766 x702 -x656 -x809 -x719 -x551 -x575 x602 -x630 -x712 x744 -x799 -x891 x920 -x504 -x516 -x989 -x710 -x983 -x747 -x984 -x598 -x924 x535 -x690 -x693 -x506 -x907 -x875 -x521 -x524 -x532 -x539 -x572 -x595 -x642 -x678 -x839 -x876 -x916 -x505 -x882 -x833 -x861 x831 x988 -x638 -x580 -x823 -x973 x542 x921 x510 -x817 -x807 -x699 -x517 -x545 -x605 -x681 -x752 -x775 -x813 -x899 -x960 -x706 -x867 -x646 -x741 -x622 -x632 -x982 -x835 -x732 -x579 -x792 -x571 x568 -x723 -x893 -x540 -x548 -x661 -x672 -x679 -x688 -x757 -x836 -x922 -x941 -x969 -x665 -x785 -x972 x600 -x840 -x657 -x615 -x802 -x914 -x725 -x897 -x939 -x729 -x730 -x754 -x748 -x520 x627 -x651 -x654 -x659 -x714 -x759 -x881 -x883 -x993 -x508 -x670 -x709 x620 -x736 -x902 -x666 -x742 -x758 -x677 -x708 -x911 -x781 -x857 -x586 -x658 -x511 -x515 -x649 -x663 -x968 -x509 x749 x927 -x841 -x955 -x772 -x827 -x904 -x844 -x513 x826 -x923 x640 -x676 -x765 x793 -x852 -x913 x987 -x767 -x619 -x533 -x788 -x643 -x942 -x950 x596 -x565 -x863 x990 -x890 -x534 -x636 x896 -x930 -x944 -x996 -x786 -x994 -x530 -x952 -x853 -x985 -x978 -x722 -x698 -x593 -x599 -x733 -x739 -x856 -x937 -x618 -x777 -x597 x581 -x818 -x934 -x611 x675 -x674 -x717 -x750 x773 -x808 -x822 -x928 -x849 -x556 x981 -x804 -x932 -x590 -x692 -x850 -x624 -x543 -x735 -x647 -x847 -x903 -x917 -x737 -x905 -x559 -x694 -x713 x779 -x900 -x948 -x669 -x616 -x756 -x873 -x609 -x607 -x536 -x577 -x584 -x716 -x745 -x687 -x637 -x956 -x626 -x780 -x848 -x919 -x621 -x523 -x547 -x553 x815 -x721 x958 -x689 -x814 x879 -x970 -x954 -x795 -x592 x634 -x529 -x859 x860 x936 -x608 -x953 -x855 -x604 -x525 -x528 -x555 -x583 -x790 -x908 -x912 -x874 -x866 -x695 -x554 -x975 -x998 -x901 -x527 -x819 -x760 -x794 -x614 -x566 -x740 -x965 -x943 -x549 -x825 -x872 -x933 -x552 -x762 -x877 -x845 -x635 -x743 -x830 x641 x660 -x806 -x864 -x682 -x801 -x834 -x537 -x648 -x770 -x980 -x986 -x664 -x805 -x862 x880 -x612 x935 -x696 -x979 -x995 -x832 -x784 -x563 -x889 -x940 -x1000 -x925 -x909 -x821 -x685 -x910 x531 -x846 -x977 -x842 -x639 x751 -x838 -x782 -x569 -x613 -x603 -x726 -x707 -x701 -x684 x811 -x906 -x633 -x991 -x771 -x964 -x962 -x764 -x997 -x724 -x992 -x884 -x951 -x894 -x585 -x667 x854 x895 -x715 x703 x976 -x871 -x886 
1797.93/1797.96	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1797.96	c  106   560477 186586  1964241   109912 24827349  45730    311 1798.00
1797.93/1797.96	c Objective: -60
1797.93/1797.96	s SATISFIABLE
1797.93/1797.96	c Total time: 1798 s

Verifier Data 

OK	-60

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 3/473 2379
/proc/meminfo: memFree=19328612/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=11632 CPUtime=0 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 401 0 0 0 0 0 0 0 25 0 1 0 829945863 11911168 355 33554432000 134512640 137138936 4290133264 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 2908 355 177 642 0 2158 0

[startup+0.059243 s]
/proc/loadavg: 2.00 2.02 2.00 3/473 2379
/proc/meminfo: memFree=19328612/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=18808 CPUtime=0.05 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 2276 0 0 0 5 0 0 0 25 0 1 0 829945863 19259392 2190 33554432000 134512640 137138936 4290133264 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 4702 2191 250 642 0 3952 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18808

[startup+0.10124 s]
/proc/loadavg: 2.00 2.02 2.00 3/473 2379
/proc/meminfo: memFree=19328612/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=27956 CPUtime=0.09 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 4643 0 0 0 9 0 0 0 18 0 1 0 829945863 28626944 4451 33554432000 134512640 137138936 4290133264 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 6989 4451 185 642 0 6345 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27956

[startup+0.30121 s]
/proc/loadavg: 2.00 2.02 2.00 3/473 2379
/proc/meminfo: memFree=19328612/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=28220 CPUtime=0.29 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 4685 0 0 0 29 0 0 0 18 0 1 0 829945863 28897280 4493 33554432000 134512640 137138936 4290133264 18446744073709551615 134543220 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 7055 4493 185 642 0 6411 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28220

[startup+0.701144 s]
/proc/loadavg: 2.00 2.02 2.00 3/473 2379
/proc/meminfo: memFree=19328612/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=28220 CPUtime=0.69 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 4686 0 0 0 69 0 0 0 18 0 1 0 829945863 28897280 4494 33554432000 134512640 137138936 4290133264 18446744073709551615 134566334 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 7055 4494 185 642 0 6411 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28220

[startup+1.50099 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 2380
/proc/meminfo: memFree=19310624/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=28220 CPUtime=1.49 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 4686 0 0 0 149 0 0 0 20 0 1 0 829945863 28897280 4494 33554432000 134512640 137138936 4290133264 18446744073709551615 136296970 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 7055 4494 185 642 0 6411 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28220

[startup+3.10071 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 2380
/proc/meminfo: memFree=19309632/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=28220 CPUtime=3.09 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 4686 0 0 0 309 0 0 0 25 0 1 0 829945863 28897280 4494 33554432000 134512640 137138936 4290133264 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 7055 4494 185 642 0 6411 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28220

[startup+6.30115 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 2380
/proc/meminfo: memFree=19309496/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=28220 CPUtime=6.29 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 4686 0 0 0 629 0 0 0 25 0 1 0 829945863 28897280 4494 33554432000 134512640 137138936 4290133264 18446744073709551615 136504452 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 7055 4494 185 642 0 6411 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28220

[startup+12.701 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 2380
/proc/meminfo: memFree=19308472/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=28220 CPUtime=12.7 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 4686 0 0 0 1269 1 0 0 25 0 1 0 829945863 28897280 4494 33554432000 134512640 137138936 4290133264 18446744073709551615 134543123 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 7055 4494 185 642 0 6411 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 28220

[startup+25.5007 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 2381
/proc/meminfo: memFree=19308568/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=28220 CPUtime=25.49 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 4686 0 0 0 2548 1 0 0 25 0 1 0 829945863 28897280 4494 33554432000 134512640 137138936 4290133264 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 7055 4494 185 642 0 6411 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28220

[startup+51.1002 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 2381
/proc/meminfo: memFree=19307868/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=28220 CPUtime=51.09 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 4686 0 0 0 5107 2 0 0 25 0 1 0 829945863 28897280 4494 33554432000 134512640 137138936 4290133264 18446744073709551615 136501668 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 7055 4494 185 642 0 6411 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 28220

[startup+102.318 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 2383
/proc/meminfo: memFree=19238904/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=97856 CPUtime=102.31 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 23318 0 0 0 10211 20 0 0 25 0 1 0 829945863 100204544 21992 33554432000 134512640 137138936 4290133264 18446744073709551615 134542544 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 24464 21992 192 642 0 23820 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 97856

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 2384
/proc/meminfo: memFree=19021608/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=316924 CPUtime=162.3 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 78080 0 0 0 16192 38 0 0 25 0 1 0 829945863 324530176 76754 33554432000 134512640 137138936 4290133264 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 79231 76754 192 642 0 78587 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 316924

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 2386
/proc/meminfo: memFree=18777776/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=558380 CPUtime=222.3 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 138459 0 0 0 22174 56 0 0 25 0 1 0 829945863 571781120 137133 33554432000 134512640 137138936 4290133264 18446744073709551615 134542557 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 139595 137133 192 642 0 138951 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 558380

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 2388
/proc/meminfo: memFree=18580464/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=756548 CPUtime=282.29 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 187972 0 0 0 28158 71 0 0 25 0 1 0 829945863 774705152 186646 33554432000 134512640 137138936 4290133264 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 189137 186646 192 642 0 188493 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 756548

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 2389
/proc/meminfo: memFree=18382376/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=953116 CPUtime=342.3 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 237111 0 0 0 34144 86 0 0 25 0 1 0 829945863 975990784 235785 33554432000 134512640 137138936 4290133264 18446744073709551615 134575368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 238279 235785 192 642 0 237635 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 953116

[startup+402.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/474 2391
/proc/meminfo: memFree=18288216/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=1045788 CPUtime=402.29 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 260453 0 0 0 40134 95 0 0 25 0 1 0 829945863 1070886912 258970 33554432000 134512640 137138936 4290133264 18446744073709551615 134540738 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 261447 258970 192 642 0 260803 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1045788

[startup+462.301 s]
/proc/loadavg: 2.16 2.05 2.01 3/474 2392
/proc/meminfo: memFree=18288804/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=1045788 CPUtime=462.3 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 260453 0 0 0 46135 95 0 0 25 0 1 0 829945863 1070886912 258970 33554432000 134512640 137138936 4290133264 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 261447 258970 192 642 0 260803 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1045788

[startup+522.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/474 2394
/proc/meminfo: memFree=18288876/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=1045788 CPUtime=522.3 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 260453 0 0 0 52128 102 0 0 25 0 1 0 829945863 1070886912 258970 33554432000 134512640 137138936 4290133264 18446744073709551615 136504355 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 261447 258970 192 642 0 260803 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1045788

[startup+582.301 s]
/proc/loadavg: 2.04 2.04 2.01 3/474 2396
/proc/meminfo: memFree=18288832/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=1045788 CPUtime=582.3 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 260453 0 0 0 58123 107 0 0 25 0 1 0 829945863 1070886912 258970 33554432000 134512640 137138936 4290133264 18446744073709551615 134542898 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 261447 258970 192 642 0 260803 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1045788

[startup+642.301 s]

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

/proc/meminfo: memFree=18282100/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=1045788 CPUtime=1122.31 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 260453 0 0 0 112089 142 0 0 25 0 1 0 829945863 1070886912 258970 33554432000 134512640 137138936 4290133264 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 261447 258970 192 642 0 260803 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1045788

[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/474 2439
/proc/meminfo: memFree=18281808/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=1045788 CPUtime=1182.32 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 260453 0 0 0 118085 147 0 0 25 0 1 0 829945863 1070886912 258970 33554432000 134512640 137138936 4290133264 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 261447 258970 192 642 0 260803 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1045788

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/474 2440
/proc/meminfo: memFree=18281020/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=1045788 CPUtime=1242.31 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 260453 0 0 0 124080 151 0 0 25 0 1 0 829945863 1070886912 258970 33554432000 134512640 137138936 4290133264 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 261447 258970 192 642 0 260803 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1045788

[startup+1302.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/474 2442
/proc/meminfo: memFree=18280244/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=1045788 CPUtime=1302.33 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 260453 0 0 0 130078 155 0 0 25 0 1 0 829945863 1070886912 258970 33554432000 134512640 137138936 4290133264 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 261447 258970 192 642 0 260803 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1045788

[startup+1362.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/474 2443
/proc/meminfo: memFree=18280324/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=1045788 CPUtime=1362.32 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 260453 0 0 0 136073 159 0 0 25 0 1 0 829945863 1070886912 258970 33554432000 134512640 137138936 4290133264 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 261447 258970 192 642 0 260803 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1045788

[startup+1422.32 s]
/proc/loadavg: 2.03 2.03 2.00 3/474 2445
/proc/meminfo: memFree=18281400/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=1045788 CPUtime=1422.34 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 260453 0 0 0 142071 163 0 0 25 0 1 0 829945863 1070886912 258970 33554432000 134512640 137138936 4290133264 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 261447 258970 192 642 0 260803 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1045788

[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/474 2447
/proc/meminfo: memFree=18281256/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=1045788 CPUtime=1482.33 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 260453 0 0 0 148066 167 0 0 25 0 1 0 829945863 1070886912 258970 33554432000 134512640 137138936 4290133264 18446744073709551615 134576438 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 261447 258970 192 642 0 260803 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1045788

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 2448
/proc/meminfo: memFree=18282072/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=1045788 CPUtime=1542.33 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 260453 0 0 0 154063 170 0 0 25 0 1 0 829945863 1070886912 258970 33554432000 134512640 137138936 4290133264 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 261447 258970 192 642 0 260803 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1045788

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 2450
/proc/meminfo: memFree=18282412/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=1045788 CPUtime=1602.33 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 260453 0 0 0 160060 173 0 0 25 0 1 0 829945863 1070886912 258970 33554432000 134512640 137138936 4290133264 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 261447 258970 192 642 0 260803 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1045788

[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/474 2451
/proc/meminfo: memFree=18282228/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=1045788 CPUtime=1662.32 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 260453 0 0 0 166057 175 0 0 25 0 1 0 829945863 1070886912 258970 33554432000 134512640 137138936 4290133264 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 261447 258970 192 642 0 260803 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 1045788

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/474 2453
/proc/meminfo: memFree=18282316/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=1045788 CPUtime=1722.33 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 260453 0 0 0 172056 177 0 0 25 0 1 0 829945863 1070886912 258970 33554432000 134512640 137138936 4290133264 18446744073709551615 136520952 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 261447 258970 192 642 0 260803 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1045788

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 2455
/proc/meminfo: memFree=18281528/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=1045788 CPUtime=1782.33 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 260453 0 0 0 178052 181 0 0 25 0 1 0 829945863 1070886912 258970 33554432000 134512640 137138936 4290133264 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 261447 258970 192 642 0 260803 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1045788

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 2455
/proc/meminfo: memFree=18282520/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=1045788 CPUtime=1785.53 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 260453 0 0 0 178371 182 0 0 25 0 1 0 829945863 1070886912 258970 33554432000 134512640 137138936 4290133264 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 261447 258970 192 642 0 260803 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 1045788

[startup+1791.92 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 2455
/proc/meminfo: memFree=18282148/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=1045788 CPUtime=1791.95 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 260453 0 0 0 179013 182 0 0 25 0 1 0 829945863 1070886912 258970 33554432000 134512640 137138936 4290133264 18446744073709551615 134599801 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 261447 258970 192 642 0 260803 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 1045788

[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 2455
/proc/meminfo: memFree=18282148/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=1045788 CPUtime=1795.14 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 260453 0 0 0 179332 182 0 0 25 0 1 0 829945863 1070886912 258970 33554432000 134512640 137138936 4290133264 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 261447 258970 192 642 0 260803 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 1045788

[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 2455
/proc/meminfo: memFree=18282148/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=1045788 CPUtime=1796.73 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 260453 0 0 0 179491 182 0 0 25 0 1 0 829945863 1070886912 258970 33554432000 134512640 137138936 4290133264 18446744073709551615 134603100 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 261447 258970 192 642 0 260803 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 1045788

[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 2455
/proc/meminfo: memFree=18282148/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=1045788 CPUtime=1797.53 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 260453 0 0 0 179571 182 0 0 25 0 1 0 829945863 1070886912 258970 33554432000 134512640 137138936 4290133264 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 261447 258970 192 642 0 260803 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 1045788

[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 2455
/proc/meminfo: memFree=18282148/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=1045788 CPUtime=1797.93 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202496 260453 0 0 0 179611 182 0 0 25 0 1 0 829945863 1070886912 258970 33554432000 134512640 137138936 4290133264 18446744073709551615 134598920 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2379/statm: 261447 258970 192 642 0 260803 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 1045788

[startup+1798 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 2455
/proc/meminfo: memFree=18282148/32950928 swapFree=61858088/67111528
[pid=2379] ppid=2376 vsize=0 CPUtime=1798.03 cores=0,2,4,6
/proc/2379/stat : 2379 (bsolo) R 2376 2379 678 0 -1 4202500 260454 0 0 0 179617 186 0 0 25 0 1 0 829945863 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/2379/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.01
CPU time (s): 1798.05
CPU user time (s): 1796.18
CPU system time (s): 1.87471
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1046416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.18
system time used= 1.87471
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260454
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= 6
involuntary context switches= 2753

runsolver used 8.81766 second user time and 18.9611 second system time

The end

Launcher Data 

Begin job on node125 at 2011-06-04 12:31:02
IDJOB=3462819
IDBENCH=48235
IDSOLVER=1955
FILE ID=node125/3462819-1307183462
RUNJOBID= node125-1307174917-1663
PBS_JOBID= 13508829
Free space on /tmp= 73788 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_2.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462819-1307183462/watcher-3462819-1307183462 -o /tmp/evaluation-result-3462819-1307183462/solver-3462819-1307183462 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462819-1307183462.opb

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

MD5SUM BENCH= 493eec42e81abed935f584a4e365015a
RANDOM SEED=81848

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:      19328892 kB
Buffers:        357636 kB
Cached:        3511336 kB
SwapCached:       3616 kB
Active:        9916204 kB
Inactive:      3359816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      19328892 kB
SwapTotal:    67111528 kB
SwapFree:     61858088 kB
Dirty:            4280 kB
Writeback:           0 kB
AnonPages:     9404500 kB
Mapped:          34872 kB
Slab:           214044 kB
PageTables:      63824 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 131074820 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 13:01:00