Trace number 3381393

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 979.902 124.198

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m42-q585-n40-p30-s19690873.cnf
MD5SUMe096925b96a6999132833f44e4f216d7
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.155975
Satisfiable
(Un)Satisfiability was proved
Number of variables1638
Number of clauses253275
Sum of the clauses size508108
Maximum clause length42
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2253235
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 540

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3381393-1305514859/watcher-3381393-1305514859 -o /tmp/evaluation-result-3381393-1305514859/solver-3381393-1305514859 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3381393-1305514859.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.26 8.12 7.90 1/283 14368
/proc/meminfo: memFree=15215524/32950904 swapFree=67057400/67111528
[pid=14368] ppid=14366 vsize=22160 CPUtime=0 cores=0-7
/proc/14368/stat : 14368 (claspmt) R 14366 14368 11300 0 -1 4202496 885 0 0 0 0 0 0 0 19 0 1 0 663085671 22691840 767 33554432000 4194304 4964800 140734825093824 18446744073709551615 237278540485 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14368/statm: 5540 768 386 189 0 414 0

[startup+0.030462 s]
/proc/loadavg: 8.26 8.12 7.90 1/283 14368
/proc/meminfo: memFree=15215524/32950904 swapFree=67057400/67111528
[pid=14368] ppid=14366 vsize=26196 CPUtime=0.02 cores=0-7
/proc/14368/stat : 14368 (claspmt) R 14366 14368 11300 0 -1 4202496 2301 0 0 0 2 0 0 0 19 0 1 0 663085671 26824704 1746 33554432000 4194304 4964800 140734825093824 18446744073709551615 237278540485 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14368/statm: 6549 1748 386 189 0 1423 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 26196

[startup+0.100451 s]
/proc/loadavg: 8.26 8.12 7.90 1/283 14368
/proc/meminfo: memFree=15215524/32950904 swapFree=67057400/67111528
[pid=14368] ppid=14366 vsize=37084 CPUtime=0.09 cores=0-7
/proc/14368/stat : 14368 (claspmt) R 14366 14368 11300 0 -1 4202496 5569 0 0 0 8 1 0 0 19 0 1 0 663085671 37974016 4322 33554432000 4194304 4964800 140734825093824 18446744073709551615 4607536 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14368/statm: 9271 4322 399 189 0 4145 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37084

[startup+0.300484 s]
/proc/loadavg: 8.26 8.12 7.90 1/283 14368
/proc/meminfo: memFree=15215524/32950904 swapFree=67057400/67111528
[pid=14368] ppid=14366 vsize=37084 CPUtime=0.29 cores=0-7
/proc/14368/stat : 14368 (claspmt) R 14366 14368 11300 0 -1 4202496 5569 0 0 0 28 1 0 0 20 0 1 0 663085671 37974016 4322 33554432000 4194304 4964800 140734825093824 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14368/statm: 9271 4322 399 189 0 4145 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37084

[startup+0.700416 s]
/proc/loadavg: 8.26 8.12 7.90 1/283 14368
/proc/meminfo: memFree=15215524/32950904 swapFree=67057400/67111528
[pid=14368] ppid=14366 vsize=37084 CPUtime=0.69 cores=0-7
/proc/14368/stat : 14368 (claspmt) R 14366 14368 11300 0 -1 4202496 5569 0 0 0 68 1 0 0 21 0 1 0 663085671 37974016 4322 33554432000 4194304 4964800 140734825093824 18446744073709551615 4607513 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14368/statm: 9271 4322 399 189 0 4145 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37084

[startup+1.50028 s]
/proc/loadavg: 8.26 8.12 7.90 2/284 14369
/proc/meminfo: memFree=15199652/32950904 swapFree=67057400/67111528
[pid=14368] ppid=14366 vsize=330648 CPUtime=1.51 cores=0-7
/proc/14368/stat : 14368 (claspmt) S 14366 14368 11300 0 -1 4202496 6594 0 0 0 150 1 0 0 18 0 8 0 663085671 338583552 4839 33554432000 4194304 4964800 140734825093824 18446744073709551615 237290695577 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/14368/statm: 82662 4839 435 189 0 77011 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 330648

