Trace number 3731451

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
PB09: bsolo 3.1SAT215 1798 1798.34

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
MD5SUM85de1910ead9431952046fc8a55b274b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark189
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 185
Optimality of the best value was proved NO
Number of variables478
Total number of constraints478
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 constraints478
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 478
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 478
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 478
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.1 - 13/04/2009 : 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 Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3731451-1338692627.opb
0.00/0.00	c File size is 43685 bytes.
0.00/0.00	c Highest Coefficient sum: 478
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 478 Constr: 478 0/0/478 Lit: 4304 Watch. Lit: 1544
0.00/0.00	c Obj. Vars: 478 (100 % of total variables)
0.00/0.00	c Pre-processing Time: 0.004 s
0.29/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.35	c        0    478      478     4304    9     1971    8608      0      0 0.00
0.29/0.35	c Initial Lower Bound: 142
0.29/0.35	c Initial Path Cost: 0
0.29/0.35	o 233
3.69/3.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.76	c        0    478      479     4782    9     2433    9608      1      0 0.35
3.69/3.76	o 232
7.49/7.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.49/7.54	c        4    478      484     6207   12     2693    9608      6      1 3.76
7.49/7.54	o 224
30.59/30.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.59/30.64	c        4    478      485     6685   13     3008    9608      7      0 7.54
30.59/30.64	c      105    478      755    79376  105     3592   10569    277      9 11.29
30.59/30.64	c      355    478     1073   155558  144     4173   11626    595     22 15.71
30.59/30.64	c      830    478     2350   521038  221     6730   12789   1872     39 20.81
30.59/30.64	c     1644    478     4491  1054269  234    11014   14068   4013     60 27.35
30.59/30.64	o 223
34.29/34.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
34.29/34.35	c     1644    478     4492  1054747  234    11311    9608   4014     53 30.64
34.29/34.35	o 222
87.58/87.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
87.58/87.60	c     1656    478     4528  1063369  234    11622    9608   4050     48 34.34
87.58/87.60	c     1757    478     4772  1135959  238    12153   10569   4294     45 38.37
87.58/87.60	c     2007    478     5431  1318942  242    13458   11626   4953     46 42.71
87.58/87.60	c     2482    478     6649  1619754  243    15861   12789   6171     51 47.94
87.58/87.60	c     3296    478     8863  2209076  249    20249   14068   8385     60 54.05
87.58/87.60	c     4617    478    12518  3168550  253    27586   15475  12040     74 61.56
87.58/87.60	c     6699    478     9497  2338199  246    20520   17023   9019     94 70.64
87.58/87.60	c     9923    478     8991  2158479  240    19522   18726   8513    118 83.58
87.58/87.60	o 221
995.48/995.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
995.48/995.76	c     9925    478     8996  2159885  240    19801    9608   8518    113 87.59
995.48/995.76	c    10025    478     9272  2223668  239    20373   10569   8794    109 91.40
995.48/995.76	c    10275    478     9916  2422294  244    21643   11626   9438    106 96.11
995.48/995.76	c    10750    478    11249  2788777  247    24315   12789  10771    106 101.22
995.48/995.76	c    11563    478     6874  1702098  247    15338   14068   6396    108 107.04
995.48/995.76	c    12884    478     9847  2424018  246    21238   15475   9369    112 114.51
995.48/995.76	c    14965    478    15405  3932493  255    32360   17023  14927    121 123.33
995.48/995.76	c    18189    478    15115  4036973  267    31810   18726  14637    133 135.90
995.48/995.76	c    23126    478    17788  4837511  271    37111   20599  17310    149 154.22
995.48/995.76	c    30632    478    16178  4463311  275    33900   22659  15700    171 178.78
995.48/995.76	c    41994    478    19895  5078641  255    41336   24925  19417    193 217.04
995.48/995.76	c    59139    478    14809  3962030  267    31187   27418  14331    216 273.46
995.48/995.76	c    84959    476    25292  6514210  257    52141   30160  24814    231 367.18
995.48/995.76	c   123792    475    20933  5300064  253    43405   33177  20455    248 498.63
995.48/995.76	c   182144    475    23283  6249730  268    48108   36495  22805    261 697.13
995.48/995.76	c   269776    475    21169  5056751  238    43872   40145  20691    272 990.07
995.48/995.76	o 220
999.78/1000.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
999.78/1000.05	c   270485    475    23164  5535499  238    48065    9608  22686    271 995.55
999.78/1000.05	o 215
1797.95/1798.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1798.33	c   270485    475     5288  1163904  220    12379    9608   4810    270 999.85
1797.95/1798.33	c   270585    475     5559  1231640  221    12953   10569   5081    269 1004.06
1797.95/1798.33	c   270836    475     6222  1413669  227    14229   11626   5744    268 1008.46
1797.95/1798.33	c   271312    475     7469  1764283  236    16806   12789   6991    267 1013.53
1797.95/1798.33	c   272125    475     9632  2385291  247    21102   14068   9154    266 1019.68
1797.95/1798.33	c   273445    475    13253  3442150  259    28348   15475  12775    266 1026.94
1797.95/1798.33	c   275527    475    11050  3011017  272    23652   17023  10572    265 1036.71
1797.95/1798.33	c   278753    475    11516  3196139  277    24572   18726  11038    265 1050.43
1797.95/1798.33	c   283689    475    15516  4183993  269    32603   20599  15038    265 1068.03
1797.95/1798.33	c   291196    475    14440  4022140  278    30429   22659  13962    266 1093.62
1797.95/1798.33	c   302558    475    22698  6403068  282    46945   24925  22220    267 1130.21
1797.95/1798.33	c   319703    475    18028  4614423  255    37597   27418  17550    270 1183.16
1797.95/1798.33	c   345522    475    27889  7811409  280    57352   30160  27411    272 1267.60
1797.95/1798.33	c   384354    475    21952  6145508  279    45444   33177  21474    275 1396.46
1797.95/1798.33	c   442708    475    27564  8114058  294    56727   36495  27086    271 1630.07
1797.95/1798.33	c Resources Exceeded
1797.95/1798.33	v -x1 x2 -x3 x4 x5 -x6 x7 -x8 x9 x10 -x11 -x12 x13 -x14 -x15 -x16 x17 x18 -x19 -x20 -x21 -x22 -x23 x24 x25 x26 -x27 -x28 x29 x30 x31 x32 -x33 x34 x35 -x36 x37 x38 -x39 -x40 x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 x51 x52 x53 x54 x55 x56 x57 -x58 x59 -x60 x61 x62 x63 -x64 -x65 x66 x67 -x68 x69 x70 x71 -x72 -x73 x74 x75 -x76 -x77 x78 x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 x90 -x91 x92 x93 -x94 x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 x103 x104 -x105 x106 -x107 -x108 x109 x110 x111 -x112 -x113 -x114 -x115 x116 x117 x118 x119 x120 x121 -x122 x123 x124 x125 x126 -x127 -x128 -x129 x130 -x131 -x132 x133 -x134 x135 x136 x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 x156 x157 -x158 x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 x167 x168 x169 -x170 x171 x172 x173 x174 -x175 -x176 -x177 -x178 x179 -x180 x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 x190 x191 -x192 -x193 x194 -x195 x196 x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 x205 x206 -x207 -x208 x209 -x210 x211 -x212 x213 x214 -x215 x216 x217 -x218 x219 -x220 x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 x229 -x230 x231 -x232 -x233 x234 -x235 x236 x237 x238 -x239 -x240 x241 x242 -x243 -x244 x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 x259 -x260 -x261 x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 x270 x271 -x272 -x273 -x274 -x275 x276 -x277 x278 -x279 -x280 -x281 x282 -x283 x284 -x285 -x286 -x287 x288 x289 x290 x291 x292 -x293 -x294 x295 -x296 x297 -x298 x299 -x300 -x301 -x302 -x303 x304 x305 x306 -x307 -x308 x309 -x310 -x311 x312 -x313 -x314 x315 x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 x324 x325 x326 -x327 -x328 x329 -x330 x331 x332 x333 -x334 x335 x336 -x337 -x338 x339 -x340 -x341 -x342 x343 x344 -x345 -x346 -x347 x348 -x349 x350 -x351 x352 x353 -x354 x355 -x356 x357 -x358 -x359 x360 -x361 -x362 -x363 x364 -x365 x366 x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 x380 -x381 -x382 x383 x384 x385 x386 -x387 x388 x389 -x390 -x391 x392 -x393 x394 x395 x396 -x397 x398 x399 -x400 x401 x402 x403 -x404 -x405 x406 -x407 -x408 -x409 x410 -x411 x412 x413 x414 -x415 -x416 -x417 x418 -x419 x420 x421 -x422 x423 x424 x425 -x426 -x427 -x428 x429 x430 -x431 x432 -x433 x434 -x435 x436 x437 x438 -x439 x440 x441 x442 -x443 x444 -x445 -x446 -x447 x448 -x449 x450 -x451 x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 x463 -x464 x465 -x466 x467 -x468 -x469 -x470 x471 x472 x473 -x474 -x475 x476 -x477 -x478 
1797.95/1798.33	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1798.33	c   48   494644  96046   691440    19740  5521896  19262    275 1798.00
1797.95/1798.33	c Objective: 215
1797.95/1798.33	s SATISFIABLE
1797.95/1798.33	c Total time: 1798 s

