Trace number 3321494

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-R4095SAT 26828.1 3357.54

General information on the benchmark

NameCRAFTED/rbsat/random/forced/
rbsat-v1375c111739gyes10.cnf
MD5SUMc904604702db7cfabf92e607e197d409
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark8.50471
Satisfiable
(Un)Satisfiability was proved
Number of variables1375
Number of clauses111739
Sum of the clauses size224743
Maximum clause length25
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2111684
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 555

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3321494-1304343461/watcher-3321494-1304343461 -o /tmp/evaluation-result-3321494-1304343461/solver-3321494-1304343461 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3321494-1304343461.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.05 6.67 5.27 2/238 12041
/proc/meminfo: memFree=28352920/32951124 swapFree=67111464/67111528
[pid=12041] ppid=12039 vsize=21972 CPUtime=0 cores=0-7
/proc/12041/stat : 12041 (claspmt) R 12039 12041 11573 0 -1 4202496 836 0 0 0 0 0 0 0 25 0 1 0 624576737 22499328 720 33554432000 4194304 4964704 140733951412048 18446744073709551615 260020056773 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/12041/statm: 5526 721 386 189 0 400 0

[startup+0.0107739 s]
/proc/loadavg: 8.05 6.67 5.27 2/238 12041
/proc/meminfo: memFree=28352920/32951124 swapFree=67111464/67111528
[pid=12041] ppid=12039 vsize=22476 CPUtime=0 cores=0-7
/proc/12041/stat : 12041 (claspmt) R 12039 12041 11573 0 -1 4202496 1000 0 0 0 0 0 0 0 25 0 1 0 624576737 23015424 830 33554432000 4194304 4964704 140733951412048 18446744073709551615 260020056773 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/12041/statm: 5619 833 386 189 0 493 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 22476

[startup+0.100726 s]
/proc/loadavg: 8.05 6.67 5.27 2/238 12041
/proc/meminfo: memFree=28352920/32951124 swapFree=67111464/67111528
[pid=12041] ppid=12039 vsize=28268 CPUtime=0.09 cores=0-7
/proc/12041/stat : 12041 (claspmt) R 12039 12041 11573 0 -1 4202496 2777 0 0 0 9 0 0 0 25 0 1 0 624576737 28946432 2211 33554432000 4194304 4964704 140733951412048 18446744073709551615 4607562 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/12041/statm: 7067 2211 399 189 0 1941 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28268

[startup+0.300688 s]
/proc/loadavg: 8.05 6.67 5.27 2/238 12041
/proc/meminfo: memFree=28352920/32951124 swapFree=67111464/67111528
[pid=12041] ppid=12039 vsize=29060 CPUtime=0.29 cores=0-7
/proc/12041/stat : 12041 (claspmt) R 12039 12041 11573 0 -1 4202496 3008 0 0 0 29 0 0 0 25 0 1 0 624576737 29757440 2442 33554432000 4194304 4964704 140733951412048 18446744073709551615 4600360 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/12041/statm: 7265 2442 400 189 0 2139 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29060

[startup+1.15204 s]
/proc/loadavg: 8.05 6.67 5.27 2/238 12041
/proc/meminfo: memFree=28352920/32951124 swapFree=67111464/67111528
[pid=12041] ppid=12039 vsize=392396 CPUtime=10.18 cores=0-7
/proc/12041/stat : 12041 (claspmt) R 12039 12041 11573 0 -1 4202496 12681 0 0 0 1013 5 0 0 21 0 8 0 624576737 401813504 11862 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12041/statm: 98099 11862 464 189 0 92448 0
Current children cumulated CPU time (s) 10.18
Current children cumulated vsize (KiB) 392396

[startup+1.75339 s]
/proc/loadavg: 8.05 6.67 5.27 2/238 12041
/proc/meminfo: memFree=28352920/32951124 swapFree=67111464/67111528
[pid=12041] ppid=12039 vsize=392660 CPUtime=10.84 cores=0-7
/proc/12041/stat : 12041 (claspmt) R 12039 12041 11573 0 -1 4202496 13197 0 0 0 1078 6 0 0 21 0 8 0 624576737 402083840 12378 33554432000 4194304 4964704 140733951412048 18446744073709551615 260020054912 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12041/statm: 98165 12378 464 189 0 92514 0
Current children cumulated CPU time (s) 10.84
Current children cumulated vsize (KiB) 392660

