Trace number 3381369

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 17591.2 2205.24

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf
MD5SUM1002234f62b5dfa01a75197c65e66327
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.177972
Satisfiable
(Un)Satisfiability was proved
Number of variables1285
Number of clauses166723
Sum of the clauses size334661
Maximum clause length37
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2166688
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 535

Solver Data 

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

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-3381369-1305514152/watcher-3381369-1305514152 -o /tmp/evaluation-result-3381369-1305514152/solver-3381369-1305514152 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3381369-1305514152.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: 7.40 6.35 5.70 2/434 1507
/proc/meminfo: memFree=20741328/32950928 swapFree=38710900/67111528
[pid=1507] ppid=1505 vsize=21204 CPUtime=0 cores=0-7
/proc/1507/stat : 1507 (claspmt) R 1505 1507 1254 0 -1 4202496 590 0 0 0 0 0 0 0 25 0 1 0 741645854 21712896 510 33554432000 4194304 4964800 140733347419520 18446744073709551615 251367546624 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1507/statm: 5301 512 386 189 0 175 0

[startup+0.0764101 s]
/proc/loadavg: 7.40 6.35 5.70 2/434 1507
/proc/meminfo: memFree=20741328/32950928 swapFree=38710900/67111528
[pid=1507] ppid=1505 vsize=31688 CPUtime=0.07 cores=0-7
/proc/1507/stat : 1507 (claspmt) R 1505 1507 1254 0 -1 4202496 3860 0 0 0 7 0 0 0 25 0 1 0 741645854 32448512 3024 33554432000 4194304 4964800 140733347419520 18446744073709551615 4607554 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1507/statm: 7922 3024 399 189 0 2796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 31688

[startup+0.100405 s]
/proc/loadavg: 7.40 6.35 5.70 2/434 1507
/proc/meminfo: memFree=20741328/32950928 swapFree=38710900/67111528
[pid=1507] ppid=1505 vsize=31688 CPUtime=0.09 cores=0-7
/proc/1507/stat : 1507 (claspmt) R 1505 1507 1254 0 -1 4202496 3860 0 0 0 9 0 0 0 25 0 1 0 741645854 32448512 3024 33554432000 4194304 4964800 140733347419520 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1507/statm: 7922 3024 399 189 0 2796 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31688

[startup+0.300385 s]
/proc/loadavg: 7.40 6.35 5.70 2/434 1507
/proc/meminfo: memFree=20741328/32950928 swapFree=38710900/67111528
[pid=1507] ppid=1505 vsize=31688 CPUtime=0.29 cores=0-7
/proc/1507/stat : 1507 (claspmt) R 1505 1507 1254 0 -1 4202496 3860 0 0 0 29 0 0 0 25 0 1 0 741645854 32448512 3024 33554432000 4194304 4964800 140733347419520 18446744073709551615 4607585 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1507/statm: 7922 3024 399 189 0 2796 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31688

[startup+0.700298 s]
/proc/loadavg: 7.40 6.35 5.70 2/434 1507
/proc/meminfo: memFree=20741328/32950928 swapFree=38710900/67111528
[pid=1507] ppid=1505 vsize=32612 CPUtime=0.69 cores=0-7
/proc/1507/stat : 1507 (claspmt) R 1505 1507 1254 0 -1 4202496 4118 0 0 0 69 0 0 0 25 0 1 0 741645854 33394688 3282 33554432000 4194304 4964800 140733347419520 18446744073709551615 4607913 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/1507/statm: 8153 3282 400 189 0 3027 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32612

[startup+1.50107 s]
/proc/loadavg: 7.40 6.35 5.70 9/442 1515
/proc/meminfo: memFree=20715604/32950928 swapFree=38710900/67111528
[pid=1507] ppid=1505 vsize=392760 CPUtime=6.27 cores=0-7
/proc/1507/stat : 1507 (claspmt) R 1505 1507 1254 0 -1 4202496 14629 0 0 0 621 6 0 0 18 0 8 0 741645854 402186240 13434 33554432000 4194304 4964800 140733347419520 18446744073709551615 4653296 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/1507/statm: 98190 13435 464 189 0 92539 0
[pid=1507/tid=1509] ppid=1505 vsize=392760 CPUtime=0.65 cores=0-7
/proc/1507/task/1509/stat : 1509 (claspmt) R 1505 1507 1254 0 -1 4202560 1241 0 0 0 65 0 0 0 18 0 8 0 741645929 402186240 13435 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1507/tid=1510] ppid=1505 vsize=392760 CPUtime=0.67 cores=0-7
/proc/1507/task/1510/stat : 1510 (claspmt) R 1505 1507 1254 0 -1 4202560 1401 0 0 0 67 0 0 0 18 0 8 0 741645929 402186240 13436 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670368 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1507/tid=1511] ppid=1505 vsize=392760 CPUtime=0.68 cores=0-7
/proc/1507/task/1511/stat : 1511 (claspmt) R 1505 1507 1254 0 -1 4202560 1348 0 0 0 68 0 0 0 18 0 8 0 741645929 402186240 13436 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1507/tid=1512] ppid=1505 vsize=392760 CPUtime=0.67 cores=0-7
/proc/1507/task/1512/stat : 1512 (claspmt) R 1505 1507 1254 0 -1 4202560 1257 0 0 0 67 0 0 0 18 0 8 0 741645929 402186240 13436 33554432000 4194304 4964800 140733347419520 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1507/tid=1513] ppid=1505 vsize=392760 CPUtime=0.74 cores=0-7
/proc/1507/task/1513/stat : 1513 (claspmt) R 1505 1507 1254 0 -1 4202560 533 0 0 0 74 0 0 0 21 0 8 0 741645929 402186240 13437 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670640 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1507/tid=1514] ppid=1505 vsize=392760 CPUtime=0.67 cores=0-7
/proc/1507/task/1514/stat : 1514 (claspmt) R 1505 1507 1254 0 -1 4202560 1622 0 0 0 67 0 0 0 18 0 8 0 741645929 402186240 13437 33554432000 4194304 4964800 140733347419520 18446744073709551615 4653382 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1507/tid=1515] ppid=1505 vsize=392760 CPUtime=0.68 cores=0-7
/proc/1507/task/1515/stat : 1515 (claspmt) R 1505 1507 1254 0 -1 4202560 1575 0 0 0 68 0 0 0 18 0 8 0 741645929 402186240 13437 33554432000 4194304 4964800 140733347419520 18446744073709551615 4627252 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 392760

