Trace number 3734771

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)7 1800.11 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_1.opb
MD5SUMcdfa46b59876181d5d89fd18757b8cfb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1790.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
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 constraints12
Minimum length of a constraint66
Maximum length of a constraint66
Number of terms in the objective function 96
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 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1273
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4329
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-3734771-1338700933.opb
0.00/0.00	c File size is 7798 bytes.
0.00/0.00	c Highest Coefficient sum: 4329
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: 146 Constr: 12 0/0/12 Lit: 792 Watch. Lit: 220
0.00/0.00	c Obj. Vars: 96 (65.7534 % of total variables)
0.00/0.01	c Pre-processing Time: 0.002 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    146       12      792   66      228    1584      0      0 0.00
0.00/0.01	c Switching off LPR mode.
0.00/0.01	o 1026	0.002
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    146       13      888   68      577    1776      1      0 0.00
0.00/0.01	o 743	0.004
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       28    146       42     2702   64      698    1776     30   5600 0.01
0.00/0.01	o 737	0.005
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       37    146       52     3347   64      807    1776     40   7400 0.01
0.00/0.01	o 331	0.006
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       40    146       56     3623   64      825    1776     44   6666 0.01
0.00/0.02	o 330	0.012
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      139    146      156     9737   62     1068    1776    144  11583 0.01
0.00/0.02	o 270	0.015
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      193    146      211    12010   56     1263    1776    199  12866 0.01
0.00/0.04	c      293    146      311    15874   51     1470    1954    299  13952 0.02
0.00/0.04	o 266	0.037
0.58/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.58/0.60	c      538    146      557    27225   48     2004    1776    545  14540 0.04
0.58/0.60	c      638    146      657    30367   46     2240    1954    645  15560 0.04
0.58/0.60	c      888    146      907    38858   42     2734    2150    895  16444 0.05
0.58/0.60	c     1363    146     1382    58102   42     3676    2366   1370  15488 0.09
0.58/0.60	c     2176    146     2195    83896   38     5310    2603   2183  16238 0.13
0.58/0.60	c     3496    146     2177    77131   35     4893    2864   2165  14446 0.24
0.58/0.60	c     5577    146     2774   113574   40     6100    3151   2762  12646 0.44
0.58/0.60	o 256	0.599
0.68/0.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.76	c     7265    146     2839   116289   40     6326    1776   2827  12128 0.60
0.68/0.76	c     7365    146     1001    39318   39     2551    1954    989  12073 0.61
0.68/0.76	c     7615    146     1251    48704   38     3056    2150   1239  12106 0.63
0.68/0.76	c     8091    146     1727    67904   39     4015    2366   1715  12058 0.67
0.68/0.76	c     8905    146     1315    51438   39     3196    2603   1303  11905 0.75
0.68/0.76	o 252	0.754
0.68/0.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.76	c     8983    146     1394    54862   39     3439    1776   1382  11913 0.75
0.68/0.76	o 248	0.755
0.68/0.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.76	c     8991    146     1403    55334   39     3547    1776   1391  11908 0.76
0.68/0.76	o 246	0.756
0.68/0.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.77	c     8996    146     1409    55793   39     3650    1776   1397  11899 0.76
0.68/0.77	o 244	0.764
0.68/0.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.77	c     9091    146     1505    60517   40     3950    1776   1493  11899 0.76
0.68/0.77	o 242	0.766
0.68/0.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.77	c     9107    146     1522    61380   40     4065    1776   1510  11889 0.77
0.68/0.77	o 230	0.766
0.68/0.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.77	c     9113    146     1529    61663   40     4167    1776   1517  11896 0.77
0.68/0.77	o 228	0.768
0.68/0.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.77	c     9125    146     1542    62289   40     4281    1776   1530  11881 0.77
0.68/0.77	o 226	0.768
0.68/0.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.77	c     9127    146     1545    62478   40     4379    1776   1533  11884 0.77
0.68/0.77	o 220	0.769
0.68/0.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.78	c     9130    146     1549    62786   40     4479    1776   1537  11872 0.77
0.68/0.78	o 216	0.772
0.68/0.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.78	c     9155    146     1575    64510   40     4621    1776   1563  11858 0.77
0.68/0.78	o 212	0.773
0.68/0.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.78	c     9158    146     1579    64819   41     4722    1776   1567  11847 0.77
0.68/0.78	o 210	0.776
0.68/0.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.79	c     9175    146     1597    66046   41     4850    1776   1585  11823 0.78
0.68/0.79	c     9275    146     1697    70207   41     5078    1954   1685  11800 0.79
0.68/0.79	o 171	0.787
0.99/1.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.01	c     9278    146     1701    70438   41     5119    1776   1689  11789 0.79
0.99/1.01	c     9378    146      901    38834   43     2357    1954    889  11707 0.80
0.99/1.01	c     9628    146     1151    49425   42     2841    2150   1139  11770 0.82
0.99/1.01	c    10103    146     1626    66346   40     3782    2366   1614  11871 0.85
0.99/1.01	c    10916    146     1222    46943   38     2970    2603   1210  11878 0.92
0.99/1.01	o 170	1.01
0.99/1.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.02	c    12038    146     2345    92010   39     5343    1776   2333  11918 1.01
0.99/1.02	c    12138    146     1001    39483   39     2563    1954    989  11911 1.02
0.99/1.02	o 168	1.021
0.99/1.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.03	c    12168    146     1032    40659   39     2713    1776   1020  11917 1.02
0.99/1.03	o 162	1.023
0.99/1.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.04	c    12193    146     1058    42312   39     2860    1776   1046  11918 1.02
0.99/1.04	c    12293    146     1158    45950   39     3046    1954   1146  11934 1.03
0.99/1.04	o 135	1.037
0.99/1.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.09	c    12375    146     1241    49298   39     3309    1776   1229  11933 1.04
0.99/1.09	c    12476    146     1342    53320   39     3512    1954   1330  11950 1.04
0.99/1.09	c    12726    146     1592    62551   39     4020    2150   1580  11960 1.06
0.99/1.09	o 133	1.091
1.09/1.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.15	c    13071    146     1938    76649   39     4789    1776   1926  11980 1.09
1.09/1.15	c    13171    146     1001    40173   40     2554    1954    989  11984 1.10
1.09/1.15	c    13421    146     1251    48101   38     3037    2150   1239  12090 1.11
1.09/1.15	o 126	1.143
1.09/1.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.16	c    13859    146     1690    65293   38     4033    1776   1678  12125 1.14
1.09/1.16	o 124	1.154
1.09/1.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.16	c    13954    145     1786    69431   38     4318    1774   1774  12091 1.15
1.09/1.16	o 122	1.157
1.09/1.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.16	c    13988    145      900    37299   41     2358    1774    888  12069 1.16
1.09/1.16	o 120	1.16
1.09/1.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.17	c    14003    145      916    38176   41     2486    1774    904  12071 1.16
1.09/1.17	o 118	1.164
1.09/1.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.17	c    14047    145      961    41058   42     2663    1774    949  12067 1.16
1.09/1.17	o 116	1.165
1.09/1.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.19	c    14056    145      971    41757   43     2777    1774    959  12065 1.17
1.09/1.19	c    14157    143     1072    46081   42     2988    1952   1060  12048 1.18
1.09/1.19	o 108	1.183
1.09/1.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.19	c    14243    141     1159    49144   42     3247    1766   1147  12039 1.18
1.09/1.19	o 106	1.185
1.09/1.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.19	c    14272    141     1189    50275   42     3397    1766   1177  12043 1.19
1.09/1.19	o 104	1.187
1.09/1.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.19	c    14283    141     1201    51157   42     3507    1766   1189  12032 1.19
1.09/1.19	o 100	1.19
1.09/1.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.19	c    14309    141     1228    52500   42     3646    1766   1216  12024 1.19
1.09/1.19	o 98	1.192
1.18/1.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.18/1.20	c    14318    141     1238    53180   42     3757    1766   1226  12011 1.19
1.18/1.20	o 96	1.192
1.18/1.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.18/1.20	c    14320    141     1241    53374   43     3852    1766   1229  12013 1.19
1.18/1.20	o 94	1.193
1.18/1.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.18/1.23	c    14325    141     1247    53810   43     3955    1766   1235  12007 1.19
1.18/1.23	c    14425    141     1347    58552   43     4145    1943   1335  11961 1.21
1.18/1.23	o 81	1.223
1.18/1.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.18/1.23	c    14625    139     1548    65385   42     4634    1762   1536  11958 1.22
1.18/1.23	o 79	1.224
1.18/1.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.18/1.24	c    14631    139     1555    65927   42     4735    1762   1543  11953 1.22
1.18/1.24	o 75	1.233
1.38/1.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.38/1.44	c    14692    139     1617    69709   43     4945    1762   1605  11905 1.23
1.38/1.44	c    14792    138     1717    72723   42     5138    1939   1705  11919 1.24
1.38/1.44	c    15042    135      990    39620   40     2521    2133    978  11881 1.27
1.38/1.44	c    15517    135     1465    54625   37     3457    2347   1453  12000 1.29
1.38/1.44	c    16330    135     2278    79542   34     5084    2582   2266  12195 1.34
1.38/1.44	c    17650    135     2263    70726   31     5069    2841   2251  12420 1.42
1.38/1.44	o 66	1.438
1.38/1.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.38/1.45	c    17909    135     2523    79689   31     5669    1754   2511  12454 1.44
1.38/1.45	o 64	1.444
1.38/1.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.38/1.45	c    17910    135      903    30502   33     2423    1754    891  12394 1.45
1.38/1.45	o 56	1.45
1.48/1.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.48/1.56	c    17983    135      977    34970   35     2654    1754    965  12402 1.45
1.48/1.56	c    18083    128     1077    38394   35     2846    1930   1065  12402 1.46
1.48/1.56	c    18334    126     1328    47712   35     3355    2124   1316  12396 1.48
1.48/1.56	c    18809    124     1803    66635   36     4305    2337   1791  12374 1.52
1.48/1.56	o 53	1.561
1.48/1.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.48/1.57	c    19206    122     2201    81514   37     5171    1728   2189  12303 1.56
1.48/1.57	o 47	1.564
2.88/2.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.88/2.93	c    19217    122      912    34721   38     2411    1728    900  12287 1.56
2.88/2.93	c    19318    122     1013    39048   38     2610    1901   1001  12296 1.57
2.88/2.93	c    19568    122     1263    48073   38     3114    2092   1251  12314 1.59
2.88/2.93	c    20043    122     1738    64763   37     4054    2302   1726  12311 1.63
2.88/2.93	c    20857    122     1369    49258   35     3255    2533   1357  12225 1.71
2.88/2.93	c    22178    122     1392    49222   35     3298    2787   1380  12212 1.82
2.88/2.93	c    24259    122     2054    73559   35     4621    3066   2042  12208 1.99
2.88/2.93	c    27482    122     2147    73963   34     4816    3373   2135  12000 2.29
2.88/2.93	c    32419    122     1909    68259   35     4344    3711   1897  11648 2.78
2.88/2.93	o 46	2.93
2.88/2.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.88/2.94	c    34027    122     3518   127918   36     7626    1728   3506  11613 2.93
2.88/2.94	o 44	2.937
2.98/3.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.98/3.06	c    34040    122      915    34759   37     2419    1728    903  11590 2.94
2.98/3.06	o 42	2.939
2.98/3.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.98/3.06	c    34062    122      938    36090   38     2536    1728    926  11589 2.94
2.98/3.06	c    34162    122     1038    39367   37     2736    1901   1026  11596 2.95
2.98/3.06	o 40	2.951
3.78/3.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.78/3.82	c    34239    122     1116    42782   38     2961    1728   1104  11602 2.95
3.78/3.82	c    34339    122     1216    46281   38     3164    1901   1204  11604 2.96
3.78/3.82	c    34590    122     1467    54431   37     3669    2092   1455  11619 2.98
3.78/3.82	c    35065    122     1942    70123   36     4612    2302   1930  11641 3.01
3.78/3.82	c    35878    122     1565    52297   33     3648    2533   1553  11667 3.08
3.78/3.82	c    37198    122     1581    54401   34     3683    2787   1569  11653 3.19
3.78/3.82	c    39279    122     2233    76711   34     4980    3066   2221  11662 3.37
3.78/3.82	c    42502    122     2326    81118   34     5167    3373   2314  11647 3.65
3.78/3.82	o 39	3.815
3.78/3.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.78/3.85	c    44230    122     2335    84389   36     5263    1728   2323  11590 3.82
3.78/3.85	c    44330    122     1001    34859   34     2524    1901    989  11589 3.83
3.78/3.85	c    44580    122     1251    43074   34     3028    2092   1239  11600 3.84
3.78/3.85	o 38	3.846
3.78/3.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.78/3.85	c    44618    122     1290    44534   34     3165    1728   1278  11601 3.85
3.78/3.85	o 34	3.846
3.78/3.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.78/3.85	c    44619    122     1292    44648   34     3239    1728   1280  11601 3.85
3.78/3.85	o 32	3.847
19.48/19.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.48/19.54	c    44638    122     1312    45716   34     3353    1728   1300  11603 3.85
19.48/19.54	c    44738    113     1412    49252   34     3546    1901   1400  11599 3.86
19.48/19.54	c    44988    112     1662    59612   35     4040    2092   1650  11600 3.88
19.48/19.54	c    45464    111     2138    77356   36     4968    2302   2126  11615 3.91
19.48/19.54	c    46277    111     1772    65970   37     4026    2533   1760  11647 3.97
19.48/19.54	c    47597    111     1794    67495   37     4087    2787   1782  11643 4.09
19.48/19.54	c    49678    111     2444    92626   37     5376    3066   2432  11590 4.29
19.48/19.54	c    52901    110     2553    98447   38     5611    3373   2541  11470 4.61
19.48/19.54	c    57837    110     2336    86610   37     5148    3711   2324  11291 5.12
19.48/19.54	c    65343    110     2291    87643   38     5067    4083   2279  11124 5.87
19.48/19.54	c    76704    110     3286   125128   38     7020    4492   3274  10823 7.09
19.48/19.54	c    93848    110     4502   167603   37     9484    4942   4490  10397 9.03
19.48/19.54	c   119667    110     2774   103887   37     6045    5437   2762   9759 12.26
19.48/19.54	c   158499    110     3102   117865   37     6686    5981   3090   8994 17.62
19.48/19.54	o 27	19.536
19.48/19.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.48/19.57	c   173375    110     5879   232354   39    12331    1704   5867   8874 19.54
19.48/19.57	o 25	19.563
21.98/22.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.98/22.02	c   173432    110      959    37547   39     2478    1704    947   8865 19.56
21.98/22.02	c   173532    110     1059    41379   39     2668    1875   1047   8866 19.57
21.98/22.02	c   173784    110     1311    51135   39     3177    2063   1299   8871 19.59
21.98/22.02	c   174259    110     1786    69486   38     4105    2270   1774   8878 19.63
21.98/22.02	c   175072    110     1425    54400   38     3336    2498   1413   8888 19.70
21.98/22.02	c   176393    110     1471    57240   38     3444    2748   1459   8898 19.82
21.98/22.02	c   178474    110     2136    83049   38     4759    3023   2124   8915 20.02
21.98/22.02	c   181698    110     2271    89635   39     5034    3326   2259   8931 20.34
21.98/22.02	c   186634    110     2099    82464   39     4674    3659   2087   8937 20.88
21.98/22.02	c   194140    110     2150    85996   39     4789    4025   2138   8942 21.71
21.98/22.02	o 19	22.011
21.98/22.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.98/22.03	c   196878    110     2832   110461   39     6222    1704   2820   8944 22.01
21.98/22.03	o 15	22.016
21.98/22.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.98/22.03	c   196894    110      918    35129   38     2394    1704    906   8943 22.02
21.98/22.03	o 13	22.017
129.15/129.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
129.15/129.26	c   196900    110      925    35538   38     2465    1704    913   8943 22.02
129.15/129.26	c   197001    101     1026    39145   38     2652    1875   1014   8943 22.03
129.15/129.26	c   197252     99     1277    48230   37     3148    2063   1265   8944 22.05
129.15/129.26	c   197727     99     1752    67209   38     4104    2270   1740   8946 22.10
129.15/129.26	c   198541     98     1399    52518   37     3276    2498   1387   8951 22.18
129.15/129.26	c   199861     98     1445    52222   36     3368    2748   1433   8963 22.30
129.15/129.26	c   201942     98     2111    79530   37     4700    3023   2099   8969 22.51
129.15/129.26	c   205165     98     2239    84345   37     4950    3326   2227   8976 22.86
129.15/129.26	c   210101     98     2093    80442   38     4669    3659   2081   8963 23.44
129.15/129.26	c   217608     98     2156    81160   37     4785    4025   2144   8950 24.31
129.15/129.26	c   228969     98     3296   127660   38     7055    4428   3284   8911 25.70
129.15/129.26	c   246113     98     2459    95010   38     5396    4871   2447   8824 27.89
129.15/129.26	c   271932     98     3586   138336   38     7653    5359   3574   8698 31.26
129.15/129.26	c   310765     98     4460   174018   39     9401    5895   4448   8385 37.06
129.15/129.26	c   369118     98     3234   125313   38     6941    6485   3222   8006 46.10
129.15/129.26	c   456750     98     5684   226686   39    11838    7134   5672   7613 59.99
129.15/129.26	c   588303     98     4005   158059   39     8480    7848   3993   7199 81.71
129.15/129.26	c   785735     98     7536   298653   39    15551    8633   7524   6857 114.58
129.15/129.26	o 12	129.22
245.83/245.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
245.83/245.92	c   866993     98     6148   236186   38    12826    1680   6136   6709 129.22
245.83/245.92	c   867093     98     1001    38228   38     2464    1849    989   6708 129.25
245.83/245.92	c   867343     98     1251    47567   38     2970    2034   1239   6709 129.26
245.83/245.92	c   867818     98     1726    66227   38     3911    2238   1714   6711 129.30
245.83/245.92	c   868631     98     1392    53897   38     3254    2462   1380   6714 129.37
245.83/245.92	c   869951     98     1453    56130   38     3356    2709   1441   6717 129.50
245.83/245.92	c   872032     98     2148    81381   37     4757    2980   2136   6723 129.69
245.83/245.92	c   875256     98     2321    89934   38     5108    3279   2309   6733 129.99
245.83/245.92	c   880192     98     2230    86260   38     4922    3607   2218   6744 130.50
245.83/245.92	c   887699     98     2389    93091   38     5245    3968   2377   6757 131.36
245.83/245.92	c   899060     98     3656   142625   39     7781    4365   3644   6782 132.56
245.83/245.92	c   916204     98     3080   119453   38     6623    4802   3068   6811 134.50
245.83/245.92	c   942024     98     4567   178288   39     9595    5283   4555   6840 137.71
245.83/245.92	c   980856     98     3278   128882   39     7021    5812   3266   6864 142.89
245.83/245.92	c  1039208     98     5773   231092   40    12011    6394   5761   6888 150.86
245.83/245.92	c  1126840     98     6170   244931   39    12808    7034   6158   6894 163.44
245.83/245.92	c  1258393     98     6330   250958   39    13126    7738   6318   6879 182.91
245.83/245.92	c  1455825     98     4751   185231   38     9942    8512   4739   6759 215.37
245.83/245.92	o 11	245.863
523.29/523.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
523.29/523.47	c  1639123     98     7863   312802   39    16237    1680   7851   6666 245.86
523.29/523.47	c  1639223     98     1001    38580   38     2473    1849    989   6666 245.90
523.29/523.47	c  1639473     98     1251    48385   38     2973    2034   1239   6666 245.91
523.29/523.47	c  1639948     98     1726    67065   38     3911    2238   1714   6667 245.95
523.29/523.47	c  1640761     98     1389    52704   37     3241    2462   1377   6669 246.02
523.29/523.47	c  1642081     98     1448    56128   38     3355    2709   1436   6671 246.14
523.29/523.47	c  1644162     98     2147    82808   38     4756    2980   2135   6674 246.32
523.29/523.47	c  1647386     98     2324    89480   38     5113    3279   2312   6679 246.62
523.29/523.47	c  1652322     98     2239    83383   37     4931    3607   2227   6687 247.07
523.29/523.47	c  1659828     98     2415    93652   38     5283    3968   2403   6697 247.83
523.29/523.47	c  1671189     98     3684   143164   38     7827    4365   3672   6710 249.03
523.29/523.47	c  1688333     98     3089   119641   38     6631    4802   3077   6726 250.98
523.29/523.47	c  1714152     98     4585   181868   39     9631    5283   4573   6747 254.06
523.29/523.47	c  1752984     98     3263   124839   38     6974    5812   3251   6767 259.02
523.29/523.47	c  1811337     98     5816   220589   37    12098    6394   5804   6783 267.00
523.29/523.47	c  1898969     98     6204   236758   38    12873    7034   6192   6790 279.65
523.29/523.47	c  2030521     98     6418   246650   38    13272    7738   6406   6760 300.35
523.29/523.47	c  2227953     98     4795   187716   39    10058    8512   4783   6699 332.56
523.29/523.47	c  2524205     98     5141   201538   39    10752    9364   5129   6570 384.16
523.29/523.47	c  2968687     98     6456   256746   39    13358   10301   6444   6366 466.32
523.29/523.47	o 10	523.37
797.15/797.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
797.15/797.37	c  3255748     98     8457   333704   39    17429    1680   8445   6220 523.37
797.15/797.37	c  3255848     98     1001    37726   37     2462    1849    989   6220 523.41
797.15/797.37	c  3256098     98     1251    47132   37     2960    2034   1239   6220 523.43
797.15/797.37	c  3256573     98     1726    64361   37     3917    2238   1714   6221 523.46
797.15/797.37	c  3257386     98     1387    49366   35     3235    2462   1375   6222 523.53
797.15/797.37	c  3258706     98     1449    53039   36     3364    2709   1437   6223 523.64
797.15/797.37	c  3260787     98     2141    79448   37     4746    2980   2129   6224 523.84
797.15/797.37	c  3264010     98     2318    87670   37     5091    3279   2306   6227 524.16
797.15/797.37	c  3268947     98     2234    84977   38     4936    3607   2222   6230 524.68
797.15/797.37	c  3276454     98     2378    89502   37     5228    3968   2366   6234 525.52
797.15/797.37	c  3287815     98     3633   138270   38     7733    4365   3621   6240 526.86
797.15/797.37	c  3304960     98     3046   116880   38     6558    4802   3034   6248 528.94
797.15/797.37	c  3330780     98     4524   175477   38     9518    5283   4512   6259 532.11
797.15/797.37	c  3369613     98     3262   121156   37     6986    5812   3250   6273 537.11
797.15/797.37	c  3427965     98     5790   218456   37    12045    6394   5778   6295 544.53
797.15/797.37	c  3515597     98     6250   237053   37    12963    7034   6238   6322 556.01
797.15/797.37	c  3647150     98     6443   245738   38    13336    7738   6431   6357 573.65
797.15/797.37	c  3844584     98     4905   182537   37    10251    8512   4893   6350 605.38
797.15/797.37	c  4140836     98     5238   198486   37    10943    9364   5226   6316 655.52
797.15/797.37	c  4585319     98     6700   251104   37    13861   10301   6688   6250 733.59
797.15/797.37	o 9	797.231
797.25/797.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
797.25/797.49	c  4917585     98     7210   281491   39    14933    1680   7198   6168 797.23
797.25/797.49	c  4917685     98     1001    38462   38     2467    1849    989   6168 797.26
797.25/797.49	c  4917935     98     1251    47833   38     2970    2034   1239   6168 797.28
797.25/797.49	c  4918410     98     1726    66261   38     3917    2238   1714   6168 797.33
797.25/797.49	o 7	797.355
1800.10/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.10/1800.40	c  4918735     98     2052    79291   38     4618    1680   2040   6168 797.36
1800.10/1800.40	c  4918836     93     1002    37118   37     2448    1849    990   6168 797.36
1800.10/1800.40	c  4919086     90     1252    46591   37     2961    2034   1240   6169 797.38
1800.10/1800.40	c  4919561     88     1727    64403   37     3875    2238   1715   6169 797.41
1800.10/1800.40	c  4920375     88     1392    51986   37     3234    2462   1380   6169 797.47
1800.10/1800.40	c  4921696     87     1450    53545   36     3346    2709   1438   6170 797.59
1800.10/1800.40	c  4923777     87     2142    79267   37     4715    2980   2130   6171 797.78
1800.10/1800.40	c  4927001     87     2308    88389   38     5064    3279   2296   6173 798.09
1800.10/1800.40	c  4931937     86     2239    87486   39     4918    3607   2227   6175 798.59
1800.10/1800.40	c  4939444     86     2385    92652   38     5219    3968   2373   6178 799.44
1800.10/1800.40	c  4950805     86     3647   143200   39     7738    4365   3635   6183 800.67
1800.10/1800.40	c  4967949     86     3061   116096   37     6562    4802   3049   6189 802.67
1800.10/1800.40	c  4993769     86     4538   173636   38     9508    5283   4526   6195 806.00
1800.10/1800.40	c  5032601     86     3279   126648   38     6981    5812   3267   6206 810.80
1800.10/1800.40	c  5090953     86     5793   223070   38    12030    6394   5781   6217 818.78
1800.10/1800.40	c  5178586     86     6242   245492   39    12927    7034   6230   6230 831.20
1800.10/1800.40	c  5310138     86     6452   255910   39    13346    7738   6440   6241 850.74
1800.10/1800.40	c  5507570     86     4867   190197   39    10171    8512   4855   6247 881.54
1800.10/1800.40	c  5803823     86     5265   208142   39    10982    9364   5253   6222 932.69
1800.10/1800.40	c  6248306     86     6566   260643   39    13568   10301   6554   6164 1013.64
1800.10/1800.40	c  6915134     86    10052   395988   39    20547   11332  10040   6064 1140.24
1800.10/1800.40	c  7915480     86     7545   300630   39    15529   12466   7533   5848 1353.43
1800.10/1800.40	c  9416103     86    10815   427558   39    22070   13713  10803   5581 1687.15
1800.10/1800.40	c Caught signal: 15
1800.10/1800.40	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 
1800.10/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.10/1800.40	c  234  9908818   6009  9925269     7491   294306   7479   5504 1800.11
1800.10/1800.40	c Objective: 7
1800.10/1800.40	s SATISFIABLE
1800.10/1800.40	c Total time: 1800.11 s

