Trace number 3321418

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
claspmt 2.0-R4095SAT 10798.4 1351.44

General information on the benchmark

NameCRAFTED/edgematching/
fbcolors/em_8_4_5_fbc.cnf
MD5SUM6fdce6b69c397ad71b0f25957edff1fa
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark25.4311
Satisfiable
(Un)Satisfiability was proved
Number of variables2420
Number of clauses33572
Sum of the clauses size97252
Maximum clause length36
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 214396
Number of clauses of size 313968
Number of clauses of size 42628
Number of clauses of size 52460
Number of clauses of size over 5120

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...339451/instance-3321418-1304339451.cnf
0.00/0.03	c Solving...
10797.91/1351.22	c Answer: 1
10797.91/1351.22	v 1 -2 -3 -4 -5 -6 -7 8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21
10797.91/1351.22	v -22 -23 -24 -25 -26 -27 -28 -29 -30 31 -32 -33 -34 -35 -36 -37 -38 -39
10797.91/1351.22	v -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 53 -54 -55 -56 -57
10797.91/1351.22	v -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75
10797.91/1351.22	v -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 86 -87 -88 -89 -90 -91 -92 -93
10797.91/1351.22	v -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109
10797.91/1351.22	v -110 -111 -112 -113 -114 -115 -116 117 -118 -119 -120 -121 -122 -123 -124
10797.91/1351.22	v -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139
10797.91/1351.22	v -140 -141 142 -143 -144 -145 -146 -147 -148 -149 -150 -151 152 -153 -154
10797.91/1351.22	v -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169
10797.91/1351.22	v -170 -171 -172 -173 -174 -175 176 -177 -178 -179 -180 -181 182 -183 -184
10797.91/1351.22	v -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199
10797.91/1351.22	v -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214
10797.91/1351.22	v -215 -216 -217 -218 -219 -220 -221 222 -223 -224 -225 -226 -227 -228 -229
10797.91/1351.22	v -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244
10797.91/1351.22	v -245 -246 -247 -248 -249 -250 -251 252 -253 -254 -255 -256 -257 -258 -259
10797.91/1351.22	v -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274
10797.91/1351.22	v -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289
10797.91/1351.22	v -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 300 -301 -302 -303 -304
10797.91/1351.22	v -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319
10797.91/1351.22	v -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 331 -332 -333 -334
10797.91/1351.22	v -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349
10797.91/1351.22	v -350 -351 -352 -353 -354 -355 -356 -357 358 -359 -360 -361 -362 -363 -364
10797.91/1351.22	v -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379
10797.91/1351.22	v -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394
10797.91/1351.22	v -395 -396 397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409
10797.91/1351.22	v -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424
10797.91/1351.22	v -425 -426 -427 -428 429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439
10797.91/1351.22	v -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 -450 -451 -452 -453 -454
10797.91/1351.22	v -455 -456 -457 458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469
10797.91/1351.22	v -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484
10797.91/1351.22	v 485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499
10797.91/1351.22	v -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514
10797.91/1351.22	v -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 527 -528 -529
10797.91/1351.22	v -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544
10797.91/1351.22	v -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559
10797.91/1351.22	v -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574
10797.91/1351.22	v -575 -576 -577 -578 579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589
10797.91/1351.22	v -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604
10797.91/1351.22	v -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 619
10797.91/1351.22	v -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 632 -633 -634
10797.91/1351.22	v -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649
10797.91/1351.22	v -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664
10797.91/1351.22	v -665 -666 -667 -668 -669 -670 671 -672 -673 -674 -675 -676 -677 -678 -679
10797.91/1351.22	v -680 -681 -682 -683 -684 -685 -686 -687 688 -689 -690 -691 -692 -693 -694
10797.91/1351.22	v -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709
10797.91/1351.22	v -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 721 -722 -723 -724
10797.91/1351.22	v -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739
10797.91/1351.22	v -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754
10797.91/1351.22	v -755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769
10797.91/1351.22	v -770 -771 -772 -773 -774 -775 776 -777 -778 -779 -780 -781 -782 -783 -784
10797.91/1351.22	v -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799
10797.91/1351.22	v -800 -801 -802 -803 -804 -805 -806 -807 808 -809 -810 -811 -812 -813 -814
10797.91/1351.22	v -815 -816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829
10797.91/1351.22	v -830 -831 -832 833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843 -844
10797.91/1351.22	v -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859
10797.91/1351.22	v -860 -861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874
10797.91/1351.22	v -875 876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 -889
10797.91/1351.22	v -890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904
10797.91/1351.22	v -905 -906 -907 -908 -909 -910 911 -912 -913 -914 -915 -916 -917 -918 -919
10797.91/1351.22	v -920 -921 -922 -923 -924 -925 -926 -927 -928 -929 -930 -931 -932 -933 -934
10797.91/1351.22	v -935 -936 -937 -938 -939 940 -941 -942 -943 -944 -945 -946 -947 -948 -949
10797.91/1351.22	v -950 -951 -952 953 -954 -955 -956 -957 -958 -959 -960 -961 -962 -963 -964
10797.91/1351.22	v -965 -966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979
10797.91/1351.22	v -980 981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 -994
10797.91/1351.22	v -995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007
10797.91/1351.22	v -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019
10797.91/1351.22	v -1020 -1021 -1022 -1023 -1024 -1025 -1026 1027 -1028 -1029 -1030 -1031
10797.91/1351.22	v -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040 -1041 -1042 -1043
10797.91/1351.22	v -1044 -1045 -1046 -1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055
10797.91/1351.22	v -1056 -1057 -1058 -1059 1060 -1061 -1062 -1063 -1064 -1065 -1066 -1067
10797.91/1351.22	v -1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079
10797.91/1351.22	v -1080 -1081 -1082 -1083 1084 -1085 -1086 -1087 -1088 -1089 -1090 -1091
10797.91/1351.22	v -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100 -1101 -1102 -1103
10797.91/1351.22	v -1104 -1105 -1106 -1107 -1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115
10797.91/1351.22	v -1116 -1117 -1118 -1119 -1120 -1121 -1122 -1123 -1124 -1125 -1126 -1127
10797.91/1351.22	v -1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139
10797.91/1351.22	v -1140 -1141 -1142 -1143 -1144 -1145 1146 -1147 -1148 1149 -1150 -1151 -1152
10797.91/1351.22	v -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160 -1161 -1162 -1163 -1164
10797.91/1351.22	v -1165 -1166 -1167 -1168 -1169 -1170 -1171 -1172 -1173 -1174 -1175 -1176
10797.91/1351.22	v -1177 -1178 -1179 -1180 -1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188
10797.91/1351.22	v -1189 -1190 -1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199 1200
10797.91/1351.22	v -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210 -1211 -1212
10797.91/1351.22	v -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220 -1221 -1222 -1223 -1224
10797.91/1351.22	v -1225 -1226 1227 -1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235 -1236
10797.91/1351.22	v -1237 -1238 -1239 -1240 -1241 -1242 -1243 -1244 -1245 1246 -1247 -1248
10797.91/1351.22	v -1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 -1259 -1260
10797.91/1351.22	v -1261 -1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271 -1272
10797.91/1351.22	v -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280 -1281 -1282 -1283 -1284
10797.91/1351.22	v -1285 -1286 -1287 -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296
10797.91/1351.22	v -1297 -1298 -1299 -1300 1301 -1302 -1303 -1304 -1305 -1306 -1307 -1308
10797.91/1351.22	v -1309 -1310 -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320
10797.91/1351.22	v -1321 -1322 -1323 -1324 -1325 -1326 -1327 -1328 -1329 1330 -1331 -1332
10797.91/1351.22	v -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340 -1341 -1342 -1343 -1344
10797.91/1351.22	v -1345 -1346 -1347 -1348 -1349 -1350 -1351 -1352 -1353 -1354 -1355 -1356
10797.91/1351.22	v -1357 -1358 -1359 -1360 -1361 1362 -1363 -1364 -1365 -1366 -1367 -1368
10797.91/1351.22	v -1369 -1370 -1371 -1372 -1373 -1374 -1375 -1376 -1377 -1378 1379 -1380
10797.91/1351.22	v -1381 -1382 -1383 -1384 -1385 -1386 -1387 -1388 -1389 -1390 -1391 -1392
10797.91/1351.22	v -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400 -1401 -1402 -1403 -1404
10797.91/1351.22	v -1405 -1406 -1407 -1408 -1409 -1410 -1411 -1412 -1413 -1414 -1415 -1416
10797.91/1351.22	v -1417 -1418 1419 -1420 -1421 -1422 -1423 -1424 -1425 -1426 -1427 -1428
10797.91/1351.22	v -1429 -1430 -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439 -1440
10797.91/1351.22	v -1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450 -1451 -1452
10797.91/1351.22	v -1453 -1454 -1455 -1456 -1457 -1458 -1459 -1460 -1461 -1462 -1463 -1464
10797.91/1351.22	v -1465 -1466 -1467 -1468 -1469 -1470 1471 -1472 -1473 -1474 -1475 -1476
10797.91/1351.22	v -1477 -1478 -1479 -1480 -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488
10797.91/1351.22	v -1489 -1490 -1491 -1492 1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500
10797.91/1351.22	v -1501 -1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510 -1511 -1512
10797.91/1351.22	v -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520 -1521 -1522 -1523 -1524
10797.91/1351.22	v -1525 1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536
10797.91/1351.22	v -1537 -1538 -1539 -1540 -1541 -1542 -1543 -1544 -1545 -1546 -1547 -1548
10797.91/1351.22	v -1549 -1550 1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560
10797.91/1351.22	v -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570 -1571 -1572
10797.91/1351.22	v -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580 -1581 -1582 -1583 -1584
10797.91/1351.22	v -1585 -1586 -1587 -1588 -1589 -1590 -1591 -1592 1593 -1594 -1595 -1596
10797.91/1351.22	v -1597 -1598 -1599 -1600 -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608
10797.91/1351.22	v 1609 -1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620
10797.91/1351.22	v -1621 -1622 -1623 -1624 -1625 -1626 -1627 -1628 -1629 -1630 -1631 -1632
10797.91/1351.22	v -1633 -1634 -1635 -1636 -1637 -1638 -1639 -1640 -1641 -1642 -1643 -1644
10797.91/1351.22	v -1645 -1646 -1647 -1648 -1649 -1650 -1651 -1652 -1653 -1654 -1655 -1656
10797.91/1351.22	v -1657 -1658 -1659 -1660 -1661 -1662 -1663 -1664 -1665 -1666 -1667 -1668
10797.91/1351.22	v 1669 -1670 -1671 -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679 -1680
10797.91/1351.22	v -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690 -1691 -1692
10797.91/1351.22	v -1693 -1694 -1695 -1696 -1697 -1698 -1699 1700 -1701 -1702 -1703 -1704
10797.91/1351.22	v -1705 -1706 -1707 -1708 -1709 -1710 -1711 -1712 -1713 -1714 -1715 -1716
10797.91/1351.22	v -1717 -1718 1719 -1720 -1721 -1722 -1723 -1724 -1725 -1726 -1727 -1728
10797.91/1351.22	v -1729 -1730 -1731 -1732 -1733 -1734 -1735 -1736 -1737 1738 -1739 -1740
10797.91/1351.22	v -1741 -1742 -1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750 -1751 -1752
10797.91/1351.22	v -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760 -1761 1762 -1763 -1764
10797.91/1351.22	v -1765 -1766 -1767 -1768 -1769 1770 -1771 -1772 -1773 -1774 -1775 -1776
10797.91/1351.22	v -1777 -1778 -1779 -1780 -1781 -1782 -1783 -1784 -1785 -1786 -1787 -1788
10797.91/1351.22	v -1789 -1790 -1791 -1792 -1793 -1794 -1795 -1796 -1797 -1798 1799 -1800
10797.91/1351.22	v -1801 -1802 -1803 -1804 -1805 -1806 -1807 -1808 -1809 -1810 -1811 -1812
10797.91/1351.22	v -1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820 -1821 -1822 -1823 -1824
10797.91/1351.22	v -1825 1826 -1827 -1828 -1829 -1830 -1831 -1832 -1833 -1834 -1835 -1836
10797.91/1351.22	v -1837 1838 -1839 -1840 -1841 -1842 -1843 -1844 -1845 -1846 -1847 -1848
10797.91/1351.22	v -1849 -1850 -1851 -1852 -1853 -1854 -1855 -1856 -1857 -1858 -1859 -1860
10797.91/1351.22	v -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869 -1870 -1871 1872
10797.91/1351.22	v -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880 -1881 -1882 -1883 -1884
10797.91/1351.22	v -1885 -1886 1887 -1888 1889 -1890 -1891 -1892 -1893 -1894 1895 -1896 -1897
10797.91/1351.22	v 1898 -1899 -1900 1901 -1902 -1903 -1904 -1905 1906 -1907 -1908 -1909 -1910
10797.91/1351.22	v 1911 -1912 -1913 -1914 1915 -1916 1917 -1918 -1919 -1920 -1921 -1922 1923
10797.91/1351.22	v -1924 -1925 1926 -1927 -1928 -1929 -1930 -1931 1932 -1933 -1934 -1935 1936
10797.91/1351.22	v -1937 -1938 -1939 -1940 1941 -1942 -1943 -1944 -1945 -1946 -1947 -1948
10797.91/1351.22	v 1949 -1950 -1951 -1952 1953 -1954 -1955 -1956 1957 -1958 -1959 1960 -1961
10797.91/1351.22	v -1962 -1963 -1964 1965 -1966 -1967 -1968 -1969 1970 -1971 -1972 -1973 -1974
10797.91/1351.22	v -1975 -1976 1977 -1978 -1979 1980 -1981 -1982 -1983 -1984 1985 -1986 -1987
10797.91/1351.22	v -1988 -1989 -1990 -1991 1992 -1993 -1994 -1995 1996 -1997 -1998 -1999 -2000
10797.91/1351.22	v -2001 -2002 2003 -2004 -2005 -2006 2007 -2008 -2009 2010 -2011 -2012 -2013
10797.91/1351.22	v -2014 2015 -2016 -2017 -2018 -2019 -2020 -2021 -2022 2023 -2024 2025 -2026
10797.91/1351.22	v -2027 2028 -2029 -2030 -2031 -2032 -2033 -2034 -2035 -2036 2037 2038 -2039
10797.91/1351.22	v -2040 -2041 -2042 -2043 -2044 -2045 -2046 2047 2048 -2049 -2050 -2051 -2052
10797.91/1351.22	v 2053 -2054 -2055 -2056 -2057 2058 -2059 -2060 -2061 -2062 -2063 2064 -2065
10797.91/1351.22	v -2066 -2067 2068 -2069 -2070 -2071 -2072 -2073 -2074 2075 -2076 2077 -2078
10797.91/1351.22	v -2079 -2080 -2081 2082 -2083 -2084 -2085 -2086 2087 -2088 -2089 -2090 -2091
10797.91/1351.22	v 2092 -2093 -2094 -2095 -2096 -2097 -2098 2099 -2100 -2101 2102 -2103 -2104
10797.91/1351.22	v -2105 2106 -2107 -2108 -2109 -2110 -2111 2112 -2113 -2114 -2115 2116 -2117
10797.91/1351.22	v -2118 -2119 -2120 -2121 2122 -2123 -2124 -2125 -2126 -2127 -2128 2129 -2130
10797.91/1351.22	v 2131 -2132 -2133 -2134 -2135 2136 -2137 -2138 -2139 -2140 -2141 -2142 2143
10797.91/1351.22	v -2144 -2145 2146 -2147 -2148 -2149 -2150 2151 -2152 -2153 -2154 -2155 -2156
10797.91/1351.22	v -2157 2158 -2159 -2160 -2161 -2162 -2163 2164 -2165 -2166 -2167 -2168 2169
10797.91/1351.22	v -2170 -2171 -2172 2173 -2174 -2175 -2176 2177 -2178 -2179 -2180 -2181 -2182
10797.91/1351.22	v 2183 -2184 -2185 -2186 -2187 2188 -2189 2190 -2191 -2192 -2193 -2194 -2195
10797.91/1351.22	v -2196 2197 -2198 -2199 -2200 -2201 -2202 2203 -2204 -2205 2206 -2207 -2208
10797.91/1351.22	v -2209 -2210 2211 -2212 -2213 -2214 2215 -2216 -2217 -2218 -2219 2220 -2221
10797.91/1351.22	v -2222 -2223 -2224 2225 -2226 -2227 -2228 -2229 2230 -2231 -2232 2233 -2234
10797.91/1351.22	v -2235 -2236 -2237 -2238 -2239 2240 -2241 -2242 2243 -2244 -2245 -2246 -2247
10797.91/1351.22	v -2248 -2249 2250 -2251 2252 -2253 -2254 -2255 -2256 -2257 -2258 2259 -2260
10797.91/1351.22	v -2261 -2262 -2263 -2264 -2265 2266 -2267 -2268 -2269 -2270 2271 2272 -2273
10797.91/1351.22	v -2274 -2275 -2276 -2277 2278 -2279 -2280 -2281 -2282 -2283 2284 -2285 -2286
10797.91/1351.22	v 2287 -2288 -2289 -2290 -2291 2292 -2293 -2294 -2295 -2296 2297 -2298 -2299
10797.91/1351.22	v -2300 -2301 -2302 2303 -2304 -2305 2306 -2307 -2308 -2309 -2310 -2311 -2312
10797.91/1351.22	v -2313 2314 -2315 -2316 -2317 2318 -2319 -2320 -2321 2322 -2323 -2324 -2325
10797.91/1351.22	v 2326 -2327 -2328 -2329 -2330 -2331 -2332 -2333 2334 -2335 -2336 -2337 -2338
10797.91/1351.22	v 2339 2340 -2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 2349 -2350 -2351
10797.91/1351.22	v -2352 -2353 2354 -2355 -2356 2357 -2358 2359 -2360 -2361 -2362 -2363 -2364
10797.91/1351.22	v 2365 -2366 -2367 -2368 -2369 -2370 2371 -2372 -2373 2374 -2375 -2376 -2377
10797.91/1351.22	v -2378 -2379 -2380 2381 -2382 -2383 -2384 -2385 -2386 2387 -2388 -2389 -2390
10797.91/1351.22	v 2391 -2392 2393 -2394 -2395 -2396 -2397 -2398 -2399 2400 -2401 -2402 -2403
10797.91/1351.22	v 2404 -2405 -2406 2407 -2408 -2409 -2410 2411 -2412 2413 -2414 -2415 -2416
10797.91/1351.22	v -2417 2418 -2419 -2420 0
10798.33/1351.43	s SATISFIABLE
10798.33/1351.43	
10798.33/1351.43	c Models        : 1+    
10798.33/1351.43	c Time          : 1351.251s (Solving: 1351.22s 1st Model: 1351.19s Unsat: 0.00s)
10798.33/1351.43	c CPU Time      : 10798.180s

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321418-1304339451/watcher-3321418-1304339451 -o /tmp/evaluation-result-3321418-1304339451/solver-3321418-1304339451 -C 40000 -W 5100 -M 31000 HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3321418-1304339451.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.28 8.05 7.98 1/217 28824
/proc/meminfo: memFree=29301048/32951124 swapFree=67107192/67111528
[pid=28824] ppid=28822 vsize=22040 CPUtime=0 cores=0-7
/proc/28824/stat : 28824 (claspmt) R 28822 28824 28500 0 -1 4202496 822 0 0 0 0 0 0 0 22 0 1 0 545543566 22568960 734 33554432000 4194304 4964704 140734693891424 18446744073709551615 210204647168 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/28824/statm: 5510 735 386 189 0 384 0

