Trace number 353839

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, and are wall clock time (not CPU 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.0.16SAT-29 1800.07 1800.79

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
MD5SUM366c883f3118f840e595e8bbe10351c8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-35
Best CPU time to get the best result obtained on this benchmark649.835
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -35
Optimality of the best value was proved YES
Number of variables595
Total number of constraints27856
Number of constraints which are clauses27856
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 constraint2
Number of terms in the objective function 595
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 595
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 595
Number of bits of the biggest sum of numbers10
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 (download as text)

0.00/0.10	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.10	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.10	c type "bsolo -h" for help
0.00/0.10	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.10	c Time Limit set to 1800
0.00/0.10	c Memory Limit set to 1800 MB
0.00/0.10	c Instance file /tmp/evaluation/353839-1176686037/instance-353839-1176686037.opb
0.00/0.10	c File size is 664636 bytes.
0.09/0.21	c Highest Coefficient sum: 595
0.09/0.21	c Parsing was ok!!
0.09/0.21	c Total parsing time: 0.109 s
0.09/0.22	c Var: 595 Constr: 27856 27856/0/0 Lit: 55712 Watch. Lit: 55712
0.09/0.22	c Obj. Vars: 595 (100 % of total variables)
0.39/0.54	c Pre-processing Time: 0.439 s
0.39/0.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.54	c        0    595    27856    55712    2    55712    9285      0      0 0.44
0.39/0.54	c Switching off LPR mode.
0.39/0.55	o -25	0.443
0.39/0.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.55	c        0    595    27857    56307    2    55739   10285      1      0 0.45
0.39/0.55	o -26	0.446
1.49/1.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.66	c        1    595    27859    57466    2    55769   10285      3      2 0.45
1.49/1.66	c      101    595    27959   113938    4    55969   11314    103    210 0.48
1.49/1.66	c      352    595    28210   255808    9    56471   12446    354    615 0.57
1.49/1.66	c      827    595    28685   524026   18    57421   13691    829   1044 0.79
1.49/1.66	c     1641    595    29499   984090   33    59049   15061   1643   1336 1.23
1.49/1.66	o -27	1.557
2.59/2.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.59/2.78	c     2212    595    30071  1307332   43    60220   10285   2215   1419 1.56
2.59/2.78	c     2313    595    30172  1364325   45    60422   11314   2316   1446 1.60
2.59/2.78	c     2563    595    30422  1505372   49    60922   12446   2566   1508 1.70
2.59/2.78	c     3038    595    30897  1773190   57    61872   13691   3041   1564 1.94
2.59/2.78	c     3852    595    31711  2231695   70    63500   15061   3855   1508 2.55
2.59/2.78	o -28	2.676
353.67/353.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
353.67/353.93	c     4108    595    31968  2376756   74    64042   10285   4112   1534 2.68
353.67/353.93	c     4208    595    32068  2433077   75    64242   11314   4212   1547 2.72
353.67/353.93	c     4458    595    32318  2573719   79    64742   12446   4462   1576 2.83
353.67/353.93	c     4933    595    32793  2841264   86    65692   13691   4937   1604 3.08
353.67/353.93	c     5746    595    33606  3299118   98    67318   15061   5750   1444 3.98
353.67/353.93	c     7066    595    34926  4042146  115    69958   16568   7070   1498 4.71
353.67/353.93	c     9147    595    37007  5212828  140    74120   18225   9151   1441 6.34
353.67/353.93	c    12371    595    40231  7028464  174    80568   20048  12375    796 15.54
353.67/353.93	c    17307    595    45167  9805786  217    90440   22053  17311    721 23.98
353.67/353.93	c    24813    595    40816  7350711  180    81660   24259  12960    602 41.19
353.67/353.93	c    36174    595    38792  6206839  160    77612   26685  10936    405 89.20
353.67/353.93	c    53318    595    39799  6772708  170    79626   29354  11943    328 162.28
353.67/353.93	c    79138    595    46833 10737141  229    93694   32290  18977    255 309.64
353.67/353.93	o -29	353.702
1799.97/1800.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.97/1800.74	c    89184    595    56880 16393949  288   113817   10285  29024    252 353.70
1799.97/1800.74	c    89284    595    33100  3006346   90    66229   11314   5244    250 356.94
1799.97/1800.74	c    89535    595    33351  3147324   94    66731   12446   5495    250 357.12
1799.97/1800.74	c    90010    595    33826  3414261  100    67681   13691   5970    251 357.40
1799.97/1800.74	c    90823    595    34639  3871383  111    69307   15061   6783    253 357.92
1799.97/1800.74	c    92143    595    35959  4612533  128    71947   16568   8103    255 360.33
1799.97/1800.74	c    94224    595    38040  5782386  152    76109   18225  10184    259 362.43
1799.97/1800.74	c    97447    595    41263  7591521  183    82555   20048  13407    265 367.09
1799.97/1800.74	c   102383    595    46199 10362812  224    92427   22053  18343    270 378.63
1799.97/1800.74	c   109889    595    41880  7932917  189    83789   24259  14024    277 395.81
1799.97/1800.74	c   121250    595    39289  6478074  164    78607   26685  11433    278 436.14
1799.97/1800.74	c   138395    595    40233  7009995  174    80495   29354  12377    261 528.29
1799.97/1800.74	c   164214    595    47286 10960267  231    94601   32290  19430    253 647.16
1799.97/1800.74	c   203046    595    42957  8532215  198    85943   35520  15101    224 904.71
1799.97/1800.74	c   261398    595    52097 13662477  262   104223   39073  24241    192 1360.25
1799.97/1800.74	c Resources Exceeded
1799.97/1800.74	v -x595 -x594 -x593 x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575
1799.97/1800.74	v -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554
1799.97/1800.74	v -x553 -x552 x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533
1799.97/1800.74	v -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512
1799.97/1800.74	v x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491
1799.97/1800.74	v -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470
1799.97/1800.74	v -x469 -x468 -x467 -x466 -x465 -x464 x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449
1799.97/1800.74	v -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 x429 -x428
1799.97/1800.74	v -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407
1799.97/1800.74	v -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 x387 -x386
1799.97/1800.74	v -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365
1799.97/1800.74	v -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 x344
1799.97/1800.74	v -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 x327 -x326 -x325 -x324 -x323
1799.97/1800.74	v -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302
1799.97/1800.74	v -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 x281
1799.97/1800.74	v -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260
1799.97/1800.74	v -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239
1799.97/1800.74	v -x238 x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218
1799.97/1800.74	v -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197
1799.97/1800.74	v -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176
1799.97/1800.74	v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155
1799.97/1800.74	v -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134
1799.97/1800.74	v -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113
1799.97/1800.74	v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90
1799.97/1800.74	v -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64
1799.97/1800.74	v -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38
1799.97/1800.74	v -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12
1799.97/1800.74	v -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1799.97/1800.74	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.97/1800.74	c   39   309411  28930   345900    44001  9123735  16145    171 1800.02
1799.97/1800.74	c Objective: -29
1799.97/1800.74	s SATISFIABLE
1799.97/1800.74	c Total time: 1800.02 s

Verifier Data (download as text)

OK	-29

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node59/watcher-353839-1176686037 -o ROOT/results/node59/solver-353839-1176686037 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353839-1176686037/instance-353839-1176686037.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 16023
/proc/meminfo: memFree=1700736/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=18568 CPUtime=0
/proc/16023/stat : 16023 (runsolver) D 16021 16023 15191 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 116513322 19013632 292 18446744073709551615 4194304 4296420 548682068928 18446744073709551615 217051622695 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/16023/statm: 4642 292 257 24 0 2626 0

[startup+0.05636 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 16023
/proc/meminfo: memFree=1700736/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=2520 CPUtime=0
/proc/16023/stat : 16023 (bsolo3.0.16) D 16021 16023 15191 0 -1 4194304 55 0 3 0 0 0 0 0 18 0 1 0 116513322 2580480 41 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 9286436 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/16023/statm: 630 41 32 324 0 8 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2520

[startup+0.101364 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 16023
/proc/meminfo: memFree=1700736/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=3780 CPUtime=0
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 174 0 11 0 0 0 0 0 18 0 1 0 116513322 3870720 153 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160041328 0 0 4096 0 0 0 0 17 1 0 0
/proc/16023/statm: 945 153 127 324 0 14 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3780

[startup+0.301404 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 16023
/proc/meminfo: memFree=1700736/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=8932 CPUtime=0.18
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 1790 0 17 0 18 0 0 0 19 0 1 0 116513322 9146368 1612 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 2233 1612 307 324 0 1302 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 8932

[startup+0.701479 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 16023
/proc/meminfo: memFree=1700736/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=11132 CPUtime=0.59
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 2518 0 17 0 56 3 0 0 21 0 1 0 116513322 11399168 2152 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 2783 2152 312 324 0 1852 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 11132

[startup+1.50163 s]
/proc/loadavg: 0.91 0.95 0.98 2/65 16024
/proc/meminfo: memFree=1686328/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=22600 CPUtime=1.39
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 5380 0 17 0 135 4 0 0 25 0 1 0 116513322 23142400 5014 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 5650 5014 312 324 0 4719 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 22600

[startup+3.10194 s]
/proc/loadavg: 0.91 0.95 0.98 2/65 16024
/proc/meminfo: memFree=1671352/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=43008 CPUtime=2.99
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 10493 0 17 0 293 6 0 0 25 0 1 0 116513322 44040192 10127 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 10752 10127 312 324 0 9821 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 43008

[startup+6.30154 s]
/proc/loadavg: 0.92 0.95 0.98 2/65 16024
/proc/meminfo: memFree=1635768/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=73476 CPUtime=6.19
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 18127 0 17 0 609 10 0 0 25 0 1 0 116513322 75239424 17761 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 18369 17761 312 324 0 17438 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 73476

[startup+12.7018 s]
/proc/loadavg: 0.93 0.95 0.98 2/65 16024
/proc/meminfo: memFree=1612600/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=91468 CPUtime=12.59
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 22614 0 17 0 1244 15 0 0 25 0 1 0 116513322 93663232 22248 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 22867 22248 312 324 0 21936 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 91468

[startup+25.5012 s]
/proc/loadavg: 0.94 0.96 0.98 2/65 16024
/proc/meminfo: memFree=1559224/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=144192 CPUtime=25.38
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 35807 0 17 0 2517 21 0 0 25 0 1 0 116513322 147652608 35441 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 9719446 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 36048 35441 312 324 0 35117 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 144192

[startup+51.1011 s]
/proc/loadavg: 0.96 0.96 0.98 2/65 16024
/proc/meminfo: memFree=1529400/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=172536 CPUtime=50.97
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 42885 0 17 0 5070 27 0 0 25 0 1 0 116513322 176676864 42519 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 43134 42519 312 324 0 42203 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 172536

[startup+102.306 s]
/proc/loadavg: 1.07 0.99 0.99 2/65 16024
/proc/meminfo: memFree=1517304/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=184684 CPUtime=102.16
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 45922 0 17 0 10183 33 0 0 25 0 1 0 116513322 189116416 45556 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 46171 45556 312 324 0 45240 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 184684

[startup+162.301 s]
/proc/loadavg: 1.02 0.99 0.99 2/65 16024
/proc/meminfo: memFree=1495992/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=205964 CPUtime=162.13
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 51245 0 17 0 16175 38 0 0 25 0 1 0 116513322 210907136 50879 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 51491 50879 312 324 0 50560 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 205964

[startup+222.302 s]
/proc/loadavg: 1.04 1.00 1.00 2/65 16024
/proc/meminfo: memFree=1495992/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=205964 CPUtime=222.11
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 51245 0 17 0 22169 42 0 0 25 0 1 0 116513322 210907136 50879 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 51491 50879 312 324 0 50560 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 205964

[startup+282.301 s]
/proc/loadavg: 1.13 1.03 1.01 2/65 16024
/proc/meminfo: memFree=1476408/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=225400 CPUtime=282.09
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 56107 0 17 0 28162 47 0 0 25 0 1 0 116513322 230809600 55741 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 56350 55741 312 324 0 55419 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 225400

[startup+342.301 s]
/proc/loadavg: 1.12 1.04 1.00 2/65 16024
/proc/meminfo: memFree=1476408/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=225400 CPUtime=342.07
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 56107 0 17 0 34158 49 0 0 25 0 1 0 116513322 230809600 55741 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 56350 55741 312 324 0 55419 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 225400

[startup+402.302 s]
/proc/loadavg: 1.11 1.05 1.00 2/65 16024
/proc/meminfo: memFree=1479736/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=221892 CPUtime=402.05
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 56107 0 17 0 40152 53 0 0 25 0 1 0 116513322 227217408 54867 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 55473 54867 312 324 0 54542 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 221892

[startup+462.301 s]
/proc/loadavg: 1.10 1.05 1.00 2/65 16024
/proc/meminfo: memFree=1479928/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=221664 CPUtime=462.03
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 56107 0 17 0 46145 58 0 0 25 0 1 0 116513322 226983936 54810 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 55416 54810 312 324 0 54485 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 221664

[startup+522.302 s]
/proc/loadavg: 1.09 1.06 1.00 2/65 16024
/proc/meminfo: memFree=1479928/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=221664 CPUtime=522.01
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 56107 0 17 0 52142 59 0 0 25 0 1 0 116513322 226983936 54810 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 55416 54810 312 324 0 54485 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 221664

[startup+582.301 s]
/proc/loadavg: 1.08 1.06 1.00 2/65 16024
/proc/meminfo: memFree=1479928/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=221664 CPUtime=581.99
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 56107 0 17 0 58136 63 0 0 25 0 1 0 116513322 226983936 54810 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 55416 54810 312 324 0 54485 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 221664

[startup+642.302 s]
/proc/loadavg: 1.08 1.06 1.00 2/65 16024
/proc/meminfo: memFree=1476856/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=224916 CPUtime=641.97
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 56917 0 17 0 64132 65 0 0 25 0 1 0 116513322 230313984 55620 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 56229 55620 312 324 0 55298 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 224916


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

/proc/meminfo: memFree=1432120/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=269356 CPUtime=1061.82
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 68129 0 17 0 106095 87 0 0 25 0 1 0 116513322 275820544 66730 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 67339 66730 312 324 0 66408 0
Current children cumulated CPU time (s) 1061.82
Current children cumulated vsize (KiB) 269356

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 16024
/proc/meminfo: memFree=1432120/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=269356 CPUtime=1121.81
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 68129 0 17 0 112091 90 0 0 25 0 1 0 116513322 275820544 66730 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 67339 66730 312 324 0 66408 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 269356

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16024
/proc/meminfo: memFree=1432120/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=269356 CPUtime=1181.78
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 68129 0 17 0 118087 91 0 0 25 0 1 0 116513322 275820544 66730 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 67339 66730 312 324 0 66408 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 269356

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16024
/proc/meminfo: memFree=1431992/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=269356 CPUtime=1241.76
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 68129 0 17 0 124083 93 0 0 25 0 1 0 116513322 275820544 66730 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 67339 66730 312 324 0 66408 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 269356

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16024
/proc/meminfo: memFree=1431928/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=269484 CPUtime=1301.74
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 68182 0 17 0 130080 94 0 0 25 0 1 0 116513322 275951616 66747 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 67371 66747 312 324 0 66440 0
Current children cumulated CPU time (s) 1301.74
Current children cumulated vsize (KiB) 269484

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16024
/proc/meminfo: memFree=1431928/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=269484 CPUtime=1361.72
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 68182 0 17 0 136076 96 0 0 25 0 1 0 116513322 275951616 66747 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 67371 66747 312 324 0 66440 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 269484

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16024
/proc/meminfo: memFree=1431928/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=269484 CPUtime=1421.71
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 68182 0 17 0 142073 98 0 0 25 0 1 0 116513322 275951616 66747 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 67371 66747 312 324 0 66440 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 269484

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16024
/proc/meminfo: memFree=1406136/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=295232 CPUtime=1481.68
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 74649 0 17 0 148063 105 0 0 25 0 1 0 116513322 302317568 73175 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 73808 73175 312 324 0 72877 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 295232

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16026
/proc/meminfo: memFree=1405944/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=295232 CPUtime=1541.66
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 74649 0 17 0 154059 107 0 0 25 0 1 0 116513322 302317568 73175 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 73808 73175 312 324 0 72877 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 295232

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16026
/proc/meminfo: memFree=1405944/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=295232 CPUtime=1601.64
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 74649 0 17 0 160056 108 0 0 25 0 1 0 116513322 302317568 73175 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160527316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 73808 73175 312 324 0 72877 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 295232

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16026
/proc/meminfo: memFree=1405944/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=295232 CPUtime=1661.61
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 74649 0 17 0 166052 109 0 0 25 0 1 0 116513322 302317568 73175 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 73808 73175 312 324 0 72877 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 295232

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16026
/proc/meminfo: memFree=1405944/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=295232 CPUtime=1721.6
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 74649 0 17 0 172049 111 0 0 25 0 1 0 116513322 302317568 73175 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 73808 73175 312 324 0 72877 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 295232

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16026
/proc/meminfo: memFree=1405688/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=295480 CPUtime=1781.58
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 74759 0 17 0 178046 112 0 0 25 0 1 0 116513322 302571520 73246 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 73870 73246 312 324 0 72939 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 295480

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

[startup+1791.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16026
/proc/meminfo: memFree=1405688/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=295480 CPUtime=1791.17
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 74759 0 17 0 179005 112 0 0 25 0 1 0 116513322 302571520 73246 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 73870 73246 312 324 0 72939 0
Current children cumulated CPU time (s) 1791.17
Current children cumulated vsize (KiB) 295480

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16026
/proc/meminfo: memFree=1405688/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=295480 CPUtime=1794.37
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 74759 0 17 0 179325 112 0 0 25 0 1 0 116513322 302571520 73246 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 73870 73246 312 324 0 72939 0
Current children cumulated CPU time (s) 1794.37
Current children cumulated vsize (KiB) 295480

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16026
/proc/meminfo: memFree=1405688/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=295480 CPUtime=1797.57
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 74759 0 17 0 179645 112 0 0 25 0 1 0 116513322 302571520 73246 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551724 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 73870 73246 312 324 0 72939 0
Current children cumulated CPU time (s) 1797.57
Current children cumulated vsize (KiB) 295480

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16026
/proc/meminfo: memFree=1405688/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=295480 CPUtime=1799.17
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 74759 0 17 0 179805 112 0 0 25 0 1 0 116513322 302571520 73246 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 73870 73246 312 324 0 72939 0
Current children cumulated CPU time (s) 1799.17
Current children cumulated vsize (KiB) 295480

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16026
/proc/meminfo: memFree=1405688/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=295480 CPUtime=1799.57
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 74759 0 17 0 179845 112 0 0 25 0 1 0 116513322 302571520 73246 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 9719216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 73870 73246 312 324 0 72939 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (KiB) 295480

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16026
/proc/meminfo: memFree=1405688/2055920 swapFree=4184740/4192956
[pid=16023] ppid=16021 vsize=295480 CPUtime=1799.97
/proc/16023/stat : 16023 (bsolo3.0.16) R 16021 16023 15191 0 -1 4194304 74759 0 17 0 179885 112 0 0 25 0 1 0 116513322 302571520 73246 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16023/statm: 73870 73246 312 324 0 72939 0
Current children cumulated CPU time (s) 1799.97
Current children cumulated vsize (KiB) 295480

Child status: 0
Real time (s): 1800.79
CPU time (s): 1800.07
CPU user time (s): 1798.9
CPU system time (s): 1.17582
CPU usage (%): 99.96
Max. virtual memory (cumulated for all children) (KiB): 295480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 1.17582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74760
page faults= 17
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42
involuntary context switches= 971

runsolver used 1.11483 second user time and 3.80942 second system time

The end

Launcher Data (download as text)

Begin job on node59 on Mon Apr 16 01:13:57 UTC 2007

IDJOB= 353839
IDBENCH= 2273
IDSOLVER= 163
FILE ID= node59/353839-1176686037

PBS_JOBID= 4559994

Free space on /tmp= 66365 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353839-1176686037/instance-353839-1176686037.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node59/watcher-353839-1176686037 -o ROOT/results/node59/solver-353839-1176686037 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353839-1176686037/instance-353839-1176686037.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  366c883f3118f840e595e8bbe10351c8

RANDOM SEED= 695171757

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/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.268
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	: 5914.62
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.268
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:       1701208 kB
Buffers:          5636 kB
Cached:         260876 kB
SwapCached:       2564 kB
Active:         229076 kB
Inactive:        67008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1701208 kB
SwapTotal:     4192956 kB
SwapFree:      4184740 kB
Dirty:            5036 kB
Writeback:           0 kB
Mapped:          36280 kB
Slab:            44588 kB
Committed_AS:  1557160 kB
PageTables:       1520 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66365 MiB

End job on node59 on Mon Apr 16 01:43:58 UTC 2007