[startup+3.10077 s]
/proc/loadavg: 7.40 6.35 5.70 9/442 1515
/proc/meminfo: memFree=20660920/32950928 swapFree=38710900/67111528
[pid=1507] ppid=1505 vsize=466732 CPUtime=19.02 cores=0-7
/proc/1507/stat : 1507 (claspmt) R 1505 1507 1254 0 -1 4202496 28750 0 0 0 1889 13 0 0 19 0 8 0 741645854 477933568 27555 33554432000 4194304 4964800 140733347419520 18446744073709551615 4342186 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/1507/statm: 116683 27555 464 189 0 111032 0
[pid=1507/tid=1509] ppid=1505 vsize=466732 CPUtime=2.24 cores=0-7
/proc/1507/task/1509/stat : 1509 (claspmt) R 1505 1507 1254 0 -1 4202560 2956 0 0 0 222 2 0 0 20 0 8 0 741645929 477933568 27556 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1507/tid=1510] ppid=1505 vsize=466732 CPUtime=2.27 cores=0-7
/proc/1507/task/1510/stat : 1510 (claspmt) R 1505 1507 1254 0 -1 4202560 2462 0 0 0 226 1 0 0 19 0 8 0 741645929 477933568 27556 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1507/tid=1511] ppid=1505 vsize=466732 CPUtime=2.27 cores=0-7
/proc/1507/task/1511/stat : 1511 (claspmt) R 1505 1507 1254 0 -1 4202560 2774 0 0 0 227 0 0 0 20 0 8 0 741645929 477933568 27557 33554432000 4194304 4964800 140733347419520 18446744073709551615 251367207621 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1507/tid=1512] ppid=1505 vsize=466732 CPUtime=2.27 cores=0-7
/proc/1507/task/1512/stat : 1512 (claspmt) R 1505 1507 1254 0 -1 4202560 3253 0 0 0 226 1 0 0 20 0 8 0 741645929 477933568 27557 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1507/tid=1513] ppid=1505 vsize=466732 CPUtime=2.34 cores=0-7
/proc/1507/task/1513/stat : 1513 (claspmt) R 1505 1507 1254 0 -1 4202560 2889 0 0 0 233 1 0 0 25 0 8 0 741645929 477933568 27559 33554432000 4194304 4964800 140733347419520 18446744073709551615 251367207969 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1507/tid=1514] ppid=1505 vsize=466732 CPUtime=2.27 cores=0-7
/proc/1507/task/1514/stat : 1514 (claspmt) R 1505 1507 1254 0 -1 4202560 2977 0 0 0 225 2 0 0 20 0 8 0 741645929 477933568 27559 33554432000 4194304 4964800 140733347419520 18446744073709551615 4320883 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1507/tid=1515] ppid=1505 vsize=466732 CPUtime=2.27 cores=0-7
/proc/1507/task/1515/stat : 1515 (claspmt) R 1505 1507 1254 0 -1 4202560 3703 0 0 0 226 1 0 0 20 0 8 0 741645929 477933568 27559 33554432000 4194304 4964800 140733347419520 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 19.02
Current children cumulated vsize (KiB) 466732

