Trace number 3464437

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? (TO)-87 1800.06 1800.03

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_1.opb
MD5SUM0945390fcac05113ffd57d1199a19e21
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-126
Best CPU time to get the best result obtained on this benchmark1798.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -126
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 constraint25
Maximum length of a constraint51
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)31640
Sum of products size (including duplicates)63280
Number of different products15820
Sum of products size31640

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.
0.29/0.39	o 0
0.39/0.42	o -1
0.39/0.44	o -2
0.39/0.46	o -3
0.39/0.47	o -4
0.39/0.49	o -5
0.49/0.51	o -6
0.49/0.53	o -7
0.49/0.54	o -8
0.49/0.56	o -9
0.59/0.63	o -10
0.59/0.68	o -11
0.59/0.69	o -12
0.69/0.71	o -13
0.69/0.73	o -14
0.69/0.78	o -15
0.79/0.81	o -16
0.79/0.83	o -17
0.79/0.84	o -18
0.79/0.86	o -19
0.89/0.90	o -20
0.89/0.93	o -21
0.89/0.95	o -22
0.89/0.98	o -23
0.99/1.02	o -24
0.99/1.04	o -25
0.99/1.06	o -26
0.99/1.07	o -27
0.99/1.09	o -28
0.99/1.11	o -29
1.13/1.16	o -30
1.24/1.27	o -31
1.29/1.30	o -32
1.29/1.34	o -33
1.29/1.38	o -34
1.39/1.41	o -35
1.49/1.56	o -36
1.59/1.62	o -37
1.59/1.66	o -38
1.59/1.67	o -39
1.69/1.73	o -40
1.69/1.75	o -41
1.69/1.80	o -42
1.89/1.93	o -43
1.99/2.00	o -44
1.99/2.07	o -45
2.09/2.10	o -46
2.09/2.15	o -47
2.20/2.28	o -48
2.20/2.29	o -49
2.39/2.41	o -50
2.39/2.44	o -51
2.39/2.46	o -52
2.59/2.90	o -53
2.59/2.93	o -54
2.59/3.24	o -55
3.02/3.60	o -56
3.55/3.86	o -57
3.55/3.88	o -58
3.55/3.93	o -59
3.55/4.00	o -60
3.55/4.04	o -61
3.55/4.18	o -62
3.55/4.29	o -63
4.16/4.57	o -64
4.16/4.58	o -65
4.16/4.61	o -66
4.70/4.77	o -67
4.79/4.85	o -68
5.19/5.27	o -69
5.49/5.58	o -70
5.49/5.60	o -71
5.79/5.87	o -72
6.00/6.02	o -73
6.19/6.29	o -74
6.39/6.42	o -75
6.79/6.82	o -76
7.29/7.30	o -77
7.39/7.45	o -78
7.39/7.46	o -79
7.49/7.50	o -80
7.59/7.68	o -81
7.69/7.79	o -82
7.99/8.08	o -83
8.20/8.22	o -84
8.30/8.32	o -85
8.59/8.64	o -86
8.59/8.69	o -87
1800.04/1800.01	>>> Terminate signal received
1800.04/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	-87

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-3464437-1307407933/watcher-3464437-1307407933 -o /tmp/evaluation-result-3464437-1307407933/solver-3464437-1307407933 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3464437-1307407933.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.06 1.25 1.62 3/433 27092
/proc/meminfo: memFree=12508252/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=8112 CPUtime=0 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 586 0 0 0 0 0 0 0 23 0 1 0 852392934 8306688 535 33554432000 4194304 6539028 140736641140400 18446744073709551615 4526993 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 2028 535 236 573 0 1446 0

[startup+0.101514 s]
/proc/loadavg: 1.06 1.25 1.62 3/433 27092
/proc/meminfo: memFree=12508252/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=16880 CPUtime=0.09 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 2718 0 0 0 9 0 0 0 23 0 1 0 852392934 17285120 2634 33554432000 4194304 6539028 140736641140400 18446744073709551615 5641259 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 4220 2636 236 573 0 3638 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16880

