Trace number 3381281

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
claspmt 2.0-R4095-patched (fixed)SAT 50.7873 7.03946

General information on the benchmark

NameSAT05/industrial/grieu05/vmpc/
vmpc_34.renamed-as.sat05-1926.cnf
MD5SUM349e2f9eff952d4e42f8e1caefaa382b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark50.7873
Satisfiable
(Un)Satisfiability was proved
Number of variables1156
Number of clauses194072
Sum of the clauses size507926
Maximum clause length34
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 276398
Number of clauses of size 3117606
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 568

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...666656/instance-3381281-1307666656.cnf
0.59/0.67	c Solving...
50.74/7.00	c Answer: 1
50.74/7.00	v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20
50.74/7.00	v -21 -22 -23 -24 -25 -26 27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38
50.74/7.00	v -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 50 -51 -52 -53 -54 -55 -56
50.74/7.00	v -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74
50.74/7.00	v -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 89 -90 -91 -92
50.74/7.00	v -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 105 -106 -107 -108
50.74/7.00	v -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123
50.74/7.00	v -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138
50.74/7.00	v -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153
50.74/7.00	v -154 155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168
50.74/7.00	v -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183
50.74/7.00	v -184 185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198
50.74/7.00	v -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213
50.74/7.00	v -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228
50.74/7.00	v -229 -230 -231 -232 233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243
50.74/7.00	v 244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258
50.74/7.00	v -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273
50.74/7.00	v -274 -275 -276 -277 -278 279 -280 -281 -282 -283 -284 -285 -286 -287 -288
50.74/7.00	v -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303
50.74/7.00	v -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318
50.74/7.00	v -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333
50.74/7.00	v 334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348
50.74/7.00	v -349 -350 -351 -352 -353 354 -355 -356 -357 -358 -359 -360 -361 -362 -363
50.74/7.00	v -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 378
50.74/7.00	v -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393
50.74/7.00	v -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408
50.74/7.00	v -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423
50.74/7.00	v -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438
50.74/7.00	v -439 440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453
50.74/7.00	v -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468
50.74/7.00	v -469 -470 -471 -472 473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483
50.74/7.00	v -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498
50.74/7.00	v -499 -500 -501 502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513
50.74/7.00	v -514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528
50.74/7.00	v -529 -530 -531 -532 -533 534 -535 -536 -537 -538 -539 -540 -541 -542 -543
50.74/7.00	v -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558
50.74/7.00	v -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573
50.74/7.00	v -574 -575 -576 577 -578 -579 -580 -581 -582 583 -584 -585 -586 -587 -588
50.74/7.00	v -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603
50.74/7.00	v -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618
50.74/7.00	v -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 632 -633
50.74/7.00	v -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648
50.74/7.00	v -649 -650 -651 -652 -653 -654 655 -656 -657 -658 -659 -660 -661 -662 -663
50.74/7.00	v -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678
50.74/7.00	v -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693
50.74/7.00	v -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708
50.74/7.00	v -709 -710 -711 -712 -713 714 -715 -716 -717 -718 -719 -720 -721 -722 -723
50.74/7.00	v 724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738
50.74/7.00	v -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753
50.74/7.00	v -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768
50.74/7.00	v -769 -770 771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783
50.74/7.00	v -784 -785 -786 -787 -788 -789 -790 -791 -792 793 -794 -795 -796 -797 -798
50.74/7.00	v -799 -800 -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813
50.74/7.00	v -814 -815 -816 -817 -818 -819 -820 -821 -822 -823 824 -825 -826 -827 -828
50.74/7.00	v -829 -830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843
50.74/7.00	v -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858
50.74/7.00	v -859 -860 -861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873
50.74/7.00	v -874 -875 -876 -877 -878 -879 880 -881 -882 -883 -884 -885 -886 -887 -888
50.74/7.00	v -889 -890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903
50.74/7.00	v -904 -905 906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918
50.74/7.00	v -919 -920 -921 -922 -923 -924 -925 -926 -927 -928 -929 -930 -931 -932 -933
50.74/7.00	v -934 935 -936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 -948
50.74/7.00	v -949 -950 -951 -952 -953 -954 -955 -956 -957 -958 -959 -960 -961 -962 -963
50.74/7.00	v -964 -965 -966 -967 -968 -969 970 -971 -972 -973 -974 -975 -976 -977 -978
50.74/7.00	v -979 -980 -981 -982 -983 -984 -985 -986 987 -988 -989 -990 -991 -992 -993
50.74/7.00	v -994 -995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006
50.74/7.00	v -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018
50.74/7.00	v -1019 -1020 -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030
50.74/7.00	v -1031 1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040 -1041 -1042
50.74/7.00	v -1043 -1044 -1045 -1046 -1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054
50.74/7.00	v -1055 -1056 -1057 -1058 -1059 -1060 -1061 -1062 -1063 -1064 -1065 -1066
50.74/7.00	v -1067 -1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078
50.74/7.00	v 1079 -1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 1090 -1091
50.74/7.00	v -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100 -1101 -1102 -1103
50.74/7.00	v -1104 -1105 -1106 -1107 -1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115
50.74/7.00	v -1116 -1117 -1118 -1119 -1120 -1121 -1122 -1123 -1124 -1125 -1126 -1127
50.74/7.00	v -1128 -1129 -1130 -1131 -1132 -1133 -1134 1135 -1136 -1137 -1138 -1139
50.74/7.00	v -1140 -1141 -1142 -1143 -1144 -1145 -1146 -1147 -1148 -1149 -1150 -1151
50.74/7.00	v -1152 -1153 -1154 -1155 -1156 0
50.74/7.03	s SATISFIABLE
50.74/7.03	
50.74/7.03	c Models        : 1+    
50.74/7.03	c Time          : 6.996s (Solving: 6.33s 1st Model: 6.33s Unsat: 0.00s)
50.74/7.03	c CPU Time      : 50.740s

