Trace number 3490536

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 NameAnswerobjective functionCPU timeWall clock time
MinisatID 2.5.2 (fixed)? (TO)-24 1800.07 1800.02

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb
MD5SUMe1b2be59a127acc8d929395698929541
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-40
Best CPU time to get the best result obtained on this benchmark1797.31
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -45
Optimality of the best value was proved NO
Number of variables945
Total number of constraints58549
Number of constraints which are clauses58549
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 945
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 945
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 945
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	>>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true.
1800.04/1800.00	>>> Terminate signal received
1800.04/1800.00	o 0
1800.04/1800.00	o -1
1800.04/1800.00	o -2
1800.04/1800.00	o -3
1800.04/1800.00	o -4
1800.04/1800.00	o -5
1800.04/1800.00	o -6
1800.04/1800.00	o -7
1800.04/1800.00	o -8
1800.04/1800.00	o -9
1800.04/1800.00	o -10
1800.04/1800.00	o -11
1800.04/1800.00	o -12
1800.04/1800.00	o -13
1800.04/1800.00	o -14
1800.04/1800.00	o -15
1800.04/1800.00	o -16
1800.04/1800.00	o -17
1800.04/1800.00	o -18
1800.04/1800.00	o -19
1800.04/1800.00	o -20
1800.04/1800.00	o -21
1800.04/1800.00	o -22
1800.04/1800.00	o -23
1800.04/1800.00	o -24
1800.04/1800.00	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

Verifier Data 

OK	-24

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3490536-1307772068/watcher-3490536-1307772068 -o /tmp/evaluation-result-3490536-1307772068/solver-3490536-1307772068 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490536-1307772068.opb --verbosity=0 --format=opb --randomseed=573756033 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 16927
/proc/meminfo: memFree=31787764/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=7712 CPUtime=0 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 451 0 0 0 0 0 0 0 25 0 1 0 869622327 7897088 403 33554432000 4194304 6720400 140737347929216 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16927/statm: 1928 403 232 617 0 1302 0

