Trace number 3466118

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)-35 1800.08 1800.05

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_4.opb
MD5SUM33f66c46bd2eace76f5fa6a5916a23ec
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-70
Best CPU time to get the best result obtained on this benchmark1800.22
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 constraint107
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)75484
Sum of products size (including duplicates)150968
Number of different products37742
Sum of products size75484

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.51/4.53	o -2
6.09/6.11	o -3
6.71/6.74	o -4
7.29/7.38	o -5
7.99/8.02	o -6
8.59/8.65	o -7
9.19/9.28	o -8
9.89/9.92	o -9
10.89/10.96	o -10
12.21/12.22	o -11
13.09/13.11	o -12
14.49/14.51	o -13
15.09/15.14	o -14
15.69/15.78	o -15
16.99/17.01	o -16
20.69/20.78	o -17
22.99/23.02	o -18
23.89/23.91	o -19
26.29/26.39	o -20
28.19/28.24	o -21
30.59/30.66	o -22
34.49/34.56	o -23
58.30/58.37	o -24
68.89/68.98	o -25
72.89/72.97	o -26
90.89/90.92	o -27
111.39/111.46	o -28
202.89/202.97	o -29
237.79/237.88	o -30
245.79/245.86	o -31
256.30/256.35	o -32
261.10/261.10	o -33
266.00/266.08	o -34
1240.32/1240.39	o -35
1800.03/1800.01	>>> Terminate signal received
1800.03/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	-35

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

running on 4 cores: 0,2,4,6

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.89 2.00 1.99 2/514 6911
/proc/meminfo: memFree=19389368/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=7876 CPUtime=0 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 490 0 0 0 0 0 0 0 25 0 1 0 932287710 8065024 438 33554432000 4194304 6736272 140733643475984 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 1969 438 247 621 0 1339 0

[startup+0.110204 s]
/proc/loadavg: 1.89 2.00 1.99 2/514 6911
/proc/meminfo: memFree=19389368/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=14760 CPUtime=0.1 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 2165 0 0 0 10 0 0 0 25 0 1 0 932287710 15114240 2078 33554432000 4194304 6736272 140733643475984 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 3690 2079 247 621 0 3060 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 14760

[startup+0.201197 s]
/proc/loadavg: 1.89 2.00 1.99 2/514 6911
/proc/meminfo: memFree=19389368/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=19696 CPUtime=0.19 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 3430 0 0 0 19 0 0 0 25 0 1 0 932287710 20168704 3119 33554432000 4194304 6736272 140733643475984 18446744073709551615 5237088 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 4924 3120 247 621 0 4294 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 19696

[startup+0.301168 s]
/proc/loadavg: 1.89 2.00 1.99 2/514 6911
/proc/meminfo: memFree=19389368/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=29332 CPUtime=0.29 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 5887 0 0 0 28 1 0 0 25 0 1 0 932287710 30035968 5576 33554432000 4194304 6736272 140733643475984 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 7333 5578 247 621 0 6703 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29332

[startup+0.701104 s]
/proc/loadavg: 1.89 2.00 1.99 2/514 6911
/proc/meminfo: memFree=19389368/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=91572 CPUtime=0.69 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 21578 0 0 0 66 3 0 0 25 0 1 0 932287710 93769728 21050 33554432000 4194304 6736272 140733643475984 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 22893 21050 265 621 0 22263 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 91572

[startup+1.50085 s]
/proc/loadavg: 1.89 2.00 1.99 3/515 6912
/proc/meminfo: memFree=19211224/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=163204 CPUtime=1.49 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 39582 0 0 0 144 5 0 0 25 0 1 0 932287710 167120896 38797 33554432000 4194304 6736272 140733643475984 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 40801 38798 265 621 0 40171 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 163204

[startup+3.10063 s]
/proc/loadavg: 1.89 2.00 1.99 3/515 6912
/proc/meminfo: memFree=19081520/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=289644 CPUtime=3.09 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 71043 0 0 0 300 9 0 0 25 0 1 0 932287710 296595456 70258 33554432000 4194304 6736272 140733643475984 18446744073709551615 4490080 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 72411 70258 276 621 0 71781 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 289644