[startup+3.10092 s]
/proc/loadavg: 7.68 8.00 7.86 12/296 14384
/proc/meminfo: memFree=15167928/32950904 swapFree=67057400/67111528
[pid=14368] ppid=14366 vsize=337720 CPUtime=13.75 cores=0-7
/proc/14368/stat : 14368 (claspmt) R 14366 14368 11300 0 -1 4202496 21868 0 0 0 1366 9 0 0 19 0 8 0 663085671 345825280 20113 33554432000 4194304 4964800 140734825093824 18446744073709551615 4320981 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/14368/statm: 84430 20113 464 189 0 78779 0
[pid=14368/tid=14370] ppid=14366 vsize=337720 CPUtime=1.52 cores=0-7
/proc/14368/task/14370/stat : 14370 (claspmt) R 14366 14368 11300 0 -1 4202560 1700 0 0 0 152 0 0 0 18 0 8 0 663085813 345825280 20113 33554432000 4194304 4964800 140734825093824 18446744073709551615 4628010 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14368/tid=14371] ppid=14366 vsize=337720 CPUtime=1.49 cores=0-7
/proc/14368/task/14371/stat : 14371 (claspmt) R 14366 14368 11300 0 -1 4202560 2092 0 0 0 148 1 0 0 19 0 8 0 663085813 345825280 20113 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14368/tid=14372] ppid=14366 vsize=337720 CPUtime=1.54 cores=0-7
/proc/14368/task/14372/stat : 14372 (claspmt) R 14366 14368 11300 0 -1 4202560 2017 0 0 0 153 1 0 0 18 0 8 0 663085813 345825280 20113 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670144 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14368/tid=14373] ppid=14366 vsize=337720 CPUtime=1.52 cores=0-7
/proc/14368/task/14373/stat : 14373 (claspmt) R 14366 14368 11300 0 -1 4202560 2495 0 0 0 151 1 0 0 18 0 8 0 663085813 345825280 20113 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14368/tid=14374] ppid=14366 vsize=337720 CPUtime=1.64 cores=0-7
/proc/14368/task/14374/stat : 14374 (claspmt) R 14366 14368 11300 0 -1 4202560 374 0 0 0 164 0 0 0 24 0 8 0 663085813 345825280 20113 33554432000 4194304 4964800 140734825093824 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14368/tid=14375] ppid=14366 vsize=337720 CPUtime=1.5 cores=0-7
/proc/14368/task/14375/stat : 14375 (claspmt) R 14366 14368 11300 0 -1 4202560 2322 0 0 0 149 1 0 0 20 0 8 0 663085813 345825280 20114 33554432000 4194304 4964800 140734825093824 18446744073709551615 237278540833 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14368/tid=14376] ppid=14366 vsize=337720 CPUtime=1.52 cores=0-7
/proc/14368/task/14376/stat : 14376 (claspmt) R 14366 14368 11300 0 -1 4202560 2627 0 0 0 152 0 0 0 21 0 8 0 663085813 345825280 20114 33554432000 4194304 4964800 140734825093824 18446744073709551615 4660224 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.75
Current children cumulated vsize (KiB) 337720

[startup+6.30035 s]
/proc/loadavg: 7.68 8.00 7.86 9/291 14385
/proc/meminfo: memFree=15072364/32950904 swapFree=67057400/67111528
[pid=14368] ppid=14366 vsize=415416 CPUtime=39.28 cores=0-7
/proc/14368/stat : 14368 (claspmt) R 14366 14368 11300 0 -1 4202496 41817 0 0 0 3909 19 0 0 25 0 8 0 663085671 425385984 40062 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670264 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/14368/statm: 103854 40062 466 189 0 98203 0
[pid=14368/tid=14370] ppid=14366 vsize=415416 CPUtime=4.72 cores=0-7
/proc/14368/task/14370/stat : 14370 (claspmt) R 14366 14368 11300 0 -1 4202560 3667 0 0 0 471 1 0 0 25 0 8 0 663085813 425385984 40063 33554432000 4194304 4964800 140734825093824 18446744073709551615 4669022 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14368/tid=14371] ppid=14366 vsize=415416 CPUtime=4.69 cores=0-7
/proc/14368/task/14371/stat : 14371 (claspmt) R 14366 14368 11300 0 -1 4202560 3649 0 0 0 467 2 0 0 25 0 8 0 663085813 425385984 40063 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14368/tid=14372] ppid=14366 vsize=415416 CPUtime=4.73 cores=0-7
/proc/14368/task/14372/stat : 14372 (claspmt) R 14366 14368 11300 0 -1 4202560 4264 0 0 0 472 1 0 0 21 0 8 0 663085813 425385984 40063 33554432000 4194304 4964800 140734825093824 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14368/tid=14373] ppid=14366 vsize=415416 CPUtime=4.72 cores=0-7
/proc/14368/task/14373/stat : 14373 (claspmt) R 14366 14368 11300 0 -1 4202560 5321 0 0 0 470 2 0 0 25 0 8 0 663085813 425385984 40063 33554432000 4194304 4964800 140734825093824 18446744073709551615 4321076 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14368/tid=14374] ppid=14366 vsize=415416 CPUtime=4.79 cores=0-7
/proc/14368/task/14374/stat : 14374 (claspmt) R 14366 14368 11300 0 -1 4202560 3466 0 0 0 478 1 0 0 25 0 8 0 663085813 425385984 40063 33554432000 4194304 4964800 140734825093824 18446744073709551615 4364587 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14368/tid=14375] ppid=14366 vsize=415416 CPUtime=4.7 cores=0-7
/proc/14368/task/14375/stat : 14375 (claspmt) R 14366 14368 11300 0 -1 4202560 4398 0 0 0 468 2 0 0 25 0 8 0 663085813 425385984 40063 33554432000 4194304 4964800 140734825093824 18446744073709551615 237278540833 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14368/tid=14376] ppid=14366 vsize=415416 CPUtime=4.7 cores=0-7
/proc/14368/task/14376/stat : 14376 (claspmt) R 14366 14368 11300 0 -1 4202560 5543 0 0 0 469 1 0 0 25 0 8 0 663085813 425385984 40063 33554432000 4194304 4964800 140734825093824 18446744073709551615 4321097 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 39.28
Current children cumulated vsize (KiB) 415416

