Trace number 3466126

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.4.8-gmp? (TO)-34 1800.09 1800.03

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_5.opb
MD5SUM80b55b230959185abe8760f01da7fec8
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-71
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -81
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint60
Maximum length of a constraint108
Number of terms in the objective function 1000
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 1000
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 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)75288
Sum of products size (including duplicates)150576
Number of different products37644
Sum of products size75288

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.
2.89/2.98	o 0
3.89/3.90	o -1
4.49/4.53	o -2
5.09/5.16	o -3
5.69/5.79	o -4
6.39/6.42	o -5
6.99/7.06	o -6
8.59/8.64	o -7
9.19/9.29	o -8
11.39/11.40	o -9
12.99/13.07	o -10
14.30/14.31	o -11
15.69/15.74	o -12
16.69/16.75	o -13
17.39/17.41	o -14
18.09/18.13	o -15
19.80/19.83	o -16
21.39/21.41	o -17
25.30/25.38	o -18
29.49/29.52	o -19
34.79/34.85	o -20
40.29/40.32	o -21
41.49/41.58	o -22
43.79/43.90	o -23
45.10/45.15	o -24
91.39/91.41	o -25
99.69/99.71	o -26
110.40/110.46	o -27
113.69/113.79	o -28
259.61/259.66	o -29
283.70/283.80	o -30
287.70/287.72	o -31
295.40/295.40	o -32
329.50/329.53	o -33
442.90/442.97	o -34
1800.05/1800.01	>>> Terminate signal received
1800.05/1800.01	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

Verifier Data 

OK	-34

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3466126-1307420694/watcher-3466126-1307420694 -o /tmp/evaluation-result-3466126-1307420694/solver-3466126-1307420694 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466126-1307420694.opb --verbosity=0 --format=opb 

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
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.97 2.00 1.93 2/273 2750
/proc/meminfo: memFree=28345756/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=7744 CPUtime=0 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 473 0 0 0 0 0 0 0 25 0 1 0 853670158 7929856 420 33554432000 4194304 6736272 140734432780688 18446744073709551615 5911648 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 1936 420 247 621 0 1306 0

[startup+0.0367409 s]
/proc/loadavg: 1.97 2.00 1.93 2/273 2750
/proc/meminfo: memFree=28345756/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=10080 CPUtime=0.03 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 1021 0 0 0 3 0 0 0 25 0 1 0 853670158 10321920 968 33554432000 4194304 6736272 140734432780688 18446744073709551615 5807597 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 2520 968 247 621 0 1890 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10080

[startup+0.100721 s]
/proc/loadavg: 1.97 2.00 1.93 2/273 2750
/proc/meminfo: memFree=28345756/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=14628 CPUtime=0.09 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 2106 0 0 0 9 0 0 0 25 0 1 0 853670158 14979072 2018 33554432000 4194304 6736272 140734432780688 18446744073709551615 5600256 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 3657 2018 247 621 0 3027 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14628

[startup+0.300697 s]
/proc/loadavg: 1.97 2.00 1.93 2/273 2750
/proc/meminfo: memFree=28345756/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=29728 CPUtime=0.29 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 5996 0 0 0 29 0 0 0 25 0 1 0 853670158 30441472 5684 33554432000 4194304 6736272 140734432780688 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 7432 5686 247 621 0 6802 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29728

[startup+0.700624 s]
/proc/loadavg: 1.97 2.00 1.93 2/273 2750
/proc/meminfo: memFree=28345756/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=91540 CPUtime=0.69 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 21559 0 0 0 67 2 0 0 25 0 1 0 853670158 93736960 21030 33554432000 4194304 6736272 140734432780688 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 22885 21030 265 621 0 22255 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 91540

[startup+1.50048 s]
/proc/loadavg: 1.97 2.00 1.93 3/274 2751
/proc/meminfo: memFree=28235512/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=161960 CPUtime=1.49 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 39273 0 0 0 144 5 0 0 25 0 1 0 853670158 165847040 38744 33554432000 4194304 6736272 140734432780688 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 40490 38745 265 621 0 39860 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 161960

[startup+3.10018 s]
/proc/loadavg: 1.97 2.00 1.93 3/274 2751
/proc/meminfo: memFree=28111636/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=288872 CPUtime=3.09 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 70849 0 0 0 300 9 0 0 25 0 1 0 853670158 295804928 70063 33554432000 4194304 6736272 140734432780688 18446744073709551615 5148023 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 72218 70063 276 621 0 71588 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 288872

