Trace number 3469444

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-R4191SAT (TO)-33 1800.06 1800.03

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_3.opb
MD5SUMa83973bc04af54d38c05a30d36c8573f
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-44
Best CPU time to get the best result obtained on this benchmark1797.3
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -41
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)74920
Sum of products size (including duplicates)149840
Number of different products37460
Sum of products size74920

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

Verifier Data 

OK	-33

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-3469444-1307099393/watcher-3469444-1307099393 -o /tmp/evaluation-result-3469444-1307099393/solver-3469444-1307099393 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469444-1307099393.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: 1.92 2.00 1.99 2/515 8884
/proc/meminfo: memFree=23172396/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=20572 CPUtime=0 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 2663 0 0 0 0 0 0 0 25 0 1 0 900170017 21065728 2304 33554432000 4194304 4933572 140736219291936 18446744073709551615 47184763795022 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/8884/statm: 5143 2307 319 181 0 2152 0

[startup+0.022642 s]
/proc/loadavg: 1.92 2.00 1.99 2/515 8884
/proc/meminfo: memFree=23172396/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=23476 CPUtime=0.01 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 3452 0 0 0 1 0 0 0 25 0 1 0 900170017 24039424 3093 33554432000 4194304 4933572 140736219291936 18446744073709551615 4552995 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/8884/statm: 5869 3096 319 181 0 2878 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 23476

[startup+0.100698 s]
/proc/loadavg: 1.92 2.00 1.99 2/515 8884
/proc/meminfo: memFree=23172396/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=34352 CPUtime=0.09 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 7136 0 0 0 9 0 0 0 25 0 1 0 900170017 35176448 5811 33554432000 4194304 4933572 140736219291936 18446744073709551615 4322679 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/8884/statm: 8588 5811 343 181 0 5597 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34352

[startup+0.300663 s]
/proc/loadavg: 1.92 2.00 1.99 2/515 8884
/proc/meminfo: memFree=23172396/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=31764 CPUtime=0.29 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 7196 0 0 0 29 0 0 0 25 0 1 0 900170017 32526336 5274 33554432000 4194304 4933572 140736219291936 18446744073709551615 4378277 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/8884/statm: 7941 5274 366 181 0 4950 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31764

[startup+0.700586 s]
/proc/loadavg: 1.92 2.00 1.99 2/515 8884
/proc/meminfo: memFree=23172396/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=31764 CPUtime=0.69 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 7202 0 0 0 69 0 0 0 25 0 1 0 900170017 32526336 5280 33554432000 4194304 4933572 140736219291936 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/8884/statm: 7941 5280 372 181 0 4950 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31764

[startup+1.50044 s]
/proc/loadavg: 1.92 2.00 1.99 4/516 8885
/proc/meminfo: memFree=23151068/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=31612 CPUtime=1.49 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 7203 0 0 0 149 0 0 0 25 0 1 0 900170017 32370688 5243 33554432000 4194304 4933572 140736219291936 18446744073709551615 4377171 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/8884/statm: 7903 5243 373 181 0 4912 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31612

[startup+3.10113 s]
/proc/loadavg: 1.92 2.00 1.99 3/516 8885
/proc/meminfo: memFree=23149964/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=36772 CPUtime=3.09 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 8503 0 0 0 309 0 0 0 25 0 1 0 900170017 37654528 6543 33554432000 4194304 4933572 140736219291936 18446744073709551615 4648398 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/8884/statm: 9193 6543 373 181 0 6202 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36772

[startup+6.30053 s]
/proc/loadavg: 1.93 2.00 1.99 3/516 8885
/proc/meminfo: memFree=23135724/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=38356 CPUtime=6.29 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 8880 0 0 0 629 0 0 0 25 0 1 0 900170017 39276544 6920 33554432000 4194304 4933572 140736219291936 18446744073709551615 4649714 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/8884/statm: 9589 6920 373 181 0 6598 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38356

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 1.99 3/516 8885
/proc/meminfo: memFree=23105344/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=41404 CPUtime=12.69 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 9665 0 0 0 1268 1 0 0 25 0 1 0 900170017 42397696 7705 33554432000 4194304 4933572 140736219291936 18446744073709551615 4717059 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/8884/statm: 10351 7705 373 181 0 7360 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41404

