Trace number 3381214

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 19318.5 2419.74

General information on the benchmark

NameSAT04/handmade/kexu/frb-0.6/
frb80-14-2.used-as.sat04-880.cnf
MD5SUM1242f0037df1c3d888415aeb418b77ed
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.83642
Satisfiable
(Un)Satisfiability was proved
Number of variables1120
Number of clauses43179
Sum of the clauses size87318
Maximum clause length14
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 243099
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 580

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3381214-1305509404/watcher-3381214-1305509404 -o /tmp/evaluation-result-3381214-1305509404/solver-3381214-1305509404 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3381214-1305509404.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: 8.02 8.49 8.41 1/417 1112
/proc/meminfo: memFree=21167940/32950928 swapFree=65730872/67111528
[pid=1112] ppid=1110 vsize=20872 CPUtime=0 cores=0-7
/proc/1112/stat : 1112 (claspmt) R 1110 1112 731 0 -1 4202496 488 0 0 0 0 0 0 0 25 0 1 0 741171044 21372928 419 33554432000 4194304 4964800 140736819842992 18446744073709551615 4226752 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1112/statm: 5218 420 356 189 0 92 0

[startup+0.109572 s]
/proc/loadavg: 8.02 8.49 8.41 1/417 1112
/proc/meminfo: memFree=21167940/32950928 swapFree=65730872/67111528
[pid=1112] ppid=1110 vsize=318664 CPUtime=0.1 cores=0-7
/proc/1112/stat : 1112 (claspmt) S 1110 1112 731 0 -1 4202496 2335 0 0 0 10 0 0 0 25 0 8 0 741171044 326311936 1967 33554432000 4194304 4964800 140736819842992 18446744073709551615 260917210009 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/1112/statm: 79666 1967 437 189 0 74015 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 318664

[startup+0.200556 s]
/proc/loadavg: 8.02 8.49 8.41 1/417 1112
/proc/meminfo: memFree=21167940/32950928 swapFree=65730872/67111528
[pid=1112] ppid=1110 vsize=318664 CPUtime=0.71 cores=0-7
/proc/1112/stat : 1112 (claspmt) R 1110 1112 731 0 -1 4202496 3267 0 0 0 69 2 0 0 25 0 8 0 741171044 326311936 2894 33554432000 4194304 4964800 140736819842992 18446744073709551615 260905049211 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/1112/statm: 79666 2894 464 189 0 74015 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 318664

[startup+0.300538 s]
/proc/loadavg: 8.02 8.49 8.41 1/417 1112
/proc/meminfo: memFree=21167940/32950928 swapFree=65730872/67111528
[pid=1112] ppid=1110 vsize=319192 CPUtime=1.51 cores=0-7
/proc/1112/stat : 1112 (claspmt) R 1110 1112 731 0 -1 4202496 4137 0 0 0 149 2 0 0 25 0 8 0 741171044 326852608 3764 33554432000 4194304 4964800 140736819842992 18446744073709551615 4669017 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/1112/statm: 79798 3764 464 189 0 74147 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 319192

[startup+0.700468 s]
/proc/loadavg: 8.02 8.49 8.41 1/417 1112
/proc/meminfo: memFree=21167940/32950928 swapFree=65730872/67111528
[pid=1112] ppid=1110 vsize=321628 CPUtime=4.71 cores=0-7
/proc/1112/stat : 1112 (claspmt) R 1110 1112 731 0 -1 4202496 7017 0 0 0 467 4 0 0 25 0 8 0 741171044 329347072 6644 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670346 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/1112/statm: 80407 6644 464 189 0 74756 0
Current children cumulated CPU time (s) 4.71
Current children cumulated vsize (KiB) 321628

[startup+1.50032 s]
/proc/loadavg: 8.02 8.49 8.41 9/425 1120
/proc/meminfo: memFree=21139612/32950928 swapFree=65730872/67111528
[pid=1112] ppid=1110 vsize=323080 CPUtime=11.09 cores=0-7
/proc/1112/stat : 1112 (claspmt) R 1110 1112 731 0 -1 4202496 8716 0 0 0 1104 5 0 0 25 0 8 0 741171044 330833920 8343 33554432000 4194304 4964800 140736819842992 18446744073709551615 4660390 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/1112/statm: 80770 8343 464 189 0 75119 0
[pid=1112/tid=1114] ppid=1110 vsize=323080 CPUtime=1.37 cores=0-7
/proc/1112/task/1114/stat : 1114 (claspmt) R 1110 1112 731 0 -1 4202560 715 0 0 0 137 0 0 0 19 0 8 0 741171053 330833920 8343 33554432000 4194304 4964800 140736819842992 18446744073709551615 4627524 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1112/tid=1115] ppid=1110 vsize=323080 CPUtime=1.37 cores=0-7
/proc/1112/task/1115/stat : 1115 (claspmt) R 1110 1112 731 0 -1 4202560 958 0 0 0 136 1 0 0 25 0 8 0 741171053 330833920 8343 33554432000 4194304 4964800 140736819842992 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1112/tid=1116] ppid=1110 vsize=323080 CPUtime=1.36 cores=0-7
/proc/1112/task/1116/stat : 1116 (claspmt) R 1110 1112 731 0 -1 4202560 734 0 0 0 136 0 0 0 25 0 8 0 741171053 330833920 8343 33554432000 4194304 4964800 140736819842992 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1112/tid=1117] ppid=1110 vsize=323080 CPUtime=1.38 cores=0-7
/proc/1112/task/1117/stat : 1117 (claspmt) R 1110 1112 731 0 -1 4202560 996 0 0 0 137 1 0 0 25 0 8 0 741171053 330833920 8343 33554432000 4194304 4964800 140736819842992 18446744073709551615 4333257 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1112/tid=1118] ppid=1110 vsize=323080 CPUtime=1.4 cores=0-7
/proc/1112/task/1118/stat : 1118 (claspmt) R 1110 1112 731 0 -1 4202560 308 0 0 0 140 0 0 0 25 0 8 0 741171053 330833920 8343 33554432000 4194304 4964800 140736819842992 18446744073709551615 4669033 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=1112/tid=1119] ppid=1110 vsize=323080 CPUtime=1.35 cores=0-7
/proc/1112/task/1119/stat : 1119 (claspmt) R 1110 1112 731 0 -1 4202560 1062 0 0 0 135 0 0 0 25 0 8 0 741171053 330833920 8343 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1112/tid=1120] ppid=1110 vsize=323080 CPUtime=1.37 cores=0-7
/proc/1112/task/1120/stat : 1120 (claspmt) R 1110 1112 731 0 -1 4202560 1544 0 0 0 137 0 0 0 19 0 8 0 741171053 330833920 8343 33554432000 4194304 4964800 140736819842992 18446744073709551615 260905054462 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.09
Current children cumulated vsize (KiB) 323080