[startup+6.30112 s]
/proc/loadavg: 1.90 2.00 1.99 3/515 6912
/proc/meminfo: memFree=19042228/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=289644 CPUtime=6.29 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 71134 0 0 0 620 9 0 0 25 0 1 0 932287710 296595456 70349 33554432000 4194304 6736272 140733643475984 18446744073709551615 5148172 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 72411 70349 277 621 0 71781 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 289644

[startup+12.701 s]
/proc/loadavg: 1.91 2.00 1.99 3/515 6912
/proc/meminfo: memFree=19030664/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=289644 CPUtime=12.69 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 71142 0 0 0 1260 9 0 0 25 0 1 0 932287710 296595456 70357 33554432000 4194304 6736272 140733643475984 18446744073709551615 4764927 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 72411 70357 277 621 0 71781 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 289644

[startup+25.5008 s]
/proc/loadavg: 1.93 2.00 1.99 3/515 6913
/proc/meminfo: memFree=19007356/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=289644 CPUtime=25.49 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 71150 0 0 0 2540 9 0 0 25 0 1 0 932287710 296595456 70365 33554432000 4194304 6736272 140733643475984 18446744073709551615 5806460 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 72411 70365 277 621 0 71781 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 289644

[startup+51.1013 s]
/proc/loadavg: 2.03 2.02 2.00 3/515 6914
/proc/meminfo: memFree=18968008/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=334608 CPUtime=51.09 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 81341 0 0 0 5098 11 0 0 25 0 1 0 932287710 342638592 80546 33554432000 4194304 6736272 140733643475984 18446744073709551615 5803283 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 83652 80546 287 621 0 83022 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 334608

