Trace number 3462483

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2SAT3 1798 1797.96

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=251-P1=257-P2=19-P3=349-P4=257-P5=479-P6=367-B.opb
MD5SUM80881c7fbc3c10cf38784c74294061e5
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.206967
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables162
Total number of constraints13
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)486
Sum of products size (including duplicates)972
Number of different products486
Sum of products size972

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3462483-1307181028.opb
0.00/0.00	c File size is 8553 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 648 Constr: 991 486/0/505 Lit: 4149 Watch. Lit: 2540
0.00/0.00	c Obj. Vars: 9 (1.38889 % of total variables)
0.00/0.00	c Pre-processing Time: 0.004 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    648      991     4149    4     3569    5543      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
342.90/342.97	c      100    648     1185    14261   12     4018    6098    194   5555 0.02
342.90/342.97	c      251    648     1451    35364   24     4478    6708    460   4921 0.05
342.90/342.97	c      479    648     1848    64090   34     5513    7379    857   4838 0.10
342.90/342.97	c      818    648     2492   110216   44     7294    8117   1501   4898 0.17
342.90/342.97	c     1326    648     3471   181452   52     9786    8929   2480   5080 0.26
342.90/342.97	c     2089    648     4742   278208   58    12766    9822   3751   4001 0.52
342.90/342.97	c     3236    648     6864   438869   63    18052   10805   5873   4164 0.78
342.90/342.97	c     4957    648    10176   680833   66    26443   11886   9185   4026 1.23
342.90/342.97	c     7541    648     8631   587441   68    22478   13075   7640   3644 2.07
342.90/342.97	c    11420    648     9424   752664   79    25669   14383   8433   3257 3.51
342.90/342.97	c    17243    648    12805   929438   72    33432   15822  11814   2941 5.86
342.90/342.97	c    25981    648    12752   725400   56    34315   17405  11761   2829 9.18
342.90/342.97	c    39091    648     9999   663492   66    26020   19146   9008   2386 16.38
342.90/342.97	c    58761    648    16739  1051728   62    42572   21061  15748   2078 28.27
342.90/342.97	c    88273    648    18580  1563912   84    47112   23168  17589   2088 42.26
342.90/342.97	c   132543    648    19662  1384204   70    49500   25485  18671   1953 67.84
342.90/342.97	c   198954    648    18257  1409559   77    48193   28034  17266   1751 113.57
342.90/342.97	c   298575    648    20624  1478153   71    55196   30838  19633   1612 185.13
342.90/342.97	c   448011    648    20940  1294050   61    53614   33922  19949   1412 317.07
342.90/342.97	o 165
347.99/348.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
347.99/348.06	c   484452    648    22074  1554698   70    54466    5609  21083   1412 342.98
347.99/348.06	c   484553    648     3990   226840   56    10509    6170   2999   1412 343.12
347.99/348.06	c   484803    648     4475   264085   59    11712    6788   3484   1412 343.15
347.99/348.06	c   485278    648     5381   326207   60    14012    7467   4390   1413 343.26
347.99/348.06	c   486092    648     6953   425310   61    18227    8214   5962   1415 343.49
347.99/348.06	c   487412    648     5317   284602   53    14616    9036   4326   1417 343.94
347.99/348.06	c   489494    648     9366   565699   60    25262    9940   8375   1420 344.50
347.99/348.06	c   492718    648     9997   680134   68    24882   10935   9006   1425 345.63
347.99/348.06	c   497655    648     7431   465383   62    18885   12029   6440   1431 347.76
347.99/348.06	o 5
1036.52/1036.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1036.52/1036.52	c   499270    648    10455   669153   64    27082    5562   9464   1434 348.07
1036.52/1036.52	c   499371    618     3946   224216   56    10656    6119   2955   1434 348.15
1036.52/1036.52	c   499621    618     4446   265761   59    11891    6731   3455   1434 348.19
1036.52/1036.52	c   500096    618     5373   331057   61    14120    7405   4382   1435 348.28
1036.52/1036.52	c   500909    618     6944   431148   62    18106    8146   5953   1437 348.50
1036.52/1036.52	c   502229    618     5301   294937   55    13611    8961   4310   1439 348.94
1036.52/1036.52	c   504310    618     9341   553037   59    24093    9858   8350   1442 349.66
1036.52/1036.52	c   507534    618    10578   618605   58    27508   10844   9587   1445 351.10
1036.52/1036.52	c   512470    618     9078   531597   58    23728   11929   8087   1449 353.48
1036.52/1036.52	c   519977    618    11476   678636   59    29986   13122  10485   1456 356.91
1036.52/1036.52	c   531341    608    12101   727857   60    31363   14435  11110   1462 363.33
1036.52/1036.52	c   548486    608     8215   523400   63    21598   15879   7224   1471 372.65
1036.52/1036.52	c   574306    593     8964   620928   69    23862   17467   7973   1487 386.12
1036.52/1036.52	c   613138    582    10450   683231   65    27011   19214   9459   1490 411.26
1036.52/1036.52	c   671490    582    19847  1328370   66    50573   21136  18856   1499 447.67
1036.52/1036.52	c   759122    582    11624   780768   67    30614   23250  10633   1516 500.73
1036.52/1036.52	c   890674    582    23412  1577380   67    61312   25576  22421   1482 600.80
1036.52/1036.52	c  1088106    582    19420  1335296   68    50398   28134  18429   1412 770.36
1036.52/1036.52	c  1384358    582    22104  1518598   68    53765   30948  21113   1356 1020.83
1036.52/1036.52	o 3
1797.93/1797.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1797.95	c  1410812    582    25223  1738014   68    66025    5563  24232   1361 1036.55
1797.93/1797.95	c  1410912    559     3974   234307   58    10253    6120   2983   1360 1037.08
1797.93/1797.95	c  1411162    559     4465   269524   60    11538    6733   3474   1360 1037.12
1797.93/1797.95	c  1411637    559     5389   335279   62    14102    7407   4398   1361 1037.20
1797.93/1797.95	c  1412451    559     6933   424842   61    18271    8148   5942   1361 1037.39
1797.93/1797.95	c  1413772    559     5086   297020   58    13358    8963   4095   1362 1037.75
1797.93/1797.95	c  1415854    559     9002   570604   63    23631    9860   8011   1363 1038.51
1797.93/1797.95	c  1419078    559    10022   613101   61    25897   10847   9031   1364 1040.16
1797.93/1797.95	c  1424014    559     8316   468560   56    21929   11932   7325   1365 1042.67
1797.93/1797.95	c  1431521    559     9837   653441   66    25877   13126   8846   1369 1045.59
1797.93/1797.95	c  1442883    559    10298   596007   57    27068   14439   9307   1372 1051.19
1797.93/1797.95	c  1460027    559    13751   870155   63    35692   15883  12760   1377 1060.07
1797.93/1797.95	c  1485846    559    12976   858905   66    33224   17472  11985   1378 1077.51
1797.93/1797.95	c  1524678    559    15112   993057   65    37915   19220  14121   1390 1096.75
1797.93/1797.95	c  1583031    559    17571  1204182   68    45029   21143  16580   1389 1138.99
1797.93/1797.95	c  1670663    559    20018  1336053   66    51620   23258  19027   1391 1200.84
1797.93/1797.95	c  1802215    559    19859  1221707   61    53245   25584  18868   1402 1284.60
1797.93/1797.95	c  1999648    559    22229  1461027   65    57459   28143  21238   1388 1439.99
1797.93/1797.95	c  2295901    559    19366  1346501   69    49792   30958  18375   1344 1707.11
1797.93/1797.95	c Resources Exceeded
1797.93/1797.95	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 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x82 x83 x84 x85 -x86 -x87 -x88 -x89 -x90 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x91 -x92 x93 x94 -x95 x96 -x97 -x98 -x99 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x100 -x101 -x102 x103 -x104 -x105 x106 -x107 -x108 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 
1797.93/1797.95	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1797.95	c   66  2388816  23411  2464834    21751  1486384  20760   1328 1798.00
1797.93/1797.95	c Objective: 3
1797.93/1797.95	s SATISFIABLE
1797.93/1797.95	c Total time: 1798 s

