Trace number 3707771

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
bsolo 3.2SAT3096 1798.02 1798.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb
MD5SUM8d2c17131f0dd6c2b5d472cf1eef4c89
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2967
Best CPU time to get the best result obtained on this benchmark0.208968
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2967
Optimality of the best value was proved YES
Number of variables1086
Total number of constraints85
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)84
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint4
Maximum length of a constraint1086
Number of terms in the objective function 1086
Biggest coefficient in the objective function 283
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 197191
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 283
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 197191
Number of bits of the biggest sum of numbers18
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.2 - 23/05/2010 : 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 Instance file HOME/instance-3707771-1338142896.opb
0.00/0.00	c File size is 48755 bytes.
0.00/0.00	c Highest Coefficient sum: 197191
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 1086 Constr: 169 83/85/1 Lit: 9224 Watch. Lit: 4845
0.00/0.00	c Obj. Vars: 1086 (100 % of total variables)
0.00/0.05	c Pre-processing Time: 0.051 s
0.00/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.08	c        0   1086      169     9224   54     4845   49094      0      0 0.05
0.00/0.08	c Initial Lower Bound: 2943
0.00/0.08	c Initial Path Cost: 0
0.19/0.25	c      100   1086      284    26749   94     7079   54004    115    680 0.15
0.19/0.25	c      250   1086      463    54012  116     9137   59405    294   1157 0.22
0.19/0.25	o 4669
1.69/1.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.71	c      291   1086      508    68262  134    10330   51266    339   1136 0.26
1.69/1.71	o 4582
4.79/4.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.79/4.82	c      297   1086      518    72564  140    11354   51266    349    173 1.71
4.79/4.82	o 4567
5.50/5.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.50/5.59	c      332   1086      561    85406  152    12870   51266    392     68 4.82
5.50/5.59	o 4443
6.68/6.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.68/6.74	c      336   1086      568    89368  157    13877   51266    399     60 5.59
6.68/6.74	o 4421
7.39/7.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.39/7.44	c      348   1086      587    97623  166    14954   51266    418     51 6.74
7.39/7.44	o 4417
8.59/8.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.59/8.67	c      351   1086      593   101559  171    16034   51266    424     47 7.44
8.59/8.67	o 4280
10.29/10.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.29/10.32	c      358   1086      605   108844  179    17021   51266    436     41 8.67
10.29/10.32	o 4091
13.38/13.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.38/13.41	c      426   1086      697   147365  211    18720   51266    528     41 10.32
13.38/13.41	c      526   1086      868   249041  286    19784   56393    699     40 12.84
13.38/13.41	o 4070
14.30/14.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.30/14.35	c      531   1086      884   264140  298    20826   51266    715     39 13.42
14.30/14.35	o 4066
15.59/15.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.59/15.67	c      558   1086      928   292090  314    22246   51266    759     38 14.35
15.59/15.67	o 3955
17.29/17.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.29/17.35	c      565   1086      938   296259  315    23244   51266    769     36 15.67
17.29/17.35	o 3919
17.89/17.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.89/17.91	c      613   1086     1033   363111  351    24550   51266    864     35 17.35
17.89/17.91	o 3866
18.49/18.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.49/18.52	c      617   1086     1042   370423  355    25586   51266    873     34 17.91
18.49/18.52	o 3865
21.09/21.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.09/21.17	c      624   1086     1061   385662  363    26650   51266    892     33 18.52
21.09/21.17	c      724   1086     1222   482211  394    27416   56393   1053     35 20.32
21.09/21.17	o 3862
45.58/45.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
45.58/45.67	c      736   1086     1239   490225  395    28480   51266   1070     34 21.17
45.58/45.67	c      836   1086     1366   535487  392    29009   56393   1197     36 22.86
45.58/45.67	c     1089   1086     1806   780287  432    30120   62033   1637     37 29.30
45.58/45.67	c     1564   1086     2832  1630326  575    32425   68237   2663     39 39.16
45.58/45.67	o 3860
47.29/47.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
47.29/47.32	c     2076   1086     3814  2400712  629    37137   51266   3645     45 45.66
47.29/47.32	c     2177   1086     3929  2424134  616    37946   56393   3760     46 46.84
47.29/47.32	o 3793
47.78/47.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
47.78/47.82	c     2178   1086     3933  2427227  617    38940   51266   3764     46 47.32
47.78/47.82	o 3778
48.18/48.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
48.18/48.29	c     2180   1086     3940  2432885  617    39957   51266   3771     45 47.82
48.18/48.29	o 3777
48.68/48.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
48.68/48.77	c     2181   1086     3944  2436512  617    40957   51266   3775     45 48.28
48.68/48.77	o 3776
132.47/132.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
132.47/132.57	c     2183   1086     3949  2440867  618    41963   51266   3780     44 48.77
132.47/132.57	c     2286   1086     4107  2520928  613    43115   56393   3938     45 49.99
132.47/132.57	c     2536   1086     4376  2576827  588    43623   62033   4207     47 53.74
132.47/132.57	c     3021   1086     5497  3582026  651    46014   68237   5328     51 58.17
132.47/132.57	c     3834   1086     6998  4760567  680    49916   75061   6829     60 63.84
132.47/132.57	c     5154   1086     8644  5451727  630    56948   82568   8475     70 73.31
132.47/132.57	c     7236   1086    10868  6171014  567    62539   90825  10699     87 83.08
132.47/132.57	c    10459   1086    14223  6982676  490    69665   99908  14054    110 94.49
132.47/132.57	c    15395   1086    19377  8799093  454    85837  109899  19208    128 119.98
132.47/132.57	o 3741
139.17/139.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
139.17/139.24	c    16868   1086    21278  9764932  458    97647   51266  21109    127 132.55
139.17/139.24	c    16968   1086    21423  9834403  459    98309   56393  21254    126 133.78
139.17/139.24	c    17218   1086    21941 10247756  467    99737   62033  21772    124 138.49
139.17/139.24	o 3730
141.57/141.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
141.57/141.67	c    17229   1086    21966 10262343  467   100736   51266  21797    123 139.22
141.57/141.67	o 3724
169.76/169.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
169.76/169.88	c    17317   1086    22146 10386602  469   102570   51266  21977    122 141.66
169.76/169.88	c    17419   1086    22317 10471033  469   103348   56393  22148    120 145.01
169.76/169.88	c    17695   1086    22880 10847219  474   104476   62033  22711    115 153.28
169.76/169.88	c    18171   1086    23715 11366472  479   107139   68237  23546    112 161.25
169.76/169.88	o 3717
170.56/170.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
170.56/170.69	c    18835   1086    24776 11909328  480   111771   51266  24607    110 169.85
170.56/170.69	o 3711
211.16/211.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
211.16/211.20	c    18859   1086    24832 11935414  480   112813   51266  24663    110 170.66
211.16/211.20	c    18964   1086    24954 11964818  479   114922   56393  24785    110 172.05
211.16/211.20	c    19214   1086    25381 12248540  482   116078   62033  25212    109 175.46
211.16/211.20	c    19700   1086    26376 12784986  484   117559   68237  26207    107 183.01
211.16/211.20	c    20514   1086    27826 13624893  489   122834   75061  27657    104 197.18
211.16/211.20	c    21835   1086    29446 14309682  485   130488   82568  29277    103 209.98
211.16/211.20	o 3691
220.45/220.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
220.45/220.58	c    21871   1086    29527 14349562  485   131529   51266  29358    103 211.18
220.45/220.58	c    21976   1086    29736 14513158  488   132027   56393  29567    103 212.78
220.45/220.58	c    22226   1086    30259 14796300  488   132730   62033  30090    102 217.72
220.45/220.58	o 3689
221.26/221.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
221.26/221.34	c    22391   1086    30540 14978395  490   134773   51266  30371    101 220.56
221.26/221.34	o 3659
221.76/221.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
221.76/221.84	c    22412   1086    30592 15013184  490   135808   51266  30423    101 221.31
221.76/221.84	o 3658
222.56/222.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
222.56/222.64	c    22414   1086    30598 15018682  490   136835   51266  30429    101 221.81
222.56/222.64	o 3657
223.46/223.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
223.46/223.53	c    22438   1086    30653 15065426  491   137910   51266  30484    100 222.61
223.46/223.53	o 3656
224.46/224.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
224.46/224.51	c    22478   1086    30746 15143227  492   139108   51266  30577    100 223.50
224.46/224.51	o 3655
258.95/259.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
258.95/259.07	c    22519   1086    30840 15219218  493   140532   51266  30671    100 224.47
258.95/259.07	c    22626   1086    31075 15382473  495   140933   56393  30906     99 226.30
258.95/259.07	c    22879   1086    31615 15722346  497   141638   62033  31446     99 230.25
258.95/259.07	c    23354   1086    32108 15855443  493   143666   68237  31939     99 233.85
258.95/259.07	c    24174   1086    33855 17155765  506   146866   75061  33686     97 247.96
258.95/259.07	o 3347
276.25/276.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
276.25/276.34	c    24429   1086    34422 17511331  508   149474   51266  34253     94 259.04
276.25/276.34	c    24543   1086    34668 17628474  508   149558   56393  34499     93 261.78
276.25/276.34	c    24801   1086    35221 17949066  509   150399   62033  35052     92 268.44
276.25/276.34	c    25280   1086    35930 18271727  508   153720   68237  35761     91 275.10
276.25/276.34	o 3340
289.85/289.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
289.85/289.99	c    25322   1086    36021 18316849  508   154782   51266  35852     91 276.30
289.85/289.99	c    25435   1086    36254 18454460  509   155066   56393  36085     91 278.56
289.85/289.99	c    25686   1086    36639 18638412  508   156429   62033  36470     90 282.46
289.85/289.99	o 3335
290.44/290.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
290.44/290.54	c    26161   1086    37681 19171379  508   158854   51266  37512     90 289.95
290.44/290.54	o 3321
291.64/291.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
291.64/291.70	c    26181   1086    37724 19201765  509   159936   51266  37555     90 290.50
291.64/291.70	o 3319
292.85/292.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
292.85/292.95	c    26238   1086    37853 19282961  509   161172   51266  37684     89 291.65
292.85/292.95	o 3317
293.35/293.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
293.35/293.48	c    26305   1086    37989 19363995  509   162360   51266  37820     89 292.91
293.35/293.48	o 3316
336.60/336.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
336.60/336.77	c    26321   1086    38018 19378921  509   163316   51266  37849     89 293.44
336.60/336.77	c    26421   1086    38152 19427287  509   165178   56393  37983     89 295.15
336.60/336.77	c    26672   1086    38593 19668031  509   166199   62033  38424     89 299.54
336.60/336.77	c    27173   1086    39655 20256361  510   167344   68237  39486     88 306.52
336.60/336.77	c    27986   1086    40766 20742166  508   171227   75061  40597     88 315.57
336.60/336.77	c    29317   1086    43661 22672116  519   177483   82568  43492     87 336.59
336.60/336.77	o 3130
362.68/362.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
362.68/362.86	c    29317   1086    43662 22673202  519   178485   51266  43493     87 336.69
362.68/362.86	c    29470   1086    43982 22776421  517   178665   56393  43813     86 339.22
362.68/362.86	c    29721   1086    44406 22952338  516   180676   62033  44237     86 342.27
362.68/362.86	c    30196   1086    45435 23477465  516   181937   68237  45266     86 348.50
362.68/362.86	c    31024   1086    47192 24553794  520   185340   75061  47023     86 359.17
362.68/362.86	o 3118
362.98/363.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
362.98/363.10	c    31261   1086    47691 24774899  519   186733   51266  47522     86 362.76
362.98/363.10	o 3109
363.19/363.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
363.19/363.34	c    31264   1086    47698 24779358  519   187713   51266  47529     86 363.00
363.19/363.34	o 3096
1797.98/1798.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.98/1798.62	c    31270   1086    47717 24784478  519   188779   51266  47548     86 363.23
1797.98/1798.62	c    31384   1086    47971 24913542  519   189672   56393  47802     85 365.11
1797.98/1798.62	c    31663   1086    48568 25188600  518   190755   62033  48399     85 368.76
1797.98/1798.62	c    32143   1086    49581 25734907  519   193049   68237  49412     85 375.58
1797.98/1798.62	c    33024   1086    51472 26707048  518   196478   75061  51303     85 387.93
1797.98/1798.62	c    34401   1086    54376 28114290  517   201971   82568  54207     84 407.81
1797.98/1798.62	c    36483   1086    57216 29055495  507   210742   90825  57047     83 438.40
1797.98/1798.62	c    39706   1086    61665 31294630  507   228937   99908  61496     82 483.29
1797.98/1798.62	c    44643   1086    67568 33316103  493   245064  109899  67399     84 527.67
1797.98/1798.62	c    52149   1086    76640 36849511  480   271710  120889  76471     83 621.38
1797.98/1798.62	c    63511   1086    91919 43782737  476   319382  132978  91750     82 772.36
1797.98/1798.62	c    80655   1086   116336 55558711  477   415454  146276 116167     76 1057.87
1797.98/1798.62	c   106475   1086    19613  6943295  354    68014  160904  19444     70 1508.43
1797.98/1798.62	c Resources Exceeded
1797.98/1798.62	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 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 
1797.98/1798.62	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.98/1798.62	c  101   139467  25108   311693    57315 22723515  57146     77 1798.02
1797.98/1798.62	c Objective: 3096
1797.98/1798.62	s SATISFIABLE
1797.98/1798.62	c Total time: 1798.02 s