[startup+3.10114 s]
/proc/loadavg: 8.04 6.69 5.29 9/246 12049
/proc/meminfo: memFree=28287700/32951124 swapFree=67111464/67111528
[pid=12041] ppid=12039 vsize=394512 CPUtime=21.66 cores=0-7
/proc/12041/stat : 12041 (claspmt) R 12039 12041 11573 0 -1 4202496 17673 0 0 0 2158 8 0 0 25 0 8 0 624576737 403980288 16854 33554432000 4194304 4964704 140733951412048 18446744073709551615 4668488 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12041/statm: 98628 16854 464 189 0 92977 0
[pid=12041/tid=12043] ppid=12039 vsize=394512 CPUtime=2.65 cores=0-7
/proc/12041/task/12043/stat : 12043 (claspmt) R 12039 12041 11573 0 -1 4202560 1605 0 0 0 264 1 0 0 21 0 8 0 624576775 403980288 16854 33554432000 4194304 4964704 140733951412048 18446744073709551615 4631209 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12041/tid=12044] ppid=12039 vsize=394512 CPUtime=2.64 cores=0-7
/proc/12041/task/12044/stat : 12044 (claspmt) R 12039 12041 11573 0 -1 4202560 1536 0 0 0 264 0 0 0 21 0 8 0 624576775 403980288 16854 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12041/tid=12045] ppid=12039 vsize=394512 CPUtime=2.65 cores=0-7
/proc/12041/task/12045/stat : 12045 (claspmt) R 12039 12041 11573 0 -1 4202560 1535 0 0 0 265 0 0 0 21 0 8 0 624576775 403980288 16854 33554432000 4194304 4964704 140733951412048 18446744073709551615 4627168 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12041/tid=12046] ppid=12039 vsize=394644 CPUtime=2.65 cores=0-7
/proc/12041/task/12046/stat : 12046 (claspmt) R 12039 12041 11573 0 -1 4202560 2193 0 0 0 264 1 0 0 25 0 8 0 624576775 404115456 16855 33554432000 4194304 4964704 140733951412048 18446744073709551615 260020057121 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12041/tid=12047] ppid=12039 vsize=394644 CPUtime=2.71 cores=0-7
/proc/12041/task/12047/stat : 12047 (claspmt) R 12039 12041 11573 0 -1 4202560 357 0 0 0 271 0 0 0 25 0 8 0 624576775 404115456 16856 33554432000 4194304 4964704 140733951412048 18446744073709551615 4362375 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12041/tid=12048] ppid=12039 vsize=394644 CPUtime=2.62 cores=0-7
/proc/12041/task/12048/stat : 12048 (claspmt) R 12039 12041 11573 0 -1 4202560 1785 0 0 0 262 0 0 0 21 0 8 0 624576775 404115456 16856 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670119 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12041/tid=12049] ppid=12039 vsize=394644 CPUtime=2.65 cores=0-7
/proc/12041/task/12049/stat : 12049 (claspmt) R 12039 12041 11573 0 -1 4202560 4034 0 0 0 263 2 0 0 21 0 8 0 624576775 404115456 16856 33554432000 4194304 4964704 140733951412048 18446744073709551615 260020057121 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 21.66
Current children cumulated vsize (KiB) 394512

[startup+6.30055 s]
/proc/loadavg: 8.04 6.69 5.29 9/246 12049
/proc/meminfo: memFree=28272004/32951124 swapFree=67111464/67111528
[pid=12041] ppid=12039 vsize=397668 CPUtime=47.17 cores=0-7
/proc/12041/stat : 12041 (claspmt) R 12039 12041 11573 0 -1 4202496 22080 0 0 0 4706 11 0 0 25 0 8 0 624576737 407212032 21261 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12041/statm: 99417 21261 466 189 0 93766 0
[pid=12041/tid=12043] ppid=12039 vsize=397668 CPUtime=5.83 cores=0-7
/proc/12041/task/12043/stat : 12043 (claspmt) R 12039 12041 11573 0 -1 4202560 2291 0 0 0 582 1 0 0 25 0 8 0 624576775 407212032 21261 33554432000 4194304 4964704 140733951412048 18446744073709551615 4683929 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12041/tid=12044] ppid=12039 vsize=397668 CPUtime=5.83 cores=0-7
/proc/12041/task/12044/stat : 12044 (claspmt) R 12039 12041 11573 0 -1 4202560 2059 0 0 0 583 0 0 0 25 0 8 0 624576775 407212032 21261 33554432000 4194304 4964704 140733951412048 18446744073709551615 4627415 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12041/tid=12045] ppid=12039 vsize=397668 CPUtime=5.84 cores=0-7
/proc/12041/task/12045/stat : 12045 (claspmt) R 12039 12041 11573 0 -1 4202560 1892 0 0 0 584 0 0 0 25 0 8 0 624576775 407212032 21261 33554432000 4194304 4964704 140733951412048 18446744073709551615 4658182 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12041/tid=12046] ppid=12039 vsize=397668 CPUtime=5.84 cores=0-7
/proc/12041/task/12046/stat : 12046 (claspmt) R 12039 12041 11573 0 -1 4202560 2656 0 0 0 583 1 0 0 25 0 8 0 624576775 407212032 21261 33554432000 4194304 4964704 140733951412048 18446744073709551615 4362339 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12041/tid=12047] ppid=12039 vsize=397668 CPUtime=5.9 cores=0-7
/proc/12041/task/12047/stat : 12047 (claspmt) R 12039 12041 11573 0 -1 4202560 947 0 0 0 590 0 0 0 25 0 8 0 624576775 407212032 21261 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12041/tid=12048] ppid=12039 vsize=397668 CPUtime=5.8 cores=0-7
/proc/12041/task/12048/stat : 12048 (claspmt) R 12039 12041 11573 0 -1 4202560 2213 0 0 0 579 1 0 0 25 0 8 0 624576775 407212032 21261 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670255 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12041/tid=12049] ppid=12039 vsize=397668 CPUtime=5.83 cores=0-7
/proc/12041/task/12049/stat : 12049 (claspmt) R 12039 12041 11573 0 -1 4202560 5016 0 0 0 581 2 0 0 25 0 8 0 624576775 407212032 21261 33554432000 4194304 4964704 140733951412048 18446744073709551615 4367120 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 47.17
Current children cumulated vsize (KiB) 397668

