Trace number 3380619

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 2487.2 311.328

General information on the benchmark

NameCRAFTED/edgematching/
compact/em_7_3_6_cmp.cnf
MD5SUMc848a5766cfcc1d1c3f26c7818e48eb2
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark9.8495
Satisfiable
(Un)Satisfiability was proved
Number of variables1473
Number of clauses11563
Sum of the clauses size37576
Maximum clause length25
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22381
Number of clauses of size 37024
Number of clauses of size 4708
Number of clauses of size 51300
Number of clauses of size over 5150

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3380619-1307657136/watcher-3380619-1307657136 -o /tmp/evaluation-result-3380619-1307657136/solver-3380619-1307657136 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3380619-1307657136.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.03 7.96 6.36 2/165 22940
/proc/meminfo: memFree=29743740/32951132 swapFree=67061144/67111528
[pid=22940] ppid=22938 vsize=21460 CPUtime=0 cores=0-7
/proc/22940/stat : 22940 (claspmt) R 22938 22940 22818 0 -1 4202496 679 0 0 0 0 0 0 0 25 0 1 0 877313178 21975040 597 33554432000 4194304 4964800 140734653718128 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/22940/statm: 5365 598 386 189 0 239 0

[startup+0.102358 s]
/proc/loadavg: 8.03 7.96 6.36 2/165 22940
/proc/meminfo: memFree=29743740/32951132 swapFree=67061144/67111528
[pid=22940] ppid=22938 vsize=383512 CPUtime=0.74 cores=0-7
/proc/22940/stat : 22940 (claspmt) R 22938 22940 22818 0 -1 4202496 3059 0 0 0 72 2 0 0 18 0 8 0 877313178 392716288 2917 33554432000 4194304 4964800 140734653718128 18446744073709551615 4654549 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 95945 3269 464 189 0 90294 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 383512

[startup+0.82834 s]
/proc/loadavg: 8.03 7.96 6.36 2/165 22940
/proc/meminfo: memFree=29743740/32951132 swapFree=67061144/67111528
[pid=22940] ppid=22938 vsize=384660 CPUtime=6.39 cores=0-7
/proc/22940/stat : 22940 (claspmt) R 22938 22940 22818 0 -1 4202496 5160 0 0 0 636 3 0 0 18 0 8 0 877313178 393891840 5018 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 96165 5018 464 189 0 90514 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 384660

[startup+0.90265 s]
/proc/loadavg: 8.03 7.96 6.36 2/165 22940
/proc/meminfo: memFree=29743740/32951132 swapFree=67061144/67111528
[pid=22940] ppid=22938 vsize=384792 CPUtime=6.98 cores=0-7
/proc/22940/stat : 22940 (claspmt) R 22938 22940 22818 0 -1 4202496 5377 0 0 0 695 3 0 0 18 0 8 0 877313178 394027008 5235 33554432000 4194304 4964800 140734653718128 18446744073709551615 210647251487 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 96198 5244 464 189 0 90547 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 384792

[startup+1.02831 s]
/proc/loadavg: 8.03 7.96 6.36 2/165 22940
/proc/meminfo: memFree=29743740/32951132 swapFree=67061144/67111528
[pid=22940] ppid=22938 vsize=385200 CPUtime=7.98 cores=0-7
/proc/22940/stat : 22940 (claspmt) R 22938 22940 22818 0 -1 4202496 5586 0 0 0 795 3 0 0 19 0 8 0 877313178 394444800 5444 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 96300 5445 464 189 0 90649 0
Current children cumulated CPU time (s) 7.98
Current children cumulated vsize (KiB) 385200

[startup+1.50023 s]
/proc/loadavg: 8.03 7.96 6.36 2/165 22940
/proc/meminfo: memFree=29743740/32951132 swapFree=67061144/67111528
[pid=22940] ppid=22938 vsize=385728 CPUtime=11.76 cores=0-7
/proc/22940/stat : 22940 (claspmt) R 22938 22940 22818 0 -1 4202496 6409 0 0 0 1173 3 0 0 20 0 8 0 877313178 394985472 6267 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670437 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 96432 6267 464 189 0 90781 0
Current children cumulated CPU time (s) 11.76
Current children cumulated vsize (KiB) 385728