[startup+0.200497 s]
/proc/loadavg: 1.06 1.25 1.62 3/433 27092
/proc/meminfo: memFree=12508252/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=37368 CPUtime=0.19 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 7916 0 0 0 18 1 0 0 24 0 1 0 852392934 38264832 7743 33554432000 4194304 6539028 140736641140400 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 9342 7744 250 573 0 8760 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37368

[startup+0.300479 s]
/proc/loadavg: 1.06 1.25 1.62 3/433 27092
/proc/meminfo: memFree=12508252/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=59156 CPUtime=0.29 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 13390 0 0 0 28 1 0 0 25 0 1 0 852392934 60575744 13217 33554432000 4194304 6539028 140736641140400 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 14789 13221 251 573 0 14207 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59156

[startup+0.700406 s]
/proc/loadavg: 1.06 1.25 1.62 3/433 27092
/proc/meminfo: memFree=12508252/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=70528 CPUtime=0.69 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 16255 0 0 0 68 1 0 0 25 0 1 0 852392934 72220672 16082 33554432000 4194304 6539028 140736641140400 18446744073709551615 4274759 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 17632 16082 261 573 0 17050 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 70528

[startup+1.50027 s]
/proc/loadavg: 1.06 1.25 1.62 3/435 27094
/proc/meminfo: memFree=12415236/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=70528 CPUtime=1.49 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 16277 0 0 0 148 1 0 0 25 0 1 0 852392934 72220672 16104 33554432000 4194304 6539028 140736641140400 18446744073709551615 4625685 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 17632 16104 261 573 0 17050 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70528

[startup+3.43291 s]
/proc/loadavg: 1.30 1.29 1.63 3/435 27094
/proc/meminfo: memFree=12413428/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=70528 CPUtime=3.55 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 16297 0 0 0 354 1 0 0 25 0 1 0 852392934 72220672 16124 33554432000 4194304 6539028 140736641140400 18446744073709551615 4625677 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 17632 16125 261 573 0 17050 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 70528

[startup+6.30044 s]
/proc/loadavg: 1.30 1.29 1.63 3/435 27094
/proc/meminfo: memFree=12413508/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=70528 CPUtime=6.29 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 16317 0 0 0 628 1 0 0 25 0 1 0 852392934 72220672 16144 33554432000 4194304 6539028 140736641140400 18446744073709551615 4257752 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 17632 16144 261 573 0 17050 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 70528

[startup+12.7163 s]
/proc/loadavg: 1.40 1.32 1.64 3/435 27095
/proc/meminfo: memFree=12358456/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=151548 CPUtime=12.7 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 44056 0 0 0 1265 5 0 0 25 0 1 0 852392934 155185152 29896 33554432000 4194304 6539028 140736641140400 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 37887 29896 270 573 0 37305 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 151548

[startup+25.5011 s]
/proc/loadavg: 1.50 1.34 1.64 3/435 27095
/proc/meminfo: memFree=12356836/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=137196 CPUtime=25.49 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 174005 0 0 0 2526 23 0 0 25 0 1 0 852392934 140488704 33081 33554432000 4194304 6539028 140736641140400 18446744073709551615 4707841 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 34299 33082 270 573 0 33717 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 137196

[startup+51.1007 s]
/proc/loadavg: 1.67 1.39 1.65 3/435 27095
/proc/meminfo: memFree=12325160/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=179880 CPUtime=51.1 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 431098 0 0 0 5054 56 0 0 25 0 1 0 852392934 184197120 37322 33554432000 4194304 6539028 140736641140400 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 44970 37322 270 573 0 44388 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 179880

