Trace number 3734925

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
PB07: bsolo 3.0.17SAT (TO)81 1800.02 1802.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_1.opb
MD5SUM0263d0a7c5e3320bd7cce9534c14bf27
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark1792.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 32
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 constraint85
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 1884
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6162
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.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3734925-1338702049.opb
0.00/0.00	c File size is 13239 bytes.
0.00/0.00	c Highest Coefficient sum: 6162
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.001 s
0.00/0.00	c Var: 198 Constr: 16 0/0/16 Lit: 1364 Watch. Lit: 392
0.00/0.00	c Obj. Vars: 128 (64.6465 % of total variables)
0.00/0.01	c Pre-processing Time: 0.003 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     1364   85      398    2728      0      0 0.00
0.00/0.01	c Switching off LPR mode.
0.00/0.01	o 1039	0.003
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0    198       17     1492   87      919    2984      1      0 0.00
0.00/0.02	c      100    198      117    10865   92     1117    3283    101   8333 0.01
0.00/0.02	o 768	0.012
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c      103    198      121    11208   92     1225    2984    105   7923 0.01
0.09/0.18	c      203    198      221    17807   80     1404    3283    205  10150 0.02
0.09/0.18	c      455    198      473    37472   79     1907    3612    457  10833 0.04
0.09/0.18	c      932    198      950    68557   72     2845    3974    934  11506 0.08
0.09/0.18	c     1745    198     1763   129947   73     4464    4372   1747  10771 0.16
0.09/0.18	o 725	0.18
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c     1884    198     1903   140900   74     4841    2984   1887  10466 0.18
0.19/0.23	c     1986    198     2005   147188   73     5084    3283   1989  10290 0.19
0.19/0.23	c     2236    198     2255   163851   72     5566    3612   2239   9893 0.23
0.19/0.23	o 714	0.228
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c     2248    198     2268   164698   72     5703    2984   2252   9859 0.23
0.19/0.24	c     2348    198     2368   171725   72     5907    3283   2352   9783 0.24
0.19/0.24	o 661	0.242
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c     2359    198     2380   172683   72     6015    2984   2364   9747 0.24
0.29/0.32	c     2459    198     2480   178408   71     6252    3283   2464   9757 0.25
0.29/0.32	c     2710    198     2731   193601   70     6759    3612   2715   9748 0.28
0.29/0.32	o 657	0.318
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c     3053    198     3075   220786   71     7490    2984   3059   9600 0.32
0.29/0.33	o 655	0.328
0.29/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.36	c     3127    198     1584   113774   71     4164    2984   1568   9533 0.33
0.29/0.36	c     3229    198     1686   120860   71     4384    3283   1670   9553 0.34
0.29/0.36	o 654	0.358
0.29/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.37	c     3455    198     1913   136895   71     4924    2984   1897   9650 0.36
0.29/0.37	o 653	0.363
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c     3507    198     1966   139892   71     5151    2984   1950   9661 0.36
0.39/0.42	c     3607    198     2066   146280   70     5384    3283   2050   9670 0.37
0.39/0.42	c     3857    198     2316   160313   69     5860    3612   2300   9666 0.40
0.39/0.42	o 650	0.413
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c     4007    198     2467   171330   69     6279    2984   2451   9702 0.41
0.39/0.42	o 637	0.415
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c     4021    198     2482   172532   69     6404    2984   2466   9689 0.41
0.39/0.43	c     4121    198     2582   178668   69     6626    3283   2566   9673 0.43
0.39/0.43	o 612	0.431
0.39/0.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.46	c     4170    198     2632   181313   68     6821    2984   2616   9675 0.43
0.39/0.46	c     4270    198     2732   188826   69     7016    3283   2716   9638 0.44
0.39/0.46	o 608	0.458
0.39/0.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.46	c     4377    198     2840   195941   68     7310    2984   2824   9556 0.46
0.39/0.46	o 531	0.461
0.39/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.48	c     4406    198     2870   198541   69     7412    2984   2854   9557 0.46
0.39/0.48	c     4507    198     2971   204646   68     7744    3283   2955   9589 0.47
0.39/0.48	o 453	0.477
0.49/0.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.52	c     4555    198     3020   207181   68     7800    2984   3004   9549 0.48
0.49/0.52	c     4659    198     1613   109662   67     4096    3283   1597   9566 0.49
0.49/0.52	c     4909    198     1863   126118   67     4615    3612   1847   9682 0.51
0.49/0.52	o 449	0.516
1.09/1.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.15	c     5027    198     1982   132010   66     4951    2984   1966   9742 0.52
1.09/1.15	c     5128    198     2083   138702   66     5146    3283   2067   9767 0.53
1.09/1.15	c     5378    198     2333   152290   65     5657    3612   2317   9886 0.54
1.09/1.15	c     5854    198     2809   180973   64     6625    3974   2793  10041 0.58
1.09/1.15	c     6667    198     3622   232735   64     8240    4372   3606  10025 0.67
1.09/1.15	c     7987    198     2682   168818   62     6227    4810   2666   9921 0.81
1.09/1.15	c    10068    198     4763   289433   60    10393    5292   4747   9374 1.07
1.09/1.15	o 445	1.143
1.09/1.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.16	c    10589    198     5285   327235   61    11554    2984   5269   9256 1.14
1.09/1.16	o 376	1.161
1.09/1.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.17	c    10635    198     1556   100919   64     4083    2984   1540   9152 1.16
1.09/1.17	o 349	1.166
1.09/1.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.17	c    10695    198     1617   103623   64     4330    2984   1601   9172 1.17
1.09/1.17	o 343	1.166
1.09/1.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.18	c    10696    198     1619   103851   64     4454    2984   1603   9173 1.17
1.09/1.18	o 341	1.172
1.28/1.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.28/1.30	c    10746    198     1670   108453   64     4678    2984   1654   9168 1.17
1.28/1.30	c    10846    198     1770   114386   64     4908    3283   1754   9191 1.18
1.28/1.30	c    11096    198     2020   131055   64     5378    3612   2004   9215 1.20
1.28/1.30	c    11573    198     2497   159344   63     6370    3974   2481   9295 1.25
1.28/1.30	o 332	1.295
1.28/1.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.28/1.37	c    11982    198     2907   185238   63     7262    2984   2891   9252 1.29
1.28/1.37	c    12082    198     1509    93598   62     3888    3283   1493   9244 1.31
1.28/1.37	c    12333    198     1760   108214   61     4394    3612   1744   9300 1.33
1.28/1.37	c    12809    198     2236   139716   62     5366    3974   2220   9397 1.36
1.28/1.37	o 328	1.369
1.38/1.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.38/1.43	c    12881    198     2309   145168   62     5626    2984   2293   9409 1.37
1.38/1.43	c    12981    198     2409   152473   63     5819    3283   2393   9413 1.38
1.38/1.43	c    13231    198     2659   166326   62     6314    3612   2643   9450 1.40
1.38/1.43	o 228	1.422
3.19/3.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.19/3.25	c    13466    198     2895   184221   63     6895    2984   2879   9463 1.42
3.19/3.25	c    13566    198     2995   189645   63     7094    3283   2979   9486 1.43
3.19/3.25	c    13816    198     3245   200468   61     7631    3612   3229   9548 1.45
3.19/3.25	c    14291    198     1836   110366   60     4548    3974   1820   9584 1.49
3.19/3.25	c    15104    198     2649   159252   60     6199    4372   2633   9675 1.56
3.19/3.25	c    16425    198     3970   229599   57     8797    4810   3954   9736 1.69
3.19/3.25	c    18506    198     3577   196897   55     8031    5292   3561   9719 1.90
3.19/3.25	c    21729    198     4093   219203   53     9035    5822   4077   9472 2.29
3.19/3.25	c    26665    198     3072   177666   57     7027    6405   3056   8984 2.97
3.19/3.25	o 211	3.242
3.29/3.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.29/3.30	c    28804    198     5212   318958   61    11449    2984   5196   8884 3.24
3.29/3.30	c    28904    198     1609   103101   64     4057    3283   1593   8860 3.26
3.29/3.30	c    29154    198     1859   116557   62     4589    3612   1843   8888 3.28
3.29/3.30	o 206	3.3
3.29/3.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.29/3.31	c    29383    198     2089   128051   61     5177    2984   2073   8903 3.30
3.29/3.31	c    29483    198     2189   132913   60     5368    3283   2173   8909 3.31
3.29/3.31	o 182	3.312
3.29/3.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.29/3.39	c    29500    198     2207   134117   60     5534    2984   2191   8907 3.31
3.29/3.39	c    29600    198     2307   141119   61     5738    3283   2291   8915 3.32
3.29/3.39	c    29850    198     2557   153254   59     6234    3612   2541   8926 3.34
3.29/3.39	o 170	3.382
3.29/3.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.29/3.39	c    30215    198     2923   172138   58     7117    2984   2907   8934 3.38
3.29/3.39	o 168	3.386
3.29/3.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.29/3.39	c    30249    198     2958   173863   58     7312    2984   2942   8933 3.39
3.29/3.39	o 164	3.389
3.29/3.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.29/3.39	c    30269    198     2979   175088   58     7476    2984   2963   8928 3.39
3.29/3.39	o 156	3.391
3.38/3.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.38/3.40	c    30280    198     2991   175679   58     7629    2984   2975   8929 3.39
3.38/3.40	o 150	3.394
3.38/3.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.38/3.40	c    30299    198     1509    80458   53     3915    2984   1493   8919 3.40
3.38/3.40	o 148	3.399
3.38/3.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.38/3.43	c    30312    198     1523    81202   53     4068    2984   1507   8917 3.40
3.38/3.43	c    30412    198     1623    87821   54     4239    3283   1607   8923 3.41
3.38/3.43	o 142	3.424
3.38/3.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.38/3.43	c    30610    198     1822    97899   53     4793    2984   1806   8939 3.42
3.38/3.43	o 140	3.428
3.38/3.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.38/3.43	c    30681    198     1894   100779   53     5062    2984   1878   8947 3.43
3.38/3.43	o 138	3.431
3.38/3.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.38/3.44	c    30697    198     1911   102160   53     5222    2984   1895   8946 3.43
3.38/3.44	o 136	3.436
3.38/3.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.38/3.44	c    30787    198     2002   106284   53     5526    2984   1986   8960 3.44
3.38/3.44	o 134	3.438
3.38/3.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.38/3.45	c    30793    198     2009   106941   53     5669    2984   1993   8956 3.44
3.38/3.45	o 130	3.442
579.18/579.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
579.18/579.37	c    30823    198     2040   109841   53     5858    2984   2024   8954 3.44
579.18/579.37	c    30923    198     2140   113535   53     5970    3283   2124   8965 3.45
579.18/579.37	c    31173    198     2390   123179   51     6478    3612   2374   8999 3.46
579.18/579.37	c    31648    198     2865   145689   50     7497    3974   2849   9013 3.51
579.18/579.37	c    32461    198     3678   187930   51     9094    4372   3662   9016 3.60
579.18/579.37	c    33781    198     2745   135168   49     6341    4810   2729   9001 3.75
579.18/579.37	c    35862    198     4826   244399   50    10514    5292   4810   8938 4.01
579.18/579.37	c    39085    198     2663   124908   46     6164    5822   2647   8927 4.38
579.18/579.37	c    44021    198     4636   240386   51    10127    6405   4620   8891 4.95
579.18/579.37	c    51529    198     5605   287502   51    12091    7046   5589   8637 5.97
579.18/579.37	c    62890    198     6227   312562   50    13259    7751   6211   8131 7.73
579.18/579.37	c    80035    198     7618   422177   55    16137    8527   7602   7634 10.48
579.18/579.37	c   105854    198     7512   452382   60    15832    9380   7496   6846 15.46
579.18/579.37	c   144686    198     8307   463922   55    17494   10319   8291   6525 22.17
579.18/579.37	c   203038    198     9151   446533   48    19141   11351   9135   6452 31.47
579.18/579.37	c   290670    198    10784   566067   52    22430   12487  10768   6216 46.76
579.18/579.37	c   422222    198    10056   525574   52    20934   13736  10040   5967 70.75
579.18/579.37	c   619654    198    13501   737704   54    27854   15110  13485   5548 111.68
579.18/579.37	c   915906    198    12664   751929   59    26211   16622  12648   5284 173.31
579.18/579.37	c  1360388    198    13202   681306   51    27269   18285  13186   5036 270.09
579.18/579.37	c  2027215    198    17117  1013195   59    35122   20114  17101   4689 432.31
579.18/579.37	o 121	579.269
583.89/584.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
583.89/584.01	c  2628594    198    11258   598968   53    23540    2984  11242   4537 579.27
583.89/584.01	c  2628694    197     1609    95563   59     4117    3283   1593   4537 579.36
583.89/584.01	c  2628944    195     1859   106724   57     4603    3612   1843   4537 579.38
583.89/584.01	c  2629422    190     2337   127940   54     5556    3974   2321   4537 579.43
583.89/584.01	c  2630236    189     3151   166494   52     7184    4372   3135   4538 579.51
583.89/584.01	c  2631556    185     2230   103078   46     5331    4810   2214   4539 579.66
583.89/584.01	c  2633637    185     4311   197764   45     9493    5292   4295   4542 579.83
583.89/584.01	c  2636860    185     4833   227349   47    10535    5822   4817   4545 580.16
583.89/584.01	c  2641797    184     3836   176202   45     8557    6405   3820   4549 580.66
583.89/584.01	c  2649303    184     4819   221552   45    10507    7046   4803   4556 581.45
583.89/584.01	c  2660664    184     5428   268295   49    11729    7751   5412   4564 582.90
583.89/584.01	o 120	583.915
583.89/584.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
583.89/584.04	c  2668247    183     5129   262855   51    11250    2954   5113   4569 583.91
583.89/584.04	c  2668347    183     1609    82270   51     4081    3250   1593   4569 583.93
583.89/584.04	o 118	583.942
583.89/584.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
583.89/584.05	c  2668458    183     1721    91833   53     4416    2954   1705   4569 583.94
583.89/584.05	o 116	583.95
584.88/585.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
584.88/585.00	c  2668556    183     1820    96723   53     4733    2954   1804   4569 583.95
584.88/585.00	c  2668656    183     1920   102155   53     4926    3250   1904   4569 583.96
584.88/585.00	c  2668906    183     2170   113989   52     5431    3576   2154   4570 583.99
584.88/585.00	c  2669381    183     2645   138701   52     6369    3934   2629   4570 584.02
584.88/585.00	c  2670194    183     3458   175879   50     7989    4328   3442   4571 584.09
584.88/585.00	c  2671515    183     2558   126720   49     5983    4761   2542   4572 584.24
584.88/585.00	c  2673596    182     4639   231272   49    10141    5238   4623   4574 584.47
584.88/585.00	c  2676819    182     5181   246180   47    11219    5762   5165   4577 584.82
584.88/585.00	o 114	584.896
585.28/585.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
585.28/585.49	c  2677440    182     2914   136946   46     6691    2952   2898   4577 584.91
585.28/585.49	c  2677540    182     1509    74781   49     3866    3248   1493   4577 584.92
585.28/585.49	c  2677790    182     1759    85689   48     4372    3573   1743   4577 584.94
585.28/585.49	c  2678265    182     2234   106064   47     5319    3931   2218   4578 584.98
585.28/585.49	c  2679078    182     3047   144793   47     6955    4325   3031   4579 585.04
585.28/585.49	c  2680398    182     2196   104250   47     5248    4758   2180   4580 585.18
585.28/585.49	c  2682480    182     4278   222581   52     9421    5234   4262   4582 585.38
585.28/585.49	o 113	585.388
585.38/585.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
585.38/585.50	c  2682558    182     4357   226698   52     9686    2952   4341   4582 585.39
585.38/585.50	o 111	585.403
585.38/585.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
585.38/585.51	c  2682652    182     1604    85716   53     4178    2952   1588   4582 585.40
585.38/585.51	o 109	585.406
585.38/585.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
585.38/585.56	c  2682687    182     1640    88623   54     4365    2952   1624   4582 585.41
585.38/585.56	c  2682787    182     1740    93431   53     4559    3248   1724   4582 585.41
585.38/585.56	c  2683037    182     1990   104754   52     5065    3573   1974   4582 585.44
585.38/585.56	o 107	585.459
586.78/586.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
586.78/586.90	c  2683296    182     2250   116822   51     5695    2952   2234   4583 585.46
586.78/586.90	c  2683396    182     2350   121151   51     5878    3248   2334   4583 585.47
586.78/586.90	c  2683647    182     2601   132860   51     6386    3573   2585   4583 585.50
586.78/586.90	c  2684125    182     3079   170245   55     7341    3931   3063   4583 585.54
586.78/586.90	c  2684938    182     3892   208910   53     8960    4325   3876   4584 585.62
586.78/586.90	c  2686259    182     3000   159652   53     6864    4758   2984   4586 585.75
586.78/586.90	c  2688340    182     2652   124371   46     6154    5234   2636   4588 585.92
586.78/586.90	c  2691564    182     3211   154973   48     7285    5758   3195   4591 586.24
586.78/586.90	c  2696500    182     5224   240638   46    11300    6334   5208   4596 586.68
586.78/586.90	o 92	586.804
586.78/586.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
586.78/586.92	c  2697684    182     3200   149135   46     7271    2952   3184   4597 586.82
586.78/586.92	o 90	586.822
586.78/586.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
586.78/586.93	c  2697689    182     1515    76474   50     4009    2952   1499   4597 586.82
586.78/586.93	c  2697789    182     1615    85052   52     4204    3248   1599   4597 586.83
586.78/586.93	o 89	586.833
586.78/586.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
586.78/586.93	c  2697824    182     1651    86421   52     4382    2952   1635   4597 586.83
586.78/586.93	o 87	586.833
586.78/586.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
586.78/586.94	c  2697825    182     1653    86587   52     4494    2952   1637   4597 586.83
586.78/586.94	o 85	586.835
732.06/732.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
732.06/732.23	c  2697839    182     1668    87762   52     4633    2952   1652   4597 586.84
732.06/732.23	c  2697939    182     1768    93144   52     4837    3248   1752   4597 586.84
732.06/732.23	c  2698189    182     2018   105328   52     5338    3573   2002   4597 586.86
732.06/732.23	c  2698664    182     2493   125964   50     6282    3931   2477   4598 586.90
732.06/732.23	c  2699477    182     3306   162608   49     7914    4325   3290   4598 586.97
732.06/732.23	c  2700797    182     2407   105005   43     5666    4758   2391   4600 587.09
732.06/732.23	c  2702879    182     4489   200957   44     9830    5234   4473   4602 587.29
732.06/732.23	c  2706102    182     5053   224685   44    10968    5758   5037   4605 587.59
732.06/732.23	c  2711038    182     4118   176586   42     9093    6334   4102   4610 588.05
732.06/732.23	c  2718544    182     5187   223277   43    11223    6968   5171   4616 588.82
732.06/732.23	c  2729905    182     5936   268979   45    12725    7665   5920   4625 590.15
732.06/732.23	c  2747049    182     7519   335800   44    15893    8432   7503   4639 592.12
732.06/732.23	c  2772869    182     7707   354601   46    16263    9276   7691   4658 595.24
732.06/732.23	c  2811701    182     8995   400178   44    18852   10204   8979   4686 599.99
732.06/732.23	c  2870053    182     5480   236296   43    11810   11225   5464   4723 607.57
732.06/732.23	c  2957685    182     8140   383239   47    17120   12348   8124   4772 619.68
732.06/732.23	c  3089237    182     8967   414270   46    18790   13583   8951   4842 637.99
732.06/732.23	c  3286669    182     8025   358891   44    16890   14942   8009   4927 666.96
732.06/732.23	c  3582921    182    10977   486965   44    22805   16437  10961   5009 715.16
732.06/732.23	o 84	732.111
1003.63/1003.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1003.63/1003.80	c  3670729    182    16125   767507   47    33225    2952  16109   5013 732.11
1003.63/1003.80	c  3670830    182     1610    74993   46     4086    3248   1594   5012 732.27
1003.63/1003.80	c  3671080    182     1860    85599   46     4577    3573   1844   5013 732.28
1003.63/1003.80	c  3671555    182     2335   105285   45     5521    3931   2319   5013 732.32
1003.63/1003.80	c  3672368    182     3148   141651   44     7152    4325   3132   5014 732.39
1003.63/1003.80	c  3673688    182     2237    97563   43     5327    4758   2221   5015 732.50
1003.63/1003.80	c  3675769    182     4318   193445   44     9484    5234   4302   5016 732.68
1003.63/1003.80	c  3678992    182     4869   221157   45    10602    5758   4853   5019 732.99
1003.63/1003.80	c  3683928    182     3917   176736   45     8689    6334   3901   5022 733.51
1003.63/1003.80	c  3691434    182     5000   216821   43    10869    6968   4984   5027 734.26
1003.63/1003.80	c  3702795    182     5742   248661   43    12339    7665   5726   5034 735.43
1003.63/1003.80	c  3719939    182     7347   322452   43    15516    8432   7331   5045 737.26
1003.63/1003.80	c  3745758    182     7562   341322   45    15973    9276   7546   5059 740.32
1003.63/1003.80	c  3784590    182     8819   522161   59    18506   10204   8803   5072 746.08
1003.63/1003.80	c  3842942    182     5283   239892   45    11410   11225   5267   5087 755.34
1003.63/1003.80	c  3930574    182     8019   372489   46    16879   12348   8003   5114 768.52
1003.63/1003.80	c  4062126    182     8880   428965   48    18593   13583   8864   5137 790.64
1003.63/1003.80	c  4259558    182     7941   385542   48    16719   14942   7925   5148 827.30
1003.63/1003.80	c  4555810    182    10900   513394   47    22656   16437  10884   5156 883.48
1003.63/1003.80	c  5000292    182     8896   409954   46    18626   18081   8880   5136 973.52
1003.63/1003.80	o 83	1003.64
1003.93/1004.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1003.93/1004.18	c  5153422    182    16532   786834   47    34036    2952  16516   5134 1003.64
1003.93/1004.18	o 81	1004.02
1800.01/1800.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.01/1800.30	c  5153482    182     1570    78516   50     4119    2952   1554   5132 1004.02
1800.01/1800.30	c  5153582    182     1670    84592   50     4331    3248   1654   5132 1004.03
1800.01/1800.30	c  5153832    182     1920    96044   50     4754    3573   1904   5133 1004.05
1800.01/1800.30	c  5154307    182     2395   118915   49     5776    3931   2379   5133 1004.09
1800.01/1800.30	c  5155120    182     3208   154969   48     7313    4325   3192   5133 1004.16
1800.01/1800.30	c  5156440    182     2321   110990   47     5428    4758   2305   5134 1004.30
1800.01/1800.30	c  5158521    182     4402   223276   50     9655    5234   4386   5135 1004.56
1800.01/1800.30	c  5161744    182     4965   261086   52    10750    5758   4949   5136 1004.97
1800.01/1800.30	c  5166680    182     4060   176687   43     8967    6334   4044   5138 1005.47
1800.01/1800.30	c  5174186    182     5116   222066   43    11068    6968   5100   5142 1006.12
1800.01/1800.30	c  5185547    182     5857   248169   42    12575    7665   5841   5148 1007.22
1800.01/1800.30	c  5202691    182     7437   333619   44    15730    8432   7421   5154 1009.28
1800.01/1800.30	c  5228511    182     7649   345509   45    16142    9276   7633   5165 1012.27
1800.01/1800.30	c  5267343    182     9004   415964   46    18859   10204   8988   5174 1017.86
1800.01/1800.30	c  5325695    182     5490   272176   49    11821   11225   5474   5171 1029.72
1800.01/1800.30	c  5413327    182     8159   362316   44    17159   12348   8143   5192 1042.55
1800.01/1800.30	c  5544880    182     9002   486464   54    18872   13583   8986   5193 1067.70
1800.01/1800.30	c  5742312    182     7665   489674   63    16188   14942   7649   5131 1118.95
1800.01/1800.30	c  6038565    182    10632   482730   45    22103   16437  10616   5153 1171.74
1800.01/1800.30	c  6483047    182     8696   372632   42    18223   18081   8680   5174 1252.92
1800.01/1800.30	c  7149874    182    12019   536144   44    24849   19890  12003   5141 1390.61
1800.01/1800.30	c  8150219    182    13005   586607   45    26842   21880  12989   5134 1587.30
1800.01/1800.30	c Caught signal: 15
1800.01/1800.30	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 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 x143 
1800.01/1800.30	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.30	c  215  9135065 284952  9484153    13875   649630  13859   5074 1800.02
1800.01/1800.30	c Objective: 81
1800.01/1800.30	s SATISFIABLE
1800.01/1800.30	c Total time: 1800.02 s

