Trace number 3708481

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.2SAT-28 1798 1798.3

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_25_1.opb
MD5SUM2cdec46d3e8e924c4987d217b8438ed8
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-31
Best CPU time to get the best result obtained on this benchmark1796.94
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -31
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
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 constraints200
Minimum length of a constraint25
Maximum length of a constraint43
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6204
Sum of products size (including duplicates)12408
Number of different products3102
Sum of products size6204

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-3708481-1338176655.opb
0.00/0.00	c File size is 76083 bytes.
0.00/0.01	c Highest Coefficient sum: 200
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.013 s
0.00/0.02	c Var: 6404 Constr: 12808 6404/200/6204 Lit: 49632 Watch. Lit: 37224
0.00/0.02	c Obj. Vars: 200 (3.12305 % of total variables)
0.03/0.06	c Pre-processing Time: 0.061 s
0.03/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.06	c        0    200     3102     9306    3     6204    1033      0      0 0.06
0.03/0.06	c Switching off lower bounding mode.
0.03/0.06	o -24
0.03/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.06	c        0    200     3103     9506    3     6230    2033      1      0 0.06
0.03/0.06	o -25
0.08/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.10	c        9    200     3113    11264    3     6275    2033     11    142 0.06
0.08/0.10	c      110    200     3214    28573    8     6477    2237    112   1279 0.09
0.08/0.10	o -26
431.70/431.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
431.70/431.83	c      180    200     3286    40935   12     6647    2033    184   1782 0.10
431.70/431.83	c      280    200     3386    58001   17     6847    2237    284   2258 0.12
431.70/431.83	c      531    200     3637   100646   27     7349    2461    535   2933 0.18
431.70/431.83	c     1007    200     4114   181604   44     8303    2708   1012   3379 0.30
431.70/431.83	c     1822    200     4929   320250   64     9933    2979   1827   3544 0.51
431.70/431.83	c     3142    200     6255   545730   87    12585    3277   3153   3566 0.88
431.70/431.83	c     5223    200     8342   901208  108    16759    3605   5240   3324 1.57
431.70/431.83	c     8446    200    11571  1449998  125    23217    3966   8469   3009 2.81
431.70/431.83	c    13382    200     8148   867478  106    16322    4363   5046   2639 5.07
431.70/431.83	c    20889    200     7113   689509   96    14252    4800   4011   2536 8.24
431.70/431.83	c    32250    200     9734  1130609  116    19541    5281   6632   2326 13.86
431.70/431.83	c    49395    200     8915   988588  110    17880    5810   5813   2176 22.69
431.70/431.83	c    75215    200     6953   663001   95    13932    6392   3851   2028 37.08
431.70/431.83	c   114047    200     7662   777837  101    15374    7032   4560   1798 63.40
431.70/431.83	c   172399    200     6860   642295   93    13768    7736   3758   1636 105.33
431.70/431.83	c   260031    200    12762  1641045  128    25595    8510   9660   1500 173.31
431.70/431.83	c   391583    200    17263  2389777  138    34616    9362  14161   1425 274.70
431.70/431.83	c   589015    200    16251  2227185  137    32552   10299  13149   1372 429.29
431.70/431.83	o -27
1024.62/1024.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1024.62/1024.83	c   593648    200     9383  1075071  114    18819    2033   6281   1374 431.75
1024.62/1024.83	c   593748    200     9483  1092019  115    19019    2237   6381   1375 431.77
1024.62/1024.83	c   593999    200     9734  1134437  116    19521    2461   6632   1375 431.85
1024.62/1024.83	c   594474    200    10209  1214785  118    20471    2708   7107   1376 432.00
1024.62/1024.83	c   595287    200    11024  1352510  122    22101    2979   7922   1377 432.30
1024.62/1024.83	c   596607    200     4593   260719   56     9238    3277   1491   1378 432.83
1024.62/1024.83	c   598689    200     6675   610762   91    13402    3605   3573   1381 433.42
1024.62/1024.83	c   601913    200     9904  1155278  116    19885    3966   6802   1385 434.43
1024.62/1024.83	c   606850    200     6501   582325   89    13029    4363   3399   1390 436.45
1024.62/1024.83	c   614357    200     5476   409501   74    10979    4800   2374   1398 439.32
1024.62/1024.83	c   625719    200     8120   848511  104    16312    5281   5018   1400 446.64
1024.62/1024.83	c   642863    200     7269   709152   97    14587    5810   4167   1414 454.33
1024.62/1024.83	c   668682    200    14596  1914579  131    29322    6392  11494   1424 469.29
1024.62/1024.83	c   707514    200    15271  2047280  134    30687    7032  12169   1432 494.02
1024.62/1024.83	c   765866    200    14424  1915843  132    28875    7736  11322   1453 526.99
1024.62/1024.83	c   853499    200    10094  1186305  117    20240    8510   6992   1481 576.13
1024.62/1024.83	c   985051    200    14518  1935367  133    29088    9362  11416   1472 668.95
1024.62/1024.83	c  1182483    200    13542  1758641  129    27152   10299  10440   1472 802.98
1024.62/1024.83	c  1478735    200    11155  1360044  121    22361   11329   8053   1459 1013.23
1024.62/1024.83	o -28
1797.89/1798.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.89/1798.29	c  1496904    200    17344  2411701  139    34789    2033  14242   1460 1024.65
1797.89/1798.29	c  1497004    200     4220   195981   46     8468    2237   1118   1460 1024.88
1797.89/1798.29	c  1497254    200     4470   238066   53     8968    2461   1368   1460 1024.93
1797.89/1798.29	c  1497729    200     4946   317912   64     9920    2708   1844   1461 1025.05
1797.89/1798.29	c  1498542    200     5759   454198   78    11546    2979   2657   1461 1025.24
1797.89/1798.29	c  1499863    200     7085   675522   95    14224    3277   3983   1462 1025.63
1797.89/1798.29	c  1501944    200     9168  1024273  111    18390    3605   6066   1463 1026.37
1797.89/1798.29	c  1505168    200    12400  1564977  126    24879    3966   9298   1464 1027.52
1797.89/1798.29	c  1510104    200     8983   995431  110    17994    4363   5881   1467 1029.36
1797.89/1798.29	c  1517611    200     7949   823886  103    15926    4800   4847   1470 1031.98
1797.89/1798.29	c  1528972    200    10559  1258261  119    21146    5281   7457   1474 1036.66
1797.89/1798.29	c  1546117    200     9719  1106093  113    19515    5810   6617   1477 1046.78
1797.89/1798.29	c  1571937    200     7738   786225  101    15504    6392   4636   1484 1058.99
1797.89/1798.29	c  1610769    200     8423   901328  107    16874    7032   5321   1490 1080.86
1797.89/1798.29	c  1669122    200     7583   756922   99    15194    7736   4481   1495 1116.12
1797.89/1798.29	c  1756754    200    13529  1757597  129    27086    8510  10427   1511 1162.08
1797.89/1798.29	c  1888306    200     7358   720743   97    14744    9362   4256   1520 1242.13
1797.89/1798.29	c  2085738    200    17444  2411668  138    34916   10299  14342   1520 1372.02
1797.89/1798.29	c  2381991    200    14817  1971298  133    29662   11329  11715   1519 1567.95
1797.89/1798.29	c Resources Exceeded
1797.89/1798.29	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 
1797.89/1798.29	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.89/1798.29	c   59  2677617 138656  2837595    10458  1236878   7356   1489 1798.00
1797.89/1798.29	c Objective: -28
1797.89/1798.29	s SATISFIABLE
1797.89/1798.29	c Total time: 1798 s