[startup+3.10103 s]
/proc/loadavg: 8.02 8.49 8.41 9/425 1120
/proc/meminfo: memFree=21135272/32950928 swapFree=65730872/67111528
[pid=1112] ppid=1110 vsize=324740 CPUtime=23.88 cores=0-7
/proc/1112/stat : 1112 (claspmt) R 1110 1112 731 0 -1 4202496 10744 0 0 0 2382 6 0 0 25 0 8 0 741171044 332533760 10371 33554432000 4194304 4964800 140736819842992 18446744073709551615 4660442 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/1112/statm: 81185 10371 466 189 0 75534 0
[pid=1112/tid=1114] ppid=1110 vsize=324740 CPUtime=2.97 cores=0-7
/proc/1112/task/1114/stat : 1114 (claspmt) R 1110 1112 731 0 -1 4202560 885 0 0 0 297 0 0 0 24 0 8 0 741171053 332533760 10371 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670225 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1112/tid=1115] ppid=1110 vsize=324740 CPUtime=2.96 cores=0-7
/proc/1112/task/1115/stat : 1115 (claspmt) R 1110 1112 731 0 -1 4202560 1317 0 0 0 295 1 0 0 25 0 8 0 741171053 332533760 10371 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1112/tid=1116] ppid=1110 vsize=324740 CPUtime=2.96 cores=0-7
/proc/1112/task/1116/stat : 1116 (claspmt) R 1110 1112 731 0 -1 4202560 882 0 0 0 296 0 0 0 25 0 8 0 741171053 332533760 10371 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670538 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1112/tid=1117] ppid=1110 vsize=324740 CPUtime=2.98 cores=0-7
/proc/1112/task/1117/stat : 1117 (claspmt) R 1110 1112 731 0 -1 4202560 1231 0 0 0 297 1 0 0 25 0 8 0 741171053 332533760 10371 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1112/tid=1118] ppid=1110 vsize=324740 CPUtime=3 cores=0-7
/proc/1112/task/1118/stat : 1118 (claspmt) R 1110 1112 731 0 -1 4202560 609 0 0 0 300 0 0 0 25 0 8 0 741171053 332533760 10371 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=1112/tid=1119] ppid=1110 vsize=324740 CPUtime=2.95 cores=0-7
/proc/1112/task/1119/stat : 1119 (claspmt) R 1110 1112 731 0 -1 4202560 1267 0 0 0 295 0 0 0 25 0 8 0 741171053 332533760 10371 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1112/tid=1120] ppid=1110 vsize=324740 CPUtime=2.97 cores=0-7
/proc/1112/task/1120/stat : 1120 (claspmt) R 1110 1112 731 0 -1 4202560 2017 0 0 0 296 1 0 0 23 0 8 0 741171053 332533760 10371 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.88
Current children cumulated vsize (KiB) 324740