Verifier Data 

OK	7

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-3734771-1338700933/watcher-3734771-1338700933 -o /tmp/evaluation-result-3734771-1338700933/solver-3734771-1338700933 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3734771-1338700933.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: 1.91 1.97 1.99 3/176 27058
/proc/meminfo: memFree=28184284/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) D 27056 27058 24661 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 336221919 2723840 48 33554432000 134512640 135840783 4294349248 4294347284 9737156 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/27058/statm: 665 48 37 325 0 32 0

[startup+0.0619119 s]
/proc/loadavg: 1.91 1.97 1.99 3/176 27058
/proc/meminfo: memFree=28184284/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=5212 CPUtime=0.05 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 625 0 0 0 5 0 0 0 20 0 1 0 336221919 5337088 560 33554432000 134512640 135840783 4294349248 4294348544 134572677 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27058/statm: 1303 560 350 325 0 239 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5212

[startup+0.100217 s]
/proc/loadavg: 1.91 1.97 1.99 3/176 27058
/proc/meminfo: memFree=28184284/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=5604 CPUtime=0.09 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 712 0 0 0 9 0 0 0 20 0 1 0 336221919 5738496 647 33554432000 134512640 135840783 4294349248 4294347520 1579872 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27058/statm: 1401 647 350 325 0 337 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5604