[startup+0.081695 s]
/proc/loadavg: 8.28 8.05 7.98 1/217 28824
/proc/meminfo: memFree=29301048/32951124 swapFree=67107192/67111528
[pid=28824] ppid=28822 vsize=384192 CPUtime=0.2 cores=0-7
/proc/28824/stat : 28824 (claspmt) R 28822 28824 28500 0 -1 4202496 2917 0 0 0 20 0 0 0 18 0 8 0 545543566 393412608 2611 33554432000 4194304 4964704 140734693891424 18446744073709551615 4668907 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/28824/statm: 96048 2611 464 189 0 90397 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 384192

[startup+0.106536 s]
/proc/loadavg: 8.28 8.05 7.98 1/217 28824
/proc/meminfo: memFree=29301048/32951124 swapFree=67107192/67111528
[pid=28824] ppid=28822 vsize=384460 CPUtime=0.41 cores=0-7
/proc/28824/stat : 28824 (claspmt) R 28822 28824 28500 0 -1 4202496 3419 0 0 0 40 1 0 0 18 0 8 0 545543566 393687040 3113 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670100 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/28824/statm: 96115 3137 464 189 0 90464 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 384460

[startup+0.496978 s]
/proc/loadavg: 8.28 8.05 7.98 1/217 28824
/proc/meminfo: memFree=29301048/32951124 swapFree=67107192/67111528
[pid=28824] ppid=28822 vsize=389292 CPUtime=4.06 cores=0-7
/proc/28824/stat : 28824 (claspmt) R 28822 28824 28500 0 -1 4202496 9690 0 0 0 402 4 0 0 18 0 8 0 545543566 398635008 9384 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670416 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/28824/statm: 97522 11061 464 189 0 91871 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 389292