[startup+6.30118 s]
/proc/loadavg: 7.45 6.38 5.72 9/442 1515
/proc/meminfo: memFree=20577716/32950928 swapFree=38710900/67111528
[pid=1507] ppid=1505 vsize=475400 CPUtime=44.57 cores=0-7
/proc/1507/stat : 1507 (claspmt) R 1505 1507 1254 0 -1 4202496 46460 0 0 0 4434 23 0 0 25 0 8 0 741645854 486809600 45265 33554432000 4194304 4964800 140733347419520 18446744073709551615 4332519 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/1507/statm: 118850 45265 466 189 0 113199 0
[pid=1507/tid=1509] ppid=1505 vsize=475400 CPUtime=5.39 cores=0-7
/proc/1507/task/1509/stat : 1509 (claspmt) R 1505 1507 1254 0 -1 4202560 4752 0 0 0 536 3 0 0 25 0 8 0 741645929 486809600 45265 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1507/tid=1510] ppid=1505 vsize=475400 CPUtime=5.47 cores=0-7
/proc/1507/task/1510/stat : 1510 (claspmt) R 1505 1507 1254 0 -1 4202560 3397 0 0 0 546 1 0 0 25 0 8 0 741645929 486809600 45265 33554432000 4194304 4964800 140733347419520 18446744073709551615 4332341 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1507/tid=1511] ppid=1505 vsize=475400 CPUtime=5.48 cores=0-7
/proc/1507/task/1511/stat : 1511 (claspmt) R 1505 1507 1254 0 -1 4202560 4415 0 0 0 546 2 0 0 25 0 8 0 741645929 486809600 45265 33554432000 4194304 4964800 140733347419520 18446744073709551615 4320848 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1507/tid=1512] ppid=1505 vsize=475400 CPUtime=5.47 cores=0-7
/proc/1507/task/1512/stat : 1512 (claspmt) R 1505 1507 1254 0 -1 4202560 5082 0 0 0 545 2 0 0 25 0 8 0 741645929 486809600 45265 33554432000 4194304 4964800 140733347419520 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1507/tid=1513] ppid=1505 vsize=475400 CPUtime=5.53 cores=0-7
/proc/1507/task/1513/stat : 1513 (claspmt) R 1505 1507 1254 0 -1 4202560 6505 0 0 0 551 2 0 0 25 0 8 0 741645929 486809600 45265 33554432000 4194304 4964800 140733347419520 18446744073709551615 4320976 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1507/tid=1514] ppid=1505 vsize=475400 CPUtime=5.47 cores=0-7
/proc/1507/task/1514/stat : 1514 (claspmt) R 1505 1507 1254 0 -1 4202560 4360 0 0 0 545 2 0 0 25 0 8 0 741645929 486809600 45265 33554432000 4194304 4964800 140733347419520 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1507/tid=1515] ppid=1505 vsize=475400 CPUtime=5.48 cores=0-7
/proc/1507/task/1515/stat : 1515 (claspmt) R 1505 1507 1254 0 -1 4202560 7271 0 0 0 544 4 0 0 25 0 8 0 741645929 486809600 45265 33554432000 4194304 4964800 140733347419520 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 44.57
Current children cumulated vsize (KiB) 475400

[startup+12.701 s]
/proc/loadavg: 7.49 6.40 5.73 9/442 1516
/proc/meminfo: memFree=20488356/32950928 swapFree=38710900/67111528
[pid=1507] ppid=1505 vsize=485716 CPUtime=95.66 cores=0-7
/proc/1507/stat : 1507 (claspmt) R 1505 1507 1254 0 -1 4202496 65456 0 0 0 9532 34 0 0 25 0 8 0 741645854 497373184 64261 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670343 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/1507/statm: 121429 64261 466 189 0 115778 0
[pid=1507/tid=1509] ppid=1505 vsize=485716 CPUtime=11.69 cores=0-7
/proc/1507/task/1509/stat : 1509 (claspmt) R 1505 1507 1254 0 -1 4202560 7650 0 0 0 1164 5 0 0 25 0 8 0 741645929 497373184 64261 33554432000 4194304 4964800 140733347419520 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1507/tid=1510] ppid=1505 vsize=485716 CPUtime=11.87 cores=0-7
/proc/1507/task/1510/stat : 1510 (claspmt) R 1505 1507 1254 0 -1 4202560 4960 0 0 0 1185 2 0 0 25 0 8 0 741645929 497373184 64261 33554432000 4194304 4964800 140733347419520 18446744073709551615 4321010 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1507/tid=1511] ppid=1505 vsize=485716 CPUtime=11.88 cores=0-7
/proc/1507/task/1511/stat : 1511 (claspmt) R 1505 1507 1254 0 -1 4202560 5733 0 0 0 1186 2 0 0 25 0 8 0 741645929 497373184 64261 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1507/tid=1512] ppid=1505 vsize=485716 CPUtime=11.87 cores=0-7
/proc/1507/task/1512/stat : 1512 (claspmt) R 1505 1507 1254 0 -1 4202560 6514 0 0 0 1185 2 0 0 25 0 8 0 741645929 497373184 64261 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1507/tid=1513] ppid=1505 vsize=485716 CPUtime=11.93 cores=0-7
/proc/1507/task/1513/stat : 1513 (claspmt) R 1505 1507 1254 0 -1 4202560 9104 0 0 0 1189 4 0 0 25 0 8 0 741645929 497373184 64261 33554432000 4194304 4964800 140733347419520 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1507/tid=1514] ppid=1505 vsize=485716 CPUtime=11.87 cores=0-7
/proc/1507/task/1514/stat : 1514 (claspmt) R 1505 1507 1254 0 -1 4202560 5841 0 0 0 1184 3 0 0 25 0 8 0 741645929 497373184 64261 33554432000 4194304 4964800 140733347419520 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1507/tid=1515] ppid=1505 vsize=485716 CPUtime=11.88 cores=0-7
/proc/1507/task/1515/stat : 1515 (claspmt) R 1505 1507 1254 0 -1 4202560 11797 0 0 0 1182 6 0 0 25 0 8 0 741645929 497373184 64261 33554432000 4194304 4964800 140733347419520 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 95.66
Current children cumulated vsize (KiB) 485716