[startup+3.10096 s]
/proc/loadavg: 8.03 7.96 6.36 9/173 22948
/proc/meminfo: memFree=29708512/32951132 swapFree=67061144/67111528
[pid=22940] ppid=22938 vsize=388116 CPUtime=24.55 cores=0-7
/proc/22940/stat : 22940 (claspmt) R 22938 22940 22818 0 -1 4202496 9795 0 0 0 2450 5 0 0 25 0 8 0 877313178 397430784 9653 33554432000 4194304 4964800 140734653718128 18446744073709551615 4320981 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 97029 9653 464 189 0 91378 0
[pid=22940/tid=22942] ppid=22938 vsize=388116 CPUtime=3.06 cores=0-7
/proc/22940/task/22942/stat : 22942 (claspmt) R 22938 22940 22818 0 -1 4202560 999 0 0 0 306 0 0 0 25 0 8 0 877313180 397430784 9654 33554432000 4194304 4964800 140734653718128 18446744073709551615 210646807585 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=22940/tid=22943] ppid=22938 vsize=388116 CPUtime=3.06 cores=0-7
/proc/22940/task/22943/stat : 22943 (claspmt) R 22938 22940 22818 0 -1 4202560 1363 0 0 0 306 0 0 0 25 0 8 0 877313180 397430784 9654 33554432000 4194304 4964800 140734653718128 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=22940/tid=22944] ppid=22938 vsize=388116 CPUtime=3.05 cores=0-7
/proc/22940/task/22944/stat : 22944 (claspmt) R 22938 22940 22818 0 -1 4202560 952 0 0 0 305 0 0 0 19 0 8 0 877313180 397430784 9654 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=22940/tid=22945] ppid=22938 vsize=388116 CPUtime=3.06 cores=0-7
/proc/22940/task/22945/stat : 22945 (claspmt) R 22938 22940 22818 0 -1 4202560 908 0 0 0 306 0 0 0 25 0 8 0 877313180 397430784 9654 33554432000 4194304 4964800 140734653718128 18446744073709551615 4683980 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=22940/tid=22946] ppid=22938 vsize=388116 CPUtime=3.07 cores=0-7
/proc/22940/task/22946/stat : 22946 (claspmt) R 22938 22940 22818 0 -1 4202560 946 0 0 0 307 0 0 0 25 0 8 0 877313180 397430784 9654 33554432000 4194304 4964800 140734653718128 18446744073709551615 4465641 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=22940/tid=22947] ppid=22938 vsize=388116 CPUtime=3.04 cores=0-7
/proc/22940/task/22947/stat : 22947 (claspmt) R 22938 22940 22818 0 -1 4202560 1082 0 0 0 303 1 0 0 18 0 8 0 877313180 397430784 9654 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=22940/tid=22948] ppid=22938 vsize=388116 CPUtime=3.06 cores=0-7
/proc/22940/task/22948/stat : 22948 (claspmt) R 22938 22940 22818 0 -1 4202560 1611 0 0 0 306 0 0 0 25 0 8 0 877313180 397430784 9655 33554432000 4194304 4964800 140734653718128 18446744073709551615 210647251487 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.55
Current children cumulated vsize (KiB) 388116

[startup+6.30043 s]
/proc/loadavg: 8.03 7.96 6.36 9/173 22948
/proc/meminfo: memFree=29689752/32951132 swapFree=67061144/67111528
[pid=22940] ppid=22938 vsize=391000 CPUtime=50.1 cores=0-7
/proc/22940/stat : 22940 (claspmt) R 22938 22940 22818 0 -1 4202496 14479 0 0 0 4997 13 0 0 25 0 8 0 877313178 400384000 14211 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669503 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 97750 14211 466 189 0 92099 0
[pid=22940/tid=22942] ppid=22938 vsize=391000 CPUtime=6.27 cores=0-7
/proc/22940/task/22942/stat : 22942 (claspmt) R 22938 22940 22818 0 -1 4202560 1349 0 0 0 626 1 0 0 25 0 8 0 877313180 400384000 14211 33554432000 4194304 4964800 140734653718128 18446744073709551615 4332387 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=22940/tid=22943] ppid=22938 vsize=391000 CPUtime=6.26 cores=0-7
/proc/22940/task/22943/stat : 22943 (claspmt) R 22938 22940 22818 0 -1 4202560 1989 0 0 0 625 1 0 0 25 0 8 0 877313180 400384000 14211 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669493 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=22940/tid=22944] ppid=22938 vsize=391000 CPUtime=6.23 cores=0-7
/proc/22940/task/22944/stat : 22944 (claspmt) R 22938 22940 22818 0 -1 4202560 1570 0 0 0 623 0 0 0 25 0 8 0 877313180 400384000 14211 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669434 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=22940/tid=22945] ppid=22938 vsize=391000 CPUtime=6.26 cores=0-7
/proc/22940/task/22945/stat : 22945 (claspmt) R 22938 22940 22818 0 -1 4202560 1577 0 0 0 625 1 0 0 25 0 8 0 877313180 400384000 14211 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=22940/tid=22946] ppid=22938 vsize=391000 CPUtime=6.27 cores=0-7
/proc/22940/task/22946/stat : 22946 (claspmt) R 22938 22940 22818 0 -1 4202560 1672 0 0 0 626 1 0 0 25 0 8 0 877313180 400384000 14211 33554432000 4194304 4964800 140734653718128 18446744073709551615 4668797 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=22940/tid=22947] ppid=22938 vsize=391000 CPUtime=6.23 cores=0-7
/proc/22940/task/22947/stat : 22947 (claspmt) R 22938 22940 22818 0 -1 4202560 1570 0 0 0 622 1 0 0 25 0 8 0 877313180 400384000 14211 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=22940/tid=22948] ppid=22938 vsize=391000 CPUtime=6.26 cores=0-7
/proc/22940/task/22948/stat : 22948 (claspmt) R 22938 22940 22818 0 -1 4202560 2430 0 0 0 624 2 0 0 25 0 8 0 877313180 400384000 14211 33554432000 4194304 4964800 140734653718128 18446744073709551615 4660236 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.1
Current children cumulated vsize (KiB) 391000

