Trace number 3741399

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: bsolo 3.0.17SAT (TO)127 1800.03 1802.31

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-538867.opb
MD5SUM3b75c8039d6468258a1aa0343ce1fddb
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark122
Best CPU time to get the best result obtained on this benchmark58.879
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables792
Total number of constraints1170
Number of constraints which are clauses1143
Number of constraints which are cardinality constraints (but not clauses)27
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint18
Number of terms in the objective function 666
Biggest coefficient in the objective function 80
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 18684
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 18684
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3741399-1338758469.opb
0.00/0.00	c File size is 46134 bytes.
0.00/0.01	c Highest Coefficient sum: 18684
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.003 s
0.00/0.01	c Var: 792 Constr: 1188 1161/27/0 Lit: 4050 Watch. Lit: 2637
0.00/0.01	c Obj. Vars: 666 (84.0909 % of total variables)
0.00/0.01	c Pre-processing Time: 0.007 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    792     1188     4050    3     2637    1682      0      0 0.01
0.00/0.01	c Switching off LPR mode.
0.00/0.01	o 477	0.007
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        2    792     1191     4764    4     3283    3014      3    250 0.01
0.00/0.01	o 452	0.008
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        4    792     1194     5514    4     3926    3014      6    500 0.01
0.00/0.02	o 447	0.013
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       58    792     1249     9095    7     4667    3014     61   4142 0.01
0.00/0.02	o 437	0.018
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       92    792     1284    11404    8     5372    3014     96   4842 0.02
0.00/0.02	o 412	0.02
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       97    792     1290    12276    9     6023    3014    102   4850 0.02
0.00/0.02	o 397	0.021
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      100    792     1294    13052   10     6656    3014    106   4761 0.02
0.00/0.02	o 362	0.023
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      107    792     1302    13984   10     7296    3014    114   4652 0.02
0.00/0.04	c      208    792     1403    19299   13     7452    3316    215   5942 0.04
0.00/0.04	o 352	0.037
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c      222    792     1418    20636   14     8132    3014    230   5842 0.04
0.09/0.12	c      323    792     1519    25568   16     8302    3316    331   5981 0.05
0.09/0.12	c      573    792     1769    37050   20     8864    3648    581   6031 0.10
0.09/0.12	o 337	0.12
0.69/0.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.79	c      730    792     1927    44260   22     9807    3014    739   6033 0.12
0.69/0.79	c      831    792     2028    48775   24     9959    3316    840   6201 0.13
0.69/0.79	c     1082    792     2279    60270   26    10464    3648   1091   6364 0.17
0.69/0.79	c     1558    792     2755    82163   29    11414    4013   1567   5969 0.26
0.69/0.79	c     2373    792     3570   120029   33    13046    4415   2382   5704 0.42
0.69/0.79	c     3693    792     4890   174760   35    15726    4857   3702   5561 0.66
0.69/0.79	o 317	0.785
2.38/2.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.38/2.47	c     4325    792     5523   203860   36    17562    3014   4335   5502 0.79
2.38/2.47	c     4430    792     2801    71764   25     6508    3316   1613   5530 0.80
2.38/2.47	c     4681    792     3052    83314   27     7010    3648   1864   5660 0.83
2.38/2.47	c     5156    792     3527   103913   29     7959    4013   2339   5859 0.88
2.38/2.47	c     5969    792     4340   137911   31     9587    4415   3152   6078 0.98
2.38/2.47	c     7289    792     3397   104562   30     7697    4857   2209   6187 1.18
2.38/2.47	c     9371    792     5479   202692   36    11862    5343   4291   6336 1.48
2.38/2.47	c    12594    792     5861   224154   38    12624    5878   4673   6461 1.95
2.38/2.47	o 302	2.464
2.38/2.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.38/2.48	c    15447    792     5623   231196   41    12785    3014   4435   6269 2.46
2.38/2.48	o 297	2.477
6.18/6.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.18/6.28	c    15507    792     2757    88147   31     7056    3014   1569   6260 2.48
6.18/6.28	c    15607    792     2857    92922   32     7265    3316   1669   6262 2.49
6.18/6.28	c    15859    792     3109   103424   33     7773    3648   1921   6265 2.53
6.18/6.28	c    16334    792     3584   126398   35     8713    4013   2396   6248 2.61
6.18/6.28	c    17148    792     4398   166903   37    10347    4415   3210   6256 2.74
6.18/6.28	c    18468    792     3397   113808   33     7701    4857   2209   6158 3.00
6.18/6.28	c    20549    792     5478   203316   37    11862    5343   4290   6225 3.30
6.18/6.28	c    23773    792     5878   196219   33    12660    5878   4690   6322 3.76
6.18/6.28	c    28709    792     4615   158984   34    10135    6466   3427   6210 4.62
6.18/6.28	c    36216    792     5352   187075   34    11610    7113   4164   5919 6.12
6.18/6.28	o 282	6.281
6.18/6.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.18/6.29	c    37364    792     6501   242447   37    14543    3014   5313   5948 6.28
6.18/6.29	o 277	6.29
13.09/13.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.09/13.14	c    37381    792     2714    73699   27     6968    3014   1526   5941 6.29
13.09/13.14	c    37482    792     2815    77885   27     7186    3316   1627   5945 6.30
13.09/13.14	c    37732    792     3065    88843   28     7684    3648   1877   5949 6.34
13.09/13.14	c    38210    792     3543   108037   30     8645    4013   2355   5956 6.42
13.09/13.14	c    39024    792     4357   145883   33    10261    4415   3169   5978 6.53
13.09/13.14	c    40345    792     3397   100627   29     7708    4857   2209   5949 6.78
13.09/13.14	c    42426    792     5478   200726   36    11863    5343   4290   5965 7.11
13.09/13.14	c    45649    792     5900   224541   38    12708    5878   4712   5956 7.66
13.09/13.14	c    50586    792     4640   185104   39    10187    6466   3452   5856 8.64
13.09/13.14	c    58093    792     5358   197087   36    11623    7113   4170   5641 10.30
13.09/13.14	c    69455    792     5598   218925   39    12104    7825   4410   5482 12.67
13.09/13.14	o 272	13.136
13.19/13.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.19/13.28	c    71990    792     8134   333420   40    17819    3014   6946   5480 13.14
13.19/13.28	c    72091    792     2797    73995   26     6504    3316   1609   5478 13.16
13.19/13.28	c    72341    792     3047    84855   27     7003    3648   1859   5486 13.19
13.19/13.28	c    72816    792     3522   104996   29     7952    4013   2334   5503 13.23
13.19/13.28	o 267	13.273
13.48/13.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.48/13.51	c    73108    792     3815   117298   30     9189    3014   2627   5508 13.27
13.48/13.51	c    73210    792     3917   122687   31     9389    3316   2729   5509 13.29
13.48/13.51	c    73463    792     4170   134387   32     9901    3648   2982   5511 13.33
13.48/13.51	c    73939    792     4646   154857   33    10841    4013   3458   5517 13.40
13.48/13.51	o 257	13.503
13.58/13.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.58/13.68	c    74689    792     3226    92853   28     7999    3014   2038   5530 13.50
13.58/13.68	c    74790    792     3327    97945   29     8207    3316   2139   5533 13.52
13.58/13.68	c    75041    792     3578   108196   30     8708    3648   2390   5535 13.56
13.58/13.68	c    75517    792     4054   125352   30     9671    4013   2866   5541 13.63
13.58/13.68	o 247	13.673
19.88/19.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.88/19.97	c    75794    792     4332   138711   32    10856    3014   3144   5543 13.67
19.88/19.97	c    75896    792     2798    68209   24     6505    3316   1610   5544 13.69
19.88/19.97	c    76146    792     3048    79529   26     7005    3648   1860   5550 13.72
19.88/19.97	c    76621    792     3523    99267   28     7956    4013   2335   5564 13.77
19.88/19.97	c    77435    792     4337   128365   29     9581    4415   3149   5584 13.87
19.88/19.97	c    78755    792     3397    97763   28     7700    4857   2209   5593 14.08
19.88/19.97	c    80836    792     5478   206613   37    11866    5343   4290   5614 14.40
19.88/19.97	c    84061    792     5909   233667   39    12728    5878   4721   5611 14.98
19.88/19.97	c    88998    792     4693   184789   39    10295    6466   3505   5577 15.96
19.88/19.97	c    96507    792     5500   189081   34    11910    7113   4312   5533 17.44
19.88/19.97	c   107869    792     5863   200410   34    12634    7825   4675   5410 19.94
19.88/19.97	o 242	19.97
22.98/23.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.98/23.07	c   108123    792     6118   213251   34    13780    3014   4930   5414 19.97
22.98/23.07	c   108223    792     2796    75306   26     6504    3316   1608   5413 19.99
22.98/23.07	c   108473    792     3046    87233   28     7001    3648   1858   5417 20.02
22.98/23.07	c   108948    792     3521   110822   31     7951    4013   2333   5426 20.08
22.98/23.07	c   109761    792     4334   154068   35     9578    4415   3146   5438 20.18
22.98/23.07	c   111082    792     3397   109252   32     7706    4857   2209   5448 20.39
22.98/23.07	c   113165    792     5480   209485   38    11869    5343   4292   5447 20.77
22.98/23.07	c   116388    792     5887   207609   35    12684    5878   4699   5463 21.30
22.98/23.07	c   121325    792     4663   176761   37    10236    6466   3475   5481 22.13
22.98/23.07	o 237	23.066
26.48/26.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.48/26.57	c   126392    792     6388   256864   40    14327    3014   5200   5479 23.07
26.48/26.57	c   126494    792     2798    75772   27     6505    3316   1610   5479 23.08
26.48/26.57	c   126744    792     3048    85144   27     7004    3648   1860   5484 23.11
26.48/26.57	c   127219    792     3523   106326   30     7960    4013   2335   5489 23.18
26.48/26.57	c   128035    792     4339   154524   35     9582    4415   3151   5501 23.27
26.48/26.57	c   129356    792     3397   119198   35     7701    4857   2209   5511 23.47
26.48/26.57	c   131439    792     5480   207664   37    11871    5343   4292   5529 23.77
26.48/26.57	c   134667    792     5889   209240   35    12686    5878   4701   5525 24.37
26.48/26.57	c   139603    792     4680   171177   36    10268    6466   3492   5521 25.28
26.48/26.57	c   147109    792     5464   181516   33    11835    7113   4276   5541 26.55
26.48/26.57	o 232	26.565
26.68/26.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.68/26.71	c   147240    792     5596   187974   33    12745    3014   4408   5542 26.57
26.68/26.71	c   147341    792     2797    68910   24     6500    3316   1609   5542 26.58
26.68/26.71	c   147591    792     3047    78043   25     7006    3648   1859   5545 26.61
26.68/26.71	c   148066    792     3522    97105   27     7952    4013   2334   5549 26.68
26.68/26.71	o 212	26.699
64.08/64.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
64.08/64.15	c   148195    792     3652   102357   28     8865    3014   2464   5550 26.70
64.08/64.15	c   148296    792     3753   106627   28     9063    3316   2565   5551 26.71
64.08/64.15	c   148546    792     4003   117029   29     9575    3648   2815   5552 26.75
64.08/64.15	c   149022    792     4479   140075   31    10515    4013   3291   5554 26.83
64.08/64.15	c   149835    792     3196    91500   28     7303    4415   2008   5559 26.95
64.08/64.15	c   151155    792     4516   154384   34     9940    4857   3328   5571 27.13
64.08/64.15	c   153236    792     4041   118915   29     8994    5343   2853   5589 27.41
64.08/64.15	c   156459    792     4439   150792   33     9789    5878   3251   5600 27.94
64.08/64.15	c   161395    792     6309   261838   41    13527    6466   5121   5600 28.82
64.08/64.15	c   168901    792     7075   291872   41    15059    7113   5887   5589 30.21
64.08/64.15	c   180264    792     7349   309449   42    15610    7825   6161   5459 33.02
64.08/64.15	c   197408    792     8302   344705   41    17511    8608   7114   5420 36.42
64.08/64.15	c   223228    792     7506   296952   39    15917    9469   6318   5275 42.32
64.08/64.15	c   262060    792     7336   265502   36    15585   10416   6148   4982 52.60
64.08/64.15	o 182	64.14
139.07/139.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
139.07/139.17	c   310569    792     7719   237814   30    16994    3014   6531   4842 64.14
139.07/139.17	c   310669    792     2796    57539   20     6507    3316   1608   4841 64.17
139.07/139.17	c   310920    792     3047    65548   21     7007    3648   1859   4842 64.20
139.07/139.17	c   311397    792     3524    81868   23     7963    4013   2336   4845 64.26
139.07/139.17	c   312210    792     4337   118621   27     9587    4415   3149   4850 64.37
139.07/139.17	c   313530    792     3397    93141   27     7707    4857   2209   4855 64.58
139.07/139.17	c   315611    792     5478   170761   31    11869    5343   4290   4862 64.91
139.07/139.17	c   318834    792     5884   195359   33    12686    5878   4696   4872 65.44
139.07/139.17	c   323771    792     4680   145505   31    10275    6466   3492   4880 66.33
139.07/139.17	c   331280    792     5460   154938   28    11834    7113   4272   4893 67.70
139.07/139.17	c   342644    792     5745   191762   33    12404    7825   4557   4895 69.99
139.07/139.17	c   359788    792     6773   246995   36    14459    8608   5585   4876 73.78
139.07/139.17	c   385608    792     5929   227675   38    12765    9469   4741   4824 79.93
139.07/139.17	c   424441    792     5924   205565   34    12763   10416   4736   4755 89.26
139.07/139.17	c   482793    792    10986   388678   35    22884   11458   9798   4704 102.62
139.07/139.17	c   570425    792    10922   361509   33    22756   12604   9734   4589 124.30
139.07/139.17	o 177	139.144
160.06/160.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
160.06/160.16	c   630435    792    13079   463463   35    27717    3014  11891   4530 139.14
160.06/160.16	c   630535    792     2796    65918   23     6510    3316   1608   4529 139.19
160.06/160.16	c   630785    792     3046    76530   25     7008    3648   1858   4530 139.23
160.06/160.16	c   631260    792     3521    95456   27     7953    4013   2333   4532 139.29
160.06/160.16	c   632073    792     4334   129797   29     9584    4415   3146   4534 139.41
160.06/160.16	c   633394    792     3397   103094   30     7709    4857   2209   4535 139.64
160.06/160.16	c   635477    792     5480   199642   36    11871    5343   4292   4540 139.95
160.06/160.16	c   638701    792     5915   177552   30    12744    5878   4727   4548 140.43
160.06/160.16	c   643637    792     4745   114748   24    10403    6466   3557   4561 141.11
160.06/160.16	c   651143    792     5611   120819   21    12138    7113   4423   4570 142.45
160.06/160.16	c   662504    792     5971   162333   27    12859    7825   4783   4583 144.54
160.06/160.16	c   679648    792     7042   185713   26    14997    8608   5854   4588 148.11
160.06/160.16	c   705467    792     6386   180691   28    13686    9469   5198   4598 153.43
160.06/160.16	o 167	160.131
168.06/168.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
168.06/168.17	c   735688    792     7401   262639   35    16360    3014   6213   4594 160.13
168.06/168.17	c   735788    792     2796    67849   24     6508    3316   1608   4594 160.15
168.06/168.17	c   736039    792     3047    78221   25     7010    3648   1859   4595 160.18
168.06/168.17	c   736514    792     3522    90587   25     7960    4013   2334   4596 160.24
168.06/168.17	c   737327    792     4335   112738   26     9584    4415   3147   4598 160.34
168.06/168.17	c   738648    792     3397    67725   19     7708    4857   2209   4601 160.52
168.06/168.17	c   740730    792     5479   134720   24    11873    5343   4291   4606 160.81
168.06/168.17	c   743955    792     5922   154113   26    12762    5878   4734   4611 161.31
168.06/168.17	c   748891    792     4756   120911   25    10431    6466   3568   4617 162.19
168.06/168.17	c   756398    792     5606   138937   24    12125    7113   4418   4625 163.54
168.06/168.17	c   767760    792     5947   154663   26    12808    7825   4759   4630 165.81
168.06/168.17	o 152	168.144
391.63/391.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
391.63/391.75	c   780309    792     6424   209842   32    14407    3014   5236   4640 168.14
391.63/391.75	c   780413    792     2800    71222   25     6516    3316   1612   4640 168.16
391.63/391.75	c   780665    792     3052    79726   26     7023    3648   1864   4641 168.20
391.63/391.75	c   781141    792     3528    93122   26     7971    4013   2340   4642 168.26
391.63/391.75	c   781956    792     4343   117501   27     9601    4415   3155   4643 168.38
391.63/391.75	c   783276    792     3397    63239   18     7710    4857   2209   4646 168.56
391.63/391.75	c   785358    792     5479   136463   24    11872    5343   4291   4650 168.88
391.63/391.75	c   788582    792     5963   158593   26    12841    5878   4775   4655 169.38
391.63/391.75	c   793518    792     4805   126171   26    10527    6466   3617   4664 170.11
391.63/391.75	c   801024    792     5570   157323   28    12058    7113   4382   4665 171.68
391.63/391.75	c   812387    792     5846   187335   32    12606    7825   4658   4669 173.97
391.63/391.75	c   829533    792     6971   193936   27    14858    8608   5783   4677 177.35
391.63/391.75	c   855352    792     6233   181845   29    13381    9469   5045   4673 183.03
391.63/391.75	c   894184    792     6319   182066   28    13552   10416   5131   4660 191.88
391.63/391.75	c   952537    792    11391   396071   34    23699   11458  10203   4512 211.07
391.63/391.75	c  1040170    792    11498   365784   31    23913   12604  10310   4481 232.13
391.63/391.75	c  1171726    792     8255   227819   27    17427   13865   7067   4421 264.99
391.63/391.75	c  1369159    792     8703   285276   32    18323   15252   7515   4266 320.90
391.63/391.75	o 147	391.683
677.28/677.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
677.28/677.49	c  1595019    792     9719   396295   40    21001    3014   8531   4072 391.68
677.28/677.49	c  1595119    792     2796    74409   26     6511    3316   1608   4072 391.71
677.28/677.49	c  1595369    792     3046    85045   27     7003    3648   1858   4072 391.74
677.28/677.49	c  1595845    792     3522   105071   29     7959    4013   2334   4073 391.81
677.28/677.49	c  1596658    792     4335   138558   31     9582    4415   3147   4073 391.93
677.28/677.49	c  1597979    792     3397    93455   27     7711    4857   2209   4074 392.15
677.28/677.49	c  1600061    792     5479   161910   29    11873    5343   4291   4077 392.42
677.28/677.49	c  1603284    792     5929   171106   28    12773    5878   4741   4080 392.92
677.28/677.49	c  1608220    792     4779   149694   31    10475    6466   3591   4085 393.69
677.28/677.49	c  1615727    792     5555   176187   31    12029    7113   4367   4091 394.90
677.28/677.49	c  1627088    792     5907   225216   38    12726    7825   4719   4097 397.14
677.28/677.49	c  1644232    792     6928   198156   28    14775    8608   5740   4101 400.84
677.28/677.49	c  1670051    792     6062   182195   30    13037    9469   4874   4102 407.10
677.28/677.49	c  1708883    792     5983   208728   34    12881   10416   4795   4098 416.92
677.28/677.49	c  1767238    792    11202   347344   31    23321   11458  10014   4104 430.52
677.28/677.49	c  1854871    792    11111   314158   28    23142   12604   9923   4082 454.36
677.28/677.49	c  1986425    792     7869   226287   28    16650   13865   6681   4063 488.84
677.28/677.49	c  2183858    792    15012   598030   39    30942   15252  13824   4029 541.97
677.28/677.49	c  2480112    792     9152   310294   33    19220   16778   7964   3897 636.30
677.28/677.49	o 137	677.383
688.68/688.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
688.68/688.83	c  2626333    792    10814   372988   34    23198    3014   9626   3877 677.38
688.68/688.83	c  2626433    792     2796    60567   21     6507    3316   1608   3877 677.42
688.68/688.83	c  2626687    792     3050    70212   23     7016    3648   1862   3877 677.45
688.68/688.83	c  2627162    792     3525    88688   25     7966    4013   2337   3877 677.52
688.68/688.83	c  2627975    792     4338   114785   26     9594    4415   3150   3878 677.63
688.68/688.83	c  2629297    792     3397    78517   23     7710    4857   2209   3878 677.83
688.68/688.83	c  2631378    792     5478   155499   28    11875    5343   4290   3880 678.16
688.68/688.83	c  2634602    792     5888   170836   29    12690    5878   4700   3881 678.72
688.68/688.83	c  2639538    792     4723   127809   27    10362    6466   3535   3884 679.57
688.68/688.83	c  2647046    792     5585   140261   25    12088    7113   4397   3887 680.87
688.68/688.83	c  2658407    792     5922   150276   25    12760    7825   4734   3891 683.10
688.68/688.83	c  2675552    792     7055   197941   28    15029    8608   5867   3900 685.94
688.68/688.83	o 127	688.723
1800.02/1800.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.02/1800.30	c  2691245    792     9502   311810   32    20572    3014   8314   3907 688.72
1800.02/1800.30	c  2691347    792     2798    58249   20     6517    3316   1610   3907 688.75
1800.02/1800.30	c  2691597    792     3048    65166   21     7017    3648   1860   3907 688.78
1800.02/1800.30	c  2692074    792     3525    78792   22     7967    4013   2337   3908 688.84
1800.02/1800.30	c  2692887    792     4338   106848   24     9595    4415   3150   3908 688.95
1800.02/1800.30	c  2694207    792     3397    66523   19     7711    4857   2209   3909 689.13
1800.02/1800.30	c  2696288    792     5478   124293   22    11872    5343   4290   3910 689.43
1800.02/1800.30	c  2699511    792     5950   136024   22    12816    5878   4762   3912 689.96
1800.02/1800.30	c  2704449    792     4828   113615   23    10576    6466   3640   3914 690.88
1800.02/1800.30	c  2711955    792     5724   122227   21    12366    7113   4536   3918 692.16
1800.02/1800.30	c  2723316    792     6118   160783   26    13154    7825   4930   3922 694.20
1800.02/1800.30	c  2740460    792     7280   178222   24    15481    8608   6092   3927 697.80
1800.02/1800.30	c  2766279    792     6569   176160   26    14055    9469   5381   3929 704.03
1800.02/1800.30	c  2805114    792     6717   188514   28    14353   10416   5529   3929 713.89
1800.02/1800.30	c  2863466    792     6521   183642   28    13961   11458   5333   3932 728.19
1800.02/1800.30	c  2951098    792    12630   355719   28    26178   12604  11442   3934 750.04
1800.02/1800.30	c  3082651    792     9623   297850   30    20165   13865   8435   3929 784.45
1800.02/1800.30	c  3280083    792     9725   342539   35    20371   15252   8537   3882 844.93
1800.02/1800.30	c  3576335    792    11738   390788   33    24394   16778  10550   3807 939.33
1800.02/1800.30	c  4020819    792    14007   453078   32    28935   18456  12819   3723 1079.73
1800.02/1800.30	c  4687651    792    17822   653896   36    36563   20302  16634   3565 1314.86
1800.02/1800.30	c  5687997    792    12590   438989   34    26101   22333  11402   3406 1669.85
1800.02/1800.30	c Caught signal: 15
1800.02/1800.30	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -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 
1800.02/1800.30	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.30	c  219  6013890 2461241 13483466    22282   804830  21094   3341 1800.02
1800.02/1800.30	c Objective: 127
1800.02/1800.30	s SATISFIABLE
1800.02/1800.30	c Total time: 1800.02 s