[startup+12.7004 s]
/proc/loadavg: 8.04 6.71 5.30 9/246 12049
/proc/meminfo: memFree=28243276/32951124 swapFree=67111464/67111528
[pid=12041] ppid=12039 vsize=401856 CPUtime=98.32 cores=0-7
/proc/12041/stat : 12041 (claspmt) R 12039 12041 11573 0 -1 4202496 28886 0 0 0 9816 16 0 0 25 0 8 0 624576737 411500544 28067 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670248 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12041/statm: 100464 28067 466 189 0 94813 0
[pid=12041/tid=12043] ppid=12039 vsize=401856 CPUtime=12.23 cores=0-7
/proc/12041/task/12043/stat : 12043 (claspmt) R 12039 12041 11573 0 -1 4202560 2650 0 0 0 1222 1 0 0 25 0 8 0 624576775 411500544 28067 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12041/tid=12044] ppid=12039 vsize=401856 CPUtime=12.23 cores=0-7
/proc/12041/task/12044/stat : 12044 (claspmt) R 12039 12041 11573 0 -1 4202560 2703 0 0 0 1222 1 0 0 25 0 8 0 624576775 411500544 28067 33554432000 4194304 4964704 140733951412048 18446744073709551615 4320981 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12041/tid=12045] ppid=12039 vsize=401856 CPUtime=12.24 cores=0-7
/proc/12041/task/12045/stat : 12045 (claspmt) R 12039 12041 11573 0 -1 4202560 2391 0 0 0 1223 1 0 0 25 0 8 0 624576775 411500544 28067 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12041/tid=12046] ppid=12039 vsize=401856 CPUtime=12.23 cores=0-7
/proc/12041/task/12046/stat : 12046 (claspmt) R 12039 12041 11573 0 -1 4202560 3776 0 0 0 1222 1 0 0 25 0 8 0 624576775 411500544 28067 33554432000 4194304 4964704 140733951412048 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12041/tid=12047] ppid=12039 vsize=401856 CPUtime=12.3 cores=0-7
/proc/12041/task/12047/stat : 12047 (claspmt) R 12039 12041 11573 0 -1 4202560 1634 0 0 0 1230 0 0 0 25 0 8 0 624576775 411500544 28067 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670241 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12041/tid=12048] ppid=12039 vsize=401856 CPUtime=12.16 cores=0-7
/proc/12041/task/12048/stat : 12048 (claspmt) R 12039 12041 11573 0 -1 4202560 2787 0 0 0 1214 2 0 0 25 0 8 0 624576775 411500544 28067 33554432000 4194304 4964704 140733951412048 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12041/tid=12049] ppid=12039 vsize=401856 CPUtime=12.24 cores=0-7
/proc/12041/task/12049/stat : 12049 (claspmt) R 12039 12041 11573 0 -1 4202560 7301 0 0 0 1220 4 0 0 25 0 8 0 624576775 411500544 28067 33554432000 4194304 4964704 140733951412048 18446744073709551615 260020055979 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 98.32
Current children cumulated vsize (KiB) 401856

[startup+25.501 s]
/proc/loadavg: 8.03 6.77 5.34 9/246 12050
/proc/meminfo: memFree=28210104/32951124 swapFree=67111464/67111528
[pid=12041] ppid=12039 vsize=407580 CPUtime=200.62 cores=0-7
/proc/12041/stat : 12041 (claspmt) R 12039 12041 11573 0 -1 4202496 37302 0 0 0 20041 21 0 0 25 0 8 0 624576737 417361920 36436 33554432000 4194304 4964704 140733951412048 18446744073709551615 4627536 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12041/statm: 101895 36436 466 189 0 96244 0
[pid=12041/tid=12043] ppid=12039 vsize=407580 CPUtime=25.03 cores=0-7
/proc/12041/task/12043/stat : 12043 (claspmt) R 12039 12041 11573 0 -1 4202560 3747 0 0 0 2501 2 0 0 25 0 8 0 624576775 417361920 36436 33554432000 4194304 4964704 140733951412048 18446744073709551615 4627365 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12041/tid=12044] ppid=12039 vsize=407580 CPUtime=25.03 cores=0-7
/proc/12041/task/12044/stat : 12044 (claspmt) R 12039 12041 11573 0 -1 4202560 3608 0 0 0 2502 1 0 0 25 0 8 0 624576775 417361920 36436 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670458 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12041/tid=12045] ppid=12039 vsize=407580 CPUtime=25.04 cores=0-7
/proc/12041/task/12045/stat : 12045 (claspmt) R 12039 12041 11573 0 -1 4202560 3106 0 0 0 2503 1 0 0 25 0 8 0 624576775 417361920 36436 33554432000 4194304 4964704 140733951412048 18446744073709551615 4660075 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12041/tid=12046] ppid=12039 vsize=407580 CPUtime=25.03 cores=0-7
/proc/12041/task/12046/stat : 12046 (claspmt) R 12039 12041 11573 0 -1 4202560 4507 0 0 0 2502 1 0 0 22 0 8 0 624576775 417361920 36436 33554432000 4194304 4964704 140733951412048 18446744073709551615 4321042 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12041/tid=12047] ppid=12039 vsize=407580 CPUtime=25.1 cores=0-7
/proc/12041/task/12047/stat : 12047 (claspmt) R 12039 12041 11573 0 -1 4202560 2405 0 0 0 2509 1 0 0 25 0 8 0 624576775 417361920 36436 33554432000 4194304 4964704 140733951412048 18446744073709551615 4627549 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12041/tid=12048] ppid=12039 vsize=407580 CPUtime=24.85 cores=0-7
/proc/12041/task/12048/stat : 12048 (claspmt) R 12039 12041 11573 0 -1 4202560 3257 0 0 0 2483 2 0 0 22 0 8 0 624576775 417361920 36436 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12041/tid=12049] ppid=12039 vsize=407580 CPUtime=25.04 cores=0-7
/proc/12041/task/12049/stat : 12049 (claspmt) R 12039 12041 11573 0 -1 4202560 10094 0 0 0 2498 6 0 0 25 0 8 0 624576775 417361920 36436 33554432000 4194304 4964704 140733951412048 18446744073709551615 4627263 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 200.62
Current children cumulated vsize (KiB) 407580