Verifier Data 

OK	3

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462483-1307181028/watcher-3462483-1307181028 -o /tmp/evaluation-result-3462483-1307181028/solver-3462483-1307181028 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462483-1307181028.opb 

running on 4 cores: 0,2,4,6

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.02 2.00 3/535 18739
/proc/meminfo: memFree=24973532/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=11064 CPUtime=0.01 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 379 0 0 0 1 0 0 0 25 0 1 0 810519109 11329536 330 33554432000 134512640 137138936 4291442560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 2766 330 192 642 0 2122 0

[startup+0.11111 s]
/proc/loadavg: 2.00 2.02 2.00 3/535 18739
/proc/meminfo: memFree=24973532/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=11952 CPUtime=0.1 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 594 0 0 0 10 0 0 0 25 0 1 0 810519109 12238848 545 33554432000 134512640 137138936 4291442560 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 2988 546 192 642 0 2344 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11952

[startup+0.201091 s]
/proc/loadavg: 2.00 2.02 2.00 3/535 18739
/proc/meminfo: memFree=24973532/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=12852 CPUtime=0.19 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 831 0 0 0 19 0 0 0 25 0 1 0 810519109 13160448 782 33554432000 134512640 137138936 4291442560 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 3213 782 192 642 0 2569 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12852