[startup+25.5009 s]
/proc/loadavg: 1.95 2.00 1.99 3/516 8885
/proc/meminfo: memFree=23099144/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=42064 CPUtime=25.5 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 9809 0 0 0 2549 1 0 0 25 0 1 0 900170017 43073536 7849 33554432000 4194304 4933572 140736219291936 18446744073709551615 4648387 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/8884/statm: 10516 7849 374 181 0 7525 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 42064

[startup+51.101 s]
/proc/loadavg: 1.96 2.00 1.99 3/516 8886
/proc/meminfo: memFree=23100216/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=42064 CPUtime=51.1 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 9813 0 0 0 5109 1 0 0 25 0 1 0 900170017 43073536 7853 33554432000 4194304 4933572 140736219291936 18446744073709551615 4648408 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/8884/statm: 10516 7853 374 181 0 7525 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 42064

[startup+102.32 s]
/proc/loadavg: 1.98 2.00 1.99 3/516 8887
/proc/meminfo: memFree=23097784/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=42856 CPUtime=102.31 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 10028 0 0 0 10230 1 0 0 25 0 1 0 900170017 43884544 8068 33554432000 4194304 4933572 140736219291936 18446744073709551615 4717253 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/8884/statm: 10714 8068 374 181 0 7723 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 42856

