Trace number 3448242

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 NameAnswerCPU timeWall clock time
clasp 2.0-RC2MSAT (TO) 1800.05 1800.01

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_25_pb.cnf.cr--soft-33-100-0.wbo
MD5SUMa9a2270f2536f669bb9dfa31ae05dbb5
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark0.097985
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1000
Total number of constraints90
Number of soft constraints61
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint25
Top cost 3008
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 3007
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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

Verifier Data 

OK	1504

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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 /var/tmp/evaluation-result-3448242-1307895165/watcher-3448242-1307895165 -o /var/tmp/evaluation-result-3448242-1307895165/solver-3448242-1307895165 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3448242-1307895165.wbo --restart-on-model --opt-heu=2 --heu=Berkmin --berk-max=512 --berk-once 

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.46 0.60 0.68 3/176 3216
/proc/meminfo: memFree=1192368/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=2268 CPUtime=0 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 374 0 0 0 0 0 0 0 22 0 1 0 633707772 2322432 320 33554432000 134512640 136285325 4289010400 18446744073709551615 135641870 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 567 320 209 433 0 132 0

[startup+0.106549 s]
/proc/loadavg: 1.46 0.60 0.68 3/176 3216
/proc/meminfo: memFree=1192368/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=2664 CPUtime=0.1 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 443 0 0 0 10 0 0 0 23 0 1 0 633707772 2727936 389 33554432000 134512640 136285325 4289010400 18446744073709551615 135028721 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 666 389 209 433 0 231 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2664

[startup+0.200545 s]
/proc/loadavg: 1.46 0.60 0.68 3/176 3216
/proc/meminfo: memFree=1192368/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=2664 CPUtime=0.2 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 459 0 0 0 20 0 0 0 23 0 1 0 633707772 2727936 405 33554432000 134512640 136285325 4289010400 18446744073709551615 134954777 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 666 405 209 433 0 231 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 2664

[startup+0.300511 s]
/proc/loadavg: 1.46 0.60 0.68 3/176 3216
/proc/meminfo: memFree=1192368/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=2664 CPUtime=0.3 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 469 0 0 0 30 0 0 0 23 0 1 0 633707772 2727936 415 33554432000 134512640 136285325 4289010400 18446744073709551615 135028008 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 666 415 209 433 0 231 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 2664

[startup+0.700467 s]
/proc/loadavg: 1.46 0.60 0.68 3/176 3216
/proc/meminfo: memFree=1192368/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=2796 CPUtime=0.7 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 503 0 0 0 70 0 0 0 25 0 1 0 633707772 2863104 449 33554432000 134512640 136285325 4289010400 18446744073709551615 134954360 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 699 449 209 433 0 264 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 2796

[startup+1.50033 s]
/proc/loadavg: 1.50 0.62 0.68 4/178 3218
/proc/meminfo: memFree=1191160/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=3060 CPUtime=1.5 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 550 0 0 0 150 0 0 0 25 0 1 0 633707772 3133440 496 33554432000 134512640 136285325 4289010400 18446744073709551615 134954355 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 765 496 209 433 0 330 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 3060

[startup+3.10105 s]
/proc/loadavg: 1.50 0.62 0.68 4/178 3218
/proc/meminfo: memFree=1190316/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=3192 CPUtime=3.1 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 585 0 0 0 310 0 0 0 25 0 1 0 633707772 3268608 531 33554432000 134512640 136285325 4289010400 18446744073709551615 135028733 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 798 531 209 433 0 363 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 3192

[startup+6.30046 s]
/proc/loadavg: 1.54 0.64 0.69 4/178 3218
/proc/meminfo: memFree=1189936/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=3444 CPUtime=6.3 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 651 0 0 0 630 0 0 0 25 0 1 0 633707772 3526656 597 33554432000 134512640 136285325 4289010400 18446744073709551615 134625366 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 861 597 210 433 0 426 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 3444

[startup+12.7003 s]
/proc/loadavg: 1.58 0.67 0.70 4/178 3218
/proc/meminfo: memFree=1189044/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=3708 CPUtime=12.7 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 715 0 0 0 1270 0 0 0 25 0 1 0 633707772 3796992 661 33554432000 134512640 136285325 4289010400 18446744073709551615 134954808 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 927 661 210 433 0 492 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 3708