[startup+12.7012 s]
/proc/loadavg: 7.73 8.00 7.86 9/291 14385
/proc/meminfo: memFree=14950768/32950904 swapFree=67057400/67111528
[pid=14368] ppid=14366 vsize=436044 CPUtime=90.42 cores=0-7
/proc/14368/stat : 14368 (claspmt) R 14366 14368 11300 0 -1 4202496 70979 0 0 0 9009 33 0 0 25 0 8 0 663085671 446509056 69224 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/14368/statm: 109011 69224 466 189 0 103360 0
[pid=14368/tid=14370] ppid=14366 vsize=436044 CPUtime=11.12 cores=0-7
/proc/14368/task/14370/stat : 14370 (claspmt) R 14366 14368 11300 0 -1 4202560 6660 0 0 0 1109 3 0 0 25 0 8 0 663085813 446509056 69224 33554432000 4194304 4964800 140734825093824 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14368/tid=14371] ppid=14366 vsize=436044 CPUtime=11.09 cores=0-7
/proc/14368/task/14371/stat : 14371 (claspmt) R 14366 14368 11300 0 -1 4202560 5856 0 0 0 1106 3 0 0 25 0 8 0 663085813 446509056 69224 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14368/tid=14372] ppid=14366 vsize=436044 CPUtime=11.13 cores=0-7
/proc/14368/task/14372/stat : 14372 (claspmt) R 14366 14368 11300 0 -1 4202560 6670 0 0 0 1111 2 0 0 25 0 8 0 663085813 446509056 69224 33554432000 4194304 4964800 140734825093824 18446744073709551615 4320963 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14368/tid=14373] ppid=14366 vsize=436044 CPUtime=11.12 cores=0-7
/proc/14368/task/14373/stat : 14373 (claspmt) R 14366 14368 11300 0 -1 4202560 8915 0 0 0 1109 3 0 0 25 0 8 0 663085813 446509056 69224 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14368/tid=14374] ppid=14366 vsize=436044 CPUtime=11.14 cores=0-7
/proc/14368/task/14374/stat : 14374 (claspmt) R 14366 14368 11300 0 -1 4202560 7534 0 0 0 1111 3 0 0 25 0 8 0 663085813 446509056 69224 33554432000 4194304 4964800 140734825093824 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14368/tid=14375] ppid=14366 vsize=436044 CPUtime=11.1 cores=0-7
/proc/14368/task/14375/stat : 14375 (claspmt) R 14366 14368 11300 0 -1 4202560 7251 0 0 0 1106 4 0 0 25 0 8 0 663085813 446509056 69224 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14368/tid=14376] ppid=14366 vsize=436044 CPUtime=11.1 cores=0-7
/proc/14368/task/14376/stat : 14376 (claspmt) R 14366 14368 11300 0 -1 4202560 11994 0 0 0 1106 4 0 0 25 0 8 0 663085813 446509056 69224 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 90.42
Current children cumulated vsize (KiB) 436044