[startup+25.5006 s]
/proc/loadavg: 7.68 6.50 5.77 9/442 1516
/proc/meminfo: memFree=20440316/32950928 swapFree=38710900/67111528
[pid=1507] ppid=1505 vsize=487680 CPUtime=197.85 cores=0-7
/proc/1507/stat : 1507 (claspmt) R 1505 1507 1254 0 -1 4202496 77937 0 0 0 19742 43 0 0 25 0 8 0 741645854 499384320 76742 33554432000 4194304 4964800 140733347419520 18446744073709551615 4320981 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/1507/statm: 121920 76742 466 189 0 116269 0
[pid=1507/tid=1509] ppid=1505 vsize=487680 CPUtime=24.29 cores=0-7
/proc/1507/task/1509/stat : 1509 (claspmt) R 1505 1507 1254 0 -1 4202560 9660 0 0 0 2422 7 0 0 25 0 8 0 741645929 499384320 76742 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1507/tid=1510] ppid=1505 vsize=487680 CPUtime=24.67 cores=0-7
/proc/1507/task/1510/stat : 1510 (claspmt) R 1505 1507 1254 0 -1 4202560 5927 0 0 0 2465 2 0 0 25 0 8 0 741645929 499384320 76742 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1507/tid=1511] ppid=1505 vsize=487680 CPUtime=24.68 cores=0-7
/proc/1507/task/1511/stat : 1511 (claspmt) R 1505 1507 1254 0 -1 4202560 6917 0 0 0 2465 3 0 0 25 0 8 0 741645929 499384320 76742 33554432000 4194304 4964800 140733347419520 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1507/tid=1512] ppid=1505 vsize=487680 CPUtime=24.67 cores=0-7
/proc/1507/task/1512/stat : 1512 (claspmt) R 1505 1507 1254 0 -1 4202560 8063 0 0 0 2464 3 0 0 25 0 8 0 741645929 499384320 76742 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1507/tid=1513] ppid=1505 vsize=487680 CPUtime=24.73 cores=0-7
/proc/1507/task/1513/stat : 1513 (claspmt) R 1505 1507 1254 0 -1 4202560 11000 0 0 0 2467 6 0 0 25 0 8 0 741645929 499384320 76742 33554432000 4194304 4964800 140733347419520 18446744073709551615 4320939 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1507/tid=1514] ppid=1505 vsize=487680 CPUtime=24.66 cores=0-7
/proc/1507/task/1514/stat : 1514 (claspmt) R 1505 1507 1254 0 -1 4202560 6813 0 0 0 2462 4 0 0 25 0 8 0 741645929 499384320 76742 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1507/tid=1515] ppid=1505 vsize=487680 CPUtime=24.67 cores=0-7
/proc/1507/task/1515/stat : 1515 (claspmt) R 1505 1507 1254 0 -1 4202560 13393 0 0 0 2460 7 0 0 25 0 8 0 741645929 499384320 76742 33554432000 4194304 4964800 140733347419520 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 197.85
Current children cumulated vsize (KiB) 487680

[startup+51.1009 s]
/proc/loadavg: 7.79 6.62 5.83 9/442 1517
/proc/meminfo: memFree=20345364/32950928 swapFree=38710900/67111528
[pid=1507] ppid=1505 vsize=497028 CPUtime=402.25 cores=0-7
/proc/1507/stat : 1507 (claspmt) R 1505 1507 1254 0 -1 4202496 101575 0 0 0 40162 63 0 0 25 0 8 0 741645854 508956672 100372 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670328 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/1507/statm: 124257 100372 466 189 0 118606 0
[pid=1507/tid=1509] ppid=1505 vsize=497028 CPUtime=49.52 cores=0-7
/proc/1507/task/1509/stat : 1509 (claspmt) R 1505 1507 1254 0 -1 4202560 12514 0 0 0 4943 9 0 0 25 0 8 0 741645929 508956672 100372 33554432000 4194304 4964800 140733347419520 18446744073709551615 4321093 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1507/tid=1510] ppid=1505 vsize=497028 CPUtime=50.27 cores=0-7
/proc/1507/task/1510/stat : 1510 (claspmt) R 1505 1507 1254 0 -1 4202560 7724 0 0 0 5023 4 0 0 25 0 8 0 741645929 508956672 100372 33554432000 4194304 4964800 140733347419520 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1507/tid=1511] ppid=1505 vsize=497028 CPUtime=50.27 cores=0-7
/proc/1507/task/1511/stat : 1511 (claspmt) R 1505 1507 1254 0 -1 4202560 9409 0 0 0 5022 5 0 0 25 0 8 0 741645929 508956672 100372 33554432000 4194304 4964800 140733347419520 18446744073709551615 4332519 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1507/tid=1512] ppid=1505 vsize=497028 CPUtime=50.27 cores=0-7
/proc/1507/task/1512/stat : 1512 (claspmt) R 1505 1507 1254 0 -1 4202560 9327 0 0 0 5022 5 0 0 25 0 8 0 741645929 508956672 100372 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1507/tid=1513] ppid=1505 vsize=497028 CPUtime=50.33 cores=0-7
/proc/1507/task/1513/stat : 1513 (claspmt) R 1505 1507 1254 0 -1 4202560 13615 0 0 0 5025 8 0 0 25 0 8 0 741645929 508956672 100372 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1507/tid=1514] ppid=1505 vsize=497028 CPUtime=50.26 cores=0-7
/proc/1507/task/1514/stat : 1514 (claspmt) R 1505 1507 1254 0 -1 4202560 8788 0 0 0 5020 6 0 0 25 0 8 0 741645929 508956672 100372 33554432000 4194304 4964800 140733347419520 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1507/tid=1515] ppid=1505 vsize=497028 CPUtime=50.28 cores=0-7
/proc/1507/task/1515/stat : 1515 (claspmt) R 1505 1507 1254 0 -1 4202560 19589 0 0 0 5015 13 0 0 25 0 8 0 741645929 508956672 100372 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 402.25

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