Verifier Data

OK	81

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734925-1338702049/watcher-3734925-1338702049 -o /tmp/evaluation-result-3734925-1338702049/solver-3734925-1338702049 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3734925-1338702049.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.00 2.00 2/177 11931
/proc/meminfo: memFree=27251584/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) D 11929 11931 9030 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 336330973 2723840 47 33554432000 134512640 135840783 4291440496 4291438532 5551044 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/11931/statm: 665 47 37 325 0 32 0

[startup+0.043182 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 11931
/proc/meminfo: memFree=27251584/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=5080 CPUtime=0.03 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 596 0 0 0 3 0 0 0 20 0 1 0 336330973 5201920 528 33554432000 134512640 135840783 4291440496 4291439856 134550884 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11931/statm: 1270 528 350 325 0 206 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5080

[startup+0.100157 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 11931
/proc/meminfo: memFree=27251584/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=5728 CPUtime=0.09 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 760 0 0 0 9 0 0 0 20 0 1 0 336330973 5865472 692 33554432000 134512640 135840783 4291440496 4291438240 1701159 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11931/statm: 1432 692 350 325 0 368 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5728

[startup+0.300106 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 11931
/proc/meminfo: memFree=27251584/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=7544 CPUtime=0.29 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 1211 0 0 0 29 0 0 0 20 0 1 0 336330973 7725056 1143 33554432000 134512640 135840783 4291440496 4291438320 1701159 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11931/statm: 1886 1143 350 325 0 822 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7544

[startup+0.70011 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 11931
/proc/meminfo: memFree=27251584/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=8196 CPUtime=0.69 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 1385 0 0 0 69 0 0 0 20 0 1 0 336330973 8392704 1317 33554432000 134512640 135840783 4291440496 4291438384 1701159 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11931/statm: 2049 1317 350 325 0 985 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8196

[startup+1.50011 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11932
/proc/meminfo: memFree=27254760/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=9472 CPUtime=1.48 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 1685 0 0 0 148 0 0 0 20 0 1 0 336330973 9699328 1617 33554432000 134512640 135840783 4291440496 4291439524 1687840 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11931/statm: 2368 1617 350 325 0 1304 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9472

[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11932
/proc/meminfo: memFree=27252956/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=9600 CPUtime=3.08 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 1721 0 0 0 308 0 0 0 20 0 1 0 336330973 9830400 1653 33554432000 134512640 135840783 4291440496 4291439808 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11931/statm: 2400 1653 350 325 0 1336 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 9600

[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11932
/proc/meminfo: memFree=27248132/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=10104 CPUtime=6.28 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 1858 0 0 0 628 0 0 0 20 0 1 0 336330973 10346496 1790 33554432000 134512640 135840783 4291440496 4291439808 134550884 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11931/statm: 2526 1790 350 325 0 1462 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 10104

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11932
/proc/meminfo: memFree=27244192/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=11648 CPUtime=12.68 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 2238 0 0 0 1268 0 0 0 20 0 1 0 336330973 11927552 2170 33554432000 134512640 135840783 4291440496 4291439856 134550902 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11931/statm: 2912 2170 350 325 0 1848 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 11648

[startup+25.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11932
/proc/meminfo: memFree=27246560/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=13176 CPUtime=25.48 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 2635 0 0 0 2548 0 0 0 20 0 1 0 336330973 13492224 2564 33554432000 134512640 135840783 4291440496 4291439856 134551065 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11931/statm: 3294 2564 350 325 0 2230 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 13176

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11933
/proc/meminfo: memFree=27245832/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=14788 CPUtime=51.07 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 3044 0 0 0 5107 0 0 0 20 0 1 0 336330973 15142912 2973 33554432000 134512640 135840783 4291440496 4291439808 134551312 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11931/statm: 3697 2973 350 325 0 2633 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 14788

[startup+102.306 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 11933
/proc/meminfo: memFree=27243084/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=15736 CPUtime=102.27 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 3273 0 0 0 10227 0 0 0 20 0 1 0 336330973 16113664 3199 33554432000 134512640 135840783 4291440496 4291439792 134572710 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11931/statm: 3934 3199 350 325 0 2870 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 15736

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11933
/proc/meminfo: memFree=27239380/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=17176 CPUtime=162.25 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 3704 0 0 0 16225 0 0 0 20 0 1 0 336330973 17588224 3570 33554432000 134512640 135840783 4291440496 4291439920 134546112 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/11931/statm: 4294 3570 350 325 0 3230 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 17176

[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 11933
/proc/meminfo: memFree=27238660/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=18916 CPUtime=222.24 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 4131 0 0 0 22224 0 0 0 20 0 1 0 336330973 19369984 3996 33554432000 134512640 135840783 4291440496 4291439808 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11931/statm: 4729 3996 350 325 0 3665 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 18916

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 11934
/proc/meminfo: memFree=27302080/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=19004 CPUtime=282.23 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 4153 0 0 0 28223 0 0 0 20 0 1 0 336330973 19460096 4018 33554432000 134512640 135840783 4291440496 4291439856 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11931/statm: 4751 4018 350 325 0 3687 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 19004

[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 11972
/proc/meminfo: memFree=27306708/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=19364 CPUtime=342.22 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 4244 0 0 0 34222 0 0 0 20 0 1 0 336330973 19828736 4109 33554432000 134512640 135840783 4291440496 4291439792 134572639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11931/statm: 4841 4109 350 325 0 3777 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 19364

[startup+402.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 11973
/proc/meminfo: memFree=27304348/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=20356 CPUtime=402.21 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 4493 0 0 0 40221 0 0 0 20 0 1 0 336330973 20844544 4357 33554432000 134512640 135840783 4291440496 4291439808 134551081 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11931/statm: 5089 4357 350 325 0 4025 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 20356

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 11973
/proc/meminfo: memFree=27302240/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=21844 CPUtime=462.2 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 4870 0 0 0 46220 0 0 0 20 0 1 0 336330973 22368256 4734 33554432000 134512640 135840783 4291440496 4291439724 1698432 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11931/statm: 5461 4734 350 325 0 4397 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 21844

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11973
/proc/meminfo: memFree=27301312/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=21796 CPUtime=522.19 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 4870 0 0 0 52219 0 0 0 20 0 1 0 336330973 22319104 4725 33554432000 134512640 135840783 4291440496 4291439856 134551052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11931/statm: 5449 4725 350 325 0 4385 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 21796

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 11976
/proc/meminfo: memFree=27301116/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=21776 CPUtime=582.18 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 4870 0 0 0 58218 0 0 0 20 0 1 0 336330973 22298624 4720 33554432000 134512640 135840783 4291440496 4291439792 134572591 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11931/statm: 5444 4720 350 325 0 4380 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 21776

[startup+642.3 s]

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

/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 4870 0 0 0 106211 1 0 0 20 0 1 0 336330973 22224896 4702 33554432000 134512640 135840783 4291440496 4291439808 134551076 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11931/statm: 5426 4702 350 325 0 4362 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 21704

[startup+1122.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/177 11978
/proc/meminfo: memFree=27300776/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=21680 CPUtime=1122.11 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 4870 0 0 0 112210 1 0 0 20 0 1 0 336330973 22200320 4696 33554432000 134512640 135840783 4291440496 4291439856 134551347 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11931/statm: 5420 4696 350 325 0 4356 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 21680

[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/178 11981
/proc/meminfo: memFree=27300768/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=21664 CPUtime=1182.1 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 4870 0 0 0 118209 1 0 0 20 0 1 0 336330973 22183936 4692 33554432000 134512640 135840783 4291440496 4291439792 134572677 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11931/statm: 5416 4692 350 325 0 4352 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 21664

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 12004
/proc/meminfo: memFree=27300456/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=21664 CPUtime=1242.09 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 4870 0 0 0 124208 1 0 0 20 0 1 0 336330973 22183936 4692 33554432000 134512640 135840783 4291440496 4291439856 134551377 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11931/statm: 5416 4692 350 325 0 4352 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 21664

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 12005
/proc/meminfo: memFree=27300412/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=21656 CPUtime=1302.09 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 4870 0 0 0 130208 1 0 0 20 0 1 0 336330973 22175744 4690 33554432000 134512640 135840783 4291440496 4291439848 9558201 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11931/statm: 5414 4690 350 325 0 4350 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 21656

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 12005
/proc/meminfo: memFree=27300540/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=21644 CPUtime=1362.07 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 4870 0 0 0 136206 1 0 0 20 0 1 0 336330973 22163456 4687 33554432000 134512640 135840783 4291440496 4291439808 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11931/statm: 5411 4687 350 325 0 4347 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 21644

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12005
/proc/meminfo: memFree=27299796/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=22300 CPUtime=1422.07 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 5033 0 0 0 142206 1 0 0 20 0 1 0 336330973 22835200 4850 33554432000 134512640 135840783 4291440496 4291439856 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11931/statm: 5575 4850 350 325 0 4511 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 22300

[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 12005
/proc/meminfo: memFree=27299236/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=22632 CPUtime=1482.05 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 5107 0 0 0 148204 1 0 0 20 0 1 0 336330973 23175168 4923 33554432000 134512640 135840783 4291440496 4291439824 9945055 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11931/statm: 5658 4923 350 325 0 4594 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 22632

[startup+1542.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 12005
/proc/meminfo: memFree=27299980/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=21644 CPUtime=1542.04 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 5107 0 0 0 154203 1 0 0 20 0 1 0 336330973 22163456 4687 33554432000 134512640 135840783 4291440496 4291439856 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11931/statm: 5411 4687 350 325 0 4347 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 21644

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 12006
/proc/meminfo: memFree=27299732/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=21652 CPUtime=1602.03 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 5109 0 0 0 160202 1 0 0 20 0 1 0 336330973 22171648 4689 33554432000 134512640 135840783 4291440496 4291439920 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11931/statm: 5413 4689 350 325 0 4349 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 21652

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 12006
/proc/meminfo: memFree=27299980/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=21652 CPUtime=1662.02 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 5109 0 0 0 166201 1 0 0 20 0 1 0 336330973 22171648 4689 33554432000 134512640 135840783 4291440496 4291438812 1325826 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11931/statm: 5413 4689 350 325 0 4349 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 21652

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 12006
/proc/meminfo: memFree=27299668/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=22044 CPUtime=1722.01 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 5205 0 0 0 172200 1 0 0 20 0 1 0 336330973 22573056 4784 33554432000 134512640 135840783 4291440496 4291439808 134551400 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11931/statm: 5511 4784 350 325 0 4447 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 22044

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12009
/proc/meminfo: memFree=27299908/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=22044 CPUtime=1782 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 5205 0 0 0 178199 1 0 0 20 0 1 0 336330973 22573056 4784 33554432000 134512640 135840783 4291440496 4291439856 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11931/statm: 5511 4784 350 325 0 4447 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 22044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12009
/proc/meminfo: memFree=27300156/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=21652 CPUtime=1800.01 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 5205 0 0 0 180000 1 0 0 20 0 1 0 336330973 22171648 4689 33554432000 134512640 135840783 4291440496 4291439792 134572675 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11931/statm: 5413 4689 350 325 0 4349 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 21652

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -11931

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 12010
/proc/meminfo: memFree=27300156/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=21652 CPUtime=1800.01 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) S 11929 11931 9030 0 -1 4202496 5206 0 0 0 180000 1 0 0 20 0 1 0 336330973 22171648 4690 33554432000 134512640 135840783 4291440496 4291437940 6603824 0 16384 4096 16384 18446744071579510697 0 0 17 4 0 0 0 0 0
/proc/11931/statm: 5413 4690 351 325 0 4349 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 21652

[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 12010
/proc/meminfo: memFree=27300148/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=21652 CPUtime=1800.01 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) S 11929 11931 9030 0 -1 4202496 5206 0 0 0 180000 1 0 0 20 0 1 0 336330973 22171648 4690 33554432000 134512640 135840783 4291440496 4291437940 6603824 0 16384 4096 16384 18446744071579510697 0 0 17 4 0 0 0 0 0
/proc/11931/statm: 5413 4690 351 325 0 4349 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 21652

[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 12010
/proc/meminfo: memFree=27300148/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=21652 CPUtime=1800.01 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) S 11929 11931 9030 0 -1 4202496 5206 0 0 0 180000 1 0 0 20 0 1 0 336330973 22171648 4690 33554432000 134512640 135840783 4291440496 4291437940 6603824 0 16384 4096 16384 18446744071579510697 0 0 17 4 0 0 0 0 0
/proc/11931/statm: 5413 4690 351 325 0 4349 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 21652

[startup+1802.3 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 12010
/proc/meminfo: memFree=27300148/32873648 swapFree=6860/6860
[pid=11931] ppid=11929 vsize=21652 CPUtime=1800.01 cores=0,2,4,6
/proc/11931/stat : 11931 (bsolo3.0.17) S 11929 11931 9030 0 -1 4202496 5206 0 0 0 180000 1 0 0 20 0 1 0 336330973 22171648 4690 33554432000 134512640 135840783 4291440496 4291437940 6603824 0 16384 4096 16384 18446744071579510697 0 0 17 4 0 0 0 0 0
/proc/11931/statm: 5413 4690 351 325 0 4349 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 21652

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.31
CPU time (s): 1800.02
CPU user time (s): 1800
CPU system time (s): 0.016997
CPU usage (%): 99.873
Max. virtual memory (cumulated for all children) (KiB): 22636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.016997
maximum resident set size= 19692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5206
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= 22
involuntary context switches= 2028

runsolver used 2.84457 second user time and 6.99494 second system time

The end

Launcher Data

Begin job on node116 at 2012-06-03 07:40:49
IDJOB=3734925
IDBENCH=2920
IDSOLVER=2318
FILE ID=node116/3734925-1338702049
RUNJOBID= node116-1338678620-9049
PBS_JOBID= 14636697
Free space on /tmp= 71020 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734925-1338702049/watcher-3734925-1338702049 -o /tmp/evaluation-result-3734925-1338702049/solver-3734925-1338702049 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3734925-1338702049.opb            

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

MD5SUM BENCH= 0263d0a7c5e3320bd7cce9534c14bf27
RANDOM SEED=662200772

node116.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27252112 kB
Buffers:          546280 kB
Cached:          4082176 kB
SwapCached:         3028 kB
Active:          2269996 kB
Inactive:        2439716 kB
Active(anon):      69004 kB
Inactive(anon):    10780 kB
Active(file):    2200992 kB
Inactive(file):  2428936 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67103480 kB
Dirty:              6612 kB
Writeback:             0 kB
AnonPages:         82372 kB
Mapped:            13556 kB
Shmem:                68 kB
Slab:             773872 kB
SReclaimable:     218168 kB
SUnreclaim:       555704 kB
KernelStack:        1472 kB
PageTables:         4108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     213216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     53248 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71024 MiB
End job on node116 at 2012-06-03 08:10:52