Trace number 3734881

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: bsolo 3.0.17SAT (TO)4 1800.02 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_4.opb
MD5SUMa470052ca6f8034e2c6c08868e52d9e8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1783.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
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 1207
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4131
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3734881-1338701768.opb
0.00/0.00	c File size is 5465 bytes.
0.00/0.00	c Highest Coefficient sum: 4131
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: 166
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      168    1116      0 -2147483648 0.00
0.00/0.00	c Switching off LPR mode.
0.00/0.00	o 780	0
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      419    1276      1 -2147483648 0.00
0.00/0.00	o 627	0.002
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       26    120       38     1821   47      530    1276     28  13000 0.00
0.00/0.01	o 414	0.003
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       63    120       76     3871   50      650    1276     66  21000 0.00
0.00/0.01	o 413	0.005
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      113    120      127     5584   43      815    1276    117  22600 0.01
0.00/0.01	o 373	0.006
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      128    120      143     6085   42      919    1276    133  21333 0.01
0.00/0.01	o 351	0.006
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      132    120      148     6367   43      963    1276    138  22000 0.01
0.00/0.01	o 349	0.007
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      148    120      165     7114   43     1064    1276    155  21142 0.01
0.00/0.01	o 345	0.01
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      208    120      226     9115   40     1258    1276    216  20800 0.01
0.00/0.02	o 343	0.014
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      259    120      278    11318   40     1423    1276    268  18500 0.01
0.00/0.02	o 333	0.019
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      341    120      361    14672   40     1702    1276    351  17050 0.02
0.00/0.03	o 332	0.024
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      424    120      445    17796   39     1890    1276    435  17666 0.02
0.00/0.03	o 237	0.025
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      434    120      456    18170   39     1963    1276    446  17360 0.03
0.00/0.03	o 210	0.029
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      513    120      536    21044   39     2169    1276    526  17689 0.03
0.00/0.03	o 203	0.032
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      564    120      588    22904   38     2313    1276    578  17625 0.03
0.00/0.04	o 202	0.036
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      626    120      651    25042   38     2531    1276    641  17388 0.04
0.00/0.04	o 188	0.039
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      669    120      695    27165   39     2684    1276    685  17153 0.04
0.00/0.05	o 169	0.044
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      752    120      779    29740   38     2849    1276    769  17090 0.04
0.00/0.05	o 167	0.045
0.04/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.07	c      773    120      801    30586   38     2950    1276    791  17177 0.04
0.04/0.07	c      873    120      901    34317   38     3232    1404    891  17117 0.05
0.04/0.07	o 157	0.063
0.04/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.07	c     1063    120     1092    40610   37     3612    1276   1082  16873 0.06
0.04/0.07	o 147	0.068
0.04/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.08	c     1110    120     1140    42440   37     3752    1276   1130  16323 0.07
0.04/0.08	o 145	0.073
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c     1171    120     1202    44898   37     3960    1276   1192  16041 0.07
0.09/0.10	c     1273    120      649    23093   35     1707    1404    639  15716 0.08
0.09/0.10	o 137	0.093
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c     1509    120      886    30475   34     2262    1276    876  16225 0.09
0.09/0.10	o 133	0.097
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c     1608    120      986    33141   33     2540    1276    976  16408 0.10
0.09/0.11	c     1708    120     1086    35675   32     2720    1404   1076  16745 0.10
0.09/0.11	o 112	0.105
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c     1766    120     1145    37296   32     2925    1276   1135  16819 0.10
0.09/0.11	o 110	0.105
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c     1767    120     1147    37438   32     3007    1276   1137  16828 0.10
0.09/0.12	c     1872    115     1252    41314   32     3223    1404   1242  16566 0.11
0.09/0.12	o 109	0.116
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c     1924    114     1305    43762   33     3384    1264   1295  16586 0.12
0.09/0.12	o 94	0.121
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c     1990    114      716    23432   32     1909    1264    706  16446 0.12
0.09/0.13	o 92	0.122
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c     2012    114      739    24392   33     2027    1264    729  16491 0.12
0.09/0.13	o 90	0.123
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c     2021    114      749    24773   33     2115    1264    739  16430 0.12
0.09/0.15	c     2121    112      849    27822   32     2305    1391    839  16570 0.13
0.09/0.15	c     2371    110     1099    34472   31     2810    1531   1089  16935 0.14
0.09/0.15	o 89	0.142
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c     2407    110     1136    35514   31     2941    1256   1126  16950 0.14
0.09/0.15	o 87	0.143
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c     2421    110     1151    36183   31     3035    1256   1141  16930 0.14
0.29/0.39	c     2521    110     1251    39917   31     3248    1382   1241  16919 0.15
0.29/0.39	c     2771    110      788    23292   29     1969    1521    778  17000 0.16
0.29/0.39	c     3246    110     1263    35246   27     2913    1674   1253  17835 0.18
0.29/0.39	c     4059    110     1210    31518   26     2803    1842   1200  18619 0.22
0.29/0.39	c     5379    110     1582    40528   25     3539    2027   1572  19560 0.28
0.29/0.39	c     7460    110     1572    41571   26     3521    2230   1562  19840 0.38
0.29/0.39	o 86	0.384
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c     7660    110     1773    46398   26     4007    1256   1763  19947 0.38
0.29/0.39	o 84	0.388
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c     7697    110      687    18190   26     1835    1256    677  19837 0.39
0.29/0.39	o 82	0.389
0.39/0.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.46	c     7722    110      713    19551   27     1951    1256    703  19850 0.39
0.39/0.46	c     7823    110      814    22408   27     2139    1382    804  19855 0.39
0.39/0.46	c     8073    110     1064    29899   28     2657    1521   1054  19884 0.41
0.39/0.46	c     8548    110     1539    43253   28     3584    1674   1529  19832 0.43
0.39/0.46	o 81	0.459
0.39/0.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.46	c     9019    110     1150    33048   28     2756    1256   1140  19649 0.46
0.39/0.46	o 79	0.46
0.39/0.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.47	c     9028    110     1160    33545   28     2844    1256   1150  19626 0.46
0.39/0.47	o 51	0.462
0.39/0.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.47	c     9077    110     1210    34894   28     3015    1256   1200  19647 0.46
0.39/0.47	o 35	0.463
0.99/1.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.02	c     9080    110     1214    35113   28     3087    1256   1204  19611 0.46
0.99/1.02	c     9180    102      657    18989   28     1703    1382    647  19531 0.47
0.99/1.02	c     9430    101      907    26026   28     2207    1521    897  19523 0.48
0.99/1.02	c     9905    101     1382    39276   28     3149    1674   1372  19421 0.51
0.99/1.02	c    10718    100     1332    36956   27     3053    1842   1322  19139 0.56
0.99/1.02	c    12038    100     1700    47902   28     3787    2027   1690  18634 0.65
0.99/1.02	c    14119    100     1701    47517   27     3791    2230   1691  18218 0.78
0.99/1.02	c    17342    100     1482    41746   28     3351    2454   1472  17623 0.98
0.99/1.02	o 34	1.014
0.99/1.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.02	c    17830    100     1971    55449   28     4393    1236   1961  17583 1.01
0.99/1.02	o 32	1.019
0.99/1.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.02	c    17880    100      700    19767   28     1840    1236    690  17546 1.02
0.99/1.02	o 30	1.019
0.99/1.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.06	c    17886     99      707    20074   28     1909    1234    697  17535 1.02
0.99/1.06	c    17986     91      807    22782   28     2097    1358    797  17530 1.03
0.99/1.06	c    18236     90     1057    30225   28     2598    1494   1047  17467 1.04
0.99/1.06	o 20	1.054
0.99/1.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.06	c    18379     90     1201    34815   28     2935    1216   1191  17437 1.05
0.99/1.06	o 18	1.055
1.69/1.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.77	c    18385     90     1208    35183   29     2997    1216   1198  17426 1.05
1.69/1.77	c    18486     90      683    19827   29     1720    1338    673  17390 1.06
1.69/1.77	c    18737     90      934    27288   29     2229    1472    924  17397 1.08
1.69/1.77	c    19212     90     1409    41811   29     3168    1620   1399  17355 1.11
1.69/1.77	c    20025     90     1386    41340   29     3133    1783   1376  17218 1.16
1.69/1.77	c    21346     90     1789    54993   30     3938    1962   1779  16901 1.26
1.69/1.77	c    23428     90     1861    57871   31     4086    2159   1851  16463 1.42
1.69/1.77	c    26651     90     1773    51344   28     3898    2375   1763  16074 1.66
1.69/1.77	o 15	1.772
2.39/2.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.39/2.48	c    28073     90     1980    60420   30     4367    1216   1970  15842 1.77
2.39/2.48	c    28173     83      749    21890   29     1844    1338    739  15818 1.78
2.39/2.48	c    28423     81      999    29501   29     2336    1472    989  15808 1.80
2.39/2.48	c    28899     80     1475    43701   29     3291    1620   1465  15826 1.83
2.39/2.48	c    29713     80     1458    43324   29     3256    1783   1448  15813 1.88
2.39/2.48	c    31034     80      943    27934   29     2231    1962    933  15626 1.99
2.39/2.48	c    33115     80     1032    30604   29     2409    2159   1022  15373 2.15
2.39/2.48	c    36338     80     2044    63370   31     4425    2375   2034  15059 2.41
2.39/2.48	o 13	2.478
7.29/7.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.29/7.34	c    37132     80     1619    51033   31     3619    1196   1609  14984 2.48
7.29/7.34	c    37233     80      750    22974   30     1830    1316    740  14977 2.49
7.29/7.34	c    37483     80     1000    30715   30     2332    1448    990  14987 2.50
7.29/7.34	c    37958     80     1475    45603   30     3280    1593   1465  14961 2.54
7.29/7.34	c    38772     80     1473    44829   30     3280    1753   1463  14929 2.60
7.29/7.34	c    40093     80      993    29564   29     2318    1929    983  14876 2.69
7.29/7.34	c    42174     80     1086    32924   30     2490    2122   1076  14792 2.85
7.29/7.34	c    45397     80     2137    65289   30     4607    2335   2127  14653 3.10
7.29/7.34	c    50335     80     2303    72291   31     4933    2569   2293  14348 3.51
7.29/7.34	c    57841     80     1937    59382   30     4203    2826   1927  13874 4.17
7.29/7.34	c    69202     80     1796    55832   31     3925    3109   1786  13313 5.20
7.29/7.34	c    86346     80     3115    96422   30     6564    3420   3105  12683 6.81
7.29/7.34	o 11	7.337
8.59/8.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.59/8.68	c    91561     80     3136    95203   30     6644    1196   3126  12479 7.34
8.59/8.68	c    91662     80      750    21863   29     1831    1316    740  12472 7.35
8.59/8.68	c    91912     80     1000    29239   29     2325    1448    990  12481 7.36
8.59/8.68	c    92387     80     1475    43894   29     3280    1593   1465  12493 7.39
8.59/8.68	c    93200     80     1473    44252   30     3283    1753   1463  12511 7.45
8.59/8.68	c    94520     80      998    29288   29     2330    1929    988  12525 7.55
8.59/8.68	c    96601     80     1094    33095   30     2521    2122   1084  12555 7.69
8.59/8.68	c    99825     80     2134    63930   29     4599    2335   2124  12548 7.96
8.59/8.68	c   104762     80     2302    70768   30     4933    2569   2292  12555 8.34
8.59/8.68	o 10	8.678
29.69/29.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.69/29.74	c   108936     80     2545    79221   31     5461    1196   2535  12553 8.68
29.69/29.74	c   109037     80      750    22450   29     1830    1316    740  12553 8.69
29.69/29.74	c   109287     80     1000    30291   30     2335    1448    990  12563 8.70
29.69/29.74	c   109763     80     1476    45170   30     3287    1593   1466  12577 8.73
29.69/29.74	c   110576     80     1462    44703   30     3258    1753   1452  12595 8.78
29.69/29.74	c   111896     80      980    28159   28     2282    1929    970  12619 8.87
29.69/29.74	c   113978     80     1085    32398   29     2503    2122   1075  12631 9.02
29.69/29.74	c   117201     80     2128    63481   29     4591    2335   2118  12649 9.27
29.69/29.74	c   122137     80     2282    68183   29     4885    2569   2272  12631 9.67
29.69/29.74	c   129643     80     1928    59260   30     4192    2826   1918  12565 10.32
29.69/29.74	c   141005     80     1777    54596   30     3883    3109   1767  12496 11.28
29.69/29.74	c   158151     80     3108    96548   31     6541    3420   3098  12353 12.80
29.69/29.74	c   183970     80     2870    89933   31     6072    3763   2860  12128 15.17
29.69/29.74	c   222803     80     3527   107726   30     7387    4140   3517  11680 19.07
29.69/29.74	c   281155     80     3157    99588   31     6641    4555   3147  11032 25.48
29.69/29.74	o 9	29.736
51.08/51.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
51.08/51.14	c   317057     80     4497   142049   31     9367    1196   4487  10662 29.74
51.08/51.14	c   317158     80      750    22400   29     1835    1316    740  10657 29.76
51.08/51.14	c   317409     80     1001    29466   29     2328    1448    991  10661 29.77
51.08/51.14	c   317885     80     1477    43527   29     3285    1593   1467  10667 29.80
51.08/51.14	c   318698     80     1469    42842   29     3272    1753   1459  10674 29.86
51.08/51.14	c   320019     80      989    29541   29     2315    1929    979  10682 29.96
51.08/51.14	c   322102     80     1091    32005   29     2512    2122   1081  10693 30.12
51.08/51.14	c   325326     80     2145    63689   29     4615    2335   2135  10710 30.37
51.08/51.14	c   330263     80     2304    67837   29     4941    2569   2294  10728 30.78
51.08/51.14	c   337769     80     1968    59758   30     4274    2826   1958  10750 31.42
51.08/51.14	c   349130     80     1831    55422   30     3993    3109   1821  10764 32.43
51.08/51.14	c   366274     80     1606    46602   29     3543    3420   1596  10771 34.01
51.08/51.14	c   392094     80     3130    95612   30     6595    3763   3120  10727 36.55
51.08/51.14	c   430926     80     1939    60325   31     4209    4140   1929  10624 40.56
51.08/51.14	c   489279     80     3703   116029   31     7737    4555   3693  10434 46.89
51.08/51.14	o 7	51.127
78.47/78.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
78.47/78.59	c   526609     80     4160   129998   31     8689    1196   4150  10300 51.13
78.47/78.59	c   526709     75      749    22395   29     1817    1316    739  10298 51.14
78.47/78.59	c   526959     71      999    29883   29     2317    1448    989  10300 51.16
78.47/78.59	c   527436     71     1476    44958   30     3270    1593   1466  10301 51.20
78.47/78.59	c   528251     70     1469    43962   29     3253    1753   1459  10305 51.26
78.47/78.59	c   529571     70      985    28499   28     2277    1929    975  10311 51.36
78.47/78.59	c   531653     70     1089    32017   29     2495    2122   1079  10320 51.51
78.47/78.59	c   534876     70     2136    64718   30     4585    2335   2126  10332 51.77
78.47/78.59	c   539813     70     2296    69772   30     4904    2569   2286  10349 52.16
78.47/78.59	c   547319     70     1927    58434   30     4170    2826   1917  10367 52.79
78.47/78.59	c   558681     70     1785    52879   29     3887    3109   1775  10383 53.81
78.47/78.59	c   575825     70     3134    96245   30     6582    3420   3124  10395 55.39
78.47/78.59	c   601644     70     2902    90856   31     6111    3763   2892  10386 57.92
78.47/78.59	c   640476     70     3594   111135   30     7501    4140   3584  10326 62.02
78.47/78.59	c   698828     70     3266    98330   30     6849    4555   3256  10207 68.46
78.47/78.59	c   786461     70     3408   103885   30     7128    5011   3398  10044 78.30
78.47/78.59	o 5	78.572
322.43/322.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
322.43/322.58	c   789004     70     3418   104256   30     7181    1176   3408  10041 78.57
322.43/322.58	c   789104     70      749    21948   29     1805    1294    739  10041 78.58
322.43/322.58	c   789356     70     1001    29803   29     2309    1424    991  10042 78.60
322.43/322.58	c   789831     70     1476    44054   29     3251    1567   1466  10044 78.63
322.43/322.58	c   790644     70     1488    43790   29     3279    1724   1478  10048 78.68
322.43/322.58	c   791965     70     1032    29865   28     2368    1897   1022  10052 78.78
322.43/322.58	c   794046     70     1173    34525   29     2654    2087   1163  10061 78.92
322.43/322.58	c   797269     70     1185    35316   29     2678    2296   1175  10072 79.15
322.43/322.58	c   802205     70     1428    40564   28     3148    2526   1418  10086 79.53
322.43/322.58	c   809711     70     2482    75093   30     5268    2779   2472  10098 80.18
322.43/322.58	c   821073     70     2531    78061   30     5361    3057   2521  10116 81.16
322.43/322.58	c   838218     70     2613    78940   30     5530    3363   2603  10131 82.73
322.43/322.58	c   864037     70     2821    87050   30     5947    3700   2811  10141 85.20
322.43/322.58	c   902869     70     2267    68628   30     4841    4071   2257  10129 89.14
322.43/322.58	c   961223     70     2874    88441   30     6046    4479   2864  10084 95.31
322.43/322.58	c  1048855     70     4485   138774   30     9272    4927   4475   9987 105.02
322.43/322.58	c  1180407     70     4135   128114   30     8572    5420   4125   9779 120.70
322.43/322.58	c  1377839     70     4644   142246   30     9592    5963   4634   9536 144.48
322.43/322.58	c  1674091     70     3272   100964   30     6842    6560   3262   9145 183.04
322.43/322.58	c  2118574     70     4842   151569   31     9995    7217   4832   8594 246.51
322.43/322.58	o 4	322.525
1800.01/1800.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.01/1800.30	c  2662350     70     3670   114175   31     7648    1176   3660   8254 322.54
1800.01/1800.30	c  2662451     66      750    21921   29     1794    1294    740   8254 322.56
1800.01/1800.30	c  2662701     63     1000    29228   29     2294    1424    990   8254 322.57
1800.01/1800.30	c  2663178     61     1477    43884   29     3244    1567   1467   8255 322.60
1800.01/1800.30	c  2663991     61     1483    44060   29     3249    1724   1473   8256 322.66
1800.01/1800.30	c  2665312     61     1027    29854   29     2344    1897   1017   8258 322.75
1800.01/1800.30	c  2667393     60     1169    33751   28     2624    2087   1159   8260 322.90
1800.01/1800.30	c  2670618     60     1181    35036   29     2652    2296   1171   8264 323.13
1800.01/1800.30	c  2675555     60     1429    41086   28     3139    2526   1419   8270 323.50
1800.01/1800.30	c  2683061     60     2488    74602   29     5262    2779   2478   8279 324.07
1800.01/1800.30	c  2694423     60     2539    76687   30     5362    3057   2529   8291 324.96
1800.01/1800.30	c  2711567     60     2581    77023   29     5448    3363   2571   8305 326.47
1800.01/1800.30	c  2737387     60     2809    85727   30     5905    3700   2799   8324 328.85
1800.01/1800.30	c  2776219     60     2220    67755   30     4724    4071   2210   8348 332.56
1800.01/1800.30	c  2834573     60     2919    87735   30     6121    4479   2909   8379 338.28
1800.01/1800.30	c  2922205     60     4484   136498   30     9255    4927   4474   8416 347.20
1800.01/1800.30	c  3053757     60     4129   125634   30     8543    5420   4119   8430 362.24
1800.01/1800.30	c  3251189     60     4628   139593   30     9545    5963   4618   8433 385.49
1800.01/1800.30	c  3547442     60     3244    99080   30     6777    6560   3234   8429 420.82
1800.01/1800.30	c  3991924     60     4841   147763   30     9968    7217   4831   8355 477.76
1800.01/1800.30	c  4658751     60     6778   212287   31    13843    7939   6768   8166 570.47
1800.01/1800.30	c  5659098     60     4725   147894   31     9735    8733   4715   7900 716.32
1800.01/1800.30	c  7159721     60     8104   253852   31    16495    9607   8094   7488 956.06
1800.01/1800.30	c  9410759     60     9532   288673   30    19355   10568   9522   6961 1351.90
1800.01/1800.30	c Caught signal: 15
1800.01/1800.30	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 x84 -x85 x86 -x87 x88 x89 x90 -x91 x92 -x93 -x94 x95 -x96 x97 x98 x99 x100 x101 x102 x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 x117 x118 x119 x120 
1800.01/1800.30	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.30	c  193 11892775   6026 11905357     7287   221576   7277   6607 1800.02
1800.01/1800.30	c Objective: 4
1800.01/1800.30	s SATISFIABLE
1800.01/1800.30	c Total time: 1800.02 s