[startup+25.5011 s]
/proc/loadavg: 1.67 0.73 0.72 4/178 3218
/proc/meminfo: memFree=1188528/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=4068 CPUtime=25.5 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 819 0 0 0 2550 0 0 0 25 0 1 0 633707772 4165632 765 33554432000 134512640 136285325 4289010400 18446744073709551615 134954761 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1017 765 210 433 0 582 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 4068

[startup+51.1006 s]
/proc/loadavg: 1.78 0.83 0.75 4/178 3219
/proc/meminfo: memFree=1188036/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=4484 CPUtime=51.1 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 920 0 0 0 5110 0 0 0 25 0 1 0 633707772 4591616 866 33554432000 134512640 136285325 4289010400 18446744073709551615 134664618 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1121 866 210 433 0 686 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 4484

[startup+102.301 s]
/proc/loadavg: 1.90 1.01 0.81 4/178 3223
/proc/meminfo: memFree=1186736/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=5016 CPUtime=102.3 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 1057 0 0 0 10230 0 0 0 25 0 1 0 633707772 5136384 1003 33554432000 134512640 136285325 4289010400 18446744073709551615 135020898 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1254 1003 210 433 0 819 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 5016

[startup+162.301 s]
/proc/loadavg: 1.96 1.19 0.88 4/178 3226
/proc/meminfo: memFree=1186044/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=5492 CPUtime=162.3 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 1176 0 0 0 16230 0 0 0 25 0 1 0 633707772 5623808 1122 33554432000 134512640 136285325 4289010400 18446744073709551615 134625306 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1373 1122 210 433 0 938 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 5492

[startup+222.306 s]
/proc/loadavg: 1.98 1.33 0.95 5/178 3227
/proc/meminfo: memFree=1185452/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=5928 CPUtime=222.3 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 1291 0 0 0 22230 0 0 0 25 0 1 0 633707772 6070272 1232 33554432000 134512640 136285325 4289010400 18446744073709551615 134960460 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1482 1232 210 433 0 1047 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 5928

[startup+282.301 s]
/proc/loadavg: 2.12 1.48 1.02 4/178 3230
/proc/meminfo: memFree=1185392/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=6168 CPUtime=282.3 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 1343 0 0 0 28229 1 0 0 25 0 1 0 633707772 6316032 1284 33554432000 134512640 136285325 4289010400 18446744073709551615 134960499 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1542 1284 210 433 0 1107 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 6168

[startup+342.3 s]
/proc/loadavg: 2.04 1.57 1.08 4/178 3232
/proc/meminfo: memFree=1184800/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=6280 CPUtime=342.3 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 1445 0 0 0 34229 1 0 0 25 0 1 0 633707772 6430720 1324 33554432000 134512640 136285325 4289010400 18446744073709551615 134625325 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1570 1324 210 433 0 1135 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 6280

[startup+402.301 s]
/proc/loadavg: 2.01 1.65 1.14 4/178 3233
/proc/meminfo: memFree=1184720/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=6592 CPUtime=402.3 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 1530 0 0 0 40229 1 0 0 25 0 1 0 633707772 6750208 1397 33554432000 134512640 136285325 4289010400 18446744073709551615 134667128 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1648 1397 210 433 0 1213 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 6592

[startup+462.301 s]
/proc/loadavg: 2.00 1.71 1.19 4/178 3235
/proc/meminfo: memFree=1184764/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=6592 CPUtime=462.3 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 1530 0 0 0 46229 1 0 0 25 0 1 0 633707772 6750208 1397 33554432000 134512640 136285325 4289010400 18446744073709551615 134647126 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1648 1397 210 433 0 1213 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 6592

[startup+522.301 s]
/proc/loadavg: 2.00 1.76 1.24 4/178 3236
/proc/meminfo: memFree=1184684/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=6760 CPUtime=522.31 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 1596 0 0 0 52229 2 0 0 25 0 1 0 633707772 6922240 1444 33554432000 134512640 136285325 4289010400 18446744073709551615 135027301 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1690 1444 210 433 0 1255 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 6760

[startup+582.301 s]
/proc/loadavg: 2.00 1.80 1.28 4/178 3238
/proc/meminfo: memFree=1184372/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=6968 CPUtime=582.31 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 1632 0 0 0 58229 2 0 0 25 0 1 0 633707772 7135232 1480 33554432000 134512640 136285325 4289010400 18446744073709551615 135027272 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1742 1480 210 433 0 1307 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 6968

[startup+642.3 s]

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