[startup+6.30044 s]
/proc/loadavg: 8.02 8.48 8.41 9/425 1120
/proc/meminfo: memFree=21120020/32950928 swapFree=65730872/67111528
[pid=1112] ppid=1110 vsize=326596 CPUtime=49.42 cores=0-7
/proc/1112/stat : 1112 (claspmt) R 1110 1112 731 0 -1 4202496 13730 0 0 0 4935 7 0 0 25 0 8 0 741171044 334434304 13357 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670403 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/1112/statm: 81649 13357 466 189 0 75998 0
[pid=1112/tid=1114] ppid=1110 vsize=326596 CPUtime=6.17 cores=0-7
/proc/1112/task/1114/stat : 1114 (claspmt) R 1110 1112 731 0 -1 4202560 1215 0 0 0 617 0 0 0 25 0 8 0 741171053 334434304 13357 33554432000 4194304 4964800 140736819842992 18446744073709551615 4627252 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1112/tid=1115] ppid=1110 vsize=326596 CPUtime=6.16 cores=0-7
/proc/1112/task/1115/stat : 1115 (claspmt) R 1110 1112 731 0 -1 4202560 1809 0 0 0 615 1 0 0 25 0 8 0 741171053 334434304 13357 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1112/tid=1116] ppid=1110 vsize=326596 CPUtime=6.16 cores=0-7
/proc/1112/task/1116/stat : 1116 (claspmt) R 1110 1112 731 0 -1 4202560 1179 0 0 0 616 0 0 0 25 0 8 0 741171053 334434304 13357 33554432000 4194304 4964800 140736819842992 18446744073709551615 4627536 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1112/tid=1117] ppid=1110 vsize=326596 CPUtime=6.17 cores=0-7
/proc/1112/task/1117/stat : 1117 (claspmt) R 1110 1112 731 0 -1 4202560 1568 0 0 0 616 1 0 0 24 0 8 0 741171053 334434304 13357 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1112/tid=1118] ppid=1110 vsize=326596 CPUtime=6.2 cores=0-7
/proc/1112/task/1118/stat : 1118 (claspmt) R 1110 1112 731 0 -1 4202560 963 0 0 0 620 0 0 0 25 0 8 0 741171053 334434304 13357 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=1112/tid=1119] ppid=1110 vsize=326596 CPUtime=6.15 cores=0-7
/proc/1112/task/1119/stat : 1119 (claspmt) R 1110 1112 731 0 -1 4202560 1485 0 0 0 615 0 0 0 25 0 8 0 741171053 334434304 13357 33554432000 4194304 4964800 140736819842992 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1112/tid=1120] ppid=1110 vsize=326596 CPUtime=6.17 cores=0-7
/proc/1112/task/1120/stat : 1120 (claspmt) R 1110 1112 731 0 -1 4202560 2726 0 0 0 616 1 0 0 25 0 8 0 741171053 334434304 13357 33554432000 4194304 4964800 140736819842992 18446744073709551615 4627170 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 49.42
Current children cumulated vsize (KiB) 326596

[startup+12.7013 s]
/proc/loadavg: 8.02 8.47 8.41 9/425 1120
/proc/meminfo: memFree=21099516/32950928 swapFree=65730872/67111528
[pid=1112] ppid=1110 vsize=331524 CPUtime=100.52 cores=0-7
/proc/1112/stat : 1112 (claspmt) R 1110 1112 731 0 -1 4202496 19262 0 0 0 10041 11 0 0 25 0 8 0 741171044 339480576 18889 33554432000 4194304 4964800 140736819842992 18446744073709551615 4321069 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/1112/statm: 82881 18889 466 189 0 77230 0
[pid=1112/tid=1114] ppid=1110 vsize=331524 CPUtime=12.57 cores=0-7
/proc/1112/task/1114/stat : 1114 (claspmt) R 1110 1112 731 0 -1 4202560 1836 0 0 0 1256 1 0 0 25 0 8 0 741171053 339480576 18889 33554432000 4194304 4964800 140736819842992 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1112/tid=1115] ppid=1110 vsize=331524 CPUtime=12.49 cores=0-7
/proc/1112/task/1115/stat : 1115 (claspmt) R 1110 1112 731 0 -1 4202560 2786 0 0 0 1248 1 0 0 25 0 8 0 741171053 339480576 18889 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1112/tid=1116] ppid=1110 vsize=331524 CPUtime=12.56 cores=0-7
/proc/1112/task/1116/stat : 1116 (claspmt) R 1110 1112 731 0 -1 4202560 1723 0 0 0 1256 0 0 0 25 0 8 0 741171053 339480576 18889 33554432000 4194304 4964800 140736819842992 18446744073709551615 4627290 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1112/tid=1117] ppid=1110 vsize=331524 CPUtime=12.57 cores=0-7
/proc/1112/task/1117/stat : 1117 (claspmt) R 1110 1112 731 0 -1 4202560 2331 0 0 0 1256 1 0 0 25 0 8 0 741171053 339480576 18889 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1112/tid=1118] ppid=1110 vsize=331524 CPUtime=12.6 cores=0-7
/proc/1112/task/1118/stat : 1118 (claspmt) R 1110 1112 731 0 -1 4202560 1636 0 0 0 1260 0 0 0 25 0 8 0 741171053 339480576 18889 33554432000 4194304 4964800 140736819842992 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=1112/tid=1119] ppid=1110 vsize=331524 CPUtime=12.54 cores=0-7
/proc/1112/task/1119/stat : 1119 (claspmt) R 1110 1112 731 0 -1 4202560 1882 0 0 0 1254 0 0 0 25 0 8 0 741171053 339480576 18889 33554432000 4194304 4964800 140736819842992 18446744073709551615 4660384 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1112/tid=1120] ppid=1110 vsize=331524 CPUtime=12.58 cores=0-7
/proc/1112/task/1120/stat : 1120 (claspmt) R 1110 1112 731 0 -1 4202560 3811 0 0 0 1255 3 0 0 25 0 8 0 741171053 339480576 18889 33554432000 4194304 4964800 140736819842992 18446744073709551615 4627365 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 100.52
Current children cumulated vsize (KiB) 331524