[startup+51.1003 s]
/proc/loadavg: 8.08 6.89 5.42 9/246 12050
/proc/meminfo: memFree=28165032/32951124 swapFree=67111464/67111528
[pid=12041] ppid=12039 vsize=415364 CPUtime=405.21 cores=0-7
/proc/12041/stat : 12041 (claspmt) R 12039 12041 11573 0 -1 4202496 50091 0 0 0 40491 30 0 0 25 0 8 0 624576737 425332736 49190 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12041/statm: 103841 49190 466 189 0 98190 0
[pid=12041/tid=12043] ppid=12039 vsize=415364 CPUtime=50.61 cores=0-7
/proc/12041/task/12043/stat : 12043 (claspmt) R 12039 12041 11573 0 -1 4202560 5357 0 0 0 5058 3 0 0 25 0 8 0 624576775 425332736 49190 33554432000 4194304 4964704 140733951412048 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12041/tid=12044] ppid=12039 vsize=415364 CPUtime=50.63 cores=0-7
/proc/12041/task/12044/stat : 12044 (claspmt) R 12039 12041 11573 0 -1 4202560 4668 0 0 0 5061 2 0 0 25 0 8 0 624576775 425332736 49190 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12041/tid=12045] ppid=12039 vsize=415364 CPUtime=50.64 cores=0-7
/proc/12041/task/12045/stat : 12045 (claspmt) R 12039 12041 11573 0 -1 4202560 3864 0 0 0 5062 2 0 0 25 0 8 0 624576775 425332736 49190 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12041/tid=12046] ppid=12039 vsize=415364 CPUtime=50.62 cores=0-7
/proc/12041/task/12046/stat : 12046 (claspmt) R 12039 12041 11573 0 -1 4202560 6129 0 0 0 5060 2 0 0 25 0 8 0 624576775 425332736 49191 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12041/tid=12047] ppid=12039 vsize=415364 CPUtime=50.7 cores=0-7
/proc/12041/task/12047/stat : 12047 (claspmt) R 12039 12041 11573 0 -1 4202560 3696 0 0 0 5069 1 0 0 25 0 8 0 624576775 425332736 49191 33554432000 4194304 4964704 140733951412048 18446744073709551615 4627299 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12041/tid=12048] ppid=12039 vsize=415364 CPUtime=50.26 cores=0-7
/proc/12041/task/12048/stat : 12048 (claspmt) R 12039 12041 11573 0 -1 4202560 3772 0 0 0 5024 2 0 0 25 0 8 0 624576775 425332736 49191 33554432000 4194304 4964704 140733951412048 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12041/tid=12049] ppid=12039 vsize=415364 CPUtime=50.64 cores=0-7
/proc/12041/task/12049/stat : 12049 (claspmt) R 12039 12041 11573 0 -1 4202560 14657 0 0 0 5055 9 0 0 25 0 8 0 624576775 425332736 49191 33554432000 4194304 4964704 140733951412048 18446744073709551615 260020056773 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 405.21
Current children cumulated vsize (KiB) 415364

[startup+102.301 s]
/proc/loadavg: 8.29 7.12 5.57 9/246 12055
/proc/meminfo: memFree=28055120/32951124 swapFree=67111464/67111528
[pid=12041] ppid=12039 vsize=433540 CPUtime=813.59 cores=0-7
/proc/12041/stat : 12041 (claspmt) R 12039 12041 11573 0 -1 4202496 75973 0 0 0 81307 52 0 0 25 0 8 0 624576737 443944960 75023 33554432000 4194304 4964704 140733951412048 18446744073709551615 260020501023 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12041/statm: 108385 75023 466 189 0 102734 0
[pid=12041/tid=12043] ppid=12039 vsize=433540 CPUtime=101.15 cores=0-7
/proc/12041/task/12043/stat : 12043 (claspmt) R 12039 12041 11573 0 -1 4202560 8339 0 0 0 10108 7 0 0 25 0 8 0 624576775 443944960 75023 33554432000 4194304 4964704 140733951412048 18446744073709551615 260020501023 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12041/tid=12044] ppid=12039 vsize=433540 CPUtime=101.83 cores=0-7
/proc/12041/task/12044/stat : 12044 (claspmt) R 12039 12041 11573 0 -1 4202560 6610 0 0 0 10179 4 0 0 25 0 8 0 624576775 443944960 75023 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12041/tid=12045] ppid=12039 vsize=433540 CPUtime=101.82 cores=0-7
/proc/12041/task/12045/stat : 12045 (claspmt) R 12039 12041 11573 0 -1 4202560 5974 0 0 0 10178 4 0 0 25 0 8 0 624576775 443944960 75023 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 3 0 0 0

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