Verifier Data 

OK

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-3381281-1307666656/watcher-3381281-1307666656 -o /tmp/evaluation-result-3381281-1307666656/solver-3381281-1307666656 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3381281-1307666656.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.58 1.93 1.97 2/167 25673
/proc/meminfo: memFree=31936684/32951124 swapFree=67064368/67111528
[pid=25673] ppid=25671 vsize=20872 CPUtime=0 cores=0-7
/proc/25673/stat : 25673 (claspmt) R 25671 25673 25643 0 -1 4194304 356 0 1 0 0 0 0 0 25 0 1 0 878266026 21372928 292 33554432000 4194304 4964800 140734918511984 18446744073709551615 244442021898 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/25673/statm: 5231 298 252 189 0 92 0

[startup+0.0892301 s]
/proc/loadavg: 1.58 1.93 1.97 2/167 25673
/proc/meminfo: memFree=31936684/32951124 swapFree=67064368/67111528
[pid=25673] ppid=25671 vsize=34920 CPUtime=0.07 cores=0-7
/proc/25673/stat : 25673 (claspmt) R 25671 25673 25643 0 -1 4202496 4759 0 1 0 7 0 0 0 25 0 1 0 878266026 35758080 3927 33554432000 4194304 4964800 140734918511984 18446744073709551615 244446643119 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/25673/statm: 8730 3927 399 189 0 3604 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 34920

[startup+0.100248 s]
/proc/loadavg: 1.58 1.93 1.97 2/167 25673
/proc/meminfo: memFree=31936684/32951124 swapFree=67064368/67111528
[pid=25673] ppid=25671 vsize=34920 CPUtime=0.08 cores=0-7
/proc/25673/stat : 25673 (claspmt) R 25671 25673 25643 0 -1 4202496 4759 0 1 0 8 0 0 0 25 0 1 0 878266026 35758080 3927 33554432000 4194304 4964800 140734918511984 18446744073709551615 4607736 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/25673/statm: 8730 3927 399 189 0 3604 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 34920