Verifier Data 

OK	3096

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-3707771-1338142896/watcher-3707771-1338142896 -o /tmp/evaluation-result-3707771-1338142896/solver-3707771-1338142896 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707771-1338142896.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: 2.00 2.00 2.00 3/174 5568
/proc/meminfo: memFree=28775960/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=11068 CPUtime=0 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 380 0 0 0 0 0 0 0 20 0 1 0 280415535 11333632 322 33554432000 134512640 137138936 4287509776 4287495420 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 2767 322 184 642 0 2123 0

[startup+0.098389 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 5568
/proc/meminfo: memFree=28775960/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=11440 CPUtime=0.09 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 730 0 0 0 9 0 0 0 20 0 1 0 280415535 11714560 530 33554432000 134512640 137138936 4287509776 4287508272 134618333 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 2860 530 286 642 0 2216 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11440

[startup+0.100303 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 5568
/proc/meminfo: memFree=28775960/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=11440 CPUtime=0.09 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 730 0 0 0 9 0 0 0 20 0 1 0 280415535 11714560 530 33554432000 134512640 137138936 4287509776 4287508272 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 2860 530 286 642 0 2216 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11440

[startup+0.300222 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 5568
/proc/meminfo: memFree=28775960/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=13064 CPUtime=0.28 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 3040 0 0 0 28 0 0 0 20 0 1 0 280415535 13377536 779 33554432000 134512640 137138936 4287509776 4287507136 135435816 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 3266 780 286 642 0 2622 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13064

[startup+0.700225 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 5568
/proc/meminfo: memFree=28775960/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=13196 CPUtime=0.69 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 19253 0 0 0 66 3 0 0 20 0 1 0 280415535 13512704 800 33554432000 134512640 137138936 4287509776 4287507464 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 3299 800 286 642 0 2655 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13196

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5569
/proc/meminfo: memFree=28774348/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=13288 CPUtime=1.49 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 36495 0 0 0 144 5 0 0 20 0 1 0 280415535 13606912 833 33554432000 134512640 137138936 4287509776 4287507520 135465175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 3322 833 286 642 0 2678 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13288

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5569
/proc/meminfo: memFree=28772984/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=13596 CPUtime=3.09 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 76922 0 0 0 298 11 0 0 20 0 1 0 280415535 13922304 886 33554432000 134512640 137138936 4287509776 4287508892 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 3399 886 288 642 0 2755 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13596

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5569
/proc/meminfo: memFree=28772372/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=13616 CPUtime=6.29 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 183363 0 0 0 604 25 0 0 20 0 1 0 280415535 13942784 905 33554432000 134512640 137138936 4287509776 4287508892 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 3404 905 288 642 0 2760 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13616

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5569
/proc/meminfo: memFree=28769048/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=15448 CPUtime=12.68 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 416406 0 0 0 1211 57 0 0 20 0 1 0 280415535 15818752 1368 33554432000 134512640 137138936 4287509776 4287507320 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 3862 1371 288 642 0 3218 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15448

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5569
/proc/meminfo: memFree=28762352/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=20320 CPUtime=25.48 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 929346 0 0 0 2419 129 0 0 20 0 1 0 280415535 20807680 2570 33554432000 134512640 137138936 4287509776 4287507464 135445326 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 5080 2571 288 642 0 4436 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20320

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5569
/proc/meminfo: memFree=28731600/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=45752 CPUtime=51.08 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 1827747 0 0 0 4860 248 0 0 20 0 1 0 280415535 46850048 8968 33554432000 134512640 137138936 4287509776 4287508892 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 11438 8968 288 642 0 10794 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 45752

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5569
/proc/meminfo: memFree=28655216/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=110120 CPUtime=102.28 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 2343306 0 0 0 9902 326 0 0 20 0 1 0 280415535 112762880 25158 33554432000 134512640 137138936 4287509776 4287508272 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 27530 25158 288 642 0 26886 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 110120

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 5569
/proc/meminfo: memFree=28592356/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=160304 CPUtime=162.27 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 3300658 0 0 0 15765 462 0 0 20 0 1 0 280415535 164151296 37749 33554432000 134512640 137138936 4287509776 4287508544 134625748 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 40076 37749 288 642 0 39432 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 160304

[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 5570
/proc/meminfo: memFree=28532120/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=208184 CPUtime=222.26 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 4047889 0 0 0 21649 577 0 0 20 0 1 0 280415535 213180416 49523 33554432000 134512640 137138936 4287509776 4287507968 134848018 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 52046 49523 288 642 0 51402 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 208184

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 5571
/proc/meminfo: memFree=28473764/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=254844 CPUtime=282.25 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 5306111 0 0 0 27474 751 0 0 20 0 1 0 280415535 260960256 61259 33554432000 134512640 137138936 4287509776 4287508292 134551698 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 63711 61259 288 642 0 63067 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 254844

[startup+342.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 5571
/proc/meminfo: memFree=28404864/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=310836 CPUtime=342.2 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 6003889 0 0 0 33357 863 0 0 20 0 1 0 280415535 318296064 75332 33554432000 134512640 137138936 4287509776 4287499480 134599706 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 77709 75332 288 642 0 77065 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 310836

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 5571
/proc/meminfo: memFree=28331112/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=372204 CPUtime=402.14 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 6688454 0 0 0 39242 972 0 0 20 0 1 0 280415535 381136896 90724 33554432000 134512640 137138936 4287509776 4287508704 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/5568/statm: 93051 90724 288 642 0 92407 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 372204

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 5609
/proc/meminfo: memFree=28701344/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=410304 CPUtime=462.11 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 7004701 0 0 0 45183 1028 0 0 20 0 1 0 280415535 420151296 100249 33554432000 134512640 137138936 4287509776 4287508272 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 102576 100249 288 642 0 101932 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 410304

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5612
/proc/meminfo: memFree=28323908/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=443388 CPUtime=522.06 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 7297630 0 0 0 51128 1078 0 0 20 0 1 0 280415535 454029312 108465 33554432000 134512640 137138936 4287509776 4287508704 134542307 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 110847 108465 288 642 0 110203 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 443388

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5613
/proc/meminfo: memFree=27853892/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=472264 CPUtime=582.02 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 7502433 0 0 0 57082 1120 0 0 20 0 1 0 280415535 483598336 115729 33554432000 134512640 137138936 4287509776 4287508704 134542307 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 118066 115729 288 642 0 117422 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 472264

[startup+642.3 s]

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

/proc/meminfo: memFree=27367560/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=788984 CPUtime=1121.93 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 9528011 0 0 0 110711 1482 0 0 20 0 1 0 280415535 807919616 194806 33554432000 134512640 137138936 4287509776 4287508704 134542301 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 197246 194806 288 642 0 196602 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 788984

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 5618
/proc/meminfo: memFree=27302248/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=849996 CPUtime=1181.92 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 9883675 0 0 0 116640 1552 0 0 20 0 1 0 280415535 870395904 210172 33554432000 134512640 137138936 4287509776 4287508704 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 212499 210172 288 642 0 211855 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 849996

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 5618
/proc/meminfo: memFree=27267832/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=883868 CPUtime=1241.92 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 10253245 0 0 0 122576 1616 0 0 20 0 1 0 280415535 905080832 218640 33554432000 134512640 137138936 4287509776 4287507760 135782995 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 221002 218645 288 642 0 220358 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 883868

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5618
/proc/meminfo: memFree=27249976/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=903596 CPUtime=1301.91 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 10370875 0 0 0 128551 1640 0 0 20 0 1 0 280415535 925282304 223558 33554432000 134512640 137138936 4287509776 4287508704 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 225899 223558 288 642 0 225255 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 903596

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5618
/proc/meminfo: memFree=27234600/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=919440 CPUtime=1361.9 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 10408056 0 0 0 134539 1651 0 0 20 0 1 0 280415535 941506560 227496 33554432000 134512640 137138936 4287509776 4287508696 135984569 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 229860 227496 288 642 0 229216 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 919440

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5618
/proc/meminfo: memFree=27221456/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=932212 CPUtime=1421.89 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 10438275 0 0 0 140529 1660 0 0 20 0 1 0 280415535 954585088 230620 33554432000 134512640 137138936 4287509776 4287508704 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 233053 230620 288 642 0 232409 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 932212

[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 5619
/proc/meminfo: memFree=27211040/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=941960 CPUtime=1481.88 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 10468514 0 0 0 146519 1669 0 0 20 0 1 0 280415535 964567040 233162 33554432000 134512640 137138936 4287509776 4287508704 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 235490 233162 288 642 0 234846 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 941960

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 5619
/proc/meminfo: memFree=27216476/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=941960 CPUtime=1541.87 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 10468523 0 0 0 152514 1673 0 0 20 0 1 0 280415535 964567040 233162 33554432000 134512640 137138936 4287509776 4287508200 134606987 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 235490 233162 288 642 0 234846 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 941960

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5619
/proc/meminfo: memFree=27216504/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=941960 CPUtime=1601.82 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 10468561 0 0 0 158506 1676 0 0 20 0 1 0 280415535 964567040 233162 33554432000 134512640 137138936 4287509776 4287508704 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 235490 233162 288 642 0 234846 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 941960

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5619
/proc/meminfo: memFree=27216284/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=941960 CPUtime=1661.78 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 10468600 0 0 0 164500 1678 0 0 20 0 1 0 280415535 964567040 233162 33554432000 134512640 137138936 4287509776 4287507672 136505797 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 235490 233162 288 642 0 234846 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 941960

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 5622
/proc/meminfo: memFree=27216552/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=941960 CPUtime=1721.73 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 10468643 0 0 0 170492 1681 0 0 20 0 1 0 280415535 964567040 233162 33554432000 134512640 137138936 4287509776 4287508240 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 235490 233162 288 642 0 234846 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 941960

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5623
/proc/meminfo: memFree=27216216/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=941960 CPUtime=1781.7 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 10468678 0 0 0 176486 1684 0 0 20 0 1 0 280415535 964567040 233162 33554432000 134512640 137138936 4287509776 4287507760 135783850 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 235490 233162 288 642 0 234846 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 941960

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5623
/proc/meminfo: memFree=27216448/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=941960 CPUtime=1791.3 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 10468684 0 0 0 177446 1684 0 0 20 0 1 0 280415535 964567040 233162 33554432000 134512640 137138936 4287509776 4287508704 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 235490 233162 288 642 0 234846 0
Current children cumulated CPU time (s) 1791.3
Current children cumulated vsize (KiB) 941960

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5623
/proc/meminfo: memFree=27216448/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=941960 CPUtime=1794.5 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 10468684 0 0 0 177766 1684 0 0 20 0 1 0 280415535 964567040 233162 33554432000 134512640 137138936 4287509776 4287508704 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 235490 233162 288 642 0 234846 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (KiB) 941960

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5623
/proc/meminfo: memFree=27216432/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=941960 CPUtime=1796.09 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 10468692 0 0 0 177925 1684 0 0 20 0 1 0 280415535 964567040 233162 33554432000 134512640 137138936 4287509776 4287508704 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 235490 233162 288 642 0 234846 0
Current children cumulated CPU time (s) 1796.09
Current children cumulated vsize (KiB) 941960

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5623
/proc/meminfo: memFree=27216432/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=941960 CPUtime=1796.88 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 10468692 0 0 0 178004 1684 0 0 20 0 1 0 280415535 964567040 233162 33554432000 134512640 137138936 4287509776 4287507840 134849503 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 235490 233162 288 642 0 234846 0
Current children cumulated CPU time (s) 1796.88
Current children cumulated vsize (KiB) 941960

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5623
/proc/meminfo: memFree=27216432/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=941960 CPUtime=1797.68 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 10468692 0 0 0 178084 1684 0 0 20 0 1 0 280415535 964567040 233162 33554432000 134512640 137138936 4287509776 4287507664 134750938 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 235490 233162 288 642 0 234846 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (KiB) 941960

[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5623
/proc/meminfo: memFree=27216432/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=941960 CPUtime=1797.89 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 10468692 0 0 0 178105 1684 0 0 20 0 1 0 280415535 964567040 233162 33554432000 134512640 137138936 4287509776 4287508704 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 235490 233162 288 642 0 234846 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 941960

[startup+1798.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5623
/proc/meminfo: memFree=27216432/32873852 swapFree=6856/6856
[pid=5568] ppid=5566 vsize=941960 CPUtime=1797.98 cores=1,3,5,7
/proc/5568/stat : 5568 (bsolo) R 5566 5568 1566 0 -1 4202496 10468692 0 0 0 178114 1684 0 0 20 0 1 0 280415535 964567040 233162 33554432000 134512640 137138936 4287509776 4287508704 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 235490 233162 288 642 0 234846 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 941960

Child status: 0
Real time (s): 1798.63
CPU time (s): 1798.02
CPU user time (s): 1781.17
CPU system time (s): 16.8534
CPU usage (%): 99.9664
Max. virtual memory (cumulated for all children) (KiB): 942920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.17
system time used= 16.8534
maximum resident set size= 933452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10468692
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= 378
involuntary context switches= 1895

runsolver used 5.44117 second user time and 15.0157 second system time

The end

Launcher Data 

Begin job on node128 at 2012-05-27 20:21:36
IDJOB=3707771
IDBENCH=1856
IDSOLVER=2286
FILE ID=node128/3707771-1338142896
RUNJOBID= node128-1338138177-4376
PBS_JOBID= 14624501
Free space on /tmp= 71320 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707771-1338142896/watcher-3707771-1338142896 -o /tmp/evaluation-result-3707771-1338142896/solver-3707771-1338142896 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3707771-1338142896.opb

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

MD5SUM BENCH= 8d2c17131f0dd6c2b5d472cf1eef4c89
RANDOM SEED=1372676837

node128.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.389
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.77
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.389
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.389
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.56
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.389
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.389
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.389
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		: 2666.389
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.389
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:       32873852 kB
MemFree:        28777612 kB
Buffers:          435276 kB
Cached:          2384340 kB
SwapCached:          620 kB
Active:          1491408 kB
Inactive:        1749388 kB
Active(anon):     411168 kB
Inactive(anon):    12304 kB
Active(file):    1080240 kB
Inactive(file):  1737084 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67107296 kB
Dirty:              3892 kB
Writeback:             0 kB
AnonPages:        369948 kB
Mapped:            15072 kB
Shmem:               200 kB
Slab:             716904 kB
SReclaimable:     159348 kB
SUnreclaim:       557556 kB
KernelStack:        1464 kB
PageTables:         4876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     541488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    292864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71332 MiB
End job on node128 at 2012-05-27 20:51:35