Trace number 3469476

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)-113 1800.08 1800.12

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_1.opb
MD5SUM162153f0f0e5f8f2e587b9d579ee09dc
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-145
Best CPU time to get the best result obtained on this benchmark1797.15
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -136
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)12636
Sum of products size (including duplicates)25272
Number of different products6318
Sum of products size12636

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

Verifier Data 

OK	-113

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-3469476-1307102358/watcher-3469476-1307102358 -o /tmp/evaluation-result-3469476-1307102358/solver-3469476-1307102358 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469476-1307102358.opb --solu --heu=VSIDS 

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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 2.01 1.99 2/415 1125
/proc/meminfo: memFree=25996084/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=13900 CPUtime=0 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 856 0 0 0 0 0 0 0 25 0 1 0 277845167 14233600 740 33554432000 4194304 4933572 140736737543984 18446744073709551615 218880225989 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1125/statm: 3475 741 319 181 0 484 0

[startup+0.0231769 s]
/proc/loadavg: 1.92 2.01 1.99 2/415 1125
/proc/meminfo: memFree=25996084/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=16104 CPUtime=0.02 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 1708 0 0 0 2 0 0 0 25 0 1 0 277845167 16490496 1375 33554432000 4194304 4933572 140736737543984 18446744073709551615 4318085 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1125/statm: 4026 1375 365 181 0 1035 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16104

[startup+0.101164 s]
/proc/loadavg: 1.92 2.01 1.99 2/415 1125
/proc/meminfo: memFree=25996084/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=17688 CPUtime=0.09 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 2091 0 0 0 9 0 0 0 25 0 1 0 277845167 18112512 1758 33554432000 4194304 4933572 140736737543984 18446744073709551615 4648387 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1125/statm: 4422 1758 371 181 0 1431 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17688

[startup+0.301128 s]
/proc/loadavg: 1.92 2.01 1.99 2/415 1125
/proc/meminfo: memFree=25996084/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=18216 CPUtime=0.29 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 2222 0 0 0 29 0 0 0 25 0 1 0 277845167 18653184 1889 33554432000 4194304 4933572 140736737543984 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1125/statm: 4554 1889 372 181 0 1563 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18216

[startup+0.70106 s]
/proc/loadavg: 1.92 2.01 1.99 2/415 1125
/proc/meminfo: memFree=25996084/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=20196 CPUtime=0.69 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 2717 0 0 0 69 0 0 0 25 0 1 0 277845167 20680704 2384 33554432000 4194304 4933572 140736737543984 18446744073709551615 4649236 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1125/statm: 5049 2384 372 181 0 2058 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20196

[startup+1.50092 s]
/proc/loadavg: 1.92 2.01 1.99 3/416 1126
/proc/meminfo: memFree=25986528/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=21124 CPUtime=1.49 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 2968 0 0 0 149 0 0 0 25 0 1 0 277845167 21630976 2635 33554432000 4194304 4933572 140736737543984 18446744073709551615 4648315 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1125/statm: 5281 2635 373 181 0 2290 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21124

[startup+3.10064 s]
/proc/loadavg: 1.92 2.01 1.99 3/416 1126
/proc/meminfo: memFree=25982188/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=25800 CPUtime=3.09 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 4115 0 0 0 309 0 0 0 25 0 1 0 277845167 26419200 3782 33554432000 4194304 4933572 140736737543984 18446744073709551615 4717073 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1125/statm: 6450 3782 373 181 0 3459 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25800

[startup+6.30107 s]
/proc/loadavg: 1.93 2.01 1.99 3/416 1126
/proc/meminfo: memFree=25978056/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=29192 CPUtime=6.29 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 4888 0 0 0 629 0 0 0 25 0 1 0 277845167 29892608 4555 33554432000 4194304 4933572 140736737543984 18446744073709551615 4717269 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1125/statm: 7298 4555 373 181 0 4307 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29192

[startup+12.7009 s]
/proc/loadavg: 1.93 2.01 1.99 3/416 1126
/proc/meminfo: memFree=25971020/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=35276 CPUtime=12.69 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 6467 0 0 0 1268 1 0 0 25 0 1 0 277845167 36122624 6134 33554432000 4194304 4933572 140736737543984 18446744073709551615 4717047 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1125/statm: 8819 6134 373 181 0 5828 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35276