[startup+25.5009 s]
/proc/loadavg: 7.84 8.02 7.87 9/291 14386
/proc/meminfo: memFree=14851880/32950904 swapFree=67057400/67111528
[pid=14368] ppid=14366 vsize=450924 CPUtime=192.68 cores=0-7
/proc/14368/stat : 14368 (claspmt) R 14366 14368 11300 0 -1 4202496 94976 0 0 0 19222 46 0 0 25 0 8 0 663085671 461746176 93221 33554432000 4194304 4964800 140734825093824 18446744073709551615 237278539952 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/14368/statm: 112731 93221 466 189 0 107080 0
[pid=14368/tid=14370] ppid=14366 vsize=450924 CPUtime=23.92 cores=0-7
/proc/14368/task/14370/stat : 14370 (claspmt) R 14366 14368 11300 0 -1 4202560 9860 0 0 0 2386 6 0 0 25 0 8 0 663085813 461746176 93221 33554432000 4194304 4964800 140734825093824 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14368/tid=14371] ppid=14366 vsize=450924 CPUtime=23.89 cores=0-7
/proc/14368/task/14371/stat : 14371 (claspmt) R 14366 14368 11300 0 -1 4202560 7571 0 0 0 2385 4 0 0 25 0 8 0 663085813 461746176 93221 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14368/tid=14372] ppid=14366 vsize=450924 CPUtime=23.93 cores=0-7
/proc/14368/task/14372/stat : 14372 (claspmt) R 14366 14368 11300 0 -1 4202560 8991 0 0 0 2390 3 0 0 25 0 8 0 663085813 461746176 93221 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14368/tid=14373] ppid=14366 vsize=450924 CPUtime=23.93 cores=0-7
/proc/14368/task/14373/stat : 14373 (claspmt) R 14366 14368 11300 0 -1 4202560 11708 0 0 0 2388 5 0 0 25 0 8 0 663085813 461746176 93221 33554432000 4194304 4964800 140734825093824 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14368/tid=14374] ppid=14366 vsize=450924 CPUtime=23.82 cores=0-7
/proc/14368/task/14374/stat : 14374 (claspmt) R 14366 14368 11300 0 -1 4202560 10400 0 0 0 2377 5 0 0 25 0 8 0 663085813 461746176 93221 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14368/tid=14375] ppid=14366 vsize=450924 CPUtime=23.9 cores=0-7
/proc/14368/task/14375/stat : 14375 (claspmt) R 14366 14368 11300 0 -1 4202560 9362 0 0 0 2384 6 0 0 25 0 8 0 663085813 461746176 93221 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14368/tid=14376] ppid=14366 vsize=450924 CPUtime=23.9 cores=0-7
/proc/14368/task/14376/stat : 14376 (claspmt) R 14366 14368 11300 0 -1 4202560 17593 0 0 0 2383 7 0 0 25 0 8 0 663085813 461746176 93221 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 192.68
Current children cumulated vsize (KiB) 450924

[startup+51.1004 s]
/proc/loadavg: 7.89 8.01 7.87 9/291 14386
/proc/meminfo: memFree=14784660/32950904 swapFree=67057400/67111528
[pid=14368] ppid=14366 vsize=784872 CPUtime=397.2 cores=0-7
/proc/14368/stat : 14368 (claspmt) R 14366 14368 11300 0 -1 4202496 112698 0 0 0 39659 61 0 0 25 0 8 0 663085671 803708928 110938 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670346 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/14368/statm: 196218 110938 466 189 0 190567 0
[pid=14368/tid=14370] ppid=14366 vsize=784872 CPUtime=49.5 cores=0-7
/proc/14368/task/14370/stat : 14370 (claspmt) R 14366 14368 11300 0 -1 4202560 11646 0 0 0 4943 7 0 0 25 0 8 0 663085813 803708928 110938 33554432000 4194304 4964800 140734825093824 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14368/tid=14371] ppid=14366 vsize=784872 CPUtime=49.49 cores=0-7
/proc/14368/task/14371/stat : 14371 (claspmt) R 14366 14368 11300 0 -1 4202560 9116 0 0 0 4944 5 0 0 25 0 8 0 663085813 803708928 110938 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14368/tid=14372] ppid=14366 vsize=784872 CPUtime=49.52 cores=0-7
/proc/14368/task/14372/stat : 14372 (claspmt) R 14366 14368 11300 0 -1 4202560 9959 0 0 0 4948 4 0 0 25 0 8 0 663085813 803708928 110939 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14368/tid=14373] ppid=14366 vsize=784872 CPUtime=49.52 cores=0-7
/proc/14368/task/14373/stat : 14373 (claspmt) R 14366 14368 11300 0 -1 4202560 14782 0 0 0 4946 6 0 0 25 0 8 0 663085813 803708928 110939 33554432000 4194304 4964800 140734825093824 18446744073709551615 4627252 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14368/tid=14374] ppid=14366 vsize=784872 CPUtime=49.19 cores=0-7
/proc/14368/task/14374/stat : 14374 (claspmt) R 14366 14368 11300 0 -1 4202560 12492 0 0 0 4911 8 0 0 25 0 8 0 663085813 803708928 110939 33554432000 4194304 4964800 140734825093824 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14368/tid=14375] ppid=14366 vsize=784872 CPUtime=49.49 cores=0-7
/proc/14368/task/14375/stat : 14375 (claspmt) R 14366 14368 11300 0 -1 4202560 10649 0 0 0 4942 7 0 0 25 0 8 0 663085813 803708928 110939 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14368/tid=14376] ppid=14366 vsize=784872 CPUtime=49.5 cores=0-7
/proc/14368/task/14376/stat : 14376 (claspmt) R 14366 14368 11300 0 -1 4202560 22498 0 0 0 4939 11 0 0 25 0 8 0 663085813 803708928 110939 33554432000 4194304 4964800 140734825093824 18446744073709551615 237278540833 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 397.2
Current children cumulated vsize (KiB) 784872