[startup+0.300171 s]
/proc/loadavg: 1.58 1.93 1.97 2/167 25673
/proc/meminfo: memFree=31936684/32951124 swapFree=67064368/67111528
[pid=25673] ppid=25671 vsize=34920 CPUtime=0.28 cores=0-7
/proc/25673/stat : 25673 (claspmt) R 25671 25673 25643 0 -1 4202496 4760 0 1 0 28 0 0 0 25 0 1 0 878266026 35758080 3928 33554432000 4194304 4964800 140734918511984 18446744073709551615 4607604 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/25673/statm: 8730 3928 399 189 0 3604 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 34920

[startup+0.701093 s]
/proc/loadavg: 1.58 1.93 1.97 2/167 25673
/proc/meminfo: memFree=31936684/32951124 swapFree=67064368/67111528
[pid=25673] ppid=25671 vsize=196372 CPUtime=0.69 cores=0-7
/proc/25673/stat : 25673 (claspmt) S 25671 25673 25643 0 -1 4202496 5014 0 2 0 69 0 0 0 25 0 8 0 878266026 201084928 3785 33554432000 4194304 4964800 140734918511984 18446744073709551615 244458761113 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/25673/statm: 49093 3785 436 189 0 43442 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 196372

[startup+1.50091 s]
/proc/loadavg: 1.58 1.93 1.97 9/175 25681
/proc/meminfo: memFree=31920304/32951124 swapFree=67064368/67111528
[pid=25673] ppid=25671 vsize=261908 CPUtime=6.76 cores=0-7
/proc/25673/stat : 25673 (claspmt) R 25671 25673 25643 0 -1 4202496 7278 0 2 0 675 1 0 0 25 0 8 0 878266026 268193792 6046 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668734 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/25673/statm: 65477 6046 464 189 0 59826 0
[pid=25673/tid=25675] ppid=25671 vsize=261908 CPUtime=0.74 cores=0-7
/proc/25673/task/25675/stat : 25675 (claspmt) R 25671 25673 25643 0 -1 4202560 237 0 0 0 74 0 0 0 18 0 8 0 878266094 268193792 6046 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668728 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=25673/tid=25676] ppid=25671 vsize=261908 CPUtime=0.75 cores=0-7
/proc/25673/task/25676/stat : 25676 (claspmt) R 25671 25673 25643 0 -1 4202560 434 0 0 0 75 0 0 0 18 0 8 0 878266094 268193792 6046 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668732 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=25673/tid=25677] ppid=25671 vsize=261908 CPUtime=0.75 cores=0-7
/proc/25673/task/25677/stat : 25677 (claspmt) R 25671 25673 25643 0 -1 4202560 254 0 0 0 75 0 0 0 18 0 8 0 878266094 268193792 6046 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25673/tid=25678] ppid=25671 vsize=261908 CPUtime=0.75 cores=0-7
/proc/25673/task/25678/stat : 25678 (claspmt) R 25671 25673 25643 0 -1 4202560 270 0 0 0 75 0 0 0 25 0 8 0 878266094 268193792 6046 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=25673/tid=25679] ppid=25671 vsize=261908 CPUtime=0.82 cores=0-7
/proc/25673/task/25679/stat : 25679 (claspmt) R 25671 25673 25643 0 -1 4202560 51 0 0 0 82 0 0 0 19 0 8 0 878266094 268193792 6046 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668732 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25673/tid=25680] ppid=25671 vsize=261908 CPUtime=0.75 cores=0-7
/proc/25673/task/25680/stat : 25680 (claspmt) R 25671 25673 25643 0 -1 4202560 319 0 0 0 75 0 0 0 18 0 8 0 878266094 268193792 6046 33554432000 4194304 4964800 140734918511984 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25673/tid=25681] ppid=25671 vsize=261908 CPUtime=0.75 cores=0-7
/proc/25673/task/25681/stat : 25681 (claspmt) R 25671 25673 25643 0 -1 4202560 606 0 0 0 75 0 0 0 25 0 8 0 878266094 268193792 6046 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.76
Current children cumulated vsize (KiB) 261908