[startup+1.07112 s]
/proc/loadavg: 8.28 8.05 7.98 1/217 28824
/proc/meminfo: memFree=29301048/32951124 swapFree=67107192/67111528
[pid=28824] ppid=28822 vsize=390220 CPUtime=8.06 cores=0-7
/proc/28824/stat : 28824 (claspmt) R 28822 28824 28500 0 -1 4202496 11459 0 0 0 802 4 0 0 19 0 8 0 545543566 399585280 11153 33554432000 4194304 4964704 140734693891424 18446744073709551615 4320981 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/28824/statm: 97555 11153 464 189 0 91904 0
Current children cumulated CPU time (s) 8.06
Current children cumulated vsize (KiB) 390220

[startup+1.50105 s]
/proc/loadavg: 8.28 8.05 7.98 1/217 28824
/proc/meminfo: memFree=29301048/32951124 swapFree=67107192/67111528
[pid=28824] ppid=28822 vsize=390884 CPUtime=11.5 cores=0-7
/proc/28824/stat : 28824 (claspmt) R 28822 28824 28500 0 -1 4202496 13483 0 0 0 1144 6 0 0 19 0 8 0 545543566 400265216 13177 33554432000 4194304 4964704 140734693891424 18446744073709551615 4668923 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/28824/statm: 97721 13177 464 189 0 92070 0
Current children cumulated CPU time (s) 11.5
Current children cumulated vsize (KiB) 390884