[startup+102.311 s]
/proc/loadavg: 8.00 8.02 7.88 9/291 14388
/proc/meminfo: memFree=14638828/32950904 swapFree=67057400/67111528
[pid=14368] ppid=14366 vsize=815768 CPUtime=806.37 cores=0-7
/proc/14368/stat : 14368 (claspmt) R 14366 14368 11300 0 -1 4202496 147678 0 0 0 80549 88 0 0 25 0 8 0 663085671 835346432 145902 33554432000 4194304 4964800 140734825093824 18446744073709551615 4320955 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/14368/statm: 203942 145902 466 189 0 198291 0
[pid=14368/tid=14370] ppid=14366 vsize=815768 CPUtime=100.7 cores=0-7
/proc/14368/task/14370/stat : 14370 (claspmt) R 14366 14368 11300 0 -1 4202560 15066 0 0 0 10059 11 0 0 25 0 8 0 663085813 835346432 145902 33554432000 4194304 4964800 140734825093824 18446744073709551615 4659352 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14368/tid=14371] ppid=14366 vsize=815768 CPUtime=100.7 cores=0-7
/proc/14368/task/14371/stat : 14371 (claspmt) R 14366 14368 11300 0 -1 4202560 12227 0 0 0 10064 6 0 0 25 0 8 0 663085813 835346432 145902 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14368/tid=14372] ppid=14366 vsize=815768 CPUtime=100.73 cores=0-7
/proc/14368/task/14372/stat : 14372 (claspmt) R 14366 14368 11300 0 -1 4202560 12717 0 0 0 10066 7 0 0 25 0 8 0 663085813 835346432 145902 33554432000 4194304 4964800 140734825093824 18446744073709551615 4342232 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14368/tid=14373] ppid=14366 vsize=815768 CPUtime=100.72 cores=0-7
/proc/14368/task/14373/stat : 14373 (claspmt) R 14366 14368 11300 0 -1 4202560 18788 0 0 0 10063 9 0 0 25 0 8 0 663085813 835346432 145902 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14368/tid=14374] ppid=14366 vsize=815768 CPUtime=99.92 cores=0-7
/proc/14368/task/14374/stat : 14374 (claspmt) R 14366 14368 11300 0 -1 4202560 14229 0 0 0 9983 9 0 0 25 0 8 0 663085813 835346432 145902 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14368/tid=14375] ppid=14366 vsize=815768 CPUtime=100.69 cores=0-7
/proc/14368/task/14375/stat : 14375 (claspmt) R 14366 14368 11300 0 -1 4202560 13407 0 0 0 10059 10 0 0 25 0 8 0 663085813 835346432 145902 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14368/tid=14376] ppid=14366 vsize=815768 CPUtime=100.7 cores=0-7
/proc/14368/task/14376/stat : 14376 (claspmt) R 14366 14368 11300 0 -1 4202560 30857 0 0 0 10054 16 0 0 25 0 8 0 663085813 835346432 145902 33554432000 4194304 4964800 140734825093824 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 806.37
Current children cumulated vsize (KiB) 815768

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

[startup+115.101 s]
/proc/loadavg: 8.00 8.02 7.88 9/291 14388
/proc/meminfo: memFree=14631140/32950904 swapFree=67057400/67111528
[pid=14368] ppid=14366 vsize=815768 CPUtime=908.58 cores=0-7
/proc/14368/stat : 14368 (claspmt) R 14366 14368 11300 0 -1 4202496 149776 0 0 0 90768 90 0 0 25 0 8 0 663085671 835346432 147959 33554432000 4194304 4964800 140734825093824 18446744073709551615 4320955 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/14368/statm: 203942 147959 466 189 0 198291 0
[pid=14368/tid=14370] ppid=14366 vsize=815768 CPUtime=113.49 cores=0-7
/proc/14368/task/14370/stat : 14370 (claspmt) R 14366 14368 11300 0 -1 4202560 15410 0 0 0 11337 12 0 0 25 0 8 0 663085813 835346432 147959 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14368/tid=14371] ppid=14366 vsize=815768 CPUtime=113.49 cores=0-7
/proc/14368/task/14371/stat : 14371 (claspmt) R 14366 14368 11300 0 -1 4202560 12703 0 0 0 11343 6 0 0 25 0 8 0 663085813 835346432 147959 33554432000 4194304 4964800 140734825093824 18446744073709551615 4320996 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14368/tid=14372] ppid=14366 vsize=815768 CPUtime=113.52 cores=0-7
/proc/14368/task/14372/stat : 14372 (claspmt) R 14366 14368 11300 0 -1 4202560 12806 0 0 0 11345 7 0 0 25 0 8 0 663085813 835346432 147959 33554432000 4194304 4964800 140734825093824 18446744073709551615 4320848 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14368/tid=14373] ppid=14366 vsize=815768 CPUtime=113.5 cores=0-7
/proc/14368/task/14373/stat : 14373 (claspmt) R 14366 14368 11300 0 -1 4202560 18948 0 0 0 11341 9 0 0 25 0 8 0 663085813 835346432 147959 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14368/tid=14374] ppid=14366 vsize=815768 CPUtime=112.59 cores=0-7
/proc/14368/task/14374/stat : 14374 (claspmt) R 14366 14368 11300 0 -1 4202560 14395 0 0 0 11250 9 0 0 25 0 8 0 663085813 835346432 147959 33554432000 4194304 4964800 140734825093824 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14368/tid=14375] ppid=14366 vsize=815768 CPUtime=113.48 cores=0-7
/proc/14368/task/14375/stat : 14375 (claspmt) R 14366 14368 11300 0 -1 4202560 13594 0 0 0 11338 10 0 0 25 0 8 0 663085813 835346432 147959 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14368/tid=14376] ppid=14366 vsize=815768 CPUtime=113.49 cores=0-7
/proc/14368/task/14376/stat : 14376 (claspmt) R 14366 14368 11300 0 -1 4202560 31396 0 0 0 11333 16 0 0 25 0 8 0 663085813 835346432 147959 33554432000 4194304 4964800 140734825093824 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 908.58
Current children cumulated vsize (KiB) 815768