[startup+102.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/515 6915
/proc/meminfo: memFree=18921748/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=368468 CPUtime=102.29 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 127510 0 0 0 10211 18 0 0 25 0 1 0 932287710 377311232 90678 33554432000 4194304 6736272 140733643475984 18446744073709551615 4510243 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 92117 90678 287 621 0 91487 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 368468

[startup+162.301 s]
/proc/loadavg: 2.14 2.04 2.01 3/515 6916
/proc/meminfo: memFree=18854868/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=504788 CPUtime=162.3 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 180721 0 0 0 16205 25 0 0 25 0 1 0 932287710 516902912 107405 33554432000 4194304 6736272 140733643475984 18446744073709551615 5806341 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 126197 107405 287 621 0 125567 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 504788

[startup+222.319 s]
/proc/loadavg: 2.11 2.04 2.01 3/515 6918
/proc/meminfo: memFree=18856824/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=431600 CPUtime=222.31 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 252301 0 0 0 22196 35 0 0 25 0 1 0 932287710 441958400 106609 33554432000 4194304 6736272 140733643475984 18446744073709551615 5148069 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 107900 106609 287 621 0 107270 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 431600

[startup+282.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/515 6920
/proc/meminfo: memFree=18876764/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=434828 CPUtime=282.3 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 318817 0 0 0 28185 45 0 0 25 0 1 0 932287710 445263872 101539 33554432000 4194304 6736272 140733643475984 18446744073709551615 4289969 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 108707 101540 287 621 0 108077 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 434828

[startup+342.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/515 6921
/proc/meminfo: memFree=18874364/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=441380 CPUtime=342.3 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 390391 0 0 0 34174 56 0 0 25 0 1 0 932287710 451973120 101838 33554432000 4194304 6736272 140733643475984 18446744073709551615 5803361 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 110345 101838 287 621 0 109715 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 441380

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 6923
/proc/meminfo: memFree=18869604/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=445112 CPUtime=402.3 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 463100 0 0 0 40162 68 0 0 25 0 1 0 932287710 455794688 103413 33554432000 4194304 6736272 140733643475984 18446744073709551615 5818029 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 111278 103413 287 621 0 110648 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 445112

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 6924
/proc/meminfo: memFree=18865844/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=452896 CPUtime=462.3 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 534383 0 0 0 46151 79 0 0 25 0 1 0 932287710 463765504 103859 33554432000 4194304 6736272 140733643475984 18446744073709551615 4732864 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 113224 103859 287 621 0 112594 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 452896

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 6926
/proc/meminfo: memFree=18870132/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=455780 CPUtime=522.3 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 604651 0 0 0 52141 89 0 0 25 0 1 0 932287710 466718720 103301 33554432000 4194304 6736272 140733643475984 18446744073709551615 5803203 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 113945 103301 287 621 0 113315 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 455780

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/515 6928
/proc/meminfo: memFree=18833384/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=469820 CPUtime=582.3 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 685185 0 0 0 58129 101 0 0 25 0 1 0 932287710 481095680 112469 33554432000 4194304 6736272 140733643475984 18446744073709551615 4510232 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 117455 112469 287 621 0 116825 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 469820


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

[startup+882.319 s]
/proc/loadavg: 2.01 2.02 2.00 3/515 6936
/proc/meminfo: memFree=18810568/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=487972 CPUtime=882.33 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 1042463 0 0 0 88079 154 0 0 25 0 1 0 932287710 499683328 117615 33554432000 4194304 6736272 140733643475984 18446744073709551615 5817936 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 121993 117615 287 621 0 121363 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 487972

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 6937
/proc/meminfo: memFree=18845008/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=499764 CPUtime=942.31 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 1140493 0 0 0 94063 168 0 0 25 0 1 0 932287710 511758336 109680 33554432000 4194304 6736272 140733643475984 18446744073709551615 5219603 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 124941 109680 287 621 0 124311 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 499764

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 6942
/proc/meminfo: memFree=18833024/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=511012 CPUtime=1002.31 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 1212094 0 0 0 100053 178 0 0 25 0 1 0 932287710 523276288 112134 33554432000 4194304 6736272 140733643475984 18446744073709551615 5150908 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 127753 112134 287 621 0 127123 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 511012

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/515 6943
/proc/meminfo: memFree=18836200/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=511012 CPUtime=1062.31 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 1281001 0 0 0 106043 188 0 0 25 0 1 0 932287710 523276288 111752 33554432000 4194304 6736272 140733643475984 18446744073709551615 5148018 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 127753 111752 287 621 0 127123 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 511012

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/515 6945
/proc/meminfo: memFree=18830440/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=511456 CPUtime=1122.32 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 1352149 0 0 0 112033 199 0 0 25 0 1 0 932287710 523730944 112922 33554432000 4194304 6736272 140733643475984 18446744073709551615 5148212 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 127864 112922 287 621 0 127234 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 511456

[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/515 6947
/proc/meminfo: memFree=18834860/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=511960 CPUtime=1182.31 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 1420573 0 0 0 118023 208 0 0 25 0 1 0 932287710 524247040 111964 33554432000 4194304 6736272 140733643475984 18446744073709551615 4753846 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 127990 111964 287 621 0 127360 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 511960

[startup+1242.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/515 6948
/proc/meminfo: memFree=18823660/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=513444 CPUtime=1242.32 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 1492088 0 0 0 124012 220 0 0 25 0 1 0 932287710 525766656 114158 33554432000 4194304 6736272 140733643475984 18446744073709551615 5146832 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 128361 114158 287 621 0 127731 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 513444

[startup+1302.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/515 6950
/proc/meminfo: memFree=18832556/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=513732 CPUtime=1302.32 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 1560607 0 0 0 130004 228 0 0 25 0 1 0 932287710 526061568 112817 33554432000 4194304 6736272 140733643475984 18446744073709551615 4734624 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 128433 112817 287 621 0 127803 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 513732

[startup+1362.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/515 6951
/proc/meminfo: memFree=18836964/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=463896 CPUtime=1362.32 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 1628833 0 0 0 135994 238 0 0 25 0 1 0 932287710 475029504 111313 33554432000 4194304 6736272 140733643475984 18446744073709551615 5148107 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 115974 111313 287 621 0 115344 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 463896

[startup+1422.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/515 6953
/proc/meminfo: memFree=18835068/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=465128 CPUtime=1422.33 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 1697362 0 0 0 141983 250 0 0 25 0 1 0 932287710 476291072 111675 33554432000 4194304 6736272 140733643475984 18446744073709551615 5817951 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 116282 111675 287 621 0 115652 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 465128

[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 6955
/proc/meminfo: memFree=18836616/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=465128 CPUtime=1482.33 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 1764989 0 0 0 147973 260 0 0 25 0 1 0 932287710 476291072 111441 33554432000 4194304 6736272 140733643475984 18446744073709551615 5803183 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 116282 111441 287 621 0 115652 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 465128

[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 6956
/proc/meminfo: memFree=18815996/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=515216 CPUtime=1542.34 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 1838679 0 0 0 153964 270 0 0 25 0 1 0 932287710 527581184 116574 33554432000 4194304 6736272 140733643475984 18446744073709551615 5803152 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 128804 116574 287 621 0 128174 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 515216

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 6958
/proc/meminfo: memFree=18818788/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=518116 CPUtime=1602.33 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 1905845 0 0 0 159951 282 0 0 25 0 1 0 932287710 530550784 116206 33554432000 4194304 6736272 140733643475984 18446744073709551615 5812137 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 129529 116206 287 621 0 128899 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 518116

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 6959
/proc/meminfo: memFree=18820740/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=518556 CPUtime=1662.33 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 1973107 0 0 0 165940 293 0 0 25 0 1 0 932287710 531001344 115513 33554432000 4194304 6736272 140733643475984 18446744073709551615 5150521 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 129639 115513 287 621 0 129009 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 518556

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 6961
/proc/meminfo: memFree=18812992/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=519568 CPUtime=1722.33 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 2044121 0 0 0 171930 303 0 0 25 0 1 0 932287710 532037632 117891 33554432000 4194304 6736272 140733643475984 18446744073709551615 5803315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 129892 117891 287 621 0 129262 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 519568

[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/515 6963
/proc/meminfo: memFree=18811964/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=519820 CPUtime=1782.33 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 2111373 0 0 0 177921 312 0 0 25 0 1 0 932287710 532295680 117249 33554432000 4194304 6736272 140733643475984 18446744073709551615 5806446 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 129955 117249 287 621 0 129325 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 519820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.08 2.03 2.00 2/516 6964
/proc/meminfo: memFree=18772016/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=601208 CPUtime=1800.03 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 2121046 0 0 0 179689 314 0 0 25 0 1 0 932287710 615636992 126917 33554432000 4194304 6736272 140733643475984 18446744073709551615 4640341 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 150302 126917 287 621 0 149672 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 601208

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

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

[startup+1800 s]
/proc/loadavg: 2.08 2.03 2.00 2/516 6964
/proc/meminfo: memFree=18772016/32950940 swapFree=67111364/67111528
[pid=6911] ppid=6909 vsize=601208 CPUtime=1800.03 cores=0,2,4,6
/proc/6911/stat : 6911 (minisatid-gmp) R 6909 6911 5752 0 -1 4202496 2121046 0 0 0 179689 314 0 0 25 0 1 0 932287710 615636992 126917 33554432000 4194304 6736272 140733643475984 18446744073709551615 4640341 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/6911/statm: 150302 126917 287 621 0 149672 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 601208

Child status: 0
Real time (s): 1800.05
CPU time (s): 1800.08
CPU user time (s): 1796.91
CPU system time (s): 3.17152
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 681348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.91
system time used= 3.17152
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2121059
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= 917

runsolver used 9.38957 second user time and 20.1169 second system time

The end

Launcher Data 

Begin job on node117 at 2011-06-07 06:22:49
IDJOB=3466118
IDBENCH=48214
IDSOLVER=1957
FILE ID=node117/3466118-1307420569
RUNJOBID= node117-1307416965-6671
PBS_JOBID= 13514208
Free space on /tmp= 73960 MiB

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

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

MD5SUM BENCH= 33f66c46bd2eace76f5fa6a5916a23ec
RANDOM SEED=1182699350

node117.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.849
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.849
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.849
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.849
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.849
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.75
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.849
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.74
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.849
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.75
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.849
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	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      19389780 kB
Buffers:        384716 kB
Cached:        2991776 kB
SwapCached:          0 kB
Active:       10354668 kB
Inactive:      2810048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      19389780 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            7020 kB
Writeback:           0 kB
AnonPages:     9787588 kB
Mapped:          42776 kB
Slab:           270284 kB
PageTables:      57568 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 149488152 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= 73956 MiB
End job on node117 at 2011-06-07 06:52:51