/proc/1507/task/1510/stat : 1510 (claspmt) R 1505 1507 1254 0 -1 4202560 38103 0 0 0 196135 13 0 0 25 0 8 0 741645929 2137001984 452143 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1507/tid=1511] ppid=1505 vsize=2086916 CPUtime=1961.44 cores=0-7
/proc/1507/task/1511/stat : 1511 (claspmt) R 1505 1507 1254 0 -1 4202560 42222 0 0 0 196092 52 0 0 25 0 8 0 741645929 2137001984 452143 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1507/tid=1512] ppid=1505 vsize=2086916 CPUtime=1961.43 cores=0-7
/proc/1507/task/1512/stat : 1512 (claspmt) R 1505 1507 1254 0 -1 4202560 35011 0 0 0 196115 28 0 0 25 0 8 0 741645929 2137001984 452143 33554432000 4194304 4964800 140733347419520 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1507/tid=1513] ppid=1505 vsize=2086916 CPUtime=1961.53 cores=0-7
/proc/1507/task/1513/stat : 1513 (claspmt) R 1505 1507 1254 0 -1 4202560 40073 0 0 0 196117 36 0 0 25 0 8 0 741645929 2137001984 452143 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1507/tid=1514] ppid=1505 vsize=2086916 CPUtime=1961.36 cores=0-7
/proc/1507/task/1514/stat : 1514 (claspmt) R 1505 1507 1254 0 -1 4202560 31527 0 0 0 196100 36 0 0 25 0 8 0 741645929 2137001984 452143 33554432000 4194304 4964800 140733347419520 18446744073709551615 4321097 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1507/tid=1515] ppid=1505 vsize=2086916 CPUtime=1950.44 cores=0-7
/proc/1507/task/1515/stat : 1515 (claspmt) R 1505 1507 1254 0 -1 4202560 101121 0 0 0 194930 114 0 0 25 0 8 0 741645929 2137001984 452143 33554432000 4194304 4964800 140733347419520 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 15663.1
Current children cumulated vsize (KiB) 2086916

[startup+2022.3 s]
/proc/loadavg: 8.02 8.02 7.74 9/442 1578
/proc/meminfo: memFree=18918608/32950928 swapFree=38710900/67111528
[pid=1507] ppid=1505 vsize=2149444 CPUtime=16142.2 cores=0-7
/proc/1507/stat : 1507 (claspmt) R 1505 1507 1254 0 -1 4202496 461642 0 0 0 1613758 465 0 0 25 0 8 0 741645854 2201030656 456231 33554432000 4194304 4964800 140733347419520 18446744073709551615 251367214082 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/1507/statm: 537361 456231 466 189 0 531710 0
[pid=1507/tid=1509] ppid=1505 vsize=2149444 CPUtime=2002.87 cores=0-7
/proc/1507/task/1509/stat : 1509 (claspmt) R 1505 1507 1254 0 -1 4202560 49868 0 0 0 200226 61 0 0 25 0 8 0 741645929 2201030656 456231 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1507/tid=1510] ppid=1505 vsize=2149444 CPUtime=2021.46 cores=0-7
/proc/1507/task/1510/stat : 1510 (claspmt) R 1505 1507 1254 0 -1 4202560 38644 0 0 0 202133 13 0 0 25 0 8 0 741645929 2201030656 456231 33554432000 4194304 4964800 140733347419520 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1507/tid=1511] ppid=1505 vsize=2149444 CPUtime=2021.42 cores=0-7
/proc/1507/task/1511/stat : 1511 (claspmt) R 1505 1507 1254 0 -1 4202560 42248 0 0 0 202090 52 0 0 25 0 8 0 741645929 2201030656 456231 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1507/tid=1512] ppid=1505 vsize=2149444 CPUtime=2021.41 cores=0-7
/proc/1507/task/1512/stat : 1512 (claspmt) R 1505 1507 1254 0 -1 4202560 35020 0 0 0 202113 28 0 0 25 0 8 0 741645929 2201030656 456231 33554432000 4194304 4964800 140733347419520 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1507/tid=1513] ppid=1505 vsize=2149444 CPUtime=2021.52 cores=0-7
/proc/1507/task/1513/stat : 1513 (claspmt) R 1505 1507 1254 0 -1 4202560 40691 0 0 0 202115 37 0 0 25 0 8 0 741645929 2201030656 456231 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1507/tid=1514] ppid=1505 vsize=2149444 CPUtime=2021.35 cores=0-7
/proc/1507/task/1514/stat : 1514 (claspmt) R 1505 1507 1254 0 -1 4202560 31537 0 0 0 202099 36 0 0 25 0 8 0 741645929 2201030656 456231 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1507/tid=1515] ppid=1505 vsize=2149444 CPUtime=2010.43 cores=0-7
/proc/1507/task/1515/stat : 1515 (claspmt) R 1505 1507 1254 0 -1 4202560 101135 0 0 0 200929 114 0 0 25 0 8 0 741645929 2201030656 456231 33554432000 4194304 4964800 140733347419520 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 16142.2
Current children cumulated vsize (KiB) 2149444