[startup+3.10078 s]
/proc/loadavg: 8.26 8.05 7.98 10/225 28832
/proc/meminfo: memFree=29240356/32951124 swapFree=67107192/67111528
[pid=28824] ppid=28822 vsize=395028 CPUtime=24.28 cores=0-7
/proc/28824/stat : 28824 (claspmt) R 28822 28824 28500 0 -1 4202496 17451 0 0 0 2420 8 0 0 25 0 8 0 545543566 404508672 17145 33554432000 4194304 4964704 140734693891424 18446744073709551615 4627204 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/28824/statm: 98757 17145 466 189 0 93106 0
[pid=28824/tid=28826] ppid=28822 vsize=395028 CPUtime=3.03 cores=0-7
/proc/28824/task/28826/stat : 28826 (claspmt) R 28822 28824 28500 0 -1 4202560 1797 0 0 0 303 0 0 0 23 0 8 0 545543569 404508672 17145 33554432000 4194304 4964704 140734693891424 18446744073709551615 4342213 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=28824/tid=28827] ppid=28822 vsize=395028 CPUtime=3.03 cores=0-7
/proc/28824/task/28827/stat : 28827 (claspmt) R 28822 28824 28500 0 -1 4202560 2332 0 0 0 302 1 0 0 24 0 8 0 545543569 404508672 17145 33554432000 4194304 4964704 140734693891424 18446744073709551615 4683933 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28824/tid=28828] ppid=28822 vsize=395028 CPUtime=2.98 cores=0-7
/proc/28824/task/28828/stat : 28828 (claspmt) R 28822 28824 28500 0 -1 4202560 2018 0 0 0 298 0 0 0 19 0 8 0 545543569 404508672 17145 33554432000 4194304 4964704 140734693891424 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28824/tid=28829] ppid=28822 vsize=395028 CPUtime=3.01 cores=0-7
/proc/28824/task/28829/stat : 28829 (claspmt) R 28822 28824 28500 0 -1 4202560 2094 0 0 0 301 0 0 0 23 0 8 0 545543569 404508672 17145 33554432000 4194304 4964704 140734693891424 18446744073709551615 4342199 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28824/tid=28830] ppid=28822 vsize=395028 CPUtime=3.05 cores=0-7
/proc/28824/task/28830/stat : 28830 (claspmt) R 28822 28824 28500 0 -1 4202560 1868 0 0 0 304 1 0 0 25 0 8 0 545543569 404508672 17145 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670075 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28824/tid=28831] ppid=28822 vsize=395028 CPUtime=3.03 cores=0-7
/proc/28824/task/28831/stat : 28831 (claspmt) R 28822 28824 28500 0 -1 4202560 1599 0 0 0 302 1 0 0 24 0 8 0 545543569 404508672 17145 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670252 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28824/tid=28832] ppid=28822 vsize=395028 CPUtime=3.02 cores=0-7
/proc/28824/task/28832/stat : 28832 (claspmt) R 28822 28824 28500 0 -1 4202560 2644 0 0 0 301 1 0 0 19 0 8 0 545543569 404508672 17145 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.28
Current children cumulated vsize (KiB) 395028

[startup+6.30124 s]
/proc/loadavg: 8.26 8.05 7.98 9/225 28832
/proc/meminfo: memFree=29221744/32951124 swapFree=67107192/67111528
[pid=28824] ppid=28822 vsize=397540 CPUtime=49.85 cores=0-7
/proc/28824/stat : 28824 (claspmt) R 28822 28824 28500 0 -1 4202496 22256 0 0 0 4974 11 0 0 25 0 8 0 545543566 407080960 21950 33554432000 4194304 4964704 140734693891424 18446744073709551615 4683900 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/28824/statm: 99385 21951 466 189 0 93734 0
[pid=28824/tid=28826] ppid=28822 vsize=397540 CPUtime=6.22 cores=0-7
/proc/28824/task/28826/stat : 28826 (claspmt) R 28822 28824 28500 0 -1 4202560 2246 0 0 0 622 0 0 0 25 0 8 0 545543569 407080960 21951 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=28824/tid=28827] ppid=28822 vsize=397540 CPUtime=6.23 cores=0-7
/proc/28824/task/28827/stat : 28827 (claspmt) R 28822 28824 28500 0 -1 4202560 3020 0 0 0 622 1 0 0 25 0 8 0 545543569 407080960 21951 33554432000 4194304 4964704 140734693891424 18446744073709551615 4342186 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28824/tid=28828] ppid=28822 vsize=397540 CPUtime=6.19 cores=0-7
/proc/28824/task/28828/stat : 28828 (claspmt) R 28822 28824 28500 0 -1 4202560 2510 0 0 0 618 1 0 0 25 0 8 0 545543569 407080960 21951 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670277 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28824/tid=28829] ppid=28822 vsize=397540 CPUtime=6.19 cores=0-7
/proc/28824/task/28829/stat : 28829 (claspmt) R 28822 28824 28500 0 -1 4202560 2473 0 0 0 619 0 0 0 25 0 8 0 545543569 407080960 21951 33554432000 4194304 4964704 140734693891424 18446744073709551615 4668693 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28824/tid=28830] ppid=28822 vsize=397540 CPUtime=6.25 cores=0-7
/proc/28824/task/28830/stat : 28830 (claspmt) R 28822 28824 28500 0 -1 4202560 2845 0 0 0 624 1 0 0 25 0 8 0 545543569 407080960 21954 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28824/tid=28831] ppid=28822 vsize=397540 CPUtime=6.23 cores=0-7
/proc/28824/task/28831/stat : 28831 (claspmt) R 28822 28824 28500 0 -1 4202560 2060 0 0 0 622 1 0 0 25 0 8 0 545543569 407080960 21955 33554432000 4194304 4964704 140734693891424 18446744073709551615 4684024 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28824/tid=28832] ppid=28822 vsize=397540 CPUtime=6.21 cores=0-7
/proc/28824/task/28832/stat : 28832 (claspmt) R 28822 28824 28500 0 -1 4202560 3410 0 0 0 620 1 0 0 25 0 8 0 545543569 407080960 21955 33554432000 4194304 4964704 140734693891424 18446744073709551615 210204308513 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 49.85
Current children cumulated vsize (KiB) 397540