[startup+12.7003 s]
/proc/loadavg: 8.03 7.97 6.37 9/173 22948
/proc/meminfo: memFree=29673416/32951132 swapFree=67061144/67111528
[pid=22940] ppid=22938 vsize=393448 CPUtime=101.29 cores=0-7
/proc/22940/stat : 22940 (claspmt) R 22938 22940 22818 0 -1 4202496 18655 0 0 0 10113 16 0 0 25 0 8 0 877313178 402890752 18387 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 98362 18387 466 189 0 92711 0
[pid=22940/tid=22942] ppid=22938 vsize=393448 CPUtime=12.66 cores=0-7
/proc/22940/task/22942/stat : 22942 (claspmt) R 22938 22940 22818 0 -1 4202560 1776 0 0 0 1265 1 0 0 25 0 8 0 877313180 402890752 18387 33554432000 4194304 4964800 140734653718128 18446744073709551615 4627576 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=22940/tid=22943] ppid=22938 vsize=393448 CPUtime=12.66 cores=0-7
/proc/22940/task/22943/stat : 22943 (claspmt) R 22938 22940 22818 0 -1 4202560 2354 0 0 0 1265 1 0 0 25 0 8 0 877313180 402890752 18387 33554432000 4194304 4964800 140734653718128 18446744073709551615 210646807237 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=22940/tid=22944] ppid=22938 vsize=393448 CPUtime=12.61 cores=0-7
/proc/22940/task/22944/stat : 22944 (claspmt) R 22938 22940 22818 0 -1 4202560 2084 0 0 0 1260 1 0 0 25 0 8 0 877313180 402890752 18387 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669512 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=22940/tid=22945] ppid=22938 vsize=393448 CPUtime=12.67 cores=0-7
/proc/22940/task/22945/stat : 22945 (claspmt) R 22938 22940 22818 0 -1 4202560 2103 0 0 0 1265 2 0 0 25 0 8 0 877313180 402890752 18387 33554432000 4194304 4964800 140734653718128 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=22940/tid=22946] ppid=22938 vsize=393448 CPUtime=12.67 cores=0-7
/proc/22940/task/22946/stat : 22946 (claspmt) R 22938 22940 22818 0 -1 4202560 2261 0 0 0 1266 1 0 0 19 0 8 0 877313180 402890752 18387 33554432000 4194304 4964800 140734653718128 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=22940/tid=22947] ppid=22938 vsize=393448 CPUtime=12.64 cores=0-7
/proc/22940/task/22947/stat : 22947 (claspmt) R 22938 22940 22818 0 -1 4202560 1910 0 0 0 1262 2 0 0 25 0 8 0 877313180 402890752 18387 33554432000 4194304 4964800 140734653718128 18446744073709551615 4325296 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=22940/tid=22948] ppid=22938 vsize=393448 CPUtime=12.66 cores=0-7
/proc/22940/task/22948/stat : 22948 (claspmt) R 22938 22940 22818 0 -1 4202560 3269 0 0 0 1264 2 0 0 25 0 8 0 877313180 402890752 18387 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.29
Current children cumulated vsize (KiB) 393448

[startup+25.5012 s]
/proc/loadavg: 8.18 8.00 6.41 11/174 22953
/proc/meminfo: memFree=29633128/32951132 swapFree=67061144/67111528
[pid=22940] ppid=22938 vsize=398464 CPUtime=203.35 cores=0-7
/proc/22940/stat : 22940 (claspmt) R 22938 22940 22818 0 -1 4202496 26236 0 0 0 20312 23 0 0 25 0 8 0 877313178 408027136 25968 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669011 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 99616 25968 466 189 0 93965 0
[pid=22940/tid=22942] ppid=22938 vsize=398464 CPUtime=25.43 cores=0-7
/proc/22940/task/22942/stat : 22942 (claspmt) R 22938 22940 22818 0 -1 4202560 2528 0 0 0 2541 2 0 0 25 0 8 0 877313180 408027136 25968 33554432000 4194304 4964800 140734653718128 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=22940/tid=22943] ppid=22938 vsize=398464 CPUtime=25.45 cores=0-7
/proc/22940/task/22943/stat : 22943 (claspmt) R 22938 22940 22818 0 -1 4202560 3127 0 0 0 2543 2 0 0 25 0 8 0 877313180 408027136 25968 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=22940/tid=22944] ppid=22938 vsize=398464 CPUtime=25.16 cores=0-7
/proc/22940/task/22944/stat : 22944 (claspmt) R 22938 22940 22818 0 -1 4202560 2921 0 0 0 2515 1 0 0 25 0 8 0 877313180 408027136 25968 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669386 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=22940/tid=22945] ppid=22938 vsize=398464 CPUtime=25.45 cores=0-7
/proc/22940/task/22945/stat : 22945 (claspmt) R 22938 22940 22818 0 -1 4202560 3352 0 0 0 2543 2 0 0 25 0 8 0 877313180 408027136 25968 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670239 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=22940/tid=22946] ppid=22938 vsize=398464 CPUtime=25.46 cores=0-7
/proc/22940/task/22946/stat : 22946 (claspmt) R 22938 22940 22818 0 -1 4202560 3397 0 0 0 2544 2 0 0 25 0 8 0 877313180 408027136 25968 33554432000 4194304 4964800 140734653718128 18446744073709551615 4320916 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=22940/tid=22947] ppid=22938 vsize=398464 CPUtime=25.43 cores=0-7
/proc/22940/task/22947/stat : 22947 (claspmt) R 22938 22940 22818 0 -1 4202560 2811 0 0 0 2540 3 0 0 25 0 8 0 877313180 408027136 25968 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=22940/tid=22948] ppid=22938 vsize=398464 CPUtime=25.46 cores=0-7
/proc/22940/task/22948/stat : 22948 (claspmt) R 22938 22940 22818 0 -1 4202560 4598 0 0 0 2542 4 0 0 25 0 8 0 877313180 408027136 25968 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669523 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.35
Current children cumulated vsize (KiB) 398464