[startup+2082.32 s]
/proc/loadavg: 8.01 8.02 7.75 9/442 1580
/proc/meminfo: memFree=18901600/32950928 swapFree=38710900/67111528
[pid=1507] ppid=1505 vsize=2150404 CPUtime=16621.5 cores=0-7
/proc/1507/stat : 1507 (claspmt) R 1505 1507 1254 0 -1 4202496 465807 0 0 0 1661675 472 0 0 25 0 8 0 741645854 2202013696 460396 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/1507/statm: 537601 460396 466 189 0 531950 0
[pid=1507/tid=1509] ppid=1505 vsize=2150404 CPUtime=2062.01 cores=0-7
/proc/1507/task/1509/stat : 1509 (claspmt) R 1505 1507 1254 0 -1 4202560 50002 0 0 0 206140 61 0 0 25 0 8 0 741645929 2202013696 460396 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1507/tid=1510] ppid=1505 vsize=2150404 CPUtime=2081.49 cores=0-7
/proc/1507/task/1510/stat : 1510 (claspmt) R 1505 1507 1254 0 -1 4202560 39012 0 0 0 208135 14 0 0 25 0 8 0 741645929 2202013696 460396 33554432000 4194304 4964800 140733347419520 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1507/tid=1511] ppid=1505 vsize=2150404 CPUtime=2081.43 cores=0-7
/proc/1507/task/1511/stat : 1511 (claspmt) R 1505 1507 1254 0 -1 4202560 43412 0 0 0 208089 54 0 0 25 0 8 0 741645929 2202013696 460396 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1507/tid=1512] ppid=1505 vsize=2150404 CPUtime=2081.43 cores=0-7
/proc/1507/task/1512/stat : 1512 (claspmt) R 1505 1507 1254 0 -1 4202560 35023 0 0 0 208115 28 0 0 25 0 8 0 741645929 2202013696 460396 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1507/tid=1513] ppid=1505 vsize=2150404 CPUtime=2081.54 cores=0-7
/proc/1507/task/1513/stat : 1513 (claspmt) R 1505 1507 1254 0 -1 4202560 40770 0 0 0 208117 37 0 0 25 0 8 0 741645929 2202013696 460396 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1507/tid=1514] ppid=1505 vsize=2150404 CPUtime=2081.36 cores=0-7
/proc/1507/task/1514/stat : 1514 (claspmt) R 1505 1507 1254 0 -1 4202560 31542 0 0 0 208100 36 0 0 25 0 8 0 741645929 2202013696 460396 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1507/tid=1515] ppid=1505 vsize=2150404 CPUtime=2070.44 cores=0-7
/proc/1507/task/1515/stat : 1515 (claspmt) R 1505 1507 1254 0 -1 4202560 102288 0 0 0 206928 116 0 0 25 0 8 0 741645929 2202013696 460396 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 16621.5
Current children cumulated vsize (KiB) 2150404

[startup+2142.3 s]
/proc/loadavg: 8.00 8.01 7.76 9/442 1582
/proc/meminfo: memFree=18835492/32950928 swapFree=38710900/67111528
[pid=1507] ppid=1505 vsize=2175548 CPUtime=17100.4 cores=0-7
/proc/1507/stat : 1507 (claspmt) R 1505 1507 1254 0 -1 4202496 482748 0 0 0 1709557 488 0 0 25 0 8 0 741645854 2227761152 477337 33554432000 4194304 4964800 140733347419520 18446744073709551615 4321102 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/1507/statm: 543887 477337 466 189 0 538236 0
[pid=1507/tid=1509] ppid=1505 vsize=2175548 CPUtime=2121.13 cores=0-7
/proc/1507/task/1509/stat : 1509 (claspmt) R 1505 1507 1254 0 -1 4202560 50116 0 0 0 212052 61 0 0 25 0 8 0 741645929 2227761152 477337 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1507/tid=1510] ppid=1505 vsize=2175548 CPUtime=2141.47 cores=0-7
/proc/1507/task/1510/stat : 1510 (claspmt) R 1505 1507 1254 0 -1 4202560 39989 0 0 0 214133 14 0 0 25 0 8 0 741645929 2227761152 477337 33554432000 4194304 4964800 140733347419520 18446744073709551615 4632289 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1507/tid=1511] ppid=1505 vsize=2175548 CPUtime=2141.42 cores=0-7
/proc/1507/task/1511/stat : 1511 (claspmt) R 1505 1507 1254 0 -1 4202560 43788 0 0 0 214087 55 0 0 25 0 8 0 741645929 2227761152 477337 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1507/tid=1512] ppid=1505 vsize=2175548 CPUtime=2141.41 cores=0-7
/proc/1507/task/1512/stat : 1512 (claspmt) R 1505 1507 1254 0 -1 4202560 35066 0 0 0 214113 28 0 0 25 0 8 0 741645929 2227761152 477337 33554432000 4194304 4964800 140733347419520 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1507/tid=1513] ppid=1505 vsize=2175548 CPUtime=2141.53 cores=0-7
/proc/1507/task/1513/stat : 1513 (claspmt) R 1505 1507 1254 0 -1 4202560 40863 0 0 0 214116 37 0 0 25 0 8 0 741645929 2227761152 477337 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1507/tid=1514] ppid=1505 vsize=2175548 CPUtime=2141.34 cores=0-7
/proc/1507/task/1514/stat : 1514 (claspmt) R 1505 1507 1254 0 -1 4202560 31573 0 0 0 214098 36 0 0 25 0 8 0 741645929 2227761152 477337 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1507/tid=1515] ppid=1505 vsize=2175548 CPUtime=2130.42 cores=0-7
/proc/1507/task/1515/stat : 1515 (claspmt) R 1505 1507 1254 0 -1 4202560 108552 0 0 0 212923 119 0 0 25 0 8 0 741645929 2227761152 477337 33554432000 4194304 4964800 140733347419520 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 17100.5
Current children cumulated vsize (KiB) 2175548