[startup+12.7082 s]
/proc/loadavg: 8.22 8.05 7.98 9/225 28833
/proc/meminfo: memFree=29171796/32951124 swapFree=67107192/67111528
[pid=28824] ppid=28822 vsize=407428 CPUtime=101.04 cores=0-7
/proc/28824/stat : 28824 (claspmt) R 28822 28824 28500 0 -1 4202496 33943 0 0 0 10088 16 0 0 25 0 8 0 545543566 417206272 33516 33554432000 4194304 4964704 140734693891424 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/28824/statm: 101857 33516 466 189 0 96206 0
[pid=28824/tid=28826] ppid=28822 vsize=407428 CPUtime=12.62 cores=0-7
/proc/28824/task/28826/stat : 28826 (claspmt) R 28822 28824 28500 0 -1 4202560 3261 0 0 0 1261 1 0 0 25 0 8 0 545543569 417206272 33516 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=28824/tid=28827] ppid=28822 vsize=407428 CPUtime=12.63 cores=0-7
/proc/28824/task/28827/stat : 28827 (claspmt) R 28822 28824 28500 0 -1 4202560 4483 0 0 0 1262 1 0 0 25 0 8 0 545543569 417206272 33516 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28824/tid=28828] ppid=28822 vsize=407428 CPUtime=12.59 cores=0-7
/proc/28824/task/28828/stat : 28828 (claspmt) R 28822 28824 28500 0 -1 4202560 3516 0 0 0 1258 1 0 0 25 0 8 0 545543569 417206272 33516 33554432000 4194304 4964704 140734693891424 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28824/tid=28829] ppid=28822 vsize=407428 CPUtime=12.55 cores=0-7
/proc/28824/task/28829/stat : 28829 (claspmt) R 28822 28824 28500 0 -1 4202560 3886 0 0 0 1254 1 0 0 25 0 8 0 545543569 417206272 33516 33554432000 4194304 4964704 140734693891424 18446744073709551615 4668953 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28824/tid=28830] ppid=28822 vsize=407428 CPUtime=12.65 cores=0-7
/proc/28824/task/28830/stat : 28830 (claspmt) R 28822 28824 28500 0 -1 4202560 4902 0 0 0 1263 2 0 0 25 0 8 0 545543569 417206272 33516 33554432000 4194304 4964704 140734693891424 18446744073709551615 4341496 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28824/tid=28831] ppid=28822 vsize=407428 CPUtime=12.63 cores=0-7
/proc/28824/task/28831/stat : 28831 (claspmt) R 28822 28824 28500 0 -1 4202560 3406 0 0 0 1262 1 0 0 25 0 8 0 545543569 417206272 33516 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28824/tid=28832] ppid=28822 vsize=407428 CPUtime=12.62 cores=0-7
/proc/28824/task/28832/stat : 28832 (claspmt) R 28822 28824 28500 0 -1 4202560 5658 0 0 0 1259 3 0 0 25 0 8 0 545543569 417206272 33516 33554432000 4194304 4964704 140734693891424 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.04
Current children cumulated vsize (KiB) 407428

[startup+25.501 s]
/proc/loadavg: 8.18 8.04 7.98 9/225 28833
/proc/meminfo: memFree=29112816/32951124 swapFree=67107192/67111528
[pid=28824] ppid=28822 vsize=415984 CPUtime=203.28 cores=0-7
/proc/28824/stat : 28824 (claspmt) R 28822 28824 28500 0 -1 4202496 49638 0 0 0 20301 27 0 0 25 0 8 0 545543566 425967616 49211 33554432000 4194304 4964704 140734693891424 18446744073709551615 4321076 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/28824/statm: 103996 49211 466 189 0 98345 0
[pid=28824/tid=28826] ppid=28822 vsize=415984 CPUtime=25.41 cores=0-7
/proc/28824/task/28826/stat : 28826 (claspmt) R 28822 28824 28500 0 -1 4202560 4888 0 0 0 2539 2 0 0 25 0 8 0 545543569 425967616 49211 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=28824/tid=28827] ppid=28822 vsize=415984 CPUtime=25.42 cores=0-7
/proc/28824/task/28827/stat : 28827 (claspmt) R 28822 28824 28500 0 -1 4202560 6688 0 0 0 2540 2 0 0 25 0 8 0 545543569 425967616 49211 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28824/tid=28828] ppid=28822 vsize=415984 CPUtime=25.38 cores=0-7
/proc/28824/task/28828/stat : 28828 (claspmt) R 28822 28824 28500 0 -1 4202560 5205 0 0 0 2536 2 0 0 25 0 8 0 545543569 425967616 49211 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28824/tid=28829] ppid=28822 vsize=415984 CPUtime=25.27 cores=0-7
/proc/28824/task/28829/stat : 28829 (claspmt) R 28822 28824 28500 0 -1 4202560 5573 0 0 0 2524 3 0 0 25 0 8 0 545543569 425967616 49211 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28824/tid=28830] ppid=28822 vsize=415984 CPUtime=25.44 cores=0-7
/proc/28824/task/28830/stat : 28830 (claspmt) R 28822 28824 28500 0 -1 4202560 7673 0 0 0 2540 4 0 0 25 0 8 0 545543569 425967616 49211 33554432000 4194304 4964704 140734693891424 18446744073709551615 4462655 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28824/tid=28831] ppid=28822 vsize=415984 CPUtime=25.42 cores=0-7
/proc/28824/task/28831/stat : 28831 (claspmt) R 28822 28824 28500 0 -1 4202560 4920 0 0 0 2540 2 0 0 25 0 8 0 545543569 425967616 49211 33554432000 4194304 4964704 140734693891424 18446744073709551615 4320984 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28824/tid=28832] ppid=28822 vsize=415984 CPUtime=25.4 cores=0-7
/proc/28824/task/28832/stat : 28832 (claspmt) R 28822 28824 28500 0 -1 4202560 7812 0 0 0 2536 4 0 0 25 0 8 0 545543569 425967616 49211 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.28
Current children cumulated vsize (KiB) 415984

[startup+51.1007 s]
/proc/loadavg: 8.18 8.06 7.98 9/225 28834
/proc/meminfo: memFree=29054000/32951124 swapFree=67107192/67111528
[pid=28824] ppid=28822 vsize=423132 CPUtime=407.91 cores=0-7
/proc/28824/stat : 28824 (claspmt) R 28822 28824 28500 0 -1 4202496 64316 0 0 0 40756 35 0 0 25 0 8 0 545543566 433287168 63688 33554432000 4194304 4964704 140734693891424 18446744073709551615 4668534 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/28824/statm: 105783 63688 466 189 0 100132 0
[pid=28824/tid=28826] ppid=28822 vsize=423132 CPUtime=51.01 cores=0-7
/proc/28824/task/28826/stat : 28826 (claspmt) R 28822 28824 28500 0 -1 4202560 6203 0 0 0 5098 3 0 0 25 0 8 0 545543569 433287168 63688 33554432000 4194304 4964704 140734693891424 18446744073709551615 4361745 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=28824/tid=28827] ppid=28822 vsize=423132 CPUtime=51.03 cores=0-7
/proc/28824/task/28827/stat : 28827 (claspmt) R 28822 28824 28500 0 -1 4202560 8435 0 0 0 5099 4 0 0 25 0 8 0 545543569 433287168 63688 33554432000 4194304 4964704 140734693891424 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28824/tid=28828] ppid=28822 vsize=423132 CPUtime=50.98 cores=0-7
/proc/28824/task/28828/stat : 28828 (claspmt) R 28822 28824 28500 0 -1 4202560 7327 0 0 0 5095 3 0 0 25 0 8 0 545543569 433287168 63688 33554432000 4194304 4964704 140734693891424 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28824/tid=28829] ppid=28822 vsize=423132 CPUtime=50.69 cores=0-7
/proc/28824/task/28829/stat : 28829 (claspmt) R 28822 28824 28500 0 -1 4202560 7703 0 0 0 5065 4 0 0 25 0 8 0 545543569 433287168 63688 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28824/tid=28830] ppid=28822 vsize=423132 CPUtime=51.04 cores=0-7
/proc/28824/task/28830/stat : 28830 (claspmt) R 28822 28824 28500 0 -1 4202560 9689 0 0 0 5099 5 0 0 25 0 8 0 545543569 433287168 63688 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28824/tid=28831] ppid=28822 vsize=423132 CPUtime=51.02 cores=0-7
/proc/28824/task/28831/stat : 28831 (claspmt) R 28822 28824 28500 0 -1 4202560 6475 0 0 0 5100 2 0 0 25 0 8 0 545543569 433287168 63688 33554432000 4194304 4964704 140734693891424 18446744073709551615 4684027 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28824/tid=28832] ppid=28822 vsize=423132 CPUtime=51.01 cores=0-7
/proc/28824/task/28832/stat : 28832 (claspmt) R 28822 28824 28500 0 -1 4202560 9290 0 0 0 5096 5 0 0 25 0 8 0 545543569 433287168 63688 33554432000 4194304 4964704 140734693891424 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.91
Current children cumulated vsize (KiB) 423132