[pid=12041/tid=12045] ppid=12039 vsize=1212220 CPUtime=3215.28 cores=0-7
/proc/12041/task/12045/stat : 12045 (claspmt) R 12039 12041 11573 0 -1 4202560 16343 0 0 0 321502 26 0 0 25 0 8 0 624576775 1241313280 243015 33554432000 4194304 4964704 140733951412048 18446744073709551615 4361114 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12041/tid=12046] ppid=12039 vsize=1212220 CPUtime=3221.42 cores=0-7
/proc/12041/task/12046/stat : 12046 (claspmt) R 12039 12041 11573 0 -1 4202560 19921 0 0 0 322127 15 0 0 25 0 8 0 624576775 1241313280 243015 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12041/tid=12047] ppid=12039 vsize=1212220 CPUtime=3221.87 cores=0-7
/proc/12041/task/12047/stat : 12047 (claspmt) R 12039 12041 11573 0 -1 4202560 17779 0 0 0 322170 17 0 0 25 0 8 0 624576775 1241313280 243015 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12041/tid=12048] ppid=12039 vsize=1212220 CPUtime=3211.35 cores=0-7
/proc/12041/task/12048/stat : 12048 (claspmt) R 12039 12041 11573 0 -1 4202560 15426 0 0 0 321111 24 0 0 25 0 8 0 624576775 1241313280 243015 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12041/tid=12049] ppid=12039 vsize=1212220 CPUtime=3221.85 cores=0-7
/proc/12041/task/12049/stat : 12049 (claspmt) R 12039 12041 11573 0 -1 4202560 106836 0 0 0 322070 115 0 0 25 0 8 0 624576775 1241313280 243015 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25749.8
Current children cumulated vsize (KiB) 1212220

[startup+3282.31 s]
/proc/loadavg: 8.03 8.04 7.92 9/246 12149
/proc/meminfo: memFree=27378124/32951124 swapFree=67111464/67111528
[pid=12041] ppid=12039 vsize=1212220 CPUtime=26229.4 cores=0-7
/proc/12041/stat : 12041 (claspmt) R 12039 12041 11573 0 -1 4202496 252628 0 0 0 2622656 288 0 0 25 0 8 0 624576737 1241313280 243576 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670248 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12041/statm: 303055 243576 466 189 0 297404 0
[pid=12041/tid=12043] ppid=12039 vsize=1212220 CPUtime=3274.11 cores=0-7
/proc/12041/task/12043/stat : 12043 (claspmt) R 12039 12041 11573 0 -1 4202560 25679 0 0 0 327382 29 0 0 25 0 8 0 624576775 1241313280 243576 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670269 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12041/tid=12044] ppid=12039 vsize=1212220 CPUtime=3281.75 cores=0-7
/proc/12041/task/12044/stat : 12044 (claspmt) R 12039 12041 11573 0 -1 4202560 23489 0 0 0 328156 19 0 0 25 0 8 0 624576775 1241313280 243576 33554432000 4194304 4964704 140733951412048 18446744073709551615 4321042 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12041/tid=12045] ppid=12039 vsize=1212220 CPUtime=3275.29 cores=0-7
/proc/12041/task/12045/stat : 12045 (claspmt) R 12039 12041 11573 0 -1 4202560 16412 0 0 0 327503 26 0 0 25 0 8 0 624576775 1241313280 243576 33554432000 4194304 4964704 140733951412048 18446744073709551615 4627252 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12041/tid=12046] ppid=12039 vsize=1212220 CPUtime=3281.42 cores=0-7
/proc/12041/task/12046/stat : 12046 (claspmt) R 12039 12041 11573 0 -1 4202560 19982 0 0 0 328127 15 0 0 25 0 8 0 624576775 1241313280 243576 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670454 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12041/tid=12047] ppid=12039 vsize=1212220 CPUtime=3281.88 cores=0-7
/proc/12041/task/12047/stat : 12047 (claspmt) R 12039 12041 11573 0 -1 4202560 17821 0 0 0 328170 18 0 0 25 0 8 0 624576775 1241313280 243576 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670252 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12041/tid=12048] ppid=12039 vsize=1212220 CPUtime=3270.91 cores=0-7
/proc/12041/task/12048/stat : 12048 (claspmt) R 12039 12041 11573 0 -1 4202560 15547 0 0 0 327067 24 0 0 25 0 8 0 624576775 1241313280 243576 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12041/tid=12049] ppid=12039 vsize=1212220 CPUtime=3281.86 cores=0-7
/proc/12041/task/12049/stat : 12049 (claspmt) R 12039 12041 11573 0 -1 4202560 106836 0 0 0 328071 115 0 0 25 0 8 0 624576775 1241313280 243576 33554432000 4194304 4964704 140733951412048 18446744073709551615 260020054837 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 26229.4
Current children cumulated vsize (KiB) 1212220

