Trace number 3463550

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.07 1798.09

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.32095
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-3463550-1307175428.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.05 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    689 0.14
0.19/0.25	c      250   1086      463    54012  116     9137   59405    294   1168 0.21
0.19/0.25	o 4669
1.59/1.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.69	c      291   1086      508    68262  134    10330   51266    339   1145 0.25
1.59/1.69	o 4582
4.68/4.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.68/4.77	c      297   1086      518    72564  140    11354   51266    349    175 1.69
4.68/4.77	o 4567
5.50/5.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.50/5.53	c      332   1086      561    85406  152    12870   51266    392     69 4.77
5.50/5.53	o 4443
6.60/6.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.60/6.66	c      336   1086      568    89368  157    13877   51266    399     60 5.53
6.60/6.66	o 4421
7.29/7.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.29/7.35	c      348   1086      587    97623  166    14954   51266    418     52 6.66
7.29/7.35	o 4417
8.49/8.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.49/8.56	c      351   1086      593   101559  171    16034   51266    424     47 7.35
8.49/8.56	o 4280
10.09/10.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.09/10.18	c      358   1086      605   108844  179    17021   51266    436     41 8.56
10.09/10.18	o 4091
13.20/13.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.20/13.23	c      426   1086      697   147365  211    18720   51266    528     41 10.19
13.20/13.23	c      526   1086      868   249041  286    19784   56393    699     41 12.67
13.20/13.23	o 4070
14.09/14.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.09/14.15	c      531   1086      884   264140  298    20826   51266    715     40 13.23
14.09/14.15	o 4066
15.40/15.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.40/15.44	c      558   1086      928   292090  314    22246   51266    759     39 14.15
15.40/15.44	o 3955
16.99/17.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.99/17.09	c      565   1086      938   296259  315    23244   51266    769     36 15.45
16.99/17.09	o 3919
17.61/17.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.61/17.64	c      613   1086     1033   363111  351    24550   51266    864     35 17.09
17.61/17.64	o 3866
18.19/18.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.19/18.25	c      617   1086     1042   370423  355    25586   51266    873     34 17.64
18.19/18.25	o 3865
20.80/20.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.80/20.85	c      624   1086     1061   385662  363    26650   51266    892     34 18.25
20.80/20.85	c      724   1086     1222   482211  394    27416   56393   1053     36 20.02
20.80/20.85	o 3862
44.89/44.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
44.89/44.91	c      736   1086     1239   490225  395    28480   51266   1070     35 20.85
44.89/44.91	c      836   1086     1366   535487  392    29009   56393   1197     37 22.52
44.89/44.91	c     1089   1086     1806   780287  432    30120   62033   1637     37 28.84
44.89/44.91	c     1564   1086     2832  1630326  575    32425   68237   2663     40 38.51
44.89/44.91	o 3860
46.50/46.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
46.50/46.54	c     2076   1086     3814  2400712  629    37137   51266   3645     46 44.91
46.50/46.54	c     2177   1086     3929  2424134  616    37946   56393   3760     47 46.07
46.50/46.54	o 3793
46.99/47.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
46.99/47.03	c     2178   1086     3933  2427227  617    38940   51266   3764     46 46.54
46.99/47.03	o 3778
47.39/47.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
47.39/47.48	c     2180   1086     3940  2432885  617    39957   51266   3771     46 47.03
47.39/47.48	o 3777
47.89/47.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
47.89/47.96	c     2181   1086     3944  2436512  617    40957   51266   3775     45 47.49
47.89/47.96	o 3776
130.19/130.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
130.19/130.24	c     2183   1086     3949  2440867  618    41963   51266   3780     45 47.96
130.19/130.24	c     2286   1086     4107  2520928  613    43115   56393   3938     46 49.17
130.19/130.24	c     2536   1086     4376  2576827  588    43623   62033   4207     47 52.90
130.19/130.24	c     3021   1086     5497  3582026  651    46014   68237   5328     52 57.27
130.19/130.24	c     3834   1086     6998  4760567  680    49916   75061   6829     60 62.87
130.19/130.24	c     5154   1086     8644  5451727  630    56948   82568   8475     71 72.26
130.19/130.24	c     7236   1086    10868  6171014  567    62539   90825  10699     88 81.90
130.19/130.24	c    10459   1086    14223  6982676  490    69665   99908  14054    112 93.19
130.19/130.24	c    15395   1086    19377  8799093  454    85837  109899  19208    130 117.99
130.19/130.24	o 3741
136.69/136.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
136.69/136.78	c    16868   1086    21278  9764932  458    97647   51266  21109    129 130.25
136.69/136.78	c    16968   1086    21423  9834403  459    98309   56393  21254    129 131.45
136.69/136.78	c    17218   1086    21941 10247756  467    99737   62033  21772    126 136.07
136.69/136.78	o 3730
139.09/139.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
139.09/139.16	c    17229   1086    21966 10262343  467   100736   51266  21797    125 136.78
139.09/139.16	o 3724
166.60/166.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
166.60/166.61	c    17317   1086    22146 10386602  469   102570   51266  21977    124 139.16
166.60/166.61	c    17419   1086    22317 10471033  469   103348   56393  22148    122 142.43
166.60/166.61	c    17695   1086    22880 10847219  474   104476   62033  22711    117 150.55
166.60/166.61	c    18171   1086    23715 11366472  479   107139   68237  23546    114 158.30
166.60/166.61	o 3717
167.40/167.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
167.40/167.41	c    18835   1086    24776 11909328  480   111771   51266  24607    113 166.62
167.40/167.41	o 3711
206.50/206.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
206.50/206.57	c    18859   1086    24832 11935414  480   112813   51266  24663    112 167.41
206.50/206.57	c    18964   1086    24954 11964818  479   114922   56393  24785    112 168.76
206.50/206.57	c    19214   1086    25381 12248540  482   116078   62033  25212    111 172.09
206.50/206.57	c    19700   1086    26376 12784986  484   117559   68237  26207    109 179.47
206.50/206.57	c    20514   1086    27826 13624893  489   122834   75061  27657    106 193.31
206.50/206.57	c    21835   1086    29446 14309682  485   130488   82568  29277    106 205.41
206.50/206.57	o 3691
215.61/215.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
215.61/215.64	c    21871   1086    29527 14349562  485   131529   51266  29358    105 206.58
215.61/215.64	c    21976   1086    29736 14513158  488   132027   56393  29567    105 208.11
215.61/215.64	c    22226   1086    30259 14796300  488   132730   62033  30090    104 212.92
215.61/215.64	o 3689
216.30/216.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
216.30/216.37	c    22391   1086    30540 14978395  490   134773   51266  30371    103 215.65
216.30/216.37	o 3659
216.80/216.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
216.80/216.87	c    22412   1086    30592 15013184  490   135808   51266  30423    103 216.38
216.80/216.87	o 3658
217.59/217.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
217.59/217.64	c    22414   1086    30598 15018682  490   136835   51266  30429    103 216.88
217.59/217.64	o 3657
218.50/218.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
218.50/218.51	c    22438   1086    30653 15065426  491   137910   51266  30484    103 217.65
218.50/218.51	o 3656
219.39/219.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
219.39/219.45	c    22478   1086    30746 15143227  492   139108   51266  30577    102 218.52
219.39/219.45	o 3655
252.70/252.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
252.70/252.76	c    22519   1086    30840 15219218  493   140532   51266  30671    102 219.46
252.70/252.76	c    22626   1086    31075 15382473  495   140933   56393  30906    102 221.23
252.70/252.76	c    22879   1086    31615 15722346  497   141638   62033  31446    101 225.06
252.70/252.76	c    23354   1086    32108 15855443  493   143666   68237  31939    102 228.43
252.70/252.76	c    24174   1086    33855 17155765  506   146866   75061  33686     99 242.00
252.70/252.76	o 3347
269.29/269.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
269.29/269.34	c    24429   1086    34422 17511331  508   149474   51266  34253     96 252.78
269.29/269.34	c    24543   1086    34668 17628474  508   149558   56393  34499     96 255.45
269.29/269.34	c    24801   1086    35221 17949066  509   150399   62033  35052     94 261.91
269.29/269.34	c    25280   1086    35930 18271727  508   153720   68237  35761     94 268.19
269.29/269.34	o 3340
282.40/282.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
282.40/282.49	c    25322   1086    36021 18316849  508   154782   51266  35852     94 269.35
282.40/282.49	c    25435   1086    36254 18454460  509   155066   56393  36085     93 271.54
282.40/282.49	c    25686   1086    36639 18638412  508   156429   62033  36470     93 275.27
282.40/282.49	o 3335
283.00/283.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
283.00/283.02	c    26161   1086    37681 19171379  508   158854   51266  37512     92 282.50
283.00/283.02	o 3321
284.10/284.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
284.10/284.14	c    26181   1086    37724 19201765  509   159936   51266  37555     92 283.03
284.10/284.14	o 3319
285.30/285.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
285.30/285.37	c    26238   1086    37853 19282961  509   161172   51266  37684     92 284.15
285.30/285.37	o 3317
285.80/285.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
285.80/285.88	c    26305   1086    37989 19363995  509   162360   51266  37820     92 285.38
285.80/285.88	o 3316
327.82/327.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
327.82/327.85	c    26321   1086    38018 19378921  509   163316   51266  37849     92 285.89
327.82/327.85	c    26421   1086    38152 19427287  509   165178   56393  37983     91 287.54
327.82/327.85	c    26672   1086    38593 19668031  509   166199   62033  38424     91 291.76
327.82/327.85	c    27173   1086    39655 20256361  510   167344   68237  39486     91 298.55
327.82/327.85	c    27986   1086    40766 20742166  508   171227   75061  40597     91 306.96
327.82/327.85	c    29317   1086    43661 22672116  519   177483   82568  43492     89 327.77
327.82/327.85	o 3130
353.70/353.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
353.70/353.78	c    29317   1086    43662 22673202  519   178485   51266  43493     89 327.86
353.70/353.78	c    29470   1086    43982 22776421  517   178665   56393  43813     89 330.32
353.70/353.78	c    29721   1086    44406 22952338  516   180676   62033  44237     89 333.32
353.70/353.78	c    30196   1086    45435 23477465  516   181937   68237  45266     88 339.52
353.70/353.78	c    31024   1086    47192 24553794  520   185340   75061  47023     88 350.24
353.70/353.78	o 3118
354.00/354.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
354.00/354.02	c    31261   1086    47691 24774899  519   186733   51266  47522     88 353.80
354.00/354.02	o 3109
354.21/354.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
354.21/354.25	c    31264   1086    47698 24779358  519   187713   51266  47529     88 354.03
354.21/354.25	o 3096
1797.98/1798.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.98/1798.04	c    31270   1086    47717 24784478  519   188779   51266  47548     88 354.26
1797.98/1798.04	c    31384   1086    47971 24913542  519   189672   56393  47802     88 356.11
1797.98/1798.04	c    31663   1086    48568 25188600  518   190755   62033  48399     88 359.72
1797.98/1798.04	c    32143   1086    49581 25734907  519   193049   68237  49412     87 366.47
1797.98/1798.04	c    33024   1086    51472 26707048  518   196478   75061  51303     87 378.71
1797.98/1798.04	c    34401   1086    54376 28114290  517   201971   82568  54207     86 398.32
1797.98/1798.04	c    36483   1086    57216 29055495  507   210742   90825  57047     85 428.11
1797.98/1798.04	c    39706   1086    61665 31294630  507   228937   99908  61496     84 471.11
1797.98/1798.04	c    44643   1086    67568 33316103  493   245064  109899  67399     86 514.04
1797.98/1798.04	c    52149   1086    76640 36849511  480   271710  120889  76471     86 603.63
1797.98/1798.04	c    63511   1086    91919 43782737  476   319382  132978  91750     84 748.87
1797.98/1798.04	c    80655   1086   116336 55558711  477   415454  146276 116167     79 1017.96
1797.98/1798.04	c   106475   1086    19613  6943295  354    68014  160904  19444     74 1431.59
1797.98/1798.04	c   145307   1086    63507 25090441  395   214059  176995  63338     81 1778.72
1797.98/1798.04	c Resources Exceeded
1797.98/1798.04	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.04	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.98/1798.04	c  102   146623  26789   325599    65679 26236076  65510     81 1798.03
1797.98/1798.04	c Objective: 3096
1797.98/1798.04	s SATISFIABLE
1797.98/1798.04	c Total time: 1798.03 s