[startup+51.1009 s]
/proc/loadavg: 8.37 8.06 6.47 9/173 22953
/proc/meminfo: memFree=29620756/32951132 swapFree=67061144/67111528
[pid=22940] ppid=22938 vsize=402860 CPUtime=407.36 cores=0-7
/proc/22940/stat : 22940 (claspmt) R 22938 22940 22818 0 -1 4202496 32066 0 0 0 40705 31 0 0 25 0 8 0 877313178 412528640 31774 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 100715 31774 466 189 0 95064 0
[pid=22940/tid=22942] ppid=22938 vsize=402860 CPUtime=50.74 cores=0-7
/proc/22940/task/22942/stat : 22942 (claspmt) R 22938 22940 22818 0 -1 4202560 2991 0 0 0 5071 3 0 0 25 0 8 0 877313180 412528640 31774 33554432000 4194304 4964800 140734653718128 18446744073709551615 4320905 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=22940/tid=22943] ppid=22938 vsize=402860 CPUtime=51.03 cores=0-7
/proc/22940/task/22943/stat : 22943 (claspmt) R 22938 22940 22818 0 -1 4202560 3892 0 0 0 5101 2 0 0 25 0 8 0 877313180 412528640 31774 33554432000 4194304 4964800 140734653718128 18446744073709551615 4660236 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=22940/tid=22944] ppid=22938 vsize=402860 CPUtime=50.52 cores=0-7
/proc/22940/task/22944/stat : 22944 (claspmt) R 22938 22940 22818 0 -1 4202560 3608 0 0 0 5050 2 0 0 25 0 8 0 877313180 412528640 31774 33554432000 4194304 4964800 140734653718128 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=22940/tid=22945] ppid=22938 vsize=402860 CPUtime=51.05 cores=0-7
/proc/22940/task/22945/stat : 22945 (claspmt) R 22938 22940 22818 0 -1 4202560 4046 0 0 0 5102 3 0 0 25 0 8 0 877313180 412528640 31774 33554432000 4194304 4964800 140734653718128 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=22940/tid=22946] ppid=22938 vsize=402860 CPUtime=50.94 cores=0-7
/proc/22940/task/22946/stat : 22946 (claspmt) R 22938 22940 22818 0 -1 4202560 4147 0 0 0 5091 3 0 0 25 0 8 0 877313180 412528640 31774 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=22940/tid=22947] ppid=22938 vsize=402860 CPUtime=50.93 cores=0-7
/proc/22940/task/22947/stat : 22947 (claspmt) R 22938 22940 22818 0 -1 4202560 3314 0 0 0 5090 3 0 0 25 0 8 0 877313180 412528640 31774 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=22940/tid=22948] ppid=22938 vsize=402860 CPUtime=51.05 cores=0-7
/proc/22940/task/22948/stat : 22948 (claspmt) R 22938 22940 22818 0 -1 4202560 5822 0 0 0 5101 4 0 0 25 0 8 0 877313180 412528640 31774 33554432000 4194304 4964800 140734653718128 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.36
Current children cumulated vsize (KiB) 402860

[startup+102.301 s]
/proc/loadavg: 8.23 8.07 6.55 9/173 22955
/proc/meminfo: memFree=29584836/32951132 swapFree=67061144/67111528
[pid=22940] ppid=22938 vsize=410104 CPUtime=816.63 cores=0-7
/proc/22940/stat : 22940 (claspmt) R 22938 22940 22818 0 -1 4202496 41276 0 0 0 81617 46 0 0 25 0 8 0 877313178 419946496 40983 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670371 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 102526 40983 466 189 0 96875 0
[pid=22940/tid=22942] ppid=22938 vsize=410104 CPUtime=101.93 cores=0-7
/proc/22940/task/22942/stat : 22942 (claspmt) R 22938 22940 22818 0 -1 4202560 3664 0 0 0 10189 4 0 0 25 0 8 0 877313180 419946496 40983 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=22940/tid=22943] ppid=22938 vsize=410104 CPUtime=102.22 cores=0-7
/proc/22940/task/22943/stat : 22943 (claspmt) R 22938 22940 22818 0 -1 4202560 4695 0 0 0 10218 4 0 0 25 0 8 0 877313180 419946496 40983 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=22940/tid=22944] ppid=22938 vsize=410104 CPUtime=101.45 cores=0-7
/proc/22940/task/22944/stat : 22944 (claspmt) R 22938 22940 22818 0 -1 4202560 5094 0 0 0 10142 3 0 0 25 0 8 0 877313180 419946496 40983 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670310 0 0 4096 18946 0 0 0 -1 7 0 0 0

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