[startup+25.5009 s]
/proc/loadavg: 8.01 8.45 8.40 9/425 1120
/proc/meminfo: memFree=21070660/32950928 swapFree=65730872/67111528
[pid=1112] ppid=1110 vsize=338416 CPUtime=202.71 cores=0-7
/proc/1112/stat : 1112 (claspmt) R 1110 1112 731 0 -1 4202496 26800 0 0 0 20253 18 0 0 25 0 8 0 741171044 346537984 26427 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670180 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/1112/statm: 84604 26427 466 189 0 78953 0
[pid=1112/tid=1114] ppid=1110 vsize=338416 CPUtime=25.35 cores=0-7
/proc/1112/task/1114/stat : 1114 (claspmt) R 1110 1112 731 0 -1 4202560 2582 0 0 0 2534 1 0 0 25 0 8 0 741171053 346537984 26427 33554432000 4194304 4964800 140736819842992 18446744073709551615 4627536 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1112/tid=1115] ppid=1110 vsize=338416 CPUtime=25.1 cores=0-7
/proc/1112/task/1115/stat : 1115 (claspmt) R 1110 1112 731 0 -1 4202560 3737 0 0 0 2508 2 0 0 25 0 8 0 741171053 346537984 26427 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1112/tid=1116] ppid=1110 vsize=338416 CPUtime=25.36 cores=0-7
/proc/1112/task/1116/stat : 1116 (claspmt) R 1110 1112 731 0 -1 4202560 2329 0 0 0 2535 1 0 0 25 0 8 0 741171053 346537984 26427 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1112/tid=1117] ppid=1110 vsize=338416 CPUtime=25.37 cores=0-7
/proc/1112/task/1117/stat : 1117 (claspmt) R 1110 1112 731 0 -1 4202560 2950 0 0 0 2535 2 0 0 25 0 8 0 741171053 346537984 26427 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1112/tid=1118] ppid=1110 vsize=338416 CPUtime=25.4 cores=0-7
/proc/1112/task/1118/stat : 1118 (claspmt) R 1110 1112 731 0 -1 4202560 2503 0 0 0 2539 1 0 0 25 0 8 0 741171053 346537984 26427 33554432000 4194304 4964800 140736819842992 18446744073709551615 4627461 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=1112/tid=1119] ppid=1110 vsize=338416 CPUtime=25.34 cores=0-7
/proc/1112/task/1119/stat : 1119 (claspmt) R 1110 1112 731 0 -1 4202560 2615 0 0 0 2533 1 0 0 25 0 8 0 741171053 346537984 26427 33554432000 4194304 4964800 140736819842992 18446744073709551615 4669008 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1112/tid=1120] ppid=1110 vsize=338416 CPUtime=25.37 cores=0-7
/proc/1112/task/1120/stat : 1120 (claspmt) R 1110 1112 731 0 -1 4202560 6034 0 0 0 2532 5 0 0 25 0 8 0 741171053 346537984 26427 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 202.71
Current children cumulated vsize (KiB) 338416

[startup+51.1012 s]
/proc/loadavg: 8.09 8.43 8.39 9/425 1121
/proc/meminfo: memFree=21029828/32950928 swapFree=65730872/67111528
[pid=1112] ppid=1110 vsize=346260 CPUtime=407.15 cores=0-7
/proc/1112/stat : 1112 (claspmt) R 1110 1112 731 0 -1 4202496 37079 0 0 0 40687 28 0 0 25 0 8 0 741171044 354570240 36336 33554432000 4194304 4964800 140736819842992 18446744073709551615 4342232 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/1112/statm: 86565 36336 466 189 0 80914 0
[pid=1112/tid=1114] ppid=1110 vsize=346260 CPUtime=50.95 cores=0-7
/proc/1112/task/1114/stat : 1114 (claspmt) R 1110 1112 731 0 -1 4202560 3825 0 0 0 5092 3 0 0 25 0 8 0 741171053 354570240 36336 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1112/tid=1115] ppid=1110 vsize=346260 CPUtime=50.36 cores=0-7
/proc/1112/task/1115/stat : 1115 (claspmt) R 1110 1112 731 0 -1 4202560 4895 0 0 0 5033 3 0 0 25 0 8 0 741171053 354570240 36336 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1112/tid=1116] ppid=1110 vsize=346260 CPUtime=50.96 cores=0-7
/proc/1112/task/1116/stat : 1116 (claspmt) R 1110 1112 731 0 -1 4202560 3408 0 0 0 5094 2 0 0 25 0 8 0 741171053 354570240 36336 33554432000 4194304 4964800 140736819842992 18446744073709551615 4669140 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1112/tid=1117] ppid=1110 vsize=346260 CPUtime=50.97 cores=0-7
/proc/1112/task/1117/stat : 1117 (claspmt) R 1110 1112 731 0 -1 4202560 4049 0 0 0 5094 3 0 0 25 0 8 0 741171053 354570240 36336 33554432000 4194304 4964800 140736819842992 18446744073709551615 4320849 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1112/tid=1118] ppid=1110 vsize=346260 CPUtime=50.99 cores=0-7
/proc/1112/task/1118/stat : 1118 (claspmt) R 1110 1112 731 0 -1 4202560 3561 0 0 0 5098 1 0 0 25 0 8 0 741171053 354570240 36336 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=1112/tid=1119] ppid=1110 vsize=346260 CPUtime=50.93 cores=0-7
/proc/1112/task/1119/stat : 1119 (claspmt) R 1110 1112 731 0 -1 4202560 3530 0 0 0 5091 2 0 0 25 0 8 0 741171053 354570240 36336 33554432000 4194304 4964800 140736819842992 18446744073709551615 4627851 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1112/tid=1120] ppid=1110 vsize=346260 CPUtime=50.97 cores=0-7
/proc/1112/task/1120/stat : 1120 (claspmt) R 1110 1112 731 0 -1 4202560 8690 0 0 0 5089 8 0 0 25 0 8 0 741171053 354570240 36336 33554432000 4194304 4964800 140736819842992 18446744073709551615 4325325 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.15

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