[startup+0.301079 s]
/proc/loadavg: 2.00 2.02 2.00 3/535 18739
/proc/meminfo: memFree=24973532/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=13868 CPUtime=0.29 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 1066 0 0 0 29 0 0 0 25 0 1 0 810519109 14200832 1017 33554432000 134512640 137138936 4291442560 18446744073709551615 134618325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 3467 1017 192 642 0 2823 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13868

[startup+0.701004 s]
/proc/loadavg: 2.00 2.02 2.00 3/535 18739
/proc/meminfo: memFree=24973532/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=16676 CPUtime=0.69 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 1787 0 0 0 69 0 0 0 25 0 1 0 810519109 17076224 1738 33554432000 134512640 137138936 4291442560 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 4169 1738 192 642 0 3525 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16676

[startup+1.50086 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18740
/proc/meminfo: memFree=24963852/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=23096 CPUtime=1.49 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 3391 0 0 0 149 0 0 0 25 0 1 0 810519109 23650304 3342 33554432000 134512640 137138936 4291442560 18446744073709551615 134618449 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 5774 3343 192 642 0 5130 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23096

[startup+3.10059 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18740
/proc/meminfo: memFree=24958024/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=26420 CPUtime=3.09 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 4224 0 0 0 308 1 0 0 25 0 1 0 810519109 27054080 4175 33554432000 134512640 137138936 4291442560 18446744073709551615 134575831 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 6605 4176 192 642 0 5961 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26420

[startup+6.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18740
/proc/meminfo: memFree=24952944/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=29252 CPUtime=6.29 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 4923 0 0 0 628 1 0 0 25 0 1 0 810519109 29954048 4874 33554432000 134512640 137138936 4291442560 18446744073709551615 134606979 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 7313 4874 192 642 0 6669 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29252

[startup+12.7009 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18741
/proc/meminfo: memFree=24952256/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=29264 CPUtime=12.69 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 4928 0 0 0 1266 3 0 0 25 0 1 0 810519109 29966336 4879 33554432000 134512640 137138936 4291442560 18446744073709551615 134542799 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 7316 4879 192 642 0 6672 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29264

[startup+25.5006 s]
/proc/loadavg: 2.07 2.03 2.00 3/536 18741
/proc/meminfo: memFree=24949772/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=31076 CPUtime=25.49 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 5387 0 0 0 2545 4 0 0 25 0 1 0 810519109 31821824 5338 33554432000 134512640 137138936 4291442560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 7769 5338 192 642 0 7125 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31076

[startup+51.101 s]
/proc/loadavg: 2.04 2.03 2.00 3/536 18742
/proc/meminfo: memFree=24942804/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=38632 CPUtime=51.09 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 7274 0 0 0 5102 7 0 0 25 0 1 0 810519109 39559168 7225 33554432000 134512640 137138936 4291442560 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 9658 7225 192 642 0 9014 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 38632

[startup+102.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/536 18743
/proc/meminfo: memFree=24939544/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=40924 CPUtime=102.3 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 7852 0 0 0 10216 14 0 0 25 0 1 0 810519109 41906176 7803 33554432000 134512640 137138936 4291442560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 10231 7803 192 642 0 9587 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 40924

[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18745
/proc/meminfo: memFree=24923388/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=43680 CPUtime=162.29 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 8541 0 0 0 16209 20 0 0 25 0 1 0 810519109 44728320 8492 33554432000 134512640 137138936 4291442560 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 10920 8492 192 642 0 10276 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 43680

[startup+222.32 s]
/proc/loadavg: 2.12 2.04 2.01 3/536 18746
/proc/meminfo: memFree=24898800/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=45548 CPUtime=222.31 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 9011 0 0 0 22204 27 0 0 25 0 1 0 810519109 46641152 8962 33554432000 134512640 137138936 4291442560 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 11387 8962 192 642 0 10743 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 45548

[startup+282.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/536 18748
/proc/meminfo: memFree=24886612/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=45532 CPUtime=282.3 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 9011 0 0 0 28198 32 0 0 25 0 1 0 810519109 46624768 8959 33554432000 134512640 137138936 4291442560 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 11383 8959 192 642 0 10739 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 45532

[startup+342.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/536 18749
/proc/meminfo: memFree=24886572/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=46176 CPUtime=342.3 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 9174 0 0 0 34193 37 0 0 25 0 1 0 810519109 47284224 9088 33554432000 134512640 137138936 4291442560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 11544 9088 192 642 0 10900 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 46176

[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 18751
/proc/meminfo: memFree=24887892/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=46032 CPUtime=402.3 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 9174 0 0 0 40184 46 0 0 25 0 1 0 810519109 47136768 9084 33554432000 134512640 137138936 4291442560 18446744073709551615 134542776 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 11508 9084 192 642 0 10864 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 46032

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18753
/proc/meminfo: memFree=24887736/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=46032 CPUtime=462.3 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 9174 0 0 0 46175 55 0 0 25 0 1 0 810519109 47136768 9084 33554432000 134512640 137138936 4291442560 18446744073709551615 134576335 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 11508 9084 192 642 0 10864 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 46032

[startup+522.301 s]
/proc/loadavg: 2.16 2.05 2.01 3/536 18754
/proc/meminfo: memFree=24855456/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=46032 CPUtime=522.3 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 9174 0 0 0 52168 62 0 0 25 0 1 0 810519109 47136768 9084 33554432000 134512640 137138936 4291442560 18446744073709551615 134606592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 11508 9084 192 642 0 10864 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 46032

[startup+582.301 s]
/proc/loadavg: 2.13 2.05 2.01 3/536 18756
/proc/meminfo: memFree=24824288/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=46032 CPUtime=582.31 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 9174 0 0 0 58163 68 0 0 25 0 1 0 810519109 47136768 9084 33554432000 134512640 137138936 4291442560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 11508 9084 192 642 0 10864 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 46032

[startup+642.3 s]

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

/proc/meminfo: memFree=24827396/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=46708 CPUtime=1122.32 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 9357 0 0 0 112111 121 0 0 25 0 1 0 810519109 47828992 9253 33554432000 134512640 137138936 4291442560 18446744073709551615 136504060 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 11677 9253 192 642 0 11033 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 46708

[startup+1182.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/536 18808
/proc/meminfo: memFree=24799096/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=46708 CPUtime=1182.32 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 9357 0 0 0 118104 128 0 0 25 0 1 0 810519109 47828992 9253 33554432000 134512640 137138936 4291442560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 11677 9253 192 642 0 11033 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 46708

[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/536 18809
/proc/meminfo: memFree=24780332/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=46708 CPUtime=1242.32 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 9357 0 0 0 124096 136 0 0 25 0 1 0 810519109 47828992 9253 33554432000 134512640 137138936 4291442560 18446744073709551615 134575629 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 11677 9253 192 642 0 11033 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 46708

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18811
/proc/meminfo: memFree=24763196/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=46708 CPUtime=1302.32 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 9357 0 0 0 130089 143 0 0 25 0 1 0 810519109 47828992 9253 33554432000 134512640 137138936 4291442560 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 11677 9253 192 642 0 11033 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 46708

[startup+1362.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/536 18813
/proc/meminfo: memFree=24745920/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=46708 CPUtime=1362.33 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 9357 0 0 0 136083 150 0 0 25 0 1 0 810519109 47828992 9253 33554432000 134512640 137138936 4291442560 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 11677 9253 192 642 0 11033 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 46708

[startup+1422.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/536 18814
/proc/meminfo: memFree=24730524/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=46708 CPUtime=1422.34 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 9357 0 0 0 142079 155 0 0 25 0 1 0 810519109 47828992 9253 33554432000 134512640 137138936 4291442560 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 11677 9253 192 642 0 11033 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 46708

[startup+1482.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/536 18816
/proc/meminfo: memFree=24714496/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=46708 CPUtime=1482.33 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 9357 0 0 0 148073 160 0 0 25 0 1 0 810519109 47828992 9253 33554432000 134512640 137138936 4291442560 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 11677 9253 192 642 0 11033 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 46708

[startup+1542.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 18817
/proc/meminfo: memFree=24692280/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=46708 CPUtime=1542.35 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 9357 0 0 0 154070 165 0 0 25 0 1 0 810519109 47828992 9253 33554432000 134512640 137138936 4291442560 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 11677 9253 192 642 0 11033 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 46708

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18819
/proc/meminfo: memFree=24691480/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=46708 CPUtime=1602.34 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 9357 0 0 0 160065 169 0 0 25 0 1 0 810519109 47828992 9253 33554432000 134512640 137138936 4291442560 18446744073709551615 134599795 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 11677 9253 192 642 0 11033 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 46708

[startup+1662.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/536 18821
/proc/meminfo: memFree=24691456/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=46708 CPUtime=1662.33 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 9357 0 0 0 166058 175 0 0 25 0 1 0 810519109 47828992 9253 33554432000 134512640 137138936 4291442560 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 11677 9253 192 642 0 11033 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 46708

[startup+1722.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/536 18822
/proc/meminfo: memFree=24688432/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=49412 CPUtime=1722.34 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 10003 0 0 0 172053 181 0 0 25 0 1 0 810519109 50597888 9899 33554432000 134512640 137138936 4291442560 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 12353 9899 192 642 0 11709 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 49412

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/536 18824
/proc/meminfo: memFree=24687664/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=49412 CPUtime=1782.34 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 10003 0 0 0 178048 186 0 0 25 0 1 0 810519109 50597888 9899 33554432000 134512640 137138936 4291442560 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 12353 9899 192 642 0 11709 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 49412

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

[startup+1785.6 s]
/proc/loadavg: 2.02 2.03 2.00 3/536 18824
/proc/meminfo: memFree=24687540/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=49412 CPUtime=1785.64 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 10003 0 0 0 178378 186 0 0 25 0 1 0 810519109 50597888 9899 33554432000 134512640 137138936 4291442560 18446744073709551615 134599706 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 12353 9899 192 642 0 11709 0
Current children cumulated CPU time (s) 1785.64
Current children cumulated vsize (KiB) 49412

[startup+1792.02 s]
/proc/loadavg: 2.02 2.03 2.00 3/536 18824
/proc/meminfo: memFree=24688772/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=49412 CPUtime=1792.06 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 10003 0 0 0 179020 186 0 0 25 0 1 0 810519109 50597888 9899 33554432000 134512640 137138936 4291442560 18446744073709551615 134539298 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 12353 9899 192 642 0 11709 0
Current children cumulated CPU time (s) 1792.06
Current children cumulated vsize (KiB) 49412

[startup+1795.2 s]
/proc/loadavg: 2.02 2.03 2.00 3/536 18824
/proc/meminfo: memFree=24688772/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=49412 CPUtime=1795.25 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 10003 0 0 0 179339 186 0 0 25 0 1 0 810519109 50597888 9899 33554432000 134512640 137138936 4291442560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 12353 9899 192 642 0 11709 0
Current children cumulated CPU time (s) 1795.25
Current children cumulated vsize (KiB) 49412

[startup+1796.8 s]
/proc/loadavg: 2.02 2.03 2.00 3/536 18824
/proc/meminfo: memFree=24688648/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=49412 CPUtime=1796.83 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 10003 0 0 0 179497 186 0 0 25 0 1 0 810519109 50597888 9899 33554432000 134512640 137138936 4291442560 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 12353 9899 192 642 0 11709 0
Current children cumulated CPU time (s) 1796.83
Current children cumulated vsize (KiB) 49412

[startup+1797.6 s]
/proc/loadavg: 2.02 2.03 2.00 3/536 18824
/proc/meminfo: memFree=24687904/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=49412 CPUtime=1797.63 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 10003 0 0 0 179577 186 0 0 25 0 1 0 810519109 50597888 9899 33554432000 134512640 137138936 4291442560 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 12353 9899 192 642 0 11709 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (KiB) 49412

[startup+1797.8 s]
/proc/loadavg: 2.02 2.03 2.00 3/536 18824
/proc/meminfo: memFree=24687904/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=49412 CPUtime=1797.83 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 10003 0 0 0 179597 186 0 0 25 0 1 0 810519109 50597888 9899 33554432000 134512640 137138936 4291442560 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 12353 9899 192 642 0 11709 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 49412

[startup+1797.9 s]
/proc/loadavg: 2.02 2.03 2.00 3/536 18824
/proc/meminfo: memFree=24687904/32951124 swapFree=46970528/67111528
[pid=18739] ppid=18737 vsize=49412 CPUtime=1797.93 cores=0,2,4,6
/proc/18739/stat : 18739 (bsolo) R 18737 18739 16282 0 -1 4202496 10003 0 0 0 179607 186 0 0 25 0 1 0 810519109 50597888 9899 33554432000 134512640 137138936 4291442560 18446744073709551615 134542840 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/18739/statm: 12353 9899 192 642 0 11709 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 49412

Child status: 0
Real time (s): 1797.96
CPU time (s): 1798
CPU user time (s): 1796.13
CPU system time (s): 1.86971
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 49412

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

runsolver used 10.0155 second user time and 21.0508 second system time

The end

Launcher Data 

Begin job on node146 at 2011-06-04 11:50:28
IDJOB=3462483
IDBENCH=47899
IDSOLVER=1955
FILE ID=node146/3462483-1307181028
RUNJOBID= node146-1307174151-17475
PBS_JOBID= 13508858
Free space on /tmp= 73780 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=251-P1=257-P2=19-P3=349-P4=257-P5=479-P6=367-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462483-1307181028/watcher-3462483-1307181028 -o /tmp/evaluation-result-3462483-1307181028/solver-3462483-1307181028 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462483-1307181028.opb

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

MD5SUM BENCH= 80881c7fbc3c10cf38784c74294061e5
RANDOM SEED=1680685605

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24973812 kB
Buffers:        168512 kB
Cached:         311668 kB
SwapCached:      60352 kB
Active:         373468 kB
Inactive:      7360688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24973812 kB
SwapTotal:    67111528 kB
SwapFree:     46970528 kB
Dirty:            4004 kB
Writeback:           0 kB
AnonPages:     7204960 kB
Mapped:          16928 kB
Slab:            76784 kB
PageTables:      97612 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 160821356 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73776 MiB
End job on node146 at 2011-06-04 12:20:26