[startup+6.3006 s]
/proc/loadavg: 1.97 2.00 1.93 3/274 2751
/proc/meminfo: memFree=28064388/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=288872 CPUtime=6.29 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 70940 0 0 0 620 9 0 0 25 0 1 0 853670158 295804928 70154 33554432000 4194304 6736272 140734432780688 18446744073709551615 5817043 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 72218 70154 276 621 0 71588 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 288872

[startup+12.7004 s]
/proc/loadavg: 1.97 2.00 1.93 3/274 2751
/proc/meminfo: memFree=28063924/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=288872 CPUtime=12.69 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 70946 0 0 0 1260 9 0 0 25 0 1 0 853670158 295804928 70160 33554432000 4194304 6736272 140734432780688 18446744073709551615 5150908 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 72218 70160 277 621 0 71588 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 288872

[startup+25.5011 s]
/proc/loadavg: 1.98 2.00 1.93 3/274 2751
/proc/meminfo: memFree=28053892/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=296012 CPUtime=25.49 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 73668 0 0 0 2540 9 0 0 25 0 1 0 853670158 303116288 72879 33554432000 4194304 6736272 140734432780688 18446744073709551615 5806495 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 74003 72879 286 621 0 73373 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 296012

[startup+51.1004 s]
/proc/loadavg: 1.99 2.00 1.93 3/274 2752
/proc/meminfo: memFree=28009984/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=364656 CPUtime=51.09 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 84690 0 0 0 5098 11 0 0 25 0 1 0 853670158 373407744 83888 33554432000 4194304 6736272 140734432780688 18446744073709551615 4734671 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 91164 83888 286 621 0 90534 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 364656

[startup+102.31 s]
/proc/loadavg: 1.99 2.00 1.93 3/274 2753
/proc/meminfo: memFree=27964964/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=420884 CPUtime=102.31 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 131519 0 0 0 10213 18 0 0 25 0 1 0 853670158 430985216 94961 33554432000 4194304 6736272 140734432780688 18446744073709551615 4764955 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 105221 94961 287 621 0 104591 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 420884