[startup+3.10061 s]
/proc/loadavg: 2.10 2.03 2.00 9/175 25681
/proc/meminfo: memFree=31911128/32951124 swapFree=67064368/67111528
[pid=25673] ppid=25671 vsize=261908 CPUtime=19.55 cores=0-7
/proc/25673/stat : 25673 (claspmt) R 25671 25673 25643 0 -1 4202496 9613 0 2 0 1952 3 0 0 25 0 8 0 878266026 268193792 8381 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668725 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/25673/statm: 65477 8381 464 189 0 59826 0
[pid=25673/tid=25675] ppid=25671 vsize=261908 CPUtime=2.34 cores=0-7
/proc/25673/task/25675/stat : 25675 (claspmt) R 25671 25673 25643 0 -1 4202560 459 0 0 0 234 0 0 0 20 0 8 0 878266094 268193792 8381 33554432000 4194304 4964800 140734918511984 18446744073709551615 4669500 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=25673/tid=25676] ppid=25671 vsize=261908 CPUtime=2.34 cores=0-7
/proc/25673/task/25676/stat : 25676 (claspmt) R 25671 25673 25643 0 -1 4202560 880 0 0 0 234 0 0 0 20 0 8 0 878266094 268193792 8381 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668756 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=25673/tid=25677] ppid=25671 vsize=261908 CPUtime=2.35 cores=0-7
/proc/25673/task/25677/stat : 25677 (claspmt) R 25671 25673 25643 0 -1 4202560 472 0 0 0 235 0 0 0 20 0 8 0 878266094 268193792 8381 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25673/tid=25678] ppid=25671 vsize=261908 CPUtime=2.34 cores=0-7
/proc/25673/task/25678/stat : 25678 (claspmt) R 25671 25673 25643 0 -1 4202560 607 0 0 0 234 0 0 0 25 0 8 0 878266094 268193792 8381 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668766 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=25673/tid=25679] ppid=25671 vsize=261908 CPUtime=2.42 cores=0-7
/proc/25673/task/25679/stat : 25679 (claspmt) R 25671 25673 25643 0 -1 4202560 71 0 0 0 242 0 0 0 22 0 8 0 878266094 268193792 8381 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25673/tid=25680] ppid=25671 vsize=261908 CPUtime=2.35 cores=0-7
/proc/25673/task/25680/stat : 25680 (claspmt) R 25671 25673 25643 0 -1 4202560 550 0 0 0 235 0 0 0 20 0 8 0 878266094 268193792 8381 33554432000 4194304 4964800 140734918511984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25673/tid=25681] ppid=25671 vsize=261908 CPUtime=2.35 cores=0-7
/proc/25673/task/25681/stat : 25681 (claspmt) R 25671 25673 25643 0 -1 4202560 1233 0 0 0 235 0 0 0 25 0 8 0 878266094 268193792 8381 33554432000 4194304 4964800 140734918511984 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 19.55
Current children cumulated vsize (KiB) 261908