[startup+0.300175 s]
/proc/loadavg: 1.91 1.97 1.99 3/176 27058
/proc/meminfo: memFree=28184284/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=6256 CPUtime=0.29 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 880 0 0 0 29 0 0 0 20 0 1 0 336221919 6406144 815 33554432000 134512640 135840783 4294349248 4294348560 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27058/statm: 1564 815 350 325 0 500 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6256

[startup+0.700173 s]
/proc/loadavg: 1.91 1.97 1.99 3/176 27058
/proc/meminfo: memFree=28184284/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=6648 CPUtime=0.68 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 990 0 0 0 68 0 0 0 20 0 1 0 336221919 6807552 925 33554432000 134512640 135840783 4294349248 4294348560 134551000 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27058/statm: 1662 925 350 325 0 598 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6648

[startup+1.50018 s]
/proc/loadavg: 1.91 1.97 1.99 3/177 27059
/proc/meminfo: memFree=28181556/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=6648 CPUtime=1.48 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 990 0 0 0 148 0 0 0 20 0 1 0 336221919 6807552 925 33554432000 134512640 135840783 4294349248 4294348608 134551347 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27058/statm: 1662 925 350 325 0 598 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 6648

[startup+3.10017 s]
/proc/loadavg: 1.91 1.97 1.99 3/177 27059
/proc/meminfo: memFree=28181060/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=6648 CPUtime=3.08 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 990 0 0 0 308 0 0 0 20 0 1 0 336221919 6807552 925 33554432000 134512640 135840783 4294349248 4294348608 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27058/statm: 1662 925 350 325 0 598 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 6648