[startup+118.3 s]
/proc/loadavg: 8.08 8.04 7.89 9/291 14388
/proc/meminfo: memFree=14629528/32950904 swapFree=67057400/67111528
[pid=14368] ppid=14366 vsize=815768 CPUtime=934.13 cores=0-7
/proc/14368/stat : 14368 (claspmt) R 14366 14368 11300 0 -1 4202496 150102 0 0 0 93322 91 0 0 25 0 8 0 663085671 835346432 148253 33554432000 4194304 4964800 140734825093824 18446744073709551615 237278539912 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/14368/statm: 203942 148253 466 189 0 198291 0
[pid=14368/tid=14370] ppid=14366 vsize=815768 CPUtime=116.68 cores=0-7
/proc/14368/task/14370/stat : 14370 (claspmt) R 14366 14368 11300 0 -1 4202560 15566 0 0 0 11656 12 0 0 25 0 8 0 663085813 835346432 148253 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670129 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14368/tid=14371] ppid=14366 vsize=815768 CPUtime=116.69 cores=0-7
/proc/14368/task/14371/stat : 14371 (claspmt) R 14366 14368 11300 0 -1 4202560 12856 0 0 0 11663 6 0 0 25 0 8 0 663085813 835346432 148253 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14368/tid=14372] ppid=14366 vsize=815768 CPUtime=116.7 cores=0-7
/proc/14368/task/14372/stat : 14372 (claspmt) R 14366 14368 11300 0 -1 4202560 12814 0 0 0 11663 7 0 0 25 0 8 0 663085813 835346432 148253 33554432000 4194304 4964800 140734825093824 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14368/tid=14373] ppid=14366 vsize=815768 CPUtime=116.7 cores=0-7
/proc/14368/task/14373/stat : 14373 (claspmt) R 14366 14368 11300 0 -1 4202560 18948 0 0 0 11661 9 0 0 25 0 8 0 663085813 835346432 148253 33554432000 4194304 4964800 140734825093824 18446744073709551615 4320961 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14368/tid=14374] ppid=14366 vsize=815768 CPUtime=115.76 cores=0-7
/proc/14368/task/14374/stat : 14374 (claspmt) R 14366 14368 11300 0 -1 4202560 14397 0 0 0 11567 9 0 0 25 0 8 0 663085813 835346432 148253 33554432000 4194304 4964800 140734825093824 18446744073709551615 4654529 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14368/tid=14375] ppid=14366 vsize=815768 CPUtime=116.68 cores=0-7
/proc/14368/task/14375/stat : 14375 (claspmt) R 14366 14368 11300 0 -1 4202560 13597 0 0 0 11658 10 0 0 25 0 8 0 663085813 835346432 148253 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670323 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14368/tid=14376] ppid=14366 vsize=815768 CPUtime=116.69 cores=0-7
/proc/14368/task/14376/stat : 14376 (claspmt) R 14366 14368 11300 0 -1 4202560 31400 0 0 0 11653 16 0 0 25 0 8 0 663085813 835346432 148253 33554432000 4194304 4964800 140734825093824 18446744073709551615 4321020 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 934.13
Current children cumulated vsize (KiB) 815768