[startup+295.001 s]
/proc/loadavg: 8.03 8.05 6.83 9/173 22959
/proc/meminfo: memFree=29517104/32951132 swapFree=67061144/67111528
[pid=22940] ppid=22938 vsize=420280 CPUtime=2357.01 cores=0-7
/proc/22940/stat : 22940 (claspmt) R 22938 22940 22818 0 -1 4202496 58436 0 0 0 235629 72 0 0 25 0 8 0 877313178 430366720 58061 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669496 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 105070 58061 466 189 0 99419 0
[pid=22940/tid=22942] ppid=22938 vsize=420280 CPUtime=294.56 cores=0-7
/proc/22940/task/22942/stat : 22942 (claspmt) R 22938 22940 22818 0 -1 4202560 5905 0 0 0 29447 9 0 0 25 0 8 0 877313180 430366720 58061 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=22940/tid=22943] ppid=22938 vsize=420280 CPUtime=294.86 cores=0-7
/proc/22940/task/22943/stat : 22943 (claspmt) R 22938 22940 22818 0 -1 4202560 6677 0 0 0 29480 6 0 0 25 0 8 0 877313180 430366720 58061 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=22940/tid=22944] ppid=22938 vsize=420280 CPUtime=293.18 cores=0-7
/proc/22940/task/22944/stat : 22944 (claspmt) R 22938 22940 22818 0 -1 4202560 6998 0 0 0 29312 6 0 0 25 0 8 0 877313180 430366720 58061 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=22940/tid=22945] ppid=22938 vsize=420280 CPUtime=294.93 cores=0-7
/proc/22940/task/22945/stat : 22945 (claspmt) R 22938 22940 22818 0 -1 4202560 7913 0 0 0 29486 7 0 0 25 0 8 0 877313180 430366720 58061 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=22940/tid=22946] ppid=22938 vsize=420280 CPUtime=294.81 cores=0-7
/proc/22940/task/22946/stat : 22946 (claspmt) R 22938 22940 22818 0 -1 4202560 7915 0 0 0 29473 8 0 0 25 0 8 0 877313180 430366720 58061 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=22940/tid=22947] ppid=22938 vsize=420280 CPUtime=294.79 cores=0-7
/proc/22940/task/22947/stat : 22947 (claspmt) R 22938 22940 22818 0 -1 4202560 5693 0 0 0 29472 7 0 0 25 0 8 0 877313180 430366720 58061 33554432000 4194304 4964800 140734653718128 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=22940/tid=22948] ppid=22938 vsize=420280 CPUtime=294.92 cores=0-7
/proc/22940/task/22948/stat : 22948 (claspmt) R 22938 22940 22818 0 -1 4202560 10577 0 0 0 29482 10 0 0 25 0 8 0 877313180 430366720 58061 33554432000 4194304 4964800 140734653718128 18446744073709551615 4668920 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2357.01
Current children cumulated vsize (KiB) 420280

[startup+301.401 s]
/proc/loadavg: 8.03 8.05 6.83 9/173 22959
/proc/meminfo: memFree=29509416/32951132 swapFree=67061144/67111528
[pid=22940] ppid=22938 vsize=421864 CPUtime=2408.17 cores=0-7
/proc/22940/stat : 22940 (claspmt) R 22938 22940 22818 0 -1 4202496 59900 0 0 0 240743 74 0 0 25 0 8 0 877313178 431988736 59525 33554432000 4194304 4964800 140734653718128 18446744073709551615 4654579 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 105466 59525 466 189 0 99815 0
[pid=22940/tid=22942] ppid=22938 vsize=421864 CPUtime=300.95 cores=0-7
/proc/22940/task/22942/stat : 22942 (claspmt) R 22938 22940 22818 0 -1 4202560 6059 0 0 0 30086 9 0 0 25 0 8 0 877313180 431988736 59525 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670351 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=22940/tid=22943] ppid=22938 vsize=421864 CPUtime=301.26 cores=0-7
/proc/22940/task/22943/stat : 22943 (claspmt) R 22938 22940 22818 0 -1 4202560 6681 0 0 0 30120 6 0 0 25 0 8 0 877313180 431988736 59525 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=22940/tid=22944] ppid=22938 vsize=421864 CPUtime=299.54 cores=0-7
/proc/22940/task/22944/stat : 22944 (claspmt) R 22938 22940 22818 0 -1 4202560 7229 0 0 0 29948 6 0 0 25 0 8 0 877313180 431988736 59525 33554432000 4194304 4964800 140734653718128 18446744073709551615 4660185 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=22940/tid=22945] ppid=22938 vsize=421864 CPUtime=301.32 cores=0-7
/proc/22940/task/22945/stat : 22945 (claspmt) R 22938 22940 22818 0 -1 4202560 8145 0 0 0 30125 7 0 0 25 0 8 0 877313180 431988736 59525 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670332 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=22940/tid=22946] ppid=22938 vsize=421864 CPUtime=301.21 cores=0-7
/proc/22940/task/22946/stat : 22946 (claspmt) R 22938 22940 22818 0 -1 4202560 8013 0 0 0 30113 8 0 0 25 0 8 0 877313180 431988736 59525 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=22940/tid=22947] ppid=22938 vsize=421864 CPUtime=301.19 cores=0-7
/proc/22940/task/22947/stat : 22947 (claspmt) R 22938 22940 22818 0 -1 4202560 5728 0 0 0 30112 7 0 0 25 0 8 0 877313180 431988736 59525 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669512 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=22940/tid=22948] ppid=22938 vsize=421864 CPUtime=301.32 cores=0-7
/proc/22940/task/22948/stat : 22948 (claspmt) R 22938 22940 22818 0 -1 4202560 11102 0 0 0 30122 10 0 0 25 0 8 0 877313180 431988736 59525 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2408.17
Current children cumulated vsize (KiB) 421864

