Trace number 1879933

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 pbSAT207 1798.11 1798.69

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c2.opb
MD5SUM10cfce36a090e62566639770833f1068
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark207
Best CPU time to get the best result obtained on this benchmark203.816
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 207
Optimality of the best value was proved YES
Number of variables498
Total number of constraints2431
Number of constraints which are clauses2431
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32
Number of terms in the objective function 498
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 498
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 498
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: Generic Pseudo-Boolean Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1879933-1245160460.opb
0.00/0.00	c File size is 115884 bytes.
0.00/0.01	c Highest Coefficient sum: 498
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.015 s
0.00/0.01	c Var: 498 Constr: 2431 2431/0/0 Lit: 12171 Watch. Lit: 4862
0.00/0.01	c Obj. Vars: 498 (100 % of total variables)
0.00/0.04	c Pre-processing Time: 0.041 s
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c        0    498     2431    12171    5     4862     810      0      0 0.04
0.19/0.27	c Initial Lower Bound: 150
0.19/0.27	c Initial Path Cost: 0
0.19/0.27	o 241
4.30/4.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.30/4.37	c       15    498     2462    14323    5     5181    1810     31     54 0.28
4.30/4.37	o 230
21.68/21.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.68/21.70	c       76    498     2585    25417    9     5695    1810    154     17 4.38
21.68/21.70	c      176    498     2791    41325   14     6107    1992    360     15 11.24
21.68/21.70	o 229
76.96/77.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
76.96/77.08	c      364    498     3169    74185   23     7684    1810    738     16 21.69
76.96/77.08	c      465    498     3371    93019   27     8246    1992    940     16 27.62
76.96/77.08	c      715    498     3871   125137   32     9014    2192   1440     18 39.67
76.96/77.08	c     1190    498     3570    94707   26     7692    2412   1139     18 65.82
76.96/77.08	o 226
78.27/78.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
78.27/78.38	c     1477    498     4145   143831   34     9111    1810   1714     19 77.05
78.27/78.38	o 217
79.86/79.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
79.86/79.98	c     1487    498     4169   149483   35     9557    1810   1738     18 78.36
79.86/79.98	o 216
81.26/81.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
81.26/81.31	c     1494    498     4185   151574   36     9867    1810   1754     18 79.95
81.26/81.31	o 215
88.26/88.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
88.26/88.38	c     1502    498     4203   154786   36    10186    1810   1772     18 81.29
88.26/88.38	c     1602    498     3337    75827   22     6987    1992    906     18 85.42
88.26/88.38	o 214
126.85/126.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
126.85/126.98	c     1655    498     3444    84848   24     7827    1810   1013     18 88.35
126.85/126.98	c     1762    498     3660   108686   29     8861    1992   1229     18 94.71
126.85/126.98	c     2012    498     4249   219887   51    12212    2192   1818     18 106.16
126.85/126.98	c     2487    498     4076   259705   63    13825    2412   1645     20 124.17
126.85/126.98	o 211
355.87/356.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
355.87/356.09	c     2536    498     4184   272047   65    12813    1810   1753     19 126.94
355.87/356.09	c     2636    498     3388   124208   36     7923    1992    957     19 132.17
355.87/356.09	c     2886    498     3908   181934   46     9270    2192   1477     19 146.25
355.87/356.09	c     3361    498     3634   108725   29    10321    2412   1203     19 169.03
355.87/356.09	c     4175    498     3997   221890   55    23131    2654   1566     21 198.08
355.87/356.09	c     5497    498     4066   272770   67    18576    2920   1635     20 271.76
355.87/356.09	c     7578    498     4854   734745  151    11667    3213   2423     24 310.56
355.87/356.09	o 210
501.52/501.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
501.52/501.75	c     9854    498     5281   822163  155    31146    1810   2850     27 355.98
501.52/501.75	c     9958    498     3648   367172  100    14834    1992   1217     27 358.60
501.52/501.75	c    10210    498     4364   541576  124    16237    2192   1933     27 364.87
501.52/501.75	c    10686    498     4260   486071  114    15823    2412   1829     26 400.76
501.52/501.75	c    11502    498     3638   351154   96    30588    2654   1207     26 434.97
501.52/501.75	c    12822    498     3932   332329   84    59372    2920   1501     25 499.20
501.52/501.75	o 209
529.81/530.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
529.81/530.01	c    12876    498     4091   373884   91    53922    1810   1660     25 501.59
529.81/530.01	c    12976    498     3337   196166   58    32437    1992    906     25 507.25
529.81/530.01	c    13227    498     4035   372057   92    39853    2192   1604     25 528.01
529.81/530.01	o 208
720.65/720.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
720.65/720.97	c    13266    498     4147   403749   97    38507    1810   1716     25 529.84
720.65/720.97	c    13366    498     3338   195429   58    32400    1992    907     24 535.31
720.65/720.97	c    13616    498     4028   329177   81    31550    2192   1597     24 547.39
720.65/720.97	c    14091    498     4021   372889   92    37290    2412   1590     23 590.63
720.65/720.97	c    14904    498     4734   457422   96    30527    2654   2303     23 625.43
720.65/720.97	c    16224    498     4776   347137   72    26258    2920   2345     22 709.32
720.65/720.97	o 207
1798.00/1798.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1798.00/1798.68	c    16536    498     3946   218109   55    21815    1810   1515     22 720.73
1798.00/1798.68	c    16636    498     4171   244750   58    23488    1992   1740     22 729.56
1798.00/1798.68	c    16887    498     3661   170805   46    17573    2192   1230     22 745.78
1798.00/1798.68	c    17362    498     3635   175268   48    18659    2412   1204     22 778.20
1798.00/1798.68	c    18175    498     4410   396925   90    20005    2654   1979     22 818.94
1798.00/1798.68	c    19496    498     4435   325207   73    22800    2920   2004     21 890.82
1798.00/1798.68	c    21577    498     4502   365162   81    20824    3213   2071     21 990.44
1798.00/1798.68	c    24800    498     4549   477690  105    57588    3535   2118     21 1160.37
1798.00/1798.68	c    29737    498     5862   661125  112    12173    3889   3431     19 1498.93
1798.00/1798.68	c Resources Exceeded
1798.00/1798.68	v -x1 -x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 -x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 -x43 x44 -x45 -x46 x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 -x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 -x73 x74 x75 -x76 -x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 -x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 -x101 x102 x103 -x104 -x105 -x106 x107 -x108 -x109 -x110 x111 -x112 x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 x125 -x126 x127 -x128 x129 -x130 -x131 -x132 -x133 x134 x135 -x136 -x137 -x138 x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 x187 -x188 x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 x198 x199 -x200 -x201 x202 x203 -x204 -x205 -x206 x207 -x208 x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 x235 -x236 x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 x253 -x254 -x255 -x256 x257 -x258 x259 -x260 -x261 x262 x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 x313 -x314 x315 -x316 x317 -x318 x319 -x320 x321 -x322 x323 -x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 -x334 -x335 x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 -x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 x359 -x360 x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370 x371 -x372 x373 -x374 x375 -x376 x377 -x378 x379 -x380 -x381 x382 x383 -x384 -x385 x386 -x387 x388 x389 -x390 -x391 x392 -x393 x394 x395 -x396 -x397 x398 -x399 x400 x401 -x402 -x403 x404 -x405 x406 x407 -x408 -x409 x410 -x411 x412 x413 -x414 -x415 x416 -x417 x418 x419 -x420 -x421 x422 x423 -x424 -x425 x426 x427 -x428 -x429 x430 -x431 x432 -x433 x434 -x435 x436 x437 -x438 -x439 x440 -x441 x442 x443 -x444 -x445 x446 -x447 x448 x449 -x450 -x451 x452 -x453 x454 x455 -x456 x457 -x458 -x459 x460 -x461 x462 -x463 x464 -x465 x466 x467 -x468 -x469 x470 -x471 x472 x473 -x474 -x475 x476 -x477 x478 x479 -x480 x481 -x482 -x483 x484 -x485 x486 -x487 x488 -x489 x490 x491 -x492 -x493 x494 -x495 x496 x497 -x498 
1798.00/1798.68	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.00/1798.68	c   47    34285   5858    69750     4592   371657   2161     19 1798.10
1798.00/1798.68	c Objective: 207
1798.00/1798.68	s SATISFIABLE
1798.00/1798.68	c Total time: 1798.1 s