Verifier Data 

OK	3096

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3463550-1307175428/watcher-3463550-1307175428 -o /tmp/evaluation-result-3463550-1307175428/solver-3463550-1307175428 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463550-1307175428.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.06 2.02 2.00 2/373 20422
/proc/meminfo: memFree=22758616/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=11064 CPUtime=0 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 379 0 0 0 0 0 0 0 23 0 1 0 829143222 11329536 322 33554432000 134512640 137138936 4292149456 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20422/statm: 2766 322 184 642 0 2122 0

[startup+0.090264 s]
/proc/loadavg: 2.06 2.02 2.00 2/373 20422
/proc/meminfo: memFree=22758616/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=11436 CPUtime=0.08 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 729 0 0 0 8 0 0 0 23 0 1 0 829143222 11710464 530 33554432000 134512640 137138936 4292149456 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20422/statm: 2859 530 286 642 0 2215 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11436

[startup+0.100264 s]
/proc/loadavg: 2.06 2.02 2.00 2/373 20422
/proc/meminfo: memFree=22758616/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=11436 CPUtime=0.09 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 729 0 0 0 9 0 0 0 23 0 1 0 829143222 11710464 530 33554432000 134512640 137138936 4292149456 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20422/statm: 2859 530 286 642 0 2215 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11436

