Trace number 3738172

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.17OPT-172 617.537 617.677

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-7000opt.opb
MD5SUM2dd11ebefc05ae8ac770ff3615713305
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-172
Best CPU time to get the best result obtained on this benchmark20.8418
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2025
Total number of constraints62231
Number of constraints which are clauses62231
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 135
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 347
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 347
Number of bits of the biggest sum of numbers9
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-3738172-1338733736.opb
0.00/0.00	c File size is 2075649 bytes.
0.08/0.16	c Highest Coefficient sum: 347
0.08/0.16	c Parsing was ok!!
0.08/0.16	c Total parsing time: 0.154 s
0.08/0.17	c Var: 2025 Constr: 62231 62231/0/0 Lit: 185523 Watch. Lit: 124462
0.08/0.17	c Obj. Vars: 135 (6.66667 % of total variables)
0.28/0.35	c Pre-processing Time: 0.35 s
0.28/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.35	c        0   2010    62186   185433    2   124372   20728      0      0 0.35
0.28/0.35	c Switching off LPR mode.
0.28/0.37	o -49	0.366
0.28/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.37	c        0   2010    62187   185553    2   124391   20968      1      0 0.37
0.28/0.37	o -54	0.369
0.28/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.38	c        1   2010    62189   185772    2   124412   20968      3      2 0.37
0.28/0.38	o -94	0.381
0.28/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.28/0.39	c       38   2010    62227   186072    2   124526   20968     41     99 0.38
0.28/0.39	o -102	0.388
0.39/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.40	c       48   2010    62238   186234    2   124585   20968     52    123 0.39
0.39/0.40	o -103	0.397
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c       64   2010    62255   186659    2   124657   20968     69    160 0.40
0.39/0.41	o -125	0.41
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c       77   2010    62269   186832    3   124708   20968     83    186 0.41
0.39/0.42	o -134	0.422
0.39/0.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.47	c       91   2010    62284   187146    3   124791   20968     98    214 0.42
0.39/0.47	c      191   2010    62384   189236    3   124990   23065    198    417 0.46
0.39/0.47	o -144	0.47
0.69/0.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.73	c      201   2010    62395   189400    3   125047   20968    209    426 0.47
0.69/0.73	c      302   2010    62496   192811    3   125248   23065    310    594 0.51
0.69/0.73	c      552   2010    62746   207622    3   125769   25372    560    943 0.58
0.69/0.73	c     1028   2010    63222   232297    3   126700   27910   1036   1447 0.71
0.69/0.73	o -147	0.723
0.79/0.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.87	c     1039   2010    63234   232701    3   126782   20968   1048   1435 0.72
0.79/0.87	c     1139   2010    63334   236854    3   126993   23065   1148   1504 0.76
0.79/0.87	c     1390   2010    63585   250880    3   127505   25372   1399   1664 0.83
0.79/0.87	o -148	0.869
0.99/1.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.02	c     1481   2010    63677   255941    4   127726   20968   1491   1700 0.87
0.99/1.02	c     1582   2010    63778   261209    4   127937   23065   1592   1750 0.90
0.99/1.02	c     1833   2010    64029   276573    4   128430   25372   1843   1923 0.95
0.99/1.02	o -149	1.021
1.19/1.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.27	c     2014   2010    64211   287017    4   128839   20968   2025   1968 1.02
1.19/1.27	c     2114   2010    64311   292450    4   129086   23065   2125   2000 1.06
1.19/1.27	c     2365   2010    64562   305679    4   129555   25372   2376   2085 1.13
1.19/1.27	c     2840   2010    65037   333582    5   130500   27910   2851   2279 1.25
1.19/1.27	o -150	1.263
2.88/2.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.88/2.97	c     2852   2010    65050   334245    5   130592   20968   2864   2256 1.26
2.88/2.97	c     2954   2010    65152   340927    5   130793   23065   2966   2279 1.30
2.88/2.97	c     3205   2010    65403   355413    5   131296   25372   3217   2341 1.37
2.88/2.97	c     3681   2010    65879   383469    5   132269   27910   3693   2455 1.50
2.88/2.97	c     4495   2010    66693   431508    6   133866   30702   4507   2564 1.75
2.88/2.97	c     5816   2010    68014   518227    7   136491   33773   5828   2788 2.09
2.88/2.97	c     7897   2010    70095   646402    9   140667   37151   7909   3024 2.61
2.88/2.97	o -152	2.968
3.38/3.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.38/3.45	c     9036   2010    71235   718732   10   143030   20968   9049   3042 2.97
3.38/3.45	c     9136   2010    71335   723930   10   143229   23065   9149   3029 3.02
3.38/3.45	c     9386   2010    71585   739452   10   143681   25372   9399   3027 3.10
3.38/3.45	c     9861   2010    72060   767392   10   144697   27910   9874   3023 3.26
3.38/3.45	o -153	3.442
3.68/3.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.68/3.76	c    10321   2010    72521   797476   10   145631   20968  10335   2996 3.44
3.68/3.76	c    10421   2010    72621   803068   11   145819   23065  10435   2980 3.50
3.68/3.76	c    10671   2010    72871   817120   11   146367   25372  10685   2982 3.58
3.68/3.76	c    11146   2010    73346   845218   11   147330   27910  11160   3008 3.71
3.68/3.76	o -155	3.762
30.48/30.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.48/30.59	c    11224   2010    73425   849941   11   147503   20968  11239   2981 3.76
30.48/30.59	c    11324   2010    73525   855789   11   147686   23065  11339   2973 3.81
30.48/30.59	c    11574   2010    73775   870248   11   148180   25372  11589   2971 3.90
30.48/30.59	c    12049   2010    74250   898688   12   149172   27910  12064   2949 4.08
30.48/30.59	c    12862   2010    75063   947790   12   150739   30702  12877   2923 4.40
30.48/30.59	c    14182   2010    76383  1026238   13   153403   33773  14197   2949 4.81
30.48/30.59	c    16263   2010    78464  1152184   14   157573   37151  16278   2913 5.58
30.48/30.59	c    19486   2010    81687  1350096   16   164036   40867  19501   2863 6.81
30.48/30.59	c    24422   2010    86623  1660406   19   173893   44954  24437   2762 8.84
30.48/30.59	c    31928   2010    94129  2130429   22   188892   49450  31943   2524 12.65
30.48/30.59	c    43290   2010   105491  2812800   26   211645   54396  43305   2171 19.94
30.48/30.59	o -156	30.585
30.69/30.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.69/30.78	c    54658   2010    74677   917574   12   149468   20968  12491   1786 30.59
30.69/30.78	c    54758   2010    74777   922915   12   149681   23065  12591   1787 30.63
30.69/30.78	c    55008   2010    75027   937821   12   150175   25372  12841   1788 30.75
30.69/30.78	o -157	30.774
31.48/31.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.48/31.58	c    55012   2010    75032   938135   12   150241   20968  12846   1787 30.77
31.48/31.58	c    55112   2010    75132   943806   12   150455   23065  12946   1787 30.83
31.48/31.58	c    55363   2010    75383   958415   12   150949   25372  13197   1788 30.95
31.48/31.58	c    55839   2010    75859   986860   13   151900   27910  13673   1793 31.14
31.48/31.58	c    56654   2010    76674  1032895   13   153535   30702  14488   1801 31.45
31.48/31.58	o -159	31.573
31.89/31.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.89/31.98	c    56853   2010    76874  1044427   13   153988   20968  14688   1800 31.57
31.89/31.98	c    56955   2010    76976  1050318   13   154190   23065  14790   1800 31.64
31.89/31.98	c    57206   2010    77227  1064771   13   154705   25372  15041   1799 31.79
31.89/31.98	o -163	31.972
37.98/38.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.98/38.08	c    57620   2010    77642  1087784   14   155585   20968  15456   1802 31.97
37.98/38.08	c    57721   2010    77743  1093875   14   155792   23065  15557   1801 32.04
37.98/38.08	c    57972   2010    77994  1107893   14   156296   25372  15808   1803 32.14
37.98/38.08	c    58447   2010    78469  1135837   14   157232   27910  16283   1806 32.34
37.98/38.08	c    59261   2010    79283  1182399   14   158856   30702  17097   1812 32.70
37.98/38.08	c    60583   2010    80605  1255265   15   161525   33773  18419   1823 33.22
37.98/38.08	c    62665   2010    82687  1370786   16   165682   37151  20501   1839 34.08
37.98/38.08	c    65889   2010    85911  1562372   18   172119   40867  23725   1860 35.42
37.98/38.08	c    70825   2010    90847  1834877   20   182008   44954  28661   1882 37.61
37.98/38.08	o -165	38.074
313.90/314.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
313.90/314.05	c    71511   2010    91534  1875660   20   183420   20968  29348   1878 38.08
313.90/314.05	c    71611   2010    72772   744925   10   145611   23065  10586   1854 38.62
313.90/314.05	c    71861   2010    73022   758096   10   146111   25372  10836   1856 38.71
313.90/314.05	c    72336   2010    73497   785989   10   147058   27910  11311   1860 38.87
313.90/314.05	c    73149   2010    74310   827450   11   148689   30702  12124   1869 39.12
313.90/314.05	c    74469   2010    75630   902544   11   151324   33773  13444   1884 39.53
313.90/314.05	c    76550   2010    77711  1016817   13   155489   37151  15525   1906 40.15
313.90/314.05	c    79773   2010    80934  1201172   14   161932   40867  18748   1935 41.21
313.90/314.05	c    84709   2010    85870  1479943   17   171807   44954  23684   1941 43.62
313.90/314.05	c    92215   2010    93376  1915225   20   186816   49450  31190   1936 47.62
313.90/314.05	c   103577   2010   104738  2555570   24   209542   54396  42552   1916 54.05
313.90/314.05	c   120722   2010    80078  1140059   14   160219   59836  17892   1856 65.02
313.90/314.05	c   146542   2010   105898  2616604   24   211862   65820  43712   1875 78.13
313.90/314.05	c   185374   2010    91637  1879681   20   183338   72403  29451   1757 105.45
313.90/314.05	c   243726   2010    90379  1752240   19   180819   79644  28193   1663 146.49
313.90/314.05	c   331359   2010   111403  2966869   26   222871   87609  49217   1549 213.88
313.90/314.05	o -166	313.96
344.29/344.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
344.29/344.48	c   441135   2009   146541  4838552   33   293207   20966  84355   1405 313.96
344.29/344.48	c   441235   2009    72787   742591   10   145639   23063  10601   1365 323.04
344.29/344.48	c   441485   2009    73037   755385   10   146137   25370  10851   1366 323.15
344.29/344.48	c   441960   2009    73512   782201   10   147088   27908  11326   1366 323.31
344.29/344.48	c   442773   2009    74325   826111   11   148714   30699  12139   1368 323.49
344.29/344.48	c   444093   2009    75645   900318   11   151354   33769  13459   1371 323.90
344.29/344.48	c   446174   2009    77726  1012881   13   155518   37146  15540   1374 324.52
344.29/344.48	c   449397   2009    80949  1192609   14   161962   40861  18763   1380 325.48
344.29/344.48	c   454334   2009    85886  1473001   17   171832   44948  23700   1388 327.24
344.29/344.48	c   461840   2009    93392  1906675   20   186851   49443  31206   1394 331.13
344.29/344.48	c   473201   2009   104753  2548962   24   209570   54388  42567   1407 336.18
344.29/344.48	o -168	344.386
368.59/368.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
368.59/368.76	c   483541   2009   115094  3126388   27   230316   20966  52908   1404 344.39
368.59/368.76	c   483641   2009    72776   728569   10   145616   23063  10590   1400 345.32
368.59/368.76	c   483891   2009    73026   742740   10   146116   25370  10840   1400 345.40
368.59/368.76	c   484367   2009    73502   767843   10   147068   27908  11316   1401 345.54
368.59/368.76	c   485181   2009    74316   809757   10   148697   30699  12130   1403 345.78
368.59/368.76	c   486501   2009    75636   882656   11   151336   33769  13450   1405 346.14
368.59/368.76	c   488583   2009    77718   997038   12   155499   37146  15532   1408 346.83
368.59/368.76	c   491806   2009    80941  1163090   14   161946   40861  18755   1414 347.75
368.59/368.76	c   496742   2009    85877  1427587   16   171821   44948  23691   1421 349.57
368.59/368.76	c   504249   2009    93384  1827531   19   186833   49443  31198   1429 352.63
368.59/368.76	c   515610   2009   104745  2459708   23   209552   54388  42559   1435 359.17
368.59/368.76	o -169	368.667
411.68/411.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
411.68/411.89	c   532688   2007    80053  1082888   13   160230   20962  17867   1444 368.67
411.68/411.89	c   532788   2007    80153  1087973   13   160432   23059  17967   1444 368.72
411.68/411.89	c   533038   2007    80403  1101467   13   160930   25365  18217   1445 368.83
411.68/411.89	c   533513   2007    80878  1125936   13   161882   27902  18692   1446 368.95
411.68/411.89	c   534327   2007    81692  1168461   14   163510   30693  19506   1447 369.26
411.68/411.89	c   535647   2007    83012  1236555   14   166148   33763  20826   1448 369.82
411.68/411.89	c   537729   2007    85094  1351632   15   170314   37140  22908   1451 370.55
411.68/411.89	c   540953   2007    88318  1514737   17   176765   40855  26132   1455 371.65
411.68/411.89	c   545890   2007    93255  1767188   18   186636   44941  31069   1459 373.94
411.68/411.89	c   553396   2007   100761  2172070   21   201655   49436  38575   1465 377.74
411.68/411.89	c   564757   2007    75162   831193   11   150382   54380  12976   1464 385.51
411.68/411.89	c   581902   2007    92307  1722441   18   184677   59819  30121   1487 391.17
411.68/411.89	c   607722   2006   118127  3053022   25   236312   65801  55941   1496 406.00
411.68/411.89	o -172	411.786
617.45/617.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
617.45/617.67	c   615300   2006   125706  3451087   27   251535   20960  63520   1494 411.79
617.45/617.67	c   615400   2006    72779   692943    9   145621   23057  10593   1490 412.95
617.45/617.67	c   615650   2006    73029   706204    9   146115   25363  10843   1490 413.02
617.45/617.67	c   616126   2006    73505   729256    9   147072   27900  11319   1491 413.14
617.45/617.67	c   616940   2006    74319   769547   10   148703   30691  12133   1492 413.34
617.45/617.67	c   618261   2006    75640   836467   11   151342   33761  13454   1494 413.70
617.45/617.67	c   620342   2006    77721   941490   12   155507   37138  15535   1497 414.25
617.45/617.67	c   623565   2006    80944  1102085   13   161952   40852  18758   1501 415.21
617.45/617.67	c   628501   2006    85880  1351286   15   171824   44938  23694   1507 417.04
617.45/617.67	c   636007   2006    93386  1707913   18   186835   49432  31200   1513 420.25
617.45/617.67	c   647368   2006   104747  2257631   21   209558   54376  42561   1519 425.99
617.45/617.67	c   664512   2006    80161  1057402   13   160386   59814  17975   1521 436.82
617.45/617.67	c   690332   2006   105981  2344691   22   212026   65796  43795   1537 449.11
617.45/617.67	c   729164   2006    91913  1705114   18   183886   72376  29727   1537 474.13
617.45/617.67	c   787517   2003    90934  1575865   17   181925   79614  28748   1523 516.93
617.45/617.67	c   875150   1997   111992  2264655   20   224041   87576  49806   1533 570.72
617.45/617.67	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 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 x1145 -x1146 x1147 -x1148 x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 x1156 x1157 -x1158 -x1159 -x1160 -x1161 x1162 -x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 x1170 -x1171 -x1172 x1173 -x1174 x1175 -x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 x1216 -x1217 -x1218 -x1219 x1220 x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 -x1290 -x1291 x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 x1425 -x1426 -x1427 -x1428 -x1429 x1430 -x1431 -x1432 x1433 -x1434 x1435 -x1436 -x1437 x1438 -x1439 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x1450 x1451 -x1452 -x1453 -x1454 x1455 -x1456 x1457 -x1458 x1459 -x1460 x1461 -x1462 x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 -x1589 -x1590 -x1591 x1592 -x1593 x1594 -x1595 x1596 x1597 -x1598 x1599 -x1600 x1601 -x1602 -x1603 -x1604 -x1605 -x1606 x1607 -x1608 -x1609 -x1610 -x1611 x1612 -x1613 -x1614 -x1615 x1616 -x1617 x1618 -x1619 -x1620 x1621 -x1622 x1623 -x1624 -x1625 -x1626 x1627 -x1628 x1629 -x1630 x1631 -x1632 x1633 -x1634 x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 x1644 -x1645 -x1646 -x1647 x1648 -x1649 -x1650 -x1651 x1652 x1653 -x1654 x1655 -x1656 x1657 -x1658 x1659 -x1660 x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 x1706 x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 x1715 -x1716 -x1717 x1718 x1719 -x1720 -x1721 -x1722 x1723 -x1724 x1725 -x1726 x1727 -x1728 x1729 -x1730 x1731 -x1732 -x1733 -x1734 -x1735 x1736 -x1737 -x1738 -x1739 -x1740 x1741 -x1742 -x1743 -x1744 -x1745 x1746 -x1747 -x1748 -x1749 x1750 x1751 -x1752 -x1753 x1754 -x1755 -x1756 x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 x1765 -x1766 -x1767 -x1768 -x1769 -x1770 x1771 -x1772 -x1773 -x1774 -x1775 x1776 -x1777 -x1778 x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 -x1788 -x1789 -x1790 -x1791 x1792 -x1793 x1794 x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 x1802 -x1803 -x1804 x1805 -x1806 -x1807 x1808 -x1809 x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 x1817 x1818 -x1819 -x1820 -x1821 -x1822 x1823 -x1824 -x1825 -x1826 x1827 -x1828 -x1829 -x1830 x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 x1838 -x1839 -x1840 x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 x1857 -x1858 -x1859 -x1860 -x1861 x1862 -x1863 x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 -x1871 x1872 -x1873 -x1874 -x1875 -x1876 x1877 -x1878 -x1879 -x1880 x1881 x1882 -x1883 x1884 -x1885 -x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 x1896 -x1897 -x1898 -x1899 x1900 -x1901 x1902 -x1903 x1904 -x1905 x1906 -x1907 x1908 -x1909 x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 x1950 -x1951 -x1952 -x1953 x1954 -x1955 x1956 -x1957 x1958 -x1959 x1960 -x1961 x1962 -x1963 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 x1983 -x1984 x1985 -x1986 -x1987 x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 x2001 -x2002 x2003 -x2004 -x2005 x2006 -x2007 x2008 -x2009 -x2010 x2011 -x2012 x2013 -x2014 x2015 -x2016 x2017 -x2018 -x2019 x2020 -x2021 -x2022 x2023 -x2024 -x2025 
617.45/617.67	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
617.45/617.67	c  135   931261 108364  1094483    93585  1193149  31399   1508 617.54
617.45/617.67	c Objective: -172
617.45/617.67	s OPTIMUM FOUND
617.45/617.67	c Total time: 617.536 s

