Trace number 3491951

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
clasp 2.0-R4191-patched (fixed)SAT (TO)-33 1800.04 1800.01

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_5.opb
MD5SUM13c8aeb5c21aab422ad1cf9309500df6
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-43
Best CPU time to get the best result obtained on this benchmark1797.29
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
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)75000
Sum of products size (including duplicates)150000
Number of different products37500
Sum of products size75000

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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

Verifier Data 

OK	-33

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3491951-1307779331/watcher-3491951-1307779331 -o /tmp/evaluation-result-3491951-1307779331/solver-3491951-1307779331 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491951-1307779331.opb --solu --heu=VSIDS 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 18114
/proc/meminfo: memFree=31637360/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=9860 CPUtime=0 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 2204 0 0 0 0 0 0 0 25 0 1 0 889531734 10096640 1904 33554432000 4194304 6245536 140735973969568 18446744073709551615 4642355 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 2465 1908 172 501 0 1961 0

[startup+0.0853251 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 18114
/proc/meminfo: memFree=31637360/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=24400 CPUtime=0.07 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 6965 0 0 0 7 0 0 0 25 0 1 0 889531734 24985600 5653 33554432000 4194304 6245536 140735973969568 18446744073709551615 4642005 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 6100 5653 201 501 0 5596 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 24400

[startup+0.100332 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 18114
/proc/meminfo: memFree=31637360/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=21812 CPUtime=0.09 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 6967 0 0 0 9 0 0 0 25 0 1 0 889531734 22335488 5058 33554432000 4194304 6245536 140735973969568 18446744073709551615 4357847 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 5453 5058 203 501 0 4949 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21812

[startup+0.300286 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 18114
/proc/meminfo: memFree=31637360/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=21812 CPUtime=0.29 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 7022 0 0 0 29 0 0 0 25 0 1 0 889531734 22335488 5113 33554432000 4194304 6245536 140735973969568 18446744073709551615 4627947 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 5453 5113 221 501 0 4949 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21812

[startup+0.70023 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 18114
/proc/meminfo: memFree=31637360/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=21812 CPUtime=0.69 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 7028 0 0 0 69 0 0 0 25 0 1 0 889531734 22335488 5119 33554432000 4194304 6245536 140735973969568 18446744073709551615 4628264 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 5453 5119 227 501 0 4949 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21812

[startup+1.50109 s]
/proc/loadavg: 2.00 2.00 1.93 4/176 18115
/proc/meminfo: memFree=31615800/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=21660 CPUtime=1.49 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 7052 0 0 0 149 0 0 0 25 0 1 0 889531734 22179840 5105 33554432000 4194304 6245536 140735973969568 18446744073709551615 4628151 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 5415 5105 227 501 0 4911 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21660

[startup+3.10082 s]
/proc/loadavg: 2.00 2.00 1.93 4/176 18115
/proc/meminfo: memFree=31615552/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=24432 CPUtime=3.09 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 7731 0 0 0 309 0 0 0 25 0 1 0 889531734 25018368 5784 33554432000 4194304 6245536 140735973969568 18446744073709551615 4637426 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 6108 5784 227 501 0 5604 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24432

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 18115
/proc/meminfo: memFree=31612456/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=25224 CPUtime=6.29 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 7939 0 0 0 629 0 0 0 25 0 1 0 889531734 25829376 5992 33554432000 4194304 6245536 140735973969568 18446744073709551615 4323456 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 6306 5992 228 501 0 5802 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25224

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 18115
/proc/meminfo: memFree=31609408/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=27156 CPUtime=12.69 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 8405 0 0 0 1268 1 0 0 25 0 1 0 889531734 27807744 6458 33554432000 4194304 6245536 140735973969568 18446744073709551615 4700402 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 6789 6458 228 501 0 6285 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27156

[startup+25.501 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 18115
/proc/meminfo: memFree=31604460/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=30276 CPUtime=25.49 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 9179 0 0 0 2548 1 0 0 25 0 1 0 889531734 31002624 7232 33554432000 4194304 6245536 140735973969568 18446744073709551615 4628562 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 7569 7232 229 501 0 7065 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30276

[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 18117
/proc/meminfo: memFree=31603452/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=30276 CPUtime=51.09 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 9183 0 0 0 5108 1 0 0 25 0 1 0 889531734 31002624 7236 33554432000 4194304 6245536 140735973969568 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 7569 7236 229 501 0 7065 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 30276

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 18117
/proc/meminfo: memFree=31600088/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=31200 CPUtime=102.3 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 9423 0 0 0 10229 1 0 0 25 0 1 0 889531734 31948800 7476 33554432000 4194304 6245536 140735973969568 18446744073709551615 4628043 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 7800 7476 229 501 0 7296 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 31200

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 18119
/proc/meminfo: memFree=31596844/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=34028 CPUtime=162.29 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 10112 0 0 0 16228 1 0 0 25 0 1 0 889531734 34844672 8165 33554432000 4194304 6245536 140735973969568 18446744073709551615 4628151 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 8507 8165 229 501 0 8003 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 34028

[startup+222.301 s]
/proc/loadavg: 2.06 2.01 1.93 3/176 18121
/proc/meminfo: memFree=31593116/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=37052 CPUtime=222.29 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 10852 0 0 0 22228 1 0 0 25 0 1 0 889531734 37941248 8905 33554432000 4194304 6245536 140735973969568 18446744073709551615 4637442 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 9263 8905 229 501 0 8759 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 37052

[startup+282.301 s]
/proc/loadavg: 2.02 2.01 1.93 4/176 18126
/proc/meminfo: memFree=31590232/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=39312 CPUtime=282.29 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 11432 0 0 0 28228 1 0 0 25 0 1 0 889531734 40255488 9485 33554432000 4194304 6245536 140735973969568 18446744073709551615 4700402 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 9828 9485 229 501 0 9324 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 39312

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 18128
/proc/meminfo: memFree=31588760/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=41300 CPUtime=342.29 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 11907 0 0 0 34228 1 0 0 25 0 1 0 889531734 42291200 9960 33554432000 4194304 6245536 140735973969568 18446744073709551615 4628264 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 10325 9960 229 501 0 9821 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 41300

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 18128
/proc/meminfo: memFree=31585028/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=44608 CPUtime=402.29 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 12735 0 0 0 40228 1 0 0 25 0 1 0 889531734 45678592 10788 33554432000 4194304 6245536 140735973969568 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 11152 10788 229 501 0 10648 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 44608

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 18130
/proc/meminfo: memFree=31583764/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=45828 CPUtime=462.3 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 13019 0 0 0 46228 2 0 0 25 0 1 0 889531734 46927872 11072 33554432000 4194304 6245536 140735973969568 18446744073709551615 4627947 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 11457 11072 229 501 0 10953 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 45828

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 18132
/proc/meminfo: memFree=31579288/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=50196 CPUtime=522.3 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 14134 0 0 0 52228 2 0 0 25 0 1 0 889531734 51400704 12187 33554432000 4194304 6245536 140735973969568 18446744073709551615 4701936 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 12549 12187 229 501 0 12045 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 50196

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/176 18134
/proc/meminfo: memFree=31578408/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=50728 CPUtime=582.3 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 14261 0 0 0 58228 2 0 0 25 0 1 0 889531734 51945472 12314 33554432000 4194304 6245536 140735973969568 18446744073709551615 4628058 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 12682 12314 229 501 0 12178 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 50728

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.04 2.01 1.94 3/176 18140
/proc/meminfo: memFree=31566444/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=62476 CPUtime=822.3 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 17104 0 0 0 82228 2 0 0 25 0 1 0 889531734 63975424 15157 33554432000 4194304 6245536 140735973969568 18446744073709551615 4700434 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 15619 15157 229 501 0 15115 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 62476

[startup+882.301 s]
/proc/loadavg: 2.01 2.01 1.94 3/176 18142
/proc/meminfo: memFree=31566664/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=62476 CPUtime=882.3 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 17107 0 0 0 88228 2 0 0 25 0 1 0 889531734 63975424 15160 33554432000 4194304 6245536 140735973969568 18446744073709551615 4628264 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 15619 15160 229 501 0 15115 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 62476

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 18144
/proc/meminfo: memFree=31565540/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=63384 CPUtime=942.3 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 17329 0 0 0 94228 2 0 0 25 0 1 0 889531734 64905216 15382 33554432000 4194304 6245536 140735973969568 18446744073709551615 4628868 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 15846 15382 229 501 0 15342 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 63384

[startup+1002.3 s]
/proc/loadavg: 2.05 2.01 1.94 3/176 18144
/proc/meminfo: memFree=31563052/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=65888 CPUtime=1002.31 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 17901 0 0 0 100228 3 0 0 25 0 1 0 889531734 67469312 15954 33554432000 4194304 6245536 140735973969568 18446744073709551615 4700632 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 16472 15954 229 501 0 15968 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 65888

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/176 18146
/proc/meminfo: memFree=31560060/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=69068 CPUtime=1062.31 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 18673 0 0 0 106228 3 0 0 25 0 1 0 889531734 70725632 16726 33554432000 4194304 6245536 140735973969568 18446744073709551615 4637442 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 17267 16726 229 501 0 16763 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 69068

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 18148
/proc/meminfo: memFree=31557688/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=71556 CPUtime=1122.31 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 19268 0 0 0 112228 3 0 0 25 0 1 0 889531734 73273344 17321 33554432000 4194304 6245536 140735973969568 18446744073709551615 4635164 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 17889 17321 229 501 0 17385 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 71556

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 18150
/proc/meminfo: memFree=31557316/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=71832 CPUtime=1182.31 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 19338 0 0 0 118228 3 0 0 25 0 1 0 889531734 73555968 17391 33554432000 4194304 6245536 140735973969568 18446744073709551615 4700402 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 17958 17391 229 501 0 17454 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 71832

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 18152
/proc/meminfo: memFree=31553952/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=74728 CPUtime=1242.31 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 20055 0 0 0 124228 3 0 0 25 0 1 0 889531734 76521472 18108 33554432000 4194304 6245536 140735973969568 18446744073709551615 4628016 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 18682 18108 229 501 0 18178 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 74728

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 18152
/proc/meminfo: memFree=31550348/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=78344 CPUtime=1302.32 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 20951 0 0 0 130229 3 0 0 25 0 1 0 889531734 80224256 19004 33554432000 4194304 6245536 140735973969568 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 19586 19004 229 501 0 19082 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 78344

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 18154
/proc/meminfo: memFree=31550456/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=78344 CPUtime=1362.31 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 20964 0 0 0 136228 3 0 0 25 0 1 0 889531734 80224256 19017 33554432000 4194304 6245536 140735973969568 18446744073709551615 4700454 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 19586 19017 229 501 0 19082 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 78344

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 18156
/proc/meminfo: memFree=31550196/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=78652 CPUtime=1422.32 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 21024 0 0 0 142229 3 0 0 25 0 1 0 889531734 80539648 19077 33554432000 4194304 6245536 140735973969568 18446744073709551615 4628043 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 19663 19077 229 501 0 19159 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 78652

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 18158
/proc/meminfo: memFree=31548696/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=80148 CPUtime=1482.31 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 21365 0 0 0 148228 3 0 0 25 0 1 0 889531734 82071552 19418 33554432000 4194304 6245536 140735973969568 18446744073709551615 4323508 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 20037 19418 229 501 0 19533 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 80148

[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/176 18160
/proc/meminfo: memFree=31547684/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=81244 CPUtime=1542.31 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 21597 0 0 0 154228 3 0 0 25 0 1 0 889531734 83193856 19650 33554432000 4194304 6245536 140735973969568 18446744073709551615 4637442 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 20311 19650 229 501 0 19807 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 81244

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/176 18160
/proc/meminfo: memFree=31546808/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=82424 CPUtime=1602.31 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 21835 0 0 0 160228 3 0 0 25 0 1 0 889531734 84402176 19888 33554432000 4194304 6245536 140735973969568 18446744073709551615 4637456 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 20606 19888 229 501 0 20102 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 82424

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/176 18162
/proc/meminfo: memFree=31545916/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=83172 CPUtime=1662.31 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 22005 0 0 0 166228 3 0 0 25 0 1 0 889531734 85168128 20058 33554432000 4194304 6245536 140735973969568 18446744073709551615 4323492 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 20793 20058 229 501 0 20289 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 83172

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 18164
/proc/meminfo: memFree=31544288/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=85088 CPUtime=1722.31 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 22455 0 0 0 172228 3 0 0 25 0 1 0 889531734 87130112 20508 33554432000 4194304 6245536 140735973969568 18446744073709551615 4637469 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 21272 20508 229 501 0 20768 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 85088

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 18166
/proc/meminfo: memFree=31541056/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=88052 CPUtime=1782.31 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 23200 0 0 0 178228 3 0 0 25 0 1 0 889531734 90165248 21253 33554432000 4194304 6245536 140735973969568 18446744073709551615 4700645 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 22013 21253 229 501 0 21509 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 88052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.92 1.98 1.94 2/174 18167
/proc/meminfo: memFree=31553088/32951132 swapFree=67052544/67111528
[pid=18114] ppid=18112 vsize=88052 CPUtime=1800.02 cores=1,3,5,7
/proc/18114/stat : 18114 (clasp) R 18112 18114 16337 0 -1 4202496 23203 0 0 0 179999 3 0 0 25 0 1 0 889531734 90165248 21256 33554432000 4194304 6245536 140735973969568 18446744073709551615 4628987 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/18114/statm: 22013 21256 229 501 0 21509 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 88052

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

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

Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.04
CPU user time (s): 1799.99
CPU system time (s): 0.043993
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 88052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.043993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23213
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 3153

runsolver used 2.31665 second user time and 5.9001 second system time

The end

Launcher Data 

Begin job on node128 at 2011-06-11 10:02:11
IDJOB=3491951
IDBENCH=48242
IDSOLVER=1981
FILE ID=node128/3491951-1307779331
RUNJOBID= node128-1307775724-17709
PBS_JOBID= 13550865
Free space on /tmp= 74124 MiB

SOLVER NAME= clasp 2.0-R4191-patched (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_5.opb
COMMAND LINE= HOME/clasp BENCHNAME --solu --heu=VSIDS
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3491951-1307779331/watcher-3491951-1307779331 -o /tmp/evaluation-result-3491951-1307779331/solver-3491951-1307779331 -C 1800 -W 1900 -M 15500  HOME/clasp HOME/instance-3491951-1307779331.opb --solu --heu=VSIDS

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

MD5SUM BENCH= 13c8aeb5c21aab422ad1cf9309500df6
RANDOM SEED=2139596237

node128.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.852
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.70
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.852
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.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.852
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.852
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.852
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.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      31637656 kB
Buffers:        262684 kB
Cached:         827076 kB
SwapCached:      11368 kB
Active:         271888 kB
Inactive:       840120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      31637656 kB
SwapTotal:    67111528 kB
SwapFree:     67052544 kB
Dirty:            4840 kB
Writeback:           0 kB
AnonPages:       20016 kB
Mapped:          11112 kB
Slab:           137460 kB
PageTables:       4696 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   212500 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= 74120 MiB
End job on node128 at 2011-06-11 10:32:13