Trace number 1880577

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
bsolo 3.1 pbSAT7 1798.09 1798.76

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-rd84.b.opb
MD5SUM6560abb26f607ef952ebe1a74dd5dae1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark77.5822
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables1009
Total number of constraints3773
Number of constraints which are clauses3773
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 constraint5
Maximum length of a constraint446
Number of terms in the objective function 1009
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 1009
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 1009
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 

0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Generic Pseudo-Boolean Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1880577-1245239948.opb
0.00/0.00	c File size is 2094194 bytes.
0.19/0.27	c Highest Coefficient sum: 1009
0.19/0.27	c Parsing was ok!!
0.19/0.27	c Total parsing time: 0.274 s
0.19/0.27	c Var: 1009 Constr: 3773 3773/0/0 Lit: 262156 Watch. Lit: 7546
0.19/0.27	c Obj. Vars: 1009 (100 % of total variables)
4.40/4.47	c Formula reductions applied at preprocessing
4.40/4.47	c Pre-processing Time: 4.471 s
5.29/5.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.29/5.33	c        0    970     3342   203711   60     6684    1113      0      0 4.47
5.29/5.33	c Initial Lower Bound: 5
5.29/5.33	c Initial Path Cost: 0
5.29/5.34	o 9
11.98/12.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.98/12.02	c        1    970     3345   204975   61     7651    2113      3      0 5.34
11.98/12.02	o 7
1798.03/1798.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1798.03/1798.74	c        1    970     3346   205945   61     8616    2113      4      0 12.01
1798.03/1798.74	c      112    970     3652   426955  116     9228    2325    310      4 27.01
1798.03/1798.74	c      367    970     4381  1002204  228    10686    2558   1039      5 71.22
1798.03/1798.74	c      842    970     5783  2033932  351    13490    2814   2441      5 154.90
1798.03/1798.74	c     1658    970     5945  2061881  346    12853    3096   2603      5 284.09
1798.03/1798.74	c     2980    970     4944  1184784  239    11391    3406   1602      5 561.06
1798.03/1798.74	c     5061    970     5783  1636984  283    12529    3747   2441      5 973.76
1798.03/1798.74	c     8284    970     6993  1927383  275    14949    4122   3651      4 1692.19
1798.03/1798.74	c Resources Exceeded
1798.03/1798.74	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 
1798.03/1798.74	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.03/1798.74	c    9     8721   4321    45902     5583  1244229   2241      4 1798.08
1798.03/1798.74	c Objective: 7
1798.03/1798.74	s SATISFIABLE
1798.03/1798.74	c Total time: 1798.08 s

Verifier Data 

OK	7

Watcher Data 

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 11966
/proc/meminfo: memFree=1747760/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=20584 CPUtime=0
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 252 0 0 0 0 0 0 0 18 0 1 0 76727759 21078016 236 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 5146 236 175 640 0 3990 0