Verifier Data 

OK	-172

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24545
/proc/meminfo: memFree=28628304/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=2888 CPUtime=0 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4194304 100 0 0 0 0 0 0 0 20 0 1 0 339502115 2957312 52 33554432000 134512640 135840783 4294266240 4294264088 7230979 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 722 56 42 325 0 35 0

[startup+0.0549101 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24545
/proc/meminfo: memFree=28628304/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=8908 CPUtime=0.04 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 1165 0 0 0 4 0 0 0 20 0 1 0 339502115 9121792 1101 33554432000 134512640 135840783 4294266240 4294265056 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 2227 1102 480 325 0 656 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8908

[startup+0.100288 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24545
/proc/meminfo: memFree=28628304/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=10960 CPUtime=0.08 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 1835 0 0 0 8 0 0 0 20 0 1 0 339502115 11223040 1771 33554432000 134512640 135840783 4294266240 4294265056 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 2740 1771 630 325 0 1169 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10960

[startup+0.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24545
/proc/meminfo: memFree=28628304/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=17760 CPUtime=0.28 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 4268 0 0 0 26 2 0 0 20 0 1 0 339502115 18186240 3697 33554432000 134512640 135840783 4294266240 4294240844 11093040 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 4440 3697 346 325 0 3376 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 17760

[startup+0.700321 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24545
/proc/meminfo: memFree=28628304/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=17636 CPUtime=0.69 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 4965 0 0 0 66 3 0 0 20 0 1 0 339502115 18059264 3683 33554432000 134512640 135840783 4294266240 4294265536 134571514 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 4409 3683 351 325 0 3345 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17636

[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24546
/proc/meminfo: memFree=28615516/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=17780 CPUtime=1.49 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 4980 0 0 0 146 3 0 0 20 0 1 0 339502115 18206720 3698 33554432000 134512640 135840783 4294266240 4294265600 134550817 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 4445 3698 351 325 0 3381 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17780

[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24546
/proc/meminfo: memFree=28612912/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=22860 CPUtime=3.08 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 6275 0 0 0 305 3 0 0 20 0 1 0 339502115 23408640 4993 33554432000 134512640 135840783 4294266240 4294264416 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 5715 4993 351 325 0 4651 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 22860

[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24546
/proc/meminfo: memFree=28603488/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=30676 CPUtime=6.29 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 8200 0 0 0 625 4 0 0 20 0 1 0 339502115 31412224 6918 33554432000 134512640 135840783 4294266240 4294265600 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 7669 6918 351 325 0 6605 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30676

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24546
/proc/meminfo: memFree=28589880/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=43292 CPUtime=12.69 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 11361 0 0 0 1264 5 0 0 20 0 1 0 339502115 44331008 10079 33554432000 134512640 135840783 4294266240 4294265600 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 10823 10079 351 325 0 9759 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43292

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24546
/proc/meminfo: memFree=28572892/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=59832 CPUtime=25.49 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 15507 0 0 0 2542 7 0 0 20 0 1 0 339502115 61267968 14225 33554432000 134512640 135840783 4294266240 4294265600 134551065 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 14958 14225 351 325 0 13894 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 59832

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24546
/proc/meminfo: memFree=28568676/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=63476 CPUtime=51.07 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 16478 0 0 0 5100 7 0 0 20 0 1 0 339502115 64999424 15142 33554432000 134512640 135840783 4294266240 4294265600 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 15869 15142 351 325 0 14805 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 63476

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24550
/proc/meminfo: memFree=28555984/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=70120 CPUtime=102.26 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 18200 0 0 0 10218 8 0 0 20 0 1 0 339502115 71802880 16783 33554432000 134512640 135840783 4294266240 4294265600 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 17530 16783 351 325 0 16466 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 70120

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24550
/proc/meminfo: memFree=28548832/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=76876 CPUtime=162.23 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 19976 0 0 0 16214 9 0 0 20 0 1 0 339502115 78721024 18473 33554432000 134512640 135840783 4294266240 4294265600 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 19219 18473 351 325 0 18155 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 76876

[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 24550
/proc/meminfo: memFree=28543064/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=81260 CPUtime=222.22 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 21146 0 0 0 22212 10 0 0 20 0 1 0 339502115 83210240 19565 33554432000 134512640 135840783 4294266240 4294265600 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 20315 19565 351 325 0 19251 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 81260

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 24550
/proc/meminfo: memFree=28536480/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=87628 CPUtime=282.2 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 22837 0 0 0 28209 11 0 0 20 0 1 0 339502115 89731072 21164 33554432000 134512640 135840783 4294266240 4294265592 6097094 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 21907 21164 351 325 0 20843 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 87628

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24550
/proc/meminfo: memFree=28536480/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=87996 CPUtime=342.19 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 22919 0 0 0 34208 11 0 0 20 0 1 0 339502115 90107904 21246 33554432000 134512640 135840783 4294266240 4294265600 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 21999 21246 351 325 0 20935 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 87996

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24551
/proc/meminfo: memFree=28536412/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=87996 CPUtime=402.18 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 22922 0 0 0 40207 11 0 0 20 0 1 0 339502115 90107904 21246 33554432000 134512640 135840783 4294266240 4294265600 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 21999 21246 351 325 0 20935 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 87996

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24551
/proc/meminfo: memFree=28536784/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=87996 CPUtime=462.17 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 22922 0 0 0 46206 11 0 0 20 0 1 0 339502115 90107904 21246 33554432000 134512640 135840783 4294266240 4294265600 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 21999 21246 351 325 0 20935 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 87996

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24551
/proc/meminfo: memFree=28536660/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=87996 CPUtime=522.16 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 22922 0 0 0 52205 11 0 0 20 0 1 0 339502115 90107904 21246 33554432000 134512640 135840783 4294266240 4294265552 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 21999 21246 351 325 0 20935 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 87996

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24551
/proc/meminfo: memFree=28536784/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=87996 CPUtime=582.15 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 22922 0 0 0 58204 11 0 0 20 0 1 0 339502115 90107904 21246 33554432000 134512640 135840783 4294266240 4294265600 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 21999 21246 351 325 0 20935 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 87996

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

[startup+588.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24551
/proc/meminfo: memFree=28536784/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=87996 CPUtime=588.55 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 22922 0 0 0 58844 11 0 0 20 0 1 0 339502115 90107904 21246 33554432000 134512640 135840783 4294266240 4294265600 134550820 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 21999 21246 351 325 0 20935 0
Current children cumulated CPU time (s) 588.55
Current children cumulated vsize (KiB) 87996

[startup+601.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24551
/proc/meminfo: memFree=28536784/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=87996 CPUtime=601.35 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 22922 0 0 0 60124 11 0 0 20 0 1 0 339502115 90107904 21246 33554432000 134512640 135840783 4294266240 4294265600 134551093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 21999 21246 351 325 0 20935 0
Current children cumulated CPU time (s) 601.35
Current children cumulated vsize (KiB) 87996

[startup+607.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24551
/proc/meminfo: memFree=28536784/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=87996 CPUtime=607.75 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 22922 0 0 0 60764 11 0 0 20 0 1 0 339502115 90107904 21246 33554432000 134512640 135840783 4294266240 4294265600 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 21999 21246 351 325 0 20935 0
Current children cumulated CPU time (s) 607.75
Current children cumulated vsize (KiB) 87996

[startup+614.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24551
/proc/meminfo: memFree=28536784/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=87996 CPUtime=614.15 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 22922 0 0 0 61404 11 0 0 20 0 1 0 339502115 90107904 21246 33554432000 134512640 135840783 4294266240 4294265552 134550820 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 21999 21246 351 325 0 20935 0
Current children cumulated CPU time (s) 614.15
Current children cumulated vsize (KiB) 87996

[startup+615.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24551
/proc/meminfo: memFree=28536784/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=87996 CPUtime=615.75 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 22922 0 0 0 61564 11 0 0 20 0 1 0 339502115 90107904 21246 33554432000 134512640 135840783 4294266240 4294265600 134551076 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 21999 21246 351 325 0 20935 0
Current children cumulated CPU time (s) 615.75
Current children cumulated vsize (KiB) 87996

[startup+616.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24551
/proc/meminfo: memFree=28536784/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=87996 CPUtime=616.55 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 22922 0 0 0 61644 11 0 0 20 0 1 0 339502115 90107904 21246 33554432000 134512640 135840783 4294266240 4294265552 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 21999 21246 351 325 0 20935 0
Current children cumulated CPU time (s) 616.55
Current children cumulated vsize (KiB) 87996

[startup+617.107 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24551
/proc/meminfo: memFree=28536784/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=87996 CPUtime=616.95 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 22922 0 0 0 61684 11 0 0 20 0 1 0 339502115 90107904 21246 33554432000 134512640 135840783 4294266240 4294265600 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 21999 21246 351 325 0 20935 0
Current children cumulated CPU time (s) 616.95
Current children cumulated vsize (KiB) 87996

[startup+617.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24551
/proc/meminfo: memFree=28536784/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=87996 CPUtime=617.35 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 22922 0 0 0 61724 11 0 0 20 0 1 0 339502115 90107904 21246 33554432000 134512640 135840783 4294266240 4294265588 6483924 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 21999 21246 351 325 0 20935 0
Current children cumulated CPU time (s) 617.35
Current children cumulated vsize (KiB) 87996

[startup+617.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24551
/proc/meminfo: memFree=28536784/32873844 swapFree=6872/6872
[pid=24545] ppid=24543 vsize=87996 CPUtime=617.45 cores=1,3,5,7
/proc/24545/stat : 24545 (bsolo3.0.17) R 24543 24545 23291 0 -1 4202496 22922 0 0 0 61734 11 0 0 20 0 1 0 339502115 90107904 21246 33554432000 134512640 135840783 4294266240 4294265600 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24545/statm: 21999 21246 351 325 0 20935 0
Current children cumulated CPU time (s) 617.45
Current children cumulated vsize (KiB) 87996

Child status: 0
Real time (s): 617.677
CPU time (s): 617.537
CPU user time (s): 617.418
CPU system time (s): 0.118981
CPU usage (%): 99.9774
Max. virtual memory (cumulated for all children) (KiB): 87996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 617.418
system time used= 0.118981
maximum resident set size= 85000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22925
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= 53
involuntary context switches= 635

runsolver used 1.3298 second user time and 2.88156 second system time

The end

Launcher Data 

Begin job on node106 at 2012-06-03 16:28:56
IDJOB=3738172
IDBENCH=71830
IDSOLVER=2318
FILE ID=node106/3738172-1338733736
RUNJOBID= node106-1338714620-23308
PBS_JOBID= 14636759
Free space on /tmp= 70852 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-7000opt.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3738172-1338733736/watcher-3738172-1338733736 -o /tmp/evaluation-result-3738172-1338733736/solver-3738172-1338733736 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3738172-1338733736.opb            

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

MD5SUM BENCH= 2dd11ebefc05ae8ac770ff3615713305
RANDOM SEED=285424202

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
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.065
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:        28628832 kB
Buffers:          311024 kB
Cached:          2961896 kB
SwapCached:         2004 kB
Active:          1142324 kB
Inactive:        2250380 kB
Active(anon):     117016 kB
Inactive(anon):     4984 kB
Active(file):    1025308 kB
Inactive(file):  2245396 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100580 kB
Dirty:              8572 kB
Writeback:             0 kB
AnonPages:        124344 kB
Mapped:            10316 kB
Shmem:                 0 kB
Slab:             712720 kB
SReclaimable:     155000 kB
SUnreclaim:       557720 kB
KernelStack:        1456 kB
PageTables:         4228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     239860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    110592 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= 70844 MiB
End job on node106 at 2012-06-03 16:39:14