Trace number 3734938

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.1SAT2 1798 1798.28

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_1.opb
MD5SUM5bf563c7058af01702ea80887f1d43ad
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1789.91
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved NO
Number of variables120
Total number of constraints10
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 constraints10
Minimum length of a constraint55
Maximum length of a constraint56
Number of terms in the objective function 80
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 2550
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1086
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3768
Number of bits of the biggest sum of numbers12
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-3734938-1338717994.opb
0.00/0.00	c File size is 5459 bytes.
0.00/0.00	c Highest Coefficient sum: 3768
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 120 Constr: 10 0/0/10 Lit: 558 Watch. Lit: 162
0.00/0.00	c Obj. Vars: 80 (66.6667 % 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    120       10      558   55      164    1116      0 -2147483648 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 1090
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    120       11      638   58      427    1276      1 -2147483648 0.00
0.00/0.00	o 1016
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       15    120       29     1684   58      560    1276     19   7500 0.00
0.00/0.00	o 1013
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       22    120       37     2109   57      633    1276     27   7333 0.00
0.00/0.00	o 995
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       23    120       39     2223   57      695    1276     29   7666 0.00
0.00/0.00	o 993
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       37    120       54     3191   59      804    1276     44   7400 0.01
0.00/0.00	o 971
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       39    120       57     3372   59      865    1276     47   6500 0.01
0.00/0.00	o 969
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       40    120       59     3522   59      937    1276     49   6666 0.01
0.00/0.01	o 967
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       71    120       97     5724   59     1115    1276     87   6454 0.01
0.00/0.01	o 774
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       96    120      124     7192   58     1116    1276    114   6400 0.01
0.00/0.01	o 770
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       99    120      128     7413   57     1200    1276    118   6600 0.01
0.00/0.01	o 768
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      109    120      139     8037   57     1237    1276    129   6411 0.02
0.00/0.01	o 290
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      109    120      140     8117   57     1197    1276    130   6411 0.02
0.00/0.01	o 277
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      112    120      144     8305   57     1215    1276    134   6588 0.02
0.00/0.01	o 253
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      113    120      146     8412   57     1288    1276    136   6277 0.02
0.00/0.01	o 245
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      114    120      148     8545   57     1363    1276    138   6333 0.02
0.00/0.02	o 237
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      121    120      156     8830   56     1444    1276    146   6368 0.02
0.00/0.02	o 235
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      125    120      161     9143   56     1513    1276    151   6250 0.02
0.00/0.02	o 116
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      184    120      221    10960   49     1626    1276    211   7076 0.03
0.00/0.02	o 114
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      199    120      237    11648   49     1711    1276    227   7107 0.03
0.00/0.03	o 112
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      283    116      322    14337   44     1887    1268    312   7648 0.04
0.00/0.03	o 110
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      292    116      332    14682   44     1975    1268    322   7684 0.04
0.00/0.04	o 108
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      347    116      388    16263   41     2141    1268    378   7711 0.04
0.00/0.04	o 106
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c      348    116      390    16408   42     2218    1268    380   7733 0.04
0.19/0.27	c      449    115      494    19078   38     2478    1395    484   8017 0.06
0.19/0.27	c      700    115      748    25364   33     2970    1535    738   8536 0.08
0.19/0.27	c     1177    115     1240    38187   30     3980    1689   1230   8591 0.14
0.19/0.27	c     1995    115     1193    33128   27     2868    1858   1183   8417 0.24
0.19/0.27	o 98
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c     2279    115     1488    42807   28     3560    1266   1478   8317 0.27
0.29/0.30	c     2379    115      750    23421   31     1909    1393    740   8260 0.29
0.29/0.30	o 91
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c     2482    115      857    27368   31     2224    1266    847   8301 0.30
0.29/0.30	o 89
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c     2517    115      893    28363   31     2366    1266    883   8306 0.30
0.29/0.30	o 87
0.29/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.37	c     2532    115      909    29127   32     2471    1266    899   8301 0.30
0.29/0.37	c     2632    114     1009    31751   31     2669    1393    999   8302 0.32
0.29/0.37	c     2882    113     1260    38184   30     3168    1533   1250   8329 0.35
0.29/0.37	o 85
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c     3094    113     1475    44409   30     3674    1262   1465   8250 0.38
0.29/0.39	c     3196    113      757    22004   29     1934    1389    747   8237 0.39
0.29/0.39	o 83
0.59/0.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.69	c     3271    113      836    24337   29     2163    1262    826   8239 0.40
0.59/0.69	c     3372    113      937    26873   28     2365    1389    927   8285 0.41
0.59/0.69	c     3623    113     1190    33410   28     2863    1528   1180   8347 0.43
0.59/0.69	c     4098    113      874    22727   26     2216    1681    864   8380 0.49
0.59/0.69	c     4912    113     1690    43924   25     3857    1850   1680   8468 0.58
0.59/0.69	o 75
0.69/0.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.70	c     5856    113     1690    44230   26     3946    1262   1680   8413 0.70
0.69/0.70	o 71
0.79/0.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.86	c     5920    113      720    19043   26     1912    1262    710   8385 0.71
0.79/0.86	c     6021    113      823    22403   27     2124    1389    813   8374 0.72
0.79/0.86	c     6271    113     1074    29853   27     2623    1528   1064   8372 0.75
0.79/0.86	c     6746    113      782    23298   29     1967    1681    772   8359 0.81
0.79/0.86	o 70
1.09/1.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.11	c     7256    112     1301    37058   28     3076    1260   1291   8388 0.86
1.09/1.11	c     7356    111      754    20740   27     1906    1387    744   8387 0.88
1.09/1.11	c     7606    111     1004    28905   28     2418    1526    994   8358 0.91
1.09/1.11	c     8082    111     1480    43669   29     3367    1679   1470   8280 0.98
1.09/1.11	c     8895    111     1420    40644   28     3240    1847   1410   8228 1.08
1.09/1.11	o 67
1.29/1.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.38	c     9126    111     1653    46723   28     3774    1258   1643   8229 1.11
1.29/1.38	c     9226    111      749    20441   27     1890    1384    739   8230 1.12
1.29/1.38	c     9476    111     1001    26775   26     2399    1523    991   8254 1.15
1.29/1.38	c     9951    110     1480    40442   27     3374    1676   1470   8237 1.21
1.29/1.38	c    10764    110     1423    42422   29     3250    1844   1413   8198 1.31
1.29/1.38	o 60
1.29/1.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.38	c    11247    110      968    29798   30     2407    1256    958   8120 1.39
1.29/1.38	o 58
1.29/1.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.38	c    11252    109      974    30031   30     2487    1254    964   8118 1.39
1.29/1.38	o 56
1.29/1.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.39	c    11256    108      979    30255   30     2562    1252    969   8121 1.39
1.29/1.39	o 54
1.29/1.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.39	c    11273    108      997    31148   31     2664    1252    987   8121 1.39
1.29/1.39	o 52
1.39/1.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.41	c    11289    108     1014    31958   31     2765    1252   1004   8115 1.39
1.39/1.41	c    11389    104     1114    34388   30     2957    1378   1104   8106 1.41
1.39/1.41	o 50
1.39/1.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.43	c    11467    104     1195    36785   30     3189    1244   1185   8098 1.42
1.39/1.43	c    11567    103      650    18712   28     1682    1369    640   8083 1.43
1.39/1.43	o 39
1.59/1.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.64	c    11600    103      685    19651   28     1824    1242    675   8077 1.44
1.59/1.64	c    11700    103      785    22318   28     2024    1367    775   8085 1.45
1.59/1.64	c    11950    102     1036    28942   27     2520    1504   1026   8096 1.48
1.59/1.64	c    12426    101     1512    41273   27     3470    1655   1502   8110 1.53
1.59/1.64	c    13240    100     1478    38543   26     3345    1821   1468   8142 1.63
1.59/1.64	o 38
1.59/1.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.65	c    13403    100     1642    42983   26     3730    1236   1632   8142 1.65
1.59/1.65	o 34
1.79/1.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.85	c    13479    100      734    19211   26     1908    1236    724   8134 1.66
1.79/1.85	c    13579    100      834    21662   25     2108    1360    824   8140 1.67
1.79/1.85	c    13829    100     1084    28035   25     2596    1497   1074   8153 1.70
1.79/1.85	c    14304    100      793    19251   24     1963    1647    783   8159 1.75
1.79/1.85	c    15117    100     1609    40547   25     3597    1812   1599   8202 1.84
1.79/1.85	o 29
1.79/1.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.85	c    15194    100     1687    42451   25     3816    1236   1677   8204 1.85
1.79/1.85	o 27
1.79/1.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.87	c    15201     97      657    16370   24     1749    1230    647   8194 1.85
1.79/1.87	c    15301     91      757    19205   25     1942    1354    747   8191 1.87
1.79/1.87	o 23
1.89/1.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.92	c    15369     91      826    21287   25     2124    1218    816   8192 1.88
1.89/1.92	c    15470     90      927    24246   26     2327    1340    917   8189 1.89
1.89/1.92	o 21
1.89/1.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.96	c    15716     90     1174    31410   26     2869    1216   1164   8193 1.92
1.89/1.96	c    15817     90      649    18448   28     1654    1338    639   8186 1.93
1.89/1.96	c    16067     90      914    25819   28     2184    1472    904   8197 1.96
1.89/1.96	o 19
1.99/2.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.07	c    16088     90      936    26458   28     2281    1216    926   8195 1.96
1.99/2.07	c    16189     90     1037    29350   28     2485    1338   1027   8196 1.98
1.99/2.07	c    16439     90     1287    36564   28     2983    1472   1277   8194 2.01
1.99/2.07	c    16916     90     1012    28628   28     2386    1620   1002   8179 2.07
1.99/2.07	o 16
2.99/3.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.09	c    16924     90     1021    29038   28     2452    1216   1011   8179 2.07
2.99/3.09	c    17024     82     1121    31798   28     2643    1338   1111   8180 2.08
2.99/3.09	c    17274     80     1371    39376   28     3137    1472   1361   8178 2.11
2.99/3.09	c    17750     80     1085    32365   29     2522    1620   1075   8183 2.17
2.99/3.09	c    18564     80     1066    32711   30     2483    1783   1056   8192 2.27
2.99/3.09	c    19884     80     1477    45844   31     3301    1962   1467   8179 2.43
2.99/3.09	c    21965     80     1555    46385   29     3457    2159   1545   8202 2.68
2.99/3.09	c    25189     80     1471    43985   29     3293    2375   1461   8247 3.05
2.99/3.09	o 15
3.19/3.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.19/3.24	c    25525     80     1808    53963   29     4002    1196   1798   8249 3.09
3.19/3.24	c    25625     80      749    21864   29     1837    1316    739   8247 3.11
3.19/3.24	c    25875     80      999    29558   29     2332    1448    989   8258 3.13
3.19/3.24	c    26350     80     1474    44243   30     3283    1593   1464   8267 3.19
3.19/3.24	o 14
4.89/4.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.89/4.93	c    26818     80     1125    33900   30     2629    1196   1115   8266 3.24
4.89/4.93	c    26919     80     1226    37119   30     2833    1316   1216   8270 3.25
4.89/4.93	c    27169     80      805    24127   29     1950    1448    795   8278 3.28
4.89/4.93	c    27644     80     1280    38351   29     2899    1593   1270   8301 3.33
4.89/4.93	c    28457     80     1265    36967   29     2868    1753   1255   8332 3.42
4.89/4.93	c    29777     80     1682    50619   30     3705    1929   1672   8352 3.56
4.89/4.93	c    31859     80     1777    55649   31     3887    2122   1767   8359 3.81
4.89/4.93	c    35083     80     1741    54272   31     3824    2335   1731   8373 4.19
4.89/4.93	c    40020     80     1898    59235   31     4138    2569   1888   8354 4.79
4.89/4.93	o 12
9.29/9.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.29/9.37	c    41139     80     1704    52409   30     3781    1196   1694   8348 4.93
9.29/9.37	c    41239     80      749    22191   29     1838    1316    739   8347 4.94
9.29/9.37	c    41490     80     1000    29423   29     2336    1448    990   8359 4.96
9.29/9.37	c    41965     80     1475    43014   29     3291    1593   1465   8376 5.01
9.29/9.37	c    42779     80     1469    41613   28     3278    1753   1459   8401 5.09
9.29/9.37	c    44099     80      990    28884   29     2308    1929    980   8435 5.23
9.29/9.37	c    46180     80     1096    31894   29     2532    2122   1086   8474 5.45
9.29/9.37	c    49403     80     2145    62887   29     4631    2335   2135   8495 5.82
9.29/9.37	c    54339     80     2300    71770   31     4940    2569   2290   8486 6.40
9.29/9.37	c    61845     80     1934    61124   31     4209    2826   1924   8389 7.37
9.29/9.37	c    73206     80     1767    54735   30     3872    3109   1757   8240 8.88
9.29/9.37	o 11
18.39/18.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.39/18.44	c    76617     80     2016    63063   31     4412    1196   2006   8178 9.37
18.39/18.44	c    76717     80      749    22722   30     1840    1316    739   8177 9.38
18.39/18.44	c    76967     80     1000    30594   30     2338    1448    990   8179 9.41
18.39/18.44	c    77443     80     1478    45660   30     3295    1593   1468   8182 9.46
18.39/18.44	c    78257     80     1476    44661   30     3293    1753   1466   8188 9.56
18.39/18.44	c    79577     80      994    29447   29     2331    1929    984   8197 9.71
18.39/18.44	c    81658     80     1097    32742   29     2536    2122   1087   8212 9.94
18.39/18.44	c    84881     80     2139    65363   30     4617    2335   2129   8210 10.34
18.39/18.44	c    89817     80     2285    70673   30     4906    2569   2275   8216 10.93
18.39/18.44	c    97323     80     1926    57860   30     4192    2826   1916   8188 11.89
18.39/18.44	c   108685     80     1777    53059   29     3894    3109   1767   8127 13.37
18.39/18.44	c   125829     80     3147    98672   31     6634    3420   3137   8016 15.70
18.39/18.44	o 9
23.19/23.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
23.19/23.30	c   145411     80     1902    58986   31     4186    1196   1892   7884 18.44
23.19/23.30	c   145511     80      749    22737   30     1844    1316    739   7885 18.45
23.19/23.30	c   145762     80     1000    30250   30     2341    1448    990   7887 18.48
23.19/23.30	c   146238     80     1476    45319   30     3296    1593   1466   7892 18.53
23.19/23.30	c   147052     80     1468    45207   30     3277    1753   1458   7895 18.62
23.19/23.30	c   148373     80      995    29148   29     2330    1929    985   7901 18.78
23.19/23.30	c   150455     80     1095    32319   29     2537    2122   1085   7908 19.02
23.19/23.30	c   153678     80     2155    63419   29     4656    2335   2145   7921 19.40
23.19/23.30	c   158614     80     2306    69182   30     4954    2569   2296   7920 20.02
23.19/23.30	c   166120     80     1949    57142   29     4233    2826   1939   7910 21.00
23.19/23.30	c   177484     80     1818    54905   30     3979    3109   1808   7887 22.50
23.19/23.30	o 7
84.58/84.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
84.58/84.66	c   183237     80     2824    87996   31     6025    1196   2814   7865 23.30
84.58/84.66	c   183337     76      749    22501   30     1825    1316    739   7865 23.31
84.58/84.66	c   183588     73     1000    30056   30     2328    1448    990   7866 23.34
84.58/84.66	c   184063     72     1477    44067   29     3277    1593   1467   7869 23.39
84.58/84.66	c   184878     72     1470    43091   29     3269    1753   1460   7873 23.48
84.58/84.66	c   186199     72      984    28149   28     2294    1929    974   7878 23.63
84.58/84.66	c   188280     72     1085    31990   29     2498    2122   1075   7886 23.88
84.58/84.66	c   191503     71     2131    62708   29     4589    2335   2121   7900 24.24
84.58/84.66	c   196439     71     2297    72207   31     4914    2569   2287   7908 24.84
84.58/84.66	c   203945     70     1938    57863   29     4200    2826   1928   7910 25.78
84.58/84.66	c   215306     70     1771    53999   30     3861    3109   1761   7914 27.20
84.58/84.66	c   232450     70     3121    93802   30     6568    3420   3111   7884 29.48
84.58/84.66	c   258269     70     2886    88115   30     6097    3763   2876   7799 33.11
84.58/84.66	c   297101     70     3589   110447   30     7504    4140   3579   7693 38.62
84.58/84.66	c   355453     70     3303   102220   30     6928    4555   3293   7524 47.24
84.58/84.66	c   443086     70     3450   102729   29     7222    5011   3440   7316 60.56
84.58/84.66	c   574638     70     3427   105420   30     7180    5513   3417   7033 81.70
84.58/84.66	o 6
203.26/203.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
203.26/203.37	c   592446     70     4533   142657   31     9416    1176   4523   6998 84.66
203.26/203.37	c   592546     70      749    22377   29     1809    1294    739   6997 84.68
203.26/203.37	c   592797     70     1000    29807   29     2310    1424    990   6998 84.70
203.26/203.37	c   593272     70     1475    44117   29     3263    1567   1465   6999 84.76
203.26/203.37	c   594086     70     1489    43847   29     3288    1724   1479   7002 84.84
203.26/203.37	c   595406     70     1041    30846   29     2397    1897   1031   7005 85.00
203.26/203.37	c   597487     70     1184    33065   27     2677    2087   1174   7010 85.23
203.26/203.37	c   600710     70     1209    34576   28     2731    2296   1199   7019 85.58
203.26/203.37	c   605647     70     1463    42986   29     3242    2526   1453   7030 86.15
203.26/203.37	c   613153     70     2535    77648   30     5377    2779   2525   7042 87.06
203.26/203.37	c   624515     70     2573    77352   30     5458    3057   2563   7058 88.48
203.26/203.37	c   641659     70     2642    79202   29     5595    3363   2632   7074 90.70
203.26/203.37	c   667478     70     2868    86897   30     6053    3700   2858   7083 94.23
203.26/203.37	c   706312     70     2328    68824   29     4970    4071   2318   7091 99.61
203.26/203.37	c   764664     70     2979    92542   31     6273    4479   2969   7061 108.28
203.26/203.37	c   852296     70     2301    70850   30     4914    4927   2291   7000 121.75
203.26/203.37	c   983851     70     4498   137992   30     9338    5420   4488   6902 142.53
203.26/203.37	c  1181284     70     5004   152125   30    10317    5963   4994   6715 175.91
203.26/203.37	o 5
450.42/450.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
450.42/450.50	c  1339703     70     4079   123066   30     8504    1176   4069   6588 203.34
450.42/450.50	c  1339804     70      750    21291   28     1816    1294    740   6588 203.36
450.42/450.50	c  1340054     70     1000    28877   28     2315    1424    990   6588 203.39
450.42/450.50	c  1340529     70     1475    42978   29     3256    1567   1465   6589 203.44
450.42/450.50	c  1341342     70     1483    43193   29     3281    1724   1473   6590 203.53
450.42/450.50	c  1342663     70     1028    28476   27     2371    1897   1018   6592 203.67
450.42/450.50	c  1344745     70     1163    34479   29     2642    2087   1153   6595 203.89
450.42/450.50	c  1347968     70     1182    35732   30     2676    2296   1172   6598 204.28
450.42/450.50	c  1352904     70     1432    44250   30     3176    2526   1422   6604 204.86
450.42/450.50	c  1360411     70     2500    74349   29     5368    2779   2490   6612 205.74
450.42/450.50	c  1371772     70     2534    76891   30     5386    3057   2524   6621 207.18
450.42/450.50	c  1388916     70     2597    78512   30     5505    3363   2587   6634 209.34
450.42/450.50	c  1414737     70     2832    87718   30     5978    3700   2822   6650 212.73
450.42/450.50	c  1453571     70     2275    69329   30     4863    4071   2265   6664 218.12
450.42/450.50	c  1511924     70     2937    89856   30     6183    4479   2927   6670 226.67
450.42/450.50	c  1599558     70     4521   139308   30     9356    4927   4511   6666 239.95
450.42/450.50	c  1731110     70     4197   128937   30     8707    5420   4187   6645 260.50
450.42/450.50	c  1928542     70     4786   149306   31     9884    5963   4776   6572 293.44
450.42/450.50	c  2224794     70     3434   103931   30     7210    6560   3424   6437 345.62
450.42/450.50	c  2669277     70     5034   149897   29    10408    7217   5024   6334 421.36
450.42/450.50	o 4
1569.05/1569.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1569.05/1569.34	c  2832096     70     4394   133858   30     9133    1176   4384   6287 450.43
1569.05/1569.34	c  2832196     70      749    21736   29     1809    1294    739   6287 450.45
1569.05/1569.34	c  2832446     69      999    28528   28     2303    1424    989   6287 450.48
1569.05/1569.34	c  2832921     69     1474    41736   28     3259    1567   1464   6288 450.52
1569.05/1569.34	c  2833734     68     1480    40855   27     3267    1724   1470   6288 450.60
1569.05/1569.34	c  2835054     68     1032    29656   28     2371    1897   1022   6289 450.73
1569.05/1569.34	c  2837136     67     1169    33194   28     2645    2087   1159   6291 450.96
1569.05/1569.34	c  2840359     65     1192    33644   28     2682    2296   1182   6293 451.33
1569.05/1569.34	c  2845295     64     1443    41687   28     3185    2526   1433   6295 451.93
1569.05/1569.34	c  2852801     64     2502    76172   30     5307    2779   2492   6299 452.85
1569.05/1569.34	c  2864162     64     2567    76792   29     5432    3057   2557   6305 454.25
1569.05/1569.34	c  2881306     64     2603    77417   29     5506    3363   2593   6312 456.46
1569.05/1569.34	c  2907126     62     2814    82860   29     5925    3700   2804   6322 459.83
1569.05/1569.34	c  2945959     62     2273    65712   28     4841    4071   2263   6333 465.12
1569.05/1569.34	c  3004313     62     2976    90817   30     6251    4479   2966   6346 473.38
1569.05/1569.34	c  3091946     62     4544   138072   30     9381    4927   4534   6362 485.93
1569.05/1569.34	c  3223499     61     4205   129178   30     8707    5420   4195   6368 506.16
1569.05/1569.34	c  3420931     60     4686   140706   30     9668    5963   4676   6372 536.84
1569.05/1569.34	c  3717183     60     3363   102376   30     7021    6560   3353   6349 585.44
1569.05/1569.34	c  4161666     60     5007   151383   30    10312    7217   4997   6301 660.47
1569.05/1569.34	c  4828495     60     7121   203594   28    14536    7939   7111   6197 779.09
1569.05/1569.34	c  5828840     60     5139   155784   30    10573    8733   5129   6005 970.59
1569.05/1569.34	c  7329464     60     8632   262948   30    17562    9607   8622   5752 1274.09
1569.05/1569.34	o 2
1797.91/1798.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.27	c  8700702     60     8874   271894   30    18061    1156   8864   5544 1569.11
1797.91/1798.27	c  8700802     60      749    21349   28     1782    1272    739   5544 1569.15
1797.91/1798.27	c  8701054     60     1001    28861   28     2289    1400    991   5544 1569.18
1797.91/1798.27	c  8701530     60      771    21486   27     1823    1541    761   5545 1569.23
1797.91/1798.27	c  8702343     60     1587    45559   28     3462    1696   1577   5545 1569.32
1797.91/1798.27	c  8703663     60     1167    33545   28     2619    1866   1157   5545 1569.45
1797.91/1798.27	c  8705744     60     1324    37707   28     2929    2053   1314   5546 1569.68
1797.91/1798.27	c  8708968     60     1401    41443   29     3085    2259   1391   5546 1570.04
1797.91/1798.27	c  8713906     60     1728    48647   28     3742    2485   1718   5548 1570.58
1797.91/1798.27	c  8721413     60     1623    47015   28     3522    2734   1613   5549 1571.43
1797.91/1798.27	c  8732774     60     1836    55975   30     3956    3008   1826   5552 1572.83
1797.91/1798.27	c  8749918     60     2155    64434   29     4587    3309   2145   5555 1575.03
1797.91/1798.27	c  8775737     60     2789    82612   29     5861    3640   2779   5560 1578.25
1797.91/1798.27	c  8814569     60     2871    87260   30     6024    4005   2861   5566 1583.44
1797.91/1798.27	c  8872921     58     2404    72761   30     5091    4406   2394   5575 1591.51
1797.91/1798.27	c  8960553     57     3101    93498   30     6484    4847   3091   5584 1604.51
1797.91/1798.27	c  9092105     56     2499    68892   27     5271    5332   2489   5599 1623.72
1797.91/1798.27	c  9289537     56     3501   107723   30     7275    5866   3491   5609 1656.16
1797.91/1798.27	c  9585789     54     3854   118131   30     7979    6453   3844   5622 1704.96
1797.91/1798.27	c 10030272     53     6243   183943   29    12761    7099   6233   5628 1782.14
1797.91/1798.27	c Resources Exceeded
1797.91/1798.27	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 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 -x90 
1797.91/1798.27	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.27	c  240 10125667  36767 10169645     5125   150267   5115   5631 1798.00
1797.91/1798.27	c Objective: 2
1797.91/1798.27	s SATISFIABLE
1797.91/1798.27	c Total time: 1798 s

Verifier Data 

OK	2

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-3734938-1338717994/watcher-3734938-1338717994 -o /tmp/evaluation-result-3734938-1338717994/solver-3734938-1338717994 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3734938-1338717994.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.03 2.01 1.93 3/178 15091
/proc/meminfo: memFree=29149704/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=18600 CPUtime=0 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 300 0 0 0 0 0 0 0 20 0 1 0 337924218 19046400 252 33554432000 134512640 137136520 4290242656 4290241772 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 4650 252 196 641 0 4006 0

[startup+0.0964001 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 15091
/proc/meminfo: memFree=29149704/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=11164 CPUtime=0.09 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 408 0 0 0 9 0 0 0 20 0 1 0 337924218 11431936 360 33554432000 134512640 137136520 4290242656 4290241772 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 2791 360 197 641 0 2147 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11164

[startup+0.100208 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 15091
/proc/meminfo: memFree=29149704/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=11164 CPUtime=0.09 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 412 0 0 0 9 0 0 0 20 0 1 0 337924218 11431936 364 33554432000 134512640 137136520 4290242656 4290241772 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 2791 364 197 641 0 2147 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11164

[startup+0.300203 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 15091
/proc/meminfo: memFree=29149704/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=11540 CPUtime=0.29 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 511 0 0 0 29 0 0 0 20 0 1 0 337924218 11816960 463 33554432000 134512640 137136520 4290242656 4290241424 134576641 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 2885 463 197 641 0 2241 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11540

[startup+0.700222 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 15091
/proc/meminfo: memFree=29149704/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=11540 CPUtime=0.69 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 511 0 0 0 69 0 0 0 20 0 1 0 337924218 11816960 463 33554432000 134512640 137136520 4290242656 4290241772 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 2885 463 197 641 0 2241 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11540

[startup+1.50021 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 15092
/proc/meminfo: memFree=29148440/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=11664 CPUtime=1.48 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 523 0 0 0 148 0 0 0 20 0 1 0 337924218 11943936 475 33554432000 134512640 137136520 4290242656 4290241772 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 2916 475 197 641 0 2272 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11664

[startup+3.10019 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 15092
/proc/meminfo: memFree=29148036/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=11792 CPUtime=3.09 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 569 0 0 0 308 1 0 0 20 0 1 0 337924218 12075008 521 33554432000 134512640 137136520 4290242656 4290241772 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 2948 521 197 641 0 2304 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11792

[startup+6.30017 s]
/proc/loadavg: 2.02 2.01 1.93 3/179 15092
/proc/meminfo: memFree=29147556/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=12040 CPUtime=6.29 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 630 0 0 0 626 3 0 0 20 0 1 0 337924218 12328960 582 33554432000 134512640 137136520 4290242656 4290241772 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3010 582 197 641 0 2366 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12040

[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 1.93 3/179 15092
/proc/meminfo: memFree=29147100/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=12292 CPUtime=12.69 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 699 0 0 0 1264 5 0 0 20 0 1 0 337924218 12587008 651 33554432000 134512640 137136520 4290242656 4290241772 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3073 651 197 641 0 2429 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12292

[startup+25.5002 s]
/proc/loadavg: 2.10 2.02 1.94 3/179 15092
/proc/meminfo: memFree=29147248/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=12548 CPUtime=25.49 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 750 0 0 0 2538 11 0 0 20 0 1 0 337924218 12849152 702 33554432000 134512640 137136520 4290242656 4290241772 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3137 702 197 641 0 2493 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 12548

[startup+51.1002 s]
/proc/loadavg: 2.06 2.02 1.94 3/179 15092
/proc/meminfo: memFree=29146752/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=13048 CPUtime=51.09 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 887 0 0 0 5088 21 0 0 20 0 1 0 337924218 13361152 839 33554432000 134512640 137136520 4290242656 4290241772 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3262 839 197 641 0 2618 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 13048

[startup+102.306 s]
/proc/loadavg: 2.03 2.02 1.94 3/179 15092
/proc/meminfo: memFree=29146256/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=13620 CPUtime=102.28 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1012 0 0 0 10187 41 0 0 20 0 1 0 337924218 13946880 964 33554432000 134512640 137136520 4290242656 4290241772 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3405 964 197 641 0 2761 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 13620

[startup+162.3 s]
/proc/loadavg: 2.04 2.03 1.94 3/179 15092
/proc/meminfo: memFree=29145884/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=13620 CPUtime=162.27 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1012 0 0 0 16164 63 0 0 20 0 1 0 337924218 13946880 964 33554432000 134512640 137136520 4290242656 4290241584 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3405 964 197 641 0 2761 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 13620

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/180 15095
/proc/meminfo: memFree=29145628/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=13808 CPUtime=222.26 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1088 0 0 0 22139 87 0 0 20 0 1 0 337924218 14139392 1031 33554432000 134512640 137136520 4290242656 4290241552 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3452 1031 197 641 0 2808 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 13808

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/179 15096
/proc/meminfo: memFree=29145760/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=13808 CPUtime=282.25 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1088 0 0 0 28116 109 0 0 20 0 1 0 337924218 14139392 1031 33554432000 134512640 137136520 4290242656 4290241772 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3452 1031 197 641 0 2808 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 13808

[startup+342.3 s]
/proc/loadavg: 2.04 2.02 1.95 3/179 15096
/proc/meminfo: memFree=29145200/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=13876 CPUtime=342.24 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1094 0 0 0 34095 129 0 0 20 0 1 0 337924218 14209024 1036 33554432000 134512640 137136520 4290242656 4290241772 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3469 1036 197 641 0 2825 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 13876

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/179 15096
/proc/meminfo: memFree=29144828/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=14116 CPUtime=402.22 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1158 0 0 0 40072 150 0 0 20 0 1 0 337924218 14454784 1100 33554432000 134512640 137136520 4290242656 4290241772 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3529 1100 197 641 0 2885 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 14116

[startup+462.3 s]
/proc/loadavg: 2.06 2.03 1.95 3/179 15144
/proc/meminfo: memFree=29152576/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=14368 CPUtime=462.22 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1243 0 0 0 46051 171 0 0 20 0 1 0 337924218 14712832 1171 33554432000 134512640 137136520 4290242656 4290240136 134598562 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3592 1171 197 641 0 2948 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 14368

[startup+522.3 s]
/proc/loadavg: 2.02 2.02 1.95 3/179 15144
/proc/meminfo: memFree=29152328/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=14368 CPUtime=522.21 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1243 0 0 0 52027 194 0 0 20 0 1 0 337924218 14712832 1171 33554432000 134512640 137136520 4290242656 4290241208 136502161 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3592 1171 197 641 0 2948 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 14368

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/179 15193
/proc/meminfo: memFree=29152552/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=14368 CPUtime=582.2 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1243 0 0 0 58004 216 0 0 20 0 1 0 337924218 14712832 1171 33554432000 134512640 137136520 4290242656 4290241772 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3592 1171 197 641 0 2948 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 14368

[startup+642.3 s]

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

/proc/meminfo: memFree=29148932/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=15224 CPUtime=1122.11 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1453 0 0 0 111817 394 0 0 20 0 1 0 337924218 15589376 1381 33554432000 134512640 137136520 4290242656 4290241584 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3806 1381 197 641 0 3162 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 15224

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 15198
/proc/meminfo: memFree=29148932/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=15272 CPUtime=1182.11 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1458 0 0 0 117798 413 0 0 20 0 1 0 337924218 15638528 1386 33554432000 134512640 137136520 4290242656 4290241772 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3818 1386 197 641 0 3174 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 15272

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 15198
/proc/meminfo: memFree=29148808/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=15268 CPUtime=1242.1 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1460 0 0 0 123782 428 0 0 20 0 1 0 337924218 15634432 1388 33554432000 134512640 137136520 4290242656 4290241772 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3817 1388 197 641 0 3173 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 15268

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 15198
/proc/meminfo: memFree=29148560/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=15640 CPUtime=1302.1 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1551 0 0 0 129763 447 0 0 20 0 1 0 337924218 16015360 1479 33554432000 134512640 137136520 4290242656 4290241552 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3910 1479 197 641 0 3266 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 15640

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 15198
/proc/meminfo: memFree=29147628/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=15720 CPUtime=1362.08 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1569 0 0 0 135746 462 0 0 20 0 1 0 337924218 16097280 1497 33554432000 134512640 137136520 4290242656 4290241772 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3930 1497 197 641 0 3286 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 15720

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 15201
/proc/meminfo: memFree=29147248/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=15720 CPUtime=1422.08 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1577 0 0 0 141730 478 0 0 20 0 1 0 337924218 16097280 1505 33554432000 134512640 137136520 4290242656 4290241772 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3930 1505 197 641 0 3286 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 15720

[startup+1482.3 s]
/proc/loadavg: 2.09 2.03 1.97 3/178 15201
/proc/meminfo: memFree=29147264/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=15720 CPUtime=1482.06 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1579 0 0 0 147711 495 0 0 20 0 1 0 337924218 16097280 1507 33554432000 134512640 137136520 4290242656 4290241772 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3930 1507 197 641 0 3286 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 15720

[startup+1542.3 s]
/proc/loadavg: 2.03 2.02 1.97 3/179 15202
/proc/meminfo: memFree=29147504/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=15720 CPUtime=1542.05 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1579 0 0 0 153694 511 0 0 20 0 1 0 337924218 16097280 1507 33554432000 134512640 137136520 4290242656 4290241248 134616598 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3930 1507 197 641 0 3286 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 15720

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/179 15202
/proc/meminfo: memFree=29147504/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=15676 CPUtime=1602.05 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1582 0 0 0 159673 532 0 0 20 0 1 0 337924218 16052224 1498 33554432000 134512640 137136520 4290242656 4290241584 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3919 1498 197 641 0 3275 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 15676

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/179 15202
/proc/meminfo: memFree=29147380/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=15676 CPUtime=1662.03 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1582 0 0 0 165651 552 0 0 20 0 1 0 337924218 16052224 1498 33554432000 134512640 137136520 4290242656 4290241772 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3919 1498 197 641 0 3275 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 15676

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15202
/proc/meminfo: memFree=29147628/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=15676 CPUtime=1722.03 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1582 0 0 0 171629 574 0 0 20 0 1 0 337924218 16052224 1498 33554432000 134512640 137136520 4290242656 4290241772 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3919 1498 197 641 0 3275 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 15676

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15202
/proc/meminfo: memFree=29146760/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=15676 CPUtime=1782.02 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1582 0 0 0 177606 596 0 0 20 0 1 0 337924218 16052224 1498 33554432000 134512640 137136520 4290242656 4290241584 134544256 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3919 1498 197 641 0 3275 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 15676

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15203
/proc/meminfo: memFree=29147008/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=15676 CPUtime=1791.62 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1582 0 0 0 178564 598 0 0 20 0 1 0 337924218 16052224 1498 33554432000 134512640 137136520 4290242656 4290241772 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3919 1498 197 641 0 3275 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 15676

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15203
/proc/meminfo: memFree=29146884/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=15676 CPUtime=1794.82 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1582 0 0 0 178882 600 0 0 20 0 1 0 337924218 16052224 1498 33554432000 134512640 137136520 4290242656 4290241552 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3919 1498 197 641 0 3275 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 15676

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15203
/proc/meminfo: memFree=29146884/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=15676 CPUtime=1796.41 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1582 0 0 0 179041 600 0 0 20 0 1 0 337924218 16052224 1498 33554432000 134512640 137136520 4290242656 4290241696 134540918 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3919 1498 197 641 0 3275 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 15676

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15203
/proc/meminfo: memFree=29146884/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=15676 CPUtime=1797.21 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1582 0 0 0 179121 600 0 0 20 0 1 0 337924218 16052224 1498 33554432000 134512640 137136520 4290242656 4290241772 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3919 1498 197 641 0 3275 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 15676

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15203
/proc/meminfo: memFree=29146884/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=15676 CPUtime=1797.61 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1582 0 0 0 179161 600 0 0 20 0 1 0 337924218 16052224 1498 33554432000 134512640 137136520 4290242656 4290241772 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3919 1498 197 641 0 3275 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 15676

[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15203
/proc/meminfo: memFree=29146884/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=15676 CPUtime=1797.81 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1582 0 0 0 179181 600 0 0 20 0 1 0 337924218 16052224 1498 33554432000 134512640 137136520 4290242656 4290240320 134600352 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3919 1498 197 641 0 3275 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 15676

[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15203
/proc/meminfo: memFree=29146884/32873844 swapFree=7620/7620
[pid=15091] ppid=15089 vsize=15676 CPUtime=1797.91 cores=0,2,4,6
/proc/15091/stat : 15091 (bsolo) R 15089 15091 13121 0 -1 4202496 1582 0 0 0 179191 600 0 0 20 0 1 0 337924218 16052224 1498 33554432000 134512640 137136520 4290242656 4290241772 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/15091/statm: 3919 1498 197 641 0 3275 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 15676

Child status: 0
Real time (s): 1798.28
CPU time (s): 1798
CPU user time (s): 1791.99
CPU system time (s): 6.00909
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 15812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.99
system time used= 6.00909
maximum resident set size= 6040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1584
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= 2
involuntary context switches= 1866

runsolver used 2.6326 second user time and 7.17691 second system time

The end

Launcher Data 

Begin job on node135 at 2012-06-03 12:06:34
IDJOB=3734938
IDBENCH=2923
IDSOLVER=2320
FILE ID=node135/3734938-1338717994
RUNJOBID= node135-1338712994-13137
PBS_JOBID= 14636721
Free space on /tmp= 70976 MiB

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

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

MD5SUM BENCH= 5bf563c7058af01702ea80887f1d43ad
RANDOM SEED=341819305

node135.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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.64
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.820
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	: 5332.57
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.820
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	: 5332.55
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.820
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	: 5332.55
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.820
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	: 5332.54
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.820
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	: 5332.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.820
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	: 5238.35
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.820
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29150084 kB
Buffers:          361492 kB
Cached:          2498072 kB
SwapCached:         1672 kB
Active:          1171608 kB
Inactive:        1709928 kB
Active(anon):      12276 kB
Inactive(anon):    12036 kB
Active(file):    1159332 kB
Inactive(file):  1697892 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67105800 kB
Dirty:              3900 kB
Writeback:             0 kB
AnonPages:         31812 kB
Mapped:            11232 kB
Shmem:               132 kB
Slab:             701740 kB
SReclaimable:     143636 kB
SUnreclaim:       558104 kB
KernelStack:        1488 kB
PageTables:         4028 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     150684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3734938-1338717994.opb

Free space on /tmp at the end= 70972 MiB
End job on node135 at 2012-06-03 12:36:33