Verifier Data

OK	127

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

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 10068
/proc/meminfo: memFree=28412180/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4194304 143 0 0 0 0 0 0 0 20 0 1 0 341975472 4583424 94 33554432000 134512640 135840783 4288119824 4288119164 1542104 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 1119 112 93 325 0 39 0

[startup+0.059974 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 10068
/proc/meminfo: memFree=28412180/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=5344 CPUtime=0.05 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 666 0 0 0 5 0 0 0 20 0 1 0 341975472 5472256 590 33554432000 134512640 135840783 4288119824 4288117712 2102567 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 1336 590 348 325 0 272 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5344

[startup+0.100253 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 10068
/proc/meminfo: memFree=28412180/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=5476 CPUtime=0.09 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 710 0 0 0 9 0 0 0 20 0 1 0 341975472 5607424 634 33554432000 134512640 135840783 4288119824 4288119184 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 1369 634 348 325 0 305 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5476

[startup+0.300192 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 10068
/proc/meminfo: memFree=28412180/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=6400 CPUtime=0.29 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 920 0 0 0 29 0 0 0 20 0 1 0 341975472 6553600 844 33554432000 134512640 135840783 4288119824 4288118912 2102449 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 1600 844 348 325 0 536 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6400

[startup+0.700187 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 10068
/proc/meminfo: memFree=28412180/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=7724 CPUtime=0.69 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 1270 0 0 0 69 0 0 0 20 0 1 0 341975472 7909376 1194 33554432000 134512640 135840783 4288119824 4288119184 134551063 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 1931 1194 348 325 0 867 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7724

[startup+1.50019 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 10069
/proc/meminfo: memFree=28407940/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=8120 CPUtime=1.49 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 1362 0 0 0 149 0 0 0 20 0 1 0 341975472 8314880 1286 33554432000 134512640 135840783 4288119824 4288119184 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 2030 1286 348 325 0 966 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8120

[startup+3.10019 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 10069
/proc/meminfo: memFree=28405476/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=9308 CPUtime=3.08 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 1673 0 0 0 308 0 0 0 20 0 1 0 341975472 9531392 1597 33554432000 134512640 135840783 4288119824 4288119184 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 2327 1597 348 325 0 1263 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 9308

[startup+6.30026 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 10069
/proc/meminfo: memFree=28402012/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=9680 CPUtime=6.28 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 1746 0 0 0 628 0 0 0 20 0 1 0 341975472 9912320 1670 33554432000 134512640 135840783 4288119824 4288119184 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 2420 1670 348 325 0 1356 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 9680

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/174 10077
/proc/meminfo: memFree=31008424/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=10336 CPUtime=12.68 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 1912 0 0 0 1268 0 0 0 20 0 1 0 341975472 10584064 1836 33554432000 134512640 135840783 4288119824 4288119120 134572716 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 2584 1836 348 325 0 1520 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 10336

[startup+25.5002 s]
/proc/loadavg: 2.03 2.00 2.00 3/174 10077
/proc/meminfo: memFree=31008204/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=10196 CPUtime=25.48 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 1914 0 0 0 2548 0 0 0 20 0 1 0 341975472 10440704 1825 33554432000 134512640 135840783 4288119824 4288119184 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 2549 1825 348 325 0 1485 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10196

[startup+51.1003 s]
/proc/loadavg: 2.02 2.00 2.00 3/174 10077
/proc/meminfo: memFree=31005600/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=12688 CPUtime=51.08 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 2542 0 0 0 5107 1 0 0 20 0 1 0 341975472 12992512 2436 33554432000 134512640 135840783 4288119824 4288118912 2099973 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 3172 2436 348 325 0 2108 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 12688

[startup+102.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 10109
/proc/meminfo: memFree=31103672/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=12692 CPUtime=102.28 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 2545 0 0 0 10227 1 0 0 20 0 1 0 341975472 12996608 2438 33554432000 134512640 135840783 4288119824 4288118352 1727234 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 3173 2438 348 325 0 2109 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12692

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10109
/proc/meminfo: memFree=31066996/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=12648 CPUtime=162.26 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 2547 0 0 0 16225 1 0 0 20 0 1 0 341975472 12951552 2438 33554432000 134512640 135840783 4288119824 4288119184 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 3162 2438 348 325 0 2098 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 12648

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10109
/proc/meminfo: memFree=31044792/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=12588 CPUtime=222.25 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 2547 0 0 0 22224 1 0 0 20 0 1 0 341975472 12890112 2423 33554432000 134512640 135840783 4288119824 4288119184 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 3147 2423 348 325 0 2083 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 12588

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10109
/proc/meminfo: memFree=31020528/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=13188 CPUtime=282.24 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 2694 0 0 0 28223 1 0 0 20 0 1 0 341975472 13504512 2570 33554432000 134512640 135840783 4288119824 4288119184 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 3297 2570 348 325 0 2233 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 13188

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10109
/proc/meminfo: memFree=31000972/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=14192 CPUtime=342.23 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 2935 0 0 0 34222 1 0 0 20 0 1 0 341975472 14532608 2810 33554432000 134512640 135840783 4288119824 4288119152 14704625 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 3548 2810 348 325 0 2484 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 14192

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10110
/proc/meminfo: memFree=30983240/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=15432 CPUtime=402.22 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 3259 0 0 0 40221 1 0 0 20 0 1 0 341975472 15802368 3134 33554432000 134512640 135840783 4288119824 4288119184 134550884 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 3858 3134 348 325 0 2794 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 15432

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10110
/proc/meminfo: memFree=30929136/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=15432 CPUtime=462.21 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 3259 0 0 0 46220 1 0 0 20 0 1 0 341975472 15802368 3134 33554432000 134512640 135840783 4288119824 4288119120 134572687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 3858 3134 348 325 0 2794 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 15432

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10110
/proc/meminfo: memFree=30898376/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=15432 CPUtime=522.2 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 3259 0 0 0 52219 1 0 0 20 0 1 0 341975472 15802368 3134 33554432000 134512640 135840783 4288119824 4288119120 134572675 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 3858 3134 348 325 0 2794 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 15432

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10113
/proc/meminfo: memFree=30868420/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=15956 CPUtime=582.19 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 3379 0 0 0 58218 1 0 0 20 0 1 0 341975472 16338944 3253 33554432000 134512640 135840783 4288119824 4288119136 134551469 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 3989 3253 348 325 0 2925 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 15956

[startup+642.3 s]

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

/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 3795 0 0 0 106211 1 0 0 20 0 1 0 341975472 17850368 3623 33554432000 134512640 135840783 4288119824 4288119136 14713358 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 4358 3623 348 325 0 3294 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 17432

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10116
/proc/meminfo: memFree=30381192/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=18188 CPUtime=1122.11 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 3984 0 0 0 112210 1 0 0 20 0 1 0 341975472 18624512 3812 33554432000 134512640 135840783 4288119824 4288119184 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 4547 3812 348 325 0 3483 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 18188

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10119
/proc/meminfo: memFree=30370644/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=18188 CPUtime=1182.1 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 3984 0 0 0 118209 1 0 0 20 0 1 0 341975472 18624512 3812 33554432000 134512640 135840783 4288119824 4288119184 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 4547 3812 348 325 0 3483 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 18188

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10119
/proc/meminfo: memFree=30358624/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=18148 CPUtime=1242.09 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 3984 0 0 0 124208 1 0 0 20 0 1 0 341975472 18583552 3812 33554432000 134512640 135840783 4288119824 4288119136 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 4537 3812 348 325 0 3473 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 18148

[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 10121
/proc/meminfo: memFree=30345968/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=18144 CPUtime=1302.09 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 3984 0 0 0 130208 1 0 0 20 0 1 0 341975472 18579456 3812 33554432000 134512640 135840783 4288119824 4288119184 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 4536 3812 348 325 0 3472 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 18144

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10121
/proc/meminfo: memFree=30334816/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=18124 CPUtime=1362.07 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 3986 0 0 0 136206 1 0 0 20 0 1 0 341975472 18558976 3807 33554432000 134512640 135840783 4288119824 4288119248 134546112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 4531 3807 348 325 0 3467 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 18124

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10121
/proc/meminfo: memFree=30320184/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=18604 CPUtime=1422.07 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 4098 0 0 0 142206 1 0 0 20 0 1 0 341975472 19050496 3919 33554432000 134512640 135840783 4288119824 4288119184 134551469 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 4651 3919 348 325 0 3587 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 18604

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10121
/proc/meminfo: memFree=30315348/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=18544 CPUtime=1482.05 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 4098 0 0 0 148204 1 0 0 20 0 1 0 341975472 18989056 3912 33554432000 134512640 135840783 4288119824 4288119184 134551321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 4636 3912 348 325 0 3572 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 18544

[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 10121
/proc/meminfo: memFree=30304288/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=18540 CPUtime=1542.04 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 4098 0 0 0 154203 1 0 0 20 0 1 0 341975472 18984960 3911 33554432000 134512640 135840783 4288119824 4288119184 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 4635 3911 348 325 0 3571 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 18540

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10122
/proc/meminfo: memFree=30284244/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=18528 CPUtime=1602.04 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 4098 0 0 0 160203 1 0 0 20 0 1 0 341975472 18972672 3908 33554432000 134512640 135840783 4288119824 4288119136 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 4632 3908 348 325 0 3568 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 18528

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 10122
/proc/meminfo: memFree=30268600/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=18524 CPUtime=1662.03 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 4098 0 0 0 166202 1 0 0 20 0 1 0 341975472 18968576 3907 33554432000 134512640 135840783 4288119824 4288119184 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 4631 3907 348 325 0 3567 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 18524

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10122
/proc/meminfo: memFree=30249628/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=19800 CPUtime=1722.02 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 4407 0 0 0 172201 1 0 0 20 0 1 0 341975472 20275200 4216 33554432000 134512640 135840783 4288119824 4288119184 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 4950 4216 348 325 0 3886 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 19800

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10125
/proc/meminfo: memFree=30228416/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=22844 CPUtime=1782.02 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 5177 0 0 0 178200 2 0 0 20 0 1 0 341975472 23392256 4986 33554432000 134512640 135840783 4288119824 4288119184 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 5711 4986 348 325 0 4647 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 22844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10125
/proc/meminfo: memFree=30221604/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=22844 CPUtime=1800.02 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) R 10066 10068 9396 0 -1 4202496 5177 0 0 0 180000 2 0 0 20 0 1 0 341975472 23392256 4986 33554432000 134512640 135840783 4288119824 4288119184 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 5711 4986 348 325 0 4647 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 22844

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -10068

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 10126
/proc/meminfo: memFree=30221604/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=22844 CPUtime=1800.02 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) S 10066 10068 9396 0 -1 4202496 5178 0 0 0 180000 2 0 0 20 0 1 0 341975472 23392256 4987 33554432000 134512640 135840783 4288119824 4288117316 7365680 0 16384 4096 16384 18446744071579510697 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 5711 4987 349 325 0 4647 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 22844

[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 10126
/proc/meminfo: memFree=30221100/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=22844 CPUtime=1800.02 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) S 10066 10068 9396 0 -1 4202496 5178 0 0 0 180000 2 0 0 20 0 1 0 341975472 23392256 4987 33554432000 134512640 135840783 4288119824 4288117316 7365680 0 16384 4096 16384 18446744071579510697 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 5711 4987 349 325 0 4647 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 22844

[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 10126
/proc/meminfo: memFree=30221100/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=22844 CPUtime=1800.02 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) S 10066 10068 9396 0 -1 4202496 5178 0 0 0 180000 2 0 0 20 0 1 0 341975472 23392256 4987 33554432000 134512640 135840783 4288119824 4288117316 7365680 0 16384 4096 16384 18446744071579510697 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 5711 4987 349 325 0 4647 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 22844

[startup+1802.3 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 10126
/proc/meminfo: memFree=30221100/32873844 swapFree=8656/8656
[pid=10068] ppid=10066 vsize=22844 CPUtime=1800.02 cores=1,3,5,7
/proc/10068/stat : 10068 (bsolo3.0.17) S 10066 10068 9396 0 -1 4202496 5178 0 0 0 180000 2 0 0 20 0 1 0 341975472 23392256 4987 33554432000 134512640 135840783 4288119824 4288117316 7365680 0 16384 4096 16384 18446744071579510697 0 0 17 5 0 0 0 0 0
/proc/10068/statm: 5711 4987 349 325 0 4647 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 22844

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.31
CPU time (s): 1800.03
CPU user time (s): 1800
CPU system time (s): 0.020996
CPU usage (%): 99.8733
Max. virtual memory (cumulated for all children) (KiB): 22844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.020996
maximum resident set size= 19948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5178
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= 20
involuntary context switches= 1852

runsolver used 4.02339 second user time and 18.1972 second system time

The end

Launcher Data

Begin job on node102 at 2012-06-03 23:21:09
IDJOB=3741399
IDBENCH=89854
IDSOLVER=2318
FILE ID=node102/3741399-1338758469
RUNJOBID= node102-1338747648-9413
PBS_JOBID= 14636781
Free space on /tmp= 70936 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-538867.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741399-1338758469/watcher-3741399-1338758469 -o /tmp/evaluation-result-3741399-1338758469/solver-3741399-1338758469 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3741399-1338758469.opb            

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

MD5SUM BENCH= 3b75c8039d6468258a1aa0343ce1fddb
RANDOM SEED=1960865165

node102.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28412444 kB
Buffers:          198216 kB
Cached:           883696 kB
SwapCached:         5520 kB
Active:          3070044 kB
Inactive:         618976 kB
Active(anon):    2603848 kB
Inactive(anon):     5604 kB
Active(file):     466196 kB
Inactive(file):   613372 kB
Unevictable:        8656 kB
Mlocked:            8656 kB
SwapTotal:      67108856 kB
SwapFree:       67097276 kB
Dirty:              6544 kB
Writeback:             0 kB
AnonPages:       2610392 kB
Mapped:            10412 kB
Shmem:                 0 kB
Slab:             625572 kB
SReclaimable:      66592 kB
SUnreclaim:       558980 kB
KernelStack:        1448 kB
PageTables:         8836 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2725232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2381824 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= 71148 MiB
End job on node102 at 2012-06-03 23:51:12