[startup+2202.3 s]
/proc/loadavg: 8.00 8.01 7.77 9/442 1583
/proc/meminfo: memFree=18800500/32950928 swapFree=38710900/67111528
[pid=1507] ppid=1505 vsize=2175548 CPUtime=17579.6 cores=0-7
/proc/1507/stat : 1507 (claspmt) R 1505 1507 1254 0 -1 4202496 491050 0 0 0 1757451 504 0 0 25 0 8 0 741645854 2227761152 485616 33554432000 4194304 4964800 140733347419520 18446744073709551615 251367244378 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/1507/statm: 543887 485616 466 189 0 538236 0
[pid=1507/tid=1509] ppid=1505 vsize=2175548 CPUtime=2180.25 cores=0-7
/proc/1507/task/1509/stat : 1509 (claspmt) R 1505 1507 1254 0 -1 4202560 51166 0 0 0 217963 62 0 0 25 0 8 0 741645929 2227761152 485616 33554432000 4194304 4964800 140733347419520 18446744073709551615 4644872 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1507/tid=1510] ppid=1505 vsize=2175548 CPUtime=2201.47 cores=0-7
/proc/1507/task/1510/stat : 1510 (claspmt) R 1505 1507 1254 0 -1 4202560 40419 0 0 0 220133 14 0 0 25 0 8 0 741645929 2227761152 485616 33554432000 4194304 4964800 140733347419520 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1507/tid=1511] ppid=1505 vsize=2175548 CPUtime=2201.43 cores=0-7
/proc/1507/task/1511/stat : 1511 (claspmt) R 1505 1507 1254 0 -1 4202560 43797 0 0 0 220088 55 0 0 25 0 8 0 741645929 2227761152 485616 33554432000 4194304 4964800 140733347419520 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1507/tid=1512] ppid=1505 vsize=2175548 CPUtime=2201.42 cores=0-7
/proc/1507/task/1512/stat : 1512 (claspmt) R 1505 1507 1254 0 -1 4202560 35202 0 0 0 220114 28 0 0 25 0 8 0 741645929 2227761152 485616 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1507/tid=1513] ppid=1505 vsize=2175548 CPUtime=2201.5 cores=0-7
/proc/1507/task/1513/stat : 1513 (claspmt) R 1505 1507 1254 0 -1 4202560 41198 0 0 0 220113 37 0 0 25 0 8 0 741645929 2227761152 485616 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1507/tid=1514] ppid=1505 vsize=2175548 CPUtime=2201.34 cores=0-7
/proc/1507/task/1514/stat : 1514 (claspmt) R 1505 1507 1254 0 -1 4202560 37326 0 0 0 220084 50 0 0 25 0 8 0 741645929 2227761152 485616 33554432000 4194304 4964800 140733347419520 18446744073709551615 251367651871 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1507/tid=1515] ppid=1505 vsize=2175548 CPUtime=2190.42 cores=0-7
/proc/1507/task/1515/stat : 1515 (claspmt) R 1505 1507 1254 0 -1 4202560 108557 0 0 0 218923 119 0 0 25 0 8 0 741645929 2227761152 485616 33554432000 4194304 4964800 140733347419520 18446744073709551615 4669078 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 17579.5
Current children cumulated vsize (KiB) 2175548

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

[startup+2203.1 s]
/proc/loadavg: 8.00 8.01 7.77 9/442 1583
/proc/meminfo: memFree=18800500/32950928 swapFree=38710900/67111528
[pid=1507] ppid=1505 vsize=2175548 CPUtime=17585.9 cores=0-7
/proc/1507/stat : 1507 (claspmt) R 1505 1507 1254 0 -1 4202496 491051 0 0 0 1758090 505 0 0 25 0 8 0 741645854 2227761152 485617 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670328 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/1507/statm: 543887 485617 466 189 0 538236 0
[pid=1507/tid=1509] ppid=1505 vsize=2175548 CPUtime=2181.05 cores=0-7
/proc/1507/task/1509/stat : 1509 (claspmt) R 1505 1507 1254 0 -1 4202560 51166 0 0 0 218043 62 0 0 25 0 8 0 741645929 2227761152 485617 33554432000 4194304 4964800 140733347419520 18446744073709551615 251367244418 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=1507/tid=1510] ppid=1505 vsize=2175548 CPUtime=2202.27 cores=0-7
/proc/1507/task/1510/stat : 1510 (claspmt) R 1505 1507 1254 0 -1 4202560 40419 0 0 0 220213 14 0 0 25 0 8 0 741645929 2227761152 485617 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=1507/tid=1511] ppid=1505 vsize=2175548 CPUtime=2202.23 cores=0-7
/proc/1507/task/1511/stat : 1511 (claspmt) R 1505 1507 1254 0 -1 4202560 43797 0 0 0 220168 55 0 0 25 0 8 0 741645929 2227761152 485617 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=1507/tid=1512] ppid=1505 vsize=2175548 CPUtime=2202.22 cores=0-7
/proc/1507/task/1512/stat : 1512 (claspmt) R 1505 1507 1254 0 -1 4202560 35202 0 0 0 220194 28 0 0 25 0 8 0 741645929 2227761152 485617 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=1507/tid=1513] ppid=1505 vsize=2175548 CPUtime=2202.3 cores=0-7
/proc/1507/task/1513/stat : 1513 (claspmt) R 1505 1507 1254 0 -1 4202560 41198 0 0 0 220193 37 0 0 25 0 8 0 741645929 2227761152 485617 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=1507/tid=1514] ppid=1505 vsize=2175548 CPUtime=2202.14 cores=0-7
/proc/1507/task/1514/stat : 1514 (claspmt) R 1505 1507 1254 0 -1 4202560 37327 0 0 0 220164 50 0 0 25 0 8 0 741645929 2227761152 485617 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=1507/tid=1515] ppid=1505 vsize=2175548 CPUtime=2191.22 cores=0-7
/proc/1507/task/1515/stat : 1515 (claspmt) R 1505 1507 1254 0 -1 4202560 108557 0 0 0 219003 119 0 0 25 0 8 0 741645929 2227761152 485617 33554432000 4194304 4964800 140733347419520 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 17586
Current children cumulated vsize (KiB) 2175548