Verifier Data 

OK	4

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-3734881-1338701768/watcher-3734881-1338701768 -o /tmp/evaluation-result-3734881-1338701768/solver-3734881-1338701768 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3734881-1338701768.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.95 1.99 1.99 3/176 14497
/proc/meminfo: memFree=27179744/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 336300906 4583424 155 33554432000 134512640 135840783 4289320960 4289320300 2516312 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14497/statm: 1119 155 133 325 0 39 0

[startup+0.0559451 s]
/proc/loadavg: 1.95 1.99 1.99 3/176 14497
/proc/meminfo: memFree=27179744/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=5076 CPUtime=0.04 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 605 0 0 0 4 0 0 0 20 0 1 0 336300906 5197824 540 33554432000 134512640 135840783 4289320960 4289319472 3077415 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14497/statm: 1269 540 348 325 0 205 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5076

[startup+0.100258 s]
/proc/loadavg: 1.95 1.99 1.99 3/176 14497
/proc/meminfo: memFree=27179744/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=5340 CPUtime=0.09 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 673 0 0 0 9 0 0 0 20 0 1 0 336300906 5468160 608 33554432000 134512640 135840783 4289320960 4289320256 134572606 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14497/statm: 1335 608 348 325 0 271 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5340

[startup+0.300223 s]
/proc/loadavg: 1.95 1.99 1.99 3/176 14497
/proc/meminfo: memFree=27179744/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=5468 CPUtime=0.29 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 686 0 0 0 29 0 0 0 20 0 1 0 336300906 5599232 621 33554432000 134512640 135840783 4289320960 4289320272 134550804 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14497/statm: 1367 621 348 325 0 303 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5468