[startup+121.501 s]
/proc/loadavg: 8.08 8.04 7.89 9/291 14388
/proc/meminfo: memFree=14629032/32950904 swapFree=67057400/67111528
[pid=14368] ppid=14366 vsize=815768 CPUtime=959.7 cores=0-7
/proc/14368/stat : 14368 (claspmt) R 14366 14368 11300 0 -1 4202496 150168 0 0 0 95878 92 0 0 25 0 8 0 663085671 835346432 148319 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670437 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/14368/statm: 203942 148319 466 189 0 198291 0
[pid=14368/tid=14370] ppid=14366 vsize=815768 CPUtime=119.88 cores=0-7
/proc/14368/task/14370/stat : 14370 (claspmt) R 14366 14368 11300 0 -1 4202560 15566 0 0 0 11976 12 0 0 25 0 8 0 663085813 835346432 148319 33554432000 4194304 4964800 140734825093824 18446744073709551615 4627360 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14368/tid=14371] ppid=14366 vsize=815768 CPUtime=119.89 cores=0-7
/proc/14368/task/14371/stat : 14371 (claspmt) R 14366 14368 11300 0 -1 4202560 12914 0 0 0 11983 6 0 0 25 0 8 0 663085813 835346432 148319 33554432000 4194304 4964800 140734825093824 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14368/tid=14372] ppid=14366 vsize=815768 CPUtime=119.9 cores=0-7
/proc/14368/task/14372/stat : 14372 (claspmt) R 14366 14368 11300 0 -1 4202560 12815 0 0 0 11983 7 0 0 25 0 8 0 663085813 835346432 148319 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14368/tid=14373] ppid=14366 vsize=815768 CPUtime=119.9 cores=0-7
/proc/14368/task/14373/stat : 14373 (claspmt) R 14366 14368 11300 0 -1 4202560 18948 0 0 0 11981 9 0 0 25 0 8 0 663085813 835346432 148319 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14368/tid=14374] ppid=14366 vsize=815768 CPUtime=118.93 cores=0-7
/proc/14368/task/14374/stat : 14374 (claspmt) R 14366 14368 11300 0 -1 4202560 14402 0 0 0 11884 9 0 0 25 0 8 0 663085813 835346432 148319 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14368/tid=14375] ppid=14366 vsize=815768 CPUtime=119.88 cores=0-7
/proc/14368/task/14375/stat : 14375 (claspmt) R 14366 14368 11300 0 -1 4202560 13599 0 0 0 11978 10 0 0 25 0 8 0 663085813 835346432 148319 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14368/tid=14376] ppid=14366 vsize=815768 CPUtime=119.89 cores=0-7
/proc/14368/task/14376/stat : 14376 (claspmt) R 14366 14368 11300 0 -1 4202560 31400 0 0 0 11972 17 0 0 25 0 8 0 663085813 835346432 148319 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 959.7
Current children cumulated vsize (KiB) 815768

[startup+123.101 s]
/proc/loadavg: 8.08 8.04 7.89 9/291 14388
/proc/meminfo: memFree=14629032/32950904 swapFree=67057400/67111528
[pid=14368] ppid=14366 vsize=815768 CPUtime=972.55 cores=0-7
/proc/14368/stat : 14368 (claspmt) R 14366 14368 11300 0 -1 4202496 150174 0 0 0 97163 92 0 0 25 0 8 0 663085671 835346432 148325 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/14368/statm: 203942 148325 466 189 0 198291 0
[pid=14368/tid=14370] ppid=14366 vsize=815768 CPUtime=121.49 cores=0-7
/proc/14368/task/14370/stat : 14370 (claspmt) R 14366 14368 11300 0 -1 4202560 15566 0 0 0 12137 12 0 0 25 0 8 0 663085813 835346432 148325 33554432000 4194304 4964800 140734825093824 18446744073709551615 4321093 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14368/tid=14371] ppid=14366 vsize=815768 CPUtime=121.5 cores=0-7
/proc/14368/task/14371/stat : 14371 (claspmt) R 14366 14368 11300 0 -1 4202560 12915 0 0 0 12144 6 0 0 25 0 8 0 663085813 835346432 148325 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14368/tid=14372] ppid=14366 vsize=815768 CPUtime=121.51 cores=0-7
/proc/14368/task/14372/stat : 14372 (claspmt) R 14366 14368 11300 0 -1 4202560 12815 0 0 0 12144 7 0 0 25 0 8 0 663085813 835346432 148325 33554432000 4194304 4964800 140734825093824 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14368/tid=14373] ppid=14366 vsize=815768 CPUtime=121.51 cores=0-7
/proc/14368/task/14373/stat : 14373 (claspmt) R 14366 14368 11300 0 -1 4202560 18948 0 0 0 12142 9 0 0 25 0 8 0 663085813 835346432 148325 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670538 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14368/tid=14374] ppid=14366 vsize=815768 CPUtime=120.52 cores=0-7
/proc/14368/task/14374/stat : 14374 (claspmt) R 14366 14368 11300 0 -1 4202560 14403 0 0 0 12043 9 0 0 25 0 8 0 663085813 835346432 148325 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14368/tid=14375] ppid=14366 vsize=815768 CPUtime=121.49 cores=0-7
/proc/14368/task/14375/stat : 14375 (claspmt) R 14366 14368 11300 0 -1 4202560 13602 0 0 0 12139 10 0 0 25 0 8 0 663085813 835346432 148325 33554432000 4194304 4964800 140734825093824 18446744073709551615 4627272 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14368/tid=14376] ppid=14366 vsize=815768 CPUtime=121.5 cores=0-7
/proc/14368/task/14376/stat : 14376 (claspmt) R 14366 14368 11300 0 -1 4202560 31401 0 0 0 12133 17 0 0 25 0 8 0 663085813 835346432 148325 33554432000 4194304 4964800 140734825093824 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 972.55
Current children cumulated vsize (KiB) 815768