[startup+0.104708 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 11966
/proc/meminfo: memFree=1747760/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=14072 CPUtime=0.1
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 768 0 0 0 10 0 0 0 18 0 1 0 76727759 14409728 752 1992294400 134512640 137136520 4294956256 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 3518 752 361 640 0 2362 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 14072

[startup+0.201726 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 11966
/proc/meminfo: memFree=1747760/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=15368 CPUtime=0.19
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 1266 0 0 0 19 0 0 0 18 0 1 0 76727759 15736832 1250 1992294400 134512640 137136520 4294956256 18446744073709551615 136734650 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 3842 1250 542 640 0 2686 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 15368

[startup+0.301746 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 11966
/proc/meminfo: memFree=1747760/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=17924 CPUtime=0.29
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 2593 0 0 0 29 0 0 0 19 0 1 0 76727759 18354176 2065 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 4481 2067 190 640 0 3837 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17924

[startup+0.701824 s]
/proc/loadavg: 0.91 0.95 0.90 3/64 11966
/proc/meminfo: memFree=1747760/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=18584 CPUtime=0.69
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 2758 0 0 0 68 1 0 0 23 0 1 0 76727759 19030016 2230 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 4646 2230 190 640 0 4002 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18584

[startup+1.50198 s]
/proc/loadavg: 0.91 0.95 0.90 2/65 11967
/proc/meminfo: memFree=1739560/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=18584 CPUtime=1.49
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 2758 0 0 0 148 1 0 0 25 0 1 0 76727759 19030016 2230 1992294400 134512640 137136520 4294956256 18446744073709551615 134532597 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 4646 2230 190 640 0 4002 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18584

[startup+3.1013 s]
/proc/loadavg: 0.91 0.95 0.90 2/65 11967
/proc/meminfo: memFree=1739432/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=18584 CPUtime=3.09
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 2758 0 0 0 307 2 0 0 25 0 1 0 76727759 19030016 2230 1992294400 134512640 137136520 4294956256 18446744073709551615 134549005 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 4646 2230 190 640 0 4002 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18584

[startup+6.30194 s]
/proc/loadavg: 0.92 0.95 0.90 2/65 11967
/proc/meminfo: memFree=1736744/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=20584 CPUtime=6.28
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 87297 0 0 0 591 37 0 0 25 0 1 0 76727759 21078016 2839 1992294400 134512640 137136520 4294956256 18446744073709551615 135781768 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 5146 2839 292 640 0 4502 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20584

[startup+12.7012 s]
/proc/loadavg: 0.93 0.95 0.90 2/65 11967
/proc/meminfo: memFree=1736040/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=18992 CPUtime=12.68
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 236935 0 0 0 1171 97 0 0 25 0 1 0 76727759 19447808 2442 1992294400 134512640 137136520 4294956256 18446744073709551615 134748237 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 4748 2442 293 640 0 4104 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18992

[startup+25.5018 s]
/proc/loadavg: 0.94 0.96 0.91 2/65 11967
/proc/meminfo: memFree=1734504/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=19680 CPUtime=25.48
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 577842 0 0 0 2314 234 0 0 25 0 1 0 76727759 20152320 2614 1992294400 134512640 137136520 4294956256 18446744073709551615 134748125 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 4920 2614 293 640 0 4276 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19680

[startup+51.1019 s]
/proc/loadavg: 0.96 0.96 0.91 2/65 11967
/proc/meminfo: memFree=1737192/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=23132 CPUtime=51.04
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 1486505 0 0 0 4511 593 0 0 25 0 1 0 76727759 23687168 3477 1992294400 134512640 137136520 4294956256 18446744073709551615 135781768 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 5783 3477 293 640 0 5139 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 23132

[startup+102.301 s]
/proc/loadavg: 0.98 0.96 0.91 2/65 11967
/proc/meminfo: memFree=1724904/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=36552 CPUtime=102.23
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 3183913 0 0 0 8942 1281 0 0 25 0 1 0 76727759 37429248 5984 1992294400 134512640 137136520 4294956256 18446744073709551615 135442568 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 9138 5984 293 640 0 8494 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 36552

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1713640/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=40548 CPUtime=162.2
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 5112218 0 0 0 14159 2061 0 0 25 0 1 0 76727759 41521152 7831 1992294400 134512640 137136520 4294956256 18446744073709551615 134748148 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 10137 7831 293 640 0 9493 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 40548

[startup+222.306 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1705192/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=52520 CPUtime=222.18
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 7083426 0 0 0 19359 2859 0 0 25 0 1 0 76727759 53780480 10824 1992294400 134512640 137136520 4294956256 18446744073709551615 135781762 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 13130 10824 293 640 0 12486 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 52520

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1704616/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=53036 CPUtime=282.16
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 8085273 0 0 0 24951 3265 0 0 25 0 1 0 76727759 54308864 10701 1992294400 134512640 137136520 4294956256 18446744073709551615 135781765 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 13259 10714 293 640 0 12615 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 53036

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1704616/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=54628 CPUtime=342.14
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 8986093 0 0 0 30582 3632 0 0 25 0 1 0 76727759 55939072 10991 1992294400 134512640 137136520 4294956256 18446744073709551615 134732875 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 13657 10991 293 640 0 13013 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 54628

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1703016/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=57732 CPUtime=402.12
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 10021818 0 0 0 36163 4049 0 0 25 0 1 0 76727759 59117568 11479 1992294400 134512640 137136520 4294956256 18446744073709551615 135455632 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 14433 11479 293 640 0 13789 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 57732

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1702568/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=54792 CPUtime=462.1
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 11321233 0 0 0 41634 4576 0 0 25 0 1 0 76727759 56107008 11391 1992294400 134512640 137136520 4294956256 18446744073709551615 135781731 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 13698 11391 293 640 0 13054 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 54792

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1705192/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=54792 CPUtime=522.08
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 12486859 0 0 0 47166 5042 0 0 25 0 1 0 76727759 56107008 11172 1992294400 134512640 137136520 4294956256 18446744073709551615 135781786 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 13698 11183 293 640 0 13054 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 54792

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1702632/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=57448 CPUtime=582.06
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 13983232 0 0 0 52566 5640 0 0 25 0 1 0 76727759 58826752 11423 1992294400 134512640 137136520 4294956256 18446744073709551615 135410458 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 14362 11423 293 640 0 13718 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 57448

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1705128/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=52940 CPUtime=642.04
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 14995231 0 0 0 58150 6054 0 0 25 0 1 0 76727759 54210560 10796 1992294400 134512640 137136520 4294956256 18446744073709551615 134748187 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 13235 10796 293 640 0 12591 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 52940

[startup+702.302 s]

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

/proc/meminfo: memFree=1702696/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=58780 CPUtime=1121.87
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 25313116 0 0 0 101946 10241 0 0 25 0 1 0 76727759 60190720 11485 1992294400 134512640 137136520 4294956256 18446744073709551615 135455330 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 14695 11485 293 640 0 14051 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 58780

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1702952/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=58192 CPUtime=1181.84
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 26231725 0 0 0 107565 10619 0 0 25 0 1 0 76727759 59588608 11506 1992294400 134512640 137136520 4294956256 18446744073709551615 135455308 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 14548 11508 293 640 0 13904 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 58192

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1701864/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=59272 CPUtime=1241.83
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 27150959 0 0 0 113178 11005 0 0 25 0 1 0 76727759 60694528 11563 1992294400 134512640 137136520 4294956256 18446744073709551615 135455576 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 14818 11563 293 640 0 14174 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 59272

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1702824/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=54828 CPUtime=1301.8
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 28226766 0 0 0 118729 11451 0 0 25 0 1 0 76727759 56143872 11401 1992294400 134512640 137136520 4294956256 18446744073709551615 135781768 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 13707 11401 293 640 0 13063 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 54828

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1702504/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=58148 CPUtime=1361.78
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 28927552 0 0 0 124439 11739 0 0 25 0 1 0 76727759 59543552 10873 1992294400 134512640 137136520 4294956256 18446744073709551615 136571969 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 13881 10823 293 640 0 13237 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 58148

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1702888/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=57592 CPUtime=1421.77
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 30023906 0 0 0 129992 12185 0 0 25 0 1 0 76727759 58974208 11452 1992294400 134512640 137136520 4294956256 18446744073709551615 135387467 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 14398 11452 293 640 0 13754 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 57592

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1702824/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=52432 CPUtime=1481.74
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 31472108 0 0 0 135406 12768 0 0 25 0 1 0 76727759 53690368 10802 1992294400 134512640 137136520 4294956256 18446744073709551615 134748210 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 13108 10802 293 640 0 12464 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 52432

[startup+1542.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1705064/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=58844 CPUtime=1541.72
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 32520215 0 0 0 140971 13201 0 0 25 0 1 0 76727759 60256256 11466 1992294400 134512640 137136520 4294956256 18446744073709551615 134728837 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 14711 11466 293 640 0 14067 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 58844

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1702568/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=58812 CPUtime=1601.69
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 33869666 0 0 0 146418 13751 0 0 25 0 1 0 76727759 60223488 11462 1992294400 134512640 137136520 4294956256 18446744073709551615 134728830 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 14703 11462 293 640 0 14059 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 58812

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1702504/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=59644 CPUtime=1661.68
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 34783221 0 0 0 152042 14126 0 0 25 0 1 0 76727759 61075456 11558 1992294400 134512640 137136520 4294956256 18446744073709551615 134732864 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 14911 11558 293 640 0 14267 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 59644

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1702312/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=52432 CPUtime=1721.65
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 36145905 0 0 0 157496 14669 0 0 25 0 1 0 76727759 53690368 10802 1992294400 134512640 137136520 4294956256 18446744073709551615 134748124 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 13108 10802 293 640 0 12464 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 52432

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1702504/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=58480 CPUtime=1781.63
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 37537023 0 0 0 162925 15238 0 0 25 0 1 0 76727759 59883520 11457 1992294400 134512640 137136520 4294956256 18446744073709551615 135453669 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 14620 11457 293 640 0 13976 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 58480

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

[startup+1792.01 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1702696/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=54820 CPUtime=1791.33
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 37769425 0 0 0 163802 15331 0 0 25 0 1 0 76727759 56135680 11399 1992294400 134512640 137136520 4294956256 18446744073709551615 135781768 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 13705 11399 293 640 0 13061 0
Current children cumulated CPU time (s) 1791.33
Current children cumulated vsize (KiB) 54820

[startup+1795.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1702440/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=58460 CPUtime=1794.54
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 37854007 0 0 0 164090 15364 0 0 25 0 1 0 76727759 59863040 11461 1992294400 134512640 137136520 4294956256 18446744073709551615 134728833 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 14615 11461 293 640 0 13971 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (KiB) 58460

[startup+1796.8 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1702696/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=58568 CPUtime=1796.13
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 37898005 0 0 0 164232 15381 0 0 25 0 1 0 76727759 59973632 11508 1992294400 134512640 137136520 4294956256 18446744073709551615 135068958 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 14642 11508 293 640 0 13998 0
Current children cumulated CPU time (s) 1796.13
Current children cumulated vsize (KiB) 58568

[startup+1797.6 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1702312/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=52432 CPUtime=1796.93
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 37906385 0 0 0 164307 15386 0 0 25 0 1 0 76727759 53690368 10802 1992294400 134512640 137136520 4294956256 18446744073709551615 134748170 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 13108 10802 293 640 0 12464 0
Current children cumulated CPU time (s) 1796.93
Current children cumulated vsize (KiB) 52432

[startup+1798.4 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1702312/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=58336 CPUtime=1797.73
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 37917872 0 0 0 164383 15390 0 0 25 0 1 0 76727759 59736064 11491 1992294400 134512640 137136520 4294956256 18446744073709551615 135078594 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 14584 11491 293 640 0 13940 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 58336

[startup+1798.61 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1702504/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=58368 CPUtime=1797.93
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 37922647 0 0 0 164401 15392 0 0 25 0 1 0 76727759 59768832 11465 1992294400 134512640 137136520 4294956256 18446744073709551615 134732877 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 14592 11465 293 640 0 13948 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 58368

[startup+1798.7 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 11973
/proc/meminfo: memFree=1702504/2055920 swapFree=4191900/4192956
[pid=11966] ppid=11964 vsize=58480 CPUtime=1798.03
/proc/11966/stat : 11966 (bsolo) R 11964 11966 11807 0 -1 4194304 37923446 0 0 0 164411 15392 0 0 25 0 1 0 76727759 59883520 11497 1992294400 134512640 137136520 4294956256 18446744073709551615 135356672 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11966/statm: 14620 11497 293 640 0 13976 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 58480

Child status: 0
Real time (s): 1798.76
CPU time (s): 1798.09
CPU user time (s): 1644.16
CPU system time (s): 153.935
CPU usage (%): 99.9631
Max. virtual memory (cumulated for all children) (KiB): 61052

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

runsolver used 1.74173 second user time and 4.80527 second system time

The end

Launcher Data 

Begin job on node33 at 2009-06-17 13:59:08
IDJOB=1880577
IDBENCH=2838
IDSOLVER=701
FILE ID=node33/1880577-1245239948
PBS_JOBID= 9372305
Free space on /tmp= 65952 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-rd84.b.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1880577-1245239948/watcher-1880577-1245239948 -o /tmp/evaluation-result-1880577-1245239948/solver-1880577-1245239948 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1880577-1245239948.opb

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

MD5SUM BENCH= 6560abb26f607ef952ebe1a74dd5dae1
RANDOM SEED=1077642375

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1748248 kB
Buffers:         63724 kB
Cached:         159544 kB
SwapCached:        384 kB
Active:         108028 kB
Inactive:       128696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1748248 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            5988 kB
Writeback:           0 kB
Mapped:          21808 kB
Slab:            56912 kB
Committed_AS:   154884 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1880577-1245239948.opb

Free space on /tmp at the end= 65948 MiB
End job on node33 at 2009-06-17 14:29:07