[startup+0.300238 s]
/proc/loadavg: 2.06 2.02 2.00 2/373 20422
/proc/meminfo: memFree=22758616/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=13060 CPUtime=0.29 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 3257 0 0 0 28 1 0 0 25 0 1 0 829143222 13373440 781 33554432000 134512640 137138936 4292149456 18446744073709551615 135446080 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20422/statm: 3265 781 286 642 0 2621 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13060

[startup+0.700155 s]
/proc/loadavg: 2.06 2.02 2.00 2/373 20422
/proc/meminfo: memFree=22758616/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=13184 CPUtime=0.68 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 19695 0 0 0 66 2 0 0 25 0 1 0 829143222 13500416 794 33554432000 134512640 137138936 4292149456 18446744073709551615 134713063 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20422/statm: 3069 741 286 642 0 2425 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13184

[startup+1.50101 s]
/proc/loadavg: 2.06 2.02 2.00 3/374 20423
/proc/meminfo: memFree=22755632/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=13284 CPUtime=1.49 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 37000 0 0 0 144 5 0 0 25 0 1 0 829143222 13602816 798 33554432000 134512640 137138936 4292149456 18446744073709551615 135251025 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20422/statm: 3321 803 286 642 0 2677 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13284

[startup+3.10072 s]
/proc/loadavg: 2.06 2.02 2.00 3/374 20423
/proc/meminfo: memFree=22754640/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=13592 CPUtime=3.09 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 76922 0 0 0 301 8 0 0 25 0 1 0 829143222 13918208 887 33554432000 134512640 137138936 4292149456 18446744073709551615 135380920 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20422/statm: 3398 887 288 642 0 2754 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13592

