Trace number 3734839

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_3.opb
MD5SUM8d16c34d0eecf3c16ca4b890652c15ca
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark1791.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
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 1270
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4321
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-3734839-1338716858.opb
0.00/0.00	c File size is 7734 bytes.
0.00/0.00	c Highest Coefficient sum: 4321
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: 220
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      226    1568      0 -2147483648 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 1114
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    146       13      880   67      564    1760      1 -2147483648 0.00
0.00/0.00	o 950
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       34    146       51     3461   67      741    1760     39   6800 0.01
0.00/0.00	o 452
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       59    146       77     5103   66      818    1760     65   8428 0.01
0.00/0.01	o 400
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      113    146      132     7341   55     1009    1760    120   8692 0.01
0.00/0.02	o 293
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      159    146      179     9345   52     1165    1760    167   7950 0.02
0.00/0.02	o 292
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      211    146      233    12011   51     1326    1760    221   7814 0.03
0.00/0.03	o 291
0.05/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.09	c      284    146      307    14710   47     1583    1760    295   7888 0.04
0.05/0.09	c      384    146      414    20187   48     1844    1937    402   7529 0.05
0.05/0.09	c      634    146      669    32174   48     2378    2131    657   7044 0.09
0.05/0.09	o 283
0.05/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.10	c      653    146      689    33036   47     2467    1760    677   6946 0.09
0.05/0.10	o 281
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      677    146      714    34026   47     2589    1760    702   6908 0.10
0.09/0.10	o 279
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      690    146      729    34802   47     2702    1760    717   6900 0.10
0.09/0.14	c      790    146      831    39089   47     2990    1937    819   6869 0.12
0.09/0.14	o 271
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c      940    146      984    45641   46     3360    1760    972   6811 0.14
0.09/0.15	c     1041    146     1086    49141   45     3560    1937   1074   6803 0.15
0.09/0.15	o 265
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c     1050    146     1097    49873   45     3678    1760   1085   6774 0.15
0.09/0.19	c     1150    146     1203    55466   46     3984    1937   1191   6725 0.17
0.09/0.19	o 260
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c     1277    146     1331    59496   44     4269    1760   1319   6792 0.19
0.09/0.19	o 258
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c     1306    146     1361    60837   44     4408    1760   1349   6766 0.19
0.19/0.21	o 256
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c     1385    146     1442    64768   44     4696    1760   1430   6658 0.21
0.19/0.27	c     1485    146     1546    69456   44     4942    1937   1534   6570 0.23
0.19/0.27	c     1735    146     1799    78021   43     5445    2131   1787   6596 0.26
0.19/0.27	o 253
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c     1783    146     1852    80971   43     5694    1760   1840   6507 0.27
0.19/0.28	o 250
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c     1830    146      941    39148   41     2582    1760    929   6512 0.28
0.19/0.28	o 243
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c     1839    146      951    39589   41     2687    1760    939   6498 0.28
0.29/0.30	c     1939    146     1055    46052   43     2941    1937   1043   6506 0.30
0.29/0.30	o 241
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c     1990    146     1107    48019   43     3131    1760   1095   6503 0.31
0.29/0.32	o 230
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c     2088    146     1206    51476   42     3394    1760   1194   6545 0.32
0.29/0.32	o 226
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c     2126    146     1245    53335   42     3589    1760   1233   6521 0.33
0.29/0.33	o 220
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c     2134    146     1254    53853   42     3706    1760   1242   6506 0.33
0.29/0.38	c     2236    146     1358    57960   42     3912    1937   1346   6481 0.34
0.29/0.38	o 213
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c     2438    146     1563    65880   42     4404    1760   1551   6449 0.38
0.29/0.38	o 211
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c     2439    146     1565    66055   42     4499    1760   1553   6435 0.38
0.29/0.38	o 209
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c     2446    146     1573    66391   42     4605    1760   1561   6436 0.38
0.29/0.38	o 205
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c     2451    146     1579    66735   42     4701    1760   1567   6416 0.38
0.29/0.38	o 203
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c     2457    146     1586    67068   42     4808    1760   1574   6415 0.38
0.29/0.38	o 201
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c     2466    146     1597    67798   42     4943    1760   1585   6405 0.39
0.29/0.39	o 199
0.39/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.40	c     2509    146     1642    69874   42     5129    1760   1630   6368 0.39
0.39/0.40	o 181
0.39/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.40	c     2561    146     1697    71680   42     5327    1760   1685   6354 0.40
0.39/0.40	o 177
0.39/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.40	c     2561    146     1698    71776   42     5419    1760   1686   6339 0.40
0.39/0.40	o 173
0.39/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.44	c     2564    146     1702    72121   42     5521    1760   1690   6330 0.41
0.39/0.44	c     2664    146      893    39564   44     2419    1937    881   6238 0.43
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     2783    146     1013    43434   42     2753    1760   1001   6296 0.44
0.39/0.45	o 134
0.39/0.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.45	c     2860    146     1091    45759   41     3003    1760   1079   6341 0.45
0.39/0.45	o 132
0.39/0.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.47	c     2870    146     1102    46458   42     3119    1760   1090   6335 0.45
0.39/0.47	c     2970    146     1204    50586   42     3337    1937   1192   6346 0.47
0.39/0.47	o 123
0.39/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.48	c     3016    146     1252    52282   41     3530    1760   1240   6349 0.47
0.39/0.48	o 109
0.39/0.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.49	c     3093    145     1331    55427   41     3780    1758   1319   6351 0.49
0.39/0.49	o 101
0.58/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.58/0.60	c     3112    145     1351    56114   41     3907    1758   1339   6351 0.49
0.58/0.60	c     3212    144     1452    60202   41     4112    1934   1440   6373 0.50
0.58/0.60	c     3462    142     1703    69708   40     4616    2128   1691   6317 0.55
0.58/0.60	o 83
0.79/0.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.83	c     3801    142     2048    83187   40     5441    1752   2036   6272 0.61
0.79/0.83	c     3901    140      994    37419   37     2568    1928    982   6291 0.62
0.79/0.83	c     4151    139     1246    45692   36     3078    2121   1234   6327 0.66
0.79/0.83	c     4626    138     1722    59870   34     4031    2334   1710   6478 0.71
0.79/0.83	o 64
0.79/0.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.83	c     5426    135     1323    41626   31     3272    1738   1311   6529 0.83
0.79/0.83	o 62
0.79/0.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.83	c     5427    135     1325    41782   31     3358    1738   1313   6530 0.83
0.79/0.83	o 60
1.19/1.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.21	c     5460    135     1360    43793   32     3511    1738   1348   6531 0.84
1.19/1.21	c     5560    129     1461    48065   32     3710    1912   1449   6525 0.85
1.19/1.21	c     5810    127     1711    58066   33     4209    2104   1699   6550 0.89
1.19/1.21	c     6285    126     1098    41149   37     2722    2315   1086   6553 0.96
1.19/1.21	c     7099    126     1912    69610   36     4353    2547   1900   6616 1.07
1.19/1.21	o 59
1.39/1.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.40	c     7951    123     1453    49436   34     3509    1714   1441   6565 1.21
1.39/1.40	c     8051    123     1553    53043   34     3704    1886   1541   6561 1.23
1.39/1.40	c     8301    123     1803    61615   34     4199    2075   1791   6546 1.27
1.39/1.40	c     8776    123     1204    41670   34     2923    2283   1192   6529 1.34
1.39/1.40	o 58
1.39/1.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.41	c     9223    123     1652    58064   35     3891    1714   1640   6555 1.41
1.39/1.41	o 54
1.99/2.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.03	c     9260    123     1690    59919   35     4040    1714   1678   6558 1.41
1.99/2.03	c     9361    123      908    32385   35     2331    1886    896   6550 1.43
1.99/2.03	c     9611    123     1160    40647   35     2832    2075   1148   6555 1.47
1.99/2.03	c    10086    123     1635    58610   35     3788    2283   1623   6587 1.53
1.99/2.03	c    10899    123     1272    45937   36     3060    2512   1260   6593 1.65
1.99/2.03	c    12219    122     1293    45523   35     3098    2764   1281   6615 1.85
1.99/2.03	o 53
2.19/2.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.25	c    13490    122     2565    90948   35     5716    1712   2553   6628 2.04
2.19/2.25	c    13591    122      999    34646   34     2512    1884    987   6613 2.06
2.19/2.25	c    13841    122     1254    43373   34     3020    2073   1242   6619 2.09
2.19/2.25	c    14316    122     1729    60818   35     3970    2281   1717   6612 2.17
2.19/2.25	o 47
2.19/2.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.26	c    14862    122     2280    80705   35     5149    1712   2268   6593 2.25
2.19/2.26	o 43
2.19/2.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.29	c    14864    122      896    31468   35     2372    1712    884   6582 2.26
2.19/2.29	c    14964    122      999    37212   37     2589    1884    987   6586 2.27
2.19/2.29	o 41
5.59/5.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.59/5.66	c    15104    122     1140    41972   36     2937    1712   1128   6595 2.29
5.59/5.66	c    15204    122     1241    47386   38     3148    1884   1229   6604 2.30
5.59/5.66	c    15455    122     1494    56374   37     3669    2073   1482   6613 2.34
5.59/5.66	c    15930    122     1969    73055   37     4624    2281   1957   6623 2.40
5.59/5.66	c    16743    122     1599    55303   34     3711    2510   1587   6644 2.52
5.59/5.66	c    18063    122     1639    58544   35     3791    2762   1627   6690 2.70
5.59/5.66	c    20144    122     2295    82533   35     5099    3039   2283   6762 2.98
5.59/5.66	c    23368    122     2411    82931   34     5334    3343   2399   6744 3.46
5.59/5.66	c    28307    122     2230    79682   35     4970    3678   2218   6677 4.24
5.59/5.66	c    35813    122     2239    77216   34     4990    4046   2227   6617 5.41
5.59/5.66	o 40
5.59/5.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.59/5.68	c    37327    122     3754   129228   34     8092    1712   3742   6593 5.66
5.59/5.68	o 38
18.39/18.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.39/18.49	c    37396    122      970    33463   34     2565    1712    958   6579 5.68
18.39/18.49	c    37496    122     1071    36975   34     2768    1884   1059   6582 5.70
18.39/18.49	c    37746    122     1322    45191   34     3273    2073   1310   6588 5.73
18.39/18.49	c    38221    122     1797    60594   33     4222    2281   1785   6594 5.80
18.39/18.49	c    39035    122     1443    47389   32     3401    2510   1431   6601 5.91
18.39/18.49	c    40355    122     1473    49490   33     3462    2762   1461   6605 6.11
18.39/18.49	c    42437    122     2140    74705   34     4793    3039   2128   6611 6.42
18.39/18.49	c    45660    122     2247    78594   34     5010    3343   2235   6596 6.92
18.39/18.49	c    50596    122     2060    78259   37     4626    3678   2048   6609 7.66
18.39/18.49	c    58102    122     2050    75374   36     4611    4046   2038   6616 8.78
18.39/18.49	c    69463    122     3124   115615   37     6763    4451   3112   6575 10.56
18.39/18.49	c    86607    122     4440   160307   36     9393    4897   4428   6494 13.34
18.39/18.49	c   112426    122     2938   107807   36     6382    5387   2926   6459 17.41
18.39/18.49	o 32
18.49/18.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.49/18.53	c   118786    122     3829   131582   34     8243    1712   3817   6424 18.49
18.49/18.53	c   118887    111      994    32528   32     2486    1884    982   6420 18.52
18.49/18.53	o 30
24.09/24.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.09/24.12	c   119010    111     1118    37746   33     2800    1690   1106   6420 18.54
24.09/24.12	c   119110    110     1218    41533   34     3000    1860   1206   6420 18.55
24.09/24.12	c   119360    110     1468    51629   35     3504    2047   1456   6421 18.59
24.09/24.12	c   119835    110     1943    70141   36     4444    2252   1931   6422 18.66
24.09/24.12	c   120648    110     1594    62076   38     3683    2478   1582   6423 18.78
24.09/24.12	c   121968    110     1637    64310   39     3761    2726   1625   6426 18.98
24.09/24.12	c   124049    110     2318    89879   38     5115    2999   2306   6430 19.29
24.09/24.12	c   127272    110     2478   100670   40     5460    3299   2466   6435 19.78
24.09/24.12	c   132208    110     2358    96929   41     5202    3629   2346   6439 20.53
24.09/24.12	c   139715    110     2466   101261   41     5427    3992   2454   6438 21.70
24.09/24.12	c   151078    110     3670   152543   41     7837    4392   3658   6410 23.57
24.09/24.12	o 28
24.09/24.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.09/24.12	c   154203    110     2321    96326   41     5193    1688   2309   6393 24.12
24.09/24.12	o 26
30.08/30.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.08/30.15	c   154223    110      915    37651   41     2378    1688    903   6392 24.12
30.08/30.15	c   154324    110     1016    41618   40     2579    1857   1004   6393 24.14
30.08/30.15	c   154574    110     1266    51374   40     3071    2043   1254   6396 24.16
30.08/30.15	c   155050    110     1742    69647   39     4022    2248   1730   6400 24.22
30.08/30.15	c   155865    110     1395    52923   37     3277    2473   1383   6405 24.33
30.08/30.15	c   157186    110     1454    54551   37     3389    2721   1442   6412 24.51
30.08/30.15	c   159268    110     2142    87169   40     4775    2994   2130   6421 24.80
30.08/30.15	c   162491    110     2297    94909   41     5082    3294   2285   6431 25.26
30.08/30.15	c   167427    110     2180    87566   40     4850    3624   2168   6434 26.02
30.08/30.15	c   174933    110     2296    91476   39     5088    3987   2284   6420 27.25
30.08/30.15	c   186294    110     3534   143382   40     7561    4386   3522   6373 29.23
30.08/30.15	o 25
38.49/38.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.49/38.51	c   191594    110     4377   178540   40     9302    1688   4365   6354 30.15
38.49/38.51	c   191694    110      994    39725   39     2478    1857    982   6352 30.18
38.49/38.51	c   191944    110     1244    49389   39     2971    2043   1232   6353 30.21
38.49/38.51	c   192419    110     1719    68772   40     3923    2248   1707   6354 30.28
38.49/38.51	c   193233    110     1367    53994   39     3225    2473   1355   6354 30.41
38.49/38.51	c   194553    110     1422    56786   39     3336    2721   1410   6353 30.62
38.49/38.51	c   196634    110     2108    85638   40     4702    2994   2096   6356 30.93
38.49/38.51	c   199857    110     2258    90272   39     4997    3294   2246   6358 31.43
38.49/38.51	c   204793    110     2138    86833   40     4767    3624   2126   6361 32.19
38.49/38.51	c   212299    110     2252    92180   40     4992    3987   2240   6354 33.41
38.49/38.51	c   223661    110     3462   136202   39     7407    4386   3450   6336 35.30
38.49/38.51	c   240805    110     2793   115688   41     6068    4825   2781   6293 38.26
38.49/38.51	o 24
57.58/57.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
57.58/57.68	c   242192    110     4183   173226   41     8913    1688   4171   6289 38.51
57.58/57.68	c   242292    110      995    40132   40     2474    1857    983   6288 38.53
57.58/57.68	c   242542    110     1246    50052   40     2978    2043   1234   6288 38.57
57.58/57.68	c   243017    110     1721    68784   39     3923    2248   1709   6290 38.63
57.58/57.68	c   243830    110     1373    53879   39     3234    2473   1361   6291 38.76
57.58/57.68	c   245150    110     1417    56069   39     3328    2721   1405   6293 38.95
57.58/57.68	c   247232    110     2106    81282   38     4701    2994   2094   6296 39.26
57.58/57.68	c   250455    110     2271    89963   39     5025    3294   2259   6300 39.75
57.58/57.68	c   255391    110     2147    81905   38     4780    3624   2135   6305 40.50
57.58/57.68	c   262898    110     2260    88481   39     5012    3987   2248   6305 41.69
57.58/57.68	c   274259    110     3474   143444   41     7437    4386   3462   6304 43.50
57.58/57.68	c   291403    110     2775   112974   40     6026    4825   2763   6311 46.17
57.58/57.68	c   317222    110     4111   164901   40     8712    5308   4099   6288 50.44
57.58/57.68	c   356056    110     5299   218354   41    11086    5839   5287   6199 57.43
57.58/57.68	o 18
76.48/76.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
76.48/76.58	c   357498    110     3781   151543   40     8115    1688   3769   6198 57.68
76.48/76.58	c   357598    110      993    37925   38     2472    1857    981   6197 57.70
76.48/76.58	c   357848    110     1243    47099   37     2966    2043   1231   6199 57.73
76.48/76.58	c   358323    110     1718    65060   37     3918    2248   1706   6201 57.78
76.48/76.58	c   359137    110     1371    49584   36     3226    2473   1359   6206 57.87
76.48/76.58	c   360457    110     1418    52728   37     3318    2721   1406   6212 58.02
76.48/76.58	c   362538    110     2101    82381   39     4692    2994   2089   6220 58.28
76.48/76.58	c   365762    110     2258    88298   39     5007    3294   2246   6225 58.75
76.48/76.58	c   370699    110     2143    81864   38     4767    3624   2131   6229 59.51
76.48/76.58	c   378205    110     2261    82414   36     5013    3987   2249   6233 60.67
76.48/76.58	c   389566    110     3498   128774   36     7474    4386   3486   6228 62.54
76.48/76.58	c   406710    110     2789   106594   38     6074    4825   2777   6222 65.36
76.48/76.58	c   432529    110     4134   160315   38     8758    5308   4122   6177 70.02
76.48/76.58	o 17
212.85/212.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
212.85/212.97	c   470054    110     3993   158269   39     8537    1688   3981   6138 76.57
212.85/212.97	c   470154    110      993    37835   38     2474    1857    981   6138 76.59
212.85/212.97	c   470404    110     1243    47509   38     2982    2043   1231   6138 76.63
212.85/212.97	c   470880    110     1719    65775   38     3930    2248   1707   6140 76.69
212.85/212.97	c   471693    110     1363    51500   37     3222    2473   1351   6141 76.80
212.85/212.97	c   473013    110     1425    54633   38     3340    2721   1413   6144 76.99
212.85/212.97	c   475094    110     2107    80462   38     4702    2994   2095   6147 77.28
212.85/212.97	c   478317    110     2265    88801   39     5016    3294   2253   6151 77.76
212.85/212.97	c   483254    110     2163    83108   38     4813    3624   2151   6153 78.53
212.85/212.97	c   490761    110     2275    89306   39     5042    3987   2263   6155 79.73
212.85/212.97	c   502123    110     3489   138672   39     7465    4386   3477   6154 81.59
212.85/212.97	c   519267    110     2850   112782   39     6203    4825   2838   6154 84.37
212.85/212.97	c   545086    110     4229   165896   39     8946    5308   4217   6155 88.56
212.85/212.97	c   583919    110     2750   107120   38     5988    5839   2738   6125 95.32
212.85/212.97	c   642271    110     4995   196010   39    10472    6423   4983   6069 105.83
212.85/212.97	c   729903    110     4960   194354   39    10406    7066   4948   5984 121.96
212.85/212.97	c   861456    110     4542   178384   39     9574    7773   4530   5851 147.23
212.85/212.97	c  1058888    110     5946   236773   39    12393    8551   5934   5667 186.83
212.85/212.97	o 14
573.70/573.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
573.70/573.83	c  1185175    110     7268   285723   39    15102    1688   7256   5565 212.94
573.70/573.83	c  1185275    105      993    38393   38     2464    1857    981   5565 212.98
573.70/573.83	c  1185525    101     1243    48064   38     2964    2043   1231   5565 213.01
573.70/573.83	c  1186000    101     1718    66791   38     3910    2248   1706   5566 213.08
573.70/573.83	c  1186813     99     1365    52506   38     3202    2473   1353   5567 213.19
573.70/573.83	c  1188134     99     1416    55573   39     3303    2721   1404   5568 213.37
573.70/573.83	c  1190215     98     2099    81446   38     4661    2994   2087   5571 213.64
573.70/573.83	c  1193438     98     2258    88222   39     4990    3294   2246   5574 214.08
573.70/573.83	c  1198375     98     2169    84671   39     4809    3624   2157   5580 214.74
573.70/573.83	c  1205881     98     2275    90796   39     5020    3987   2263   5585 215.89
573.70/573.83	c  1217243     98     3500   141167   40     7471    4386   3488   5593 217.62
573.70/573.83	c  1234387     98     2855   113531   39     6182    4825   2843   5598 220.49
573.70/573.83	c  1260206     98     4203   160143   38     8877    5308   4191   5615 224.42
573.70/573.83	c  1299039     98     2715   110559   40     5900    5839   2703   5620 231.13
573.70/573.83	c  1357391     98     4937   199581   40    10345    6423   4925   5607 242.06
573.70/573.83	c  1445023     98     4925   197143   40    10317    7066   4913   5604 257.82
573.70/573.83	c  1576577     98     4505   180010   39     9474    7773   4493   5576 282.74
573.70/573.83	c  1774009     98     5945   241162   40    12355    8551   5933   5476 323.94
573.70/573.83	c  2070261     98     4959   197892   39    10387    9407   4947   5301 390.52
573.70/573.83	c  2514743     98     8939   368993   41    18352   10348   8927   5146 488.65
573.70/573.83	o 11
731.88/732.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
731.88/732.02	c  2877552     98     7169   294454   41    14857    1664   7157   5015 573.74
731.88/732.02	c  2877652     98      993    39947   40     2442    1831    981   5015 573.78
731.88/732.02	c  2877902     98     1243    49528   39     2941    2015   1231   5015 573.81
731.88/732.02	c  2878379     98     1720    68376   39     3900    2217   1708   5015 573.87
731.88/732.02	c  2879193     98     1386    52612   37     3227    2439   1374   5016 573.97
731.88/732.02	c  2880514     98     1450    54812   37     3353    2683   1438   5017 574.15
731.88/732.02	c  2882595     98     2148    80737   37     4752    2952   2136   5018 574.43
731.88/732.02	c  2885818     98     2343    91339   38     5142    3248   2331   5019 574.92
731.88/732.02	c  2890754     98     2310    89486   38     5078    3573   2298   5021 575.63
731.88/732.02	c  2898260     98     2551    98695   38     5561    3931   2539   5024 576.78
731.88/732.02	c  2909621     98     3929   149057   37     8312    4325   3917   5029 578.51
731.88/732.02	c  2926765     98     3512   137135   39     7481    4758   3500   5037 581.03
731.88/732.02	c  2952584     98     2806   107370   38     6054    5234   2794   5045 585.18
731.88/732.02	c  2991416     98     4540   182007   40     9545    5758   4528   5056 591.59
731.88/732.02	c  3049768     98     4630   184463   39     9718    6334   4618   5062 602.45
731.88/732.02	c  3137400     98     5857   232365   39    12165    6968   5845   5074 618.30
731.88/732.02	c  3268952     98     3776   146517   38     8010    7665   3764   5080 643.43
731.88/732.02	c  3466385     98     4071   163635   40     8596    8432   4059   5072 683.35
731.88/732.02	o 10
1797.92/1798.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1798.27	c  3700193     98     8337   336872   40    17173    1664   8325   5055 731.91
1797.92/1798.27	c  3700293     98      993    38943   39     2442    1831    981   5055 731.96
1797.92/1798.27	c  3700543     98     1243    48827   39     2949    2015   1231   5055 731.99
1797.92/1798.27	c  3701019     98     1719    67523   39     3896    2217   1707   5055 732.06
1797.92/1798.27	c  3701832     98     1389    52423   37     3225    2439   1377   5055 732.17
1797.92/1798.27	c  3703152     98     1453    54092   37     3366    2683   1441   5056 732.35
1797.92/1798.27	c  3705234     98     2161    81638   37     4774    2952   2149   5057 732.63
1797.92/1798.27	c  3708459     98     2358    88355   37     5174    3248   2346   5058 733.11
1797.92/1798.27	c  3713395     98     2306    91942   39     5070    3573   2294   5060 733.82
1797.92/1798.27	c  3720902     98     2508    99717   39     5474    3931   2496   5062 734.93
1797.92/1798.27	c  3732263     98     3864   151058   39     8191    4325   3852   5066 736.73
1797.92/1798.27	c  3749407     98     3417   137691   40     7294    4758   3405   5070 739.45
1797.92/1798.27	c  3775226     98     2703   107325   39     5869    5234   2691   5076 743.68
1797.92/1798.27	c  3814058     98     4374   173876   39     9203    5758   4362   5083 750.33
1797.92/1798.27	c  3872411     98     4465   174489   39     9387    6334   4453   5095 759.90
1797.92/1798.27	c  3960044     98     5639   224850   39    11733    6968   5627   5109 775.06
1797.92/1798.27	c  4091596     98     7015   282329   40    14489    7665   7003   5108 800.93
1797.92/1798.27	c  4289030     98     7232   293681   40    14921    8432   7220   5099 841.08
1797.92/1798.27	c  4585282     98     6066   238199   39    12577    9276   6054   5082 902.13
1797.92/1798.27	c  5029765     98     6935   269988   38    14324   10204   6923   5041 997.60
1797.92/1798.27	c  5696593     98     6143   248264   40    12742   11225   6131   4967 1146.83
1797.92/1798.27	c  6696938     98     7347   295259   40    15150   12348   7335   4829 1386.78
1797.92/1798.27	c  8197560     98    12086   484837   40    24630   13583  12074   4662 1758.34
1797.92/1798.27	c Resources Exceeded
1797.92/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 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 x102 -x103 x104 x105 -x106 -x107 -x108 x109 x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 x118 x119 -x120 -x121 x122 x123 x124 x125 x126 -x127 x128 x129 x130 x131 -x132 x133 x134 -x135 x136 x137 -x138 -x139 -x140 x141 -x142 x143 x144 -x145 -x146 
1797.92/1798.27	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1798.27	c  247  8359334  83188  8456553    10048   404526  10036   4649 1798.00
1797.92/1798.27	c Objective: 10
1797.92/1798.27	s SATISFIABLE
1797.92/1798.27	c Total time: 1798 s

