Trace number 352825

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.16SAT54 1800.01 1800.46

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-e64.b.opb
MD5SUM4a444f89cff56050e88660d23e3d8694
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark47
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 47
Optimality of the best value was proved NO
Number of variables607
Total number of constraints1022
Number of constraints which are clauses1022
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 constraint3
Maximum length of a constraint32
Number of terms in the objective function 607
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 607
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 607
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.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/352825-1176642593/instance-352825-1176642593.opb
0.00/0.00	c File size is 75788 bytes.
0.00/0.01	c Highest Coefficient sum: 607
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.014 s
0.00/0.01	c Var: 607 Constr: 1022 1022/0/0 Lit: 8200 Watch. Lit: 2044
0.00/0.01	c Obj. Vars: 607 (100 % of total variables)
0.00/0.03	c Formula reductions applied at preprocessing
0.00/0.03	c Pre-processing Time: 0.029 s
0.08/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.10	c        0    571      922     7143    7     1844     307      0      0 0.03
0.08/0.10	c Initial Lower Bound: 37
0.08/0.10	c Initial Path Cost: 0
0.08/0.11	o 84	0.102
0.78/0.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.78/0.80	c        1    571      924     7730    8     2335    1307      2      9 0.10
0.78/0.80	o 58	0.793 * 
2.58/2.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.58/2.63	c        3    571      927     8323    8     2854    1307      5      3 0.79
2.58/2.63	c      103    571     1126    35996   31     3252    1438    204     53 1.92
2.58/2.63	o 57	2.625 * 
18.58/18.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.58/18.70	c      106    571     1132    37170   32     3778    1307    210     40 2.62
18.58/18.70	c      206    571     1330    59736   44     4174    1438    408     57 3.61
18.58/18.70	c      456    571     1830   117375   64     5174    1582    908     88 5.16
18.58/18.70	c      931    571     1828   101316   55     4170    1741    906    121 7.64
18.58/18.70	c     1744    571     2399   154877   64     5312    1916   1477    151 11.47
18.58/18.70	c     3064    571     2746   202128   73     6006    2108   1824    169 18.07
18.58/18.70	o 56	18.692 * 
26.78/26.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.78/26.82	c     3081    571     2781   206145   74     6591    1307   1859    164 18.69
26.78/26.82	c     3181    571     1777    97759   55     4069    1438    855    160 19.78
26.78/26.82	c     3431    571     2277   159789   70     5069    1582   1355    160 21.37
26.78/26.82	c     3906    571     2274   144616   63     5063    1741   1352    163 23.94
26.78/26.82	o 55	26.807 * 
88.86/88.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
88.86/88.90	c     4483    571     2377   166655   70     5785    1307   1455    167 26.81
88.86/88.90	c     4583    571     1775   101198   57     4066    1438    853    164 27.87
88.86/88.90	c     4833    571     2275   150097   65     5066    1582   1353    164 29.39
88.86/88.90	c     5308    571     2275   146488   64     5066    1741   1353    166 31.91
88.86/88.90	c     6121    571     1839    99729   54     4194    1916    917    169 36.02
88.86/88.90	c     7441    571     2255   130989   58     5026    2108   1333    173 42.97
88.86/88.90	c     9522    571     2810   192098   68     6136    2319   1888    179 52.96
88.86/88.90	c    12745    571     2543   186893   73     5602    2551   1621    191 66.46
88.86/88.90	c    17681    571     2524   152615   60     5564    2807   1602    200 88.10
88.86/88.90	o 54	88.874 * 
1799.94/1800.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.94/1800.45	c    17729    571     2621   163451   62     6275    1307   1699    199 88.87
1799.94/1800.45	c    17829    571     1777    88265   49     4071    1438    855    198 89.77
1799.94/1800.45	c    18079    571     2277   128381   56     5071    1582   1355    198 91.29
1799.94/1800.45	c    18554    571     2249   134540   59     5015    1741   1327    197 94.08
1799.94/1800.45	c    19367    571     1819    90253   49     4155    1916    897    197 98.28
1799.94/1800.45	c    20687    571     2263   136203   60     5043    2108   1341    198 104.40
1799.94/1800.45	c    22768    571     2782   192799   69     6081    2319   1860    199 113.85
1799.94/1800.45	c    25991    571     2696   176734   65     5909    2551   1774    202 128.35
1799.94/1800.45	c    30927    571     2483   175084   70     5483    2807   1561    205 150.19
1799.94/1800.45	c    38433    571     3568   252263   70     7653    3088   2646    211 181.89
1799.94/1800.45	c    49794    571     2798   160828   57     6113    3397   1876    214 231.65
1799.94/1800.45	c    66938    571     3653   278753   76     7823    3737   2731    217 308.13
1799.94/1800.45	c    92757    571     2792   163397   58     6101    4111   1870    222 416.82
1799.94/1800.45	c   131589    571     3825   247982   64     8167    4523   2903    225 584.58
1799.94/1800.45	c   189941    571     3365   271204   80     7247    4976   2443    227 835.55
1799.94/1800.45	c   277573    571     4473   349815   78     9463    5474   3551    223 1239.66
1799.94/1800.45	c Resources Exceeded
1799.94/1800.45	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
1799.94/1800.45	v -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
1799.94/1800.45	v -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
1799.94/1800.45	v -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
1799.94/1800.45	v -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127
1799.94/1800.45	v -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148
1799.94/1800.45	v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169
1799.94/1800.45	v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
1799.94/1800.45	v x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211
1799.94/1800.45	v -x212 -x213 -x214 -x215 x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 x231 -x232
1799.94/1800.45	v -x233 -x234 -x235 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 x249 -x250 -x251 -x252 -x253
1799.94/1800.45	v -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274
1799.94/1800.45	v -x275 x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295
1799.94/1800.45	v -x296 -x297 -x298 -x299 -x300 x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316
1799.94/1800.45	v -x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337
1799.94/1800.45	v -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358
1799.94/1800.45	v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379
1799.94/1800.45	v -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
1799.94/1800.45	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421
1799.94/1800.45	v x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442
1799.94/1800.45	v -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 x462 -x463
1799.94/1800.45	v -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484
1799.94/1800.45	v -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505
1799.94/1800.45	v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526
1799.94/1800.45	v -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547
1799.94/1800.45	v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568
1799.94/1800.45	v -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589
1799.94/1800.45	v -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607
1799.94/1800.45	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.94/1800.45	c   38   395023    582   433701     5559   556639   4637    219 1800.00
1799.94/1800.45	c Objective: 54
1799.94/1800.45	s SATISFIABLE
1799.94/1800.45	c Total time: 1800 s