[startup+25.5007 s]
/proc/loadavg: 1.95 2.01 1.99 3/416 1126
/proc/meminfo: memFree=25968788/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=36856 CPUtime=25.49 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 7023 0 0 0 2548 1 0 0 25 0 1 0 277845167 37740544 6550 33554432000 4194304 4933572 140736737543984 18446744073709551615 4648654 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1125/statm: 9214 6550 374 181 0 6223 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36856

[startup+51.1012 s]
/proc/loadavg: 1.96 2.01 1.99 3/416 1127
/proc/meminfo: memFree=25957344/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=49028 CPUtime=51.08 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 9932 0 0 0 5107 1 0 0 25 0 1 0 277845167 50204672 9459 33554432000 4194304 4933572 140736737543984 18446744073709551615 4637154 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1125/statm: 12257 9459 374 181 0 9266 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49028

[startup+102.316 s]
/proc/loadavg: 1.98 2.00 1.99 3/416 1128
/proc/meminfo: memFree=25953988/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=50676 CPUtime=102.3 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 10417 0 0 0 10229 1 0 0 25 0 1 0 277845167 51892224 9944 33554432000 4194304 4933572 140736737543984 18446744073709551615 4717240 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1125/statm: 12669 9944 374 181 0 9678 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 50676

[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/416 1167
/proc/meminfo: memFree=25987164/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=58768 CPUtime=162.29 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 12440 0 0 0 16227 2 0 0 25 0 1 0 277845167 60178432 11967 33554432000 4194304 4933572 140736737543984 18446744073709551615 4637209 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1125/statm: 14692 11967 374 181 0 11701 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 58768

[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/416 1195
/proc/meminfo: memFree=25959628/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=60600 CPUtime=222.29 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 13200 0 0 0 22227 2 0 0 25 0 1 0 277845167 62054400 12433 33554432000 4194304 4933572 140736737543984 18446744073709551615 4717069 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1125/statm: 15150 12433 374 181 0 12159 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 60600

[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/416 1197
/proc/meminfo: memFree=25944596/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=74708 CPUtime=282.29 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 16848 0 0 0 28226 3 0 0 25 0 1 0 277845167 76500992 15883 33554432000 4194304 4933572 140736737543984 18446744073709551615 4341838 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1125/statm: 18677 15883 374 181 0 15686 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 74708

[startup+342.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/416 1199
/proc/meminfo: memFree=25934904/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=74516 CPUtime=342.29 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 17106 0 0 0 34226 3 0 0 25 0 1 0 277845167 76304384 15875 33554432000 4194304 4933572 140736737543984 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1125/statm: 18629 15875 374 181 0 15638 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 74516

[startup+402.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/416 1200
/proc/meminfo: memFree=25934884/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=74516 CPUtime=402.29 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 17106 0 0 0 40226 3 0 0 25 0 1 0 277845167 76304384 15875 33554432000 4194304 4933572 140736737543984 18446744073709551615 4635690 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1125/statm: 18629 15875 374 181 0 15638 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 74516

[startup+462.301 s]
/proc/loadavg: 2.03 2.01 2.00 4/416 1202
/proc/meminfo: memFree=25928792/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=79212 CPUtime=462.3 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 18364 0 0 0 46226 4 0 0 25 0 1 0 277845167 81113088 17031 33554432000 4194304 4933572 140736737543984 18446744073709551615 4330740 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1125/statm: 19803 17031 374 181 0 16812 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 79212

[startup+522.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/416 1203
/proc/meminfo: memFree=25928284/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=79212 CPUtime=522.23 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 18364 0 0 0 52219 4 0 0 25 0 1 0 277845167 81113088 17031 33554432000 4194304 4933572 140736737543984 18446744073709551615 4717073 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1125/statm: 19803 17031 374 181 0 16812 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 79212

[startup+582.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/416 1205
/proc/meminfo: memFree=25925548/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=79212 CPUtime=582.23 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 18364 0 0 0 58219 4 0 0 25 0 1 0 277845167 81113088 17031 33554432000 4194304 4933572 140736737543984 18446744073709551615 4718266 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1125/statm: 19803 17031 374 181 0 16812 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 79212

[startup+642.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 1216
/proc/meminfo: memFree=25864764/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=116748 CPUtime=882.23 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 27476 0 0 0 88218 5 0 0 25 0 1 0 277845167 119549952 26013 33554432000 4194304 4933572 140736737543984 18446744073709551615 4362002 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1125/statm: 29187 26013 374 181 0 26196 0
Current children cumulated CPU time (s) 882.23
Current children cumulated vsize (KiB) 116748

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 1218
/proc/meminfo: memFree=25864008/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=116748 CPUtime=942.23 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 27476 0 0 0 94218 5 0 0 25 0 1 0 277845167 119549952 26013 33554432000 4194304 4933572 140736737543984 18446744073709551615 4319345 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1125/statm: 29187 26013 374 181 0 26196 0
Current children cumulated CPU time (s) 942.23
Current children cumulated vsize (KiB) 116748

[startup+1002.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/416 1219
/proc/meminfo: memFree=25864120/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=117012 CPUtime=1002.23 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 27576 0 0 0 100218 5 0 0 25 0 1 0 277845167 119820288 26113 33554432000 4194304 4933572 140736737543984 18446744073709551615 4362042 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1125/statm: 29253 26113 374 181 0 26262 0
Current children cumulated CPU time (s) 1002.23
Current children cumulated vsize (KiB) 117012

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/416 1221
/proc/meminfo: memFree=25863488/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=117328 CPUtime=1062.23 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 27852 0 0 0 106218 5 0 0 25 0 1 0 277845167 120143872 26185 33554432000 4194304 4933572 140736737543984 18446744073709551615 4340858 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1125/statm: 29332 26185 374 181 0 26341 0
Current children cumulated CPU time (s) 1062.23
Current children cumulated vsize (KiB) 117328

[startup+1122.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/416 1222
/proc/meminfo: memFree=25798364/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=119520 CPUtime=1122.23 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 28758 0 0 0 112218 5 0 0 25 0 1 0 277845167 122388480 26736 33554432000 4194304 4933572 140736737543984 18446744073709551615 4330746 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1125/statm: 29880 26736 374 181 0 26889 0
Current children cumulated CPU time (s) 1122.23
Current children cumulated vsize (KiB) 119520

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/416 1224
/proc/meminfo: memFree=25796484/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=121140 CPUtime=1182.24 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 29418 0 0 0 118218 6 0 0 25 0 1 0 277845167 124047360 27115 33554432000 4194304 4933572 140736737543984 18446744073709551615 4317962 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1125/statm: 30285 27115 374 181 0 27294 0
Current children cumulated CPU time (s) 1182.24
Current children cumulated vsize (KiB) 121140

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 1226
/proc/meminfo: memFree=25797464/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=121140 CPUtime=1242.24 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 29421 0 0 0 124218 6 0 0 25 0 1 0 277845167 124047360 27118 33554432000 4194304 4933572 140736737543984 18446744073709551615 4342099 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1125/statm: 30285 27118 374 181 0 27294 0
Current children cumulated CPU time (s) 1242.24
Current children cumulated vsize (KiB) 121140

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 1227
/proc/meminfo: memFree=25796580/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=121140 CPUtime=1302.25 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 29421 0 0 0 130219 6 0 0 25 0 1 0 277845167 124047360 27118 33554432000 4194304 4933572 140736737543984 18446744073709551615 4717253 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1125/statm: 30285 27118 374 181 0 27294 0
Current children cumulated CPU time (s) 1302.25
Current children cumulated vsize (KiB) 121140

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 1229
/proc/meminfo: memFree=25797312/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=121140 CPUtime=1362.25 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 29421 0 0 0 136219 6 0 0 25 0 1 0 277845167 124047360 27118 33554432000 4194304 4933572 140736737543984 18446744073709551615 4632820 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1125/statm: 30285 27118 374 181 0 27294 0
Current children cumulated CPU time (s) 1362.25
Current children cumulated vsize (KiB) 121140

[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 1230
/proc/meminfo: memFree=25797540/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=121140 CPUtime=1422.26 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 29421 0 0 0 142220 6 0 0 25 0 1 0 277845167 124047360 27118 33554432000 4194304 4933572 140736737543984 18446744073709551615 4340868 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1125/statm: 30285 27118 374 181 0 27294 0
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 121140

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/416 1232
/proc/meminfo: memFree=25796268/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=121140 CPUtime=1482.25 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 29421 0 0 0 148219 6 0 0 25 0 1 0 277845167 124047360 27118 33554432000 4194304 4933572 140736737543984 18446744073709551615 4717047 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1125/statm: 30285 27118 374 181 0 27294 0
Current children cumulated CPU time (s) 1482.25
Current children cumulated vsize (KiB) 121140

[startup+1542.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/416 1234
/proc/meminfo: memFree=25797248/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=121140 CPUtime=1542.25 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 29421 0 0 0 154219 6 0 0 25 0 1 0 277845167 124047360 27118 33554432000 4194304 4933572 140736737543984 18446744073709551615 4340856 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1125/statm: 30285 27118 374 181 0 27294 0
Current children cumulated CPU time (s) 1542.25
Current children cumulated vsize (KiB) 121140

[startup+1602.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/416 1235
/proc/meminfo: memFree=25797356/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=121140 CPUtime=1602.25 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 29421 0 0 0 160219 6 0 0 25 0 1 0 277845167 124047360 27118 33554432000 4194304 4933572 140736737543984 18446744073709551615 4648411 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1125/statm: 30285 27118 374 181 0 27294 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 121140

[startup+1662.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/416 1237
/proc/meminfo: memFree=25797344/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=121140 CPUtime=1662.25 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 29421 0 0 0 166219 6 0 0 25 0 1 0 277845167 124047360 27118 33554432000 4194304 4933572 140736737543984 18446744073709551615 4632876 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1125/statm: 30285 27118 374 181 0 27294 0
Current children cumulated CPU time (s) 1662.25
Current children cumulated vsize (KiB) 121140

[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/416 1238
/proc/meminfo: memFree=25797324/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=121140 CPUtime=1722.26 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 29421 0 0 0 172220 6 0 0 25 0 1 0 277845167 124047360 27118 33554432000 4194304 4933572 140736737543984 18446744073709551615 4330162 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1125/statm: 30285 27118 374 181 0 27294 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 121140

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 1240
/proc/meminfo: memFree=25796308/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=121140 CPUtime=1782.26 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 29421 0 0 0 178220 6 0 0 25 0 1 0 277845167 124047360 27118 33554432000 4194304 4933572 140736737543984 18446744073709551615 4718548 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1125/statm: 30285 27118 374 181 0 27294 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 121140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 1241
/proc/meminfo: memFree=25797052/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=121140 CPUtime=1800.06 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 29421 0 0 0 180000 6 0 0 25 0 1 0 277845167 124047360 27118 33554432000 4194304 4933572 140736737543984 18446744073709551615 4717253 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1125/statm: 30285 27118 374 181 0 27294 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 121140

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

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

[startup+1800.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 1241
/proc/meminfo: memFree=25797052/32950928 swapFree=52006644/67111528
[pid=1125] ppid=1123 vsize=121140 CPUtime=1800.06 cores=0,2,4,6
/proc/1125/stat : 1125 (clasp) R 1123 1125 32638 0 -1 4202496 29421 0 0 0 180000 6 0 0 25 0 1 0 277845167 124047360 27118 33554432000 4194304 4933572 140736737543984 18446744073709551615 4717253 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/1125/statm: 30285 27118 374 181 0 27294 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 121140

Child status: 10
Real time (s): 1800.12
CPU time (s): 1800.08
CPU user time (s): 1800.02
CPU system time (s): 0.066989
CPU usage (%): 99.9979
Max. virtual memory (cumulated for all children) (KiB): 121140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.066989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29431
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= 10
involuntary context switches= 3057

runsolver used 7.85081 second user time and 16.4585 second system time

The end

Launcher Data 

Begin job on node112 at 2011-06-03 13:59:18
IDJOB=3469476
IDBENCH=48258
IDSOLVER=1959
FILE ID=node112/3469476-1307102358
RUNJOBID= node112-1307093345-32656
PBS_JOBID= 13497992
Free space on /tmp= 73832 MiB

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

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

MD5SUM BENCH= 162153f0f0e5f8f2e587b9d579ee09dc
RANDOM SEED=237447321

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.847
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	: 5180.45
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.847
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.76
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.847
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.82
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.847
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.61
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.847
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.83
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.847
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.74
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.847
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      25996240 kB
Buffers:        324972 kB
Cached:        5623368 kB
SwapCached:      31280 kB
Active:         917224 kB
Inactive:      5756144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      25996240 kB
SwapTotal:    67111528 kB
SwapFree:     52006644 kB
Dirty:            1180 kB
Writeback:           0 kB
AnonPages:      702068 kB
Mapped:          13028 kB
Slab:           156000 kB
PageTables:      59292 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 98684824 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= 73832 MiB
End job on node112 at 2011-06-03 14:29:20