[startup+123.9 s]
/proc/loadavg: 8.08 8.04 7.89 9/291 14388
/proc/meminfo: memFree=14629032/32950904 swapFree=67057400/67111528
[pid=14368] ppid=14366 vsize=815768 CPUtime=978.88 cores=0-7
/proc/14368/stat : 14368 (claspmt) R 14366 14368 11300 0 -1 4202496 150177 0 0 0 97796 92 0 0 25 0 8 0 663085671 835346432 148328 33554432000 4194304 4964800 140734825093824 18446744073709551615 4627259 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/14368/statm: 203942 148328 466 189 0 198291 0
[pid=14368/tid=14370] ppid=14366 vsize=815768 CPUtime=122.28 cores=0-7
/proc/14368/task/14370/stat : 14370 (claspmt) R 14366 14368 11300 0 -1 4202560 15566 0 0 0 12216 12 0 0 25 0 8 0 663085813 835346432 148328 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14368/tid=14371] ppid=14366 vsize=815768 CPUtime=122.29 cores=0-7
/proc/14368/task/14371/stat : 14371 (claspmt) R 14366 14368 11300 0 -1 4202560 12916 0 0 0 12223 6 0 0 25 0 8 0 663085813 835346432 148328 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=14368/tid=14372] ppid=14366 vsize=815768 CPUtime=122.3 cores=0-7
/proc/14368/task/14372/stat : 14372 (claspmt) R 14366 14368 11300 0 -1 4202560 12815 0 0 0 12223 7 0 0 25 0 8 0 663085813 835346432 148328 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=14368/tid=14373] ppid=14366 vsize=815768 CPUtime=122.3 cores=0-7
/proc/14368/task/14373/stat : 14373 (claspmt) R 14366 14368 11300 0 -1 4202560 18948 0 0 0 12221 9 0 0 25 0 8 0 663085813 835346432 148328 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=14368/tid=14374] ppid=14366 vsize=815768 CPUtime=121.31 cores=0-7
/proc/14368/task/14374/stat : 14374 (claspmt) R 14366 14368 11300 0 -1 4202560 14403 0 0 0 12122 9 0 0 25 0 8 0 663085813 835346432 148328 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14368/tid=14375] ppid=14366 vsize=815768 CPUtime=122.28 cores=0-7
/proc/14368/task/14375/stat : 14375 (claspmt) R 14366 14368 11300 0 -1 4202560 13604 0 0 0 12218 10 0 0 25 0 8 0 663085813 835346432 148328 33554432000 4194304 4964800 140734825093824 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=14368/tid=14376] ppid=14366 vsize=815768 CPUtime=122.29 cores=0-7
/proc/14368/task/14376/stat : 14376 (claspmt) R 14366 14368 11300 0 -1 4202560 31401 0 0 0 12212 17 0 0 25 0 8 0 663085813 835346432 148328 33554432000 4194304 4964800 140734825093824 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 978.88
Current children cumulated vsize (KiB) 815768

[startup+124.1 s]
/proc/loadavg: 8.08 8.04 7.89 9/291 14388
/proc/meminfo: memFree=14629032/32950904 swapFree=67057400/67111528
[pid=14368] ppid=14366 vsize=815560 CPUtime=979.8 cores=0-7
/proc/14368/stat : 14368 (claspmt) R 14366 14368 11300 0 -1 4202496 150217 0 0 0 97888 92 0 0 25 0 1 0 663085671 835133440 148315 33554432000 4194304 4964800 140734825093824 18446744073709551615 237278536686 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/14368/statm: 203890 148315 476 189 0 198239 0
Current children cumulated CPU time (s) 979.8
Current children cumulated vsize (KiB) 815560

Child status: 10
Real time (s): 124.198
CPU time (s): 979.902
CPU user time (s): 978.95
CPU system time (s): 0.951855
CPU usage (%): 788.987
Max. virtual memory (cumulated for all children) (KiB): 815768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 978.95
system time used= 0.951855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150218
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= 12522
involuntary context switches= 4416

runsolver used 0.301954 second user time and 0.844871 second system time

The end

Launcher Data 

Begin job on node121 at 2011-05-16 05:00:59
IDJOB=3381393
IDBENCH=88229
IDSOLVER=1865
FILE ID=node121/3381393-1305514859
RUNJOBID= node121-1305507706-11314
PBS_JOBID= 13325509
Free space on /tmp= 73544 MiB

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

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

MD5SUM BENCH= e096925b96a6999132833f44e4f216d7
RANDOM SEED=602857185

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

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


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      15215804 kB
Buffers:        332336 kB
Cached:        6729932 kB
SwapCached:       7656 kB
Active:       11538800 kB
Inactive:      5826780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      15215804 kB
SwapTotal:    67111528 kB
SwapFree:     67057400 kB
Dirty:            3988 kB
Writeback:          32 kB
AnonPages:    10301436 kB
Mapped:          24396 kB
Slab:           265744 kB
PageTables:      34760 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 36036048 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= 73544 MiB
End job on node121 at 2011-05-16 05:03:03