[startup+6.30013 s]
/proc/loadavg: 2.05 2.02 2.00 3/374 20423
/proc/meminfo: memFree=22754352/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=13632 CPUtime=6.29 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 184595 0 0 0 609 20 0 0 25 0 1 0 829143222 13959168 902 33554432000 134512640 137138936 4292149456 18446744073709551615 134734537 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20422/statm: 3408 902 288 642 0 2764 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13632

[startup+12.701 s]
/proc/loadavg: 2.05 2.02 2.00 3/374 20423
/proc/meminfo: memFree=22751840/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=15796 CPUtime=12.69 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 418862 0 0 0 1225 44 0 0 25 0 1 0 829143222 16175104 1423 33554432000 134512640 137138936 4292149456 18446744073709551615 135251025 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20422/statm: 3949 1423 288 642 0 3305 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15796

[startup+25.5006 s]
/proc/loadavg: 2.04 2.02 2.00 3/374 20424
/proc/meminfo: memFree=22746528/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=20432 CPUtime=25.49 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 941760 0 0 0 2449 100 0 0 25 0 1 0 829143222 20922368 2608 33554432000 134512640 137138936 4292149456 18446744073709551615 135437067 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20422/statm: 5108 2608 288 642 0 4464 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20432

[startup+51.1009 s]
/proc/loadavg: 2.02 2.02 2.00 3/374 20424
/proc/meminfo: memFree=22720972/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=45624 CPUtime=51.09 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 1827844 0 0 0 4911 198 0 0 25 0 1 0 829143222 46718976 8994 33554432000 134512640 137138936 4292149456 18446744073709551615 134840847 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20422/statm: 11406 8994 288 642 0 10762 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 45624