[startup+3342.3 s]
/proc/loadavg: 8.12 8.06 7.93 9/246 12150
/proc/meminfo: memFree=27375572/32951124 swapFree=67111464/67111528
[pid=12041] ppid=12039 vsize=1212776 CPUtime=26708.9 cores=0-7
/proc/12041/stat : 12041 (claspmt) R 12039 12041 11573 0 -1 4202496 253228 0 0 0 2670605 288 0 0 25 0 8 0 624576737 1241882624 244160 33554432000 4194304 4964704 140733951412048 18446744073709551615 4362191 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12041/statm: 303194 244160 466 189 0 297543 0
[pid=12041/tid=12043] ppid=12039 vsize=1212776 CPUtime=3334.1 cores=0-7
/proc/12041/task/12043/stat : 12043 (claspmt) R 12039 12041 11573 0 -1 4202560 25679 0 0 0 333381 29 0 0 25 0 8 0 624576775 1241882624 244160 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12041/tid=12044] ppid=12039 vsize=1212776 CPUtime=3341.75 cores=0-7
/proc/12041/task/12044/stat : 12044 (claspmt) R 12039 12041 11573 0 -1 4202560 23584 0 0 0 334156 19 0 0 25 0 8 0 624576775 1241882624 244160 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12041/tid=12045] ppid=12039 vsize=1212776 CPUtime=3335.28 cores=0-7
/proc/12041/task/12045/stat : 12045 (claspmt) R 12039 12041 11573 0 -1 4202560 16436 0 0 0 333502 26 0 0 25 0 8 0 624576775 1241882624 244160 33554432000 4194304 4964704 140733951412048 18446744073709551615 4668820 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12041/tid=12046] ppid=12039 vsize=1212776 CPUtime=3341.41 cores=0-7
/proc/12041/task/12046/stat : 12046 (claspmt) R 12039 12041 11573 0 -1 4202560 20260 0 0 0 334126 15 0 0 25 0 8 0 624576775 1241882624 244160 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12041/tid=12047] ppid=12039 vsize=1212776 CPUtime=3341.86 cores=0-7
/proc/12041/task/12047/stat : 12047 (claspmt) R 12039 12041 11573 0 -1 4202560 17958 0 0 0 334168 18 0 0 25 0 8 0 624576775 1241882624 244160 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12041/tid=12048] ppid=12039 vsize=1212776 CPUtime=3330.46 cores=0-7
/proc/12041/task/12048/stat : 12048 (claspmt) R 12039 12041 11573 0 -1 4202560 15594 0 0 0 333022 24 0 0 25 0 8 0 624576775 1241882624 244160 33554432000 4194304 4964704 140733951412048 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12041/tid=12049] ppid=12039 vsize=1212776 CPUtime=3341.85 cores=0-7
/proc/12041/task/12049/stat : 12049 (claspmt) R 12039 12041 11573 0 -1 4202560 106855 0 0 0 334070 115 0 0 25 0 8 0 624576775 1241882624 244160 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670255 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 26708.9
Current children cumulated vsize (KiB) 1212776

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

[startup+3348.1 s]
/proc/loadavg: 8.11 8.06 7.93 9/246 12150
/proc/meminfo: memFree=27375572/32951124 swapFree=67111464/67111528
[pid=12041] ppid=12039 vsize=1212776 CPUtime=26755.3 cores=0-7
/proc/12041/stat : 12041 (claspmt) R 12039 12041 11573 0 -1 4202496 253231 0 0 0 2675241 288 0 0 25 0 8 0 624576737 1241882624 244163 33554432000 4194304 4964704 140733951412048 18446744073709551615 260020055975 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12041/statm: 303194 244163 466 189 0 297543 0
[pid=12041/tid=12043] ppid=12039 vsize=1212776 CPUtime=3339.9 cores=0-7
/proc/12041/task/12043/stat : 12043 (claspmt) R 12039 12041 11573 0 -1 4202560 25679 0 0 0 333961 29 0 0 25 0 8 0 624576775 1241882624 244163 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12041/tid=12044] ppid=12039 vsize=1212776 CPUtime=3347.55 cores=0-7
/proc/12041/task/12044/stat : 12044 (claspmt) R 12039 12041 11573 0 -1 4202560 23587 0 0 0 334736 19 0 0 25 0 8 0 624576775 1241882624 244163 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12041/tid=12045] ppid=12039 vsize=1212776 CPUtime=3341.08 cores=0-7
/proc/12041/task/12045/stat : 12045 (claspmt) R 12039 12041 11573 0 -1 4202560 16436 0 0 0 334082 26 0 0 25 0 8 0 624576775 1241882624 244163 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670250 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12041/tid=12046] ppid=12039 vsize=1212776 CPUtime=3347.21 cores=0-7
/proc/12041/task/12046/stat : 12046 (claspmt) R 12039 12041 11573 0 -1 4202560 20260 0 0 0 334706 15 0 0 25 0 8 0 624576775 1241882624 244163 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12041/tid=12047] ppid=12039 vsize=1212776 CPUtime=3347.67 cores=0-7
/proc/12041/task/12047/stat : 12047 (claspmt) R 12039 12041 11573 0 -1 4202560 17958 0 0 0 334749 18 0 0 25 0 8 0 624576775 1241882624 244163 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12041/tid=12048] ppid=12039 vsize=1212776 CPUtime=3336.22 cores=0-7
/proc/12041/task/12048/stat : 12048 (claspmt) R 12039 12041 11573 0 -1 4202560 15594 0 0 0 333598 24 0 0 25 0 8 0 624576775 1241882624 244163 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12041/tid=12049] ppid=12039 vsize=1212776 CPUtime=3347.65 cores=0-7
/proc/12041/task/12049/stat : 12049 (claspmt) R 12039 12041 11573 0 -1 4202560 106855 0 0 0 334650 115 0 0 25 0 8 0 624576775 1241882624 244163 33554432000 4194304 4964704 140733951412048 18446744073709551615 4321054 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 26755.3
Current children cumulated vsize (KiB) 1212776

