Trace number 3707886

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.2SAT212 1798.01 1798.35

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
MD5SUM008a49e8cb0d34e0becb5a5e15efaa2a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark183
Best CPU time to get the best result obtained on this benchmark1789.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 177
Optimality of the best value was proved NO
Number of variables465
Total number of constraints465
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 constraints465
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 465
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 465
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 465
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.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-3707886-1338145369.opb
0.00/0.00	c File size is 42423 bytes.
0.00/0.00	c Highest Coefficient sum: 465
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.003 s
0.00/0.00	c Var: 465 Constr: 465 1/0/464 Lit: 4195 Watch. Lit: 1483
0.00/0.00	c Obj. Vars: 465 (100 % of total variables)
0.00/0.00	c Pre-processing Time: 0.005 s
0.49/0.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.50	c        0    465      465     4195    9     1886    8372      0      0 0.01
0.49/0.50	c Initial Lower Bound: 136
0.49/0.50	c Initial Path Cost: 0
0.49/0.50	o 222
3.39/3.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.39/3.47	c        0    465      466     4660   10     2364    9372      1      0 0.51
3.39/3.47	o 221
6.98/7.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.98/7.07	c       63    465      577    30891   53     2829    9372    112     18 3.48
6.98/7.07	o 215
83.66/83.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
83.66/83.74	c       63    465      578    31356   54     3193    9372    113      8 7.07
83.66/83.74	c      163    465      867   115519  133     3774   10310    402     15 10.46
83.66/83.74	c      413    465     1601   334316  208     5241   11342   1136     27 14.87
83.66/83.74	c      889    465     2970   711011  239     7943   12477   2505     45 19.56
83.66/83.74	c     1702    465     5204  1248480  239    12420   13725   4739     67 25.23
83.66/83.74	c     3022    465     9034  2230809  246    20058   15098   8569     94 32.12
83.66/83.74	c     5103    465    14249  3450396  242    30505   16608  13784    123 41.19
83.66/83.74	c     8326    465    14703  3615910  245    30924   18269  14238    153 54.28
83.66/83.74	c    13262    465     9911  2496951  251    21329   20096   9446    181 73.18
83.66/83.74	o 214
1653.37/1653.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1653.37/1653.71	c    15981    465    16788  4235800  252    35315    9372  16323    190 83.71
1653.37/1653.71	c    16082    465     5428  1262435  232    12377   10310   4963    183 87.52
1653.37/1653.71	c    16332    465     6005  1400249  233    13480   11342   5540    178 91.49
1653.37/1653.71	c    16807    465     7336  1755709  239    16185   12477   6871    174 96.20
1653.37/1653.71	c    17621    465     9679  2356365  243    20854   13725   9214    172 102.19
1653.37/1653.71	c    18941    465    13485  3368156  249    28575   15098  13020    173 109.36
1653.37/1653.71	c    21022    465    11505  2907006  252    24557   16608  11040    176 118.81
1653.37/1653.71	c    24245    465    12130  3194677  263    25786   18269  11665    183 131.80
1653.37/1653.71	c    29182    465    16031  3860053  240    33560   20096  15566    195 149.03
1653.37/1653.71	c    36688    465    16630  4359128  262    34780   22106  16165    208 175.63
1653.37/1653.71	c    48050    465    11519  2648709  229    24568   24317  11054    227 211.40
1653.37/1653.71	c    65194    465    23455  6453075  275    48463   26749  22990    239 272.43
1653.37/1653.71	c    91014    465    19840  4620651  232    41170   29424  19375    255 356.32
1653.37/1653.71	c   129846    465    27782  7181043  258    57037   32367  27317    262 493.76
1653.37/1653.71	c   188201    465    26576  6817230  256    54677   35604  26111    271 693.37
1653.37/1653.71	c   275834    465    20001  5120337  256    41538   39165  19536    271 1014.38
1653.37/1653.71	c   407386    465    26024  6872031  264    53571   43082  25559    272 1492.58
1653.37/1653.71	o 213
1786.74/1787.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1786.74/1787.16	c   457183    465    35637  7946062  222    76286    9372  35172    276 1653.40
1786.74/1787.16	c   457283    465     5443  1103594  202    13343   10310   4978    275 1659.92
1786.74/1787.16	c   457533    465     6114  1287618  210    14638   11342   5649    274 1663.77
1786.74/1787.16	c   458008    465     7522  1649886  219    17511   12477   7057    274 1668.84
1786.74/1787.16	c   458821    465     9804  2281285  232    22070   13725   9339    273 1674.74
1786.74/1787.16	c   460142    465    12331  2863329  232    27117   15098  11866    273 1680.88
1786.74/1787.16	c   462224    465    10468  2684118  256    22476   16608  10003    273 1690.59
1786.74/1787.16	c   465448    465     9992  2525046  252    21759   18269   9527    273 1702.17
1786.74/1787.16	c   470384    465    14733  3853150  261    31240   20096  14268    273 1719.27
1786.74/1787.16	c   477892    465    15354  3662318  238    32269   22106  14889    273 1744.23
1786.74/1787.16	c   489253    465    13379  3602451  269    28280   24317  12914    274 1781.89
1786.74/1787.16	o 212
1797.94/1798.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.94/1798.35	c   489955    465    15149  4035994  266    32052    9372  14684    274 1786.82
1797.94/1798.35	c   490055    465     5445  1363988  250    12364   10310   4980    273 1790.64
1797.94/1798.35	c   490308    465     6203  1581183  254    13940   11342   5738    273 1794.95
1797.94/1798.35	c Resources Exceeded
1797.94/1798.35	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 
1797.94/1798.35	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1798.35	c   42   490308 107813   695825     6203  1581183   5738    272 1798.00
1797.94/1798.35	c Objective: 212
1797.94/1798.35	s SATISFIABLE
1797.94/1798.35	c Total time: 1798 s