[startup+102.314 s]
/proc/loadavg: 2.01 2.01 2.00 3/374 20426
/proc/meminfo: memFree=22654876/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=111572 CPUtime=102.3 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 2346551 0 0 0 9974 256 0 0 25 0 1 0 829143222 114249728 25506 33554432000 134512640 137138936 4292149456 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20422/statm: 27893 25506 288 642 0 27249 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 111572

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 20427
/proc/meminfo: memFree=22601536/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=163804 CPUtime=162.3 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 3336892 0 0 0 15863 367 0 0 25 0 1 0 829143222 167735296 38602 33554432000 134512640 137138936 4292149456 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20422/statm: 40951 38602 288 642 0 40307 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 163804

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 20429
/proc/meminfo: memFree=22551532/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=214060 CPUtime=222.3 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 4157750 0 0 0 21773 457 0 0 25 0 1 0 829143222 219197440 51010 33554432000 134512640 137138936 4292149456 18446744073709551615 135445326 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20422/statm: 53515 51010 288 642 0 52871 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 214060

[startup+282.301 s]
/proc/loadavg: 2.16 2.03 2.01 3/374 20431
/proc/meminfo: memFree=22503772/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=261664 CPUtime=282.3 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 5388024 0 0 0 27639 591 0 0 25 0 1 0 829143222 267943936 62934 33554432000 134512640 137138936 4292149456 18446744073709551615 135450378 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20422/statm: 65416 62934 288 642 0 64772 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 261664

[startup+342.301 s]
/proc/loadavg: 2.13 2.04 2.01 3/374 20459
/proc/meminfo: memFree=22312256/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=321044 CPUtime=342.3 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 6112295 0 0 0 33558 672 0 0 25 0 1 0 829143222 328749056 77741 33554432000 134512640 137138936 4292149456 18446744073709551615 134730577 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20422/statm: 80261 77741 288 642 0 79617 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 321044