[startup+6.30102 s]
/proc/loadavg: 2.10 2.03 2.00 9/175 25681
/proc/meminfo: memFree=31889748/32951124 swapFree=67064368/67111528
[pid=25673] ppid=25671 vsize=266536 CPUtime=45.14 cores=0-7
/proc/25673/stat : 25673 (claspmt) R 25671 25673 25643 0 -1 4202496 14443 0 2 0 4509 5 0 0 25 0 8 0 878266026 272932864 13211 33554432000 4194304 4964800 140734918511984 18446744073709551615 4321079 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/25673/statm: 66634 13211 464 189 0 60983 0
[pid=25673/tid=25675] ppid=25671 vsize=266536 CPUtime=5.52 cores=0-7
/proc/25673/task/25675/stat : 25675 (claspmt) R 25671 25673 25643 0 -1 4202560 881 0 0 0 552 0 0 0 25 0 8 0 878266094 272932864 13211 33554432000 4194304 4964800 140734918511984 18446744073709551615 4670077 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=25673/tid=25676] ppid=25671 vsize=266536 CPUtime=5.54 cores=0-7
/proc/25673/task/25676/stat : 25676 (claspmt) R 25671 25673 25643 0 -1 4202560 1837 0 0 0 554 0 0 0 25 0 8 0 878266094 272932864 13211 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=25673/tid=25677] ppid=25671 vsize=266536 CPUtime=5.55 cores=0-7
/proc/25673/task/25677/stat : 25677 (claspmt) R 25671 25673 25643 0 -1 4202560 910 0 0 0 555 0 0 0 25 0 8 0 878266094 272932864 13211 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25673/tid=25678] ppid=25671 vsize=266536 CPUtime=5.54 cores=0-7
/proc/25673/task/25678/stat : 25678 (claspmt) R 25671 25673 25643 0 -1 4202560 1286 0 0 0 554 0 0 0 25 0 8 0 878266094 272932864 13211 33554432000 4194304 4964800 140734918511984 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=25673/tid=25679] ppid=25671 vsize=266536 CPUtime=5.62 cores=0-7
/proc/25673/task/25679/stat : 25679 (claspmt) R 25671 25673 25643 0 -1 4202560 149 0 0 0 562 0 0 0 25 0 8 0 878266094 272932864 13211 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668766 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25673/tid=25680] ppid=25671 vsize=266536 CPUtime=5.54 cores=0-7
/proc/25673/task/25680/stat : 25680 (claspmt) R 25671 25673 25643 0 -1 4202560 1151 0 0 0 554 0 0 0 25 0 8 0 878266094 272932864 13211 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25673/tid=25681] ppid=25671 vsize=266536 CPUtime=5.54 cores=0-7
/proc/25673/task/25681/stat : 25681 (claspmt) R 25671 25673 25643 0 -1 4202560 2487 0 0 0 554 0 0 0 25 0 8 0 878266094 272932864 13211 33554432000 4194304 4964800 140734918511984 18446744073709551615 4669017 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 45.14
Current children cumulated vsize (KiB) 266536

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

[startup+6.70094 s]
/proc/loadavg: 2.57 2.13 2.03 9/175 25681
/proc/meminfo: memFree=31885160/32951124 swapFree=67064368/67111528
[pid=25673] ppid=25671 vsize=267592 CPUtime=48.33 cores=0-7
/proc/25673/stat : 25673 (claspmt) R 25671 25673 25643 0 -1 4202496 15378 0 2 0 4828 5 0 0 25 0 8 0 878266026 274014208 14146 33554432000 4194304 4964800 140734918511984 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/25673/statm: 66898 14146 464 189 0 61247 0
[pid=25673/tid=25675] ppid=25671 vsize=267592 CPUtime=5.91 cores=0-7
/proc/25673/task/25675/stat : 25675 (claspmt) R 25671 25673 25643 0 -1 4202560 953 0 0 0 591 0 0 0 25 0 8 0 878266094 274014208 14146 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=25673/tid=25676] ppid=25671 vsize=267592 CPUtime=5.94 cores=0-7
/proc/25673/task/25676/stat : 25676 (claspmt) R 25671 25673 25643 0 -1 4202560 2059 0 0 0 594 0 0 0 25 0 8 0 878266094 274014208 14146 33554432000 4194304 4964800 140734918511984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=25673/tid=25677] ppid=25671 vsize=267592 CPUtime=5.95 cores=0-7
/proc/25673/task/25677/stat : 25677 (claspmt) R 25671 25673 25643 0 -1 4202560 1026 0 0 0 595 0 0 0 25 0 8 0 878266094 274014208 14146 33554432000 4194304 4964800 140734918511984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25673/tid=25678] ppid=25671 vsize=267592 CPUtime=5.95 cores=0-7
/proc/25673/task/25678/stat : 25678 (claspmt) R 25671 25673 25643 0 -1 4202560 1439 0 0 0 594 1 0 0 25 0 8 0 878266094 274014208 14146 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=25673/tid=25679] ppid=25671 vsize=267592 CPUtime=6.02 cores=0-7
/proc/25673/task/25679/stat : 25679 (claspmt) R 25671 25673 25643 0 -1 4202560 174 0 0 0 602 0 0 0 25 0 8 0 878266094 274014208 14146 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668756 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25673/tid=25680] ppid=25671 vsize=267592 CPUtime=5.94 cores=0-7
/proc/25673/task/25680/stat : 25680 (claspmt) R 25671 25673 25643 0 -1 4202560 1212 0 0 0 594 0 0 0 25 0 8 0 878266094 274014208 14146 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668920 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25673/tid=25681] ppid=25671 vsize=267592 CPUtime=5.94 cores=0-7
/proc/25673/task/25681/stat : 25681 (claspmt) R 25671 25673 25643 0 -1 4202560 2698 0 0 0 594 0 0 0 25 0 8 0 878266094 274014208 14146 33554432000 4194304 4964800 140734918511984 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 48.33
Current children cumulated vsize (KiB) 267592