[startup+6.30017 s]
/proc/loadavg: 2.08 2.00 2.00 3/177 27059
/proc/meminfo: memFree=28180624/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=7164 CPUtime=6.28 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 1105 0 0 0 628 0 0 0 20 0 1 0 336221919 7335936 1039 33554432000 134512640 135840783 4294349248 4294348608 134551052 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27058/statm: 1791 1039 350 325 0 727 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 7164

[startup+12.7002 s]
/proc/loadavg: 2.07 2.00 2.00 3/177 27059
/proc/meminfo: memFree=28179532/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=7912 CPUtime=12.68 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 1306 0 0 0 1268 0 0 0 20 0 1 0 336221919 8101888 1240 33554432000 134512640 135840783 4294349248 4294348608 134551052 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27058/statm: 1978 1240 350 325 0 914 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 7912

[startup+25.5002 s]
/proc/loadavg: 2.06 2.00 2.00 3/177 27059
/proc/meminfo: memFree=28179036/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=8280 CPUtime=25.48 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 1408 0 0 0 2548 0 0 0 20 0 1 0 336221919 8478720 1342 33554432000 134512640 135840783 4294349248 4294348560 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27058/statm: 2070 1342 350 325 0 1006 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8280

[startup+51.1002 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 27059
/proc/meminfo: memFree=28178788/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=8780 CPUtime=51.07 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 1511 0 0 0 5107 0 0 0 20 0 1 0 336221919 8990720 1445 33554432000 134512640 135840783 4294349248 4294348608 134550887 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27058/statm: 2195 1445 350 325 0 1131 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 8780

[startup+102.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 27059
/proc/meminfo: memFree=28177980/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=9652 CPUtime=102.26 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 1737 0 0 0 10226 0 0 0 20 0 1 0 336221919 9883648 1670 33554432000 134512640 135840783 4294349248 4294348608 134550884 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 2413 1670 350 325 0 1349 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 9652

[startup+162.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 27059
/proc/meminfo: memFree=28177980/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=10040 CPUtime=162.25 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 1851 0 0 0 16225 0 0 0 20 0 1 0 336221919 10280960 1784 33554432000 134512640 135840783 4294349248 4294348608 134551186 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 2510 1784 350 325 0 1446 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 10040

[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 27097
/proc/meminfo: memFree=28176056/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=10040 CPUtime=222.24 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 1851 0 0 0 22224 0 0 0 20 0 1 0 336221919 10280960 1784 33554432000 134512640 135840783 4294349248 4294348608 134551081 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 2510 1784 350 325 0 1446 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 10040

[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 27098
/proc/meminfo: memFree=28175560/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=10040 CPUtime=282.23 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 1851 0 0 0 28223 0 0 0 20 0 1 0 336221919 10280960 1784 33554432000 134512640 135840783 4294349248 4294348560 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 2510 1784 350 325 0 1446 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 10040

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27098
/proc/meminfo: memFree=28174752/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=10040 CPUtime=342.22 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 1851 0 0 0 34222 0 0 0 20 0 1 0 336221919 10280960 1784 33554432000 134512640 135840783 4294349248 4294348560 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 2510 1784 350 325 0 1446 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 10040

[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 27099
/proc/meminfo: memFree=28174248/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=10560 CPUtime=402.21 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 1961 0 0 0 40221 0 0 0 20 0 1 0 336221919 10813440 1894 33554432000 134512640 135840783 4294349248 4294348608 134551466 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 2640 1894 350 325 0 1576 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 10560

[startup+462.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 27099
/proc/meminfo: memFree=28173636/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=10552 CPUtime=462.2 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 1965 0 0 0 46220 0 0 0 20 0 1 0 336221919 10805248 1898 33554432000 134512640 135840783 4294349248 4294348436 1577044 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 2638 1898 350 325 0 1574 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 10552

[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 27102
/proc/meminfo: memFree=28172944/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=11172 CPUtime=522.19 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 2119 0 0 0 52219 0 0 0 20 0 1 0 336221919 11440128 2051 33554432000 134512640 135840783 4294349248 4294348608 134550670 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 2793 2051 350 325 0 1729 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 11172

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 27103
/proc/meminfo: memFree=28172952/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=10844 CPUtime=582.18 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 2119 0 0 0 58218 0 0 0 20 0 1 0 336221919 11104256 1987 33554432000 134512640 135840783 4294349248 4294348560 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 2711 1987 350 325 0 1647 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 10844

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27103
/proc/meminfo: memFree=28172516/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=11024 CPUtime=822.14 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 2161 0 0 0 82214 0 0 0 20 0 1 0 336221919 11288576 2026 33554432000 134512640 135840783 4294349248 4294348604 15722688 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 2756 2026 350 325 0 1692 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 11024

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27104
/proc/meminfo: memFree=28171896/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=11024 CPUtime=882.13 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 2161 0 0 0 88213 0 0 0 20 0 1 0 336221919 11288576 2026 33554432000 134512640 135840783 4294349248 4294348608 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 2756 2026 350 325 0 1692 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 11024

[startup+942.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 27104
/proc/meminfo: memFree=28171772/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=11024 CPUtime=942.13 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 2161 0 0 0 94213 0 0 0 20 0 1 0 336221919 11288576 2026 33554432000 134512640 135840783 4294349248 4294348560 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 2756 2026 350 325 0 1692 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 11024

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 27104
/proc/meminfo: memFree=28172144/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=11024 CPUtime=1002.12 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 2161 0 0 0 100212 0 0 0 20 0 1 0 336221919 11288576 2026 33554432000 134512640 135840783 4294349248 4294348672 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 2756 2026 350 325 0 1692 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 11024

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27104
/proc/meminfo: memFree=28171400/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=11100 CPUtime=1062.11 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 2175 0 0 0 106211 0 0 0 20 0 1 0 336221919 11366400 2040 33554432000 134512640 135840783 4294349248 4294348484 1577054 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 2775 2040 350 325 0 1711 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 11100

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27107
/proc/meminfo: memFree=28171268/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=11100 CPUtime=1122.1 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 2184 0 0 0 112210 0 0 0 20 0 1 0 336221919 11366400 2049 33554432000 134512640 135840783 4294349248 4294348552 1584837 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 2775 2049 350 325 0 1711 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 11100

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27108
/proc/meminfo: memFree=28170408/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=11744 CPUtime=1182.09 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 2337 0 0 0 118209 0 0 0 20 0 1 0 336221919 12025856 2202 33554432000 134512640 135840783 4294349248 4294348608 134551063 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 2936 2202 350 325 0 1872 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 11744

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27108
/proc/meminfo: memFree=28170036/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=11744 CPUtime=1242.08 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 2345 0 0 0 124208 0 0 0 20 0 1 0 336221919 12025856 2210 33554432000 134512640 135840783 4294349248 4294348560 16118294 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 2936 2210 350 325 0 1872 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 11744

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27108
/proc/meminfo: memFree=28170284/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=11816 CPUtime=1302.07 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 2350 0 0 0 130207 0 0 0 20 0 1 0 336221919 12099584 2215 33554432000 134512640 135840783 4294349248 4294348560 134550761 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 2954 2215 350 325 0 1890 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 11816

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27108
/proc/meminfo: memFree=28169416/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=12424 CPUtime=1362.06 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 2498 0 0 0 136206 0 0 0 20 0 1 0 336221919 12722176 2363 33554432000 134512640 135840783 4294349248 4294348384 1579690 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 3106 2363 350 325 0 2042 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 12424

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27108
/proc/meminfo: memFree=28168484/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=12512 CPUtime=1422.06 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 2519 0 0 0 142206 0 0 0 20 0 1 0 336221919 12812288 2384 33554432000 134512640 135840783 4294349248 4294348608 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 3128 2384 350 325 0 2064 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 12512

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27109
/proc/meminfo: memFree=28168236/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=12500 CPUtime=1482.04 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 2528 0 0 0 148204 0 0 0 20 0 1 0 336221919 12800000 2393 33554432000 134512640 135840783 4294349248 4294348560 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 3125 2393 350 325 0 2061 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 12500

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27109
/proc/meminfo: memFree=28168112/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=12500 CPUtime=1542.03 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 2528 0 0 0 154203 0 0 0 20 0 1 0 336221919 12800000 2393 33554432000 134512640 135840783 4294349248 4294348672 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 3125 2393 350 325 0 2061 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 12500

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27109
/proc/meminfo: memFree=28168236/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=12496 CPUtime=1602.02 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 2528 0 0 0 160202 0 0 0 20 0 1 0 336221919 12795904 2393 33554432000 134512640 135840783 4294349248 4294348608 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 3124 2393 350 325 0 2060 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 12496

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27109
/proc/meminfo: memFree=28168236/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=12488 CPUtime=1662.01 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 2528 0 0 0 166201 0 0 0 20 0 1 0 336221919 12787712 2393 33554432000 134512640 135840783 4294349248 4294348608 134551186 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 3122 2393 350 325 0 2058 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 12488

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27112
/proc/meminfo: memFree=28167420/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=13316 CPUtime=1722 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 2735 0 0 0 172200 0 0 0 20 0 1 0 336221919 13635584 2599 33554432000 134512640 135840783 4294349248 4294348384 1579777 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 3329 2599 350 325 0 2265 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 13316

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27113
/proc/meminfo: memFree=28167552/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=13292 CPUtime=1782 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 2735 0 0 0 178200 0 0 0 20 0 1 0 336221919 13611008 2599 33554432000 134512640 135840783 4294349248 4294348608 134551052 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 3323 2599 350 325 0 2259 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 13292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27113
/proc/meminfo: memFree=28167428/32873844 swapFree=7116/7116
[pid=27058] ppid=27056 vsize=13292 CPUtime=1800.1 cores=0,2,4,6
/proc/27058/stat : 27058 (bsolo3.0.17) R 27056 27058 24661 0 -1 4202496 2735 0 0 0 180010 0 0 0 20 0 1 0 336221919 13611008 2599 33554432000 134512640 135840783 4294349248 4294348608 134551081 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27058/statm: 3323 2599 350 325 0 2259 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 13292

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

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

Child status: 15
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1800.1
CPU system time (s): 0.010998
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 13316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.1
system time used= 0.010998
maximum resident set size= 10400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2739
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= 17
involuntary context switches= 2399

runsolver used 3.14952 second user time and 8.04678 second system time

The end

Launcher Data 

Begin job on node108 at 2012-06-03 07:22:13
IDJOB=3734771
IDBENCH=2902
IDSOLVER=2318
FILE ID=node108/3734771-1338700933
RUNJOBID= node108-1338678627-24680
PBS_JOBID= 14636705
Free space on /tmp= 71468 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_6_50_1.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734771-1338700933/watcher-3734771-1338700933 -o /tmp/evaluation-result-3734771-1338700933/solver-3734771-1338700933 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3734771-1338700933.opb            

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

MD5SUM BENCH= cdfa46b59876181d5d89fd18757b8cfb
RANDOM SEED=111840743

node108.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.273
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	: 5332.54
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.273
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.273
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	: 5331.91
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.273
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.273
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.91
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.273
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	: 5438.55
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.273
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.273
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:       32873844 kB
MemFree:        28184176 kB
Buffers:          322880 kB
Cached:          3547128 kB
SwapCached:          112 kB
Active:          1901852 kB
Inactive:        1987364 kB
Active(anon):       6520 kB
Inactive(anon):    13084 kB
Active(file):    1895332 kB
Inactive(file):  1974280 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108548 kB
Dirty:              6652 kB
Writeback:             0 kB
AnonPages:         23672 kB
Mapped:            15636 kB
Shmem:               172 kB
Slab:             663512 kB
SReclaimable:     105668 kB
SUnreclaim:       557844 kB
KernelStack:        1464 kB
PageTables:         4108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     137252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71460 MiB
End job on node108 at 2012-06-03 07:52:16