Trace number 3734817

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
PB09: bsolo 3.1SAT9 1798.04 1798.32

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_2.opb
MD5SUMb690996610ff381ef60353517fe5a0e9
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 benchmark1797.53
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6
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 constraint64
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 1293
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4389
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.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3734817-1338716841.opb
0.00/0.00	c File size is 7732 bytes.
0.00/0.00	c Highest Coefficient sum: 4389
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 146 Constr: 12 0/0/12 Lit: 784 Watch. Lit: 226
0.00/0.00	c Obj. Vars: 96 (65.7534 % of total variables)
0.00/0.00	c Pre-processing Time: 0 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    146       12      784   65      229    1568      0 -2147483648 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 832
0.01/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.03	c        0    146       13      880   67      570    1760      1      0 0.00
0.01/0.03	c      102    146      121     8253   68      821    1937    109   7846 0.01
0.01/0.03	o 828
0.01/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.03	c      266    146      290    19307   66     1310    1760    278   7388 0.04
0.01/0.03	o 203
0.01/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.04	c      270    146      295    19655   66     1366    1760    283   7297 0.04
0.01/0.04	o 200
0.01/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.04	c      330    146      356    21982   61     1558    1760    344   7333 0.04
0.01/0.04	o 198
0.01/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.04	c      335    146      362    22227   61     1659    1760    350   7282 0.05
0.01/0.04	o 196
0.01/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.05	c      336    146      364    22398   61     1753    1760    352   7304 0.05
0.01/0.05	o 191
0.01/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.07	c      362    146      394    23999   60     1932    1760    382   7098 0.05
0.01/0.07	c      462    146      494    27440   55     2114    1937    482   7218 0.06
0.01/0.07	o 189
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c      546    146      580    30555   52     2385    1760    568   7378 0.07
0.09/0.12	c      646    146      680    33838   49     2587    1937    668   7511 0.09
0.09/0.12	o 187
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c      895    146      936    42761   45     3183    1760    924   7458 0.12
0.09/0.13	c      995    146     1036    45821   44     3402    1937   1024   7537 0.13
0.09/0.13	o 185
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c     1012    146     1054    46550   44     3528    1760   1042   7441 0.14
0.09/0.14	o 167
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c     1051    146     1097    48652   44     3689    1760   1085   7349 0.14
0.19/0.23	c     1151    146     1200    51676   43     3904    1937   1188   7474 0.15
0.19/0.23	c     1402    146     1455    60894   41     4430    2131   1443   7226 0.19
0.19/0.23	o 165
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c     1632    146     1691    71505   42     5036    1760   1679   6944 0.23
0.19/0.26	c     1732    146      893    35199   39     2392    1937    881   6818 0.25
0.19/0.26	o 163
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c     1773    146      938    37261   39     2581    1760    926   6793 0.26
0.29/0.30	c     1874    146     1043    41255   39     2790    1937   1031   6789 0.28
0.29/0.30	o 155
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c     2015    146     1191    46978   39     3186    1760   1179   6739 0.30
0.29/0.30	o 153
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c     2025    146     1202    47713   39     3301    1760   1190   6727 0.30
0.29/0.30	o 151
0.39/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.44	c     2062    146     1241    49941   40     3484    1760   1229   6716 0.31
0.39/0.44	c     2162    146     1342    52949   39     3675    1937   1330   6756 0.32
0.39/0.44	c     2413    146     1600    60956   38     4194    2131   1588   6778 0.36
0.39/0.44	c     2888    146     2087    80593   38     5189    2345   2075   6533 0.44
0.39/0.44	o 140
0.39/0.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.45	c     2911    146     2111    81607   38     5328    1760   2099   6526 0.45
0.39/0.45	o 138
0.49/0.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.51	c     2912    146      895    33540   37     2444    1760    883   6485 0.45
0.49/0.51	c     3012    146      997    38307   38     2663    1937    985   6463 0.47
0.49/0.51	c     3262    146     1248    47760   38     3158    2131   1236   6446 0.51
0.49/0.51	o 137
0.49/0.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.52	c     3329    146     1318    50427   38     3398    1760   1306   6439 0.52
0.49/0.52	o 135
0.49/0.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.52	c     3356    146     1347    51699   38     3551    1760   1335   6429 0.52
0.49/0.52	o 133
0.49/0.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.58	c     3384    146     1376    53368   38     3702    1760   1364   6421 0.53
0.49/0.58	c     3484    146     1476    56431   38     3900    1937   1464   6439 0.54
0.49/0.58	c     3734    146     1731    66706   38     4424    2131   1719   6415 0.58
0.49/0.58	o 132
0.49/0.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.59	c     3759    146     1757    67632   38     4572    1760   1745   6403 0.59
0.49/0.59	o 130
0.49/0.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.59	c     3765    146     1764    68020   38     4678    1760   1752   6392 0.59
0.49/0.59	o 126
0.49/0.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.59	c     3769    146     1769    68332   38     4783    1760   1757   6388 0.59
0.49/0.59	o 125
0.49/0.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.59	c     3773    146      893    34536   38     2343    1760    881   6373 0.59
0.49/0.59	o 124
0.59/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.60	c     3790    146      912    35646   39     2493    1760    900   6369 0.59
0.59/0.60	o 121
0.59/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.60	c     3823    145      948    37530   39     2673    1758    936   6361 0.60
0.59/0.60	o 119
0.59/0.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.62	c     3865    145      992    40113   40     2858    1758    980   6367 0.61
0.59/0.62	c     3965    141     1093    43587   39     3056    1934   1081   6384 0.62
0.59/0.62	o 111
0.59/0.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.62	c     3973    141     1102    43916   39     3157    1750   1090   6377 0.62
0.59/0.62	o 107
0.59/0.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.62	c     3974    141     1104    44057   39     3249    1750   1092   6378 0.62
0.59/0.62	o 99
0.59/0.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.65	c     3983    141     1114    44652   40     3359    1750   1102   6372 0.62
0.59/0.65	c     4083    141     1215    48611   40     3575    1926   1203   6389 0.64
0.59/0.65	o 97
1.10/1.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.11	c     4152    141     1285    51900   40     3802    1750   1273   6368 0.65
1.10/1.11	c     4252    140     1385    55131   39     4009    1926   1373   6393 0.67
1.10/1.11	c     4502    140     1635    64118   39     4514    2119   1623   6422 0.70
1.10/1.11	c     4977    140     2110    81341   38     5455    2331   2098   6430 0.77
1.10/1.11	c     5790    140     1709    61020   35     4055    2565   1697   6462 0.90
1.10/1.11	c     7110    139     1699    57458   33     4049    2822   1687   6516 1.09
1.10/1.11	o 96
1.10/1.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.13	c     7212    139     1802    61989   34     4336    1746   1790   6514 1.11
1.10/1.13	c     7312    139      994    35056   35     2531    1921    982   6516 1.12
1.10/1.13	o 92
1.10/1.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.14	c     7382    139     1065    37594   35     2765    1746   1053   6521 1.13
1.10/1.14	o 90
1.10/1.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.14	c     7413    139     1098    39371   35     2914    1746   1086   6525 1.14
1.10/1.14	o 88
1.19/1.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.26	c     7442    138     1130    40977   36     3061    1744   1118   6522 1.14
1.19/1.26	c     7542    138     1230    43648   35     3261    1919   1218   6541 1.15
1.19/1.26	c     7793    138     1482    51186   34     3763    2111   1470   6576 1.19
1.19/1.26	c     8268    137     1962    65712   33     4718    2323   1950   6625 1.25
1.19/1.26	o 77
1.19/1.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.26	c     8347    136     2042    68072   33     4963    1740   2030   6629 1.26
1.19/1.26	o 75
1.29/1.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.32	c     8348    136      894    27866   31     2403    1740    882   6620 1.26
1.29/1.32	c     8448    136      994    31204   31     2610    1915    982   6631 1.27
1.29/1.32	c     8698    136     1245    39179   31     3113    2107   1233   6644 1.31
1.29/1.32	o 74
1.29/1.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.39	c     8783    135     1331    42419   31     3371    1738   1319   6648 1.32
1.29/1.39	c     8883    135     1433    47628   33     3585    1912   1421   6653 1.33
1.29/1.39	c     9133    135     1687    54518   32     4085    2104   1675   6685 1.37
1.29/1.39	o 70
1.29/1.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.39	c     9289    135     1844    59106   32     4485    1738   1832   6687 1.39
1.29/1.39	o 68
1.29/1.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.39	c     9290    135      895    29399   32     2406    1738    883   6678 1.39
1.29/1.39	o 66
1.29/1.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.39	c     9299    135      905    29797   32     2509    1738    893   6680 1.39
1.29/1.39	o 64
1.39/1.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.40	c     9318    135      925    30749   33     2631    1738    913   6679 1.40
1.39/1.40	o 62
1.39/1.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.40	c     9326    135      934    31325   33     2732    1738    922   6675 1.40
1.39/1.40	o 60
1.39/1.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.40	c     9332    135      941    31832   33     2829    1738    929   6675 1.40
1.39/1.40	o 58
1.69/1.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.77	c     9334    135      944    32060   33     2918    1738    932   6671 1.40
1.69/1.77	c     9434    129     1045    35243   33     3141    1912   1033   6671 1.41
1.69/1.77	c     9684    125     1295    43956   33     3632    2104   1283   6664 1.45
1.69/1.77	c    10159    123     1770    60914   34     4589    2315   1758   6635 1.53
1.69/1.77	c    10972    123     1381    50963   36     3291    2547   1369   6593 1.66
1.69/1.77	o 42
4.30/4.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.30/4.40	c    11625    123     2036    75023   36     4678    1714   2024   6571 1.77
4.30/4.40	c    11726    123      995    35791   35     2506    1886    983   6569 1.78
4.30/4.40	c    11976    123     1247    44354   35     3017    2075   1235   6583 1.82
4.30/4.40	c    12451    123     1723    60825   35     3971    2283   1711   6598 1.89
4.30/4.40	c    13264    122     1359    44119   32     3233    2512   1347   6599 2.01
4.30/4.40	c    14584    122     1396    45485   32     3308    2764   1384   6614 2.21
4.30/4.40	c    16665    122     2064    70779   34     4640    3041   2052   6650 2.51
4.30/4.40	c    19888    122     2168    74610   34     4850    3346   2156   6633 3.00
4.30/4.40	c    24825    122     1985    67479   33     4481    3681   1973   6572 3.78
4.30/4.40	o 40
4.59/4.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.59/4.65	c    28694    122     2113    71489   33     4833    1712   2101   6519 4.40
4.59/4.65	c    28794    122      993    32157   32     2499    1884    981   6515 4.42
4.59/4.65	c    29044    122     1247    41042   32     3005    2073   1235   6517 4.46
4.59/4.65	c    29520    122     1723    56446   32     3958    2281   1711   6523 4.53
4.59/4.65	c    30333    122     1356    43783   32     3226    2510   1344   6524 4.65
4.59/4.65	o 38
4.59/4.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.59/4.65	c    30345    122     1369    44355   32     3325    1712   1357   6524 4.65
4.59/4.65	o 36
4.59/4.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.59/4.66	c    30354    122     1379    44881   32     3415    1712   1367   6524 4.65
4.59/4.66	o 34
6.59/6.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.59/6.69	c    30395    122     1421    46597   32     3568    1712   1409   6525 4.66
6.59/6.69	c    30495    122     1521    49696   32     3764    1884   1509   6525 4.67
6.59/6.69	c    30745    122     1771    57723   32     4266    2073   1759   6526 4.71
6.59/6.69	c    31220    122     1180    39003   33     2874    2281   1168   6530 4.78
6.59/6.69	c    32033    122     1993    64632   32     4505    2510   1981   6541 4.90
6.59/6.69	c    33353    122     2021    64375   31     4547    2762   2009   6544 5.10
6.59/6.69	c    35434    122     2690    87527   32     5893    3039   2678   6556 5.40
6.59/6.69	c    38657    122     2810    93551   33     6144    3343   2798   6554 5.90
6.59/6.69	c    43594    122     2623    85736   32     5761    3678   2611   6545 6.66
6.59/6.69	o 33
22.89/22.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.89/22.94	c    43796    122     2826    93096   32     6242    1712   2814   6543 6.69
22.89/22.94	c    43896    122      993    32586   32     2498    1884    981   6541 6.71
22.89/22.94	c    44147    122     1244    40286   32     2997    2073   1232   6546 6.74
22.89/22.94	c    44622    122     1720    55067   32     3956    2281   1708   6553 6.81
22.89/22.94	c    45435    122     1358    43303   31     3225    2510   1346   6554 6.93
22.89/22.94	c    46756    122     1391    46046   33     3297    2762   1379   6559 7.13
22.89/22.94	c    48837    122     2055    67445   32     4627    3039   2043   6564 7.44
22.89/22.94	c    52060    122     2184    72924   33     4881    3343   2172   6559 7.94
22.89/22.94	c    56996    122     2012    67874   33     4537    3678   2000   6544 8.71
22.89/22.94	c    64502    122     2022    65449   32     4553    4046   2010   6493 9.93
22.89/22.94	c    75863    122     3093   107606   34     6697    4451   3081   6441 11.78
22.89/22.94	c    93007    122     4408   157270   35     9325    4897   4396   6364 14.61
22.89/22.94	c   118827    122     2926    98686   33     6371    5387   2914   6258 18.99
22.89/22.94	o 21
24.28/24.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.28/24.38	c   140678    122     2978    98579   33     6544    1712   2966   6134 22.93
24.28/24.38	c   140778    112      994    31861   32     2499    1884    982   6132 22.96
24.28/24.38	c   141030    111     1246    41525   33     3006    2073   1234   6134 22.99
24.28/24.38	c   141506    110     1722    59839   34     3961    2281   1710   6137 23.06
24.28/24.38	c   142319    110     1356    49356   36     3219    2510   1344   6137 23.19
24.28/24.38	c   143639    110     1383    49909   36     3270    2762   1371   6136 23.41
24.28/24.38	c   145720    110     2042    75538   36     4593    3039   2030   6136 23.75
24.28/24.38	c   148943    110     2157    80083   37     4815    3343   2145   6133 24.28
24.28/24.38	o 20
65.18/65.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.18/65.21	c   149511    110     2726   100692   36     6017    1688   2714   6133 24.38
65.18/65.21	c   149611    110      996    35344   35     2500    1857    984   6132 24.40
65.18/65.21	c   149861    110     1249    44449   35     3004    2043   1237   6133 24.43
65.18/65.21	c   150337    110     1728    61651   35     3962    2248   1716   6136 24.50
65.18/65.21	c   151150    110     1386    49744   35     3264    2473   1374   6140 24.61
65.18/65.21	c   152471    110     1444    54005   37     3377    2721   1432   6148 24.80
65.18/65.21	c   154553    110     2125    79533   37     4735    2994   2113   6164 25.07
65.18/65.21	c   157777    110     2275    86706   38     5033    3294   2263   6180 25.53
65.18/65.21	c   162713    110     2158    83694   38     4807    3624   2146   6185 26.31
65.18/65.21	c   170219    110     2281    85329   37     5045    3987   2269   6196 27.47
65.18/65.21	c   181580    110     3500   137383   39     7483    4386   3488   6236 29.11
65.18/65.21	c   198724    110     2800   110485   39     6084    4825   2788   6240 31.84
65.18/65.21	c   224543    110     4162   159003   38     8807    5308   4150   6183 36.31
65.18/65.21	c   263375    110     2703    99587   36     5899    5839   2691   6132 42.95
65.18/65.21	c   321727    110     4946   190163   38    10387    6423   4934   5993 53.68
65.18/65.21	o 16
65.38/65.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.38/65.44	c   380393    110     5193   201320   38    10940    1688   5181   5834 65.20
65.38/65.44	c   380493    101      993    36783   37     2458    1857    981   5832 65.24
65.38/65.44	c   380743    101     1243    46204   37     2960    2043   1231   5833 65.27
65.38/65.44	c   381218     99     1718    64071   37     3909    2248   1706   5834 65.34
65.38/65.44	o 15
159.06/159.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
159.06/159.10	c   381860     99     1199    44684   37     2920    1666   1187   5835 65.43
159.06/159.10	c   381960     99     1299    48316   37     3109    1833   1287   5836 65.44
159.06/159.10	c   382210     99     1549    57194   36     3619    2017   1537   5837 65.47
159.06/159.10	c   382685     99     2024    75159   37     4563    2219   2012   5839 65.53
159.06/159.10	c   383498     99     1695    62684   36     3845    2441   1683   5843 65.63
159.06/159.10	c   384818     99     1764    64749   36     3983    2686   1752   5847 65.81
159.06/159.10	c   386899     99     2474    92101   37     5408    2955   2462   5854 66.09
159.06/159.10	c   390122     99     2672   102716   38     5806    3251   2660   5862 66.55
159.06/159.10	c   395058     99     2632   103156   39     5724    3577   2620   5870 67.30
159.06/159.10	c   402564     98     2838   109383   38     6135    3935   2826   5878 68.47
159.06/159.10	c   413925     98     2194    83700   38     4845    4329   2182   5898 70.17
159.06/159.10	c   431070     98     3954   154253   39     8371    4762   3942   5914 72.89
159.06/159.10	c   456890     98     3187   126230   39     6832    5239   3175   5892 77.54
159.06/159.10	c   495724     98     4869   194071   39    10194    5763   4857   5849 84.74
159.06/159.10	c   554076     98     4955   201081   40    10373    6340   4943   5818 95.23
159.06/159.10	c   641709     98     6084   242437   39    12630    6975   6072   5811 110.42
159.06/159.10	c   773261     98     3854   150283   38     8173    7673   3842   5738 134.74
159.06/159.10	o 13
193.36/193.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
193.36/193.44	c   894311     98     4917   201043   40    10342    1664   4905   5622 159.07
193.36/193.44	c   894411     98      993    38552   38     2432    1831    981   5621 159.10
193.36/193.44	c   894661     98     1243    47245   38     2940    2015   1231   5622 159.13
193.36/193.44	c   895137     98     1719    63702   37     3886    2217   1707   5623 159.18
193.36/193.44	c   895950     98     1394    51405   36     3242    2439   1382   5625 159.28
193.36/193.44	c   897271     98     1459    55827   38     3363    2683   1447   5627 159.44
193.36/193.44	c   899352     98     2165    84780   39     4783    2952   2153   5631 159.71
193.36/193.44	c   902576     98     2363    95361   40     5179    3248   2351   5635 160.16
193.36/193.44	c   907513     98     2317    92091   39     5097    3573   2305   5641 160.87
193.36/193.44	c   915019     98     2555   104007   40     5569    3931   2543   5648 161.98
193.36/193.44	c   926380     98     3948   157575   39     8351    4325   3936   5657 163.73
193.36/193.44	c   943526     98     3540   138283   39     7529    4758   3528   5671 166.35
193.36/193.44	c   969345     98     2789   112666   40     6030    5234   2777   5686 170.47
193.36/193.44	c  1008177     98     4516   179579   39     9485    5758   4504   5683 177.40
193.36/193.44	c  1066529     98     4612   181659   39     9681    6334   4600   5681 187.72
193.36/193.44	o 11
1009.82/1010.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1009.82/1010.01	c  1096793     98     6036   243375   40    12579    1664   6024   5670 193.41
1009.82/1010.01	c  1096894     98      994    38565   38     2452    1831    982   5670 193.44
1009.82/1010.01	c  1097145     98     1245    47903   38     2943    2015   1233   5671 193.47
1009.82/1010.01	c  1097621     98     1721    65380   37     3895    2217   1709   5671 193.52
1009.82/1010.01	c  1098436     98     1390    50971   36     3235    2439   1378   5673 193.62
1009.82/1010.01	c  1099756     98     1459    56055   38     3371    2683   1447   5674 193.79
1009.82/1010.01	c  1101838     98     2165    84220   38     4789    2952   2153   5677 194.07
1009.82/1010.01	c  1105061     98     2355    94943   40     5172    3248   2343   5680 194.53
1009.82/1010.01	c  1109998     98     2311    86595   37     5072    3573   2299   5686 195.19
1009.82/1010.01	c  1117504     98     2535    96449   38     5532    3931   2523   5693 196.27
1009.82/1010.01	c  1128865     98     3892   150253   38     8238    4325   3880   5702 197.97
1009.82/1010.01	c  1146009     98     3463   133891   38     7378    4758   3451   5708 200.75
1009.82/1010.01	c  1171828     98     2785   106641   38     6031    5234   2773   5717 204.94
1009.82/1010.01	c  1210661     98     4489   174677   38     9440    5758   4477   5709 212.05
1009.82/1010.01	c  1269013     98     4586   179141   39     9625    6334   4574   5701 222.58
1009.82/1010.01	c  1356645     98     5841   230766   39    12131    6968   5829   5677 238.97
1009.82/1010.01	c  1488197     98     3750   147854   39     7958    7665   3738   5631 264.26
1009.82/1010.01	c  1685630     98     4098   158681   38     8660    8432   4086   5513 305.72
1009.82/1010.01	c  1981883     98     7144   277159   38    14753    9276   7132   5429 365.00
1009.82/1010.01	c  2426366     98     7977   303652   38    16414   10204   7965   5188 467.64
1009.82/1010.01	c  3093193     98     7374   286063   38    15210   11225   7362   4879 633.90
1009.82/1010.01	c  4093539     98     8743   346033   39    17953   12348   8731   4548 899.96
1009.82/1010.01	o 9
1798.01/1798.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1798.01/1798.31	c  4501090     98     6644   267727   40    13798    1664   6632   4457 1009.85
1798.01/1798.31	c  4501191     98      994    37400   37     2449    1831    982   4457 1009.89
1798.01/1798.31	c  4501441     98     1244    46990   37     2949    2015   1232   4457 1009.93
1798.01/1798.31	c  4501916     98     1724    65687   38     3904    2217   1712   4457 1010.00
1798.01/1798.31	c  4502729     98     1394    52803   37     3247    2439   1382   4457 1010.12
1798.01/1798.31	c  4504050     98     1465    55794   38     3394    2683   1453   4458 1010.32
1798.01/1798.31	c  4506131     98     2172    83576   38     4797    2952   2160   4458 1010.63
1798.01/1798.31	c  4509355     98     2365    90785   38     5190    3248   2353   4459 1011.12
1798.01/1798.31	c  4514291     98     2335    88537   37     5129    3573   2323   4461 1011.87
1798.01/1798.31	c  4521798     98     2579   104117   40     5613    3931   2567   4463 1012.96
1798.01/1798.31	c  4533159     98     3931   158868   40     8317    4325   3919   4467 1014.67
1798.01/1798.31	c  4550304     98     3506   142939   40     7470    4758   3494   4472 1017.48
1798.01/1798.31	c  4576124     98     2765   111302   40     5989    5234   2753   4478 1021.72
1798.01/1798.31	c  4614956     98     4492   172213   38     9445    5758   4480   4488 1028.17
1798.01/1798.31	c  4673310     98     4575   184062   40     9607    6334   4563   4503 1037.80
1798.01/1798.31	c  4760943     98     5817   233497   40    12095    6968   5805   4517 1053.99
1798.01/1798.31	c  4892495     98     3715   149499   40     7892    7665   3703   4529 1080.25
1798.01/1798.31	c  5089928     98     4132   163275   39     8727    8432   4120   4530 1123.37
1798.01/1798.31	c  5386181     98     7241   285464   39    14945    9276   7229   4535 1187.55
1798.01/1798.31	c  5830663     98     8068   310550   38    16599   10204   8056   4539 1284.37
1798.01/1798.31	c  6497491     98     7581   295799   39    15620   11225   7569   4529 1434.35
1798.01/1798.31	c  7497836     98     8954   357490   39    18360   12348   8942   4464 1679.47
1798.01/1798.31	c Resources Exceeded
1798.01/1798.31	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 -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 x117 
1798.01/1798.31	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.01/1798.31	c  221  7941919  52968  8007946     6241   251945   6229   4416 1798.04
1798.01/1798.31	c Objective: 9
1798.01/1798.31	s SATISFIABLE
1798.01/1798.31	c Total time: 1798.04 s