[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.93 3/274 2755
/proc/meminfo: memFree=27976108/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=375696 CPUtime=162.29 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 200374 0 0 0 16202 27 0 0 25 0 1 0 853670158 384712704 92672 33554432000 4194304 6736272 140734432780688 18446744073709551615 5818026 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 93924 92672 287 621 0 93294 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 375696

[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.93 3/274 2757
/proc/meminfo: memFree=27972236/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=384368 CPUtime=222.3 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 272036 0 0 0 22191 39 0 0 25 0 1 0 853670158 393592832 93111 33554432000 4194304 6736272 140734432780688 18446744073709551615 5219603 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 96092 93111 287 621 0 95462 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 384368

[startup+282.301 s]
/proc/loadavg: 2.06 2.02 1.94 3/274 2758
/proc/meminfo: memFree=27887148/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=400432 CPUtime=282.3 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 347922 0 0 0 28179 51 0 0 25 0 1 0 853670158 410042368 96633 33554432000 4194304 6736272 140734432780688 18446744073709551615 5803209 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 100108 96633 287 621 0 99478 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 400432

[startup+342.301 s]
/proc/loadavg: 2.08 2.03 1.95 3/274 2760
/proc/meminfo: memFree=27905856/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=451628 CPUtime=342.3 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 397153 0 0 0 34172 58 0 0 25 0 1 0 853670158 462467072 109774 33554432000 4194304 6736272 140734432780688 18446744073709551615 4640341 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 112907 109774 287 621 0 112277 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 451628

[startup+402.301 s]
/proc/loadavg: 2.03 2.03 1.95 3/274 2765
/proc/meminfo: memFree=27909688/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=454148 CPUtime=402.3 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 467724 0 0 0 40163 67 0 0 25 0 1 0 853670158 465047552 109429 33554432000 4194304 6736272 140734432780688 18446744073709551615 5148165 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 113537 109429 287 621 0 112907 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 454148

[startup+462.301 s]
/proc/loadavg: 2.01 2.02 1.95 3/274 2767
/proc/meminfo: memFree=27920072/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=456408 CPUtime=462.31 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 534686 0 0 0 46156 75 0 0 25 0 1 0 853670158 467361792 106371 33554432000 4194304 6736272 140734432780688 18446744073709551615 5146800 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 114102 106371 287 621 0 113472 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 456408

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 1.95 3/274 2799
/proc/meminfo: memFree=28010736/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=461736 CPUtime=522.31 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 604856 0 0 0 52145 86 0 0 25 0 1 0 853670158 472817664 106603 33554432000 4194304 6736272 140734432780688 18446744073709551615 4755845 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 115434 106603 287 621 0 114804 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 461736

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 1.95 3/274 2801
/proc/meminfo: memFree=27997956/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=465848 CPUtime=582.3 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 678087 0 0 0 58135 95 0 0 25 0 1 0 853670158 477028352 109416 33554432000 4194304 6736272 140734432780688 18446744073709551615 5818776 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 116462 109416 287 621 0 115832 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 465848


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

[startup+822.301 s]
/proc/loadavg: 2.04 2.01 1.95 3/274 2808
/proc/meminfo: memFree=27970032/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=494252 CPUtime=822.32 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 966411 0 0 0 82094 138 0 0 25 0 1 0 853670158 506114048 116589 33554432000 4194304 6736272 140734432780688 18446744073709551615 5150621 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 123563 116589 287 621 0 122933 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 494252

[startup+882.301 s]
/proc/loadavg: 2.09 2.02 1.96 3/274 2809
/proc/meminfo: memFree=27973124/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=495008 CPUtime=882.32 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 1035318 0 0 0 88084 148 0 0 25 0 1 0 853670158 506888192 115417 33554432000 4194304 6736272 140734432780688 18446744073709551615 5818587 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 123752 115417 287 621 0 123122 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 495008

[startup+942.301 s]
/proc/loadavg: 2.03 2.02 1.96 3/274 2811
/proc/meminfo: memFree=27975088/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=496420 CPUtime=942.32 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 1105439 0 0 0 94073 159 0 0 25 0 1 0 853670158 508334080 115067 33554432000 4194304 6736272 140734432780688 18446744073709551615 4520555 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 124105 115067 287 621 0 123475 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 496420

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/274 2812
/proc/meminfo: memFree=27979420/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=497012 CPUtime=1002.32 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 1174605 0 0 0 100063 169 0 0 25 0 1 0 853670158 508940288 113944 33554432000 4194304 6736272 140734432780688 18446744073709551615 4509905 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 124253 113944 287 621 0 123623 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 497012

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/274 2815
/proc/meminfo: memFree=27959556/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=498372 CPUtime=1062.32 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 1249951 0 0 0 106053 179 0 0 25 0 1 0 853670158 510332928 119445 33554432000 4194304 6736272 140734432780688 18446744073709551615 5803152 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 124593 119445 287 621 0 123963 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 498372

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/274 2817
/proc/meminfo: memFree=27990520/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=458904 CPUtime=1122.32 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 1346925 0 0 0 112039 193 0 0 25 0 1 0 853670158 469917696 111211 33554432000 4194304 6736272 140734432780688 18446744073709551615 5812137 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 114726 111211 287 621 0 114096 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 458904

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/274 2818
/proc/meminfo: memFree=27986264/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=511688 CPUtime=1182.33 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 1416872 0 0 0 118030 203 0 0 25 0 1 0 853670158 523968512 112516 33554432000 4194304 6736272 140734432780688 18446744073709551615 4750608 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 127922 112516 287 621 0 127292 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 511688

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/274 2820
/proc/meminfo: memFree=27988700/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=462548 CPUtime=1242.33 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 1485225 0 0 0 124020 213 0 0 25 0 1 0 853670158 473649152 111855 33554432000 4194304 6736272 140734432780688 18446744073709551615 4753719 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 115637 111855 287 621 0 115007 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 462548

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/274 2821
/proc/meminfo: memFree=27983588/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=512952 CPUtime=1302.34 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 1555929 0 0 0 130010 224 0 0 25 0 1 0 853670158 525262848 112776 33554432000 4194304 6736272 140734432780688 18446744073709551615 4520555 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 128238 112776 287 621 0 127608 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 512952

[startup+1362.3 s]
/proc/loadavg: 2.06 2.01 1.96 3/274 2823
/proc/meminfo: memFree=27986780/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=463308 CPUtime=1362.33 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 1624198 0 0 0 135997 236 0 0 25 0 1 0 853670158 474427392 112221 33554432000 4194304 6736272 140734432780688 18446744073709551615 5806616 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 115827 112221 287 621 0 115197 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 463308

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 1.96 3/274 2825
/proc/meminfo: memFree=27977316/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=515040 CPUtime=1422.35 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 1695319 0 0 0 141990 245 0 0 25 0 1 0 853670158 527400960 114477 33554432000 4194304 6736272 140734432780688 18446744073709551615 5219603 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 128760 114477 287 621 0 128130 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 515040

[startup+1482.3 s]
/proc/loadavg: 2.05 2.02 1.97 3/274 2826
/proc/meminfo: memFree=27964520/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=522940 CPUtime=1482.34 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 1768422 0 0 0 147978 256 0 0 25 0 1 0 853670158 535490560 118151 33554432000 4194304 6736272 140734432780688 18446744073709551615 5803157 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 130735 118151 287 621 0 130105 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 522940

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/274 2828
/proc/meminfo: memFree=27966728/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=522940 CPUtime=1542.34 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 1835839 0 0 0 153967 267 0 0 25 0 1 0 853670158 535490560 117136 33554432000 4194304 6736272 140734432780688 18446744073709551615 4510256 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 130735 117136 287 621 0 130105 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 522940

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/274 2829
/proc/meminfo: memFree=27960748/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=524204 CPUtime=1602.34 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 1906061 0 0 0 159958 276 0 0 25 0 1 0 853670158 536784896 118867 33554432000 4194304 6736272 140734432780688 18446744073709551615 5222025 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 131051 118867 287 621 0 130421 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 524204

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/274 2831
/proc/meminfo: memFree=27963572/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=525152 CPUtime=1662.34 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 1974233 0 0 0 165948 286 0 0 25 0 1 0 853670158 537755648 118020 33554432000 4194304 6736272 140734432780688 18446744073709551615 5803315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 131288 118020 287 621 0 130658 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 525152

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/274 2833
/proc/meminfo: memFree=27968636/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=525532 CPUtime=1722.34 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 2042015 0 0 0 171936 298 0 0 25 0 1 0 853670158 538144768 117098 33554432000 4194304 6736272 140734432780688 18446744073709551615 5806393 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 131383 117098 287 621 0 130753 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 525532

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/274 2835
/proc/meminfo: memFree=27936364/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=530652 CPUtime=1782.35 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 2118070 0 0 0 177927 308 0 0 25 0 1 0 853670158 543387648 124584 33554432000 4194304 6736272 140734432780688 18446744073709551615 4753879 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 132663 124584 287 621 0 132033 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 530652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.97 3/274 2836
/proc/meminfo: memFree=27954584/32951124 swapFree=55664332/67111528
[pid=2750] ppid=2748 vsize=530844 CPUtime=1800.05 cores=1,3,5,7
/proc/2750/stat : 2750 (minisatid-gmp) R 2748 2750 2012 0 -1 4202496 2147788 0 0 0 179692 313 0 0 25 0 1 0 853670158 543584256 119949 33554432000 4194304 6736272 140734432780688 18446744073709551615 5146909 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/2750/statm: 132711 119949 287 621 0 132081 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 530844

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

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

Child status: 0
Real time (s): 1800.03
CPU time (s): 1800.09
CPU user time (s): 1796.94
CPU system time (s): 3.14852
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 692372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.94
system time used= 3.14852
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2147799
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= 6
involuntary context switches= 1267

runsolver used 4.16237 second user time and 10.5804 second system time

The end

Launcher Data 

Begin job on node109 at 2011-06-07 06:24:54
IDJOB=3466126
IDBENCH=48222
IDSOLVER=1957
FILE ID=node109/3466126-1307420694
RUNJOBID= node109-1307417538-2415
PBS_JOBID= 13514214
Free space on /tmp= 74112 MiB

SOLVER NAME= MinisatID 2.4.8-gmp
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_5.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3466126-1307420694/watcher-3466126-1307420694 -o /tmp/evaluation-result-3466126-1307420694/solver-3466126-1307420694 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466126-1307420694.opb --verbosity=0 --format=opb 

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

MD5SUM BENCH= 80b55b230959185abe8760f01da7fec8
RANDOM SEED=946893120

node109.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.809
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.61
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.809
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	: 5332.75
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.809
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.74
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.809
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.75
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.809
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.82
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.809
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.809
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28346160 kB
Buffers:        328640 kB
Cached:        2187792 kB
SwapCached:      10392 kB
Active:         966076 kB
Inactive:      3381248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28346160 kB
SwapTotal:    67111528 kB
SwapFree:     55664332 kB
Dirty:            3548 kB
Writeback:           0 kB
AnonPages:     1826512 kB
Mapped:          17532 kB
Slab:           157772 kB
PageTables:      37592 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 30988916 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= 74112 MiB
End job on node109 at 2011-06-07 06:54:56