[startup+0.0139759 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 16927
/proc/meminfo: memFree=31787764/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=8480 CPUtime=0.01 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 635 0 0 0 1 0 0 0 25 0 1 0 869622327 8683520 587 33554432000 4194304 6720400 140737347929216 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16927/statm: 2120 588 232 617 0 1494 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8480

[startup+0.100961 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 16927
/proc/meminfo: memFree=31787764/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=16032 CPUtime=0.09 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 2535 0 0 0 9 0 0 0 25 0 1 0 869622327 16416768 2487 33554432000 4194304 6720400 140737347929216 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16927/statm: 4008 2488 232 617 0 3382 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16032

[startup+0.300925 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 16927
/proc/meminfo: memFree=31787764/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=36296 CPUtime=0.29 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 7713 0 0 0 28 1 0 0 25 0 1 0 869622327 37167104 7438 33554432000 4194304 6720400 140737347929216 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16927/statm: 9074 7439 245 617 0 8448 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36296

[startup+0.700847 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 16927
/proc/meminfo: memFree=31787764/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=87068 CPUtime=0.69 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 20471 0 0 0 67 2 0 0 25 0 1 0 869622327 89157632 20196 33554432000 4194304 6720400 140737347929216 18446744073709551615 4805646 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16927/statm: 21767 20196 257 617 0 21141 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87068

[startup+1.50071 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 16928
/proc/meminfo: memFree=31694284/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=94208 CPUtime=1.49 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 23345 0 0 0 147 2 0 0 25 0 1 0 869622327 96468992 23064 33554432000 4194304 6720400 140737347929216 18446744073709551615 4719229 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16927/statm: 23552 23064 265 617 0 22926 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 94208

[startup+3.10042 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 16928
/proc/meminfo: memFree=31665640/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=102980 CPUtime=3.09 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 38184 0 0 0 305 4 0 0 25 0 1 0 869622327 105451520 23602 33554432000 4194304 6720400 140737347929216 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16927/statm: 25745 23602 265 617 0 25119 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 102980

[startup+6.30082 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 16929
/proc/meminfo: memFree=31607216/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=134808 CPUtime=6.29 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 64890 0 0 0 622 7 0 0 25 0 1 0 869622327 138043392 33242 33554432000 4194304 6720400 140737347929216 18446744073709551615 4812234 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16927/statm: 33702 33242 265 617 0 33076 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 134808

[startup+12.7007 s]
/proc/loadavg: 1.93 1.98 1.99 4/178 16929
/proc/meminfo: memFree=31541304/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=202804 CPUtime=12.69 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 103704 0 0 0 1257 12 0 0 25 0 1 0 869622327 207671296 45794 33554432000 4194304 6720400 140737347929216 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16927/statm: 50701 45794 265 617 0 50075 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 202804

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 16929
/proc/meminfo: memFree=31507332/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=153484 CPUtime=25.49 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 182947 0 0 0 2528 21 0 0 25 0 1 0 869622327 157167616 37914 33554432000 4194304 6720400 140737347929216 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16927/statm: 38371 37914 265 617 0 37745 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 153484

[startup+51.1006 s]
/proc/loadavg: 1.96 1.98 1.99 3/178 16930
/proc/meminfo: memFree=31418228/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=251224 CPUtime=51.09 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 370637 0 0 0 5065 44 0 0 25 0 1 0 869622327 257253376 54890 33554432000 4194304 6720400 140737347929216 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16927/statm: 62806 54890 265 617 0 62180 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 251224

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 16931
/proc/meminfo: memFree=31412256/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=220404 CPUtime=102.3 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 736960 0 0 0 10132 98 0 0 25 0 1 0 869622327 225693696 51863 33554432000 4194304 6720400 140737347929216 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16927/statm: 55101 51863 265 617 0 54475 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 220404

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16933
/proc/meminfo: memFree=31415956/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=267876 CPUtime=162.29 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 1138980 0 0 0 16079 150 0 0 25 0 1 0 869622327 274305024 62731 33554432000 4194304 6720400 140737347929216 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16927/statm: 66969 62731 265 617 0 66343 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 267876

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16934
/proc/meminfo: memFree=31336456/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=342652 CPUtime=222.29 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 1557785 0 0 0 22020 209 0 0 25 0 1 0 869622327 350875648 73491 33554432000 4194304 6720400 140737347929216 18446744073709551615 4603116 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/16927/statm: 85663 73511 265 617 0 85037 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 342652

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16936
/proc/meminfo: memFree=31426452/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=213192 CPUtime=282.29 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 1900618 0 0 0 27969 260 0 0 25 0 1 0 869622327 218308608 52847 33554432000 4194304 6720400 140737347929216 18446744073709551615 4805649 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16927/statm: 53298 52847 265 617 0 52672 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 213192

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16937
/proc/meminfo: memFree=31337024/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=293332 CPUtime=342.3 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 2269616 0 0 0 33921 309 0 0 25 0 1 0 869622327 300371968 65886 33554432000 4194304 6720400 140737347929216 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16927/statm: 73333 65886 265 617 0 72707 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 293332

[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16939
/proc/meminfo: memFree=31340104/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=293332 CPUtime=402.3 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 2627444 0 0 0 39873 357 0 0 25 0 1 0 869622327 300371968 69348 33554432000 4194304 6720400 140737347929216 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16927/statm: 73333 69348 265 617 0 72707 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 293332

[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16941
/proc/meminfo: memFree=31341444/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=298496 CPUtime=462.3 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 2962670 0 0 0 45828 402 0 0 25 0 1 0 869622327 305659904 69227 33554432000 4194304 6720400 140737347929216 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16927/statm: 74624 69227 265 617 0 73998 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 298496

[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16942
/proc/meminfo: memFree=31275956/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=273872 CPUtime=522.3 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 3362279 0 0 0 51771 459 0 0 25 0 1 0 869622327 280444928 65622 33554432000 4194304 6720400 140737347929216 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16927/statm: 68468 65622 265 617 0 67842 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 273872

[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16944
/proc/meminfo: memFree=31323904/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=279052 CPUtime=582.3 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 3686949 0 0 0 57724 506 0 0 25 0 1 0 869622327 285749248 68003 33554432000 4194304 6720400 140737347929216 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16927/statm: 69763 68003 265 617 0 69137 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 279052

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16950
/proc/meminfo: memFree=31241848/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=294596 CPUtime=822.31 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 5128641 0 0 0 81513 718 0 0 25 0 1 0 869622327 301666304 70891 33554432000 4194304 6720400 140737347929216 18446744073709551615 4802230 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16927/statm: 73649 70892 265 617 0 73023 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 294596

[startup+882.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16952
/proc/meminfo: memFree=31229908/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=329208 CPUtime=882.31 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 5450674 0 0 0 87469 762 0 0 25 0 1 0 869622327 337108992 78356 33554432000 4194304 6720400 140737347929216 18446744073709551615 4812230 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16927/statm: 82302 78357 265 617 0 81676 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 329208

[startup+942.3 s]
/proc/loadavg: 2.10 2.01 2.00 3/178 16953
/proc/meminfo: memFree=31299200/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=250680 CPUtime=942.31 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 5635614 0 0 0 93442 789 0 0 25 0 1 0 869622327 256696320 62219 33554432000 4194304 6720400 140737347929216 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16927/statm: 62670 62219 265 617 0 62044 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 250680

[startup+1002.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 16955
/proc/meminfo: memFree=31253172/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=300384 CPUtime=1002.32 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 5800150 0 0 0 99422 810 0 0 25 0 1 0 869622327 307593216 71216 33554432000 4194304 6720400 140737347929216 18446744073709551615 4816960 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16927/statm: 75096 71218 265 617 0 74470 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 300384

[startup+1062.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 16957
/proc/meminfo: memFree=31293700/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=300384 CPUtime=1062.32 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 6087085 0 0 0 105383 849 0 0 25 0 1 0 869622327 307593216 73448 33554432000 4194304 6720400 140737347929216 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16927/statm: 75096 73448 265 617 0 74470 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 300384

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16958
/proc/meminfo: memFree=31301120/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=300384 CPUtime=1122.32 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 6373982 0 0 0 111344 888 0 0 25 0 1 0 869622327 307593216 70375 33554432000 4194304 6720400 140737347929216 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16927/statm: 75096 70375 265 617 0 74470 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 300384

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 16960
/proc/meminfo: memFree=31302700/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=251064 CPUtime=1182.32 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 6636143 0 0 0 117305 927 0 0 25 0 1 0 869622327 257089536 62315 33554432000 4194304 6720400 140737347929216 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16927/statm: 62766 62315 265 617 0 62140 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 251064

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16961
/proc/meminfo: memFree=31284452/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=251064 CPUtime=1242.32 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 6900505 0 0 0 123267 965 0 0 25 0 1 0 869622327 257089536 62316 33554432000 4194304 6720400 140737347929216 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16927/statm: 62766 62316 265 617 0 62140 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 251064

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16963
/proc/meminfo: memFree=31230872/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=350128 CPUtime=1302.33 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 7161348 0 0 0 129234 999 0 0 25 0 1 0 869622327 358531072 75570 33554432000 4194304 6720400 140737347929216 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16927/statm: 87532 75571 265 617 0 86906 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 350128

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16965
/proc/meminfo: memFree=31308844/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=319308 CPUtime=1362.33 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 7504039 0 0 0 135189 1044 0 0 25 0 1 0 869622327 326971392 72686 33554432000 4194304 6720400 140737347929216 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16927/statm: 79827 72686 265 617 0 79201 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 319308

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16966
/proc/meminfo: memFree=31176520/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=269988 CPUtime=1422.33 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 7791005 0 0 0 141147 1086 0 0 25 0 1 0 869622327 276467712 62378 33554432000 4194304 6720400 140737347929216 18446744073709551615 4816966 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16927/statm: 67497 62378 265 617 0 66871 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 269988

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 16971
/proc/meminfo: memFree=31195648/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=350128 CPUtime=1482.33 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 8058185 0 0 0 147113 1120 0 0 25 0 1 0 869622327 358531072 79819 33554432000 4194304 6720400 140737347929216 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16927/statm: 87532 79819 265 617 0 86906 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 350128

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16972
/proc/meminfo: memFree=31288232/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=350128 CPUtime=1542.33 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 8299283 0 0 0 153081 1152 0 0 25 0 1 0 869622327 358531072 76650 33554432000 4194304 6720400 140737347929216 18446744073709551615 4803297 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16927/statm: 87532 76650 265 617 0 86906 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 350128

[startup+1602.3 s]
/proc/loadavg: 2.09 2.02 2.01 3/178 16974
/proc/meminfo: memFree=31283132/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=319308 CPUtime=1602.34 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 8595293 0 0 0 159041 1193 0 0 25 0 1 0 869622327 326971392 73398 33554432000 4194304 6720400 140737347929216 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16927/statm: 79827 73398 265 617 0 79201 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 319308

[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 16976
/proc/meminfo: memFree=31256948/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=269988 CPUtime=1662.34 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 8839338 0 0 0 165006 1228 0 0 25 0 1 0 869622327 276467712 63168 33554432000 4194304 6720400 140737347929216 18446744073709551615 5507568 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16927/statm: 67497 63168 265 617 0 66871 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 269988

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 16977
/proc/meminfo: memFree=31264860/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=319308 CPUtime=1722.34 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 9097127 0 0 0 170971 1263 0 0 25 0 1 0 869622327 326971392 72080 33554432000 4194304 6720400 140737347929216 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16927/statm: 79827 72080 265 617 0 79201 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 319308

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16979
/proc/meminfo: memFree=31261116/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=269988 CPUtime=1782.34 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 9330961 0 0 0 176938 1296 0 0 25 0 1 0 869622327 276467712 63263 33554432000 4194304 6720400 140737347929216 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16927/statm: 67497 63263 265 617 0 66871 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 269988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 16980
/proc/meminfo: memFree=31613036/32951124 swapFree=67053960/67111528
[pid=16927] ppid=16925 vsize=269988 CPUtime=1800.04 cores=1,3,5,7
/proc/16927/stat : 16927 (minisatid) R 16925 16927 15536 0 -1 4202496 9423579 0 0 0 178696 1308 0 0 25 0 1 0 869622327 276467712 63358 33554432000 4194304 6720400 140737347929216 18446744073709551615 4816966 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16927/statm: 67497 63358 265 617 0 66871 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 269988

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

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

Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1786.97
CPU system time (s): 13.098
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 425960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.97
system time used= 13.098
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9423584
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= 3
involuntary context switches= 17130

runsolver used 2.6426 second user time and 5.9051 second system time

The end

Launcher Data 

Begin job on node142 at 2011-06-11 08:01:09
IDJOB=3490536
IDBENCH=2253
IDSOLVER=1980
FILE ID=node142/3490536-1307772068
RUNJOBID= node142-1307759444-15555
PBS_JOBID= 13550867
Free space on /tmp= 74104 MiB

SOLVER NAME= MinisatID 2.5.2 (fixed)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb
COMMAND LINE= HOME/minisatid BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3490536-1307772068/watcher-3490536-1307772068 -o /tmp/evaluation-result-3490536-1307772068/solver-3490536-1307772068 -C 1800 -W 1900 -M 15500  HOME/minisatid HOME/instance-3490536-1307772068.opb --verbosity=0 --format=opb --randomseed=573756033

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= e1b2be59a127acc8d929395698929541
RANDOM SEED=573756033

node142.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5131.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31788192 kB
Buffers:        189200 kB
Cached:         700172 kB
SwapCached:      11412 kB
Active:         519804 kB
Inactive:       471012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31788192 kB
SwapTotal:    67111528 kB
SwapFree:     67053960 kB
Dirty:            8860 kB
Writeback:           0 kB
AnonPages:       98432 kB
Mapped:          13860 kB
Slab:           107284 kB
PageTables:       4728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   292660 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74100 MiB
End job on node142 at 2011-06-11 08:31:11