[startup+6.90091 s]
/proc/loadavg: 2.57 2.13 2.03 9/175 25681
/proc/meminfo: memFree=31885160/32951124 swapFree=67064368/67111528
[pid=25673] ppid=25671 vsize=268264 CPUtime=49.93 cores=0-7
/proc/25673/stat : 25673 (claspmt) R 25671 25673 25643 0 -1 4202496 15918 0 2 0 4988 5 0 0 25 0 8 0 878266026 274702336 14686 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668734 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/25673/statm: 67066 14686 464 189 0 61415 0
[pid=25673/tid=25675] ppid=25671 vsize=268264 CPUtime=6.11 cores=0-7
/proc/25673/task/25675/stat : 25675 (claspmt) R 25671 25673 25643 0 -1 4202560 1009 0 0 0 611 0 0 0 25 0 8 0 878266094 274702336 14686 33554432000 4194304 4964800 140734918511984 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=25673/tid=25676] ppid=25671 vsize=268264 CPUtime=6.14 cores=0-7
/proc/25673/task/25676/stat : 25676 (claspmt) R 25671 25673 25643 0 -1 4202560 2185 0 0 0 614 0 0 0 25 0 8 0 878266094 274702336 14686 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=25673/tid=25677] ppid=25671 vsize=268264 CPUtime=6.15 cores=0-7
/proc/25673/task/25677/stat : 25677 (claspmt) R 25671 25673 25643 0 -1 4202560 1068 0 0 0 615 0 0 0 25 0 8 0 878266094 274702336 14686 33554432000 4194304 4964800 140734918511984 18446744073709551615 4320939 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25673/tid=25678] ppid=25671 vsize=268264 CPUtime=6.15 cores=0-7
/proc/25673/task/25678/stat : 25678 (claspmt) R 25671 25673 25643 0 -1 4202560 1501 0 0 0 614 1 0 0 25 0 8 0 878266094 274702336 14686 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=25673/tid=25679] ppid=25671 vsize=268264 CPUtime=6.22 cores=0-7
/proc/25673/task/25679/stat : 25679 (claspmt) R 25671 25673 25643 0 -1 4202560 184 0 0 0 622 0 0 0 25 0 8 0 878266094 274702336 14686 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25673/tid=25680] ppid=25671 vsize=268264 CPUtime=6.14 cores=0-7
/proc/25673/task/25680/stat : 25680 (claspmt) R 25671 25673 25643 0 -1 4202560 1264 0 0 0 614 0 0 0 25 0 8 0 878266094 274702336 14686 33554432000 4194304 4964800 140734918511984 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25673/tid=25681] ppid=25671 vsize=268264 CPUtime=6.14 cores=0-7
/proc/25673/task/25681/stat : 25681 (claspmt) R 25671 25673 25643 0 -1 4202560 2830 0 0 0 614 0 0 0 25 0 8 0 878266094 274702336 14686 33554432000 4194304 4964800 140734918511984 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 49.93
Current children cumulated vsize (KiB) 268264