Verifier Data 

OK	215

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-3731451-1338692627/watcher-3731451-1338692627 -o /tmp/evaluation-result-3731451-1338692627/solver-3731451-1338692627 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3731451-1338692627.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.01 2.00 3/176 21343
/proc/meminfo: memFree=28621868/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=10924 CPUtime=0 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 351 0 0 0 0 0 0 0 20 0 1 0 335391221 11186176 293 33554432000 134512640 137136520 4293243392 4293235912 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 2731 294 189 641 0 2087 0

[startup+0.0165409 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 21343
/proc/meminfo: memFree=28621868/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=12096 CPUtime=0.01 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 549 0 0 0 1 0 0 0 20 0 1 0 335391221 12386304 491 33554432000 134512640 137136520 4293243392 4293241080 135443216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 3024 491 281 641 0 2380 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12096

[startup+0.100259 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 21343
/proc/meminfo: memFree=28621868/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=12624 CPUtime=0.09 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 789 0 0 0 9 0 0 0 20 0 1 0 335391221 12926976 649 33554432000 134512640 137136520 4293243392 4293241080 135443216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 3156 649 284 641 0 2512 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12624

[startup+0.300238 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 21343
/proc/meminfo: memFree=28621868/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=13376 CPUtime=0.29 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 1314 0 0 0 29 0 0 0 20 0 1 0 335391221 13697024 794 33554432000 134512640 137136520 4293243392 4293241296 135443846 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 3344 794 284 641 0 2700 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13376

[startup+0.700236 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 21343
/proc/meminfo: memFree=28621868/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=13328 CPUtime=0.69 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 3627 0 0 0 69 0 0 0 20 0 1 0 335391221 13647872 708 33554432000 134512640 137136520 4293243392 4293240424 135364455 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 3332 709 289 641 0 2688 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13328

[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 21344
/proc/meminfo: memFree=28620248/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=13276 CPUtime=1.49 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 6363 0 0 0 149 0 0 0 20 0 1 0 335391221 13594624 645 33554432000 134512640 137136520 4293243392 4293241296 135444687 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 3319 645 289 641 0 2675 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13276

[startup+3.10023 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 21344
/proc/meminfo: memFree=28620248/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=13448 CPUtime=3.09 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 18414 0 0 0 307 2 0 0 20 0 1 0 335391221 13770752 548 33554432000 134512640 137136520 4293243392 4293241080 135443216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 3362 548 289 641 0 2718 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13448

[startup+6.30024 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 21344
/proc/meminfo: memFree=28620008/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=13840 CPUtime=6.28 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 43975 0 0 0 622 6 0 0 20 0 1 0 335391221 14172160 590 33554432000 134512640 137136520 4293243392 4293241080 135442568 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 3460 595 292 641 0 2816 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13840

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 21345
/proc/meminfo: memFree=28618652/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=15244 CPUtime=12.68 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 103037 0 0 0 1253 15 0 0 20 0 1 0 335391221 15609856 1036 33554432000 134512640 137136520 4293243392 4293241080 135442575 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 3811 1036 292 641 0 3167 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15244

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 21345
/proc/meminfo: memFree=28613692/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=20796 CPUtime=25.48 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 292742 0 0 0 2504 44 0 0 20 0 1 0 335391221 21295104 2365 33554432000 134512640 137136520 4293243392 4293241232 134732473 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 5199 2365 296 641 0 4555 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20796

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21345
/proc/meminfo: memFree=28599184/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=35756 CPUtime=51.08 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 679610 0 0 0 5002 106 0 0 20 0 1 0 335391221 36614144 5850 33554432000 134512640 137136520 4293243392 4293241080 135442575 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 8939 5850 296 641 0 8295 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 35756

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21345
/proc/meminfo: memFree=28561440/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=73716 CPUtime=102.26 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 1685216 0 0 0 9941 285 0 0 20 0 1 0 335391221 75485184 15326 33554432000 134512640 137136520 4293243392 4293241276 135438958 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 18429 15326 296 641 0 17785 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 73716

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21345
/proc/meminfo: memFree=28539092/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=95324 CPUtime=162.24 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 2599894 0 0 0 15735 489 0 0 20 0 1 0 335391221 97611776 20910 33554432000 134512640 137136520 4293243392 4293241464 136504572 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 23831 20910 296 641 0 23187 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 95324

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21345
/proc/meminfo: memFree=28535496/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=98524 CPUtime=222.22 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 3415487 0 0 0 21517 705 0 0 20 0 1 0 335391221 100888576 21713 33554432000 134512640 137136520 4293243392 4293241192 136504572 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 24631 21713 296 641 0 23987 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 98524

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21345
/proc/meminfo: memFree=28517308/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=113748 CPUtime=282.2 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 4350149 0 0 0 27287 933 0 0 20 0 1 0 335391221 116477952 26116 33554432000 134512640 137136520 4293243392 4293242508 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 28437 26116 296 641 0 27793 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 113748

[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 21346
/proc/meminfo: memFree=28517224/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=116268 CPUtime=342.19 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 5144755 0 0 0 33075 1144 0 0 20 0 1 0 335391221 119058432 26155 33554432000 134512640 137136520 4293243392 4293241080 135443262 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 28879 26150 296 641 0 28235 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 116268

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 21349
/proc/meminfo: memFree=28500104/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=133416 CPUtime=402.18 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 6043495 0 0 0 38854 1364 0 0 20 0 1 0 335391221 136617984 30432 33554432000 134512640 137136520 4293243392 4293241492 134728568 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 33354 30432 296 641 0 32710 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 133416

[startup+462.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 21349
/proc/meminfo: memFree=28498748/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=134268 CPUtime=462.17 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 6797557 0 0 0 44641 1576 0 0 20 0 1 0 335391221 137490432 30655 33554432000 134512640 137136520 4293243392 4293241464 136504572 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 33567 30655 296 641 0 32923 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 134268

[startup+522.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 21397
/proc/meminfo: memFree=28631392/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=140400 CPUtime=522.16 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 7575252 0 0 0 50432 1784 0 0 20 0 1 0 335391221 143769600 32170 33554432000 134512640 137136520 4293243392 4293241080 135443252 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 35100 32172 296 641 0 34456 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 140400

[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 21397
/proc/meminfo: memFree=28581532/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=146484 CPUtime=582.14 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 8349517 0 0 0 56235 1979 0 0 20 0 1 0 335391221 149999616 34300 33554432000 134512640 137136520 4293243392 4293238464 134600678 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 37005 34303 296 641 0 36361 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 146484

[startup+642.3 s]

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

/proc/meminfo: memFree=28539508/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=155068 CPUtime=1062.07 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 13535625 0 0 0 102713 3494 0 0 20 0 1 0 335391221 158789632 35980 33554432000 134512640 137136520 4293243392 4293241464 136504572 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 38767 35980 296 641 0 38123 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 155068

[startup+1122.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 21402
/proc/meminfo: memFree=28539192/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=154104 CPUtime=1122.06 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 13902392 0 0 0 108578 3628 0 0 20 0 1 0 335391221 157802496 35977 33554432000 134512640 137136520 4293243392 4293241240 134731460 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 38526 35977 296 641 0 37882 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 154104

[startup+1182.3 s]
/proc/loadavg: 2.04 2.06 2.00 3/177 21402
/proc/meminfo: memFree=28540680/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=153792 CPUtime=1182.05 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 14059077 0 0 0 114497 3708 0 0 20 0 1 0 335391221 157483008 35975 33554432000 134512640 137136520 4293243392 4293241288 136505509 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 38448 35975 296 641 0 37804 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 153792

[startup+1242.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 21403
/proc/meminfo: memFree=28540556/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=154108 CPUtime=1242.04 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 14216865 0 0 0 120411 3793 0 0 20 0 1 0 335391221 157806592 35978 33554432000 134512640 137136520 4293243392 4293241240 134731460 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 38527 35978 296 641 0 37883 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 154108

[startup+1302.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/177 21403
/proc/meminfo: memFree=28540556/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=154176 CPUtime=1302.04 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 14372728 0 0 0 126329 3875 0 0 20 0 1 0 335391221 157876224 35993 33554432000 134512640 137136520 4293243392 4293241492 134728587 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 38544 35993 296 641 0 37900 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 154176

[startup+1362.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/177 21403
/proc/meminfo: memFree=28527660/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=154172 CPUtime=1362.03 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 14516914 0 0 0 132244 3959 0 0 20 0 1 0 335391221 157872128 35993 33554432000 134512640 137136520 4293243392 4293241240 134731460 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 38543 35993 296 641 0 37899 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 154172

[startup+1422.31 s]
/proc/loadavg: 2.05 2.07 2.00 3/177 21403
/proc/meminfo: memFree=28523940/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=156728 CPUtime=1422.02 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 14760205 0 0 0 138150 4052 0 0 20 0 1 0 335391221 160489472 36544 33554432000 134512640 137136520 4293243392 4293241288 136504572 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 39302 36546 296 641 0 38658 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 156728

[startup+1482.3 s]
/proc/loadavg: 2.05 2.07 2.00 3/177 21403
/proc/meminfo: memFree=28511216/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=170240 CPUtime=1482.01 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 15550844 0 0 0 143954 4247 0 0 20 0 1 0 335391221 174325760 39608 33554432000 134512640 137136520 4293243392 4293241192 136504572 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 42560 39608 296 641 0 41916 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 170240

[startup+1542.3 s]
/proc/loadavg: 2.05 2.07 2.00 3/177 21404
/proc/meminfo: memFree=28506752/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=169900 CPUtime=1542 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 16234219 0 0 0 149765 4435 0 0 20 0 1 0 335391221 173977600 39606 33554432000 134512640 137136520 4293243392 4293241080 135443262 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 42475 39606 296 641 0 41831 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 169900

[startup+1602.3 s]
/proc/loadavg: 2.05 2.07 2.00 3/178 21407
/proc/meminfo: memFree=28505428/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=169912 CPUtime=1601.99 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 16787723 0 0 0 155602 4597 0 0 20 0 1 0 335391221 173989888 39603 33554432000 134512640 137136520 4293243392 4293241152 135448314 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 42478 39603 296 641 0 41834 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 169912

[startup+1662.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 21407
/proc/meminfo: memFree=28502584/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=167648 CPUtime=1661.97 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 17353512 0 0 0 161431 4766 0 0 20 0 1 0 335391221 171671552 39591 33554432000 134512640 137136520 4293243392 4293242508 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 41912 39591 296 641 0 41268 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 167648

[startup+1722.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 21407
/proc/meminfo: memFree=28484152/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=167648 CPUtime=1721.96 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 17851357 0 0 0 167260 4936 0 0 20 0 1 0 335391221 171671552 39591 33554432000 134512640 137136520 4293243392 4293241420 136698750 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 41912 39591 296 641 0 41268 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 167648

[startup+1782.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 21407
/proc/meminfo: memFree=28482664/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=169336 CPUtime=1781.95 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 18317456 0 0 0 173095 5100 0 0 20 0 1 0 335391221 173400064 39596 33554432000 134512640 137136520 4293243392 4293241192 136504572 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 42334 39596 296 641 0 41690 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 169336

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

[startup+1791.91 s]
/proc/loadavg: 2.11 2.08 2.01 3/177 21407
/proc/meminfo: memFree=28483036/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=167644 CPUtime=1791.56 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 18402676 0 0 0 174025 5131 0 0 20 0 1 0 335391221 171667456 39590 33554432000 134512640 137136520 4293243392 4293241420 136698750 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 41911 39590 296 641 0 41267 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (KiB) 167644

[startup+1795.1 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 21407
/proc/meminfo: memFree=28483036/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=169344 CPUtime=1794.76 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 18429778 0 0 0 174336 5140 0 0 20 0 1 0 335391221 173408256 39596 33554432000 134512640 137136520 4293243392 4293241492 134728587 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 42336 39596 296 641 0 41692 0
Current children cumulated CPU time (s) 1794.76
Current children cumulated vsize (KiB) 169344

[startup+1796.7 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 21407
/proc/meminfo: memFree=28483036/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=167644 CPUtime=1796.35 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 18443554 0 0 0 174490 5145 0 0 20 0 1 0 335391221 171667456 39590 33554432000 134512640 137136520 4293243392 4293242388 134555988 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 41911 39590 296 641 0 41267 0
Current children cumulated CPU time (s) 1796.35
Current children cumulated vsize (KiB) 167644

[startup+1797.5 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 21407
/proc/meminfo: memFree=28483036/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=167644 CPUtime=1797.16 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 18445747 0 0 0 174570 5146 0 0 20 0 1 0 335391221 171667456 39590 33554432000 134512640 137136520 4293243392 4293242508 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 41911 39590 296 641 0 41267 0
Current children cumulated CPU time (s) 1797.16
Current children cumulated vsize (KiB) 167644

[startup+1797.9 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 21407
/proc/meminfo: memFree=28483036/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=167644 CPUtime=1797.55 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 18449037 0 0 0 174608 5147 0 0 20 0 1 0 335391221 171667456 39590 33554432000 134512640 137136520 4293243392 4293242508 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 41911 39590 296 641 0 41267 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 167644

[startup+1798.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/177 21407
/proc/meminfo: memFree=28483036/32873844 swapFree=6872/6872
[pid=21343] ppid=21341 vsize=169192 CPUtime=1797.95 cores=0,2,4,6
/proc/21343/stat : 21343 (bsolo) R 21341 21343 8274 0 -1 4202496 18452210 0 0 0 174647 5148 0 0 20 0 1 0 335391221 173252608 39595 33554432000 134512640 137136520 4293243392 4293241192 136504572 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/21343/statm: 42298 39595 296 641 0 41654 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 169192

Child status: 0
Real time (s): 1798.34
CPU time (s): 1798
CPU user time (s): 1746.51
CPU system time (s): 51.4892
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 170768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1746.51
system time used= 51.4892
maximum resident set size= 159260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18452534
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= 87
involuntary context switches= 1901

runsolver used 2.71159 second user time and 7.10592 second system time

The end

Launcher Data 

Begin job on node106 at 2012-06-03 05:03:47
IDJOB=3731451
IDBENCH=1955
IDSOLVER=2320
FILE ID=node106/3731451-1338692627
RUNJOBID= node106-1338679215-16850
PBS_JOBID= 14636707
Free space on /tmp= 70864 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731451-1338692627/watcher-3731451-1338692627 -o /tmp/evaluation-result-3731451-1338692627/solver-3731451-1338692627 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3731451-1338692627.opb

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

MD5SUM BENCH= 85de1910ead9431952046fc8a55b274b
RANDOM SEED=908224252

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28622124 kB
Buffers:          291480 kB
Cached:          2931808 kB
SwapCached:         2004 kB
Active:          1158520 kB
Inactive:        2245580 kB
Active(anon):     178184 kB
Inactive(anon):     4984 kB
Active(file):     980336 kB
Inactive(file):  2240596 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100580 kB
Dirty:              3896 kB
Writeback:             0 kB
AnonPages:        161228 kB
Mapped:            10124 kB
Shmem:                 0 kB
Slab:             707300 kB
SReclaimable:     149512 kB
SUnreclaim:       557788 kB
KernelStack:        1472 kB
PageTables:         4720 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     311004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    126976 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3731451-1338692627.opb

Free space on /tmp at the end= 70860 MiB
End job on node106 at 2012-06-03 05:33:46