Trace number 432931

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.17SAT (TO)54 1800.06 1800.82

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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/432931-1177952363/instance-432931-1177952363.opb
0.00/0.00	c File size is 75788 bytes.
0.00/0.02	c Highest Coefficient sum: 607
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.014 s
0.00/0.02	c Var: 607 Constr: 1022 1022/0/0 Lit: 8200 Watch. Lit: 2044
0.00/0.02	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.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0    571      922     7143    7     1844     307      0      0 0.03
0.09/0.10	c Initial Lower Bound: 37
0.09/0.10	c Initial Path Cost: 0
0.09/0.10	o 84	0.102
0.68/0.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.79	c        1    571      924     7730    8     2335    1307      2      9 0.10
0.68/0.79	o 58	0.793 * 
9.38/9.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.38/9.47	c        3    571      927     8323    8     2854    1307      5      3 0.79
9.38/9.47	c      104    571     1129    35648   31     3258    1438    207     44 2.33
9.38/9.47	c      358    571     1636    98422   60     4272    1582    714     74 4.79
9.38/9.47	c      836    571     1714   102176   59     3941    1741    792     95 8.78
9.38/9.47	o 57	9.461 * 
24.78/24.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.78/24.90	c      838    571     1718   103056   59     4463    1307    796     88 9.46
24.78/24.90	c      938    571     1918   123910   64     4863    1438    996     86 10.79
24.78/24.90	c     1188    571     1642    90384   55     3798    1582    720     90 13.13
24.78/24.90	c     1664    571     1714    88468   51     3942    1741    792     97 17.09
24.78/24.90	c     2477    571     2269   148393   65     5052    1916   1347    102 24.25
24.78/24.90	o 56	24.888 * 
36.37/36.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
36.37/36.42	c     2480    571     2276   149671   65     5581    1307   1354     99 24.89
36.37/36.42	c     2582    571     1781    98759   55     4077    1438    859     98 26.10
36.37/36.42	c     2834    571     2285   159240   69     5085    1582   1363     99 28.55
36.37/36.42	c     3310    571     2294   156187   68     5103    1741   1372    101 32.58
36.37/36.42	o 55	36.404 * 
1054.22/1054.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1054.22/1054.72	c     3760    571     2185   129480   59     5401    1307   1263    103 36.40
1054.22/1054.72	c     3861    571     1600    67488   42     3716    1438    678    102 37.74
1054.22/1054.72	c     4112    571     2101   115829   55     4718    1582   1179    102 40.22
1054.22/1054.72	c     4588    571     2119   111338   52     4754    1741   1197    103 44.22
1054.22/1054.72	c     5403    571     1794    90668   50     4104    1916    872    105 51.09
1054.22/1054.72	c     6724    571     2233   124591   55     4982    2108   1311    108 62.07
1054.22/1054.72	c     8806    571     2736   194314   71     5988    2319   1814    112 78.51
1054.22/1054.72	c    12031    571     2539   183415   72     5594    2551   1617    116 103.54
1054.22/1054.72	c    16969    571     2450   133301   54     5416    2807   1528    118 143.76
1054.22/1054.72	c    24476    571     3492   263349   75     7500    3088   2570    117 208.23
1054.22/1054.72	c    35840    571     2687   152742   56     5890    3397   1765    118 301.41
1054.22/1054.72	c    52986    571     3435   282690   82     7386    3737   2513    116 456.08
1054.22/1054.72	c    78808    571     3408   196034   57     7332    4111   2486    114 690.28
1054.22/1054.72	c   117644    571     4156   306522   73     8828    4523   3234    114 1030.86
1054.22/1054.72	o 54	1054.24 * 
1800.05/1800.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.05/1800.80	c   120465    571     4978   417380   83    10989    1307   4056    114 1054.24
1800.05/1800.80	c   120566    571     1779    96301   54     4075    1438    857    114 1055.62
1800.05/1800.80	c   120820    571     2284   139004   60     5085    1582   1362    114 1058.51
1800.05/1800.80	c   121295    571     2279   145261   63     5075    1741   1357    114 1063.17
1800.05/1800.80	c   122109    571     1902    95752   50     4321    1916    980    114 1070.38
1800.05/1800.80	c   123429    571     2285   152088   66     5087    2108   1363    114 1080.55
1800.05/1800.80	c   125515    571     2906   165337   56     6329    2319   1984    114 1099.68
1800.05/1800.80	c   128740    571     2840   157645   55     6197    2551   1918    114 1128.59
1800.05/1800.80	c   133678    571     2971   157754   53     6459    2807   2049    113 1173.18
1800.05/1800.80	c   141185    571     2552   155166   60     5621    3088   1630    114 1230.96
1800.05/1800.80	c   152546    571     2920   193628   66     6357    3397   1998    115 1321.75
1800.05/1800.80	c   169690    571     4271   262698   61     9059    3737   3349    116 1454.94
1800.05/1800.80	c   195511    571     3967   237051   59     8451    4111   3045    117 1657.41
1800.05/1800.80	c Caught signal: 15
1800.05/1800.80	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
1800.05/1800.80	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
1800.05/1800.80	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
1800.05/1800.80	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
1800.05/1800.80	v -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127
1800.05/1800.80	v -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 x147 -x148
1800.05/1800.80	v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169
1800.05/1800.80	v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190
1800.05/1800.80	v x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211
1800.05/1800.80	v -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232
1800.05/1800.80	v -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253
1800.05/1800.80	v -x254 -x255 -x256 -x257 -x258 x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274
1800.05/1800.80	v -x275 -x276 -x277 -x278 x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295
1800.05/1800.80	v -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316
1800.05/1800.80	v -x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337
1800.05/1800.80	v -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358
1800.05/1800.80	v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379
1800.05/1800.80	v -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
1800.05/1800.80	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421
1800.05/1800.80	v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442
1800.05/1800.80	v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463
1800.05/1800.80	v -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484
1800.05/1800.80	v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505
1800.05/1800.80	v -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526
1800.05/1800.80	v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547
1800.05/1800.80	v -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568
1800.05/1800.80	v -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 -x585 -x586 -x587 -x588 -x589
1800.05/1800.80	v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607
1800.05/1800.80	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.05/1800.80	c   41   211875   3076   221214     3110   240382   2188    117 1800.06
1800.05/1800.80	c Objective: 54
1800.05/1800.80	s SATISFIABLE
1800.05/1800.80	c Total time: 1800.06 s