[startup+3354.5 s]
/proc/loadavg: 8.09 8.06 7.93 9/246 12151
/proc/meminfo: memFree=27375304/32951124 swapFree=67111464/67111528
[pid=12041] ppid=12039 vsize=1212968 CPUtime=26806.4 cores=0-7
/proc/12041/stat : 12041 (claspmt) R 12039 12041 11573 0 -1 4202496 253298 0 0 0 2680357 288 0 0 25 0 8 0 624576737 1242079232 244230 33554432000 4194304 4964704 140733951412048 18446744073709551615 4627259 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12041/statm: 303242 244230 466 189 0 297591 0
[pid=12041/tid=12043] ppid=12039 vsize=1212968 CPUtime=3346.3 cores=0-7
/proc/12041/task/12043/stat : 12043 (claspmt) R 12039 12041 11573 0 -1 4202560 25679 0 0 0 334601 29 0 0 25 0 8 0 624576775 1242079232 244230 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12041/tid=12044] ppid=12039 vsize=1212968 CPUtime=3353.95 cores=0-7
/proc/12041/task/12044/stat : 12044 (claspmt) R 12039 12041 11573 0 -1 4202560 23594 0 0 0 335376 19 0 0 25 0 8 0 624576775 1242079232 244230 33554432000 4194304 4964704 140733951412048 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12041/tid=12045] ppid=12039 vsize=1212968 CPUtime=3347.48 cores=0-7
/proc/12041/task/12045/stat : 12045 (claspmt) R 12039 12041 11573 0 -1 4202560 16496 0 0 0 334722 26 0 0 25 0 8 0 624576775 1242079232 244230 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12041/tid=12046] ppid=12039 vsize=1212968 CPUtime=3353.61 cores=0-7
/proc/12041/task/12046/stat : 12046 (claspmt) R 12039 12041 11573 0 -1 4202560 20260 0 0 0 335346 15 0 0 25 0 8 0 624576775 1242079232 244230 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12041/tid=12047] ppid=12039 vsize=1212968 CPUtime=3354.07 cores=0-7
/proc/12041/task/12047/stat : 12047 (claspmt) R 12039 12041 11573 0 -1 4202560 17958 0 0 0 335389 18 0 0 25 0 8 0 624576775 1242079232 244230 33554432000 4194304 4964704 140733951412048 18446744073709551615 4668928 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12041/tid=12048] ppid=12039 vsize=1212968 CPUtime=3342.58 cores=0-7
/proc/12041/task/12048/stat : 12048 (claspmt) R 12039 12041 11573 0 -1 4202560 15594 0 0 0 334234 24 0 0 25 0 8 0 624576775 1242079232 244230 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12041/tid=12049] ppid=12039 vsize=1212968 CPUtime=3354.05 cores=0-7
/proc/12041/task/12049/stat : 12049 (claspmt) R 12039 12041 11573 0 -1 4202560 106855 0 0 0 335290 115 0 0 25 0 8 0 624576775 1242079232 244230 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 26806.5
Current children cumulated vsize (KiB) 1212968

[startup+3356.1 s]
/proc/loadavg: 8.09 8.06 7.93 9/246 12151
/proc/meminfo: memFree=27375304/32951124 swapFree=67111464/67111528
[pid=12041] ppid=12039 vsize=1212968 CPUtime=26819.2 cores=0-7
/proc/12041/stat : 12041 (claspmt) R 12039 12041 11573 0 -1 4202496 253300 0 0 0 2681634 288 0 0 25 0 8 0 624576737 1242079232 244232 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12041/statm: 303242 244232 466 189 0 297591 0
[pid=12041/tid=12043] ppid=12039 vsize=1212968 CPUtime=3347.9 cores=0-7
/proc/12041/task/12043/stat : 12043 (claspmt) R 12039 12041 11573 0 -1 4202560 25679 0 0 0 334761 29 0 0 25 0 8 0 624576775 1242079232 244232 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12041/tid=12044] ppid=12039 vsize=1212968 CPUtime=3355.54 cores=0-7
/proc/12041/task/12044/stat : 12044 (claspmt) R 12039 12041 11573 0 -1 4202560 23594 0 0 0 335535 19 0 0 25 0 8 0 624576775 1242079232 244232 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12041/tid=12045] ppid=12039 vsize=1212968 CPUtime=3349.08 cores=0-7
/proc/12041/task/12045/stat : 12045 (claspmt) R 12039 12041 11573 0 -1 4202560 16498 0 0 0 334882 26 0 0 25 0 8 0 624576775 1242079232 244232 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12041/tid=12046] ppid=12039 vsize=1212968 CPUtime=3355.21 cores=0-7
/proc/12041/task/12046/stat : 12046 (claspmt) R 12039 12041 11573 0 -1 4202560 20260 0 0 0 335506 15 0 0 25 0 8 0 624576775 1242079232 244232 33554432000 4194304 4964704 140733951412048 18446744073709551615 4644844 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12041/tid=12047] ppid=12039 vsize=1212968 CPUtime=3355.66 cores=0-7
/proc/12041/task/12047/stat : 12047 (claspmt) R 12039 12041 11573 0 -1 4202560 17958 0 0 0 335548 18 0 0 25 0 8 0 624576775 1242079232 244232 33554432000 4194304 4964704 140733951412048 18446744073709551615 4669399 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12041/tid=12048] ppid=12039 vsize=1212968 CPUtime=3344.16 cores=0-7
/proc/12041/task/12048/stat : 12048 (claspmt) R 12039 12041 11573 0 -1 4202560 15594 0 0 0 334392 24 0 0 25 0 8 0 624576775 1242079232 244232 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12041/tid=12049] ppid=12039 vsize=1212968 CPUtime=3355.65 cores=0-7
/proc/12041/task/12049/stat : 12049 (claspmt) R 12039 12041 11573 0 -1 4202560 106855 0 0 0 335450 115 0 0 25 0 8 0 624576775 1242079232 244232 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 26819.2
Current children cumulated vsize (KiB) 1212968