[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/516 8889
/proc/meminfo: memFree=23094124/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=46448 CPUtime=162.29 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 10921 0 0 0 16228 1 0 0 25 0 1 0 900170017 47562752 8961 33554432000 4194304 4933572 140736219291936 18446744073709551615 4360028 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/8884/statm: 11612 8961 374 181 0 8621 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 46448

[startup+222.301 s]
/proc/loadavg: 2.14 2.04 2.01 3/516 8891
/proc/meminfo: memFree=23092320/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=49472 CPUtime=222.29 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 11650 0 0 0 22228 1 0 0 25 0 1 0 900170017 50659328 9690 33554432000 4194304 4933572 140736219291936 18446744073709551615 4648645 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/8884/statm: 12368 9690 374 181 0 9377 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 49472

[startup+282.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/516 8892
/proc/meminfo: memFree=23089544/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=53084 CPUtime=282.26 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 12497 0 0 0 28225 1 0 0 25 0 1 0 900170017 54358016 10537 33554432000 4194304 4933572 140736219291936 18446744073709551615 4717253 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8884/statm: 13271 10537 374 181 0 10280 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 53084

[startup+342.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/516 8894
/proc/meminfo: memFree=23089008/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=53880 CPUtime=342.26 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 12700 0 0 0 34225 1 0 0 25 0 1 0 900170017 55173120 10740 33554432000 4194304 4933572 140736219291936 18446744073709551615 4648411 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8884/statm: 13470 10740 374 181 0 10479 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 53880

[startup+402.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/516 8895
/proc/meminfo: memFree=23083864/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=58096 CPUtime=402.27 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 13747 0 0 0 40226 1 0 0 25 0 1 0 900170017 59490304 11787 33554432000 4194304 4933572 140736219291936 18446744073709551615 4717059 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8884/statm: 14524 11787 374 181 0 11533 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 58096

[startup+462.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/516 8897
/proc/meminfo: memFree=23070560/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=61732 CPUtime=462.27 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 14622 0 0 0 46225 2 0 0 25 0 1 0 900170017 63213568 12662 33554432000 4194304 4933572 140736219291936 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8884/statm: 15433 12662 374 181 0 12442 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 61732

[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 8899
/proc/meminfo: memFree=23070500/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=64240 CPUtime=522.27 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 15274 0 0 0 52225 2 0 0 25 0 1 0 900170017 65781760 13314 33554432000 4194304 4933572 140736219291936 18446744073709551615 4717073 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8884/statm: 16060 13314 374 181 0 13069 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 64240

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 8900
/proc/meminfo: memFree=23069352/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=65560 CPUtime=582.27 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 15599 0 0 0 58225 2 0 0 25 0 1 0 900170017 67133440 13639 33554432000 4194304 4933572 140736219291936 18446744073709551615 4717253 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8884/statm: 16390 13639 374 181 0 13399 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 65560

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.13 2.07 2.02 3/516 8907
/proc/meminfo: memFree=23061848/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=72848 CPUtime=822.29 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 17323 0 0 0 82226 3 0 0 25 0 1 0 900170017 74596352 15363 33554432000 4194304 4933572 140736219291936 18446744073709551615 4648632 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8884/statm: 18212 15363 374 181 0 15221 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 72848

[startup+882.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/516 8908
/proc/meminfo: memFree=23045292/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=74512 CPUtime=882.29 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 17707 0 0 0 88226 3 0 0 25 0 1 0 900170017 76300288 15747 33554432000 4194304 4933572 140736219291936 18446744073709551615 4362110 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8884/statm: 18628 15747 374 181 0 15637 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 74512

[startup+942.301 s]
/proc/loadavg: 2.02 2.05 2.01 3/516 8910
/proc/meminfo: memFree=23043612/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=77160 CPUtime=942.29 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 18278 0 0 0 94226 3 0 0 25 0 1 0 900170017 79011840 16318 33554432000 4194304 4933572 140736219291936 18446744073709551615 4648609 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8884/statm: 19290 16318 374 181 0 16299 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 77160

[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 8911
/proc/meminfo: memFree=23041448/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=79264 CPUtime=1002.29 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 18791 0 0 0 100226 3 0 0 25 0 1 0 900170017 81166336 16831 33554432000 4194304 4933572 140736219291936 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8884/statm: 19816 16831 374 181 0 16825 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 79264

[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 8913
/proc/meminfo: memFree=23037548/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=81904 CPUtime=1062.3 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 19455 0 0 0 106227 3 0 0 25 0 1 0 900170017 83869696 17495 33554432000 4194304 4933572 140736219291936 18446744073709551615 4648408 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8884/statm: 20476 17495 374 181 0 17485 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 81904

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 8915
/proc/meminfo: memFree=23036612/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=84084 CPUtime=1122.3 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 19951 0 0 0 112227 3 0 0 25 0 1 0 900170017 86102016 17991 33554432000 4194304 4933572 140736219291936 18446744073709551615 4359769 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8884/statm: 21021 17991 374 181 0 18030 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 84084

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 8916
/proc/meminfo: memFree=23034204/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=85992 CPUtime=1182.3 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 20380 0 0 0 118227 3 0 0 25 0 1 0 900170017 88055808 18420 33554432000 4194304 4933572 140736219291936 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8884/statm: 21498 18420 374 181 0 18507 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 85992

[startup+1242.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/516 8918
/proc/meminfo: memFree=22989524/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=88392 CPUtime=1242.3 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 20872 0 0 0 124227 3 0 0 25 0 1 0 900170017 90513408 18912 33554432000 4194304 4933572 140736219291936 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8884/statm: 22098 18912 374 181 0 19107 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 88392

[startup+1302.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/516 8919
/proc/meminfo: memFree=22978328/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=90304 CPUtime=1302.31 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 21300 0 0 0 130228 3 0 0 25 0 1 0 900170017 92471296 19340 33554432000 4194304 4933572 140736219291936 18446744073709551615 4717059 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8884/statm: 22576 19340 374 181 0 19585 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 90304

[startup+1362.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/516 8921
/proc/meminfo: memFree=22977288/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=91472 CPUtime=1362.3 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 21561 0 0 0 136227 3 0 0 25 0 1 0 900170017 93667328 19601 33554432000 4194304 4933572 140736219291936 18446744073709551615 4717062 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8884/statm: 22868 19601 374 181 0 19877 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 91472

[startup+1422.32 s]
/proc/loadavg: 2.05 2.05 2.01 3/516 8923
/proc/meminfo: memFree=22962964/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=93680 CPUtime=1422.32 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 22047 0 0 0 142229 3 0 0 25 0 1 0 900170017 95928320 20087 33554432000 4194304 4933572 140736219291936 18446744073709551615 4717062 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8884/statm: 23420 20087 374 181 0 20429 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 93680

[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/516 8924
/proc/meminfo: memFree=22953740/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=94796 CPUtime=1482.32 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 22309 0 0 0 148228 4 0 0 25 0 1 0 900170017 97071104 20349 33554432000 4194304 4933572 140736219291936 18446744073709551615 4717240 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8884/statm: 23699 20349 374 181 0 20708 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 94796

[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 8926
/proc/meminfo: memFree=22951596/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=96272 CPUtime=1542.32 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 22646 0 0 0 154228 4 0 0 25 0 1 0 900170017 98582528 20686 33554432000 4194304 4933572 140736219291936 18446744073709551615 4649236 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8884/statm: 24068 20686 374 181 0 21077 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 96272

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 8955
/proc/meminfo: memFree=23126244/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=97832 CPUtime=1602.32 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 23012 0 0 0 160228 4 0 0 25 0 1 0 900170017 100179968 21052 33554432000 4194304 4933572 140736219291936 18446744073709551615 4717024 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8884/statm: 24458 21052 374 181 0 21467 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 97832

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 8957
/proc/meminfo: memFree=23119720/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=102120 CPUtime=1662.32 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 24029 0 0 0 166228 4 0 0 25 0 1 0 900170017 104570880 22069 33554432000 4194304 4933572 140736219291936 18446744073709551615 4717024 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8884/statm: 25530 22069 374 181 0 22539 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 102120

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 8959
/proc/meminfo: memFree=23116692/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=102120 CPUtime=1722.32 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 24044 0 0 0 172228 4 0 0 25 0 1 0 900170017 104570880 22084 33554432000 4194304 4933572 140736219291936 18446744073709551615 4716992 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8884/statm: 25530 22084 374 181 0 22539 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 102120

[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/516 8963
/proc/meminfo: memFree=23113584/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=102252 CPUtime=1782.32 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 24121 0 0 0 178228 4 0 0 25 0 1 0 900170017 104706048 22161 33554432000 4194304 4933572 140736219291936 18446744073709551615 4717069 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8884/statm: 25563 22161 374 181 0 22572 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 102252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.03 2.02 2.00 3/516 8964
/proc/meminfo: memFree=23112920/32950928 swapFree=58671692/67111528
[pid=8884] ppid=8882 vsize=102636 CPUtime=1800.03 cores=1,3,5,7
/proc/8884/stat : 8884 (clasp) R 8882 8884 8237 0 -1 4202496 24188 0 0 0 179999 4 0 0 25 0 1 0 900170017 105099264 22228 33554432000 4194304 4933572 140736219291936 18446744073709551615 4717052 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/8884/statm: 25659 22228 374 181 0 22668 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 102636

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.03
CPU time (s): 1800.06
CPU user time (s): 1800.01
CPU system time (s): 0.050992
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 102636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.050992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24199
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= 9
involuntary context switches= 19910

runsolver used 8.94364 second user time and 22.1716 second system time

The end

Launcher Data 

Begin job on node115 at 2011-06-03 13:09:53
IDJOB=3469444
IDBENCH=48226
IDSOLVER=1959
FILE ID=node115/3469444-1307099393
RUNJOBID= node115-1307091929-8256
PBS_JOBID= 13497964
Free space on /tmp= 73828 MiB

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

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

MD5SUM BENCH= a83973bc04af54d38c05a30d36c8573f
RANDOM SEED=1150046751

node115.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.811
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.62
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.811
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	: 5226.15
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.811
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.75
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.811
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.811
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.811
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.811
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.811
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:     32950928 kB
MemFree:      23172676 kB
Buffers:        131016 kB
Cached:         244560 kB
SwapCached:      65796 kB
Active:        1115640 kB
Inactive:      8422400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23172676 kB
SwapTotal:    67111528 kB
SwapFree:     58671692 kB
Dirty:            1576 kB
Writeback:           0 kB
AnonPages:     9099956 kB
Mapped:          27960 kB
Slab:            96032 kB
PageTables:      75464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 151901844 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= 73828 MiB
End job on node115 at 2011-06-03 13:39:56