Verifier Data (download as text)

OK	54

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node46/watcher-432931-1177952363 -o ROOT/results/node46/solver-432931-1177952363 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432931-1177952363/instance-432931-1177952363.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.94 0.98 0.99 3/78 16504
/proc/meminfo: memFree=1740080/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=3828 CPUtime=0
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 163 0 0 0 0 0 0 0 18 0 1 0 149919270 3919872 143 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7799996 0 0 4096 0 0 0 0 17 1 0 0
/proc/16504/statm: 945 136 112 324 0 15 0

[startup+0.0151221 s]
/proc/loadavg: 0.94 0.98 0.99 3/78 16504
/proc/meminfo: memFree=1740080/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=4136 CPUtime=0
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 411 0 0 0 0 0 0 0 18 0 1 0 149919270 4235264 381 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8230523 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 1034 381 293 324 0 85 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4136

[startup+0.102137 s]
/proc/loadavg: 0.94 0.98 0.99 3/78 16504
/proc/meminfo: memFree=1740080/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=6412 CPUtime=0.09
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 968 0 0 0 9 0 0 0 18 0 1 0 149919270 6565888 877 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313110 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 1603 877 390 324 0 673 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6412

[startup+0.301174 s]
/proc/loadavg: 0.94 0.98 0.99 3/78 16504
/proc/meminfo: memFree=1740080/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=5964 CPUtime=0.29
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 5446 0 0 0 27 2 0 0 19 0 1 0 149919270 6107136 743 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135259740 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 1491 746 395 324 0 561 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5964