[startup+2406.4 s]
/proc/loadavg: 8.09 8.06 8.07 9/425 1668
/proc/meminfo: memFree=20697468/32950928 swapFree=65730872/67111528
[pid=1112] ppid=1110 vsize=683904 CPUtime=19212.8 cores=0-7
/proc/1112/stat : 1112 (claspmt) R 1110 1112 731 0 -1 4202496 125165 0 0 0 1921122 163 0 0 25 0 8 0 741171044 700317696 118597 33554432000 4194304 4964800 140736819842992 18446744073709551615 4660139 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/1112/statm: 170976 118597 466 189 0 165325 0
[pid=1112/tid=1114] ppid=1110 vsize=683904 CPUtime=2390.21 cores=0-7
/proc/1112/task/1114/stat : 1114 (claspmt) R 1110 1112 731 0 -1 4202560 19412 0 0 0 239002 19 0 0 25 0 8 0 741171053 700317696 118597 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1112/tid=1115] ppid=1110 vsize=683904 CPUtime=2402.37 cores=0-7
/proc/1112/task/1115/stat : 1115 (claspmt) R 1110 1112 731 0 -1 4202560 21555 0 0 0 240218 19 0 0 25 0 8 0 741171053 700317696 118597 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670343 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1112/tid=1116] ppid=1110 vsize=683904 CPUtime=2405.79 cores=0-7
/proc/1112/task/1116/stat : 1116 (claspmt) R 1110 1112 731 0 -1 4202560 9859 0 0 0 240565 14 0 0 25 0 8 0 741171053 700317696 118597 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1112/tid=1117] ppid=1110 vsize=683904 CPUtime=2395.63 cores=0-7
/proc/1112/task/1117/stat : 1117 (claspmt) R 1110 1112 731 0 -1 4202560 12916 0 0 0 239548 15 0 0 25 0 8 0 741171053 700317696 118597 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1112/tid=1118] ppid=1110 vsize=683904 CPUtime=2404.84 cores=0-7
/proc/1112/task/1118/stat : 1118 (claspmt) R 1110 1112 731 0 -1 4202560 13875 0 0 0 240468 16 0 0 25 0 8 0 741171053 700317696 118597 33554432000 4194304 4964800 140736819842992 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=1112/tid=1119] ppid=1110 vsize=683904 CPUtime=2405.53 cores=0-7
/proc/1112/task/1119/stat : 1119 (claspmt) R 1110 1112 731 0 -1 4202560 10668 0 0 0 240535 18 0 0 25 0 8 0 741171053 700317696 118597 33554432000 4194304 4964800 140736819842992 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1112/tid=1120] ppid=1110 vsize=683904 CPUtime=2406.14 cores=0-7
/proc/1112/task/1120/stat : 1120 (claspmt) R 1110 1112 731 0 -1 4202560 26140 0 0 0 240572 42 0 0 25 0 8 0 741171053 700317696 118597 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19212.9
Current children cumulated vsize (KiB) 683904

[startup+2412.8 s]
/proc/loadavg: 8.08 8.06 8.07 9/425 1668
/proc/meminfo: memFree=20697468/32950928 swapFree=65730872/67111528
[pid=1112] ppid=1110 vsize=683904 CPUtime=19264 cores=0-7
/proc/1112/stat : 1112 (claspmt) R 1110 1112 731 0 -1 4202496 125239 0 0 0 1926232 164 0 0 25 0 8 0 741171044 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/1112/statm: 170976 118671 466 189 0 165325 0
[pid=1112/tid=1114] ppid=1110 vsize=683904 CPUtime=2396.6 cores=0-7
/proc/1112/task/1114/stat : 1114 (claspmt) R 1110 1112 731 0 -1 4202560 19421 0 0 0 239641 19 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1112/tid=1115] ppid=1110 vsize=683904 CPUtime=2408.76 cores=0-7
/proc/1112/task/1115/stat : 1115 (claspmt) R 1110 1112 731 0 -1 4202560 21608 0 0 0 240857 19 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1112/tid=1116] ppid=1110 vsize=683904 CPUtime=2412.19 cores=0-7
/proc/1112/task/1116/stat : 1116 (claspmt) R 1110 1112 731 0 -1 4202560 9860 0 0 0 241205 14 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1112/tid=1117] ppid=1110 vsize=683904 CPUtime=2402.03 cores=0-7
/proc/1112/task/1117/stat : 1117 (claspmt) R 1110 1112 731 0 -1 4202560 12925 0 0 0 240188 15 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4644876 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1112/tid=1118] ppid=1110 vsize=683904 CPUtime=2411.24 cores=0-7
/proc/1112/task/1118/stat : 1118 (claspmt) R 1110 1112 731 0 -1 4202560 13875 0 0 0 241108 16 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=1112/tid=1119] ppid=1110 vsize=683904 CPUtime=2411.93 cores=0-7
/proc/1112/task/1119/stat : 1119 (claspmt) R 1110 1112 731 0 -1 4202560 10668 0 0 0 241175 18 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1112/tid=1120] ppid=1110 vsize=683904 CPUtime=2412.54 cores=0-7
/proc/1112/task/1120/stat : 1120 (claspmt) R 1110 1112 731 0 -1 4202560 26142 0 0 0 241212 42 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19264
Current children cumulated vsize (KiB) 683904