Verifier Data

OK	10

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24610
/proc/meminfo: memFree=27338792/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=18604 CPUtime=0 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 300 0 0 0 0 0 0 0 20 0 1 0 337810890 19050496 251 33554432000 134512640 137136520 4290753008 4290751288 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4651 251 196 641 0 4007 0

[startup+0.0548559 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24610
/proc/meminfo: memFree=27338792/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=11044 CPUtime=0.05 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 372 0 0 0 5 0 0 0 20 0 1 0 337810890 11309056 323 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 2761 323 197 641 0 2117 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11044

[startup+0.100268 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24610
/proc/meminfo: memFree=27338792/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=11292 CPUtime=0.09 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 423 0 0 0 9 0 0 0 20 0 1 0 337810890 11563008 374 33554432000 134512640 137136520 4290753008 4290751416 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 2823 374 197 641 0 2179 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11292

[startup+0.300239 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24610
/proc/meminfo: memFree=27338792/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=12044 CPUtime=0.29 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 611 0 0 0 29 0 0 0 20 0 1 0 337810890 12333056 562 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 3011 562 197 641 0 2367 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12044

[startup+0.700239 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24610
/proc/meminfo: memFree=27338792/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=12048 CPUtime=0.68 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 621 0 0 0 68 0 0 0 20 0 1 0 337810890 12337152 572 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 3012 572 197 641 0 2368 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12048

[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24611
/proc/meminfo: memFree=27336940/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=12172 CPUtime=1.49 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 667 0 0 0 148 1 0 0 20 0 1 0 337810890 12464128 618 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 3043 618 197 641 0 2399 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12172

[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24611
/proc/meminfo: memFree=27336444/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=12424 CPUtime=3.09 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 731 0 0 0 307 2 0 0 20 0 1 0 337810890 12722176 682 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 3106 682 197 641 0 2462 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12424

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24611
/proc/meminfo: memFree=27335576/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=12920 CPUtime=6.29 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 834 0 0 0 627 2 0 0 20 0 1 0 337810890 13230080 785 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 3230 785 197 641 0 2586 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12920

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24611
/proc/meminfo: memFree=27334364/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=13428 CPUtime=12.69 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 967 0 0 0 1264 5 0 0 20 0 1 0 337810890 13750272 918 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 3357 918 197 641 0 2713 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13428

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24611
/proc/meminfo: memFree=27334116/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=13872 CPUtime=25.49 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 1081 0 0 0 2540 9 0 0 20 0 1 0 337810890 14204928 1032 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 3468 1032 197 641 0 2824 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13872

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24611
/proc/meminfo: memFree=27333556/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=14100 CPUtime=51.08 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 1146 0 0 0 5091 17 0 0 20 0 1 0 337810890 14438400 1096 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 3525 1096 197 641 0 2881 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 14100

[startup+102.306 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 24611
/proc/meminfo: memFree=27331384/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=14572 CPUtime=102.28 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 1247 0 0 0 10193 35 0 0 20 0 1 0 337810890 14921728 1197 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 3643 1197 197 641 0 2999 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 14572

[startup+162.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 24614
/proc/meminfo: memFree=27329452/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=15664 CPUtime=162.26 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 1533 0 0 0 16173 53 0 0 20 0 1 0 337810890 16039936 1482 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 3916 1482 197 641 0 3272 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 15664

[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 24615
/proc/meminfo: memFree=27328096/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=16132 CPUtime=222.25 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 1673 0 0 0 22155 70 0 0 20 0 1 0 337810890 16519168 1611 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4033 1611 197 641 0 3389 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 16132

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 24615
/proc/meminfo: memFree=27327908/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=16132 CPUtime=282.25 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 1673 0 0 0 28135 90 0 0 20 0 1 0 337810890 16519168 1611 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4033 1611 197 641 0 3389 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 16132

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24615
/proc/meminfo: memFree=27327908/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=16348 CPUtime=342.24 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 1713 0 0 0 34117 107 0 0 20 0 1 0 337810890 16740352 1651 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4087 1651 197 641 0 3443 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 16348

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24615
/proc/meminfo: memFree=27326792/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=16812 CPUtime=402.23 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 1833 0 0 0 40102 121 0 0 20 0 1 0 337810890 17215488 1771 33554432000 134512640 137136520 4290753008 4290752048 134540852 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4203 1771 197 641 0 3559 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 16812

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24615
/proc/meminfo: memFree=27326668/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=16812 CPUtime=462.22 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 1839 0 0 0 46086 136 0 0 20 0 1 0 337810890 17215488 1777 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4203 1777 197 641 0 3559 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 16812

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24616
/proc/meminfo: memFree=27326108/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=17536 CPUtime=522.21 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2010 0 0 0 52071 150 0 0 20 0 1 0 337810890 17956864 1947 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4384 1947 197 641 0 3740 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 17536

[startup+582.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 24616
/proc/meminfo: memFree=27325984/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=17452 CPUtime=582.2 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2010 0 0 0 58053 167 0 0 20 0 1 0 337810890 17870848 1941 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4363 1941 197 641 0 3719 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 17452

[startup+642.3 s]

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

/proc/meminfo: memFree=27324244/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=17404 CPUtime=1122.12 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2122 0 0 0 111887 325 0 0 20 0 1 0 337810890 17821696 1922 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4351 1922 197 641 0 3707 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 17404

[startup+1182.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 24644
/proc/meminfo: memFree=27323500/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=18044 CPUtime=1182.11 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2271 0 0 0 117869 342 0 0 20 0 1 0 337810890 18477056 2071 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4511 2071 197 641 0 3867 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 18044

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 24644
/proc/meminfo: memFree=27322756/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=18040 CPUtime=1242.1 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2271 0 0 0 123853 357 0 0 20 0 1 0 337810890 18472960 2071 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4510 2071 197 641 0 3866 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 18040

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 24644
/proc/meminfo: memFree=27322880/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=18028 CPUtime=1302.1 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2271 0 0 0 129838 372 0 0 20 0 1 0 337810890 18460672 2071 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4507 2071 197 641 0 3863 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 18028

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 24647
/proc/meminfo: memFree=27322748/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=17972 CPUtime=1362.08 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2271 0 0 0 135821 387 0 0 20 0 1 0 337810890 18403328 2071 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4493 2071 197 641 0 3849 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 17972

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24648
/proc/meminfo: memFree=27322136/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=18684 CPUtime=1422.08 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2446 0 0 0 141806 402 0 0 20 0 1 0 337810890 19132416 2246 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4671 2246 197 641 0 4027 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 18684

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24648
/proc/meminfo: memFree=27322012/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=18744 CPUtime=1482.06 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2454 0 0 0 147792 414 0 0 20 0 1 0 337810890 19193856 2254 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4686 2254 197 641 0 4042 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 18744

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24648
/proc/meminfo: memFree=27322136/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=18704 CPUtime=1542.06 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2454 0 0 0 153776 430 0 0 20 0 1 0 337810890 19152896 2254 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4676 2254 197 641 0 4032 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 18704

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24648
/proc/meminfo: memFree=27322136/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=18696 CPUtime=1602.04 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2454 0 0 0 159761 443 0 0 20 0 1 0 337810890 19144704 2252 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4674 2252 197 641 0 4030 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 18696

[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 24648
/proc/meminfo: memFree=27321080/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=18812 CPUtime=1662.03 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2464 0 0 0 165747 456 0 0 20 0 1 0 337810890 19263488 2262 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4703 2262 197 641 0 4059 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 18812

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24649
/proc/meminfo: memFree=27321204/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=18720 CPUtime=1722.02 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2464 0 0 0 171730 472 0 0 20 0 1 0 337810890 19169280 2258 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4680 2258 197 641 0 4036 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 18720

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24649
/proc/meminfo: memFree=27319840/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=19428 CPUtime=1782.02 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2623 0 0 0 177713 489 0 0 20 0 1 0 337810890 19894272 2417 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4857 2417 197 641 0 4213 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 19428

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 24697
/proc/meminfo: memFree=27330584/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=19428 CPUtime=1791.62 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2631 0 0 0 178671 491 0 0 20 0 1 0 337810890 19894272 2424 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4857 2424 197 641 0 4213 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 19428

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24697
/proc/meminfo: memFree=27330336/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=19428 CPUtime=1794.82 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2631 0 0 0 178990 492 0 0 20 0 1 0 337810890 19894272 2424 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4857 2424 197 641 0 4213 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 19428

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24697
/proc/meminfo: memFree=27330584/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=19428 CPUtime=1796.41 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2631 0 0 0 179149 492 0 0 20 0 1 0 337810890 19894272 2424 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4857 2424 197 641 0 4213 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 19428

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24697
/proc/meminfo: memFree=27330584/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=19428 CPUtime=1797.22 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2631 0 0 0 179229 493 0 0 20 0 1 0 337810890 19894272 2424 33554432000 134512640 137136520 4290753008 4290752048 134540859 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4857 2424 197 641 0 4213 0
Current children cumulated CPU time (s) 1797.22
Current children cumulated vsize (KiB) 19428

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24697
/proc/meminfo: memFree=27330584/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=19428 CPUtime=1797.62 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2631 0 0 0 179269 493 0 0 20 0 1 0 337810890 19894272 2424 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4857 2424 197 641 0 4213 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (KiB) 19428

[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24697
/proc/meminfo: memFree=27330584/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=19428 CPUtime=1797.82 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2631 0 0 0 179289 493 0 0 20 0 1 0 337810890 19894272 2424 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4857 2424 197 641 0 4213 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 19428

[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24697
/proc/meminfo: memFree=27330584/32873844 swapFree=7116/7116
[pid=24610] ppid=24608 vsize=19428 CPUtime=1797.92 cores=0,2,4,6
/proc/24610/stat : 24610 (bsolo) R 24608 24610 23345 0 -1 4202496 2631 0 0 0 179299 493 0 0 20 0 1 0 337810890 19894272 2424 33554432000 134512640 137136520 4290753008 4290752124 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/24610/statm: 4857 2424 197 641 0 4213 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 19428

Child status: 0
Real time (s): 1798.28
CPU time (s): 1798
CPU user time (s): 1793.07
CPU system time (s): 4.93225
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 19432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.07
system time used= 4.93225
maximum resident set size= 9700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2633
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 1991

runsolver used 2.6256 second user time and 7.18391 second system time

The end

Launcher Data

Begin job on node138 at 2012-06-03 11:47:38
IDJOB=3734839
IDBENCH=2910
IDSOLVER=2320
FILE ID=node138/3734839-1338716858
RUNJOBID= node138-1338713229-23361
PBS_JOBID= 14636726
Free space on /tmp= 70788 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_3.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734839-1338716858/watcher-3734839-1338716858 -o /tmp/evaluation-result-3734839-1338716858/solver-3734839-1338716858 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3734839-1338716858.opb

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

MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca
RANDOM SEED=1672066943

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27338956 kB
Buffers:          713632 kB
Cached:          3893128 kB
SwapCached:          208 kB
Active:          2343940 kB
Inactive:        2287548 kB
Active(anon):       8960 kB
Inactive(anon):    11376 kB
Active(file):    2334980 kB
Inactive(file):  2276172 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108648 kB
Dirty:              8040 kB
Writeback:             4 kB
AnonPages:         24700 kB
Mapped:            15192 kB
Shmem:               200 kB
Slab:             764492 kB
SReclaimable:     206464 kB
SUnreclaim:       558028 kB
KernelStack:        1456 kB
PageTables:         4068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     147612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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-3734839-1338716858.opb

Free space on /tmp at the end= 70784 MiB
End job on node138 at 2012-06-03 12:17:37