[startup+0.701249 s]
/proc/loadavg: 0.94 0.98 0.99 3/78 16504
/proc/meminfo: memFree=1740080/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=4952 CPUtime=0.68
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 16034 0 0 0 63 5 0 0 23 0 1 0 149919270 5070848 711 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 1238 711 395 324 0 308 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 4952

[startup+1.5014 s]
/proc/loadavg: 0.94 0.98 0.99 2/79 16505
/proc/meminfo: memFree=1738600/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=6140 CPUtime=1.49
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 32055 0 0 0 137 12 0 0 25 0 1 0 149919270 6287360 826 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134690021 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 1535 827 395 324 0 605 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6140

[startup+3.10169 s]
/proc/loadavg: 0.94 0.98 0.99 2/79 16505
/proc/meminfo: memFree=1737896/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=5588 CPUtime=3.08
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 53534 0 0 0 287 21 0 0 25 0 1 0 149919270 5722112 874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 1397 874 395 324 0 467 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 5588

[startup+6.30128 s]
/proc/loadavg: 0.94 0.98 0.99 2/79 16505
/proc/meminfo: memFree=1736616/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=8056 CPUtime=6.28
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 88739 0 0 0 593 35 0 0 25 0 1 0 149919270 8249344 1250 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8230523 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 2014 1250 395 324 0 1084 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 8056

[startup+12.7015 s]
/proc/loadavg: 0.95 0.98 0.99 2/79 16505
/proc/meminfo: memFree=1735152/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=9024 CPUtime=12.68
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 160071 0 0 0 1199 69 0 0 25 0 1 0 149919270 9240576 1518 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134687798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 2256 1518 395 324 0 1326 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 9024

[startup+25.5028 s]
/proc/loadavg: 0.96 0.98 0.99 2/79 16505
/proc/meminfo: memFree=1734896/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=9324 CPUtime=25.48
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 277740 0 0 0 2423 125 0 0 25 0 1 0 149919270 9547776 1584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 2331 1584 395 324 0 1401 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9324

[startup+51.1016 s]
/proc/loadavg: 0.97 0.98 0.99 2/79 16505
/proc/meminfo: memFree=1734960/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=8468 CPUtime=51.06
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 488427 0 0 0 4866 240 0 0 25 0 1 0 149919270 8671232 1587 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8226641 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 2117 1587 395 324 0 1187 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 8468

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/85 16571
/proc/meminfo: memFree=1732864/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=9372 CPUtime=102.24
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 944454 0 0 0 9750 474 0 0 25 0 1 0 149919270 9596928 1805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 2343 1805 395 324 0 1413 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 9372

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 3/79 16703
/proc/meminfo: memFree=1733608/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=10752 CPUtime=162.14
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 1497966 0 0 0 15458 756 0 0 25 0 1 0 149919270 11010048 1878 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8232014 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 2525 1865 398 324 0 1595 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 10752

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16703
/proc/meminfo: memFree=1733552/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=10800 CPUtime=222.11
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 2084388 0 0 0 21177 1034 0 0 25 0 1 0 149919270 11059200 1904 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8232014 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 2700 1904 395 324 0 1770 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 10800

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16703
/proc/meminfo: memFree=1733616/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=10752 CPUtime=282.1
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 2619589 0 0 0 26909 1301 0 0 25 0 1 0 149919270 11010048 1906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8232014 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 2688 1906 395 324 0 1758 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 10752

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16703
/proc/meminfo: memFree=1731760/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=12672 CPUtime=342.08
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 3183577 0 0 0 32633 1575 0 0 25 0 1 0 149919270 12976128 2370 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8232014 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 3048 2362 395 324 0 2118 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 12672

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16703
/proc/meminfo: memFree=1731760/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=11552 CPUtime=402.05
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 3701302 0 0 0 38375 1830 0 0 25 0 1 0 149919270 11829248 2354 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 2888 2354 395 324 0 1958 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 11552