Verifier Data (download as text)

OK	54

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node55/watcher-352825-1176642593 -o ROOT/results/node55/solver-352825-1176642593 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352825-1176642593/instance-352825-1176642593.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 7336
/proc/meminfo: memFree=1872372/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=11812 CPUtime=0
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 112169320 12095488 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 2953 335 281 324 0 2003 0

[startup+0.0551891 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 7336
/proc/meminfo: memFree=1872372/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=4916 CPUtime=0.04
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 660 0 2 0 4 0 0 0 18 0 1 0 112169320 5033984 610 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135468242 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 1229 610 332 324 0 298 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4916

[startup+0.101193 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 7336
/proc/meminfo: memFree=1872372/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=6412 CPUtime=0.08
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 963 0 2 0 8 0 0 0 18 0 1 0 112169320 6565888 872 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135315846 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 1603 872 390 324 0 672 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6412

[startup+0.301212 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 7336
/proc/meminfo: memFree=1872372/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=6440 CPUtime=0.28
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 5411 0 2 0 26 2 0 0 19 0 1 0 112169320 6594560 798 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7284347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 1610 798 394 324 0 679 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6440

[startup+0.70125 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 7336
/proc/meminfo: memFree=1872372/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=6356 CPUtime=0.68
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 15974 0 2 0 62 6 0 0 22 0 1 0 112169320 6508544 754 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7284293 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 1589 754 394 324 0 658 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6356

[startup+1.50133 s]
/proc/loadavg: 0.91 0.95 0.98 2/65 7337
/proc/meminfo: memFree=1870188/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=4952 CPUtime=1.49
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 32871 0 2 0 138 11 0 0 25 0 1 0 112169320 5070848 713 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 1238 713 394 324 0 307 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4952

[startup+3.10148 s]
/proc/loadavg: 0.91 0.95 0.98 2/65 7337
/proc/meminfo: memFree=1869612/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=6896 CPUtime=3.09
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 63369 0 2 0 287 22 0 0 25 0 1 0 112169320 7061504 883 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135349858 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 1724 889 394 324 0 793 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6896

[startup+6.30178 s]
/proc/loadavg: 0.92 0.95 0.98 2/65 7337
/proc/meminfo: memFree=1868140/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=8408 CPUtime=6.28
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 99053 0 2 0 590 38 0 0 25 0 1 0 112169320 8609792 1310 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134792594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 2102 1310 394 324 0 1171 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 8408

[startup+12.7014 s]
/proc/loadavg: 0.93 0.95 0.98 2/65 7337
/proc/meminfo: memFree=1866996/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=8684 CPUtime=12.68
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 156984 0 2 0 1200 68 0 0 25 0 1 0 112169320 8892416 1535 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7285838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 2247 1540 394 324 0 1316 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8684

[startup+25.5016 s]
/proc/loadavg: 0.94 0.96 0.98 2/65 7337
/proc/meminfo: memFree=1866932/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=8384 CPUtime=25.48
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 275868 0 2 0 2419 129 0 0 25 0 1 0 112169320 8585216 1570 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 2096 1570 394 324 0 1165 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 8384

[startup+51.101 s]
/proc/loadavg: 0.96 0.96 0.98 2/65 7337
/proc/meminfo: memFree=1866740/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=9608 CPUtime=51.07
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 504479 0 2 0 4859 248 0 0 25 0 1 0 112169320 9838592 1652 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7285838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 2402 1653 394 324 0 1471 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 9608

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.98 2/65 7337
/proc/meminfo: memFree=1865524/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=9732 CPUtime=102.27
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 943482 0 2 0 9754 473 0 0 25 0 1 0 112169320 9965568 1909 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 2433 1909 394 324 0 1502 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 9732

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7337
/proc/meminfo: memFree=1865524/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=10896 CPUtime=162.25
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 1474601 0 2 0 15475 750 0 0 25 0 1 0 112169320 11157504 1925 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 2608 1918 394 324 0 1677 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 10896

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7337
/proc/meminfo: memFree=1865524/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=10928 CPUtime=222.23
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 2023831 0 2 0 21182 1041 0 0 25 0 1 0 112169320 11190272 1929 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135306705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 2732 1929 394 324 0 1801 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 10928

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7337
/proc/meminfo: memFree=1863988/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=12284 CPUtime=282.22
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 2483597 0 2 0 26931 1291 0 0 25 0 1 0 112169320 12578816 2305 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7285838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 3071 2305 394 324 0 2140 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 12284

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7337
/proc/meminfo: memFree=1864052/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=12240 CPUtime=342.2
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 3006342 0 2 0 32650 1570 0 0 25 0 1 0 112169320 12533760 2292 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135308435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 3060 2292 394 324 0 2129 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 12240

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7337
/proc/meminfo: memFree=1864052/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=12264 CPUtime=402.18
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 3556128 0 2 0 38363 1855 0 0 25 0 1 0 112169320 12558336 2292 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7285838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 3066 2292 394 324 0 2135 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 12264

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7337
/proc/meminfo: memFree=1863988/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=12216 CPUtime=462.17
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 4114460 0 2 0 44073 2144 0 0 25 0 1 0 112169320 12509184 2288 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135336554 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 3054 2288 394 324 0 2123 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 12216

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7337
/proc/meminfo: memFree=1863988/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=12272 CPUtime=522.16
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 4661334 0 2 0 49784 2432 0 0 25 0 1 0 112169320 12566528 2293 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135189338 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 3068 2293 394 324 0 2137 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 12272

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7337
/proc/meminfo: memFree=1863988/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=12244 CPUtime=582.14
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 5201880 0 2 0 55487 2727 0 0 25 0 1 0 112169320 12537856 2292 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134792594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 3061 2292 394 324 0 2130 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 12244

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7337
/proc/meminfo: memFree=1862196/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=13712 CPUtime=642.13
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 5730400 0 2 0 61203 3010 0 0 25 0 1 0 112169320 14041088 2730 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135245837 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 3428 2730 394 324 0 2497 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 13712


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

/proc/meminfo: memFree=1861428/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=13628 CPUtime=1122.01
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 9902831 0 2 0 106986 5215 0 0 25 0 1 0 112169320 13955072 2879 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 3407 2879 394 324 0 2476 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 13628

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7337
/proc/meminfo: memFree=1861428/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=14712 CPUtime=1181.99
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 10404131 0 2 0 112730 5469 0 0 25 0 1 0 112169320 15065088 2894 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134694901 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 3678 2894 394 324 0 2747 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 14712

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7337
/proc/meminfo: memFree=1861364/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=14380 CPUtime=1241.98
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 10890432 0 2 0 118481 5717 0 0 25 0 1 0 112169320 14725120 2888 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134690293 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 3595 2888 394 324 0 2664 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 14380

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7337
/proc/meminfo: memFree=1859252/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=15640 CPUtime=1301.97
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 11360341 0 2 0 124243 5954 0 0 25 0 1 0 112169320 16015360 3386 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 3910 3386 394 324 0 2979 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 15640

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7337
/proc/meminfo: memFree=1859252/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=16696 CPUtime=1361.95
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 11825788 0 2 0 129997 6198 0 0 25 0 1 0 112169320 17096704 3407 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134941452 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 4174 3407 394 324 0 3243 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 16696

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7337
/proc/meminfo: memFree=1859252/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=16080 CPUtime=1421.93
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 12329326 0 2 0 135734 6459 0 0 25 0 1 0 112169320 16465920 3385 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7285838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 4096 3387 394 324 0 3165 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 16080

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7337
/proc/meminfo: memFree=1859188/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=16836 CPUtime=1481.92
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 12806840 0 2 0 141490 6702 0 0 25 0 1 0 112169320 17240064 3419 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 4019 3405 394 324 0 3088 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 16836

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7337
/proc/meminfo: memFree=1859060/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=16560 CPUtime=1541.9
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 13298907 0 2 0 147234 6956 0 0 25 0 1 0 112169320 16957440 3428 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134690293 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 4140 3428 394 324 0 3209 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 16560

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7337
/proc/meminfo: memFree=1859060/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=15764 CPUtime=1601.89
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 13773638 0 2 0 152992 7197 0 0 25 0 1 0 112169320 16142336 3417 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 3941 3417 394 324 0 3010 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 15764

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7337
/proc/meminfo: memFree=1859060/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=16544 CPUtime=1661.87
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 14264889 0 2 0 158729 7458 0 0 25 0 1 0 112169320 16941056 3427 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134690293 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 4136 3427 394 324 0 3205 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 16544

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7339
/proc/meminfo: memFree=1858484/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=17004 CPUtime=1721.86
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 14734782 0 2 0 164480 7706 0 0 25 0 1 0 112169320 17412096 3536 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7285838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 4251 3539 394 324 0 3320 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 17004

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7339
/proc/meminfo: memFree=1858548/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=17184 CPUtime=1781.84
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 15193142 0 2 0 170236 7948 0 0 25 0 1 0 112169320 17596416 3538 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135306705 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 4296 3538 394 324 0 3365 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 17184

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7339
/proc/meminfo: memFree=1858548/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=16176 CPUtime=1791.44
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 15264134 0 2 0 171160 7984 0 0 25 0 1 0 112169320 16564224 3520 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 4044 3520 394 324 0 3113 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 16176

[startup+1795.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7339
/proc/meminfo: memFree=1858548/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=17264 CPUtime=1794.65
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 15288359 0 2 0 171471 7994 0 0 25 0 1 0 112169320 17678336 3536 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134802391 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 4316 3536 394 324 0 3385 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (KiB) 17264

[startup+1798.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7339
/proc/meminfo: memFree=1858548/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=17240 CPUtime=1797.84
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 15312618 0 2 0 171777 8007 0 0 25 0 1 0 112169320 17653760 3539 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135313633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 4310 3539 394 324 0 3379 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 17240

[startup+1799.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7339
/proc/meminfo: memFree=1858548/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=17240 CPUtime=1798.64
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 15318819 0 2 0 171852 8012 0 0 25 0 1 0 112169320 17653760 3538 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135226146 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 4310 3538 394 324 0 3379 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (KiB) 17240

[startup+1799.9 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7339
/proc/meminfo: memFree=1858548/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=16176 CPUtime=1799.44
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 15325031 0 2 0 171929 8015 0 0 25 0 1 0 112169320 16564224 3520 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 4044 3520 394 324 0 3113 0
Current children cumulated CPU time (s) 1799.44
Current children cumulated vsize (KiB) 16176

[startup+1800.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7339
/proc/meminfo: memFree=1858548/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=16932 CPUtime=1799.84
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 15328046 0 2 0 171968 8016 0 0 25 0 1 0 112169320 17338368 3531 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135304977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 4233 3532 394 324 0 3302 0
Current children cumulated CPU time (s) 1799.84
Current children cumulated vsize (KiB) 16932

[startup+1800.4 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 7339
/proc/meminfo: memFree=1858548/2055920 swapFree=4184748/4192956
[pid=7336] ppid=7334 vsize=17108 CPUtime=1799.94
/proc/7336/stat : 7336 (bsolo3.0.16) R 7334 7336 6515 0 -1 4194304 15328788 0 2 0 171977 8017 0 0 25 0 1 0 112169320 17518592 3535 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135267606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7336/statm: 4316 3536 394 324 0 3385 0
Current children cumulated CPU time (s) 1799.94
Current children cumulated vsize (KiB) 17108

Child status: 0
Real time (s): 1800.46
CPU time (s): 1800.01
CPU user time (s): 1719.83
CPU system time (s): 80.1778
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 17464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1719.83
system time used= 80.1778
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15329229
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 1728

runsolver used 1.20782 second user time and 3.71743 second system time

The end

Launcher Data (download as text)

Begin job on node55 on Sun Apr 15 13:09:53 UTC 2007

IDJOB= 352825
IDBENCH= 2053
IDSOLVER= 163
FILE ID= node55/352825-1176642593

PBS_JOBID= 4559850

Free space on /tmp= 66560 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-e64.b.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352825-1176642593/instance-352825-1176642593.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node55/watcher-352825-1176642593 -o ROOT/results/node55/solver-352825-1176642593 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352825-1176642593/instance-352825-1176642593.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  4a444f89cff56050e88660d23e3d8694

RANDOM SEED= 219957920

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node55.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.216
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.216
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:       1872780 kB
Buffers:          5288 kB
Cached:          96556 kB
SwapCached:       2060 kB
Active:          36484 kB
Inactive:        76012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1872780 kB
SwapTotal:     4192956 kB
SwapFree:      4184748 kB
Dirty:            4452 kB
Writeback:           0 kB
Mapped:          17700 kB
Slab:            56712 kB
Committed_AS:  1002164 kB
PageTables:       1384 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= 66560 MiB

End job on node55 on Sun Apr 15 13:39:53 UTC 2007