[startup+102.301 s]
/proc/loadavg: 8.07 8.04 7.98 9/225 28835
/proc/meminfo: memFree=28932636/32951124 swapFree=67107192/67111528
[pid=28824] ppid=28822 vsize=509272 CPUtime=817.06 cores=0-7
/proc/28824/stat : 28824 (claspmt) R 28822 28824 28500 0 -1 4202496 94510 0 0 0 81649 57 0 0 25 0 8 0 545543566 521494528 93836 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/28824/statm: 127318 93836 466 189 0 121667 0
[pid=28824/tid=28826] ppid=28822 vsize=509272 CPUtime=102.18 cores=0-7
/proc/28824/task/28826/stat : 28826 (claspmt) R 28822 28824 28500 0 -1 4202560 7913 0 0 0 10214 4 0 0 25 0 8 0 545543569 521494528 93836 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=28824/tid=28827] ppid=28822 vsize=509272 CPUtime=102.22 cores=0-7
/proc/28824/task/28827/stat : 28827 (claspmt) R 28822 28824 28500 0 -1 4202560 10808 0 0 0 10216 6 0 0 25 0 8 0 545543569 521494528 93836 33554432000 4194304 4964704 140734693891424 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28824/tid=28828] ppid=28822 vsize=509272 CPUtime=102.16 cores=0-7
/proc/28824/task/28828/stat : 28828 (claspmt) R 28822 28824 28500 0 -1 4202560 11244 0 0 0 10210 6 0 0 25 0 8 0 545543569 521494528 93836 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0

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

[pid=28824/tid=28827] ppid=28822 vsize=1213356 CPUtime=1305.88 cores=0-7
/proc/28824/task/28827/stat : 28827 (claspmt) R 28822 28824 28500 0 -1 4202560 38677 0 0 0 130557 31 0 0 25 0 8 0 545543569 1242476544 261536 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28824/tid=28828] ppid=28822 vsize=1213356 CPUtime=1305.61 cores=0-7
/proc/28824/task/28828/stat : 28828 (claspmt) R 28822 28824 28500 0 -1 4202560 30727 0 0 0 130533 28 0 0 25 0 8 0 545543569 1242476544 261536 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28824/tid=28829] ppid=28822 vsize=1213356 CPUtime=1301.73 cores=0-7
/proc/28824/task/28829/stat : 28829 (claspmt) R 28822 28824 28500 0 -1 4202560 31683 0 0 0 130142 31 0 0 25 0 8 0 545543569 1242476544 261536 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28824/tid=28830] ppid=28822 vsize=1213356 CPUtime=1304.15 cores=0-7
/proc/28824/task/28830/stat : 28830 (claspmt) R 28822 28824 28500 0 -1 4202560 30468 0 0 0 130389 26 0 0 25 0 8 0 545543569 1242476544 261536 33554432000 4194304 4964704 140734693891424 18446744073709551615 4669383 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28824/tid=28831] ppid=28822 vsize=1213356 CPUtime=1302.97 cores=0-7
/proc/28824/task/28831/stat : 28831 (claspmt) R 28822 28824 28500 0 -1 4202560 25967 0 0 0 130267 30 0 0 25 0 8 0 545543569 1242476544 261536 33554432000 4194304 4964704 140734693891424 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28824/tid=28832] ppid=28822 vsize=1213356 CPUtime=1305.83 cores=0-7
/proc/28824/task/28832/stat : 28832 (claspmt) R 28822 28824 28500 0 -1 4202560 47739 0 0 0 130541 42 0 0 25 0 8 0 545543569 1242476544 261536 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10437.5
Current children cumulated vsize (KiB) 1213356

[startup+1331.7 s]
/proc/loadavg: 8.07 8.04 8.00 9/225 28868
/proc/meminfo: memFree=28259604/32951124 swapFree=67107192/67111528
[pid=28824] ppid=28822 vsize=1213356 CPUtime=10642.1 cores=0-7
/proc/28824/stat : 28824 (claspmt) R 28822 28824 28500 0 -1 4202496 263107 0 0 0 1063960 248 0 0 25 0 8 0 545543566 1242476544 261540 33554432000 4194304 4964704 140734693891424 18446744073709551615 4320955 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/28824/statm: 303339 261540 466 189 0 297688 0
[pid=28824/tid=28826] ppid=28822 vsize=1213356 CPUtime=1330.98 cores=0-7
/proc/28824/task/28826/stat : 28826 (claspmt) R 28822 28824 28500 0 -1 4202560 19518 0 0 0 133077 21 0 0 25 0 8 0 545543569 1242476544 261540 33554432000 4194304 4964704 140734693891424 18446744073709551615 4668632 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=28824/tid=28827] ppid=28822 vsize=1213356 CPUtime=1331.48 cores=0-7
/proc/28824/task/28827/stat : 28827 (claspmt) R 28822 28824 28500 0 -1 4202560 38678 0 0 0 133117 31 0 0 25 0 8 0 545543569 1242476544 261540 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670269 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28824/tid=28828] ppid=28822 vsize=1213356 CPUtime=1331.21 cores=0-7
/proc/28824/task/28828/stat : 28828 (claspmt) R 28822 28824 28500 0 -1 4202560 30727 0 0 0 133093 28 0 0 25 0 8 0 545543569 1242476544 261540 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28824/tid=28829] ppid=28822 vsize=1213356 CPUtime=1327.32 cores=0-7
/proc/28824/task/28829/stat : 28829 (claspmt) R 28822 28824 28500 0 -1 4202560 31684 0 0 0 132701 31 0 0 25 0 8 0 545543569 1242476544 261540 33554432000 4194304 4964704 140734693891424 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28824/tid=28830] ppid=28822 vsize=1213356 CPUtime=1329.75 cores=0-7
/proc/28824/task/28830/stat : 28830 (claspmt) R 28822 28824 28500 0 -1 4202560 30468 0 0 0 132949 26 0 0 25 0 8 0 545543569 1242476544 261540 33554432000 4194304 4964704 140734693891424 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28824/tid=28831] ppid=28822 vsize=1213356 CPUtime=1328.39 cores=0-7
/proc/28824/task/28831/stat : 28831 (claspmt) R 28822 28824 28500 0 -1 4202560 25967 0 0 0 132809 30 0 0 25 0 8 0 545543569 1242476544 261540 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28824/tid=28832] ppid=28822 vsize=1213356 CPUtime=1331.43 cores=0-7
/proc/28824/task/28832/stat : 28832 (claspmt) R 28822 28824 28500 0 -1 4202560 47740 0 0 0 133100 43 0 0 25 0 8 0 545543569 1242476544 261540 33554432000 4194304 4964704 140734693891424 18446744073709551615 4324768 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10642.1
Current children cumulated vsize (KiB) 1213356