Verifier Data 

OK	9

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-3734817-1338716841/watcher-3734817-1338716841 -o /tmp/evaluation-result-3734817-1338716841/solver-3734817-1338716841 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3734817-1338716841.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 1.98 3/176 619
/proc/meminfo: memFree=28236808/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=18604 CPUtime=0 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 293 0 0 0 0 0 0 0 20 0 1 0 337810070 19050496 245 33554432000 134512640 137136520 4287648336 4287647452 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 4651 245 196 641 0 4007 0

[startup+0.0164261 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 619
/proc/meminfo: memFree=28236808/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=10792 CPUtime=0.01 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 320 0 0 0 1 0 0 0 20 0 1 0 337810070 11051008 272 33554432000 134512640 137136520 4287648336 4287647452 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 2698 272 196 641 0 2054 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10792

[startup+0.100194 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 619
/proc/meminfo: memFree=28236808/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=11292 CPUtime=0.09 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 434 0 0 0 9 0 0 0 20 0 1 0 337810070 11563008 386 33554432000 134512640 137136520 4287648336 4287647452 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 2823 386 197 641 0 2179 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11292

[startup+0.300222 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 619
/proc/meminfo: memFree=28236808/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=11916 CPUtime=0.29 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 589 0 0 0 29 0 0 0 20 0 1 0 337810070 12201984 541 33554432000 134512640 137136520 4287648336 4287647024 134607060 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 2979 541 197 641 0 2335 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11916

[startup+0.700222 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 619
/proc/meminfo: memFree=28236808/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=12044 CPUtime=0.69 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 615 0 0 0 69 0 0 0 20 0 1 0 337810070 12333056 567 33554432000 134512640 137136520 4287648336 4287647024 136499604 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 3011 567 197 641 0 2367 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12044

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 620
/proc/meminfo: memFree=28234916/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=12168 CPUtime=1.49 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 661 0 0 0 149 0 0 0 20 0 1 0 337810070 12460032 613 33554432000 134512640 137136520 4287648336 4287647452 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 3042 613 197 641 0 2398 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12168

[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 620
/proc/meminfo: memFree=28234552/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=12428 CPUtime=3.08 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 726 0 0 0 308 0 0 0 20 0 1 0 337810070 12726272 678 33554432000 134512640 137136520 4287648336 4287647452 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 3107 678 197 641 0 2463 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 12428

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 620
/proc/meminfo: memFree=28233948/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=12808 CPUtime=6.29 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 802 0 0 0 628 1 0 0 20 0 1 0 337810070 13115392 754 33554432000 134512640 137136520 4287648336 4287647232 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 3202 754 197 641 0 2558 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12808

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 620
/proc/meminfo: memFree=28233352/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=13296 CPUtime=12.69 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 923 0 0 0 1266 3 0 0 20 0 1 0 337810070 13615104 875 33554432000 134512640 137136520 4287648336 4287647452 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 3324 875 197 641 0 2680 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13296

[startup+25.5001 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 620
/proc/meminfo: memFree=28232996/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=13804 CPUtime=25.48 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 1054 0 0 0 2540 8 0 0 20 0 1 0 337810070 14135296 1006 33554432000 134512640 137136520 4287648336 4287647452 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 3451 1006 197 641 0 2807 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 13804

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 620
/proc/meminfo: memFree=28232436/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=14376 CPUtime=51.08 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 1191 0 0 0 5090 18 0 0 20 0 1 0 337810070 14721024 1150 33554432000 134512640 137136520 4287648336 4287647048 136501984 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 3594 1150 197 641 0 2950 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 14376

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 620
/proc/meminfo: memFree=28232064/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=14824 CPUtime=102.27 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 1319 0 0 0 10191 36 0 0 20 0 1 0 337810070 15179776 1274 33554432000 134512640 137136520 4287648336 4287647452 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 3706 1274 197 641 0 3062 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 14824

[startup+162.3 s]
/proc/loadavg: 2.08 2.02 1.98 3/178 623
/proc/meminfo: memFree=28230000/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=15816 CPUtime=162.26 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 1561 0 0 0 16168 58 0 0 20 0 1 0 337810070 16195584 1528 33554432000 134512640 137136520 4287648336 4287647452 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 3954 1528 197 641 0 3310 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 15816

[startup+222.3 s]
/proc/loadavg: 2.03 2.01 1.98 3/177 624
/proc/meminfo: memFree=28230896/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=15188 CPUtime=222.26 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 1561 0 0 0 22145 81 0 0 20 0 1 0 337810070 15552512 1375 33554432000 134512640 137136520 4287648336 4287647016 136502195 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 3797 1375 197 641 0 3153 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 15188

[startup+282.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/177 624
/proc/meminfo: memFree=28230896/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=15568 CPUtime=282.24 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 1646 0 0 0 28123 101 0 0 20 0 1 0 337810070 15941632 1460 33554432000 134512640 137136520 4287648336 4287646976 134606752 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 3892 1460 197 641 0 3248 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 15568

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 624
/proc/meminfo: memFree=28230212/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=16284 CPUtime=342.23 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 1815 0 0 0 34103 120 0 0 20 0 1 0 337810070 16674816 1628 33554432000 134512640 137136520 4287648336 4287647376 134540859 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 4071 1628 197 641 0 3427 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 16284

[startup+402.3 s]
/proc/loadavg: 2.07 2.02 1.99 3/177 672
/proc/meminfo: memFree=28233784/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=16660 CPUtime=402.23 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 1908 0 0 0 40086 137 0 0 20 0 1 0 337810070 17059840 1721 33554432000 134512640 137136520 4287648336 4287647452 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 4165 1721 197 641 0 3521 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 16660

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/177 672
/proc/meminfo: memFree=28233052/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=16612 CPUtime=462.21 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 1908 0 0 0 46068 153 0 0 20 0 1 0 337810070 17010688 1721 33554432000 134512640 137136520 4287648336 4287647232 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 4153 1721 197 641 0 3509 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 16612

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/177 673
/proc/meminfo: memFree=28230944/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=17080 CPUtime=522.21 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 2024 0 0 0 52054 167 0 0 20 0 1 0 337810070 17489920 1837 33554432000 134512640 137136520 4287648336 4287647264 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 4270 1837 197 641 0 3626 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 17080

[startup+582.3 s]
/proc/loadavg: 2.05 2.01 1.99 3/177 673
/proc/meminfo: memFree=28231192/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=17080 CPUtime=582.19 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 2024 0 0 0 58040 179 0 0 20 0 1 0 337810070 17489920 1837 33554432000 134512640 137136520 4287648336 4287646856 136502385 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 4270 1837 197 641 0 3626 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 17080

[startup+642.3 s]

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

/proc/meminfo: memFree=28223732/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=18628 CPUtime=1062.12 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 2452 0 0 0 105927 285 0 0 20 0 1 0 337810070 19075072 2235 33554432000 134512640 137136520 4287648336 4287646960 134542155 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 4657 2235 197 641 0 4013 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 18628

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 700
/proc/meminfo: memFree=28223492/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=18628 CPUtime=1122.11 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 2452 0 0 0 111908 303 0 0 20 0 1 0 337810070 19075072 2235 33554432000 134512640 137136520 4287648336 4287647452 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 4657 2235 197 641 0 4013 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 18628

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 700
/proc/meminfo: memFree=28223740/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=18628 CPUtime=1182.1 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 2452 0 0 0 117892 318 0 0 20 0 1 0 337810070 19075072 2235 33554432000 134512640 137136520 4287648336 4287647452 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 4657 2235 197 641 0 4013 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 18628

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 700
/proc/meminfo: memFree=28223616/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=18628 CPUtime=1242.1 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 2452 0 0 0 123876 334 0 0 20 0 1 0 337810070 19075072 2235 33554432000 134512640 137136520 4287648336 4287646772 136498241 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 4657 2235 197 641 0 4013 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 18628

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 700
/proc/meminfo: memFree=28223616/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=18628 CPUtime=1302.09 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 2452 0 0 0 129859 350 0 0 20 0 1 0 337810070 19075072 2235 33554432000 134512640 137136520 4287648336 4287647452 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 4657 2235 197 641 0 4013 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 18628

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 703
/proc/meminfo: memFree=28223088/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=18628 CPUtime=1362.07 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 2452 0 0 0 135842 365 0 0 20 0 1 0 337810070 19075072 2235 33554432000 134512640 137136520 4287648336 4287647452 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 4657 2235 197 641 0 4013 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 18628

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 704
/proc/meminfo: memFree=28223748/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=18628 CPUtime=1422.08 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 2452 0 0 0 141826 382 0 0 20 0 1 0 337810070 19075072 2235 33554432000 134512640 137136520 4287648336 4287647232 134543921 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 4657 2235 197 641 0 4013 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 18628

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 704
/proc/meminfo: memFree=28223748/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=18628 CPUtime=1482.06 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 2452 0 0 0 147810 396 0 0 20 0 1 0 337810070 19075072 2235 33554432000 134512640 137136520 4287648336 4287647264 134543939 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 4657 2235 197 641 0 4013 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 18628

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 704
/proc/meminfo: memFree=28223876/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=18628 CPUtime=1542.05 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 2452 0 0 0 153794 411 0 0 20 0 1 0 337810070 19075072 2235 33554432000 134512640 137136520 4287648336 4287647264 134544396 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 4657 2235 197 641 0 4013 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 18628

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 704
/proc/meminfo: memFree=28223752/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=18628 CPUtime=1602.04 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 2452 0 0 0 159776 428 0 0 20 0 1 0 337810070 19075072 2235 33554432000 134512640 137136520 4287648336 4287647264 134544393 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 4657 2235 197 641 0 4013 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 18628

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 704
/proc/meminfo: memFree=28223752/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=18628 CPUtime=1662.03 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 2452 0 0 0 165761 442 0 0 20 0 1 0 337810070 19075072 2235 33554432000 134512640 137136520 4287648336 4287647232 134543837 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 4657 2235 197 641 0 4013 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 18628

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 705
/proc/meminfo: memFree=28223752/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=18628 CPUtime=1722.02 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 2452 0 0 0 171745 457 0 0 20 0 1 0 337810070 19075072 2235 33554432000 134512640 137136520 4287648336 4287647048 136502195 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 4657 2235 197 641 0 4013 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 18628

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 705
/proc/meminfo: memFree=28223628/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=18628 CPUtime=1782.01 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 2452 0 0 0 177728 473 0 0 20 0 1 0 337810070 19075072 2235 33554432000 134512640 137136520 4287648336 4287647264 134544252 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 4657 2235 197 641 0 4013 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 18628

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 705
/proc/meminfo: memFree=28223752/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=18740 CPUtime=1791.62 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 2460 0 0 0 178686 476 0 0 20 0 1 0 337810070 19189760 2243 33554432000 134512640 137136520 4287648336 4287645528 134599906 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 4685 2243 197 641 0 4041 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 18740

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 705
/proc/meminfo: memFree=28223752/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=18740 CPUtime=1794.81 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 2460 0 0 0 179004 477 0 0 20 0 1 0 337810070 19189760 2243 33554432000 134512640 137136520 4287648336 4287647232 134544440 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 4685 2243 197 641 0 4041 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 18740

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 705
/proc/meminfo: memFree=28223752/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=18740 CPUtime=1796.41 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 2460 0 0 0 179163 478 0 0 20 0 1 0 337810070 19189760 2243 33554432000 134512640 137136520 4287648336 4287646888 136502025 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 4685 2243 197 641 0 4041 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 18740

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 705
/proc/meminfo: memFree=28223752/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=18740 CPUtime=1797.21 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 2460 0 0 0 179243 478 0 0 20 0 1 0 337810070 19189760 2243 33554432000 134512640 137136520 4287648336 4287647452 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 4685 2243 197 641 0 4041 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 18740

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 705
/proc/meminfo: memFree=28223752/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=18740 CPUtime=1797.61 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 2460 0 0 0 179283 478 0 0 20 0 1 0 337810070 19189760 2243 33554432000 134512640 137136520 4287648336 4287647264 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 4685 2243 197 641 0 4041 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 18740

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 705
/proc/meminfo: memFree=28223752/32873648 swapFree=6864/6864
[pid=619] ppid=617 vsize=18740 CPUtime=1798.01 cores=0,2,4,6
/proc/619/stat : 619 (bsolo) R 617 619 31961 0 -1 4202496 2460 0 0 0 179323 478 0 0 20 0 1 0 337810070 19189760 2243 33554432000 134512640 137136520 4287648336 4287647376 134540852 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/619/statm: 4685 2243 197 641 0 4041 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 18740

Child status: 0
Real time (s): 1798.32
CPU time (s): 1798.04
CPU user time (s): 1793.25
CPU system time (s): 4.78227
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 18740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.25
system time used= 4.78227
maximum resident set size= 8976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2462
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 1920

runsolver used 2.89956 second user time and 6.73897 second system time

The end

Launcher Data 

Begin job on node120 at 2012-06-03 11:47:21
IDJOB=3734817
IDBENCH=2908
IDSOLVER=2320
FILE ID=node120/3734817-1338716841
RUNJOBID= node120-1338713480-31977
PBS_JOBID= 14636735
Free space on /tmp= 70772 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_2.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734817-1338716841/watcher-3734817-1338716841 -o /tmp/evaluation-result-3734817-1338716841/solver-3734817-1338716841 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3734817-1338716841.opb

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

MD5SUM BENCH= b690996610ff381ef60353517fe5a0e9
RANDOM SEED=811775081

node120.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.456
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.91
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.456
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.456
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.92
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.456
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.88
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.456
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.456
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.83
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.456
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.91
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.456
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:        28236972 kB
Buffers:          565360 kB
Cached:          3118296 kB
SwapCached:         1580 kB
Active:          1718360 kB
Inactive:        1988244 kB
Active(anon):      15176 kB
Inactive(anon):     9224 kB
Active(file):    1703184 kB
Inactive(file):  1979020 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67103516 kB
Dirty:              3888 kB
Writeback:             0 kB
AnonPages:         26860 kB
Mapped:            11928 kB
Shmem:                32 kB
Slab:             794208 kB
SReclaimable:     238552 kB
SUnreclaim:       555656 kB
KernelStack:        1472 kB
PageTables:         4440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     144968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3734817-1338716841.opb

Free space on /tmp at the end= 70768 MiB
End job on node120 at 2012-06-03 12:17:19