Verifier Data 

OK	-28

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-3708481-1338176655/watcher-3708481-1338176655 -o /tmp/evaluation-result-3708481-1338176655/solver-3708481-1338176655 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708481-1338176655.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 25986
/proc/meminfo: memFree=26541544/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=11288 CPUtime=0 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 384 0 0 0 0 0 0 0 20 0 1 0 283794066 11558912 337 33554432000 134512640 137138936 4289994176 4289992328 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 2822 338 176 642 0 2159 0

[startup+0.0349711 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25986
/proc/meminfo: memFree=26541544/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=14188 CPUtime=0.03 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 1146 0 0 0 3 0 0 0 20 0 1 0 283794066 14528512 1080 33554432000 134512640 137138936 4289994176 4289916028 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 3547 1080 185 642 0 2903 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14188

[startup+0.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25986
/proc/meminfo: memFree=26541544/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=14196 CPUtime=0.08 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 1204 0 0 0 8 0 0 0 20 0 1 0 283794066 14536704 1119 33554432000 134512640 137138936 4289994176 4289993292 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 3549 1119 192 642 0 2905 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14196

[startup+0.300226 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25986
/proc/meminfo: memFree=26541544/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=15792 CPUtime=0.28 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 1599 0 0 0 28 0 0 0 20 0 1 0 283794066 16171008 1514 33554432000 134512640 137138936 4289994176 4289993292 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 3948 1514 192 642 0 3304 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15792

[startup+0.700223 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25986
/proc/meminfo: memFree=26541544/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=18848 CPUtime=0.69 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 2352 0 0 0 68 1 0 0 20 0 1 0 283794066 19300352 2267 33554432000 134512640 137138936 4289994176 4289992456 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 4712 2267 192 642 0 4068 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18848

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25987
/proc/meminfo: memFree=26531120/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=23960 CPUtime=1.49 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 3641 0 0 0 147 2 0 0 20 0 1 0 283794066 24535040 3556 33554432000 134512640 137138936 4289994176 4289992456 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 5990 3556 192 642 0 5346 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23960

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25987
/proc/meminfo: memFree=26523796/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=33156 CPUtime=3.09 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 5930 0 0 0 306 3 0 0 20 0 1 0 283794066 33951744 5845 33554432000 134512640 137138936 4289994176 4289993292 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 8289 5845 192 642 0 7645 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33156

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25987
/proc/meminfo: memFree=26515744/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=35804 CPUtime=6.29 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 6595 0 0 0 625 4 0 0 20 0 1 0 283794066 36663296 6510 33554432000 134512640 137138936 4289994176 4289993292 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 8951 6510 192 642 0 8307 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35804

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25987
/proc/meminfo: memFree=26513768/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=37672 CPUtime=12.68 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 7054 0 0 0 1264 4 0 0 20 0 1 0 283794066 38576128 6969 33554432000 134512640 137138936 4289994176 4289993104 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 9418 6969 192 642 0 8774 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 37672

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25987
/proc/meminfo: memFree=26513148/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=38572 CPUtime=25.48 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 7287 0 0 0 2542 6 0 0 20 0 1 0 283794066 39497728 7202 33554432000 134512640 137138936 4289994176 4289993292 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 9643 7202 192 642 0 8999 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38572

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25987
/proc/meminfo: memFree=26510544/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=41212 CPUtime=51.08 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 7949 0 0 0 5099 9 0 0 20 0 1 0 283794066 42201088 7864 33554432000 134512640 137138936 4289994176 4289993292 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 10303 7864 192 642 0 9659 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 41212

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25987
/proc/meminfo: memFree=26508932/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=42556 CPUtime=102.28 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 8277 0 0 0 10212 16 0 0 20 0 1 0 283794066 43577344 8190 33554432000 134512640 137138936 4289994176 4289993292 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 10639 8190 192 642 0 9995 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 42556

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25987
/proc/meminfo: memFree=26484512/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=44264 CPUtime=162.27 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 8734 0 0 0 16204 23 0 0 20 0 1 0 283794066 45326336 8636 33554432000 134512640 137138936 4289994176 4289993104 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 11066 8636 192 642 0 10422 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 44264

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25988
/proc/meminfo: memFree=26482768/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=45884 CPUtime=222.25 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 9168 0 0 0 22197 28 0 0 20 0 1 0 283794066 46985216 9041 33554432000 134512640 137138936 4289994176 4289993292 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 11471 9041 192 642 0 10827 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 45884

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25988
/proc/meminfo: memFree=26481404/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=47720 CPUtime=282.25 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 9618 0 0 0 28189 36 0 0 20 0 1 0 283794066 48865280 9491 33554432000 134512640 137138936 4289994176 4289993292 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 11930 9491 192 642 0 11286 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 47720

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25988
/proc/meminfo: memFree=26523316/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=47920 CPUtime=342.24 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 9670 0 0 0 34182 42 0 0 20 0 1 0 283794066 49070080 9543 33554432000 134512640 137138936 4289994176 4289993292 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 11980 9543 192 642 0 11336 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 47920

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25991
/proc/meminfo: memFree=26522840/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=48016 CPUtime=402.2 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 9713 0 0 0 40173 47 0 0 20 0 1 0 283794066 49168384 9576 33554432000 134512640 137138936 4289994176 4289993028 136511183 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 12004 9576 192 642 0 11360 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 48016

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25991
/proc/meminfo: memFree=26452540/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=49900 CPUtime=462.2 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 10194 0 0 0 46164 56 0 0 20 0 1 0 283794066 51097600 10056 33554432000 134512640 137138936 4289994176 4289993292 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 12475 10056 192 642 0 11831 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 49900

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25992
/proc/meminfo: memFree=26452416/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=49772 CPUtime=522.19 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 10194 0 0 0 52156 63 0 0 20 0 1 0 283794066 50966528 10024 33554432000 134512640 137138936 4289994176 4289993216 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 12443 10024 192 642 0 11799 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 49772

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25992
/proc/meminfo: memFree=26452540/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=49572 CPUtime=582.18 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 10194 0 0 0 58148 70 0 0 20 0 1 0 283794066 50761728 9974 33554432000 134512640 137138936 4289994176 4289993292 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 12393 9974 192 642 0 11749 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 49572

[startup+642.3 s]

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

/proc/meminfo: memFree=26422844/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=51596 CPUtime=1122.1 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 10959 0 0 0 112079 131 0 0 20 0 1 0 283794066 52834304 10480 33554432000 134512640 137138936 4289994176 4289993292 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 12899 10480 192 642 0 12255 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 51596

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26020
/proc/meminfo: memFree=26488888/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=51272 CPUtime=1182.09 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 10959 0 0 0 118071 138 0 0 20 0 1 0 283794066 52502528 10399 33554432000 134512640 137138936 4289994176 4289993072 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 12818 10399 192 642 0 12174 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 51272

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26020
/proc/meminfo: memFree=26488764/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=51128 CPUtime=1242.08 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 10959 0 0 0 124061 147 0 0 20 0 1 0 283794066 52355072 10363 33554432000 134512640 137138936 4289994176 4289992928 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 12782 10363 192 642 0 12138 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 51128

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26020
/proc/meminfo: memFree=26469604/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=51044 CPUtime=1302.07 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 10960 0 0 0 130053 154 0 0 20 0 1 0 283794066 52269056 10342 33554432000 134512640 137138936 4289994176 4289993292 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 12761 10342 192 642 0 12117 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 51044

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26020
/proc/meminfo: memFree=26428188/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=50892 CPUtime=1362.06 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 10960 0 0 0 136046 160 0 0 20 0 1 0 283794066 52113408 10304 33554432000 134512640 137138936 4289994176 4289993292 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 12723 10304 192 642 0 12079 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 50892

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26059
/proc/meminfo: memFree=27053560/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=50676 CPUtime=1422.06 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 10960 0 0 0 142040 166 0 0 20 0 1 0 283794066 51892224 10250 33554432000 134512640 137138936 4289994176 4289993104 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 12669 10250 192 642 0 12025 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 50676

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 26059
/proc/meminfo: memFree=27044016/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=50448 CPUtime=1482.05 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 10960 0 0 0 148030 175 0 0 20 0 1 0 283794066 51658752 10193 33554432000 134512640 137138936 4289994176 4289993292 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 12612 10193 192 642 0 11968 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 50448

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26059
/proc/meminfo: memFree=27041660/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=50344 CPUtime=1542.03 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 10960 0 0 0 154021 182 0 0 20 0 1 0 283794066 51552256 10167 33554432000 134512640 137138936 4289994176 4289993104 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 12586 10167 192 642 0 11942 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 50344

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26062
/proc/meminfo: memFree=27036312/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=52012 CPUtime=1602.03 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 11412 0 0 0 160014 189 0 0 20 0 1 0 283794066 53260288 10576 33554432000 134512640 137138936 4289994176 4289993104 134542495 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 13003 10576 192 642 0 12359 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 52012

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26062
/proc/meminfo: memFree=27036752/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=52000 CPUtime=1662.01 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 11419 0 0 0 166006 195 0 0 20 0 1 0 283794066 53248000 10581 33554432000 134512640 137138936 4289994176 4289993292 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 13000 10581 192 642 0 12356 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 52000

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26063
/proc/meminfo: memFree=27032348/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=52040 CPUtime=1722.01 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 11443 0 0 0 172000 201 0 0 20 0 1 0 283794066 53288960 10580 33554432000 134512640 137138936 4289994176 4289993104 134542761 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 13010 10580 192 642 0 12366 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 52040

[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 26063
/proc/meminfo: memFree=27031908/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=52004 CPUtime=1782 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 11443 0 0 0 177993 207 0 0 20 0 1 0 283794066 53252096 10580 33554432000 134512640 137138936 4289994176 4289993292 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 13001 10580 192 642 0 12357 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 52004

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

[startup+1791.91 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 26063
/proc/meminfo: memFree=27032032/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=52004 CPUtime=1791.6 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 11443 0 0 0 178952 208 0 0 20 0 1 0 283794066 53252096 10580 33554432000 134512640 137138936 4289994176 4289993104 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 13001 10580 192 642 0 12357 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 52004

[startup+1795.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 26063
/proc/meminfo: memFree=27032404/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=52004 CPUtime=1794.81 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 11443 0 0 0 179272 209 0 0 20 0 1 0 283794066 53252096 10580 33554432000 134512640 137138936 4289994176 4289993292 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 13001 10580 192 642 0 12357 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 52004

[startup+1796.7 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 26063
/proc/meminfo: memFree=27032404/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=52004 CPUtime=1796.4 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 11443 0 0 0 179431 209 0 0 20 0 1 0 283794066 53252096 10580 33554432000 134512640 137138936 4289994176 4289993292 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 13001 10580 192 642 0 12357 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 52004

[startup+1797.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 26063
/proc/meminfo: memFree=27032404/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=52004 CPUtime=1797.19 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 11443 0 0 0 179510 209 0 0 20 0 1 0 283794066 53252096 10580 33554432000 134512640 137138936 4289994176 4289993216 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 13001 10580 192 642 0 12357 0
Current children cumulated CPU time (s) 1797.19
Current children cumulated vsize (KiB) 52004

[startup+1797.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 26063
/proc/meminfo: memFree=27032404/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=52004 CPUtime=1797.59 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 11443 0 0 0 179550 209 0 0 20 0 1 0 283794066 53252096 10580 33554432000 134512640 137138936 4289994176 4289993292 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 13001 10580 192 642 0 12357 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (KiB) 52004

[startup+1798.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 26063
/proc/meminfo: memFree=27032404/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=52004 CPUtime=1797.79 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 11443 0 0 0 179570 209 0 0 20 0 1 0 283794066 53252096 10580 33554432000 134512640 137138936 4289994176 4289993104 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 13001 10580 192 642 0 12357 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 52004

[startup+1798.2 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 26063
/proc/meminfo: memFree=27032404/32873844 swapFree=6088/6088
[pid=25986] ppid=25984 vsize=52004 CPUtime=1797.89 cores=1,3,5,7
/proc/25986/stat : 25986 (bsolo) R 25984 25986 24287 0 -1 4202496 11443 0 0 0 179580 209 0 0 20 0 1 0 283794066 53252096 10580 33554432000 134512640 137138936 4289994176 4289990640 134603223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/25986/statm: 13001 10580 192 642 0 12357 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 52004

Child status: 0
Real time (s): 1798.3
CPU time (s): 1798
CPU user time (s): 1795.91
CPU system time (s): 2.09568
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 52176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.91
system time used= 2.09568
maximum resident set size= 42444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11444
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= 23
involuntary context switches= 1852

runsolver used 3.2675 second user time and 7.2479 second system time

The end

Launcher Data 

Begin job on node108 at 2012-05-28 05:44:15
IDJOB=3708481
IDBENCH=48207
IDSOLVER=2286
FILE ID=node108/3708481-1338176655
RUNJOBID= node108-1338158223-24304
PBS_JOBID= 14624538
Free space on /tmp= 71724 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_1.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708481-1338176655/watcher-3708481-1338176655 -o /tmp/evaluation-result-3708481-1338176655/solver-3708481-1338176655 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708481-1338176655.opb

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

MD5SUM BENCH= 2cdec46d3e8e924c4987d217b8438ed8
RANDOM SEED=1666713207

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
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:        26541808 kB
Buffers:          321544 kB
Cached:          4581152 kB
SwapCached:            0 kB
Active:          1282084 kB
Inactive:        4254556 kB
Active(anon):     633380 kB
Inactive(anon):        0 kB
Active(file):     648704 kB
Inactive(file):  4254556 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3904 kB
Writeback:             0 kB
AnonPages:        644660 kB
Mapped:            15060 kB
Shmem:               200 kB
Slab:             656324 kB
SReclaimable:      98536 kB
SUnreclaim:       557788 kB
KernelStack:        1480 kB
PageTables:         5408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     748360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    602112 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= 71720 MiB
End job on node108 at 2012-05-28 06:14:13