[startup+402.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/374 20461
/proc/meminfo: memFree=22211708/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=379916 CPUtime=402.3 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 6793633 0 0 0 39477 753 0 0 25 0 1 0 829143222 389033984 92653 33554432000 134512640 137138936 4292149456 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20422/statm: 94979 92653 288 642 0 94335 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 379916

[startup+462.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/374 20462
/proc/meminfo: memFree=22139268/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=415616 CPUtime=462.31 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 7019101 0 0 0 45445 786 0 0 25 0 1 0 829143222 425590784 101529 33554432000 134512640 137138936 4292149456 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20422/statm: 103904 101529 288 642 0 103260 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 415616

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/374 20464
/proc/meminfo: memFree=22067332/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=451424 CPUtime=522.3 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 7397454 0 0 0 51396 834 0 0 25 0 1 0 829143222 462258176 110359 33554432000 134512640 137138936 4292149456 18446744073709551615 136506019 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20422/statm: 112856 110359 288 642 0 112212 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 451424

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 20466
/proc/meminfo: memFree=21995264/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=480244 CPUtime=582.31 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 7515140 0 0 0 57377 854 0 0 25 0 1 0 829143222 491769856 117584 33554432000 134512640 137138936 4292149456 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20422/statm: 120061 117584 288 642 0 119417 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 480244

[startup+642.301 s]

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

/proc/meminfo: memFree=21297216/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=834792 CPUtime=1122.26 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 9799909 0 0 0 111073 1153 0 0 25 0 1 0 829143222 854827008 206372 33554432000 134512640 137138936 4292149456 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20422/statm: 208698 206372 288 642 0 208054 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 834792

[startup+1182.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/374 20482
/proc/meminfo: memFree=21193168/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=877812 CPUtime=1182.26 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 10169630 0 0 0 117027 1199 0 0 25 0 1 0 829143222 898879488 217127 33554432000 134512640 137138936 4292149456 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20422/statm: 219453 217127 288 642 0 218809 0
Current children cumulated CPU time (s) 1182.26
Current children cumulated vsize (KiB) 877812

[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/374 20483
/proc/meminfo: memFree=21112792/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=902832 CPUtime=1242.26 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 10367890 0 0 0 123001 1225 0 0 25 0 1 0 829143222 924499968 223316 33554432000 134512640 137138936 4292149456 18446744073709551615 134732338 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20422/statm: 225708 223316 288 642 0 225064 0
Current children cumulated CPU time (s) 1242.26
Current children cumulated vsize (KiB) 902832

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/374 20485
/proc/meminfo: memFree=21049540/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=920264 CPUtime=1302.27 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 10409237 0 0 0 128995 1232 0 0 25 0 1 0 829143222 942350336 227712 33554432000 134512640 137138936 4292149456 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20422/statm: 230066 227712 288 642 0 229422 0
Current children cumulated CPU time (s) 1302.27
Current children cumulated vsize (KiB) 920264

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/374 20486
/proc/meminfo: memFree=20927988/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=935140 CPUtime=1362.26 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 10449159 0 0 0 134987 1239 0 0 25 0 1 0 829143222 957583360 231430 33554432000 134512640 137138936 4292149456 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20422/statm: 233785 231430 288 642 0 233141 0
Current children cumulated CPU time (s) 1362.26
Current children cumulated vsize (KiB) 935140

[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/374 20488
/proc/meminfo: memFree=20845876/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=941956 CPUtime=1422.28 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 10468411 0 0 0 140984 1244 0 0 25 0 1 0 829143222 964562944 233162 33554432000 134512640 137138936 4292149456 18446744073709551615 135783826 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20422/statm: 235489 233162 288 642 0 234845 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 941956

[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/374 20490
/proc/meminfo: memFree=20791168/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=941956 CPUtime=1482.27 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 10468411 0 0 0 146981 1246 0 0 25 0 1 0 829143222 964562944 233162 33554432000 134512640 137138936 4292149456 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20422/statm: 235489 233162 288 642 0 234845 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 941956

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 20491
/proc/meminfo: memFree=20777500/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=941956 CPUtime=1542.27 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 10468411 0 0 0 152979 1248 0 0 25 0 1 0 829143222 964562944 233162 33554432000 134512640 137138936 4292149456 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20422/statm: 235489 233162 288 642 0 234845 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 941956

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 20493
/proc/meminfo: memFree=20777480/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=941956 CPUtime=1602.27 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 10468411 0 0 0 158978 1249 0 0 25 0 1 0 829143222 964562944 233162 33554432000 134512640 137138936 4292149456 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20422/statm: 235489 233162 288 642 0 234845 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 941956

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/374 20494
/proc/meminfo: memFree=20777344/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=941956 CPUtime=1662.27 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 10468411 0 0 0 164976 1251 0 0 25 0 1 0 829143222 964562944 233162 33554432000 134512640 137138936 4292149456 18446744073709551615 135346348 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20422/statm: 235489 233162 288 642 0 234845 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 941956

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/374 20496
/proc/meminfo: memFree=20777696/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=941956 CPUtime=1722.28 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 10468411 0 0 0 170975 1253 0 0 25 0 1 0 829143222 964562944 233162 33554432000 134512640 137138936 4292149456 18446744073709551615 134600499 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20422/statm: 235489 233162 288 642 0 234845 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 941956

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/374 20498
/proc/meminfo: memFree=20776936/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=941956 CPUtime=1782.27 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 10468411 0 0 0 176973 1254 0 0 25 0 1 0 829143222 964562944 233162 33554432000 134512640 137138936 4292149456 18446744073709551615 134606601 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20422/statm: 235489 233162 288 642 0 234845 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 941956

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

[startup+1785.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/374 20498
/proc/meminfo: memFree=20776936/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=941956 CPUtime=1785.48 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 10468411 0 0 0 177293 1255 0 0 25 0 1 0 829143222 964562944 233162 33554432000 134512640 137138936 4292149456 18446744073709551615 135469186 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20422/statm: 235489 233162 288 642 0 234845 0
Current children cumulated CPU time (s) 1785.48
Current children cumulated vsize (KiB) 941956

[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 2.00 3/374 20498
/proc/meminfo: memFree=20777804/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=941956 CPUtime=1791.89 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 10468411 0 0 0 177934 1255 0 0 25 0 1 0 829143222 964562944 233162 33554432000 134512640 137138936 4292149456 18446744073709551615 134734537 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20422/statm: 235489 233162 288 642 0 234845 0
Current children cumulated CPU time (s) 1791.89
Current children cumulated vsize (KiB) 941956

[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/374 20498
/proc/meminfo: memFree=20777804/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=941956 CPUtime=1795.09 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 10468411 0 0 0 178254 1255 0 0 25 0 1 0 829143222 964562944 233162 33554432000 134512640 137138936 4292149456 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20422/statm: 235489 233162 288 642 0 234845 0
Current children cumulated CPU time (s) 1795.09
Current children cumulated vsize (KiB) 941956

[startup+1796.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/374 20498
/proc/meminfo: memFree=20777804/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=941956 CPUtime=1796.68 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 10468411 0 0 0 178413 1255 0 0 25 0 1 0 829143222 964562944 233162 33554432000 134512640 137138936 4292149456 18446744073709551615 134750952 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20422/statm: 235489 233162 288 642 0 234845 0
Current children cumulated CPU time (s) 1796.68
Current children cumulated vsize (KiB) 941956

[startup+1797.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/374 20498
/proc/meminfo: memFree=20777680/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=941956 CPUtime=1797.48 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 10468411 0 0 0 178493 1255 0 0 25 0 1 0 829143222 964562944 233162 33554432000 134512640 137138936 4292149456 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20422/statm: 235489 233162 288 642 0 234845 0
Current children cumulated CPU time (s) 1797.48
Current children cumulated vsize (KiB) 941956

[startup+1797.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/374 20498
/proc/meminfo: memFree=20777680/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=941956 CPUtime=1797.88 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 10468411 0 0 0 178533 1255 0 0 25 0 1 0 829143222 964562944 233162 33554432000 134512640 137138936 4292149456 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20422/statm: 235489 233162 288 642 0 234845 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 941956

[startup+1798 s]
/proc/loadavg: 2.02 2.01 2.00 3/374 20498
/proc/meminfo: memFree=20777680/32951124 swapFree=37148216/67111528
[pid=20422] ppid=20420 vsize=941956 CPUtime=1797.98 cores=1,3,5,7
/proc/20422/stat : 20422 (bsolo) R 20420 20422 19222 0 -1 4202496 10468411 0 0 0 178543 1255 0 0 25 0 1 0 829143222 964562944 233162 33554432000 134512640 137138936 4292149456 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/20422/statm: 235489 233162 288 642 0 234845 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 941956

Child status: 0
Real time (s): 1798.09
CPU time (s): 1798.07
CPU user time (s): 1785.48
CPU system time (s): 12.5931
CPU usage (%): 99.9992
Max. virtual memory (cumulated for all children) (KiB): 942916

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

runsolver used 6.12807 second user time and 15.0947 second system time

The end

Launcher Data 

Begin job on node104 at 2011-06-04 10:17:08
IDJOB=3463550
IDBENCH=1856
IDSOLVER=1955
FILE ID=node104/3463550-1307175428
RUNJOBID= node104-1307174925-20282
PBS_JOBID= 13508864
Free space on /tmp= 73952 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-3463550-1307175428/watcher-3463550-1307175428 -o /tmp/evaluation-result-3463550-1307175428/solver-3463550-1307175428 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3463550-1307175428.opb

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

MD5SUM BENCH= 8d2c17131f0dd6c2b5d472cf1eef4c89
RANDOM SEED=1934814014

node104.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5293.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22758772 kB
Buffers:        419904 kB
Cached:        7649468 kB
SwapCached:     163904 kB
Active:        3785020 kB
Inactive:      6069524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22758772 kB
SwapTotal:    67111528 kB
SwapFree:     37148216 kB
Dirty:            3964 kB
Writeback:           0 kB
AnonPages:     1644736 kB
Mapped:          11888 kB
Slab:           182112 kB
PageTables:      88660 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 87741412 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73932 MiB
End job on node104 at 2011-06-04 10:47:06