[startup+2416 s]
/proc/loadavg: 8.07 8.06 8.07 9/425 1668
/proc/meminfo: memFree=20697468/32950928 swapFree=65730872/67111528
[pid=1112] ppid=1110 vsize=683904 CPUtime=19289.5 cores=0-7
/proc/1112/stat : 1112 (claspmt) R 1110 1112 731 0 -1 4202496 125239 0 0 0 1928788 164 0 0 25 0 8 0 741171044 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/1112/statm: 170976 118671 466 189 0 165325 0
[pid=1112/tid=1114] ppid=1110 vsize=683904 CPUtime=2399.81 cores=0-7
/proc/1112/task/1114/stat : 1114 (claspmt) R 1110 1112 731 0 -1 4202560 19421 0 0 0 239962 19 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1112/tid=1115] ppid=1110 vsize=683904 CPUtime=2411.97 cores=0-7
/proc/1112/task/1115/stat : 1115 (claspmt) R 1110 1112 731 0 -1 4202560 21608 0 0 0 241178 19 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1112/tid=1116] ppid=1110 vsize=683904 CPUtime=2415.38 cores=0-7
/proc/1112/task/1116/stat : 1116 (claspmt) R 1110 1112 731 0 -1 4202560 9860 0 0 0 241524 14 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4660219 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1112/tid=1117] ppid=1110 vsize=683904 CPUtime=2405.23 cores=0-7
/proc/1112/task/1117/stat : 1117 (claspmt) R 1110 1112 731 0 -1 4202560 12925 0 0 0 240508 15 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1112/tid=1118] ppid=1110 vsize=683904 CPUtime=2414.44 cores=0-7
/proc/1112/task/1118/stat : 1118 (claspmt) R 1110 1112 731 0 -1 4202560 13875 0 0 0 241428 16 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=1112/tid=1119] ppid=1110 vsize=683904 CPUtime=2415.12 cores=0-7
/proc/1112/task/1119/stat : 1119 (claspmt) R 1110 1112 731 0 -1 4202560 10668 0 0 0 241494 18 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1112/tid=1120] ppid=1110 vsize=683904 CPUtime=2415.74 cores=0-7
/proc/1112/task/1120/stat : 1120 (claspmt) R 1110 1112 731 0 -1 4202560 26142 0 0 0 241532 42 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19289.5
Current children cumulated vsize (KiB) 683904

[startup+2417.6 s]
/proc/loadavg: 8.07 8.06 8.07 9/425 1668
/proc/meminfo: memFree=20697344/32950928 swapFree=65730872/67111528
[pid=1112] ppid=1110 vsize=683904 CPUtime=19302.3 cores=0-7
/proc/1112/stat : 1112 (claspmt) R 1110 1112 731 0 -1 4202496 125239 0 0 0 1930066 164 0 0 25 0 8 0 741171044 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/1112/statm: 170976 118671 466 189 0 165325 0
[pid=1112/tid=1114] ppid=1110 vsize=683904 CPUtime=2401.4 cores=0-7
/proc/1112/task/1114/stat : 1114 (claspmt) R 1110 1112 731 0 -1 4202560 19421 0 0 0 240121 19 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1112/tid=1115] ppid=1110 vsize=683904 CPUtime=2413.57 cores=0-7
/proc/1112/task/1115/stat : 1115 (claspmt) R 1110 1112 731 0 -1 4202560 21608 0 0 0 241338 19 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1112/tid=1116] ppid=1110 vsize=683904 CPUtime=2416.98 cores=0-7
/proc/1112/task/1116/stat : 1116 (claspmt) R 1110 1112 731 0 -1 4202560 9860 0 0 0 241684 14 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4321025 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1112/tid=1117] ppid=1110 vsize=683904 CPUtime=2406.83 cores=0-7
/proc/1112/task/1117/stat : 1117 (claspmt) R 1110 1112 731 0 -1 4202560 12925 0 0 0 240668 15 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1112/tid=1118] ppid=1110 vsize=683904 CPUtime=2416.04 cores=0-7
/proc/1112/task/1118/stat : 1118 (claspmt) R 1110 1112 731 0 -1 4202560 13875 0 0 0 241588 16 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=1112/tid=1119] ppid=1110 vsize=683904 CPUtime=2416.72 cores=0-7
/proc/1112/task/1119/stat : 1119 (claspmt) R 1110 1112 731 0 -1 4202560 10668 0 0 0 241654 18 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1112/tid=1120] ppid=1110 vsize=683904 CPUtime=2417.34 cores=0-7
/proc/1112/task/1120/stat : 1120 (claspmt) R 1110 1112 731 0 -1 4202560 26142 0 0 0 241692 42 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19302.3
Current children cumulated vsize (KiB) 683904