[startup+307.801 s]
/proc/loadavg: 8.03 8.05 6.84 9/173 22959
/proc/meminfo: memFree=29509416/32951132 swapFree=67061144/67111528
[pid=22940] ppid=22938 vsize=421864 CPUtime=2459.33 cores=0-7
/proc/22940/stat : 22940 (claspmt) R 22938 22940 22818 0 -1 4202496 59903 0 0 0 245859 74 0 0 25 0 8 0 877313178 431988736 59528 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 105466 59528 466 189 0 99815 0
[pid=22940/tid=22942] ppid=22938 vsize=421864 CPUtime=307.34 cores=0-7
/proc/22940/task/22942/stat : 22942 (claspmt) R 22938 22940 22818 0 -1 4202560 6059 0 0 0 30725 9 0 0 25 0 8 0 877313180 431988736 59528 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=22940/tid=22943] ppid=22938 vsize=421864 CPUtime=307.66 cores=0-7
/proc/22940/task/22943/stat : 22943 (claspmt) R 22938 22940 22818 0 -1 4202560 6681 0 0 0 30760 6 0 0 25 0 8 0 877313180 431988736 59528 33554432000 4194304 4964800 140734653718128 18446744073709551615 4320976 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=22940/tid=22944] ppid=22938 vsize=421864 CPUtime=305.92 cores=0-7
/proc/22940/task/22944/stat : 22944 (claspmt) R 22938 22940 22818 0 -1 4202560 7229 0 0 0 30585 7 0 0 25 0 8 0 877313180 431988736 59528 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669386 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=22940/tid=22945] ppid=22938 vsize=421864 CPUtime=307.72 cores=0-7
/proc/22940/task/22945/stat : 22945 (claspmt) R 22938 22940 22818 0 -1 4202560 8145 0 0 0 30765 7 0 0 25 0 8 0 877313180 431988736 59528 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=22940/tid=22946] ppid=22938 vsize=421864 CPUtime=307.61 cores=0-7
/proc/22940/task/22946/stat : 22946 (claspmt) R 22938 22940 22818 0 -1 4202560 8013 0 0 0 30753 8 0 0 25 0 8 0 877313180 431988736 59528 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=22940/tid=22947] ppid=22938 vsize=421864 CPUtime=307.59 cores=0-7
/proc/22940/task/22947/stat : 22947 (claspmt) R 22938 22940 22818 0 -1 4202560 5731 0 0 0 30752 7 0 0 25 0 8 0 877313180 431988736 59528 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=22940/tid=22948] ppid=22938 vsize=421864 CPUtime=307.72 cores=0-7
/proc/22940/task/22948/stat : 22948 (claspmt) R 22938 22940 22818 0 -1 4202560 11102 0 0 0 30762 10 0 0 25 0 8 0 877313180 431988736 59528 33554432000 4194304 4964800 140734653718128 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2459.33
Current children cumulated vsize (KiB) 421864

[startup+309.4 s]
/proc/loadavg: 8.02 8.05 6.85 9/173 22959
/proc/meminfo: memFree=29509416/32951132 swapFree=67061144/67111528
[pid=22940] ppid=22938 vsize=422788 CPUtime=2472.13 cores=0-7
/proc/22940/stat : 22940 (claspmt) R 22938 22940 22818 0 -1 4202496 60155 0 0 0 247138 75 0 0 25 0 8 0 877313178 432934912 59780 33554432000 4194304 4964800 140734653718128 18446744073709551615 4668987 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 105697 59780 466 189 0 100046 0
[pid=22940/tid=22942] ppid=22938 vsize=422788 CPUtime=308.94 cores=0-7
/proc/22940/task/22942/stat : 22942 (claspmt) R 22938 22940 22818 0 -1 4202560 6061 0 0 0 30885 9 0 0 25 0 8 0 877313180 432934912 59780 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669557 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=22940/tid=22943] ppid=22938 vsize=422788 CPUtime=309.26 cores=0-7
/proc/22940/task/22943/stat : 22943 (claspmt) R 22938 22940 22818 0 -1 4202560 6772 0 0 0 30920 6 0 0 25 0 8 0 877313180 432934912 59780 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=22940/tid=22944] ppid=22938 vsize=422788 CPUtime=307.51 cores=0-7
/proc/22940/task/22944/stat : 22944 (claspmt) R 22938 22940 22818 0 -1 4202560 7264 0 0 0 30744 7 0 0 25 0 8 0 877313180 432934912 59780 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669552 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=22940/tid=22945] ppid=22938 vsize=422788 CPUtime=309.32 cores=0-7
/proc/22940/task/22945/stat : 22945 (claspmt) R 22938 22940 22818 0 -1 4202560 8145 0 0 0 30925 7 0 0 25 0 8 0 877313180 432934912 59780 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=22940/tid=22946] ppid=22938 vsize=422788 CPUtime=309.2 cores=0-7
/proc/22940/task/22946/stat : 22946 (claspmt) R 22938 22940 22818 0 -1 4202560 8045 0 0 0 30912 8 0 0 25 0 8 0 877313180 432934912 59780 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=22940/tid=22947] ppid=22938 vsize=422788 CPUtime=309.19 cores=0-7
/proc/22940/task/22947/stat : 22947 (claspmt) R 22938 22940 22818 0 -1 4202560 5797 0 0 0 30912 7 0 0 25 0 8 0 877313180 432934912 59780 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=22940/tid=22948] ppid=22938 vsize=422788 CPUtime=309.32 cores=0-7
/proc/22940/task/22948/stat : 22948 (claspmt) R 22938 22940 22818 0 -1 4202560 11128 0 0 0 30922 10 0 0 25 0 8 0 877313180 432934912 59780 33554432000 4194304 4964800 140734653718128 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2472.13
Current children cumulated vsize (KiB) 422788