[startup+0.700219 s]
/proc/loadavg: 1.95 1.99 1.99 3/176 14497
/proc/meminfo: memFree=27179744/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=5600 CPUtime=0.69 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 720 0 0 0 69 0 0 0 20 0 1 0 336300906 5734400 655 33554432000 134512640 135840783 4289320960 4289320320 134551084 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14497/statm: 1400 655 348 325 0 336 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5600

[startup+1.50022 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 14498
/proc/meminfo: memFree=27178256/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=5728 CPUtime=1.49 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 757 0 0 0 149 0 0 0 20 0 1 0 336300906 5865472 692 33554432000 134512640 135840783 4289320960 4289320272 134550878 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14497/statm: 1432 692 348 325 0 368 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5728

[startup+3.1002 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 14498
/proc/meminfo: memFree=27177992/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=5856 CPUtime=3.09 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 792 0 0 0 309 0 0 0 20 0 1 0 336300906 5996544 727 33554432000 134512640 135840783 4289320960 4289320132 3072162 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14497/statm: 1464 727 348 325 0 400 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5856

[startup+6.30022 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 14498
/proc/meminfo: memFree=27177336/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=6244 CPUtime=6.29 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 886 0 0 0 629 0 0 0 20 0 1 0 336300906 6393856 821 33554432000 134512640 135840783 4289320960 4289320272 134550779 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14497/statm: 1561 821 348 325 0 497 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6244

[startup+12.7002 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 14498
/proc/meminfo: memFree=27176892/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=6372 CPUtime=12.69 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 932 0 0 0 1269 0 0 0 20 0 1 0 336300906 6524928 867 33554432000 134512640 135840783 4289320960 4289320320 134550913 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/14497/statm: 1593 867 348 325 0 529 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6372

[startup+25.5002 s]
/proc/loadavg: 1.96 1.99 1.99 3/177 14498
/proc/meminfo: memFree=27177404/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=6772 CPUtime=25.48 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 1029 0 0 0 2548 0 0 0 20 0 1 0 336300906 6934528 964 33554432000 134512640 135840783 4289320960 4289320312 12376230 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 1693 964 348 325 0 629 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 6772

[startup+51.1002 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 14498
/proc/meminfo: memFree=27177560/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=7012 CPUtime=51.08 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 1081 0 0 0 5108 0 0 0 20 0 1 0 336300906 7180288 1016 33554432000 134512640 135840783 4289320960 4289320256 134572689 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 1753 1016 348 325 0 689 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 7012

[startup+102.306 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 14498
/proc/meminfo: memFree=27177064/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=7192 CPUtime=102.28 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 1119 0 0 0 10228 0 0 0 20 0 1 0 336300906 7364608 1054 33554432000 134512640 135840783 4289320960 4289320384 134546112 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 1798 1054 348 325 0 734 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 7192

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 14498
/proc/meminfo: memFree=27176320/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=7736 CPUtime=162.26 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 1305 0 0 0 16226 0 0 0 20 0 1 0 336300906 7921664 1208 33554432000 134512640 135840783 4289320960 4289320320 134550972 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 1934 1208 348 325 0 870 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 7736

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 14499
/proc/meminfo: memFree=27176320/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=8160 CPUtime=222.25 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 1425 0 0 0 22225 0 0 0 20 0 1 0 336300906 8355840 1314 33554432000 134512640 135840783 4289320960 4289320320 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 2040 1314 348 325 0 976 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 8160

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 14502
/proc/meminfo: memFree=27176044/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=8448 CPUtime=282.24 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 1545 0 0 0 28224 0 0 0 20 0 1 0 336300906 8650752 1386 33554432000 134512640 135840783 4289320960 4289320272 134551175 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 2112 1386 348 325 0 1048 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 8448

[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 14502
/proc/meminfo: memFree=27176460/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=8456 CPUtime=342.23 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 1554 0 0 0 34223 0 0 0 20 0 1 0 336300906 8658944 1388 33554432000 134512640 135840783 4289320960 4289320320 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 2114 1388 348 325 0 1050 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 8456

[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 14502
/proc/meminfo: memFree=27175592/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=8456 CPUtime=402.22 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 1554 0 0 0 40222 0 0 0 20 0 1 0 336300906 8658944 1388 33554432000 134512640 135840783 4289320960 4289320272 134551081 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 2114 1388 348 325 0 1050 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 8456

[startup+462.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 14502
/proc/meminfo: memFree=27175468/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=8460 CPUtime=462.21 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 1587 0 0 0 46221 0 0 0 20 0 1 0 336300906 8663040 1389 33554432000 134512640 135840783 4289320960 4289320272 134551347 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 2115 1389 348 325 0 1051 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 8460

[startup+522.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 14503
/proc/meminfo: memFree=27175716/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=8600 CPUtime=522.2 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 1622 0 0 0 52220 0 0 0 20 0 1 0 336300906 8806400 1421 33554432000 134512640 135840783 4289320960 4289320320 134551058 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 2150 1421 348 325 0 1086 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 8600

[startup+582.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 14503
/proc/meminfo: memFree=27175468/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=8780 CPUtime=582.19 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 1675 0 0 0 58219 0 0 0 20 0 1 0 336300906 8990720 1469 33554432000 134512640 135840783 4289320960 4289320272 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 2195 1469 348 325 0 1131 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 8780

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 14507
/proc/meminfo: memFree=27174380/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=9512 CPUtime=882.15 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 2033 0 0 0 88215 0 0 0 20 0 1 0 336300906 9740288 1652 33554432000 134512640 135840783 4289320960 4289320272 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 2378 1652 348 325 0 1314 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 9512

[startup+942.3 s]
/proc/loadavg: 1.99 1.99 1.99 2/176 14508
/proc/meminfo: memFree=27186924/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=9512 CPUtime=942.14 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 2073 0 0 0 94214 0 0 0 20 0 1 0 336300906 9740288 1652 33554432000 134512640 135840783 4289320960 4289320228 3071940 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 2378 1652 348 325 0 1314 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 9512

[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 14546
/proc/meminfo: memFree=27179432/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=9860 CPUtime=1002.13 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 2220 0 0 0 100213 0 0 0 20 0 1 0 336300906 10096640 1739 33554432000 134512640 135840783 4289320960 4289319712 134586558 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 2465 1739 348 325 0 1401 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 9860

[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 14546
/proc/meminfo: memFree=27179192/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=9892 CPUtime=1062.12 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 2295 0 0 0 106212 0 0 0 20 0 1 0 336300906 10129408 1747 33554432000 134512640 135840783 4289320960 4289320272 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 2473 1747 348 325 0 1409 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 9892

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14547
/proc/meminfo: memFree=27178324/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=9936 CPUtime=1122.11 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 2322 0 0 0 112211 0 0 0 20 0 1 0 336300906 10174464 1758 33554432000 134512640 135840783 4289320960 4289320320 134550902 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 2484 1758 348 325 0 1420 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 9936

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14547
/proc/meminfo: memFree=27177516/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=9960 CPUtime=1182.1 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 2339 0 0 0 118210 0 0 0 20 0 1 0 336300906 10199040 1764 33554432000 134512640 135840783 4289320960 4289320264 12376269 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 2490 1764 348 325 0 1426 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 9960

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14547
/proc/meminfo: memFree=27176900/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=9960 CPUtime=1242.09 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 2339 0 0 0 124209 0 0 0 20 0 1 0 336300906 10199040 1764 33554432000 134512640 135840783 4289320960 4289320320 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 2490 1764 348 325 0 1426 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 9960

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14547
/proc/meminfo: memFree=27176776/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=10088 CPUtime=1302.09 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 2423 0 0 0 130209 0 0 0 20 0 1 0 336300906 10330112 1773 33554432000 134512640 135840783 4289320960 4289320048 3074791 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 2522 1773 348 325 0 1458 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 10088

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14547
/proc/meminfo: memFree=27176900/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=10016 CPUtime=1362.07 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 2460 0 0 0 136207 0 0 0 20 0 1 0 336300906 10256384 1778 33554432000 134512640 135840783 4289320960 4289320032 3074796 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 2504 1778 348 325 0 1440 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 10016

[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 14548
/proc/meminfo: memFree=27176652/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=10212 CPUtime=1422.07 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 2703 0 0 0 142206 1 0 0 20 0 1 0 336300906 10457088 1827 33554432000 134512640 135840783 4289320960 4289320264 12376249 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 2553 1827 348 325 0 1489 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 10212

[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 14551
/proc/meminfo: memFree=27175668/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=10264 CPUtime=1482.06 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 2779 0 0 0 148205 1 0 0 20 0 1 0 336300906 10510336 1840 33554432000 134512640 135840783 4289320960 4289320320 134550948 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 2566 1840 348 325 0 1502 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 10264

[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 14574
/proc/meminfo: memFree=27175604/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=10304 CPUtime=1542.05 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 2973 0 0 0 154204 1 0 0 20 0 1 0 336300906 10551296 1850 33554432000 134512640 135840783 4289320960 4289320320 134550913 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 2576 1850 348 325 0 1512 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 10304

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14574
/proc/meminfo: memFree=27175488/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=10356 CPUtime=1602.04 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 2997 0 0 0 160203 1 0 0 20 0 1 0 336300906 10604544 1863 33554432000 134512640 135840783 4289320960 4289320320 134550863 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 2589 1863 348 325 0 1525 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 10356

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14574
/proc/meminfo: memFree=27174124/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=10356 CPUtime=1662.03 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 3105 0 0 0 166202 1 0 0 20 0 1 0 336300906 10604544 1863 33554432000 134512640 135840783 4289320960 4289320320 134551324 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 2589 1863 348 325 0 1525 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 10356

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14575
/proc/meminfo: memFree=27174372/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=10356 CPUtime=1722.02 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 3157 0 0 0 172201 1 0 0 20 0 1 0 336300906 10604544 1863 33554432000 134512640 135840783 4289320960 4289320272 134551312 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 2589 1863 348 325 0 1525 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 10356

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14575
/proc/meminfo: memFree=27173876/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=10356 CPUtime=1782.01 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 3288 0 0 0 178200 1 0 0 20 0 1 0 336300906 10604544 1863 33554432000 134512640 135840783 4289320960 4289320316 12771840 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 2589 1863 348 325 0 1525 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 10356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14575
/proc/meminfo: memFree=27174248/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=10356 CPUtime=1800.01 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 3289 0 0 0 180000 1 0 0 20 0 1 0 336300906 10604544 1863 33554432000 134512640 135840783 4289320960 4289320220 12342884 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 2589 1863 348 325 0 1525 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10356

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

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14575
/proc/meminfo: memFree=27174248/32873648 swapFree=7368/7368
[pid=14497] ppid=14495 vsize=10356 CPUtime=1800.01 cores=1,3,5,7
/proc/14497/stat : 14497 (bsolo3.0.17) R 14495 14497 10459 0 -1 4202496 3289 0 0 0 180000 1 0 0 20 0 1 0 336300906 10604544 1863 33554432000 134512640 135840783 4289320960 4289320220 12342884 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14497/statm: 2589 1863 348 325 0 1525 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10356

Child status: 15
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1800.01
CPU system time (s): 0.016997
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 10752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.016997
maximum resident set size= 7772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3292
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= 15
involuntary context switches= 1900

runsolver used 3.12252 second user time and 7.68183 second system time

The end

Launcher Data 

Begin job on node149 at 2012-06-03 07:36:08
IDJOB=3734881
IDBENCH=2914
IDSOLVER=2318
FILE ID=node149/3734881-1338701768
RUNJOBID= node149-1338678596-10476
PBS_JOBID= 14636664
Free space on /tmp= 71048 MiB

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

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

MD5SUM BENCH= a470052ca6f8034e2c6c08868e52d9e8
RANDOM SEED=55286752

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27180372 kB
Buffers:          721216 kB
Cached:          4048272 kB
SwapCached:         2468 kB
Active:          1936604 kB
Inactive:        2865808 kB
Active(anon):      15844 kB
Inactive(anon):     9368 kB
Active(file):    1920760 kB
Inactive(file):  2856440 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:              6664 kB
Writeback:             4 kB
AnonPages:         27588 kB
Mapped:            15620 kB
Shmem:                96 kB
Slab:             752928 kB
SReclaimable:     196740 kB
SUnreclaim:       556188 kB
KernelStack:        1456 kB
PageTables:         3984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     145528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71044 MiB
End job on node149 at 2012-06-03 08:06:10