[startup+7.00089 s]
/proc/loadavg: 2.57 2.13 2.03 9/175 25681
/proc/meminfo: memFree=31885160/32951124 swapFree=67064368/67111528
[pid=25673] ppid=25671 vsize=268796 CPUtime=50.74 cores=0-7
/proc/25673/stat : 25673 (claspmt) R 25671 25673 25643 0 -1 4202496 16270 0 2 0 5068 6 0 0 25 0 8 0 878266026 275247104 15038 33554432000 4194304 4964800 140734918511984 18446744073709551615 4684067 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/25673/statm: 67199 15038 464 189 0 61548 0
[pid=25673/tid=25675] ppid=25671 vsize=268796 CPUtime=6.21 cores=0-7
/proc/25673/task/25675/stat : 25675 (claspmt) R 25671 25673 25643 0 -1 4202560 1034 0 0 0 621 0 0 0 25 0 8 0 878266094 275247104 15038 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668805 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=25673/tid=25676] ppid=25671 vsize=268796 CPUtime=6.24 cores=0-7
/proc/25673/task/25676/stat : 25676 (claspmt) R 25671 25673 25643 0 -1 4202560 2245 0 0 0 624 0 0 0 25 0 8 0 878266094 275247104 15038 33554432000 4194304 4964800 140734918511984 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=25673/tid=25677] ppid=25671 vsize=268796 CPUtime=6.25 cores=0-7
/proc/25673/task/25677/stat : 25677 (claspmt) R 25671 25673 25643 0 -1 4202560 1101 0 0 0 625 0 0 0 25 0 8 0 878266094 275247104 15038 33554432000 4194304 4964800 140734918511984 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=25673/tid=25678] ppid=25671 vsize=268796 CPUtime=6.25 cores=0-7
/proc/25673/task/25678/stat : 25678 (claspmt) R 25671 25673 25643 0 -1 4202560 1629 0 0 0 624 1 0 0 25 0 8 0 878266094 275247104 15038 33554432000 4194304 4964800 140734918511984 18446744073709551615 4321082 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=25673/tid=25679] ppid=25671 vsize=268796 CPUtime=6.32 cores=0-7
/proc/25673/task/25679/stat : 25679 (claspmt) R 25671 25673 25643 0 -1 4202560 184 0 0 0 632 0 0 0 25 0 8 0 878266094 275247104 15038 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668748 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=25673/tid=25680] ppid=25671 vsize=268796 CPUtime=6.24 cores=0-7
/proc/25673/task/25680/stat : 25680 (claspmt) R 25671 25673 25643 0 -1 4202560 1277 0 0 0 624 0 0 0 25 0 8 0 878266094 275247104 15038 33554432000 4194304 4964800 140734918511984 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=25673/tid=25681] ppid=25671 vsize=268796 CPUtime=6.24 cores=0-7
/proc/25673/task/25681/stat : 25681 (claspmt) R 25671 25673 25643 0 -1 4202560 2900 0 0 0 624 0 0 0 25 0 8 0 878266094 275247104 15038 33554432000 4194304 4964800 140734918511984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 268796

Child status: 10
Real time (s): 7.03946
CPU time (s): 50.7873
CPU user time (s): 50.7223
CPU system time (s): 0.06499
CPU usage (%): 721.466
Max. virtual memory (cumulated for all children) (KiB): 268796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.7223
system time used= 0.06499
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16283
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 389
involuntary context switches= 153

runsolver used 0.005999 second user time and 0.030995 second system time

The end

Launcher Data 

Begin job on node105 at 2011-06-10 02:44:16
IDJOB=3381281
IDBENCH=85965
IDSOLVER=1865
FILE ID=node105/3381281-1307666656
RUNJOBID= node105-1307666656-25657
PBS_JOBID= 13549482
Free space on /tmp= 74140 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_34.renamed-as.sat05-1926.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3381281-1307666656/watcher-3381281-1307666656 -o /tmp/evaluation-result-3381281-1307666656/solver-3381281-1307666656 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3381281-1307666656.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 349e2f9eff952d4e42f8e1caefaa382b
RANDOM SEED=1019691292

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
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.825
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	: 5410.70
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.825
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.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31937352 kB
Buffers:        234796 kB
Cached:         525784 kB
SwapCached:      20132 kB
Active:         342524 kB
Inactive:       446452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31937352 kB
SwapTotal:    67111528 kB
SwapFree:     67064368 kB
Dirty:            3768 kB
Writeback:           0 kB
AnonPages:       26832 kB
Mapped:           9524 kB
Slab:           159092 kB
PageTables:       4320 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   153584 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= 74140 MiB
End job on node105 at 2011-06-10 02:44:23