Verifier Data 

OK	207

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879933-1245160460/watcher-1879933-1245160460 -o /tmp/evaluation-result-1879933-1245160460/solver-1879933-1245160460 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879933-1245160460.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1377
/proc/meminfo: memFree=1890896/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=10824 CPUtime=0
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 244 0 0 0 0 0 0 0 18 0 1 0 183646371 11083776 228 1992294400 134512640 137136520 4294956256 18446744073709551615 134517302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 2706 229 175 640 0 2033 0

[startup+0.086857 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1377
/proc/meminfo: memFree=1890896/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=11508 CPUtime=0.07
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 1722 0 0 0 7 0 0 0 18 0 1 0 183646371 11784192 504 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 2877 504 225 640 0 2233 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11508

[startup+0.101858 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1377
/proc/meminfo: memFree=1890896/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=11480 CPUtime=0.09
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 2272 0 0 0 9 0 0 0 18 0 1 0 183646371 11755520 497 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 2911 504 225 640 0 2267 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11480

[startup+0.301891 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1377
/proc/meminfo: memFree=1890896/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=15340 CPUtime=0.29
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 4207 0 0 0 28 1 0 0 19 0 1 0 183646371 15708160 808 1992294400 134512640 137136520 4294956256 18446744073709551615 135249294 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 3835 808 291 640 0 3191 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15340

[startup+0.701959 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1377
/proc/meminfo: memFree=1890896/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=14276 CPUtime=0.69
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 16113 0 0 0 64 5 0 0 22 0 1 0 183646371 14618624 791 1992294400 134512640 137136520 4294956256 18446744073709551615 135402613 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 3569 791 291 640 0 2925 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14276

[startup+1.50109 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1378
/proc/meminfo: memFree=1888488/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=14328 CPUtime=1.49
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 35174 0 0 0 137 12 0 0 25 0 1 0 183646371 14671872 774 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 3582 774 291 640 0 2938 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14328

[startup+3.10136 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1378
/proc/meminfo: memFree=1888456/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=14696 CPUtime=3.09
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 61625 0 0 0 287 22 0 0 25 0 1 0 183646371 15048704 790 1992294400 134512640 137136520 4294956256 18446744073709551615 135469389 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 3674 790 291 640 0 3030 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14696

[startup+6.3019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1378
/proc/meminfo: memFree=1888584/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=15356 CPUtime=6.29
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 122508 0 0 0 585 44 0 0 25 0 1 0 183646371 15724544 939 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 3839 939 292 640 0 3195 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15356

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1378
/proc/meminfo: memFree=1887440/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=15328 CPUtime=12.68
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 248988 0 0 0 1179 89 0 0 25 0 1 0 183646371 15695872 922 1992294400 134512640 137136520 4294956256 18446744073709551615 135464202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 3832 922 292 640 0 3188 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15328

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1378
/proc/meminfo: memFree=1887568/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=15712 CPUtime=25.48
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 484296 0 0 0 2370 178 0 0 25 0 1 0 183646371 16089088 1049 1992294400 134512640 137136520 4294956256 18446744073709551615 135447703 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 3928 1049 292 640 0 3284 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15712

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1378
/proc/meminfo: memFree=1886672/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=15264 CPUtime=51.07
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 1042546 0 0 0 4730 377 0 0 25 0 1 0 183646371 15630336 1141 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 3942 1153 292 640 0 3298 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 15264

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1378
/proc/meminfo: memFree=1885520/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=17252 CPUtime=102.26
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 2102327 0 0 0 9455 771 0 0 25 0 1 0 183646371 17666048 1464 1992294400 134512640 137136520 4294956256 18446744073709551615 135447705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 4313 1464 292 640 0 3669 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 17252

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1378
/proc/meminfo: memFree=1883728/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=19540 CPUtime=162.24
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 3098572 0 0 0 15089 1135 0 0 25 0 1 0 183646371 20008960 2081 1992294400 134512640 137136520 4294956256 18446744073709551615 135443252 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 4885 2081 292 640 0 4241 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 19540

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1378
/proc/meminfo: memFree=1882064/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=21052 CPUtime=222.22
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 3900748 0 0 0 20786 1436 0 0 25 0 1 0 183646371 21557248 2315 1992294400 134512640 137136520 4294956256 18446744073709551615 135438666 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 5263 2315 293 640 0 4619 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 21052

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1378
/proc/meminfo: memFree=1878160/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=25208 CPUtime=282.2
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 4737845 0 0 0 26458 1762 0 0 25 0 1 0 183646371 25812992 3230 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 5535 3230 293 640 0 4891 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 25208

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1378
/proc/meminfo: memFree=1874576/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=27968 CPUtime=342.18
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 5642323 0 0 0 32091 2127 0 0 25 0 1 0 183646371 28639232 4231 1992294400 134512640 137136520 4294956256 18446744073709551615 135471103 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 6992 4231 293 640 0 6348 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 27968

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/70 1384
/proc/meminfo: memFree=1873576/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=28552 CPUtime=402.15
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 6107785 0 0 0 37898 2317 0 0 25 0 1 0 183646371 29237248 4240 1992294400 134512640 137136520 4294956256 18446744073709551615 135471110 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 7138 4240 293 640 0 6494 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 28552

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1384
/proc/meminfo: memFree=1874448/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=27640 CPUtime=462.14
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 6399030 0 0 0 43775 2439 0 0 25 0 1 0 183646371 28303360 4226 1992294400 134512640 137136520 4294956256 18446744073709551615 135380752 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 6910 4226 293 640 0 6266 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 27640

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1384
/proc/meminfo: memFree=1874192/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=26012 CPUtime=522.11
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 6664211 0 0 0 49657 2554 0 0 25 0 1 0 183646371 26636288 4198 1992294400 134512640 137136520 4294956256 18446744073709551615 134572128 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 6503 4198 293 640 0 5859 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 26012

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1384
/proc/meminfo: memFree=1874384/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=28436 CPUtime=582.09
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 6991603 0 0 0 55525 2684 0 0 25 0 1 0 183646371 29118464 4324 1992294400 134512640 137136520 4294956256 18446744073709551615 135447703 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 7109 4324 293 640 0 6465 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 28436

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1384
/proc/meminfo: memFree=1874384/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=28564 CPUtime=642.08
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 7329927 0 0 0 61384 2824 0 0 25 0 1 0 183646371 29249536 4242 1992294400 134512640 137136520 4294956256 18446744073709551615 135248978 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 7141 4242 293 640 0 6497 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 28564

[startup+702.301 s]

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

/proc/meminfo: memFree=1874128/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=27884 CPUtime=1121.92
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 9588735 0 0 0 108443 3749 0 0 25 0 1 0 183646371 28553216 4238 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 6971 4238 293 640 0 6327 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 27884

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1384
/proc/meminfo: memFree=1873872/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=28248 CPUtime=1181.9
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 9812559 0 0 0 114342 3848 0 0 25 0 1 0 183646371 28925952 4292 1992294400 134512640 137136520 4294956256 18446744073709551615 135447705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 7062 4292 293 640 0 6418 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 28248

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1384
/proc/meminfo: memFree=1874000/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=27896 CPUtime=1241.88
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 9990405 0 0 0 120259 3929 0 0 25 0 1 0 183646371 28565504 4238 1992294400 134512640 137136520 4294956256 18446744073709551615 135471103 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 6974 4238 293 640 0 6330 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 27896

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1384
/proc/meminfo: memFree=1873872/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=27872 CPUtime=1301.87
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 10181077 0 0 0 126176 4011 0 0 25 0 1 0 183646371 28540928 4279 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 6968 4279 293 640 0 6324 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 27872

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1384
/proc/meminfo: memFree=1873936/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=28196 CPUtime=1361.85
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 10369003 0 0 0 132083 4102 0 0 25 0 1 0 183646371 28872704 4238 1992294400 134512640 137136520 4294956256 18446744073709551615 135471103 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 7049 4238 293 640 0 6405 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 28196

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1384
/proc/meminfo: memFree=1873872/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=28192 CPUtime=1421.83
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 10560869 0 0 0 137991 4192 0 0 25 0 1 0 183646371 28868608 4283 1992294400 134512640 137136520 4294956256 18446744073709551615 135447705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 7048 4283 293 640 0 6404 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 28192

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1384
/proc/meminfo: memFree=1873744/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=28228 CPUtime=1481.81
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 10749962 0 0 0 143901 4280 0 0 25 0 1 0 183646371 28905472 4263 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 7057 4263 293 640 0 6413 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 28228

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1384
/proc/meminfo: memFree=1873808/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=28240 CPUtime=1541.79
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 10948669 0 0 0 149813 4366 0 0 25 0 1 0 183646371 28917760 4294 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 7060 4294 293 640 0 6416 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 28240

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1384
/proc/meminfo: memFree=1873872/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=28236 CPUtime=1601.77
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 11137565 0 0 0 155726 4451 0 0 25 0 1 0 183646371 28913664 4305 1992294400 134512640 137136520 4294956256 18446744073709551615 135464199 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 7059 4305 293 640 0 6415 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 28236

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1384
/proc/meminfo: memFree=1873808/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=27580 CPUtime=1661.75
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 11328423 0 0 0 161638 4537 0 0 25 0 1 0 183646371 28241920 4217 1992294400 134512640 137136520 4294956256 18446744073709551615 134731914 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 6895 4217 293 640 0 6251 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 27580

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1384
/proc/meminfo: memFree=1873744/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=26016 CPUtime=1721.73
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 11519798 0 0 0 167557 4616 0 0 25 0 1 0 183646371 26640384 4199 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 6504 4199 293 640 0 5860 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 26016

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1384
/proc/meminfo: memFree=1873744/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=28240 CPUtime=1781.71
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 11714523 0 0 0 173469 4702 0 0 25 0 1 0 183646371 28917760 4249 1992294400 134512640 137136520 4294956256 18446744073709551615 135441865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 7060 4249 293 640 0 6416 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 28240

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1384
/proc/meminfo: memFree=1873744/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=28276 CPUtime=1791.31
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 11745124 0 0 0 174415 4716 0 0 25 0 1 0 183646371 28954624 4257 1992294400 134512640 137136520 4294956256 18446744073709551615 135455330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 7069 4257 293 640 0 6425 0
Current children cumulated CPU time (s) 1791.31
Current children cumulated vsize (KiB) 28276

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1384
/proc/meminfo: memFree=1873744/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=27872 CPUtime=1794.51
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 11754838 0 0 0 174730 4721 0 0 25 0 1 0 183646371 28540928 4261 1992294400 134512640 137136520 4294956256 18446744073709551615 135445466 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 6968 4261 293 640 0 6324 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (KiB) 27872

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1384
/proc/meminfo: memFree=1873808/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=27888 CPUtime=1796.11
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 11759570 0 0 0 174887 4724 0 0 25 0 1 0 183646371 28557312 4225 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 6972 4225 293 640 0 6328 0
Current children cumulated CPU time (s) 1796.11
Current children cumulated vsize (KiB) 27888

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1384
/proc/meminfo: memFree=1873808/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=28204 CPUtime=1796.91
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 11762223 0 0 0 174966 4725 0 0 25 0 1 0 183646371 28880896 4252 1992294400 134512640 137136520 4294956256 18446744073709551615 135079287 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 7051 4252 293 640 0 6407 0
Current children cumulated CPU time (s) 1796.91
Current children cumulated vsize (KiB) 28204

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1384
/proc/meminfo: memFree=1873808/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=27884 CPUtime=1797.71
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 11765134 0 0 0 175045 4726 0 0 25 0 1 0 183646371 28553216 4260 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 6971 4260 293 640 0 6327 0
Current children cumulated CPU time (s) 1797.71
Current children cumulated vsize (KiB) 27884

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1384
/proc/meminfo: memFree=1873808/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=26016 CPUtime=1797.91
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 11765782 0 0 0 175065 4726 0 0 25 0 1 0 183646371 26640384 4199 1992294400 134512640 137136520 4294956256 18446744073709551615 134606731 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 6504 4199 293 640 0 5860 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 26016

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1384
/proc/meminfo: memFree=1873808/2055920 swapFree=4192812/4192956
[pid=1377] ppid=1375 vsize=28248 CPUtime=1798
/proc/1377/stat : 1377 (bsolo) R 1375 1377 1126 0 -1 4194304 11766045 0 0 0 175074 4726 0 0 25 0 1 0 183646371 28925952 4270 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1377/statm: 7062 4270 293 640 0 6418 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 28248

Child status: 0
Real time (s): 1798.69
CPU time (s): 1798.11
CPU user time (s): 1750.83
CPU system time (s): 47.2728
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 29368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1750.83
system time used= 47.2728
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11766346
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= 2
involuntary context switches= 2294

runsolver used 1.59276 second user time and 3.40948 second system time

The end

Launcher Data 

Begin job on node15 at 2009-06-16 15:54:20
IDJOB=1879933
IDBENCH=2189
IDSOLVER=701
FILE ID=node15/1879933-1245160460
PBS_JOBID= 9363817
Free space on /tmp= 66304 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c2.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879933-1245160460/watcher-1879933-1245160460 -o /tmp/evaluation-result-1879933-1245160460/solver-1879933-1245160460 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1879933-1245160460.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 10cfce36a090e62566639770833f1068
RANDOM SEED=757490302

node15.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1891440 kB
Buffers:         26040 kB
Cached:          67596 kB
SwapCached:          0 kB
Active:          64992 kB
Inactive:        42108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1891440 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4052 kB
Writeback:           0 kB
Mapped:          23208 kB
Slab:            43360 kB
Committed_AS:   182140 kB
PageTables:       1460 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879933-1245160460.opb

Free space on /tmp at the end= 66300 MiB
End job on node15 at 2009-06-16 16:24:18