Verifier Data 

OK	212

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-3707886-1338145369/watcher-3707886-1338145369 -o /tmp/evaluation-result-3707886-1338145369/solver-3707886-1338145369 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707886-1338145369.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.07 2.02 2.00 3/176 17880
/proc/meminfo: memFree=31781604/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=10924 CPUtime=0 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 280665477 11186176 269 33554432000 134512640 137138936 4288957408 4288950492 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 2731 269 184 642 0 2087 0

[startup+0.0346131 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 17880
/proc/meminfo: memFree=31781604/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=12312 CPUtime=0.03 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 614 0 0 0 3 0 0 0 20 0 1 0 280665477 12607488 549 33554432000 134512640 137138936 4288957408 4288955308 135440672 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 3078 549 278 642 0 2434 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12312

[startup+0.100216 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 17880
/proc/meminfo: memFree=31781604/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=12532 CPUtime=0.09 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 777 0 0 0 9 0 0 0 20 0 1 0 280665477 12832768 635 33554432000 134512640 137138936 4288957408 4288955292 135440877 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 3133 635 278 642 0 2489 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12532

[startup+0.300177 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 17880
/proc/meminfo: memFree=31781604/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=12656 CPUtime=0.29 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 1147 0 0 0 29 0 0 0 20 0 1 0 280665477 12959744 668 33554432000 134512640 137138936 4288957408 4288954496 135436694 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 3164 668 278 642 0 2520 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12656

[startup+0.700177 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 17880
/proc/meminfo: memFree=31781604/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=13296 CPUtime=0.69 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 2333 0 0 0 69 0 0 0 20 0 1 0 280665477 13615104 602 33554432000 134512640 137138936 4288957408 4288955152 135464403 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 3324 602 287 642 0 2680 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13296

[startup+1.50018 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 17881
/proc/meminfo: memFree=31780116/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=13408 CPUtime=1.49 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 7837 0 0 0 147 2 0 0 20 0 1 0 280665477 13729792 705 33554432000 134512640 137138936 4288957408 4288955308 135440895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 3352 705 287 642 0 2708 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13408

[startup+3.10018 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 17881
/proc/meminfo: memFree=31779588/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=11164 CPUtime=3.09 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 19426 0 0 0 305 4 0 0 20 0 1 0 280665477 11431936 461 33554432000 134512640 137138936 4288957408 4288955472 134737615 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 2791 461 287 642 0 2147 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11164

[startup+6.30018 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 17881
/proc/meminfo: memFree=31779092/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=14292 CPUtime=6.29 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 48146 0 0 0 619 10 0 0 20 0 1 0 280665477 14635008 614 33554432000 134512640 137138936 4288957408 4288955096 135445326 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 3573 614 292 642 0 2929 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14292

[startup+12.7002 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 17881
/proc/meminfo: memFree=31778124/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=15772 CPUtime=12.69 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 111564 0 0 0 1250 19 0 0 20 0 1 0 280665477 16150528 944 33554432000 134512640 137138936 4288957408 4288955272 135438383 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 3943 944 292 642 0 3299 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15772

[startup+25.5002 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 17881
/proc/meminfo: memFree=31763384/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=30900 CPUtime=25.48 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 396774 0 0 0 2477 71 0 0 20 0 1 0 280665477 31641600 4970 33554432000 134512640 137138936 4288957408 4288955284 135456378 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 7725 4971 292 642 0 7081 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30900

[startup+51.1002 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 17881
/proc/meminfo: memFree=31721468/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=69656 CPUtime=51.08 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 1151847 0 0 0 4910 198 0 0 20 0 1 0 280665477 71327744 14550 33554432000 134512640 137138936 4288957408 4288955616 134851564 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 17414 14550 292 642 0 16770 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 69656

[startup+102.306 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 17881
/proc/meminfo: memFree=31703428/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=80816 CPUtime=102.25 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 1774441 0 0 0 9868 357 0 0 20 0 1 0 280665477 82755584 17252 33554432000 134512640 137138936 4288957408 4288955256 135440310 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 20204 17252 292 642 0 19560 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 80816

[startup+162.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 17881
/proc/meminfo: memFree=31696852/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=83156 CPUtime=162.24 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 2447026 0 0 0 15676 548 0 0 20 0 1 0 280665477 85151744 18464 33554432000 134512640 137138936 4288957408 4288955296 134750189 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 20789 18464 292 642 0 20145 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 83156

[startup+222.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 17882
/proc/meminfo: memFree=31682892/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=92700 CPUtime=222.23 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 3245219 0 0 0 21446 777 0 0 20 0 1 0 280665477 94924800 20240 33554432000 134512640 137138936 4288957408 4288955208 136506636 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 23175 20240 292 642 0 22531 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 92700

[startup+282.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 17882
/proc/meminfo: memFree=31656944/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=112800 CPUtime=282.2 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 4133882 0 0 0 27200 1020 0 0 20 0 1 0 280665477 115507200 25874 33554432000 134512640 137138936 4288957408 4288956524 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 28200 25874 292 642 0 27556 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 112800

[startup+342.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/177 17882
/proc/meminfo: memFree=31639948/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=115100 CPUtime=342.19 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 4820811 0 0 0 32980 1239 0 0 20 0 1 0 280665477 117862400 25875 33554432000 134512640 137138936 4288957408 4288955208 136506636 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 28775 25875 292 642 0 28131 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 115100

[startup+402.3 s]
/proc/loadavg: 2.08 2.06 2.00 3/177 17882
/proc/meminfo: memFree=31626480/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=126552 CPUtime=402.18 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 5546986 0 0 0 38768 1450 0 0 20 0 1 0 280665477 129589248 29313 33554432000 134512640 137138936 4288957408 4288956336 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 31638 29313 292 642 0 30994 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 126552

[startup+462.3 s]
/proc/loadavg: 2.10 2.06 2.00 3/178 17885
/proc/meminfo: memFree=31625540/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=127424 CPUtime=462.17 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 6225235 0 0 0 44562 1655 0 0 20 0 1 0 280665477 130482176 29531 33554432000 134512640 137138936 4288957408 4288955296 134750927 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 31856 29531 292 642 0 31212 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 127424

[startup+522.3 s]
/proc/loadavg: 2.08 2.06 2.00 3/177 17886
/proc/meminfo: memFree=31624912/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=127432 CPUtime=522.17 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 6859267 0 0 0 50363 1854 0 0 20 0 1 0 280665477 130490368 29533 33554432000 134512640 137138936 4288957408 4288952340 136500388 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 31858 29533 292 642 0 31214 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 127432

[startup+582.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 17886
/proc/meminfo: memFree=31615176/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=128108 CPUtime=582.16 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 7544243 0 0 0 56149 2067 0 0 20 0 1 0 280665477 131182592 29702 33554432000 134512640 137138936 4288957408 4288956524 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17880/statm: 32027 29702 292 642 0 31383 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 128108

[startup+642.3 s]

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

/proc/meminfo: memFree=31580780/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=151604 CPUtime=1062.06 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 12903006 0 0 0 102547 3659 0 0 20 0 1 0 280665477 155242496 35576 33554432000 134512640 137138936 4288957408 4288955392 135783810 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 37901 35576 292 642 0 37257 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 151604

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 17891
/proc/meminfo: memFree=31578116/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=156592 CPUtime=1122.06 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 13601702 0 0 0 108349 3857 0 0 20 0 1 0 280665477 160350208 36225 33554432000 134512640 137138936 4288957408 4288955096 135445326 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 39148 36225 292 642 0 38504 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 156592

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17891
/proc/meminfo: memFree=31578116/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=156548 CPUtime=1182.04 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 14308597 0 0 0 114136 4068 0 0 20 0 1 0 280665477 160305152 36222 33554432000 134512640 137138936 4288957408 4288955328 134848311 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 39137 36222 292 642 0 38493 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 156548

[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 17891
/proc/meminfo: memFree=31578240/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=156580 CPUtime=1242.04 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 15028662 0 0 0 119919 4285 0 0 20 0 1 0 280665477 160337920 36221 33554432000 134512640 137138936 4288957408 4288955344 135251220 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 38537 36212 292 642 0 37893 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 156580

[startup+1302.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 17891
/proc/meminfo: memFree=31564972/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=156516 CPUtime=1302.03 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 15722622 0 0 0 125713 4490 0 0 20 0 1 0 280665477 160272384 36214 33554432000 134512640 137138936 4288957408 4288955480 136506636 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 39129 36214 292 642 0 38485 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 156516

[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 17891
/proc/meminfo: memFree=31550092/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=154108 CPUtime=1362.01 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 16401209 0 0 0 131499 4702 0 0 20 0 1 0 280665477 157806592 36202 33554432000 134512640 137138936 4288957408 4288956016 134552486 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 38527 36202 292 642 0 37883 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 154108

[startup+1422.31 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 17892
/proc/meminfo: memFree=31550128/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=154108 CPUtime=1422.01 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 17076067 0 0 0 137292 4909 0 0 20 0 1 0 280665477 157806592 36202 33554432000 134512640 137138936 4288957408 4288955312 135568637 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 38527 36202 292 642 0 37883 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 154108

[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 17892
/proc/meminfo: memFree=31545912/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=160904 CPUtime=1482 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 17792516 0 0 0 143076 5124 0 0 20 0 1 0 280665477 164765696 37307 33554432000 134512640 137138936 4288957408 4288955236 134730576 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 40226 37307 292 642 0 39582 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 160904

[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 17892
/proc/meminfo: memFree=31541628/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=165240 CPUtime=1541.99 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 18509920 0 0 0 148860 5339 0 0 20 0 1 0 280665477 169205760 38411 33554432000 134512640 137138936 4288957408 4288955488 135251204 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 41310 38411 292 642 0 40666 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 165240

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 17930
/proc/meminfo: memFree=31558720/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=162908 CPUtime=1601.98 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 19126992 0 0 0 154674 5524 0 0 20 0 1 0 280665477 166817792 38402 33554432000 134512640 137138936 4288957408 4288955828 136501684 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 40727 38402 292 642 0 40083 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 162908

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 17933
/proc/meminfo: memFree=31469184/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=164884 CPUtime=1661.97 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 19687141 0 0 0 160512 5685 0 0 20 0 1 0 280665477 168841216 38407 33554432000 134512640 137138936 4288957408 4288954768 135434221 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 41221 38408 292 642 0 40577 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 164884

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17934
/proc/meminfo: memFree=31415660/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=163144 CPUtime=1721.96 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 19881502 0 0 0 166447 5749 0 0 20 0 1 0 280665477 167059456 38357 33554432000 134512640 137138936 4288957408 4288955084 135440689 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17880/statm: 40786 38357 292 642 0 40142 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 163144

[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 17934
/proc/meminfo: memFree=31378736/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=163144 CPUtime=1781.95 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 19881502 0 0 0 172442 5753 0 0 20 0 1 0 280665477 167059456 38357 33554432000 134512640 137138936 4288957408 4288955256 135466266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 40786 38357 292 642 0 40142 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 163144

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

[startup+1791.91 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 17934
/proc/meminfo: memFree=31372768/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=163144 CPUtime=1791.55 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 19881502 0 0 0 173402 5753 0 0 20 0 1 0 280665477 167059456 38357 33554432000 134512640 137138936 4288957408 4288955360 135071643 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 40786 38357 292 642 0 40142 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 163144

[startup+1795.1 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 17934
/proc/meminfo: memFree=31371032/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=163144 CPUtime=1794.74 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 19881502 0 0 0 173721 5753 0 0 20 0 1 0 280665477 167059456 38357 33554432000 134512640 137138936 4288957408 4288956524 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 40786 38357 292 642 0 40142 0
Current children cumulated CPU time (s) 1794.74
Current children cumulated vsize (KiB) 163144

[startup+1796.7 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 17934
/proc/meminfo: memFree=31370536/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=163144 CPUtime=1796.34 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 19881502 0 0 0 173881 5753 0 0 20 0 1 0 280665477 167059456 38357 33554432000 134512640 137138936 4288957408 4288954496 135437344 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 40786 38357 292 642 0 40142 0
Current children cumulated CPU time (s) 1796.34
Current children cumulated vsize (KiB) 163144

[startup+1797.5 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 17934
/proc/meminfo: memFree=31370040/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=163144 CPUtime=1797.14 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 19881502 0 0 0 173961 5753 0 0 20 0 1 0 280665477 167059456 38357 33554432000 134512640 137138936 4288957408 4288954768 135433549 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 40786 38357 292 642 0 40142 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 163144

[startup+1797.9 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 17934
/proc/meminfo: memFree=31370040/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=163144 CPUtime=1797.54 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 19881502 0 0 0 174001 5753 0 0 20 0 1 0 280665477 167059456 38357 33554432000 134512640 137138936 4288957408 4288955120 134768855 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 40786 38357 292 642 0 40142 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 163144

[startup+1798.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 17934
/proc/meminfo: memFree=31370040/32873844 swapFree=7372/7372
[pid=17880] ppid=17878 vsize=163144 CPUtime=1797.94 cores=0,2,4,6
/proc/17880/stat : 17880 (bsolo) R 17878 17880 15469 0 -1 4202496 19881502 0 0 0 174041 5753 0 0 20 0 1 0 280665477 167059456 38357 33554432000 134512640 137138936 4288957408 4288955456 135344409 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17880/statm: 40786 38357 292 642 0 40142 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 163144

Child status: 0
Real time (s): 1798.35
CPU time (s): 1798.01
CPU user time (s): 1740.47
CPU system time (s): 57.5403
CPU usage (%): 99.9807
Max. virtual memory (cumulated for all children) (KiB): 165888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1740.47
system time used= 57.5403
maximum resident set size= 154496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19881502
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= 86
involuntary context switches= 2860

runsolver used 2.6166 second user time and 7.19991 second system time

The end

Launcher Data 

Begin job on node109 at 2012-05-27 21:02:49
IDJOB=3707886
IDBENCH=1960
IDSOLVER=2286
FILE ID=node109/3707886-1338145369
RUNJOBID= node109-1338140213-16698
PBS_JOBID= 14624511
Free space on /tmp= 71300 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707886-1338145369/watcher-3707886-1338145369 -o /tmp/evaluation-result-3707886-1338145369/solver-3707886-1338145369 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3707886-1338145369.opb

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

MD5SUM BENCH= 008a49e8cb0d34e0becb5a5e15efaa2a
RANDOM SEED=406658276

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31782224 kB
Buffers:           81044 kB
Cached:           145156 kB
SwapCached:          592 kB
Active:           235232 kB
Inactive:          90456 kB
Active(anon):      94204 kB
Inactive(anon):     7668 kB
Active(file):     141028 kB
Inactive(file):    82788 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67106288 kB
Dirty:              3880 kB
Writeback:             0 kB
AnonPages:        106356 kB
Mapped:            11472 kB
Shmem:                 8 kB
Slab:             625352 kB
SReclaimable:      67852 kB
SUnreclaim:       557500 kB
KernelStack:        1448 kB
PageTables:         4076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     222316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 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= 71280 MiB
End job on node109 at 2012-05-27 21:32:47