[startup+882.306 s]
/proc/loadavg: 2.00 1.92 1.47 4/178 3246
/proc/meminfo: memFree=1183888/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=7216 CPUtime=882.31 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 1735 0 0 0 88228 3 0 0 25 0 1 0 633707772 7389184 1540 33554432000 134512640 136285325 4289010400 18446744073709551615 134954329 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1804 1540 210 433 0 1369 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 7216

[startup+942.301 s]
/proc/loadavg: 2.00 1.93 1.50 4/178 3248
/proc/meminfo: memFree=1183696/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=7228 CPUtime=942.31 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 1815 0 0 0 94228 3 0 0 25 0 1 0 633707772 7401472 1561 33554432000 134512640 136285325 4289010400 18446744073709551615 134625338 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1807 1561 210 433 0 1372 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 7228

[startup+1002.3 s]
/proc/loadavg: 2.00 1.94 1.53 4/178 3249
/proc/meminfo: memFree=1183864/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=7248 CPUtime=1002.32 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 1816 0 0 0 100228 4 0 0 25 0 1 0 633707772 7421952 1562 33554432000 134512640 136285325 4289010400 18446744073709551615 134625304 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1812 1562 210 433 0 1377 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 7248

[startup+1062.3 s]
/proc/loadavg: 2.00 1.95 1.55 4/178 3251
/proc/meminfo: memFree=1183656/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=7308 CPUtime=1062.32 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 1878 0 0 0 106228 4 0 0 25 0 1 0 633707772 7483392 1575 33554432000 134512640 136285325 4289010400 18446744073709551615 134954774 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1827 1575 210 433 0 1392 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 7308

[startup+1122.3 s]
/proc/loadavg: 2.00 1.95 1.58 4/178 3252
/proc/meminfo: memFree=1183592/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=7332 CPUtime=1122.32 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 1901 0 0 0 112228 4 0 0 25 0 1 0 633707772 7507968 1587 33554432000 134512640 136285325 4289010400 18446744073709551615 134625442 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1833 1587 210 433 0 1398 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 7332

[startup+1182.3 s]
/proc/loadavg: 2.00 1.96 1.60 4/178 3254
/proc/meminfo: memFree=1183656/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=7452 CPUtime=1182.32 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 1971 0 0 0 118228 4 0 0 25 0 1 0 633707772 7630848 1617 33554432000 134512640 136285325 4289010400 18446744073709551615 134674742 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1863 1617 210 433 0 1428 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 7452

[startup+1242.3 s]
/proc/loadavg: 2.00 1.96 1.62 4/178 3256
/proc/meminfo: memFree=1183328/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=7412 CPUtime=1242.32 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 1971 0 0 0 124228 4 0 0 25 0 1 0 633707772 7589888 1607 33554432000 134512640 136285325 4289010400 18446744073709551615 134954583 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1853 1607 210 433 0 1418 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 7412

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.64 4/178 3257
/proc/meminfo: memFree=1183384/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=7432 CPUtime=1302.32 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 2050 0 0 0 130228 4 0 0 25 0 1 0 633707772 7610368 1612 33554432000 134512640 136285325 4289010400 18446744073709551615 134667198 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1858 1612 210 433 0 1423 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 7432

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.66 4/178 3259
/proc/meminfo: memFree=1183180/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=7428 CPUtime=1362.33 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 2120 0 0 0 136228 5 0 0 25 0 1 0 633707772 7606272 1611 33554432000 134512640 136285325 4289010400 18446744073709551615 134954382 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1857 1611 210 433 0 1422 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 7428

[startup+1422.3 s]
/proc/loadavg: 2.00 1.97 1.68 4/178 3260
/proc/meminfo: memFree=1182616/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=7548 CPUtime=1422.33 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 2293 0 0 0 142228 5 0 0 25 0 1 0 633707772 7729152 1641 33554432000 134512640 136285325 4289010400 18446744073709551615 134625338 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1887 1641 210 433 0 1452 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 7548

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.70 4/178 3262
/proc/meminfo: memFree=1182812/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=7548 CPUtime=1482.33 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 2309 0 0 0 148227 6 0 0 25 0 1 0 633707772 7729152 1641 33554432000 134512640 136285325 4289010400 18446744073709551615 134945138 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1887 1641 210 433 0 1452 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 7548

[startup+1542.31 s]
/proc/loadavg: 2.00 1.97 1.71 4/178 3264
/proc/meminfo: memFree=1182736/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=7548 CPUtime=1542.33 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 2315 0 0 0 154227 6 0 0 25 0 1 0 633707772 7729152 1641 33554432000 134512640 136285325 4289010400 18446744073709551615 134970898 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1887 1641 210 433 0 1452 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 7548