[startup+310.201 s]
/proc/loadavg: 8.02 8.05 6.85 9/173 22959
/proc/meminfo: memFree=29507680/32951132 swapFree=67061144/67111528
[pid=22940] ppid=22938 vsize=423316 CPUtime=2478.52 cores=0-7
/proc/22940/stat : 22940 (claspmt) R 22938 22940 22818 0 -1 4202496 60424 0 0 0 247777 75 0 0 25 0 8 0 877313178 433475584 60049 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 105829 60049 466 189 0 100178 0
[pid=22940/tid=22942] ppid=22938 vsize=423316 CPUtime=309.74 cores=0-7
/proc/22940/task/22942/stat : 22942 (claspmt) R 22938 22940 22818 0 -1 4202560 6061 0 0 0 30965 9 0 0 25 0 8 0 877313180 433475584 60049 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=22940/tid=22943] ppid=22938 vsize=423316 CPUtime=310.06 cores=0-7
/proc/22940/task/22943/stat : 22943 (claspmt) R 22938 22940 22818 0 -1 4202560 6844 0 0 0 31000 6 0 0 25 0 8 0 877313180 433475584 60049 33554432000 4194304 4964800 140734653718128 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=22940/tid=22944] ppid=22938 vsize=423316 CPUtime=308.31 cores=0-7
/proc/22940/task/22944/stat : 22944 (claspmt) R 22938 22940 22818 0 -1 4202560 7265 0 0 0 30824 7 0 0 25 0 8 0 877313180 433475584 60049 33554432000 4194304 4964800 140734653718128 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=22940/tid=22945] ppid=22938 vsize=423316 CPUtime=310.12 cores=0-7
/proc/22940/task/22945/stat : 22945 (claspmt) R 22938 22940 22818 0 -1 4202560 8198 0 0 0 31005 7 0 0 25 0 8 0 877313180 433475584 60049 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=22940/tid=22946] ppid=22938 vsize=423316 CPUtime=310 cores=0-7
/proc/22940/task/22946/stat : 22946 (claspmt) R 22938 22940 22818 0 -1 4202560 8045 0 0 0 30992 8 0 0 25 0 8 0 877313180 433475584 60049 33554432000 4194304 4964800 140734653718128 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=22940/tid=22947] ppid=22938 vsize=423316 CPUtime=309.99 cores=0-7
/proc/22940/task/22947/stat : 22947 (claspmt) R 22938 22940 22818 0 -1 4202560 5797 0 0 0 30992 7 0 0 25 0 8 0 877313180 433475584 60049 33554432000 4194304 4964800 140734653718128 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=22940/tid=22948] ppid=22938 vsize=423316 CPUtime=310.12 cores=0-7
/proc/22940/task/22948/stat : 22948 (claspmt) R 22938 22940 22818 0 -1 4202560 11227 0 0 0 31002 10 0 0 25 0 8 0 877313180 433475584 60049 33554432000 4194304 4964800 140734653718128 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2478.52
Current children cumulated vsize (KiB) 423316

[startup+311.001 s]
/proc/loadavg: 8.02 8.05 6.85 9/173 22959
/proc/meminfo: memFree=29507432/32951132 swapFree=67061144/67111528
[pid=22940] ppid=22938 vsize=423316 CPUtime=2484.91 cores=0-7
/proc/22940/stat : 22940 (claspmt) R 22938 22940 22818 0 -1 4202496 60426 0 0 0 248416 75 0 0 25 0 8 0 877313178 433475584 60051 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669532 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 105829 60051 466 189 0 100178 0
[pid=22940/tid=22942] ppid=22938 vsize=423316 CPUtime=310.54 cores=0-7
/proc/22940/task/22942/stat : 22942 (claspmt) R 22938 22940 22818 0 -1 4202560 6061 0 0 0 31045 9 0 0 25 0 8 0 877313180 433475584 60051 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=22940/tid=22943] ppid=22938 vsize=423316 CPUtime=310.86 cores=0-7
/proc/22940/task/22943/stat : 22943 (claspmt) R 22938 22940 22818 0 -1 4202560 6844 0 0 0 31080 6 0 0 25 0 8 0 877313180 433475584 60051 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=22940/tid=22944] ppid=22938 vsize=423316 CPUtime=309.1 cores=0-7
/proc/22940/task/22944/stat : 22944 (claspmt) R 22938 22940 22818 0 -1 4202560 7265 0 0 0 30903 7 0 0 25 0 8 0 877313180 433475584 60051 33554432000 4194304 4964800 140734653718128 18446744073709551615 4654568 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=22940/tid=22945] ppid=22938 vsize=423316 CPUtime=310.92 cores=0-7
/proc/22940/task/22945/stat : 22945 (claspmt) R 22938 22940 22818 0 -1 4202560 8198 0 0 0 31085 7 0 0 25 0 8 0 877313180 433475584 60051 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=22940/tid=22946] ppid=22938 vsize=423316 CPUtime=310.8 cores=0-7
/proc/22940/task/22946/stat : 22946 (claspmt) R 22938 22940 22818 0 -1 4202560 8045 0 0 0 31072 8 0 0 25 0 8 0 877313180 433475584 60051 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669512 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=22940/tid=22947] ppid=22938 vsize=423316 CPUtime=310.79 cores=0-7
/proc/22940/task/22947/stat : 22947 (claspmt) R 22938 22940 22818 0 -1 4202560 5797 0 0 0 31072 7 0 0 25 0 8 0 877313180 433475584 60051 33554432000 4194304 4964800 140734653718128 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=22940/tid=22948] ppid=22938 vsize=423316 CPUtime=310.92 cores=0-7
/proc/22940/task/22948/stat : 22948 (claspmt) R 22938 22940 22818 0 -1 4202560 11227 0 0 0 31082 10 0 0 25 0 8 0 877313180 433475584 60051 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2484.91
Current children cumulated vsize (KiB) 423316