[startup+2418.4 s]
/proc/loadavg: 8.07 8.06 8.07 9/425 1668
/proc/meminfo: memFree=20697344/32950928 swapFree=65730872/67111528
[pid=1112] ppid=1110 vsize=683904 CPUtime=19308.7 cores=0-7
/proc/1112/stat : 1112 (claspmt) R 1110 1112 731 0 -1 4202496 125239 0 0 0 1930704 164 0 0 25 0 8 0 741171044 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/1112/statm: 170976 118671 466 189 0 165325 0
[pid=1112/tid=1114] ppid=1110 vsize=683904 CPUtime=2402.2 cores=0-7
/proc/1112/task/1114/stat : 1114 (claspmt) R 1110 1112 731 0 -1 4202560 19421 0 0 0 240201 19 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4669022 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1112/tid=1115] ppid=1110 vsize=683904 CPUtime=2414.36 cores=0-7
/proc/1112/task/1115/stat : 1115 (claspmt) R 1110 1112 731 0 -1 4202560 21608 0 0 0 241417 19 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4669552 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1112/tid=1116] ppid=1110 vsize=683904 CPUtime=2417.78 cores=0-7
/proc/1112/task/1116/stat : 1116 (claspmt) R 1110 1112 731 0 -1 4202560 9860 0 0 0 241764 14 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4684107 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1112/tid=1117] ppid=1110 vsize=683904 CPUtime=2407.63 cores=0-7
/proc/1112/task/1117/stat : 1117 (claspmt) R 1110 1112 731 0 -1 4202560 12925 0 0 0 240748 15 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670349 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1112/tid=1118] ppid=1110 vsize=683904 CPUtime=2416.84 cores=0-7
/proc/1112/task/1118/stat : 1118 (claspmt) R 1110 1112 731 0 -1 4202560 13875 0 0 0 241668 16 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=1112/tid=1119] ppid=1110 vsize=683904 CPUtime=2417.52 cores=0-7
/proc/1112/task/1119/stat : 1119 (claspmt) R 1110 1112 731 0 -1 4202560 10668 0 0 0 241734 18 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1112/tid=1120] ppid=1110 vsize=683904 CPUtime=2418.14 cores=0-7
/proc/1112/task/1120/stat : 1120 (claspmt) R 1110 1112 731 0 -1 4202560 26142 0 0 0 241772 42 0 0 25 0 8 0 741171053 700317696 118671 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19308.7
Current children cumulated vsize (KiB) 683904

[startup+2419.2 s]
/proc/loadavg: 8.07 8.06 8.07 9/425 1668
/proc/meminfo: memFree=20697216/32950928 swapFree=65730872/67111528
[pid=1112] ppid=1110 vsize=683904 CPUtime=19315.1 cores=0-7
/proc/1112/stat : 1112 (claspmt) R 1110 1112 731 0 -1 4202496 125335 0 0 0 1931342 164 0 0 25 0 8 0 741171044 700317696 118767 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/1112/statm: 170976 118767 466 189 0 165325 0
[pid=1112/tid=1114] ppid=1110 vsize=683904 CPUtime=2403 cores=0-7
/proc/1112/task/1114/stat : 1114 (claspmt) R 1110 1112 731 0 -1 4202560 19517 0 0 0 240281 19 0 0 25 0 8 0 741171053 700317696 118767 33554432000 4194304 4964800 140736819842992 18446744073709551615 260905091690 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1112/tid=1115] ppid=1110 vsize=683904 CPUtime=2415.16 cores=0-7
/proc/1112/task/1115/stat : 1115 (claspmt) R 1110 1112 731 0 -1 4202560 21608 0 0 0 241497 19 0 0 25 0 8 0 741171053 700317696 118767 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1112/tid=1116] ppid=1110 vsize=683904 CPUtime=2418.58 cores=0-7
/proc/1112/task/1116/stat : 1116 (claspmt) R 1110 1112 731 0 -1 4202560 9860 0 0 0 241844 14 0 0 25 0 8 0 741171053 700317696 118767 33554432000 4194304 4964800 140736819842992 18446744073709551615 4669552 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1112/tid=1117] ppid=1110 vsize=683904 CPUtime=2408.43 cores=0-7
/proc/1112/task/1117/stat : 1117 (claspmt) R 1110 1112 731 0 -1 4202560 12925 0 0 0 240828 15 0 0 25 0 8 0 741171053 700317696 118767 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1112/tid=1118] ppid=1110 vsize=683904 CPUtime=2417.64 cores=0-7
/proc/1112/task/1118/stat : 1118 (claspmt) R 1110 1112 731 0 -1 4202560 13875 0 0 0 241748 16 0 0 25 0 8 0 741171053 700317696 118767 33554432000 4194304 4964800 140736819842992 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=1112/tid=1119] ppid=1110 vsize=683904 CPUtime=2418.32 cores=0-7
/proc/1112/task/1119/stat : 1119 (claspmt) R 1110 1112 731 0 -1 4202560 10668 0 0 0 241814 18 0 0 25 0 8 0 741171053 700317696 118767 33554432000 4194304 4964800 140736819842992 18446744073709551615 4668627 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1112/tid=1120] ppid=1110 vsize=683904 CPUtime=2418.94 cores=0-7
/proc/1112/task/1120/stat : 1120 (claspmt) R 1110 1112 731 0 -1 4202560 26142 0 0 0 241852 42 0 0 25 0 8 0 741171053 700317696 118767 33554432000 4194304 4964800 140736819842992 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19315.1
Current children cumulated vsize (KiB) 683904