[startup+1344.5 s]
/proc/loadavg: 8.06 8.04 8.00 9/225 28868
/proc/meminfo: memFree=28259600/32951124 swapFree=67107192/67111528
[pid=28824] ppid=28822 vsize=1213356 CPUtime=10744.4 cores=0-7
/proc/28824/stat : 28824 (claspmt) R 28822 28824 28500 0 -1 4202496 263113 0 0 0 1074189 248 0 0 25 0 8 0 545543566 1242476544 261546 33554432000 4194304 4964704 140734693891424 18446744073709551615 4669399 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/28824/statm: 303339 261546 466 189 0 297688 0
[pid=28824/tid=28826] ppid=28822 vsize=1213356 CPUtime=1343.78 cores=0-7
/proc/28824/task/28826/stat : 28826 (claspmt) R 28822 28824 28500 0 -1 4202560 19518 0 0 0 134357 21 0 0 25 0 8 0 545543569 1242476544 261546 33554432000 4194304 4964704 140734693891424 18446744073709551615 4684040 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=28824/tid=28827] ppid=28822 vsize=1213356 CPUtime=1344.28 cores=0-7
/proc/28824/task/28827/stat : 28827 (claspmt) R 28822 28824 28500 0 -1 4202560 38678 0 0 0 134397 31 0 0 25 0 8 0 545543569 1242476544 261546 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28824/tid=28828] ppid=28822 vsize=1213356 CPUtime=1344 cores=0-7
/proc/28824/task/28828/stat : 28828 (claspmt) R 28822 28824 28500 0 -1 4202560 30727 0 0 0 134372 28 0 0 25 0 8 0 545543569 1242476544 261546 33554432000 4194304 4964704 140734693891424 18446744073709551615 4342174 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28824/tid=28829] ppid=28822 vsize=1213356 CPUtime=1340.11 cores=0-7
/proc/28824/task/28829/stat : 28829 (claspmt) R 28822 28824 28500 0 -1 4202560 31685 0 0 0 133980 31 0 0 25 0 8 0 545543569 1242476544 261546 33554432000 4194304 4964704 140734693891424 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28824/tid=28830] ppid=28822 vsize=1213356 CPUtime=1342.54 cores=0-7
/proc/28824/task/28830/stat : 28830 (claspmt) R 28822 28824 28500 0 -1 4202560 30468 0 0 0 134228 26 0 0 25 0 8 0 545543569 1242476544 261546 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28824/tid=28831] ppid=28822 vsize=1213356 CPUtime=1341.11 cores=0-7
/proc/28824/task/28831/stat : 28831 (claspmt) R 28822 28824 28500 0 -1 4202560 25970 0 0 0 134081 30 0 0 25 0 8 0 545543569 1242476544 261546 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=28824/tid=28832] ppid=28822 vsize=1213356 CPUtime=1344.23 cores=0-7
/proc/28824/task/28832/stat : 28832 (claspmt) R 28822 28824 28500 0 -1 4202560 47740 0 0 0 134380 43 0 0 25 0 8 0 545543569 1242476544 261546 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10744.4
Current children cumulated vsize (KiB) 1213356

[startup+1347.7 s]
/proc/loadavg: 8.06 8.04 8.00 9/225 28868
/proc/meminfo: memFree=28259476/32951124 swapFree=67107192/67111528
[pid=28824] ppid=28822 vsize=1213356 CPUtime=10770 cores=0-7
/proc/28824/stat : 28824 (claspmt) R 28822 28824 28500 0 -1 4202496 263115 0 0 0 1076747 248 0 0 25 0 8 0 545543566 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 210204302689 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/28824/statm: 303339 261548 466 189 0 297688 0
[pid=28824/tid=28826] ppid=28822 vsize=1213356 CPUtime=1346.98 cores=0-7
/proc/28824/task/28826/stat : 28826 (claspmt) R 28822 28824 28500 0 -1 4202560 19518 0 0 0 134677 21 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4320872 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=28824/tid=28827] ppid=28822 vsize=1213356 CPUtime=1347.48 cores=0-7
/proc/28824/task/28827/stat : 28827 (claspmt) R 28822 28824 28500 0 -1 4202560 38679 0 0 0 134717 31 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670230 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28824/tid=28828] ppid=28822 vsize=1213356 CPUtime=1347.2 cores=0-7
/proc/28824/task/28828/stat : 28828 (claspmt) R 28822 28824 28500 0 -1 4202560 30727 0 0 0 134692 28 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28824/tid=28829] ppid=28822 vsize=1213356 CPUtime=1343.31 cores=0-7
/proc/28824/task/28829/stat : 28829 (claspmt) R 28822 28824 28500 0 -1 4202560 31685 0 0 0 134300 31 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4654520 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28824/tid=28830] ppid=28822 vsize=1213356 CPUtime=1345.74 cores=0-7
/proc/28824/task/28830/stat : 28830 (claspmt) R 28822 28824 28500 0 -1 4202560 30468 0 0 0 134548 26 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28824/tid=28831] ppid=28822 vsize=1213356 CPUtime=1344.3 cores=0-7
/proc/28824/task/28831/stat : 28831 (claspmt) R 28822 28824 28500 0 -1 4202560 25971 0 0 0 134400 30 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4320955 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=28824/tid=28832] ppid=28822 vsize=1213356 CPUtime=1347.42 cores=0-7
/proc/28824/task/28832/stat : 28832 (claspmt) R 28822 28824 28500 0 -1 4202560 47740 0 0 0 134699 43 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4321029 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10770
Current children cumulated vsize (KiB) 1213356

[startup+1349.3 s]
/proc/loadavg: 8.06 8.04 8.00 9/225 28868
/proc/meminfo: memFree=28259472/32951124 swapFree=67107192/67111528
[pid=28824] ppid=28822 vsize=1213356 CPUtime=10782.7 cores=0-7
/proc/28824/stat : 28824 (claspmt) R 28822 28824 28500 0 -1 4202496 263115 0 0 0 1078025 248 0 0 25 0 8 0 545543566 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/28824/statm: 303339 261548 466 189 0 297688 0
[pid=28824/tid=28826] ppid=28822 vsize=1213356 CPUtime=1348.58 cores=0-7
/proc/28824/task/28826/stat : 28826 (claspmt) R 28822 28824 28500 0 -1 4202560 19518 0 0 0 134837 21 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4669306 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=28824/tid=28827] ppid=28822 vsize=1213356 CPUtime=1349.08 cores=0-7
/proc/28824/task/28827/stat : 28827 (claspmt) R 28822 28824 28500 0 -1 4202560 38679 0 0 0 134877 31 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28824/tid=28828] ppid=28822 vsize=1213356 CPUtime=1348.8 cores=0-7
/proc/28824/task/28828/stat : 28828 (claspmt) R 28822 28824 28500 0 -1 4202560 30727 0 0 0 134852 28 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28824/tid=28829] ppid=28822 vsize=1213356 CPUtime=1344.91 cores=0-7
/proc/28824/task/28829/stat : 28829 (claspmt) R 28822 28824 28500 0 -1 4202560 31685 0 0 0 134460 31 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28824/tid=28830] ppid=28822 vsize=1213356 CPUtime=1347.34 cores=0-7
/proc/28824/task/28830/stat : 28830 (claspmt) R 28822 28824 28500 0 -1 4202560 30468 0 0 0 134708 26 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28824/tid=28831] ppid=28822 vsize=1213356 CPUtime=1345.9 cores=0-7
/proc/28824/task/28831/stat : 28831 (claspmt) R 28822 28824 28500 0 -1 4202560 25971 0 0 0 134560 30 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=28824/tid=28832] ppid=28822 vsize=1213356 CPUtime=1349 cores=0-7
/proc/28824/task/28832/stat : 28832 (claspmt) R 28822 28824 28500 0 -1 4202560 47740 0 0 0 134857 43 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10782.7
Current children cumulated vsize (KiB) 1213356