[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.73 4/178 3265
/proc/meminfo: memFree=1182812/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=7944 CPUtime=1602.33 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 2396 0 0 0 160227 6 0 0 25 0 1 0 633707772 8134656 1722 33554432000 134512640 136285325 4289010400 18446744073709551615 134954366 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1986 1722 210 433 0 1551 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 7944

[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.74 4/178 3267
/proc/meminfo: memFree=1182612/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=7944 CPUtime=1662.33 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 2396 0 0 0 166227 6 0 0 25 0 1 0 633707772 8134656 1722 33554432000 134512640 136285325 4289010400 18446744073709551615 134954355 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1986 1722 210 433 0 1551 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 7944

[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.75 4/178 3268
/proc/meminfo: memFree=1182548/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=7944 CPUtime=1722.33 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 2396 0 0 0 172227 6 0 0 25 0 1 0 633707772 8134656 1722 33554432000 134512640 136285325 4289010400 18446744073709551615 135026791 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1986 1722 210 433 0 1551 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 7944

[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.77 4/178 3270
/proc/meminfo: memFree=1182484/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=7944 CPUtime=1782.33 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 2396 0 0 0 178227 6 0 0 25 0 1 0 633707772 8134656 1722 33554432000 134512640 136285325 4289010400 18446744073709551615 134960504 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1986 1722 210 433 0 1551 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 7944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 1.97 1.77 4/178 3271
/proc/meminfo: memFree=1182476/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=7944 CPUtime=1800.04 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 2396 0 0 0 179997 7 0 0 25 0 1 0 633707772 8134656 1722 33554432000 134512640 136285325 4289010400 18446744073709551615 134954385 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1986 1722 210 433 0 1551 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 7944

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

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

[startup+1800 s]
/proc/loadavg: 2.00 1.97 1.77 4/178 3271
/proc/meminfo: memFree=1182476/32951124 swapFree=67055716/67111528
[pid=3216] ppid=3212 vsize=7944 CPUtime=1800.04 cores=0,2,4,6
/proc/3216/stat : 3216 (clasp) R 3212 3216 2916 0 -1 4202496 2396 0 0 0 179997 7 0 0 25 0 1 0 633707772 8134656 1722 33554432000 134512640 136285325 4289010400 18446744073709551615 134954385 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/3216/statm: 1986 1722 210 433 0 1551 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 7944

Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.05
CPU user time (s): 1799.98
CPU system time (s): 0.070989
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 8168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.070989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2404
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= 5
involuntary context switches= 6056

runsolver used 2.57461 second user time and 5.60015 second system time

The end

Launcher Data 

Begin job on node107 at 2011-06-12 18:12:45
IDJOB=3448242
IDBENCH=78663
IDSOLVER=1946
FILE ID=node107/3448242-1307895165
RUNJOBID= node107-1307895165-3189
PBS_JOBID= 13559596
Free space on /var/tmp= 2896 MiB

SOLVER NAME= clasp 2.0-RC2
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= HOME/clasp BENCHNAME --restart-on-model --opt-heu=2 --heu=Berkmin --berk-max=512 --berk-once
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3448242-1307895165/watcher-3448242-1307895165 -o /var/tmp/evaluation-result-3448242-1307895165/solver-3448242-1307895165 -C 1800 -W 1900 -M 15500  HOME/clasp HOME/instance-3448242-1307895165.wbo --restart-on-model --opt-heu=2 --heu=Berkmin --berk-max=512 --berk-once

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

MD5SUM BENCH= a9a2270f2536f669bb9dfa31ae05dbb5
RANDOM SEED=996983113

node107.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.829
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.65
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.829
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.829
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.67
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.829
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.829
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.74
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.829
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	: 5359.47
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.829
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.829
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:     32951124 kB
MemFree:       1193588 kB
Buffers:         47828 kB
Cached:       30721656 kB
SwapCached:      20072 kB
Active:       15623336 kB
Inactive:     15174680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1193588 kB
SwapTotal:    67111528 kB
SwapFree:     67055716 kB
Dirty:            3996 kB
Writeback:           0 kB
AnonPages:       26028 kB
Mapped:          12212 kB
Slab:           896060 kB
PageTables:       4712 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   185412 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 /var/tmp at the end= 2892 MiB
End job on node107 at 2011-06-12 18:42:47