[startup+2203.9 s]
/proc/loadavg: 8.00 8.01 7.77 9/442 1583
/proc/meminfo: memFree=18800500/32950928 swapFree=38710900/67111528
[pid=1507] ppid=1505 vsize=2175548 CPUtime=17589.8 cores=0-7
/proc/1507/stat : 1507 (claspmt) S 1505 1507 1254 0 -1 4202496 491055 0 0 0 1758480 505 0 0 25 0 2 0 741645854 2227761152 485621 33554432000 4194304 4964800 140733347419520 18446744073709551615 251379349477 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/1507/statm: 543887 485621 468 189 0 538236 0
[pid=1507/tid=1509] ppid=1505 vsize=2175548 CPUtime=2181.83 cores=0-7
/proc/1507/task/1509/stat : 1509 (claspmt) R 1505 1507 1254 0 -1 4202560 51166 0 0 0 218121 62 0 0 18 0 2 0 741645929 2227761152 485621 33554432000 4194304 4964800 140733347419520 18446744073709551615 4644896 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 17589.9
Current children cumulated vsize (KiB) 2175548

[startup+2204.7 s]
/proc/loadavg: 8.00 8.01 7.77 2/436 1583
/proc/meminfo: memFree=18800548/32950928 swapFree=38710900/67111528
[pid=1507] ppid=1505 vsize=2175548 CPUtime=17590.7 cores=0-7
/proc/1507/stat : 1507 (claspmt) S 1505 1507 1254 0 -1 4202496 491055 0 0 0 1758560 505 0 0 25 0 2 0 741645854 2227761152 485621 33554432000 4194304 4964800 140733347419520 18446744073709551615 251379349477 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/1507/statm: 543887 485621 468 189 0 538236 0
[pid=1507/tid=1509] ppid=1505 vsize=2175548 CPUtime=2182.63 cores=0-7
/proc/1507/task/1509/stat : 1509 (claspmt) R 1505 1507 1254 0 -1 4202560 51166 0 0 0 218201 62 0 0 19 0 2 0 741645929 2227761152 485621 33554432000 4194304 4964800 140733347419520 18446744073709551615 251367244378 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 17590.7
Current children cumulated vsize (KiB) 2175548

[startup+2205.1 s]
/proc/loadavg: 8.00 8.01 7.77 2/436 1583
/proc/meminfo: memFree=18800548/32950928 swapFree=38710900/67111528
[pid=1507] ppid=1505 vsize=2164392 CPUtime=17591.1 cores=0-7
/proc/1507/stat : 1507 (claspmt) R 1505 1507 1254 0 -1 4202496 491063 0 0 0 1758600 505 0 0 18 0 1 0 741645854 2216337408 482217 33554432000 4194304 4964800 140733347419520 18446744073709551615 251367203822 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/1507/statm: 541098 482217 476 189 0 535447 0
Current children cumulated CPU time (s) 17591.1
Current children cumulated vsize (KiB) 2164392

[startup+2205.2 s]
/proc/loadavg: 8.00 8.01 7.77 2/436 1583
/proc/meminfo: memFree=18800548/32950928 swapFree=38710900/67111528
[pid=1507] ppid=1505 vsize=1043396 CPUtime=17591.1 cores=0-7
/proc/1507/stat : 1507 (claspmt) R 1505 1507 1254 0 -1 4202496 491063 0 0 0 1758605 509 0 0 18 0 1 0 741645854 1068437504 206937 33554432000 4194304 4964800 140733347419520 18446744073709551615 251367590023 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/1507/statm: 260849 206454 476 189 0 255198 0
Current children cumulated CPU time (s) 17591.1
Current children cumulated vsize (KiB) 1043396

Child status: 10
Real time (s): 2205.24
CPU time (s): 17591.2
CPU user time (s): 17586.1
CPU system time (s): 5.14122
CPU usage (%): 797.698
Max. virtual memory (cumulated for all children) (KiB): 2175548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17586.1
system time used= 5.14122
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 491064
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= 46801
involuntary context switches= 81544

runsolver used 8.93164 second user time and 23.1455 second system time

The end

Launcher Data 

Begin job on node113 at 2011-05-16 04:49:12
IDJOB=3381369
IDBENCH=88205
IDSOLVER=1865
FILE ID=node113/3381369-1305514152
RUNJOBID= node113-1305512483-1268
PBS_JOBID= 13325536
Free space on /tmp= 73456 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m37-q446.25-n35-p30-s33692332.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-3381369-1305514152/watcher-3381369-1305514152 -o /tmp/evaluation-result-3381369-1305514152/solver-3381369-1305514152 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3381369-1305514152.cnf

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

MD5SUM BENCH= 1002234f62b5dfa01a75197c65e66327
RANDOM SEED=97541498

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      20741608 kB
Buffers:        300536 kB
Cached:        3461528 kB
SwapCached:      93704 kB
Active:        4735264 kB
Inactive:      7169836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      20741608 kB
SwapTotal:    67111528 kB
SwapFree:     38710900 kB
Dirty:            2896 kB
Writeback:          12 kB
AnonPages:     8062052 kB
Mapped:          22908 kB
Slab:           125720 kB
PageTables:     107112 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 132599224 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= 73456 MiB
End job on node113 at 2011-05-16 05:25:57