[startup+102.301 s]
/proc/loadavg: 1.89 1.50 1.67 3/435 27097
/proc/meminfo: memFree=12341512/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=155896 CPUtime=102.3 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 958346 0 0 0 10102 128 0 0 25 0 1 0 852392934 159637504 35938 33554432000 4194304 6539028 140736641140400 18446744073709551615 4715641 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 38974 35938 270 573 0 38392 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 155896

[startup+162.316 s]
/proc/loadavg: 1.96 1.59 1.68 3/435 27099
/proc/meminfo: memFree=12336528/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=158752 CPUtime=162.31 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 1572285 0 0 0 16021 210 0 0 25 0 1 0 852392934 162562048 34762 33554432000 4194304 6539028 140736641140400 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 39688 34762 270 573 0 39106 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 158752

[startup+222.301 s]
/proc/loadavg: 1.98 1.66 1.70 3/435 27100
/proc/meminfo: memFree=12330800/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=161448 CPUtime=222.29 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 2171943 0 0 0 21935 294 0 0 25 0 1 0 852392934 165322752 38853 33554432000 4194304 6539028 140736641140400 18446744073709551615 4718168 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 40362 38853 270 573 0 39780 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 161448

[startup+282.301 s]
/proc/loadavg: 1.99 1.72 1.72 3/435 27102
/proc/meminfo: memFree=12314668/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=144756 CPUtime=282.29 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 2759420 0 0 0 27855 374 0 0 25 0 1 0 852392934 148230144 33408 33554432000 4194304 6539028 140736641140400 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 36189 33408 270 573 0 35607 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 144756

[startup+342.301 s]
/proc/loadavg: 1.99 1.77 1.73 3/435 27103
/proc/meminfo: memFree=12327180/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=147060 CPUtime=342.3 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 3402227 0 0 0 33765 465 0 0 25 0 1 0 852392934 150589440 34917 33554432000 4194304 6539028 140736641140400 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 36765 34918 270 573 0 36183 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 147060

[startup+402.301 s]
/proc/loadavg: 1.99 1.81 1.75 3/435 27105
/proc/meminfo: memFree=12332496/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=168752 CPUtime=402.3 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 4029357 0 0 0 39680 550 0 0 25 0 1 0 852392934 172802048 36315 33554432000 4194304 6539028 140736641140400 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 42188 36316 270 573 0 41606 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 168752

[startup+462.301 s]
/proc/loadavg: 1.99 1.84 1.76 3/435 27106
/proc/meminfo: memFree=12305080/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=158016 CPUtime=462.31 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 4573018 0 0 0 45608 623 0 0 25 0 1 0 852392934 161808384 38293 33554432000 4194304 6539028 140736641140400 18446744073709551615 4698646 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 39504 38293 270 573 0 38922 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 158016

[startup+522.301 s]
/proc/loadavg: 2.14 1.90 1.78 3/435 27108
/proc/meminfo: memFree=12317340/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=181564 CPUtime=522.3 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 5127499 0 0 0 51532 698 0 0 25 0 1 0 852392934 185921536 41972 33554432000 4194304 6539028 140736641140400 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 45391 41973 270 573 0 44809 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 181564

[startup+582.301 s]
/proc/loadavg: 2.17 1.95 1.80 3/435 27119
/proc/meminfo: memFree=12312644/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=162764 CPUtime=582.3 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 5677767 0 0 0 57455 775 0 0 25 0 1 0 852392934 166670336 38112 33554432000 4194304 6539028 140736641140400 18446744073709551615 4716047 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 40691 38112 270 573 0 40109 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 162764


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

[startup+882.301 s]
/proc/loadavg: 2.00 1.97 1.84 3/435 27130
/proc/meminfo: memFree=12296124/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=191760 CPUtime=882.31 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 8510095 0 0 0 87064 1167 0 0 25 0 1 0 852392934 196362240 42289 33554432000 4194304 6539028 140736641140400 18446744073709551615 4653202 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 47940 42289 270 573 0 47358 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 191760