[startup+462.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16703
/proc/meminfo: memFree=1731696/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=11552 CPUtime=462.03
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 4134792 0 0 0 44152 2051 0 0 25 0 1 0 149919270 11829248 2354 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 2888 2354 395 324 0 1958 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 11552

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16703
/proc/meminfo: memFree=1731952/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=11240 CPUtime=522.01
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 4667350 0 0 0 49894 2307 0 0 25 0 1 0 149919270 11509760 2287 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 2810 2287 395 324 0 1880 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 11240

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16703
/proc/meminfo: memFree=1732016/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=12060 CPUtime=581.99
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 5225274 0 0 0 55629 2570 0 0 25 0 1 0 149919270 12349440 2302 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135265573 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 3015 2302 395 324 0 2085 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 12060

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16703
/proc/meminfo: memFree=1732080/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=12416 CPUtime=641.97
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 5767295 0 0 0 61366 2831 0 0 25 0 1 0 149919270 12713984 2310 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 3104 2310 395 324 0 2174 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 12416


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16703
/proc/meminfo: memFree=1732144/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=12364 CPUtime=821.9
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 7464450 0 0 0 78541 3649 0 0 25 0 1 0 149919270 12660736 2304 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8232014 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 3091 2304 395 324 0 2161 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 12364

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16703
/proc/meminfo: memFree=1732080/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=11244 CPUtime=881.88
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 8030202 0 0 0 84256 3932 0 0 25 0 1 0 149919270 11513856 2288 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 2811 2288 395 324 0 1881 0
Current children cumulated CPU time (s) 881.88
Current children cumulated vsize (KiB) 11244

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16703
/proc/meminfo: memFree=1732080/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=11244 CPUtime=941.86
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 8605612 0 0 0 89965 4221 0 0 25 0 1 0 149919270 11513856 2288 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 2811 2288 395 324 0 1881 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 11244

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16703
/proc/meminfo: memFree=1731568/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=12676 CPUtime=1001.83
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 9140257 0 0 0 95694 4489 0 0 25 0 1 0 149919270 12980224 2425 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8232014 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 3169 2425 395 324 0 2239 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 12676

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16703
/proc/meminfo: memFree=1731120/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=13124 CPUtime=1061.81
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 9696830 0 0 0 101411 4770 0 0 25 0 1 0 149919270 13438976 2528 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 3281 2528 395 324 0 2351 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 13124

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16703
/proc/meminfo: memFree=1731184/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=12136 CPUtime=1121.8
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 10155388 0 0 0 107170 5010 0 0 25 0 1 0 149919270 12427264 2511 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 3197 2515 395 324 0 2267 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 12136

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16703
/proc/meminfo: memFree=1731184/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=13072 CPUtime=1181.77
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 10616307 0 0 0 112928 5249 0 0 25 0 1 0 149919270 13385728 2522 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8232014 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 3268 2522 395 324 0 2338 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 13072

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16703
/proc/meminfo: memFree=1731120/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=12132 CPUtime=1241.75
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 11103365 0 0 0 118670 5505 0 0 25 0 1 0 149919270 12423168 2510 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 3033 2510 395 324 0 2103 0
Current children cumulated CPU time (s) 1241.75
Current children cumulated vsize (KiB) 12132

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16703
/proc/meminfo: memFree=1731184/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=12768 CPUtime=1301.73
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 11597386 0 0 0 124412 5761 0 0 25 0 1 0 149919270 13074432 2517 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134690021 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 3192 2517 395 324 0 2262 0
Current children cumulated CPU time (s) 1301.73
Current children cumulated vsize (KiB) 12768

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16703
/proc/meminfo: memFree=1731184/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=12908 CPUtime=1361.71
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 12079017 0 0 0 130164 6007 0 0 25 0 1 0 149919270 13217792 2520 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8232014 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 3227 2520 395 324 0 2297 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 12908

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16703
/proc/meminfo: memFree=1731248/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=13088 CPUtime=1421.69
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 12558975 0 0 0 135913 6256 0 0 25 0 1 0 149919270 13402112 2525 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 3272 2525 395 324 0 2342 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 13088

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16703
/proc/meminfo: memFree=1731248/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=12132 CPUtime=1481.66
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 13037378 0 0 0 141672 6494 0 0 25 0 1 0 149919270 12423168 2510 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8226826 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 3033 2510 395 324 0 2103 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 12132

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16703
/proc/meminfo: memFree=1731248/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=13068 CPUtime=1541.64
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 13487904 0 0 0 147440 6724 0 0 25 0 1 0 149919270 13381632 2523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8232014 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 3267 2523 395 324 0 2337 0
Current children cumulated CPU time (s) 1541.64
Current children cumulated vsize (KiB) 13068

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16703
/proc/meminfo: memFree=1731312/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=12768 CPUtime=1601.62
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 13953657 0 0 0 153182 6980 0 0 25 0 1 0 149919270 13074432 2519 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135245565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 3192 2520 395 324 0 2262 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 12768

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16703
/proc/meminfo: memFree=1731184/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=12596 CPUtime=1661.59
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 14420718 0 0 0 158931 7228 0 0 25 0 1 0 149919270 12898304 2517 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135254637 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 3149 2517 395 324 0 2219 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 12596

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16703
/proc/meminfo: memFree=1731184/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=12288 CPUtime=1721.57
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 14916632 0 0 0 164677 7480 0 0 25 0 1 0 149919270 12582912 2539 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 3072 2539 395 324 0 2142 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 12288

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16703
/proc/meminfo: memFree=1731184/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=12288 CPUtime=1781.55
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 15456340 0 0 0 170393 7762 0 0 25 0 1 0 149919270 12582912 2540 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 3072 2540 395 324 0 2142 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 12288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 16703
/proc/meminfo: memFree=1731184/2055920 swapFree=4159800/4192956
[pid=16504] ppid=16502 vsize=12288 CPUtime=1800.05
/proc/16504/stat : 16504 (bsolo3.0.17) R 16502 16504 15411 0 -1 4194304 15623011 0 0 0 172157 7848 0 0 25 0 1 0 149919270 12582912 2540 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134596383 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16504/statm: 3072 2540 395 324 0 2142 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 12288

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 15
Real time (s): 1800.82
CPU time (s): 1800.06
CPU user time (s): 1721.57
CPU system time (s): 78.4871
CPU usage (%): 99.9579
Max. virtual memory (cumulated for all children) (KiB): 13592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1721.57
system time used= 78.4871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15623014
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= 13
involuntary context switches= 37711

runsolver used 1.85372 second user time and 3.9464 second system time

The end

Launcher Data (download as text)

Begin job on node46 on Mon Apr 30 16:59:23 UTC 2007

IDJOB= 432931
IDBENCH= 2053
IDSOLVER= 199
FILE ID= node46/432931-1177952363

PBS_JOBID= 4727814

Free space on /tmp= 66214 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  4a444f89cff56050e88660d23e3d8694

RANDOM SEED= 824278360

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node46.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	: 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.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:       1740552 kB
Buffers:         40596 kB
Cached:         180152 kB
SwapCached:       2972 kB
Active:         125156 kB
Inactive:       119944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1740552 kB
SwapTotal:     4192956 kB
SwapFree:      4159800 kB
Dirty:            6828 kB
Writeback:           0 kB
Mapped:          31992 kB
Slab:            55652 kB
Committed_AS:  3558392 kB
PageTables:       1996 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= 66214 MiB

End job on node46 on Mon Apr 30 17:29:26 UTC 2007