[startup+1350.1 s]
/proc/loadavg: 8.06 8.04 8.00 9/225 28868
/proc/meminfo: memFree=28259472/32951124 swapFree=67107192/67111528
[pid=28824] ppid=28822 vsize=1213356 CPUtime=10789.1 cores=0-7
/proc/28824/stat : 28824 (claspmt) R 28822 28824 28500 0 -1 4202496 263115 0 0 0 1078665 248 0 0 25 0 8 0 545543566 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4684027 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/28824/statm: 303339 261548 466 189 0 297688 0
[pid=28824/tid=28826] ppid=28822 vsize=1213356 CPUtime=1349.38 cores=0-7
/proc/28824/task/28826/stat : 28826 (claspmt) R 28822 28824 28500 0 -1 4202560 19518 0 0 0 134917 21 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4660355 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=28824/tid=28827] ppid=28822 vsize=1213356 CPUtime=1349.88 cores=0-7
/proc/28824/task/28827/stat : 28827 (claspmt) R 28822 28824 28500 0 -1 4202560 38679 0 0 0 134957 31 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28824/tid=28828] ppid=28822 vsize=1213356 CPUtime=1349.6 cores=0-7
/proc/28824/task/28828/stat : 28828 (claspmt) R 28822 28824 28500 0 -1 4202560 30727 0 0 0 134932 28 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28824/tid=28829] ppid=28822 vsize=1213356 CPUtime=1345.71 cores=0-7
/proc/28824/task/28829/stat : 28829 (claspmt) R 28822 28824 28500 0 -1 4202560 31685 0 0 0 134540 31 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28824/tid=28830] ppid=28822 vsize=1213356 CPUtime=1348.14 cores=0-7
/proc/28824/task/28830/stat : 28830 (claspmt) R 28822 28824 28500 0 -1 4202560 30468 0 0 0 134788 26 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28824/tid=28831] ppid=28822 vsize=1213356 CPUtime=1346.7 cores=0-7
/proc/28824/task/28831/stat : 28831 (claspmt) R 28822 28824 28500 0 -1 4202560 25971 0 0 0 134640 30 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=28824/tid=28832] ppid=28822 vsize=1213356 CPUtime=1349.8 cores=0-7
/proc/28824/task/28832/stat : 28832 (claspmt) R 28822 28824 28500 0 -1 4202560 47740 0 0 0 134937 43 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4669423 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10789.1
Current children cumulated vsize (KiB) 1213356

[startup+1350.9 s]
/proc/loadavg: 8.06 8.04 8.00 9/225 28868
/proc/meminfo: memFree=28259472/32951124 swapFree=67107192/67111528
[pid=28824] ppid=28822 vsize=1213356 CPUtime=10795.5 cores=0-7
/proc/28824/stat : 28824 (claspmt) R 28822 28824 28500 0 -1 4202496 263115 0 0 0 1079303 248 0 0 25 0 8 0 545543566 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/28824/statm: 303339 261548 466 189 0 297688 0
[pid=28824/tid=28826] ppid=28822 vsize=1213356 CPUtime=1350.18 cores=0-7
/proc/28824/task/28826/stat : 28826 (claspmt) R 28822 28824 28500 0 -1 4202560 19518 0 0 0 134997 21 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4669429 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=28824/tid=28827] ppid=28822 vsize=1213356 CPUtime=1350.67 cores=0-7
/proc/28824/task/28827/stat : 28827 (claspmt) R 28822 28824 28500 0 -1 4202560 38679 0 0 0 135036 31 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4669423 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=28824/tid=28828] ppid=28822 vsize=1213356 CPUtime=1350.4 cores=0-7
/proc/28824/task/28828/stat : 28828 (claspmt) R 28822 28824 28500 0 -1 4202560 30727 0 0 0 135012 28 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670215 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=28824/tid=28829] ppid=28822 vsize=1213356 CPUtime=1346.51 cores=0-7
/proc/28824/task/28829/stat : 28829 (claspmt) R 28822 28824 28500 0 -1 4202560 31685 0 0 0 134620 31 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=28824/tid=28830] ppid=28822 vsize=1213356 CPUtime=1348.94 cores=0-7
/proc/28824/task/28830/stat : 28830 (claspmt) R 28822 28824 28500 0 -1 4202560 30468 0 0 0 134868 26 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4343034 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=28824/tid=28831] ppid=28822 vsize=1213356 CPUtime=1347.5 cores=0-7
/proc/28824/task/28831/stat : 28831 (claspmt) R 28822 28824 28500 0 -1 4202560 25971 0 0 0 134720 30 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=28824/tid=28832] ppid=28822 vsize=1213356 CPUtime=1350.59 cores=0-7
/proc/28824/task/28832/stat : 28832 (claspmt) R 28822 28824 28500 0 -1 4202560 47740 0 0 0 135016 43 0 0 25 0 8 0 545543569 1242476544 261548 33554432000 4194304 4964704 140734693891424 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10795.5
Current children cumulated vsize (KiB) 1213356

[startup+1351.3 s]
/proc/loadavg: 8.05 8.04 8.00 2/218 28868
/proc/meminfo: memFree=28259528/32951124 swapFree=67107192/67111528
[pid=28824] ppid=28822 vsize=1211968 CPUtime=10798.2 cores=0-7
/proc/28824/stat : 28824 (claspmt) R 28822 28824 28500 0 -1 4202496 263125 0 0 0 1079575 248 0 0 25 0 1 0 545543566 1241055232 261271 33554432000 4194304 4964704 140734693891424 18446744073709551615 210204690567 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/28824/statm: 302992 261271 476 189 0 297341 0
Current children cumulated CPU time (s) 10798.2
Current children cumulated vsize (KiB) 1211968

[startup+1351.41 s]
/proc/loadavg: 8.05 8.04 8.00 2/218 28868
/proc/meminfo: memFree=28259528/32951124 swapFree=67107192/67111528
[pid=28824] ppid=28822 vsize=814972 CPUtime=10798.3 cores=0-7
/proc/28824/stat : 28824 (claspmt) R 28822 28824 28500 0 -1 4202496 263125 0 0 0 1079582 251 0 0 25 0 1 0 545543566 834531328 130280 33554432000 4194304 4964704 140734693891424 18446744073709551615 210204690567 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/28824/statm: 203743 130280 476 189 0 198092 0
Current children cumulated CPU time (s) 10798.3
Current children cumulated vsize (KiB) 814972

Child status: 10
Real time (s): 1351.44
CPU time (s): 10798.4
CPU user time (s): 10795.8
CPU system time (s): 2.53961
CPU usage (%): 799.029
Max. virtual memory (cumulated for all children) (KiB): 1213356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10795.8
system time used= 2.53961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 263126
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= 102373
involuntary context switches= 51131

runsolver used 2.43163 second user time and 6.41003 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-02 14:30:51
IDJOB=3321418
IDBENCH=70930
IDSOLVER=1711
FILE ID=node130/3321418-1304339451
RUNJOBID= node130-1304337930-28514
PBS_JOBID= 13178050
Free space on /tmp= 73544 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT09/CRAFTED/edgematching/fbcolors/em_8_4_5_fbc.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-3321418-1304339451/watcher-3321418-1304339451 -o /tmp/evaluation-result-3321418-1304339451/solver-3321418-1304339451 -C 40000 -W 5100 -M 31000  HOME/claspmt -t8 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3321418-1304339451.cnf

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

MD5SUM BENCH= 6fdce6b69c397ad71b0f25957edff1fa
RANDOM SEED=2099577690

node130.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.838
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.67
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.838
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.838
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.838
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.81
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.838
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.75
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.838
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.838
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.838
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29301328 kB
Buffers:        260468 kB
Cached:        1783492 kB
SwapCached:       2028 kB
Active:        1792280 kB
Inactive:      1561804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29301328 kB
SwapTotal:    67111528 kB
SwapFree:     67107192 kB
Dirty:            1528 kB
Writeback:           0 kB
AnonPages:     1309660 kB
Mapped:          19160 kB
Slab:           219428 kB
PageTables:      12320 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 20416908 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 node130 at 2011-05-02 14:53:22