[startup+3356.9 s]
/proc/loadavg: 8.09 8.06 7.93 9/246 12151
/proc/meminfo: memFree=27375304/32951124 swapFree=67111464/67111528
[pid=12041] ppid=12039 vsize=1212968 CPUtime=26825.6 cores=0-7
/proc/12041/stat : 12041 (claspmt) R 12039 12041 11573 0 -1 4202496 253301 0 0 0 2682274 289 0 0 25 0 8 0 624576737 1242079232 244233 33554432000 4194304 4964704 140733951412048 18446744073709551615 4321023 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/12041/statm: 303242 244233 466 189 0 297591 0
[pid=12041/tid=12043] ppid=12039 vsize=1212968 CPUtime=3348.7 cores=0-7
/proc/12041/task/12043/stat : 12043 (claspmt) R 12039 12041 11573 0 -1 4202560 25679 0 0 0 334841 29 0 0 25 0 8 0 624576775 1242079232 244233 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=12041/tid=12044] ppid=12039 vsize=1212968 CPUtime=3356.35 cores=0-7
/proc/12041/task/12044/stat : 12044 (claspmt) R 12039 12041 11573 0 -1 4202560 23594 0 0 0 335616 19 0 0 25 0 8 0 624576775 1242079232 244233 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=12041/tid=12045] ppid=12039 vsize=1212968 CPUtime=3349.88 cores=0-7
/proc/12041/task/12045/stat : 12045 (claspmt) R 12039 12041 11573 0 -1 4202560 16499 0 0 0 334962 26 0 0 25 0 8 0 624576775 1242079232 244233 33554432000 4194304 4964704 140733951412048 18446744073709551615 4627252 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=12041/tid=12046] ppid=12039 vsize=1212968 CPUtime=3356 cores=0-7
/proc/12041/task/12046/stat : 12046 (claspmt) R 12039 12041 11573 0 -1 4202560 20260 0 0 0 335585 15 0 0 25 0 8 0 624576775 1242079232 244233 33554432000 4194304 4964704 140733951412048 18446744073709551615 260020093570 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=12041/tid=12047] ppid=12039 vsize=1212968 CPUtime=3356.47 cores=0-7
/proc/12041/task/12047/stat : 12047 (claspmt) R 12039 12041 11573 0 -1 4202560 17958 0 0 0 335629 18 0 0 25 0 8 0 624576775 1242079232 244233 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=12041/tid=12048] ppid=12039 vsize=1212968 CPUtime=3344.96 cores=0-7
/proc/12041/task/12048/stat : 12048 (claspmt) R 12039 12041 11573 0 -1 4202560 15594 0 0 0 334472 24 0 0 25 0 8 0 624576775 1242079232 244233 33554432000 4194304 4964704 140733951412048 18446744073709551615 4670233 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=12041/tid=12049] ppid=12039 vsize=1212968 CPUtime=3356.45 cores=0-7
/proc/12041/task/12049/stat : 12049 (claspmt) R 12039 12041 11573 0 -1 4202560 106855 0 0 0 335530 115 0 0 25 0 8 0 624576775 1242079232 244233 33554432000 4194304 4964704 140733951412048 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 26825.6
Current children cumulated vsize (KiB) 1212968

[startup+3357.3 s]
/proc/loadavg: 8.09 8.06 7.93 9/246 12151
/proc/meminfo: memFree=27375304/32951124 swapFree=67111464/67111528
[pid=12041] ppid=12039 vsize=1205496 CPUtime=26827.9 cores=0-7
/proc/12041/stat : 12041 (claspmt) R 12039 12041 11573 0 -1 4202496 253311 0 0 0 2682499 289 0 0 25 0 1 0 624576737 1234427904 242751 33554432000 4194304 4964704 140733951412048 18446744073709551615 260020051297 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/12041/statm: 301374 242751 476 189 0 295723 0
Current children cumulated CPU time (s) 26827.9
Current children cumulated vsize (KiB) 1205496

[startup+3357.5 s]
/proc/loadavg: 8.09 8.06 7.93 9/246 12151
/proc/meminfo: memFree=27375304/32951124 swapFree=67111464/67111528
[pid=12041] ppid=12039 vsize=848020 CPUtime=26828.1 cores=0-7
/proc/12041/stat : 12041 (claspmt) R 12039 12041 11573 0 -1 4202496 253311 0 0 0 2682518 290 0 0 25 0 1 0 624576737 868372480 163624 33554432000 4194304 4964704 140733951412048 18446744073709551615 260020439399 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/12041/statm: 212005 163624 476 189 0 206354 0
Current children cumulated CPU time (s) 26828.1
Current children cumulated vsize (KiB) 848020

Child status: 10
Real time (s): 3357.54
CPU time (s): 26828.1
CPU user time (s): 26825.2
CPU system time (s): 2.93955
CPU usage (%): 799.042
Max. virtual memory (cumulated for all children) (KiB): 1212968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26825.2
system time used= 2.93955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253312
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= 54350
involuntary context switches= 127020

runsolver used 6.67098 second user time and 17.8533 second system time

The end

Launcher Data 

Begin job on node110 at 2011-05-02 15:37:42
IDJOB=3321494
IDBENCH=71397
IDSOLVER=1711
FILE ID=node110/3321494-1304343461
RUNJOBID= node110-1304335483-11587
PBS_JOBID= 13178013
Free space on /tmp= 73932 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v1375c111739gyes10.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-3321494-1304343461/watcher-3321494-1304343461 -o /tmp/evaluation-result-3321494-1304343461/solver-3321494-1304343461 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3321494-1304343461.cnf

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

MD5SUM BENCH= c904604702db7cfabf92e607e197d409
RANDOM SEED=32626556

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28353448 kB
Buffers:       1052068 kB
Cached:        1533236 kB
SwapCached:         64 kB
Active:        2010584 kB
Inactive:      2155924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28353448 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:            2344 kB
Writeback:           0 kB
AnonPages:     1581320 kB
Mapped:          21276 kB
Slab:           355332 kB
PageTables:      14240 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 34647176 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= 73928 MiB
End job on node110 at 2011-05-02 16:33:39