[startup+311.201 s]
/proc/loadavg: 8.02 8.05 6.85 9/173 22959
/proc/meminfo: memFree=29507432/32951132 swapFree=67061144/67111528
[pid=22940] ppid=22938 vsize=423316 CPUtime=2486.52 cores=0-7
/proc/22940/stat : 22940 (claspmt) R 22938 22940 22818 0 -1 4202496 60426 0 0 0 248576 76 0 0 25 0 8 0 877313178 433475584 60051 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/22940/statm: 105829 60051 466 189 0 100178 0
[pid=22940/tid=22942] ppid=22938 vsize=423316 CPUtime=310.74 cores=0-7
/proc/22940/task/22942/stat : 22942 (claspmt) R 22938 22940 22818 0 -1 4202560 6061 0 0 0 31065 9 0 0 25 0 8 0 877313180 433475584 60051 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669493 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=22940/tid=22943] ppid=22938 vsize=423316 CPUtime=311.06 cores=0-7
/proc/22940/task/22943/stat : 22943 (claspmt) R 22938 22940 22818 0 -1 4202560 6844 0 0 0 31100 6 0 0 25 0 8 0 877313180 433475584 60051 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=22940/tid=22944] ppid=22938 vsize=423316 CPUtime=309.3 cores=0-7
/proc/22940/task/22944/stat : 22944 (claspmt) R 22938 22940 22818 0 -1 4202560 7265 0 0 0 30923 7 0 0 25 0 8 0 877313180 433475584 60051 33554432000 4194304 4964800 140734653718128 18446744073709551615 4321038 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=22940/tid=22945] ppid=22938 vsize=423316 CPUtime=311.12 cores=0-7
/proc/22940/task/22945/stat : 22945 (claspmt) R 22938 22940 22818 0 -1 4202560 8198 0 0 0 31105 7 0 0 25 0 8 0 877313180 433475584 60051 33554432000 4194304 4964800 140734653718128 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=22940/tid=22946] ppid=22938 vsize=423316 CPUtime=311 cores=0-7
/proc/22940/task/22946/stat : 22946 (claspmt) R 22938 22940 22818 0 -1 4202560 8045 0 0 0 31092 8 0 0 25 0 8 0 877313180 433475584 60051 33554432000 4194304 4964800 140734653718128 18446744073709551615 4669276 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=22940/tid=22947] ppid=22938 vsize=423316 CPUtime=310.99 cores=0-7
/proc/22940/task/22947/stat : 22947 (claspmt) R 22938 22940 22818 0 -1 4202560 5797 0 0 0 31092 7 0 0 25 0 8 0 877313180 433475584 60051 33554432000 4194304 4964800 140734653718128 18446744073709551615 4668756 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=22940/tid=22948] ppid=22938 vsize=423316 CPUtime=311.12 cores=0-7
/proc/22940/task/22948/stat : 22948 (claspmt) R 22938 22940 22818 0 -1 4202560 11227 0 0 0 31101 11 0 0 25 0 8 0 877313180 433475584 60051 33554432000 4194304 4964800 140734653718128 18446744073709551615 4325336 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2486.52
Current children cumulated vsize (KiB) 423316

[startup+311.301 s]
/proc/loadavg: 8.02 8.05 6.85 9/173 22959
/proc/meminfo: memFree=29507432/32951132 swapFree=67061144/67111528
[pid=22940] ppid=22938 vsize=422156 CPUtime=2487.17 cores=0-7
/proc/22940/stat : 22940 (claspmt) R 22938 22940 22818 0 -1 4202496 60436 0 0 0 248641 76 0 0 25 0 1 0 877313178 432287744 59774 33554432000 4194304 4964800 140734653718128 18446744073709551615 210646803003 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/22940/statm: 105539 59774 476 189 0 99888 0
Current children cumulated CPU time (s) 2487.17
Current children cumulated vsize (KiB) 422156

Child status: 10
Real time (s): 311.328
CPU time (s): 2487.2
CPU user time (s): 2486.43
CPU system time (s): 0.774882
CPU usage (%): 798.901
Max. virtual memory (cumulated for all children) (KiB): 423316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2486.43
system time used= 0.774882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60437
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= 36883
involuntary context switches= 8709

runsolver used 0.498924 second user time and 1.06284 second system time

The end

Launcher Data 

Begin job on node129 at 2011-06-10 00:05:36
IDJOB=3380619
IDBENCH=70907
IDSOLVER=1865
FILE ID=node129/3380619-1307657136
RUNJOBID= node129-1307657079-22832
PBS_JOBID= 13549424
Free space on /tmp= 74168 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT09/CRAFTED/edgematching/compact/em_7_3_6_cmp.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-3380619-1307657136/watcher-3380619-1307657136 -o /tmp/evaluation-result-3380619-1307657136/solver-3380619-1307657136 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3380619-1307657136.cnf

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

MD5SUM BENCH= c848a5766cfcc1d1c3f26c7818e48eb2
RANDOM SEED=1192218146

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.831
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:     32951132 kB
MemFree:      29743912 kB
Buffers:        382196 kB
Cached:        2556836 kB
SwapCached:      13136 kB
Active:         736088 kB
Inactive:      2220572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      29743912 kB
SwapTotal:    67111528 kB
SwapFree:     67061144 kB
Dirty:            1044 kB
Writeback:           0 kB
AnonPages:       14320 kB
Mapped:           8752 kB
Slab:           186412 kB
PageTables:       3928 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   151424 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74164 MiB
End job on node129 at 2011-06-10 00:10:47