[startup+942.301 s]
/proc/loadavg: 2.00 1.97 1.85 3/435 27131
/proc/meminfo: memFree=12314588/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=172792 CPUtime=942.32 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 9040953 0 0 0 92988 1244 0 0 25 0 1 0 852392934 176939008 40987 33554432000 4194304 6539028 140736641140400 18446744073709551615 5474925 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 43198 40987 270 573 0 42616 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 172792

[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.85 3/435 27133
/proc/meminfo: memFree=12299320/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=172960 CPUtime=1002.31 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 9505800 0 0 0 98923 1308 0 0 25 0 1 0 852392934 177111040 40819 33554432000 4194304 6539028 140736641140400 18446744073709551615 4499117 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 43240 40819 270 573 0 42658 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 172960

[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.86 3/435 27135
/proc/meminfo: memFree=12313320/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=191928 CPUtime=1062.32 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 9987889 0 0 0 104853 1379 0 0 25 0 1 0 852392934 196534272 42475 33554432000 4194304 6539028 140736641140400 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 47982 42475 270 573 0 47400 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 191928

[startup+1122.3 s]
/proc/loadavg: 2.07 2.00 1.88 3/435 27136
/proc/meminfo: memFree=12307600/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=173128 CPUtime=1122.31 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 10579982 0 0 0 110767 1464 0 0 25 0 1 0 852392934 177283072 40932 33554432000 4194304 6539028 140736641140400 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 43282 40932 270 573 0 42700 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 173128

[startup+1182.3 s]
/proc/loadavg: 2.13 2.03 1.89 3/435 27138
/proc/meminfo: memFree=12311180/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=192096 CPUtime=1182.32 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 11038346 0 0 0 116701 1531 0 0 25 0 1 0 852392934 196706304 43115 33554432000 4194304 6539028 140736641140400 18446744073709551615 4707328 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 48024 43116 270 573 0 47442 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 192096

[startup+1242.3 s]
/proc/loadavg: 2.05 2.02 1.90 3/435 27139
/proc/meminfo: memFree=12315632/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=161624 CPUtime=1242.32 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 11507157 0 0 0 122638 1594 0 0 25 0 1 0 852392934 165502976 37634 33554432000 4194304 6539028 140736641140400 18446744073709551615 4718200 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 40406 37634 270 573 0 39824 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 161624

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 1.90 3/435 27141
/proc/meminfo: memFree=12286232/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=173468 CPUtime=1302.32 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 11992978 0 0 0 128566 1666 0 0 25 0 1 0 852392934 177631232 39681 33554432000 4194304 6539028 140736641140400 18446744073709551615 4499126 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 43367 39681 270 573 0 42785 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 173468

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/435 27143
/proc/meminfo: memFree=12299740/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=192940 CPUtime=1362.33 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 12443490 0 0 0 134498 1735 0 0 25 0 1 0 852392934 197570560 43538 33554432000 4194304 6539028 140736641140400 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 48235 43538 270 573 0 47653 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 192940

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/435 27144
/proc/meminfo: memFree=12296256/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=162632 CPUtime=1422.32 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 12863616 0 0 0 140436 1796 0 0 25 0 1 0 852392934 166535168 39076 33554432000 4194304 6539028 140736641140400 18446744073709551615 4716055 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 40658 39076 270 573 0 40076 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 162632

[startup+1482.32 s]
/proc/loadavg: 2.00 2.00 1.91 3/435 27146
/proc/meminfo: memFree=12318072/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=174308 CPUtime=1482.34 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 13433664 0 0 0 146354 1880 0 0 25 0 1 0 852392934 178491392 39750 33554432000 4194304 6539028 140736641140400 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 43577 39750 270 573 0 42995 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 174308

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/435 27147
/proc/meminfo: memFree=12324260/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=193276 CPUtime=1542.33 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 14024343 0 0 0 152267 1966 0 0 25 0 1 0 852392934 197914624 42930 33554432000 4194304 6539028 140736641140400 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 48319 42930 270 573 0 47737 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 193276

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/435 27149
/proc/meminfo: memFree=12297588/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=162632 CPUtime=1602.33 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 14616816 0 0 0 158178 2055 0 0 25 0 1 0 852392934 166535168 37964 33554432000 4194304 6539028 140736641140400 18446744073709551615 4283089 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 40658 37964 270 573 0 40076 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 162632

[startup+1662.3 s]
/proc/loadavg: 2.10 2.03 1.92 3/435 27150
/proc/meminfo: memFree=12316552/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=155624 CPUtime=1662.33 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 15083992 0 0 0 164110 2123 0 0 25 0 1 0 852392934 159358976 36745 33554432000 4194304 6539028 140736641140400 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 38906 36745 270 573 0 38324 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 155624

[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 1.93 3/435 27152
/proc/meminfo: memFree=12316916/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=174648 CPUtime=1722.32 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 15497891 0 0 0 170051 2181 0 0 25 0 1 0 852392934 178839552 40899 33554432000 4194304 6539028 140736641140400 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 43662 40899 270 573 0 43080 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 174648

[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 1.93 3/435 27154
/proc/meminfo: memFree=12297064/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=193616 CPUtime=1782.33 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 15951548 0 0 0 175987 2246 0 0 25 0 1 0 852392934 198262784 43144 33554432000 4194304 6539028 140736641140400 18446744073709551615 4499126 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 48404 43145 270 573 0 47822 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 193616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.12 2.05 1.94 3/435 27154
/proc/meminfo: memFree=12314176/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=174648 CPUtime=1800.04 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 16069034 0 0 0 177739 2265 0 0 25 0 1 0 852392934 178839552 39579 33554432000 4194304 6539028 140736641140400 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 43662 39579 270 573 0 43080 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 174648

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.12 2.05 1.94 3/435 27154
/proc/meminfo: memFree=12314176/32951132 swapFree=67093840/67111528
[pid=27092] ppid=27090 vsize=174648 CPUtime=1800.04 cores=0,2,4,6
/proc/27092/stat : 27092 (minisatid) R 27090 27092 24804 0 -1 4202496 16069034 0 0 0 177739 2265 0 0 25 0 1 0 852392934 178839552 39579 33554432000 4194304 6539028 140736641140400 18446744073709551615 4509419 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/27092/statm: 43662 39579 270 573 0 43080 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 174648

Child status: 0
Real time (s): 1800.03
CPU time (s): 1800.06
CPU user time (s): 1777.4
CPU system time (s): 22.6656
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 252680

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

runsolver used 8.48871 second user time and 17.9473 second system time

The end

Launcher Data 

Begin job on node131 at 2011-06-07 02:52:13
IDJOB=3464437
IDBENCH=48193
IDSOLVER=1956
FILE ID=node131/3464437-1307407933
RUNJOBID= node131-1307407933-27073
PBS_JOBID= 13514176
Free space on /tmp= 73964 MiB

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

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

MD5SUM BENCH= 0945390fcac05113ffd57d1199a19e21
RANDOM SEED=860404623

node131.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.830
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.66
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.830
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.830
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.83
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.830
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.830
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.77
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.830
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.830
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.830
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:     32951132 kB
MemFree:      12508648 kB
Buffers:        355808 kB
Cached:        5651776 kB
SwapCached:        948 kB
Active:       15994964 kB
Inactive:      4127428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      12508648 kB
SwapTotal:    67111528 kB
SwapFree:     67093840 kB
Dirty:            5856 kB
Writeback:           0 kB
AnonPages:    14112972 kB
Mapped:          39256 kB
Slab:           199064 kB
PageTables:      55476 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 95345176 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73960 MiB
End job on node131 at 2011-06-07 03:22:15