[startup+2419.6 s]
/proc/loadavg: 8.07 8.06 8.07 9/425 1668
/proc/meminfo: memFree=20697216/32950928 swapFree=65730872/67111528
[pid=1112] ppid=1110 vsize=683904 CPUtime=19318.3 cores=0-7
/proc/1112/stat : 1112 (claspmt) R 1110 1112 731 0 -1 4202496 125335 0 0 0 1931662 164 0 0 25 0 8 0 741171044 700317696 118703 33554432000 4194304 4964800 140736819842992 18446744073709551615 4669552 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/1112/statm: 170976 118703 466 189 0 165325 0
[pid=1112/tid=1114] ppid=1110 vsize=683904 CPUtime=2403.39 cores=0-7
/proc/1112/task/1114/stat : 1114 (claspmt) R 1110 1112 731 0 -1 4202560 19517 0 0 0 240320 19 0 0 25 0 8 0 741171053 700317696 118703 33554432000 4194304 4964800 140736819842992 18446744073709551615 4627281 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1112/tid=1115] ppid=1110 vsize=683904 CPUtime=2415.56 cores=0-7
/proc/1112/task/1115/stat : 1115 (claspmt) R 1110 1112 731 0 -1 4202560 21608 0 0 0 241537 19 0 0 25 0 8 0 741171053 700317696 118703 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=1112/tid=1116] ppid=1110 vsize=683904 CPUtime=2418.98 cores=0-7
/proc/1112/task/1116/stat : 1116 (claspmt) R 1110 1112 731 0 -1 4202560 9860 0 0 0 241884 14 0 0 25 0 8 0 741171053 700317696 118703 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1112/tid=1117] ppid=1110 vsize=683904 CPUtime=2408.83 cores=0-7
/proc/1112/task/1117/stat : 1117 (claspmt) R 1110 1112 731 0 -1 4202560 12925 0 0 0 240868 15 0 0 25 0 8 0 741171053 700317696 118703 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1112/tid=1118] ppid=1110 vsize=683904 CPUtime=2418.04 cores=0-7
/proc/1112/task/1118/stat : 1118 (claspmt) R 1110 1112 731 0 -1 4202560 13875 0 0 0 241788 16 0 0 25 0 8 0 741171053 700317696 118703 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670282 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=1112/tid=1119] ppid=1110 vsize=683904 CPUtime=2418.72 cores=0-7
/proc/1112/task/1119/stat : 1119 (claspmt) R 1110 1112 731 0 -1 4202560 10668 0 0 0 241854 18 0 0 25 0 8 0 741171053 700317696 118703 33554432000 4194304 4964800 140736819842992 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1112/tid=1120] ppid=1110 vsize=683904 CPUtime=2419.34 cores=0-7
/proc/1112/task/1120/stat : 1120 (claspmt) R 1110 1112 731 0 -1 4202560 26142 0 0 0 241892 42 0 0 25 0 8 0 741171053 700317696 118703 33554432000 4194304 4964800 140736819842992 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19318.3
Current children cumulated vsize (KiB) 683904

[startup+2419.7 s]
/proc/loadavg: 8.07 8.06 8.07 9/425 1668
/proc/meminfo: memFree=20697216/32950928 swapFree=65730872/67111528
[pid=1112] ppid=1110 vsize=680508 CPUtime=19318.4 cores=0-7
/proc/1112/stat : 1112 (claspmt) R 1110 1112 731 0 -1 4202496 125345 0 0 0 1931677 164 0 0 25 0 1 0 741171044 696840192 117924 33554432000 4194304 4964800 140736819842992 18446744073709551615 260905049291 0 0 4096 18946 0 0 0 17 7 0 0 0
/proc/1112/statm: 170127 117924 476 189 0 164476 0
Current children cumulated CPU time (s) 19318.4
Current children cumulated vsize (KiB) 680508

Child status: 10
Real time (s): 2419.74
CPU time (s): 19318.5
CPU user time (s): 19316.8
CPU system time (s): 1.66375
CPU usage (%): 798.368
Max. virtual memory (cumulated for all children) (KiB): 683904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19316.8
system time used= 1.66375
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125346
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= 59953
involuntary context switches= 94207

runsolver used 9.2066 second user time and 23.8294 second system time

The end

Launcher Data 

Begin job on node116 at 2011-05-16 03:30:04
IDJOB=3381214
IDBENCH=84554
IDSOLVER=1865
FILE ID=node116/3381214-1305509404
RUNJOBID= node116-1305504023-745
PBS_JOBID= 13325473
Free space on /tmp= 73136 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT04/handmade/kexu/frb-0.6/frb80-14-2.used-as.sat04-880.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-3381214-1305509404/watcher-3381214-1305509404 -o /tmp/evaluation-result-3381214-1305509404/solver-3381214-1305509404 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3381214-1305509404.cnf

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

MD5SUM BENCH= 1242f0037df1c3d888415aeb418b77ed
RANDOM SEED=1314891777

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
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.826
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:     32950928 kB
MemFree:      21168096 kB
Buffers:        158336 kB
Cached:        1346420 kB
SwapCached:      12348 kB
Active:       10567200 kB
Inactive:       975156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21168096 kB
SwapTotal:    67111528 kB
SwapFree:     65730872 kB
Dirty:            1192 kB
Writeback:           0 kB
AnonPages:    10036312 kB
Mapped:          19580 kB
Slab:           115936 kB
PageTables:      53620 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 113393064 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= 73148 MiB
End job on node116 at 2011-05-16 04:10:23