Trace number 3347651

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
ppfolio parSAT 13959.4 444.857

General information on the benchmark

NameSAT04/industrial/vangelder/
cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf
MD5SUM65c5a1442ec07e466934f093e50229c2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark13959.4
Satisfiable
(Un)Satisfiability was proved
Number of variables6228
Number of clauses484871
Sum of the clauses size3850952
Maximum clause length8
Minimum clause length1
Number of clauses of size 115
Number of clauses of size 24651
Number of clauses of size 31
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5480204

Solver Data 

0.00/0.00	This is pico-portfolio, a naive parallel portfolio
0.00/0.00	Copyright (C) 2011 Olivier Roussel
0.00/0.00	Using 32 processing units
0.00/0.00	This portfolio uses the following solvers:
0.00/0.00	[1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.00	[2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.00	[3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.00	[4] march_hi 2009 (Marijn Heule and Hans Van Maaren)
0.00/0.00	[5] plingeling 276-6264d55-100731 (Armin Biere)
0.00/0.00	Starting cryptominisat 2.7.1 on core(s) 0
0.00/0.00	Starting clasp 1.3.6 on core(s) 1
0.00/0.00	Starting TNM 2009 on core(s) 2
0.00/0.00	Starting march_hi 2009 on core(s) 3
0.00/0.00	Starting plingeling 276-6264d55-100731 on core(s) 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
13959.11/444.84	s SATISFIABLE
13959.11/444.84	v -1 -2 -3 -4 -5 -6 -7
13959.11/444.84	v -8 -9 -10 -11 -12 13 -14 -15
13959.11/444.84	v -16 17 -18 19 -20 -21 -22 -23
13959.11/444.84	v -24 25 -26 -27 -28 29 30 -31
13959.11/444.84	v -32 -33 -34 -35 -36 -37 -38 -39
13959.11/444.84	v -40 -41 -42 -43 -44 45 -46 -47
13959.11/444.84	v -48 49 -50 51 -52 -53 -54 -55
13959.11/444.84	v -56 57 -58 -59 -60 -61 -62 63
13959.11/444.84	v -64 -65 -66 -67 -68 69 -70 -71
13959.11/444.84	v -72 73 -74 75 -76 -77 -78 -79
13959.11/444.84	v -80 81 -82 -83 -84 85 -86 87
13959.11/444.84	v -88 -89 -90 -91 -92 -93 94 95
13959.11/444.84	v -96 -97 -98 -99 100 -101 102 -103
13959.11/444.84	v -104 -105 -106 107 -108 -109 -110 -111
13959.11/444.84	v -112 -113 114 115 -116 117 -118 119
13959.11/444.84	v -120 121 122 123 -124 -125 126 -127
13959.11/444.84	v -128 -129 -130 -131 -132 133 134 -135
13959.11/444.84	v -136 137 -138 139 -140 -141 -142 143
13959.11/444.84	v -144 145 146 147 -148 -149 -150 -151
13959.11/444.84	v -152 153 -154 -155 -156 -157 -158 159
13959.11/444.84	v -160 -161 -162 -163 -164 165 -166 -167
13959.11/444.84	v -168 -169 -170 171 -172 -173 -174 -175
13959.11/444.84	v -176 -177 178 179 -180 -181 -182 -183
13959.11/444.84	v 184 -185 186 -187 -188 -189 -190 191
13959.11/444.84	v -192 -193 -194 -195 -196 197 -198 199
13959.11/444.84	v -200 -201 -202 203 -204 205 206 207
13959.11/444.84	v -208 -209 -210 -211 212 -213 -214 -215
13959.11/444.84	v -216 -217 218 -219 -220 221 222 -223
13959.11/444.84	v -224 -225 -226 -227 228 229 230 231
13959.11/444.84	v -232 -233 -234 -235 -236 -237 238 239
13959.11/444.84	v -240 241 -242 243 -244 245 246 247
13959.11/444.84	v -248 -249 250 -251 -252 -253 -254 -255
13959.11/444.84	v -256 257 -258 259 -260 -261 -262 263
13959.11/444.84	v -264 265 266 267 -268 -269 -270 -271
13959.11/444.84	v 272 -273 -274 -275 -276 277 278 -279
13959.11/444.84	v -280 -281 282 -283 -284 -285 -286 287
13959.11/444.84	v -288 -289 290 291 -292 -293 -294 -295
13959.11/444.84	v -296 297 298 -299 -300 -301 -302 -303
13959.11/444.84	v 304 305 -306 307 -308 -309 -310 311
13959.11/444.84	v -312 -313 -314 -315 -316 317 318 319
13959.11/444.84	v -320 321 -322 -323 -324 -325 -326 327
13959.11/444.84	v -328 329 -330 331 -332 -333 -334 -335
13959.11/444.84	v -336 337 338 -339 -340 341 -342 343
13959.11/444.84	v -344 -345 -346 347 -348 349 350 351
13959.11/444.84	v -352 -353 -354 -355 -356 -357 358 -359
13959.11/444.84	v -360 361 362 -363 -364 -365 -366 -367
13959.11/444.84	v 368 369 370 371 -372 -373 -374 -375
13959.11/444.84	v -376 377 378 -379 -380 -381 382 -383
13959.11/444.84	v -384 -385 -386 387 -388 -389 390 391
13959.11/444.84	v -392 -393 -394 -395 -396 -397 -398 -399
13959.11/444.84	v 400 -401 402 403 -404 405 -406 407
13959.11/444.84	v -408 -409 410 -411 -412 -413 -414 -415
13959.11/444.84	v -416 417 -418 -419 -420 421 422 423
13959.11/444.84	v -424 425 426 -427 -428 429 -430 431
13959.11/444.84	v -432 -433 -434 -435 -436 437 438 439
13959.11/444.84	v -440 -441 -442 -443 444 445 -446 447
13959.11/444.84	v -448 -449 -450 451 -452 -453 -454 -455
13959.11/444.84	v -456 -457 -458 -459 460 461 462 463
13959.11/444.84	v -464 465 -466 467 -468 -469 470 -471
13959.11/444.84	v -472 473 474 -475 -476 477 -478 -479
13959.11/444.84	v -480 -481 482 -483 -484 -485 -486 -487
13959.11/444.84	v 488 -489 490 491 -492 -493 -494 -495
13959.11/444.84	v -496 497 -498 499 -500 -501 -502 503
13959.11/444.84	v -504 -505 506 507 -508 509 510 511
13959.11/444.84	v -512 -513 -514 -515 516 -517 -518 -519
13959.11/444.84	v -520 521 -522 523 -524 -525 526 -527
13959.11/444.84	v -528 529 530 531 -532 -533 -534 -535
13959.11/444.84	v 536 -537 -538 -539 -540 541 542 543
13959.11/444.84	v -544 545 -546 -547 -548 -549 -550 551
13959.11/444.84	v -552 553 -554 555 -556 -557 -558 -559
13959.11/444.84	v -560 561 -562 -563 -564 565 566 567
13959.11/444.84	v -568 569 570 -571 -572 573 -574 575
13959.11/444.84	v -576 -577 -578 -579 -580 581 -582 -583
13959.11/444.84	v -584 -585 586 -587 -588 -589 -590 -591
13959.11/444.84	v 592 -593 594 595 -596 -597 -598 -599
13959.11/444.84	v -600 -601 -602 603 -604 605 -606 607
13959.11/444.84	v -608 -609 610 -611 -612 613 614 615
13959.11/444.84	v -616 617 -618 -619 -620 -621 -622 -623
13959.11/444.84	v -624 -625 -626 627 -628 -629 630 631
13959.11/444.84	v -632 633 634 635 -636 637 -638 -639
13959.11/444.84	v -640 -641 -642 -643 -644 645 -646 647
13959.11/444.84	v -648 -649 -650 651 -652 -653 654 655
13959.11/444.84	v -656 657 658 659 -660 -661 -662 -663
13959.11/444.84	v 664 -665 -666 -667 -668 -669 -670 671
13959.11/444.84	v -672 673 -674 675 -676 -677 678 -679
13959.11/444.84	v -680 681 682 683 -684 685 -686 -687
13959.11/444.84	v -688 -689 -690 -691 -692 -693 694 -695
13959.11/444.84	v -696 697 -698 -699 -700 -701 -702 -703
13959.11/444.84	v -704 -705 706 707 -708 709 710 711
13959.11/444.84	v -712 713 -714 -715 -716 717 -718 719
13959.11/444.84	v -720 -721 -722 723 -724 -725 -726 -727
13959.11/444.84	v -728 -729 730 -731 -732 733 734 735
13959.11/444.84	v -736 737 -738 -739 -740 741 -742 743
13959.11/444.84	v -744 -745 -746 747 -748 -749 -750 -751
13959.11/444.84	v -752 753 -754 755 -756 -757 -758 759
13959.11/444.84	v -760 761 762 763 -764 -765 -766 -767
13959.11/444.84	v 768 -769 -770 -771 -772 -773 -774 775
13959.11/444.84	v -776 -777 778 779 -780 781 782 783
13959.11/444.84	v -784 785 -786 -787 -788 -789 -790 -791
13959.11/444.84	v -792 793 -794 -795 -796 -797 -798 -799
13959.11/444.84	v -800 801 802 803 -804 805 -806 -807
13959.11/444.84	v -808 809 -810 811 -812 -813 814 -815
13959.11/444.84	v -816 -817 -818 -819 -820 821 822 823
13959.11/444.84	v -824 825 -826 -827 -828 -829 830 831
13959.11/444.84	v -832 -833 -834 835 -836 -837 -838 -839
13959.11/444.84	v -840 -841 842 843 -844 845 846 847
13959.11/444.84	v -848 849 -850 -851 -852 853 -854 855
13959.11/444.84	v -856 -857 -858 859 -860 -861 -862 -863
13959.11/444.84	v -864 865 866 867 -868 869 -870 -871
13959.11/444.84	v -872 873 -874 875 -876 -877 878 -879
13959.11/444.84	v -880 -881 -882 -883 -884 885 886 -887
13959.11/444.84	v -888 -889 890 -891 -892 -893 894 895
13959.11/444.84	v -896 -897 -898 -899 900 -901 -902 -903
13959.11/444.84	v -904 905 -906 907 -908 -909 -910 911
13959.11/444.84	v -912 -913 914 915 -916 917 -918 -919
13959.11/444.84	v -920 921 922 923 -924 -925 -926 -927
13959.11/444.84	v -928 929 -930 931 -932 -933 934 -935
13959.11/444.84	v -936 937 -938 -939 -940 941 942 943
13959.11/444.84	v -944 -945 -946 -947 -948 949 -950 951
13959.11/444.84	v -952 -953 954 -955 -956 957 -958 -959
13959.11/444.84	v -960 -961 962 963 -964 -965 -966 -967
13959.11/444.84	v -968 -969 970 -971 -972 973 974 975
13959.11/444.84	v -976 977 978 -979 -980 981 -982 983
13959.11/444.84	v -984 -985 -986 987 -988 -989 -990 -991
13959.11/444.84	v -992 993 994 995 -996 997 998 -999
13959.11/444.84	v -1000 -1001 1002 1003 -1004 -1005 -1006 1007
13959.11/444.84	v -1008 -1009 -1010 -1011 -1012 1013 1014 -1015
13959.11/444.84	v -1016 -1017 1018 -1019 -1020 -1021 1022 1023
13959.11/444.84	v -1024 -1025 -1026 -1027 1028 -1029 -1030 -1031
13959.11/444.84	v -1032 1033 -1034 1035 -1036 -1037 -1038 1039
13959.11/444.84	v -1040 -1041 1042 -1043 -1044 1045 -1046 -1047
13959.11/444.84	v -1048 1049 1050 1051 -1052 -1053 -1054 -1055
13959.11/444.84	v -1056 1057 -1058 1059 -1060 -1061 -1062 1063
13959.11/444.84	v -1064 1065 -1066 -1067 -1068 1069 1070 1071
13959.11/444.84	v -1072 -1073 -1074 -1075 -1076 1077 -1078 1079
13959.11/444.84	v -1080 -1081 -1082 -1083 1084 1085 -1086 -1087
13959.11/444.84	v -1088 1089 1090 -1091 -1092 -1093 -1094 -1095
13959.11/444.84	v -1096 1097 -1098 1099 -1100 -1101 -1102 1103
13959.11/444.84	v -1104 -1105 1106 1107 -1108 1109 -1110 -1111
13959.11/444.84	v -1112 1113 1114 1115 -1116 -1117 -1118 -1119
13959.11/444.84	v -1120 1121 -1122 1123 -1124 -1125 -1126 1127
13959.11/444.84	v -1128 -1129 1130 -1131 -1132 1133 -1134 -1135
13959.11/444.84	v -1136 1137 1138 1139 -1140 -1141 -1142 -1143
13959.11/444.84	v -1144 -1145 1146 -1147 -1148 -1149 -1150 -1151
13959.11/444.84	v 1152 1153 1154 1155 -1156 -1157 -1158 1159
13959.11/444.84	v -1160 1161 1162 -1163 -1164 -1165 -1166 -1167
13959.11/444.84	v -1168 -1169 1170 -1171 -1172 1173 -1174 -1175
13959.11/444.84	v -1176 -1177 -1178 -1179 -1180 -1181 1182 1183
13959.11/444.84	v -1184 1185 -1186 -1187 -1188 1189 1190 1191
13959.11/444.84	v -1192 1193 -1194 1195 -1196 -1197 -1198 1199
13959.11/444.84	v -1200 -1201 -1202 -1203 -1204 1205 -1206 1207
13959.11/444.84	v -1208 -1209 1210 -1211 -1212 1213 -1214 -1215
13959.11/444.84	v -1216 1217 1218 1219 -1220 -1221 -1222 -1223
13959.11/444.84	v -1224 1225 -1226 1227 -1228 -1229 -1230 1231
13959.11/444.84	v -1232 1233 -1234 -1235 -1236 1237 1238 1239
13959.11/444.84	v -1240 -1241 -1242 -1243 -1244 -1245 1246 1247
13959.11/444.84	v -1248 1249 -1250 -1251 -1252 -1253 -1254 -1255
13959.11/444.84	v -1256 -1257 -1258 -1259 1260 1261 1262 1263
13959.11/444.84	v -1264 -1265 -1266 1267 -1268 1269 1270 -1271
13959.11/444.84	v -1272 -1273 -1274 -1275 -1276 1277 -1278 -1279
13959.11/444.84	v -1280 1281 1282 1283 -1284 1285 -1286 1287
13959.11/444.84	v -1288 -1289 -1290 1291 -1292 -1293 -1294 -1295
13959.11/444.84	v -1296 1297 -1298 1299 -1300 -1301 1302 -1303
13959.11/444.84	v -1304 1305 -1306 -1307 -1308 -1309 1310 1311
13959.11/444.84	v -1312 -1313 -1314 -1315 -1316 1317 -1318 1319
13959.11/444.84	v -1320 -1321 -1322 -1323 1324 1325 -1326 -1327
13959.11/444.84	v -1328 1329 1330 -1331 -1332 -1333 -1334 -1335
13959.11/444.84	v -1336 -1337 1338 -1339 -1340 -1341 -1342 -1343
13959.11/444.84	v 1344 1345 1346 1347 -1348 -1349 -1350 1351
13959.11/444.84	v -1352 1353 1354 -1355 -1356 -1357 -1358 -1359
13959.11/444.84	v -1360 -1361 -1362 -1363 1364 1365 1366 1367
13959.11/444.84	v -1368 -1369 -1370 1371 -1372 1373 1374 -1375
13959.11/444.84	v -1376 -1377 -1378 -1379 -1380 1381 -1382 -1383
13959.11/444.84	v -1384 1385 1386 -1387 -1388 1389 -1390 1391
13959.11/444.84	v -1392 -1393 1394 -1395 -1396 -1397 -1398 -1399
13959.11/444.84	v -1400 -1401 -1402 1403 -1404 -1405 1406 1407
13959.11/444.84	v -1408 -1409 1410 -1411 -1412 -1413 -1414 -1415
13959.11/444.84	v 1416 -1417 -1418 -1419 -1420 1421 -1422 -1423
13959.11/444.84	v -1424 1425 1426 -1427 -1428 1429 -1430 1431
13959.11/444.84	v -1432 1433 1434 1435 -1436 -1437 -1438 -1439
13959.11/444.84	v -1440 -1441 1442 1443 -1444 1445 -1446 -1447
13959.11/444.84	v -1448 1449 1450 1451 -1452 1453 -1454 1455
13959.11/444.84	v -1456 -1457 -1458 1459 -1460 -1461 -1462 -1463
13959.11/444.84	v -1464 1465 -1466 -1467 -1468 1469 1470 1471
13959.11/444.84	v -1472 1473 -1474 1475 -1476 -1477 1478 -1479
13959.11/444.84	v -1480 -1481 -1482 -1483 -1484 1485 -1486 -1487
13959.11/444.84	v -1488 -1489 1490 1491 -1492 1493 -1494 1495
13959.11/444.84	v -1496 -1497 1498 -1499 -1500 -1501 -1502 -1503
13959.11/444.84	v -1504 1505 -1506 1507 -1508 -1509 -1510 1511
13959.11/444.84	v -1512 1513 1514 -1515 -1516 1517 -1518 -1519
13959.11/444.84	v -1520 -1521 -1522 -1523 -1524 -1525 -1526 -1527
13959.11/444.84	v 1528 -1529 -1530 1531 -1532 -1533 1534 1535
13959.11/444.84	v -1536 1537 1538 1539 -1540 -1541 -1542 -1543
13959.11/444.84	v -1544 -1545 -1546 1547 -1548 -1549 1550 1551
13959.11/444.84	v -1552 -1553 1554 -1555 -1556 -1557 -1558 -1559
13959.11/444.84	v 1560 -1561 -1562 -1563 -1564 1565 -1566 1567
13959.11/444.84	v -1568 -1569 -1570 1571 -1572 1573 1574 -1575
13959.11/444.84	v -1576 1577 -1578 -1579 -1580 -1581 -1582 -1583
13959.11/444.84	v -1584 1585 1586 -1587 -1588 1589 -1590 -1591
13959.11/444.84	v -1592 -1593 1594 1595 -1596 1597 1598 1599
13959.11/444.84	v -1600 -1601 -1602 -1603 -1604 1605 1606 -1607
13959.11/444.84	v -1608 1609 -1610 -1611 -1612 -1613 -1614 1615
13959.11/444.84	v -1616 1617 -1618 1619 -1620 -1621 -1622 -1623
13959.11/444.84	v -1624 1625 1626 -1627 -1628 -1629 -1630 -1631
13959.11/444.84	v 1632 -1633 1634 1635 -1636 -1637 -1638 1639
13959.11/444.84	v -1640 -1641 -1642 -1643 -1644 1645 -1646 -1647
13959.11/444.84	v -1648 1649 1650 -1651 -1652 1653 -1654 1655
13959.11/444.84	v -1656 1657 1658 1659 -1660 -1661 -1662 -1663
13959.11/444.84	v -1664 -1665 -1666 -1667 1668 -1669 1670 -1671
13959.11/444.84	v -1672 -1673 1674 1675 -1676 1677 1678 1679
13959.11/444.84	v -1680 -1681 -1682 -1683 -1684 -1685 1686 -1687
13959.11/444.84	v -1688 -1689 -1690 -1691 1692 1693 -1694 1695
13959.11/444.84	v -1696 1697 1698 1699 -1700 -1701 -1702 1703
13959.11/444.84	v -1704 -1705 1706 1707 -1708 1709 1710 1711
13959.11/444.84	v -1712 -1713 -1714 -1715 1716 -1717 1718 -1719
13959.11/444.84	v -1720 -1721 -1722 -1723 -1724 1725 -1726 1727
13959.11/444.84	v -1728 1729 1730 1731 -1732 -1733 1734 -1735
13959.11/444.84	v -1736 1737 -1738 -1739 -1740 -1741 -1742 -1743
13959.11/444.84	v -1744 1745 1746 -1747 -1748 1749 -1750 -1751
13959.11/444.84	v -1752 -1753 -1754 1755 -1756 1757 -1758 1759
13959.11/444.84	v -1760 -1761 -1762 -1763 -1764 -1765 1766 1767
13959.11/444.84	v -1768 1769 1770 1771 -1772 -1773 -1774 1775
13959.11/444.84	v -1776 -1777 1778 -1779 -1780 -1781 -1782 -1783
13959.11/444.84	v -1784 -1785 -1786 -1787 1788 1789 -1790 1791
13959.11/444.84	v -1792 -1793 1794 1795 -1796 1797 -1798 -1799
13959.11/444.84	v -1800 -1801 -1802 -1803 -1804 -1805 -1806 1807
13959.11/444.84	v -1808 -1809 1810 -1811 -1812 -1813 1814 1815
13959.11/444.84	v -1816 1817 1818 1819 -1820 -1821 -1822 -1823
13959.11/444.84	v -1824 -1825 -1826 -1827 1828 -1829 1830 -1831
13959.11/444.84	v -1832 1833 1834 1835 -1836 1837 1838 -1839
13959.11/444.84	v -1840 -1841 -1842 -1843 -1844 1845 1846 -1847
13959.11/444.84	v -1848 -1849 -1850 -1851 1852 -1853 1854 1855
13959.11/444.84	v -1856 -1857 -1858 1859 -1860 -1861 -1862 -1863
13959.11/444.84	v -1864 1865 -1866 1867 -1868 1869 1870 1871
13959.11/444.84	v -1872 -1873 1874 -1875 -1876 1877 -1878 -1879
13959.11/444.84	v -1880 -1881 -1882 -1883 -1884 -1885 -1886 -1887
13959.11/444.84	v 1888 1889 -1890 1891 -1892 -1893 1894 1895
13959.11/444.84	v -1896 1897 -1898 -1899 -1900 -1901 -1902 -1903
13959.11/444.84	v -1904 -1905 1906 -1907 -1908 1909 -1910 -1911
13959.11/444.84	v -1912 -1913 -1914 -1915 1916 1917 -1918 1919
13959.11/444.84	v -1920 -1921 -1922 -1923 -1924 -1925 1926 -1927
13959.11/444.84	v -1928 1929 -1930 -1931 -1932 1933 1934 1935
13959.11/444.84	v -1936 1937 1938 -1939 -1940 -1941 -1942 -1943
13959.11/444.84	v -1944 -1945 -1946 1947 -1948 -1949 1950 -1951
13959.11/444.84	v -1952 -1953 1954 1955 -1956 1957 1958 1959
13959.11/444.84	v -1960 -1961 -1962 -1963 -1964 -1965 1966 -1967
13959.11/444.84	v -1968 1969 -1970 -1971 -1972 -1973 -1974 -1975
13959.11/444.84	v 1976 1977 1978 1979 -1980 -1981 -1982 -1983
13959.11/444.84	v -1984 -1985 -1986 -1987 1988 1989 -1990 1991
13959.11/444.84	v -1992 -1993 -1994 1995 -1996 1997 1998 -1999
13959.11/444.84	v -2000 -2001 -2002 -2003 -2004 -2005 2006 2007
13959.11/444.84	v -2008 2009 2010 2011 -2012 2013 -2014 -2015
13959.11/444.84	v -2016 -2017 2018 -2019 -2020 -2021 -2022 2023
13959.11/444.84	v -2024 -2025 -2026 -2027 -2028 -2029 2030 2031
13959.11/444.84	v -2032 2033 2034 2035 -2036 -2037 2038 -2039
13959.11/444.84	v -2040 -2041 -2042 2043 -2044 -2045 -2046 -2047
13959.11/444.84	v -2048 -2049 -2050 -2051 2052 2053 -2054 2055
13959.11/444.84	v -2056 -2057 2058 2059 -2060 2061 2062 -2063
13959.11/444.84	v -2064 -2065 -2066 -2067 -2068 -2069 2070 -2071
13959.11/444.84	v -2072 2073 -2074 -2075 -2076 2077 2078 2079
13959.11/444.84	v -2080 2081 2082 -2083 -2084 -2085 -2086 -2087
13959.11/444.84	v -2088 -2089 -2090 -2091 2092 2093 -2094 2095
13959.11/444.84	v -2096 -2097 -2098 2099 -2100 2101 2102 -2103
13959.11/444.84	v -2104 -2105 -2106 -2107 -2108 2109 2110 2111
13959.11/444.84	v -2112 2113 2114 -2115 -2116 2117 -2118 -2119
13959.11/444.84	v -2120 -2121 2122 -2123 -2124 -2125 -2126 -2127
13959.11/444.84	v 2128 -2129 -2130 -2131 -2132 2133 2134 2135
13959.11/444.84	v -2136 2137 2138 -2139 -2140 -2141 2142 -2143
13959.11/444.84	v -2144 -2145 -2146 -2147 2148 -2149 -2150 -2151
13959.11/444.84	v -2152 -2153 2154 2155 -2156 2157 -2158 2159
13959.11/444.84	v -2160 2161 -2162 -2163 -2164 -2165 2166 -2167
13959.11/444.84	v -2168 -2169 -2170 2171 -2172 -2173 -2174 -2175
13959.11/444.84	v -2176 -2177 2178 2179 -2180 2181 2182 -2183
13959.11/444.84	v -2184 2185 -2186 -2187 -2188 -2189 2190 -2191
13959.11/444.84	v -2192 -2193 -2194 -2195 2196 -2197 -2198 -2199
13959.11/444.84	v -2200 2201 -2202 -2203 -2204 -2205 -2206 2207
13959.11/444.84	v -2208 -2209 -2210 -2211 -2212 2213 -2214 -2215
13959.11/444.84	v -2216 -2217 2218 -2219 -2220 -2221 -2222 -2223
13959.11/444.84	v 2224 2225 2226 -2227 -2228 2229 -2230 2231
13959.11/444.84	v -2232 2233 2234 2235 -2236 2237 -2238 -2239
13959.11/444.84	v -2240 -2241 2242 -2243 -2244 -2245 -2246 2247
13959.11/444.84	v -2248 -2249 2250 2251 -2252 2253 2254 -2255
13959.11/444.84	v -2256 -2257 -2258 -2259 -2260 -2261 2262 2263
13959.11/444.84	v -2264 2265 2266 2267 -2268 -2269 2270 -2271
13959.11/444.84	v -2272 -2273 -2274 2275 -2276 -2277 -2278 -2279
13959.11/444.84	v -2280 2281 2282 2283 -2284 2285 2286 -2287
13959.11/444.84	v -2288 -2289 2290 -2291 -2292 -2293 -2294 -2295
13959.11/444.84	v 2296 -2297 -2298 -2299 -2300 -2301 -2302 2303
13959.11/444.84	v -2304 -2305 -2306 -2307 -2308 -2309 2310 -2311
13959.11/444.84	v -2312 -2313 -2314 -2315 2316 2317 2318 -2319
13959.11/444.84	v -2320 2321 -2322 2323 -2324 2325 -2326 -2327
13959.11/444.84	v -2328 -2329 2330 -2331 -2332 -2333 -2334 2335
13959.11/444.84	v -2336 -2337 2338 2339 -2340 2341 2342 -2343
13959.11/444.84	v -2344 -2345 -2346 -2347 -2348 2349 -2350 -2351
13959.11/444.84	v -2352 -2353 2354 -2355 -2356 -2357 -2358 -2359
13959.11/444.84	v 2360 2361 2362 -2363 -2364 -2365 -2366 -2367
13959.11/444.84	v -2368 2369 2370 2371 -2372 -2373 2374 -2375
13959.11/444.84	v -2376 -2377 -2378 -2379 2380 2381 2382 -2383
13959.11/444.84	v -2384 -2385 -2386 -2387 -2388 2389 2390 2391
13959.11/444.84	v -2392 -2393 -2394 2395 -2396 -2397 -2398 -2399
13959.11/444.84	v -2400 -2401 2402 2403 -2404 -2405 -2406 -2407
13959.11/444.84	v 2408 2409 2410 2411 -2412 -2413 -2414 2415
13959.11/444.84	v -2416 -2417 -2418 -2419 -2420 -2421 2422 -2423
13959.11/444.84	v -2424 2425 -2426 -2427 -2428 2429 2430 2431
13959.11/444.84	v -2432 2433 2434 -2435 -2436 2437 -2438 2439
13959.11/444.84	v -2440 -2441 -2442 -2443 2444 -2445 2446 -2447
13959.11/444.84	v -2448 2449 2450 2451 -2452 2453 -2454 -2455
13959.11/444.84	v -2456 -2457 2458 -2459 -2460 -2461 -2462 2463
13959.11/444.84	v -2464 -2465 2466 2467 -2468 2469 2470 -2471
13959.11/444.84	v -2472 2473 2474 2475 -2476 -2477 2478 -2479
13959.11/444.84	v -2480 -2481 -2482 2483 -2484 -2485 2486 2487
13959.11/444.84	v -2488 2489 2490 -2491 -2492 2493 2494 2495
13959.11/444.84	v -2496 -2497 -2498 2499 -2500 -2501 -2502 -2503
13959.11/444.84	v -2504 -2505 2506 2507 -2508 -2509 -2510 -2511
13959.11/444.84	v 2512 2513 2514 2515 -2516 -2517 2518 2519
13959.11/444.84	v -2520 -2521 -2522 -2523 2524 -2525 2526 -2527
13959.11/444.84	v -2528 2529 -2530 -2531 -2532 2533 2534 2535
13959.11/444.84	v -2536 -2537 2538 2539 -2540 2541 2542 -2543
13959.11/444.84	v -2544 -2545 -2546 -2547 -2548 -2549 2550 -2551
13959.11/444.84	v -2552 2553 2554 2555 -2556 -2557 2558 2559
13959.11/444.84	v -2560 -2561 -2562 -2563 2564 -2565 -2566 -2567
13959.11/444.84	v -2568 2569 -2570 -2571 -2572 2573 2574 2575
13959.11/444.84	v -2576 2577 -2578 2579 -2580 -2581 -2582 -2583
13959.11/444.84	v 2584 -2585 2586 -2587 -2588 -2589 -2590 -2591
13959.11/444.84	v -2592 2593 2594 2595 -2596 2597 -2598 2599
13959.11/444.84	v -2600 2601 2602 -2603 -2604 -2605 -2606 2607
13959.11/444.84	v -2608 -2609 2610 -2611 -2612 2613 -2614 -2615
13959.11/444.84	v -2616 2617 2618 2619 -2620 -2621 -2622 2623
13959.11/444.84	v -2624 -2625 -2626 -2627 -2628 -2629 2630 -2631
13959.11/444.84	v -2632 2633 -2634 -2635 -2636 2637 2638 2639
13959.11/444.84	v -2640 -2641 2642 2643 -2644 -2645 -2646 -2647
13959.11/444.84	v 2648 -2649 2650 -2651 -2652 2653 -2654 -2655
13959.11/444.84	v -2656 2657 2658 2659 -2660 2661 -2662 2663
13959.11/444.84	v -2664 2665 2666 -2667 -2668 -2669 -2670 -2671
13959.11/444.84	v 2672 -2673 -2674 2675 -2676 2677 2678 2679
13959.11/444.84	v -2680 2681 2682 -2683 -2684 2685 -2686 2687
13959.11/444.84	v -2688 -2689 -2690 -2691 2692 -2693 2694 -2695
13959.11/444.84	v -2696 2697 -2698 -2699 -2700 -2701 2702 2703
13959.11/444.84	v -2704 2705 2706 -2707 -2708 -2709 -2710 -2711
13959.11/444.84	v -2712 -2713 -2714 2715 -2716 2717 -2718 -2719
13959.11/444.84	v -2720 2721 -2722 2723 -2724 2725 2726 -2727
13959.11/444.84	v -2728 -2729 -2730 -2731 -2732 -2733 -2734 2735
13959.11/444.84	v -2736 2737 2738 2739 -2740 -2741 -2742 -2743
13959.11/444.84	v 2744 -2745 -2746 2747 -2748 2749 -2750 2751
13959.11/444.84	v -2752 2753 2754 -2755 -2756 2757 2758 2759
13959.11/444.84	v -2760 -2761 -2762 -2763 2764 -2765 -2766 2767
13959.11/444.84	v -2768 2769 2770 -2771 -2772 -2773 2774 2775
13959.11/444.84	v -2776 2777 2778 2779 -2780 -2781 2782 2783
13959.11/444.84	v -2784 -2785 -2786 -2787 2788 -2789 -2790 -2791
13959.11/444.84	v -2792 2793 -2794 -2795 -2796 2797 2798 2799
13959.11/444.84	v -2800 -2801 -2802 -2803 2804 -2805 -2806 2807
13959.11/444.84	v -2808 2809 -2810 2811 -2812 2813 2814 -2815
13959.11/444.84	v -2816 2817 2818 2819 -2820 2821 -2822 2823
13959.11/444.84	v -2824 2825 -2826 -2827 -2828 -2829 2830 -2831
13959.11/444.84	v -2832 -2833 2834 2835 -2836 2837 2838 2839
13959.11/444.84	v -2840 -2841 -2842 -2843 -2844 2845 2846 -2847
13959.11/444.84	v -2848 -2849 -2850 2851 -2852 -2853 2854 -2855
13959.11/444.84	v -2856 -2857 2858 2859 -2860 2861 2862 2863
13959.11/444.84	v -2864 2865 -2866 2867 -2868 -2869 -2870 -2871
13959.11/444.84	v 2872 -2873 2874 -2875 -2876 -2877 -2878 -2879
13959.11/444.84	v -2880 2881 2882 2883 -2884 -2885 -2886 -2887
13959.11/444.84	v 2888 -2889 -2890 2891 -2892 2893 2894 -2895
13959.11/444.84	v -2896 -2897 2898 2899 -2900 2901 2902 2903
13959.11/444.84	v -2904 2905 -2906 2907 -2908 2909 -2910 -2911
13959.11/444.84	v -2912 -2913 2914 -2915 -2916 -2917 2918 2919
13959.11/444.84	v -2920 2921 2922 2923 -2924 2925 2926 -2927
13959.11/444.84	v -2928 -2929 -2930 -2931 -2932 -2933 -2934 2935
13959.11/444.84	v -2936 -2937 -2938 -2939 2940 2941 -2942 -2943
13959.11/444.84	v -2944 2945 2946 2947 -2948 2949 2950 -2951
13959.11/444.84	v -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959
13959.11/444.84	v 2960 2961 -2962 -2963 -2964 2965 2966 2967
13959.11/444.84	v -2968 2969 2970 -2971 -2972 -2973 2974 2975
13959.11/444.84	v -2976 -2977 -2978 -2979 2980 2981 -2982 -2983
13959.11/444.84	v -2984 2985 2986 2987 -2988 2989 -2990 2991
13959.11/444.84	v -2992 2993 2994 -2995 -2996 -2997 -2998 2999
13959.11/444.84	v -3000 -3001 3002 -3003 -3004 3005 -3006 -3007
13959.11/444.84	v -3008 3009 3010 3011 -3012 -3013 -3014 -3015
13959.11/444.84	v -3016 3017 3018 -3019 -3020 -3021 -3022 3023
13959.11/444.84	v -3024 -3025 3026 -3027 -3028 -3029 3030 3031
13959.11/444.84	v -3032 3033 3034 3035 -3036 3037 3038 -3039
13959.11/444.84	v -3040 -3041 -3042 -3043 -3044 -3045 -3046 3047
13959.11/444.84	v -3048 -3049 -3050 -3051 3052 3053 -3054 -3055
13959.11/444.84	v -3056 3057 3058 3059 -3060 -3061 -3062 3063
13959.11/444.84	v -3064 -3065 3066 -3067 -3068 -3069 3070 3071
13959.11/444.84	v -3072 3073 3074 3075 -3076 -3077 -3078 3079
13959.11/444.84	v -3080 -3081 3082 -3083 -3084 -3085 3086 3087
13959.11/444.84	v -3088 -3089 -3090 -3091 -3092 3093 -3094 3095
13959.11/444.84	v -3096 3097 3098 3099 -3100 3101 3102 -3103
13959.11/444.84	v -3104 -3105 -3106 -3107 -3108 -3109 -3110 -3111
13959.11/444.84	v 3112 3113 -3114 -3115 -3116 3117 3118 3119
13959.11/444.84	v -3120 -3121 -3122 3123 -3124 -3125 3126 -3127
13959.11/444.84	v -3128 3129 -3130 -3131 -3132 3133 3134 3135
13959.11/444.84	v -3136 -3137 3138 -3139 -3140 -3141 3142 3143
13959.11/444.84	v -3144 -3145 -3146 -3147 -3148 3149 -3150 3151
13959.11/444.84	v -3152 3153 3154 3155 -3156 -3157 -3158 -3159
13959.11/444.84	v 3160 3161 -3162 -3163 -3164 -3165 -3166 3167
13959.11/444.84	v -3168 3169 -3170 3171 -3172 3173 3174 3175
13959.11/444.84	v -3176 -3177 3178 -3179 -3180 3181 -3182 -3183
13959.11/444.84	v -3184 3185 3186 -3187 -3188 3189 3190 3191
13959.11/444.84	v -3192 3193 3194 -3195 -3196 -3197 3198 3199
13959.11/444.84	v -3200 -3201 -3202 -3203 3204 3205 -3206 -3207
13959.11/444.84	v -3208 3209 3210 3211 -3212 -3213 -3214 3215
13959.11/444.84	v -3216 -3217 3218 -3219 -3220 -3221 3222 3223
13959.11/444.84	v -3224 -3225 -3226 -3227 -3228 3229 -3230 3231
13959.11/444.84	v -3232 3233 3234 3235 -3236 -3237 3238 -3239
13959.11/444.84	v -3240 -3241 3242 3243 -3244 -3245 -3246 -3247
13959.11/444.84	v -3248 3249 -3250 3251 -3252 3253 3254 3255
13959.11/444.84	v -3256 -3257 -3258 -3259 3260 3261 -3262 -3263
13959.11/444.84	v -3264 -3265 3266 -3267 -3268 -3269 3270 3271
13959.11/444.84	v -3272 3273 3274 3275 -3276 -3277 3278 -3279
13959.11/444.84	v -3280 -3281 3282 3283 -3284 -3285 -3286 -3287
13959.11/444.84	v -3288 3289 -3290 3291 -3292 3293 3294 -3295
13959.11/444.84	v -3296 3297 3298 3299 -3300 -3301 -3302 -3303
13959.11/444.84	v 3304 3305 -3306 -3307 -3308 -3309 -3310 3311
13959.11/444.84	v -3312 3313 -3314 3315 -3316 3317 3318 3319
13959.11/444.84	v -3320 -3321 -3322 -3323 3324 3325 -3326 -3327
13959.11/444.84	v -3328 -3329 3330 -3331 -3332 -3333 3334 3335
13959.11/444.84	v -3336 3337 3338 3339 -3340 -3341 -3342 -3343
13959.11/444.84	v 3344 3345 -3346 -3347 -3348 -3349 -3350 3351
13959.11/444.84	v -3352 3353 -3354 3355 -3356 3357 3358 -3359
13959.11/444.84	v -3360 3361 3362 3363 -3364 -3365 3366 -3367
13959.11/444.84	v -3368 -3369 3370 3371 -3372 3373 -3374 -3375
13959.11/444.84	v -3376 -3377 -3378 -3379 -3380 3381 3382 3383
13959.11/444.84	v -3384 -3385 3386 -3387 -3388 3389 -3390 3391
13959.11/444.84	v -3392 -3393 -3394 -3395 -3396 -3397 -3398 -3399
13959.11/444.84	v 3400 3401 3402 3403 -3404 -3405 -3406 3407
13959.11/444.84	v -3408 -3409 3410 3411 -3412 3413 -3414 -3415
13959.11/444.84	v -3416 3417 3418 -3419 -3420 3421 3422 3423
13959.11/444.84	v -3424 -3425 3426 -3427 -3428 3429 -3430 -3431
13959.11/444.84	v -3432 3433 3434 -3435 -3436 3437 3438 3439
13959.11/444.84	v -3440 -3441 3442 -3443 -3444 -3445 3446 3447
13959.11/444.84	v -3448 -3449 -3450 -3451 -3452 3453 -3454 3455
13959.11/444.84	v -3456 3457 3458 -3459 -3460 3461 3462 3463
13959.11/444.84	v -3464 -3465 -3466 -3467 3468 3469 -3470 -3471
13959.11/444.84	v -3472 -3473 -3474 3475 -3476 3477 -3478 3479
13959.11/444.84	v -3480 3481 3482 -3483 -3484 3485 3486 3487
13959.11/444.84	v -3488 -3489 3490 -3491 -3492 -3493 3494 3495
13959.11/444.84	v -3496 3497 3498 -3499 -3500 -3501 -3502 3503
13959.11/444.84	v -3504 -3505 -3506 -3507 -3508 3509 3510 3511
13959.11/444.84	v -3512 -3513 3514 -3515 -3516 3517 -3518 -3519
13959.11/444.84	v -3520 3521 3522 -3523 -3524 -3525 -3526 -3527
13959.11/444.84	v -3528 -3529 -3530 3531 -3532 3533 3534 3535
13959.11/444.84	v -3536 -3537 3538 -3539 -3540 -3541 3542 3543
13959.11/444.84	v -3544 3545 -3546 -3547 -3548 -3549 -3550 -3551
13959.11/444.84	v -3552 3553 3554 3555 -3556 -3557 -3558 -3559
13959.11/444.84	v 3560 -3561 3562 3563 -3564 3565 3566 -3567
13959.11/444.84	v -3568 -3569 -3570 3571 -3572 3573 -3574 3575
13959.11/444.84	v -3576 3577 3578 3579 -3580 3581 -3582 -3583
13959.11/444.84	v -3584 3585 -3586 3587 -3588 -3589 3590 3591
13959.11/444.84	v -3592 -3593 -3594 -3595 3596 3597 3598 3599
13959.11/444.84	v -3600 -3601 -3602 3603 -3604 -3605 -3606 -3607
13959.11/444.84	v -3608 -3609 3610 -3611 -3612 3613 3614 -3615
13959.11/444.84	v -3616 3617 3618 3619 -3620 3621 -3622 -3623
13959.11/444.84	v -3624 3625 -3626 3627 -3628 -3629 3630 -3631
13959.11/444.84	v -3632 -3633 -3634 -3635 3636 3637 3638 3639
13959.11/444.84	v -3640 -3641 -3642 3643 -3644 3645 -3646 3647
13959.11/444.84	v -3648 3649 3650 -3651 -3652 -3653 3654 3655
13959.11/444.84	v -3656 3657 3658 3659 -3660 -3661 3662 -3663
13959.11/444.84	v -3664 3665 -3666 3667 -3668 -3669 -3670 -3671
13959.11/444.84	v -3672 -3673 -3674 -3675 3676 3677 3678 3679
13959.11/444.84	v -3680 -3681 3682 -3683 -3684 3685 -3686 -3687
13959.11/444.84	v -3688 3689 3690 -3691 -3692 -3693 -3694 -3695
13959.11/444.84	v -3696 -3697 -3698 3699 -3700 3701 3702 3703
13959.11/444.84	v -3704 3705 -3706 -3707 -3708 3709 -3710 3711
13959.11/444.84	v -3712 -3713 3714 3715 -3716 -3717 -3718 -3719
13959.11/444.84	v 3720 3721 3722 3723 -3724 -3725 -3726 -3727
13959.11/444.84	v -3728 -3729 -3730 -3731 3732 -3733 3734 -3735
13959.11/444.84	v -3736 3737 -3738 3739 -3740 3741 3742 3743
13959.11/444.84	v -3744 -3745 -3746 3747 -3748 -3749 3750 3751
13959.11/444.84	v -3752 3753 -3754 -3755 -3756 3757 3758 -3759
13959.11/444.84	v -3760 -3761 -3762 -3763 3764 -3765 -3766 3767
13959.11/444.84	v -3768 -3769 -3770 -3771 -3772 -3773 3774 -3775
13959.11/444.84	v -3776 3777 3778 -3779 -3780 -3781 -3782 -3783
13959.11/444.84	v 3784 -3785 3786 3787 -3788 -3789 -3790 3791
13959.11/444.84	v -3792 -3793 3794 -3795 -3796 3797 -3798 3799
13959.11/444.84	v -3800 3801 3802 3803 -3804 3805 -3806 -3807
13959.11/444.84	v -3808 3809 3810 -3811 -3812 -3813 -3814 3815
13959.11/444.84	v -3816 -3817 -3818 -3819 -3820 3821 3822 3823
13959.11/444.84	v -3824 3825 -3826 -3827 -3828 3829 -3830 3831
13959.11/444.84	v -3832 -3833 -3834 -3835 -3836 -3837 3838 3839
13959.11/444.84	v -3840 -3841 -3842 -3843 3844 -3845 3846 -3847
13959.11/444.84	v -3848 3849 3850 -3851 -3852 -3853 3854 3855
13959.11/444.84	v -3856 -3857 -3858 -3859 -3860 3861 3862 3863
13959.11/444.84	v -3864 3865 -3866 -3867 -3868 3869 3870 -3871
13959.11/444.84	v -3872 -3873 -3874 3875 -3876 -3877 -3878 -3879
13959.11/444.84	v -3880 -3881 -3882 -3883 3884 3885 -3886 -3887
13959.11/444.84	v -3888 3889 -3890 3891 -3892 -3893 3894 -3895
13959.11/444.84	v -3896 -3897 -3898 -3899 3900 3901 3902 3903
13959.11/444.84	v -3904 3905 -3906 -3907 -3908 3909 3910 -3911
13959.11/444.84	v -3912 -3913 -3914 3915 -3916 -3917 -3918 -3919
13959.11/444.84	v -3920 3921 3922 3923 -3924 -3925 -3926 3927
13959.11/444.84	v -3928 -3929 -3930 -3931 3932 3933 3934 -3935
13959.11/444.84	v -3936 -3937 3938 3939 -3940 3941 3942 3943
13959.11/444.84	v -3944 3945 -3946 -3947 -3948 3949 -3950 3951
13959.11/444.84	v -3952 3953 3954 -3955 -3956 -3957 3958 -3959
13959.11/444.84	v -3960 3961 3962 3963 -3964 3965 -3966 -3967
13959.11/444.84	v -3968 3969 -3970 3971 -3972 -3973 -3974 -3975
13959.11/444.84	v -3976 -3977 3978 3979 -3980 3981 3982 3983
13959.11/444.84	v -3984 -3985 -3986 3987 -3988 -3989 -3990 -3991
13959.11/444.84	v 3992 3993 3994 -3995 -3996 -3997 3998 3999
13959.11/444.84	v -4000 4001 4002 4003 -4004 4005 4006 -4007
13959.11/444.84	v -4008 -4009 4010 -4011 -4012 -4013 -4014 -4015
13959.11/444.84	v 4016 4017 -4018 -4019 -4020 4021 4022 4023
13959.11/444.84	v -4024 4025 4026 -4027 -4028 -4029 4030 4031
13959.11/444.84	v -4032 -4033 -4034 4035 -4036 4037 -4038 4039
13959.11/444.84	v -4040 4041 4042 4043 -4044 -4045 4046 -4047
13959.11/444.84	v -4048 4049 4050 -4051 -4052 -4053 4054 4055
13959.11/444.84	v -4056 -4057 -4058 -4059 -4060 -4061 -4062 4063
13959.11/444.84	v -4064 4065 4066 -4067 -4068 -4069 4070 -4071
13959.11/444.84	v -4072 -4073 -4074 -4075 4076 4077 -4078 -4079
13959.11/444.84	v -4080 4081 4082 4083 -4084 -4085 -4086 -4087
13959.11/444.84	v 4088 4089 -4090 -4091 -4092 -4093 4094 -4095
13959.11/444.84	v -4096 4097 -4098 4099 -4100 4101 4102 4103
13959.11/444.84	v -4104 -4105 -4106 -4107 4108 -4109 -4110 -4111
13959.11/444.84	v -4112 -4113 4114 -4115 -4116 4117 4118 -4119
13959.11/444.84	v -4120 -4121 -4122 4123 -4124 -4125 4126 4127
13959.11/444.84	v -4128 4129 -4130 -4131 -4132 4133 4134 -4135
13959.11/444.84	v -4136 -4137 4138 -4139 -4140 -4141 -4142 4143
13959.11/444.84	v -4144 4145 -4146 -4147 -4148 4149 4150 -4151
13959.11/444.84	v -4152 -4153 -4154 4155 -4156 -4157 -4158 -4159
13959.11/444.84	v -4160 4161 4162 4163 -4164 4165 4166 -4167
13959.11/444.84	v -4168 -4169 4170 4171 -4172 -4173 -4174 4175
13959.11/444.84	v -4176 4177 -4178 4179 -4180 4181 4182 4183
13959.11/444.84	v -4184 -4185 4186 4187 -4188 4189 -4190 -4191
13959.11/444.84	v -4192 -4193 -4194 4195 -4196 4197 -4198 4199
13959.11/444.84	v -4200 4201 4202 4203 -4204 -4205 -4206 4207
13959.11/444.84	v -4208 -4209 -4210 -4211 -4212 -4213 4214 4215
13959.11/444.84	v -4216 4217 -4218 -4219 -4220 4221 4222 4223
13959.11/444.84	v -4224 -4225 -4226 4227 -4228 4229 -4230 4231
13959.11/444.84	v -4232 4233 4234 -4235 -4236 -4237 -4238 -4239
13959.11/444.84	v 4240 4241 4242 4243 -4244 -4245 -4246 -4247
13959.11/444.84	v 4248 -4249 -4250 -4251 -4252 -4253 4254 -4255
13959.11/444.84	v -4256 4257 4258 -4259 -4260 4261 -4262 4263
13959.11/444.84	v -4264 -4265 -4266 4267 -4268 -4269 -4270 -4271
13959.11/444.84	v -4272 -4273 4274 4275 -4276 4277 -4278 -4279
13959.11/444.84	v -4280 4281 4282 4283 -4284 -4285 4286 4287
13959.11/444.84	v -4288 4289 -4290 -4291 -4292 -4293 -4294 -4295
13959.11/444.84	v -4296 -4297 -4298 -4299 4300 4301 4302 4303
13959.11/444.84	v -4304 -4305 4306 -4307 -4308 4309 -4310 -4311
13959.11/444.84	v -4312 -4313 -4314 4315 -4316 -4317 -4318 -4319
13959.11/444.84	v 4320 4321 4322 4323 -4324 -4325 4326 -4327
13959.11/444.84	v -4328 4329 -4330 -4331 -4332 -4333 -4334 -4335
13959.11/444.84	v 4336 -4337 -4338 -4339 -4340 4341 4342 4343
13959.11/444.84	v -4344 -4345 4346 4347 -4348 4349 -4350 -4351
13959.11/444.84	v -4352 4353 4354 -4355 -4356 -4357 4358 -4359
13959.11/444.84	v -4360 4361 4362 4363 -4364 -4365 -4366 4367
13959.11/444.84	v -4368 4369 -4370 4371 -4372 4373 4374 -4375
13959.11/444.84	v -4376 -4377 -4378 -4379 4380 4381 4382 4383
13959.11/444.84	v -4384 -4385 4386 4387 -4388 4389 -4390 -4391
13959.11/444.84	v -4392 -4393 -4394 -4395 -4396 -4397 -4398 -4399
13959.11/444.84	v 4400 4401 4402 4403 -4404 -4405 -4406 -4407
13959.11/444.84	v -4408 -4409 4410 -4411 -4412 4413 -4414 4415
13959.11/444.84	v -4416 -4417 4418 4419 -4420 4421 4422 4423
13959.11/444.84	v -4424 4425 4426 -4427 -4428 -4429 4430 -4431
13959.11/444.84	v -4432 -4433 4434 4435 -4436 4437 -4438 4439
13959.11/444.84	v -4440 4441 4442 4443 -4444 -4445 4446 -4447
13959.11/444.84	v -4448 4449 -4450 -4451 -4452 4453 -4454 4455
13959.11/444.84	v -4456 -4457 -4458 -4459 4460 4461 4462 4463
13959.11/444.84	v -4464 -4465 -4466 -4467 -4468 -4469 4470 -4471
13959.11/444.84	v -4472 4473 -4474 4475 -4476 -4477 4478 4479
13959.11/444.84	v -4480 4481 4482 4483 -4484 -4485 -4486 4487
13959.11/444.84	v -4488 -4489 -4490 -4491 4492 -4493 -4494 -4495
13959.11/444.84	v -4496 4497 -4498 -4499 -4500 4501 4502 4503
13959.11/444.84	v -4504 4505 -4506 4507 -4508 -4509 4510 4511
13959.11/444.84	v -4512 -4513 4514 -4515 -4516 4517 4518 -4519
13959.11/444.84	v -4520 4521 4522 4523 -4524 4525 -4526 4527
13959.11/444.84	v -4528 -4529 4530 4531 -4532 -4533 4534 -4535
13959.11/444.84	v -4536 4537 4538 -4539 -4540 -4541 -4542 -4543
13959.11/444.84	v -4544 4545 4546 4547 -4548 -4549 4550 -4551
13959.11/444.84	v -4552 4553 4554 -4555 -4556 -4557 -4558 -4559
13959.11/444.84	v -4560 4561 -4562 4563 -4564 4565 4566 4567
13959.11/444.84	v -4568 4569 4570 -4571 -4572 -4573 4574 -4575
13959.11/444.84	v -4576 -4577 4578 4579 -4580 4581 -4582 4583
13959.11/444.84	v -4584 4585 4586 4587 -4588 -4589 -4590 4591
13959.11/444.84	v -4592 -4593 -4594 -4595 4596 -4597 -4598 -4599
13959.11/444.84	v -4600 4601 -4602 -4603 -4604 4605 4606 4607
13959.11/444.84	v -4608 -4609 -4610 -4611 -4612 4613 -4614 4615
13959.11/444.84	v -4616 -4617 4618 -4619 -4620 4621 4622 -4623
13959.11/444.84	v -4624 4625 4626 4627 -4628 -4629 4630 4631
13959.11/444.84	v -4632 4633 -4634 4635 -4636 -4637 4638 -4639
13959.11/444.84	v -4640 4641 4642 -4643 -4644 -4645 -4646 4647
13959.11/444.84	v -4648 4649 4650 4651 -4652 -4653 -4654 -4655
13959.11/444.84	v -4656 4657 -4658 4659 -4660 -4661 -4662 4663
13959.11/444.84	v -4664 -4665 4666 -4667 -4668 4669 4670 4671
13959.11/444.84	v -4672 4673 -4674 4675 -4676 -4677 4678 4679
13959.11/444.84	v -4680 -4681 4682 -4683 -4684 4685 4686 -4687
13959.11/444.84	v -4688 4689 4690 4691 -4692 -4693 -4694 -4695
13959.11/444.84	v -4696 4697 -4698 4699 -4700 -4701 4702 -4703
13959.11/444.84	v -4704 4705 4706 -4707 -4708 4709 4710 4711
13959.11/444.84	v -4712 -4713 -4714 4715 -4716 4717 4718 4719
13959.11/444.84	v -4720 -4721 -4722 -4723 4724 4725 4726 -4727
13959.11/444.84	v -4728 -4729 -4730 4731 -4732 4733 -4734 -4735
13959.11/444.84	v -4736 4737 4738 4739 -4740 4741 -4742 4743
13959.11/444.84	v -4744 -4745 4746 4747 -4748 -4749 4750 -4751
13959.11/444.84	v -4752 4753 4754 -4755 -4756 -4757 -4758 -4759
13959.11/444.84	v -4760 4761 4762 4763 -4764 -4765 4766 4767
13959.11/444.84	v -4768 4769 -4770 4771 -4772 -4773 4774 -4775
13959.11/444.84	v -4776 4777 4778 -4779 -4780 -4781 -4782 4783
13959.11/444.84	v -4784 4785 4786 4787 -4788 -4789 -4790 4791
13959.11/444.84	v -4792 4793 4794 4795 -4796 -4797 -4798 -4799
13959.11/444.84	v 4800 4801 4802 -4803 -4804 -4805 -4806 -4807
13959.11/444.84	v -4808 -4809 4810 4811 -4812 4813 -4814 -4815
13959.11/444.84	v -4816 4817 4818 4819 -4820 -4821 4822 -4823
13959.11/444.84	v -4824 4825 4826 -4827 -4828 -4829 -4830 4831
13959.11/444.84	v -4832 4833 -4834 4835 -4836 4837 -4838 -4839
13959.11/444.84	v -4840 4841 4842 4843 -4844 -4845 -4846 -4847
13959.11/444.84	v 4848 4849 4850 -4851 -4852 -4853 -4854 4855
13959.11/444.84	v -4856 -4857 4858 4859 -4860 4861 -4862 4863
13959.11/444.84	v -4864 4865 4866 4867 -4868 -4869 -4870 -4871
13959.11/444.84	v -4872 4873 -4874 4875 -4876 -4877 -4878 4879
13959.11/444.84	v -4880 -4881 4882 -4883 -4884 4885 4886 4887
13959.11/444.84	v -4888 -4889 -4890 -4891 4892 4893 4894 -4895
13959.11/444.84	v -4896 -4897 -4898 4899 -4900 4901 -4902 -4903
13959.11/444.84	v -4904 4905 4906 4907 -4908 -4909 -4910 -4911
13959.11/444.84	v 4912 4913 4914 -4915 -4916 -4917 -4918 -4919
13959.11/444.84	v -4920 -4921 4922 4923 -4924 4925 -4926 -4927
13959.11/444.84	v -4928 4929 4930 4931 -4932 -4933 4934 4935
13959.11/444.84	v -4936 -4937 4938 -4939 -4940 -4941 -4942 -4943
13959.11/444.84	v 4944 -4945 -4946 -4947 -4948 4949 4950 4951
13959.11/444.84	v -4952 -4953 -4954 4955 -4956 4957 -4958 -4959
13959.11/444.84	v -4960 -4961 -4962 -4963 -4964 4965 -4966 4967
13959.11/444.84	v -4968 4969 4970 4971 -4972 -4973 4974 -4975
13959.11/444.84	v -4976 4977 4978 -4979 -4980 -4981 -4982 4983
13959.11/444.84	v -4984 4985 -4986 4987 -4988 4989 -4990 -4991
13959.11/444.84	v -4992 4993 4994 4995 -4996 -4997 4998 4999
13959.11/444.84	v -5000 -5001 5002 -5003 -5004 -5005 -5006 -5007
13959.11/444.84	v 5008 -5009 -5010 -5011 -5012 5013 5014 5015
13959.11/444.84	v -5016 -5017 -5018 -5019 5020 5021 -5022 -5023
13959.11/444.84	v -5024 -5025 5026 5027 -5028 -5029 5030 -5031
13959.11/444.84	v -5032 5033 5034 5035 -5036 5037 -5038 5039
13959.11/444.84	v -5040 -5041 -5042 -5043 -5044 -5045 -5046 5047
13959.11/444.84	v -5048 5049 5050 -5051 -5052 5053 5054 5055
13959.11/444.84	v -5056 5057 -5058 5059 -5060 5061 -5062 -5063
13959.11/444.84	v -5064 -5065 -5066 5067 -5068 -5069 5070 -5071
13959.11/444.84	v -5072 5073 5074 5075 -5076 -5077 -5078 -5079
13959.11/444.84	v 5080 5081 5082 -5083 -5084 -5085 -5086 5087
13959.11/444.84	v -5088 -5089 5090 5091 -5092 5093 -5094 5095
13959.11/444.84	v -5096 5097 5098 5099 -5100 -5101 -5102 5103
13959.11/444.84	v -5104 5105 -5106 -5107 -5108 -5109 -5110 -5111
13959.11/444.84	v -5112 5113 -5114 5115 -5116 5117 5118 5119
13959.11/444.84	v -5120 -5121 -5122 -5123 5124 5125 -5126 -5127
13959.11/444.84	v -5128 -5129 5130 5131 -5132 -5133 5134 -5135
13959.11/444.84	v -5136 5137 5138 5139 -5140 -5141 5142 5143
13959.11/444.84	v -5144 5145 -5146 5147 -5148 -5149 -5150 5151
13959.11/444.84	v -5152 5153 5154 -5155 -5156 5157 5158 5159
13959.11/444.84	v -5160 -5161 -5162 -5163 -5164 -5165 5166 -5167
13959.11/444.84	v -5168 -5169 -5170 -5171 5172 5173 5174 -5175
13959.11/444.84	v -5176 5177 5178 5179 -5180 -5181 5182 5183
13959.11/444.84	v -5184 5185 -5186 5187 -5188 -5189 -5190 5191
13959.11/444.84	v -5192 5193 5194 -5195 -5196 5197 5198 5199
13959.11/444.84	v -5200 5201 -5202 5203 -5204 -5205 -5206 -5207
13959.11/444.84	v -5208 -5209 -5210 5211 -5212 5213 5214 -5215
13959.11/444.84	v -5216 5217 5218 5219 -5220 -5221 5222 5223
13959.11/444.84	v -5224 -5225 5226 -5227 -5228 -5229 -5230 -5231
13959.11/444.84	v 5232 5233 5234 -5235 -5236 5237 5238 5239
13959.11/444.84	v -5240 -5241 -5242 5243 -5244 5245 -5246 -5247
13959.11/444.84	v -5248 -5249 5250 5251 -5252 5253 -5254 5255
13959.11/444.84	v -5256 5257 5258 5259 -5260 -5261 -5262 -5263
13959.11/444.84	v 5264 5265 -5266 -5267 -5268 -5269 -5270 -5271
13959.11/444.84	v -5272 -5273 5274 -5275 -5276 5277 5278 5279
13959.11/444.84	v -5280 -5281 -5282 -5283 -5284 -5285 5286 -5287
13959.11/444.84	v -5288 -5289 -5290 -5291 5292 5293 5294 -5295
13959.11/444.84	v -5296 5297 5298 5299 -5300 -5301 -5302 5303
13959.11/444.84	v -5304 5305 -5306 -5307 -5308 -5309 5310 5311
13959.11/444.84	v -5312 5313 -5314 5315 -5316 5317 5318 5319
13959.11/444.84	v -5320 -5321 -5322 -5323 5324 5325 -5326 5327
13959.11/444.84	v -5328 -5329 -5330 -5331 -5332 -5333 5334 -5335
13959.11/444.84	v -5336 5337 5338 5339 -5340 -5341 5342 5343
13959.11/444.84	v -5344 5345 5346 -5347 -5348 -5349 5350 -5351
13959.11/444.84	v -5352 -5353 -5354 5355 -5356 5357 5358 5359
13959.11/444.84	v -5360 -5361 -5362 -5363 5364 5365 -5366 5367
13959.11/444.84	v -5368 -5369 -5370 -5371 -5372 -5373 5374 -5375
13959.11/444.84	v -5376 5377 5378 5379 -5380 5381 -5382 5383
13959.11/444.84	v -5384 5385 -5386 -5387 -5388 -5389 -5390 5391
13959.11/444.84	v -5392 -5393 5394 -5395 -5396 5397 5398 5399
13959.11/444.84	v -5400 -5401 5402 5403 -5404 5405 -5406 5407
13959.11/444.84	v -5408 -5409 -5410 5411 -5412 5413 5414 -5415
13959.11/444.84	v -5416 5417 5418 5419 -5420 -5421 -5422 -5423
13959.11/444.84	v 5424 5425 -5426 -5427 -5428 -5429 -5430 -5431
13959.11/444.84	v -5432 -5433 5434 -5435 -5436 5437 5438 5439
13959.11/444.84	v -5440 -5441 -5442 -5443 5444 5445 -5446 5447
13959.11/444.84	v -5448 -5449 -5450 -5451 -5452 -5453 5454 -5455
13959.11/444.84	v -5456 5457 5458 5459 -5460 -5461 -5462 -5463
13959.11/444.84	v -5464 5465 5466 -5467 -5468 -5469 -5470 -5471
13959.11/444.84	v 5472 5473 -5474 5475 -5476 5477 5478 5479
13959.11/444.84	v -5480 -5481 -5482 5483 -5484 5485 5486 -5487
13959.11/444.84	v -5488 -5489 5490 5491 -5492 5493 -5494 -5495
13959.11/444.84	v -5496 5497 5498 5499 -5500 -5501 5502 5503
13959.11/444.84	v -5504 5505 5506 -5507 -5508 -5509 5510 -5511
13959.11/444.84	v -5512 -5513 -5514 5515 -5516 5517 5518 5519
13959.11/444.84	v -5520 -5521 -5522 -5523 -5524 5525 5526 -5527
13959.11/444.84	v -5528 -5529 -5530 -5531 5532 5533 -5534 5535
13959.11/444.84	v -5536 5537 5538 5539 -5540 -5541 -5542 -5543
13959.11/444.84	v 5544 -5545 -5546 5547 -5548 -5549 -5550 -5551
13959.11/444.84	v -5552 5553 -5554 -5555 -5556 5557 5558 5559
13959.11/444.84	v -5560 -5561 -5562 -5563 5564 5565 -5566 5567
13959.11/444.84	v -5568 -5569 -5570 -5571 -5572 5573 5574 -5575
13959.11/444.84	v -5576 5577 5578 5579 -5580 -5581 5582 -5583
13959.11/444.84	v -5584 5585 -5586 5587 -5588 -5589 5590 5591
13959.11/444.84	v -5592 5593 5594 -5595 -5596 5597 5598 5599
13959.11/444.84	v -5600 -5601 -5602 -5603 5604 5605 -5606 5607
13959.11/444.84	v -5608 -5609 -5610 -5611 -5612 5613 -5614 -5615
13959.11/444.84	v -5616 5617 5618 5619 -5620 -5621 -5622 5623
13959.11/444.84	v -5624 5625 5626 -5627 -5628 -5629 5630 5631
13959.11/444.84	v -5632 5633 -5634 -5635 -5636 5637 5638 5639
13959.11/444.84	v -5640 -5641 -5642 -5643 5644 -5645 -5646 5647
13959.11/444.84	v -5648 -5649 -5650 -5651 -5652 5653 -5654 -5655
13959.11/444.84	v -5656 5657 5658 5659 -5660 -5661 5662 5663
13959.11/444.84	v -5664 5665 -5666 -5667 -5668 -5669 -5670 5671
13959.11/444.84	v -5672 5673 5674 -5675 -5676 5677 5678 5679
13959.11/444.84	v -5680 -5681 -5682 -5683 -5684 5685 -5686 -5687
13959.11/444.84	v -5688 -5689 -5690 5691 -5692 5693 5694 -5695
13959.11/444.84	v -5696 5697 5698 5699 -5700 -5701 -5702 -5703
13959.11/444.84	v 5704 5705 -5706 5707 -5708 -5709 -5710 -5711
13959.11/444.84	v -5712 5713 5714 -5715 -5716 5717 5718 5719
13959.11/444.84	v -5720 -5721 5722 5723 -5724 5725 -5726 -5727
13959.11/444.84	v -5728 -5729 -5730 5731 -5732 5733 5734 -5735
13959.11/444.84	v -5736 5737 5738 5739 -5740 -5741 -5742 -5743
13959.11/444.84	v -5744 -5745 5746 -5747 -5748 -5749 5750 5751
13959.11/444.84	v -5752 -5753 -5754 -5755 5756 5757 5758 5759
13959.11/444.84	v -5760 -5761 -5762 -5763 -5764 -5765 5766 -5767
13959.11/444.84	v -5768 5769 -5770 5771 -5772 5773 -5774 -5775
13959.11/444.84	v -5776 5777 5778 5779 -5780 -5781 -5782 5783
13959.11/444.84	v -5784 -5785 5786 -5787 -5788 5789 -5790 -5791
13959.11/444.84	v -5792 -5793 5794 5795 -5796 5797 5798 5799
13959.11/444.84	v -5800 -5801 5802 -5803 -5804 5805 -5806 5807
13959.11/444.84	v -5808 -5809 5810 5811 -5812 5813 5814 -5815
13959.11/444.84	v -5816 5817 5818 5819 -5820 -5821 -5822 -5823
13959.11/444.84	v -5824 5825 -5826 -5827 -5828 -5829 -5830 5831
13959.11/444.84	v -5832 5833 5834 -5835 -5836 5837 5838 5839
13959.11/444.84	v -5840 -5841 -5842 -5843 -5844 -5845 5846 -5847
13959.11/444.84	v -5848 -5849 5850 5851 -5852 -5853 -5854 -5855
13959.11/444.84	v 5856 5857 5858 5859 -5860 -5861 5862 5863
13959.11/444.84	v -5864 5865 5866 -5867 -5868 5869 -5870 5871
13959.11/444.84	v -5872 5873 -5874 -5875 -5876 5877 5878 5879
13959.11/444.84	v -5880 -5881 -5882 5883 -5884 -5885 -5886 -5887
13959.11/444.84	v 5888 5889 -5890 -5891 -5892 -5893 -5894 -5895
13959.11/444.84	v -5896 5897 5898 5899 -5900 -5901 -5902 5903
13959.11/444.84	v -5904 -5905 5906 -5907 -5908 5909 -5910 5911
13959.11/444.84	v -5912 5913 -5914 -5915 -5916 5917 5918 5919
13959.11/444.84	v -5920 -5921 5922 5923 -5924 5925 5926 -5927
13959.11/444.84	v -5928 5929 -5930 5931 -5932 5933 -5934 -5935
13959.11/444.84	v -5936 -5937 -5938 -5939 -5940 5941 -5942 5943
13959.11/444.84	v -5944 -5945 -5946 -5947 5948 5949 5950 -5951
13959.11/444.84	v -5952 -5953 5954 5955 -5956 5957 5958 5959
13959.11/444.84	v -5960 5961 -5962 5963 -5964 -5965 -5966 -5967
13959.11/444.84	v 5968 5969 5970 -5971 -5972 -5973 5974 5975
13959.11/444.84	v -5976 -5977 5978 -5979 -5980 5981 5982 5983
13959.11/444.84	v -5984 5985 -5986 5987 -5988 5989 -5990 -5991
13959.11/444.84	v -5992 -5993 5994 5995 -5996 5997 5998 -5999
13959.11/444.84	v -6000 -6001 -6002 -6003 -6004 -6005 -6006 6007
13959.11/444.84	v -6008 -6009 6010 -6011 -6012 6013 -6014 -6015
13959.11/444.84	v -6016 -6017 6018 6019 -6020 6021 6022 6023
13959.11/444.84	v -6024 -6025 -6026 6027 -6028 -6029 -6030 -6031
13959.11/444.84	v 6032 6033 -6034 -6035 -6036 -6037 -6038 -6039
13959.11/444.84	v -6040 6041 6042 6043 -6044 6045 -6046 6047
13959.11/444.84	v -6048 -6049 -6050 -6051 6052 6053 6054 -6055
13959.11/444.84	v -6056 -6057 -6058 -6059 -6060 6061 6062 6063
13959.11/444.84	v -6064 6065 -6066 -6067 -6068 -6069 -6070 -6071
13959.11/444.84	v -6072 -6073 6074 -6075 -6076 6077 6078 6079
13959.11/444.84	v -6080 6081 -6082 -6083 -6084 -6085 -6086 -6087
13959.11/444.84	v -6088 -6089 -6090 -6091 6092 -6093 -6094 6095
13959.11/444.84	v -6096 6097 6098 6099 -6100 6101 -6102 6103
13959.11/444.84	v -6104 -6105 -6106 -6107 6108 6109 6110 -6111
13959.11/444.84	v -6112 -6113 -6114 -6115 -6116 -6117 6118 -6119
13959.11/444.84	v -6120 6121 6122 6123 -6124 6125 -6126 -6127
13959.11/444.84	v -6128 -6129 -6130 -6131 -6132 -6133 6134 -6135
13959.11/444.84	v -6136 6137 6138 6139 -6140 6141 -6142 -6143
13959.11/444.84	v -6144 -6145 -6146 -6147 -6148 -6149 6150 -6151
13959.11/444.84	v -6152 -6153 -6154 -6155 6156 -6157 -6158 6159
13959.11/444.84	v -6160 6161 6162 6163 -6164 6165 -6166 6167
13959.11/444.84	v -6168 6169 -6170 -6171 -6172 -6173 6174 6175
13959.11/444.84	v -6176 6177 6178 -6179 -6180 6181 6182 6183
13959.11/444.84	v -6184 6185 -6186 -6187 -6188 -6189 -6190 -6191
13959.11/444.84	v -6192 -6193 -6194 -6195 6196 -6197 -6198 6199
13959.11/444.84	v -6200 6201 6202 6203 -6204 6205 -6206 -6207
13959.11/444.84	v -6208 -6209 -6210 -6211 -6212 -6213 6214 -6215
13959.11/444.84	v -6216 -6217 -6218 -6219 6220 -6221 -6222 6223
13959.11/444.84	v -6224 6225 6226 6227 -6228
13959.11/444.84	v 0
13959.11/444.85	solver [5] plingeling 276-6264d55-100731 answered
13959.11/444.85	Done

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-3347651-1306108600/watcher-3347651-1306108600 -o /tmp/evaluation-result-3347651-1306108600/solver-3347651-1306108600 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347651-1306108600.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 25.77 30.61 31.56 1/413 28301
/proc/meminfo: memFree=255404924/264257624 swapFree=67111528/67111528
[pid=28301] ppid=28299 vsize=18324 CPUtime=0 cores=0-31
/proc/28301/stat : 28301 (ppfolio) S 28299 28301 28174 0 -1 4202496 515 0 0 0 0 0 0 0 18 0 1 0 722346535 18763776 386 268435456000 4194304 4287625 140733235148208 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 12 0 0 0
/proc/28301/statm: 4581 386 337 23 0 91 0

[startup+0.093559 s]
/proc/loadavg: 25.77 30.61 31.56 1/413 28301
/proc/meminfo: memFree=255404924/264257624 swapFree=67111528/67111528
[pid=28301] ppid=28299 vsize=18324 CPUtime=0 cores=0-31
/proc/28301/stat : 28301 (ppfolio) S 28299 28301 28174 0 -1 4202496 515 0 0 0 0 0 0 0 18 0 1 0 722346535 18763776 386 268435456000 4194304 4287625 140733235148208 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 12 0 0 0
/proc/28301/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100577 s]
/proc/loadavg: 25.77 30.61 31.56 1/413 28301
/proc/meminfo: memFree=255404924/264257624 swapFree=67111528/67111528
[pid=28301] ppid=28299 vsize=18324 CPUtime=0 cores=0-31
/proc/28301/stat : 28301 (ppfolio) S 28299 28301 28174 0 -1 4202496 515 0 0 0 0 0 0 0 18 0 1 0 722346535 18763776 386 268435456000 4194304 4287625 140733235148208 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 12 0 0 0
/proc/28301/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300558 s]
/proc/loadavg: 25.77 30.61 31.56 1/413 28301
/proc/meminfo: memFree=255404924/264257624 swapFree=67111528/67111528
[pid=28301] ppid=28299 vsize=18324 CPUtime=0 cores=0-31
/proc/28301/stat : 28301 (ppfolio) S 28299 28301 28174 0 -1 4202496 515 0 0 0 0 0 0 0 18 0 1 0 722346535 18763776 386 268435456000 4194304 4287625 140733235148208 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 12 0 0 0
/proc/28301/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700543 s]
/proc/loadavg: 25.77 30.61 31.56 1/413 28301
/proc/meminfo: memFree=255404924/264257624 swapFree=67111528/67111528
[pid=28301] ppid=28299 vsize=18324 CPUtime=0 cores=0-31
/proc/28301/stat : 28301 (ppfolio) S 28299 28301 28174 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 722346535 18763776 386 268435456000 4194304 4287625 140733235148208 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 12 0 0 0
/proc/28301/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50061 s]
/proc/loadavg: 25.77 30.61 31.56 6/419 28312
/proc/meminfo: memFree=255124912/264257624 swapFree=67111528/67111528
[pid=28301] ppid=28299 vsize=18324 CPUtime=0 cores=0-31
/proc/28301/stat : 28301 (ppfolio) S 28299 28301 28174 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 722346535 18763776 386 268435456000 4194304 4287625 140733235148208 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 12 0 0 0
/proc/28301/statm: 4581 386 337 23 0 91 0
[pid=28302] ppid=28301 vsize=86972 CPUtime=1.49 cores=0
/proc/28302/stat : 28302 (cryptominisat) R 28301 28301 28174 0 -1 4202496 14900 0 0 0 145 4 0 0 20 0 1 0 722346535 89059328 13573 268435456000 4194304 4587354 140736585179792 18446744073709551615 258650652426 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28302/statm: 21743 13573 303 96 0 18305 0
[pid=28303] ppid=28301 vsize=74208 CPUtime=1.48 cores=1
/proc/28303/stat : 28303 (clasp) R 28301 28301 28174 0 -1 4202496 18170 0 0 0 141 7 0 0 20 0 1 0 722346535 75988992 15333 268435456000 4194304 4785740 140737321143040 18446744073709551615 4495811 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28303/statm: 18552 15333 317 145 0 15597 0
[pid=28304] ppid=28301 vsize=519716 CPUtime=1.48 cores=2
/proc/28304/stat : 28304 (TNM) R 28301 28301 28174 0 -1 4202496 19118 0 0 0 143 5 0 0 20 0 1 0 722346535 532189184 19015 268435456000 134512640 134534564 4293561328 18446744073709551615 134524554 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28304/statm: 129929 19015 91 6 0 128594 0
[pid=28305] ppid=28301 vsize=88980 CPUtime=1.48 cores=3
/proc/28305/stat : 28305 (march_hi) R 28301 28301 28174 0 -1 4194304 28938 0 0 0 141 7 0 0 20 0 1 0 722346535 91115520 16067 268435456000 4194304 4331988 140736448110400 18446744073709551615 4252171 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28305/statm: 22245 16067 126 34 0 20687 0
[pid=28306] ppid=28301 vsize=183008 CPUtime=1.48 cores=4-31
/proc/28306/stat : 28306 (plingeling) R 28301 28301 28174 0 -1 4202496 44752 1238 0 0 137 11 0 0 21 0 1 0 722346535 187400192 44412 268435456000 4194304 4356188 140733258919920 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/28306/statm: 45752 44412 129 40 0 44296 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 971208

[startup+3.10067 s]
/proc/loadavg: 24.11 30.19 31.42 6/419 28312
/proc/meminfo: memFree=254860544/264257624 swapFree=67111528/67111528
[pid=28301] ppid=28299 vsize=18324 CPUtime=0 cores=0-31
/proc/28301/stat : 28301 (ppfolio) S 28299 28301 28174 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 722346535 18763776 386 268435456000 4194304 4287625 140733235148208 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 12 0 0 0
/proc/28301/statm: 4581 386 337 23 0 91 0
[pid=28302] ppid=28301 vsize=176460 CPUtime=3.09 cores=0
/proc/28302/stat : 28302 (cryptominisat) R 28301 28301 28174 0 -1 4202496 36861 0 0 0 299 10 0 0 25 0 1 0 722346535 180695040 35492 268435456000 4194304 4587354 140736585179792 18446744073709551615 4388284 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28302/statm: 44115 35492 308 96 0 40677 0
[pid=28303] ppid=28301 vsize=78312 CPUtime=3.08 cores=1
/proc/28303/stat : 28303 (clasp) R 28301 28301 28174 0 -1 4202496 19091 0 0 0 301 7 0 0 25 0 1 0 722346535 80191488 16254 268435456000 4194304 4785740 140737321143040 18446744073709551615 4495746 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28303/statm: 19578 16254 317 145 0 16623 0
[pid=28304] ppid=28301 vsize=519716 CPUtime=3.08 cores=2
/proc/28304/stat : 28304 (TNM) R 28301 28301 28174 0 -1 4202496 19118 0 0 0 303 5 0 0 25 0 1 0 722346535 532189184 19015 268435456000 134512640 134534564 4293561328 18446744073709551615 134524554 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28304/statm: 129929 19015 91 6 0 128594 0
[pid=28305] ppid=28301 vsize=58788 CPUtime=3.08 cores=3
/proc/28305/stat : 28305 (march_hi) R 28301 28301 28174 0 -1 4202496 96603 0 0 0 286 22 0 0 25 0 1 0 722346535 60198912 8542 268435456000 4194304 4331988 140736448110400 18446744073709551615 4261503 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28305/statm: 14697 8542 148 34 0 13139 0
[pid=28306] ppid=28301 vsize=358076 CPUtime=3.08 cores=4-31
/proc/28306/stat : 28306 (plingeling) R 28301 28301 28174 0 -1 4202496 88519 1238 0 0 290 18 0 0 25 0 1 0 722346535 366669824 88179 268435456000 4194304 4356188 140733258919920 18446744073709551615 4277859 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/28306/statm: 89519 88179 129 40 0 88063 0
Current children cumulated CPU time (s) 15.41
Current children cumulated vsize (KiB) 1209676

[startup+6.30075 s]
/proc/loadavg: 24.11 30.19 31.42 6/419 28312
/proc/meminfo: memFree=254349428/264257624 swapFree=67111528/67111528
[pid=28301] ppid=28299 vsize=18324 CPUtime=0 cores=0-31
/proc/28301/stat : 28301 (ppfolio) S 28299 28301 28174 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 722346535 18763776 386 268435456000 4194304 4287625 140733235148208 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 12 0 0 0
/proc/28301/statm: 4581 386 337 23 0 91 0
[pid=28302] ppid=28301 vsize=184488 CPUtime=6.28 cores=0
/proc/28302/stat : 28302 (cryptominisat) R 28301 28301 28174 0 -1 4202496 45269 0 0 0 617 11 0 0 18 0 1 0 722346535 188915712 36524 268435456000 4194304 4587354 140736585179792 18446744073709551615 4238618 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28302/statm: 46122 36524 327 96 0 42684 0
[pid=28303] ppid=28301 vsize=83356 CPUtime=6.28 cores=1
/proc/28303/stat : 28303 (clasp) R 28301 28301 28174 0 -1 4202496 22686 0 0 0 620 8 0 0 25 0 1 0 722346535 85356544 18034 268435456000 4194304 4785740 140737321143040 18446744073709551615 4312619 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28303/statm: 20839 18034 339 145 0 17884 0
[pid=28304] ppid=28301 vsize=519716 CPUtime=6.28 cores=2
/proc/28304/stat : 28304 (TNM) R 28301 28301 28174 0 -1 4202496 19118 0 0 0 623 5 0 0 25 0 1 0 722346535 532189184 19015 268435456000 134512640 134534564 4293561328 18446744073709551615 134524664 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28304/statm: 129929 19015 91 6 0 128594 0
[pid=28305] ppid=28301 vsize=96092 CPUtime=6.28 cores=3
/proc/28305/stat : 28305 (march_hi) R 28301 28301 28174 0 -1 4202496 120966 0 0 0 601 27 0 0 25 0 1 0 722346535 98398208 17861 268435456000 4194304 4331988 140736448110400 18446744073709551615 4226645 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28305/statm: 24023 17861 149 34 0 22465 0
[pid=28306] ppid=28301 vsize=708664 CPUtime=6.28 cores=4-31
/proc/28306/stat : 28306 (plingeling) R 28301 28301 28174 0 -1 4202496 176158 1238 0 0 593 35 0 0 25 0 1 0 722346535 725671936 175818 268435456000 4194304 4356188 140733258919920 18446744073709551615 4277417 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/28306/statm: 177166 175818 129 40 0 175710 0
Current children cumulated CPU time (s) 31.4
Current children cumulated vsize (KiB) 1610640

[startup+12.702 s]
/proc/loadavg: 23.41 29.82 31.29 33/447 28340
/proc/meminfo: memFree=253613796/264257624 swapFree=67111528/67111528
[pid=28301] ppid=28299 vsize=18324 CPUtime=0 cores=0-31
/proc/28301/stat : 28301 (ppfolio) S 28299 28301 28174 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 722346535 18763776 386 268435456000 4194304 4287625 140733235148208 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 12 0 0 0
/proc/28301/statm: 4581 386 337 23 0 91 0
[pid=28302] ppid=28301 vsize=2124592 CPUtime=12.69 cores=0
/proc/28302/stat : 28302 (cryptominisat) R 28301 28301 28174 0 -1 4202496 60675 0 0 0 1253 16 0 0 25 0 1 0 722346535 2175582208 35907 268435456000 4194304 4587354 140736585179792 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28302/statm: 531148 35907 339 96 0 527710 0
[pid=28303] ppid=28301 vsize=84628 CPUtime=12.69 cores=1
/proc/28303/stat : 28303 (clasp) R 28301 28301 28174 0 -1 4202496 22964 0 0 0 1260 9 0 0 25 0 1 0 722346535 86659072 18312 268435456000 4194304 4785740 140737321143040 18446744073709551615 4286919 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28303/statm: 21157 18312 339 145 0 18202 0
[pid=28304] ppid=28301 vsize=519716 CPUtime=12.68 cores=2
/proc/28304/stat : 28304 (TNM) R 28301 28301 28174 0 -1 4202496 19118 0 0 0 1263 5 0 0 25 0 1 0 722346535 532189184 19015 268435456000 134512640 134534564 4293561328 18446744073709551615 134524559 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28304/statm: 129929 19015 91 6 0 128594 0
[pid=28305] ppid=28301 vsize=96668 CPUtime=12.68 cores=3
/proc/28305/stat : 28305 (march_hi) R 28301 28301 28174 0 -1 4202496 121105 0 0 0 1241 27 0 0 25 0 1 0 722346535 98988032 18000 268435456000 4194304 4331988 140736448110400 18446744073709551615 4271136 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28305/statm: 24167 18000 149 34 0 22609 0
[pid=28306] ppid=28301 vsize=2331968 CPUtime=108.06 cores=4-31
/proc/28306/stat : 28306 (plingeling) S 28301 28301 28174 0 -1 4202496 485266 1238 0 0 10208 598 0 0 19 0 29 0 722346535 2387935232 356991 268435456000 4194304 4356188 140733258919920 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/28306/statm: 582992 356991 159 40 0 581536 0
[pid=28306/tid=28313] ppid=28301 vsize=2331968 CPUtime=3.57 cores=4-31
/proc/28306/task/28313/stat : 28313 (plingeling) D 28301 28301 28174 0 -1 4202560 4709 1238 0 0 338 19 0 0 24 0 29 0 722347416 2387935232 356991 268435456000 4194304 4356188 140733258919920 18446744073709551615 258650649908 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28306/tid=28314] ppid=28301 vsize=2331968 CPUtime=3.5 cores=4-31
/proc/28306/task/28314/stat : 28314 (plingeling) D 28301 28301 28174 0 -1 4202560 4669 1238 0 0 331 19 0 0 23 0 29 0 722347416 2387935232 356991 268435456000 4194304 4356188 140733258919920 18446744073709551615 258650649908 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28306/tid=28315] ppid=28301 vsize=2331968 CPUtime=3.34 cores=4-31
/proc/28306/task/28315/stat : 28315 (plingeling) D 28301 28301 28174 0 -1 4202560 4687 1238 0 0 317 17 0 0 21 0 29 0 722347417 2387935232 356991 268435456000 4194304 4356188 140733258919920 18446744073709551615 258650649908 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=28306/tid=28316] ppid=28301 vsize=2331968 CPUtime=3.72 cores=4-31
/proc/28306/task/28316/stat : 28316 (plingeling) R 28301 28301 28174 0 -1 4202560 5023 1238 0 0 356 16 0 0 25 0 29 0 722347417 2387935232 356991 268435456000 4194304 4356188 140733258919920 18446744073709551615 4334582 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=28306/tid=28317] ppid=28301 vsize=2331968 CPUtime=3.38 cores=4-31
/proc/28306/task/28317/stat : 28317 (plingeling) D 28301 28301 28174 0 -1 4202560 4721 1238 0 0 313 25 0 0 22 0 29 0 722347417 2387935232 356991 268435456000 4194304 4356188 140733258919920 18446744073709551615 258650649908 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=28306/tid=28318] ppid=28301 vsize=2331968 CPUtime=3.72 cores=4-31
/proc/28306/task/28318/stat : 28318 (plingeling) R 28301 28301 28174 0 -1 4202560 4660 1238 0 0 355 17 0 0 25 0 29 0 722347417 2387935232 356991 268435456000 4194304 4356188 140733258919920 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=28306/tid=28319] ppid=28301 vsize=2331968 CPUtime=3.75 cores=4-31
/proc/28306/task/28319/stat : 28319 (plingeling) D 28301 28301 28174 0 -1 4202560 4638 1238 0 0 358 17 0 0 25 0 29 0 722347417 2387935232 356991 268435456000 4194304 4356188 140733258919920 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28306/tid=28320] ppid=28301 vsize=2331968 CPUtime=3.56 cores=4-31
/proc/28306/task/28320/stat : 28320 (plingeling) D 28301 28301 28174 0 -1 4202560 4744 1238 0 0 339 17 0 0 24 0 29 0 722347417 2387935232 356991 268435456000 4194304 4356188 140733258919920 18446744073709551615 258650649908 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=28306/tid=28321] ppid=28301 vsize=2331968 CPUtime=3.47 cores=4-31
/proc/28306/task/28321/stat : 28321 (plingeling) D 28301 28301 28174 0 -1 4202560 4614 1238 0 0 327 20 0 0 23 0 29 0 722347417 2387935232 356991 268435456000 4194304 4356188 140733258919920 18446744073709551615 258650649908 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=28306/tid=28322] ppid=28301 vsize=2331968 CPUtime=3.57 cores=4-31
/proc/28306/task/28322/stat : 28322 (plingeling) D 28301 28301 28174 0 -1 4202560 4613 1238 0 0 338 19 0 0 24 0 29 0 722347418 2387935232 356991 268435456000 4194304 4356188 140733258919920 18446744073709551615 258650649908 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28306/tid=28323] ppid=28301 vsize=2331968 CPUtime=3.41 cores=4-31
/proc/28306/task/28323/stat : 28323 (plingeling) D 28301 28301 28174 0 -1 4202560 4680 1238 0 0 316 25 0 0 22 0 29 0 722347418 2387935232 356991 268435456000 4194304 4356188 140733258919920 18446744073709551615 258650649908 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28306/tid=28324] ppid=28301 vsize=2331968 CPUtime=3.72 cores=4-31
/proc/28306/task/28324/stat : 28324 (plingeling) R 28301 28301 28174 0 -1 4202560 5081 1238 0 0 356 16 0 0 25 0 29 0 722347418 2387935232 356991 268435456000 4194304 4356188 140733258919920 18446744073709551615 4336089 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28306/tid=28325] ppid=28301 vsize=2331968 CPUtime=3.48 cores=4-31
/proc/28306/task/28325/stat : 28325 (plingeling) D 28301 28301 28174 0 -1 4202560 4640 1238 0 0 328 20 0 0 23 0 29 0 722347418 2387935232 356991 268435456000 4194304 4356188 140733258919920 18446744073709551615 258650649908 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28306/tid=28326] ppid=28301 vsize=2331968 CPUtime=3.4 cores=4-31
/proc/28306/task/28326/stat : 28326 (plingeling) D 28301 28301 28174 0 -1 4202560 4679 1238 0 0 323 17 0 0 22 0 29 0 722347418 2387935232 356991 268435456000 4194304 4356188 140733258919920 18446744073709551615 258650649908 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28306/tid=28327] ppid=28301 vsize=2331968 CPUtime=3.44 cores=4-31
/proc/28306/task/28327/stat : 28327 (plingeling) D 28301 28301 28174 0 -1 4202560 4661 1238 0 0 328 16 0 0 23 0 29 0 722347418 2387935232 356991 268435456000 4194304 4356188 140733258919920 18446744073709551615 258650649908 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=28306/tid=28328] ppid=28301 vsize=2331968 CPUtime=3.49 cores=4-31
/proc/28306/task/28328/stat : 28328 (plingeling) D 28301 28301 28174 0 -1 4202560 4614 1238 0 0 331 18 0 0 23 0 29 0 722347418 2387935232 356991 268435456000 4194304 4356188 140733258919920 18446744073709551615 258650649908 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=28306/tid=28329] ppid=28301 vsize=2331968 CPUtime=3.54 cores=4-31
/proc/28306/task/28329/stat : 28329 (plingeling) D 28301 28301 28174 0 -1 4202560 4674 1238 0 0 336 18 0 0 24 0 29 0 722347418 2387935232 356991 268435456000 4194304 4356188 140733258919920 18446744073709551615 258650649908 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=28306/tid=28330] ppid=28301 vsize=2331968 CPUtime=3.39 cores=4-31
/proc/28306/task/28330/stat : 28330 (plingeling) D 28301 28301 28174 0 -1 4202560 4689 1238 0 0 318 21 0 0 23 0 29 0 722347418 2387935232 356991 268435456000 4194304 4356188 140733258919920 18446744073709551615 258650649908 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28306/tid=28331] ppid=28301 vsize=2331968 CPUtime=3.53 cores=4-31
/proc/28306/task/28331/stat : 28331 (plingeling) D 28301 28301 28174 0 -1 4202560 4636 1238 0 0 334 19 0 0 24 0 29 0 722347418 2387935232 356991 268435456000 4194304 4356188 140733258919920 18446744073709551615 258650649908 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28306/tid=28332] ppid=28301 vsize=2331968 CPUtime=3.77 cores=4-31
/proc/28306/task/28332/stat : 28332 (plingeling) R 28301 28301 28174 0 -1 4202560 5269 1238 0 0 360 17 0 0 25 0 29 0 722347418 2387935232 356991 268435456000 4194304 4356188 140733258919920 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=28306/tid=28333] ppid=28301 vsize=2331968 CPUtime=3.37 cores=4-31
/proc/28306/task/28333/stat : 28333 (plingeling) D 28301 28301 28174 0 -1 4202560 4678 1238 0 0 320 17 0 0 22 0 29 0 722347418 2387935232 356991 268435456000 4194304 4356188 140733258919920 18446744073709551615 258650649908 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28306/tid=28334] ppid=28301 vsize=2331968 CPUtime=3.4 cores=4-31

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

[pid=28306/tid=28321] ppid=28301 vsize=2414508 CPUtime=434.48 cores=4-31
/proc/28306/task/28321/stat : 28321 (plingeling) R 28301 28301 28174 0 -1 4202560 53917 1238 0 0 43366 82 0 0 25 0 29 0 722347417 2472456192 468265 268435456000 4194304 4356188 140733258919920 18446744073709551615 4330805 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=28306/tid=28322] ppid=28301 vsize=2414508 CPUtime=434.65 cores=4-31
/proc/28306/task/28322/stat : 28322 (plingeling) R 28301 28301 28174 0 -1 4202560 34793 1238 0 0 43429 36 0 0 25 0 29 0 722347418 2472456192 468265 268435456000 4194304 4356188 140733258919920 18446744073709551615 4225618 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28306/tid=28323] ppid=28301 vsize=2414508 CPUtime=434.33 cores=4-31
/proc/28306/task/28323/stat : 28323 (plingeling) R 28301 28301 28174 0 -1 4202560 25063 1238 0 0 43369 64 0 0 25 0 29 0 722347418 2472456192 468265 268435456000 4194304 4356188 140733258919920 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28306/tid=28324] ppid=28301 vsize=2414508 CPUtime=434.84 cores=4-31
/proc/28306/task/28324/stat : 28324 (plingeling) R 28301 28301 28174 0 -1 4202560 26588 1238 0 0 43462 22 0 0 25 0 29 0 722347418 2472456192 468265 268435456000 4194304 4356188 140733258919920 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28306/tid=28325] ppid=28301 vsize=2414508 CPUtime=434.57 cores=4-31
/proc/28306/task/28325/stat : 28325 (plingeling) R 28301 28301 28174 0 -1 4202560 52438 1238 0 0 43359 98 0 0 25 0 29 0 722347418 2472456192 468265 268435456000 4194304 4356188 140733258919920 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28306/tid=28326] ppid=28301 vsize=2414508 CPUtime=426.28 cores=4-31
/proc/28306/task/28326/stat : 28326 (plingeling) R 28301 28301 28174 0 -1 4202560 48021 1238 0 0 42552 76 0 0 25 0 29 0 722347418 2472456192 468265 268435456000 4194304 4356188 140733258919920 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28306/tid=28327] ppid=28301 vsize=2414508 CPUtime=434.41 cores=4-31
/proc/28306/task/28327/stat : 28327 (plingeling) R 28301 28301 28174 0 -1 4202560 35090 1238 0 0 43405 36 0 0 25 0 29 0 722347418 2472456192 468265 268435456000 4194304 4356188 140733258919920 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=28306/tid=28328] ppid=28301 vsize=2414508 CPUtime=434.54 cores=4-31
/proc/28306/task/28328/stat : 28328 (plingeling) R 28301 28301 28174 0 -1 4202560 123341 1238 0 0 43351 103 0 0 25 0 29 0 722347418 2472456192 468265 268435456000 4194304 4356188 140733258919920 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=28306/tid=28329] ppid=28301 vsize=2414508 CPUtime=434.45 cores=4-31
/proc/28306/task/28329/stat : 28329 (plingeling) R 28301 28301 28174 0 -1 4202560 50153 1238 0 0 43404 41 0 0 25 0 29 0 722347418 2472456192 468265 268435456000 4194304 4356188 140733258919920 18446744073709551615 4211120 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=28306/tid=28330] ppid=28301 vsize=2414508 CPUtime=433.22 cores=4-31
/proc/28306/task/28330/stat : 28330 (plingeling) R 28301 28301 28174 0 -1 4202560 45434 1238 0 0 43240 82 0 0 25 0 29 0 722347418 2472456192 468265 268435456000 4194304 4356188 140733258919920 18446744073709551615 4270878 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=28306/tid=28331] ppid=28301 vsize=2414508 CPUtime=434.54 cores=4-31
/proc/28306/task/28331/stat : 28331 (plingeling) R 28301 28301 28174 0 -1 4202560 21501 1238 0 0 43412 42 0 0 25 0 29 0 722347418 2472456192 468265 268435456000 4194304 4356188 140733258919920 18446744073709551615 4335971 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28306/tid=28332] ppid=28301 vsize=2414508 CPUtime=434.87 cores=4-31
/proc/28306/task/28332/stat : 28332 (plingeling) R 28301 28301 28174 0 -1 4202560 11633 1238 0 0 43468 19 0 0 25 0 29 0 722347418 2472456192 468265 268435456000 4194304 4356188 140733258919920 18446744073709551615 4334474 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=28306/tid=28333] ppid=28301 vsize=2414508 CPUtime=434.34 cores=4-31
/proc/28306/task/28333/stat : 28333 (plingeling) R 28301 28301 28174 0 -1 4202560 46198 1238 0 0 43377 57 0 0 25 0 29 0 722347418 2472456192 468265 268435456000 4194304 4356188 140733258919920 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28306/tid=28334] ppid=28301 vsize=2414508 CPUtime=434.5 cores=4-31
/proc/28306/task/28334/stat : 28334 (plingeling) R 28301 28301 28174 0 -1 4202560 27061 1238 0 0 43413 37 0 0 25 0 29 0 722347419 2472456192 468265 268435456000 4194304 4356188 140733258919920 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28306/tid=28335] ppid=28301 vsize=2414508 CPUtime=434.89 cores=4-31
/proc/28306/task/28335/stat : 28335 (plingeling) R 28301 28301 28174 0 -1 4202560 54185 1238 0 0 43381 108 0 0 25 0 29 0 722347421 2472456192 468265 268435456000 4194304 4356188 140733258919920 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=28306/tid=28336] ppid=28301 vsize=2414508 CPUtime=434.1 cores=4-31
/proc/28306/task/28336/stat : 28336 (plingeling) R 28301 28301 28174 0 -1 4202560 136473 1238 0 0 43304 106 0 0 25 0 29 0 722347422 2472456192 468265 268435456000 4194304 4356188 140733258919920 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=28306/tid=28337] ppid=28301 vsize=2414508 CPUtime=434.77 cores=4-31
/proc/28306/task/28337/stat : 28337 (plingeling) R 28301 28301 28174 0 -1 4202560 60611 1238 0 0 43419 58 0 0 25 0 29 0 722347422 2472456192 468265 268435456000 4194304 4356188 140733258919920 18446744073709551615 4331964 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=28306/tid=28338] ppid=28301 vsize=2414508 CPUtime=434.27 cores=4-31
/proc/28306/task/28338/stat : 28338 (plingeling) R 28301 28301 28174 0 -1 4202560 58041 1238 0 0 43367 60 0 0 25 0 29 0 722347422 2472456192 468265 268435456000 4194304 4356188 140733258919920 18446744073709551615 4281627 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28306/tid=28339] ppid=28301 vsize=2414508 CPUtime=434.56 cores=4-31
/proc/28306/task/28339/stat : 28339 (plingeling) R 28301 28301 28174 0 -1 4202560 26727 1238 0 0 43424 32 0 0 25 0 29 0 722347422 2472456192 468265 268435456000 4194304 4356188 140733258919920 18446744073709551615 4332165 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=28306/tid=28340] ppid=28301 vsize=2414508 CPUtime=434.74 cores=4-31
/proc/28306/task/28340/stat : 28340 (plingeling) R 28301 28301 28174 0 -1 4202560 11487 1238 0 0 43457 17 0 0 25 0 29 0 722347422 2472456192 468265 268435456000 4194304 4356188 140733258919920 18446744073709551615 4332165 0 0 4096 17442 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 13939.6
Current children cumulated vsize (KiB) 3538612

[startup+444.302 s]
/proc/loadavg: 32.25 31.64 31.61 33/447 28361
/proc/meminfo: memFree=252967788/264257624 swapFree=67111528/67111528
[pid=28301] ppid=28299 vsize=18324 CPUtime=0 cores=0-31
/proc/28301/stat : 28301 (ppfolio) S 28299 28301 28174 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 722346535 18763776 386 268435456000 4194304 4287625 140733235148208 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 12 0 0 0
/proc/28301/statm: 4581 386 337 23 0 91 0
[pid=28302] ppid=28301 vsize=197032 CPUtime=444.2 cores=0
/proc/28302/stat : 28302 (cryptominisat) R 28301 28301 28174 0 -1 4202496 193624 0 0 0 44353 67 0 0 25 0 1 0 722346535 201760768 43875 268435456000 4194304 4587354 140736585179792 18446744073709551615 4238591 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28302/statm: 49258 43875 338 96 0 45820 0
[pid=28303] ppid=28301 vsize=220788 CPUtime=444.22 cores=1
/proc/28303/stat : 28303 (clasp) R 28301 28301 28174 0 -1 4202496 54921 0 0 0 44396 26 0 0 25 0 1 0 722346535 226086912 50269 268435456000 4194304 4785740 140737321143040 18446744073709551615 4286953 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28303/statm: 55197 50269 339 145 0 52242 0
[pid=28304] ppid=28301 vsize=526448 CPUtime=444.22 cores=2
/proc/28304/stat : 28304 (TNM) R 28301 28301 28174 0 -1 4202496 23358 0 0 0 44416 6 0 0 25 0 1 0 722346535 539082752 23255 268435456000 134512640 134534564 4293561328 18446744073709551615 134528464 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28304/statm: 131612 23255 95 6 0 130277 0
[pid=28305] ppid=28301 vsize=162144 CPUtime=444.22 cores=3
/proc/28305/stat : 28305 (march_hi) R 28301 28301 28174 0 -1 4202496 154976 0 0 0 44385 37 0 0 25 0 1 0 722346535 166035456 26774 268435456000 4194304 4331988 140736448110400 18446744073709551615 4239528 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28305/statm: 40536 26774 174 34 0 38978 0
[pid=28306] ppid=28301 vsize=2414408 CPUtime=12176.2 cores=4-31
/proc/28306/stat : 28306 (plingeling) S 28301 28301 28174 0 -1 4202496 1730647 1238 0 0 1215842 1774 0 0 19 0 29 0 722346535 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/28306/statm: 603602 468240 159 40 0 602146 0
[pid=28306/tid=28313] ppid=28301 vsize=2414408 CPUtime=435.09 cores=4-31
/proc/28306/task/28313/stat : 28313 (plingeling) R 28301 28301 28174 0 -1 4202560 53625 1238 0 0 43449 60 0 0 25 0 29 0 722347416 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28306/tid=28314] ppid=28301 vsize=2414408 CPUtime=434.85 cores=4-31
/proc/28306/task/28314/stat : 28314 (plingeling) R 28301 28301 28174 0 -1 4202560 49765 1238 0 0 43407 78 0 0 25 0 29 0 722347416 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28306/tid=28315] ppid=28301 vsize=2414408 CPUtime=434.77 cores=4-31
/proc/28306/task/28315/stat : 28315 (plingeling) R 28301 28301 28174 0 -1 4202560 32539 1238 0 0 43444 33 0 0 25 0 29 0 722347417 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=28306/tid=28316] ppid=28301 vsize=2414408 CPUtime=435.25 cores=4-31
/proc/28306/task/28316/stat : 28316 (plingeling) R 28301 28301 28174 0 -1 4202560 20177 1238 0 0 43504 21 0 0 25 0 29 0 722347417 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=28306/tid=28317] ppid=28301 vsize=2414408 CPUtime=431.81 cores=4-31
/proc/28306/task/28317/stat : 28317 (plingeling) R 28301 28301 28174 0 -1 4202560 46213 1238 0 0 43125 56 0 0 25 0 29 0 722347417 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28306/tid=28318] ppid=28301 vsize=2414408 CPUtime=435.25 cores=4-31
/proc/28306/task/28318/stat : 28318 (plingeling) R 28301 28301 28174 0 -1 4202560 37962 1238 0 0 43469 56 0 0 25 0 29 0 722347417 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=28306/tid=28319] ppid=28301 vsize=2414408 CPUtime=435.25 cores=4-31
/proc/28306/task/28319/stat : 28319 (plingeling) R 28301 28301 28174 0 -1 4202560 41230 1238 0 0 43470 55 0 0 25 0 29 0 722347417 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4331328 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28306/tid=28320] ppid=28301 vsize=2414408 CPUtime=435.08 cores=4-31
/proc/28306/task/28320/stat : 28320 (plingeling) R 28301 28301 28174 0 -1 4202560 152154 1238 0 0 43350 158 0 0 25 0 29 0 722347417 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4238870 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=28306/tid=28321] ppid=28301 vsize=2414408 CPUtime=434.9 cores=4-31
/proc/28306/task/28321/stat : 28321 (plingeling) R 28301 28301 28174 0 -1 4202560 53917 1238 0 0 43408 82 0 0 25 0 29 0 722347417 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=28306/tid=28322] ppid=28301 vsize=2414408 CPUtime=435.07 cores=4-31
/proc/28306/task/28322/stat : 28322 (plingeling) R 28301 28301 28174 0 -1 4202560 34793 1238 0 0 43471 36 0 0 25 0 29 0 722347418 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4225594 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28306/tid=28323] ppid=28301 vsize=2414408 CPUtime=434.75 cores=4-31
/proc/28306/task/28323/stat : 28323 (plingeling) R 28301 28301 28174 0 -1 4202560 25063 1238 0 0 43411 64 0 0 25 0 29 0 722347418 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28306/tid=28324] ppid=28301 vsize=2414408 CPUtime=435.26 cores=4-31
/proc/28306/task/28324/stat : 28324 (plingeling) R 28301 28301 28174 0 -1 4202560 26588 1238 0 0 43504 22 0 0 25 0 29 0 722347418 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28306/tid=28325] ppid=28301 vsize=2414408 CPUtime=434.99 cores=4-31
/proc/28306/task/28325/stat : 28325 (plingeling) R 28301 28301 28174 0 -1 4202560 52438 1238 0 0 43401 98 0 0 25 0 29 0 722347418 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4330827 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28306/tid=28326] ppid=28301 vsize=2414408 CPUtime=426.7 cores=4-31
/proc/28306/task/28326/stat : 28326 (plingeling) R 28301 28301 28174 0 -1 4202560 48021 1238 0 0 42594 76 0 0 25 0 29 0 722347418 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4331126 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28306/tid=28327] ppid=28301 vsize=2414408 CPUtime=434.83 cores=4-31
/proc/28306/task/28327/stat : 28327 (plingeling) R 28301 28301 28174 0 -1 4202560 35090 1238 0 0 43447 36 0 0 25 0 29 0 722347418 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=28306/tid=28328] ppid=28301 vsize=2414408 CPUtime=434.96 cores=4-31
/proc/28306/task/28328/stat : 28328 (plingeling) R 28301 28301 28174 0 -1 4202560 123341 1238 0 0 43393 103 0 0 25 0 29 0 722347418 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=28306/tid=28329] ppid=28301 vsize=2414408 CPUtime=434.87 cores=4-31
/proc/28306/task/28329/stat : 28329 (plingeling) R 28301 28301 28174 0 -1 4202560 50153 1238 0 0 43446 41 0 0 25 0 29 0 722347418 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=28306/tid=28330] ppid=28301 vsize=2414408 CPUtime=433.62 cores=4-31
/proc/28306/task/28330/stat : 28330 (plingeling) R 28301 28301 28174 0 -1 4202560 45434 1238 0 0 43280 82 0 0 25 0 29 0 722347418 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4312467 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=28306/tid=28331] ppid=28301 vsize=2414408 CPUtime=434.96 cores=4-31
/proc/28306/task/28331/stat : 28331 (plingeling) R 28301 28301 28174 0 -1 4202560 21501 1238 0 0 43454 42 0 0 25 0 29 0 722347418 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28306/tid=28332] ppid=28301 vsize=2414408 CPUtime=435.29 cores=4-31
/proc/28306/task/28332/stat : 28332 (plingeling) R 28301 28301 28174 0 -1 4202560 11633 1238 0 0 43510 19 0 0 25 0 29 0 722347418 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=28306/tid=28333] ppid=28301 vsize=2414408 CPUtime=434.76 cores=4-31
/proc/28306/task/28333/stat : 28333 (plingeling) R 28301 28301 28174 0 -1 4202560 46198 1238 0 0 43419 57 0 0 25 0 29 0 722347418 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28306/tid=28334] ppid=28301 vsize=2414408 CPUtime=434.92 cores=4-31
/proc/28306/task/28334/stat : 28334 (plingeling) R 28301 28301 28174 0 -1 4202560 27061 1238 0 0 43455 37 0 0 25 0 29 0 722347419 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28306/tid=28335] ppid=28301 vsize=2414408 CPUtime=435.31 cores=4-31
/proc/28306/task/28335/stat : 28335 (plingeling) R 28301 28301 28174 0 -1 4202560 54185 1238 0 0 43423 108 0 0 25 0 29 0 722347421 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=28306/tid=28336] ppid=28301 vsize=2414408 CPUtime=434.52 cores=4-31
/proc/28306/task/28336/stat : 28336 (plingeling) R 28301 28301 28174 0 -1 4202560 136473 1238 0 0 43346 106 0 0 25 0 29 0 722347422 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=28306/tid=28337] ppid=28301 vsize=2414408 CPUtime=435.19 cores=4-31
/proc/28306/task/28337/stat : 28337 (plingeling) R 28301 28301 28174 0 -1 4202560 60611 1238 0 0 43461 58 0 0 25 0 29 0 722347422 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=28306/tid=28338] ppid=28301 vsize=2414408 CPUtime=434.69 cores=4-31
/proc/28306/task/28338/stat : 28338 (plingeling) R 28301 28301 28174 0 -1 4202560 58041 1238 0 0 43409 60 0 0 25 0 29 0 722347422 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4336036 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28306/tid=28339] ppid=28301 vsize=2414408 CPUtime=434.98 cores=4-31
/proc/28306/task/28339/stat : 28339 (plingeling) R 28301 28301 28174 0 -1 4202560 26727 1238 0 0 43466 32 0 0 25 0 29 0 722347422 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4331106 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=28306/tid=28340] ppid=28301 vsize=2414408 CPUtime=435.16 cores=4-31
/proc/28306/task/28340/stat : 28340 (plingeling) R 28301 28301 28174 0 -1 4202560 11487 1238 0 0 43499 17 0 0 25 0 29 0 722347422 2472353792 468240 268435456000 4194304 4356188 140733258919920 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 13953
Current children cumulated vsize (KiB) 3539144

[startup+444.701 s]
/proc/loadavg: 32.25 31.64 31.61 33/447 28361
/proc/meminfo: memFree=252967788/264257624 swapFree=67111528/67111528
[pid=28301] ppid=28299 vsize=18324 CPUtime=0 cores=0-31
/proc/28301/stat : 28301 (ppfolio) S 28299 28301 28174 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 722346535 18763776 386 268435456000 4194304 4287625 140733235148208 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 12 0 0 0
/proc/28301/statm: 4581 386 337 23 0 91 0
[pid=28302] ppid=28301 vsize=197032 CPUtime=444.58 cores=0
/proc/28302/stat : 28302 (cryptominisat) R 28301 28301 28174 0 -1 4202496 193624 0 0 0 44391 67 0 0 25 0 1 0 722346535 201760768 43875 268435456000 4194304 4587354 140736585179792 18446744073709551615 4238538 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28302/statm: 49258 43875 338 96 0 45820 0
[pid=28303] ppid=28301 vsize=220960 CPUtime=444.6 cores=1
/proc/28303/stat : 28303 (clasp) R 28301 28301 28174 0 -1 4202496 54940 0 0 0 44434 26 0 0 25 0 1 0 722346535 226263040 50288 268435456000 4194304 4785740 140737321143040 18446744073709551615 4286953 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28303/statm: 55240 50288 339 145 0 52285 0
[pid=28304] ppid=28301 vsize=526448 CPUtime=444.6 cores=2
/proc/28304/stat : 28304 (TNM) R 28301 28301 28174 0 -1 4202496 23358 0 0 0 44454 6 0 0 25 0 1 0 722346535 539082752 23255 268435456000 134512640 134534564 4293561328 18446744073709551615 134528483 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28304/statm: 131612 23255 95 6 0 130277 0
[pid=28305] ppid=28301 vsize=162144 CPUtime=444.6 cores=3
/proc/28305/stat : 28305 (march_hi) R 28301 28301 28174 0 -1 4202496 154977 0 0 0 44423 37 0 0 25 0 1 0 722346535 166035456 26775 268435456000 4194304 4331988 140736448110400 18446744073709551615 4299269 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28305/statm: 40536 26775 174 34 0 38978 0
[pid=28306] ppid=28301 vsize=1811440 CPUtime=12180.2 cores=4-31
/proc/28306/stat : 28306 (plingeling) R 28301 28301 28174 0 -1 4202496 1730648 1238 0 0 1216246 1777 0 0 15 0 1 0 722346535 1854914560 373723 268435456000 4194304 4356188 140733258919920 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28306/statm: 452860 373723 160 40 0 451404 0
Current children cumulated CPU time (s) 13958.6
Current children cumulated vsize (KiB) 2936348

[startup+444.801 s]
/proc/loadavg: 32.25 31.64 31.61 33/447 28361
/proc/meminfo: memFree=252967788/264257624 swapFree=67111528/67111528
[pid=28301] ppid=28299 vsize=18324 CPUtime=0 cores=0-31
/proc/28301/stat : 28301 (ppfolio) S 28299 28301 28174 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 722346535 18763776 386 268435456000 4194304 4287625 140733235148208 18446744073709551615 258650975999 0 0 4096 65536 9170252023071768575 0 0 17 12 0 0 0
/proc/28301/statm: 4581 386 337 23 0 91 0
[pid=28302] ppid=28301 vsize=197032 CPUtime=444.68 cores=0
/proc/28302/stat : 28302 (cryptominisat) R 28301 28301 28174 0 -1 4202496 193624 0 0 0 44401 67 0 0 25 0 1 0 722346535 201760768 43875 268435456000 4194304 4587354 140736585179792 18446744073709551615 4232133 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28302/statm: 49258 43875 338 96 0 45820 0
[pid=28303] ppid=28301 vsize=220960 CPUtime=444.7 cores=1
/proc/28303/stat : 28303 (clasp) R 28301 28301 28174 0 -1 4202496 54942 0 0 0 44444 26 0 0 25 0 1 0 722346535 226263040 50290 268435456000 4194304 4785740 140737321143040 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/28303/statm: 55240 50290 339 145 0 52285 0
[pid=28304] ppid=28301 vsize=526448 CPUtime=444.7 cores=2
/proc/28304/stat : 28304 (TNM) R 28301 28301 28174 0 -1 4202496 23358 0 0 0 44464 6 0 0 25 0 1 0 722346535 539082752 23255 268435456000 134512640 134534564 4293561328 18446744073709551615 134530669 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28304/statm: 131612 23255 95 6 0 130277 0
[pid=28305] ppid=28301 vsize=162144 CPUtime=444.7 cores=3
/proc/28305/stat : 28305 (march_hi) R 28301 28301 28174 0 -1 4202496 154978 0 0 0 44433 37 0 0 25 0 1 0 722346535 166035456 26776 268435456000 4194304 4331988 140736448110400 18446744073709551615 258650350693 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/28305/statm: 40536 26776 174 34 0 38978 0
[pid=28306] ppid=28301 vsize=722512 CPUtime=12180.3 cores=4-31
/proc/28306/stat : 28306 (plingeling) R 28301 28301 28174 0 -1 4202496 1730648 1238 0 0 1216246 1787 0 0 16 0 1 0 722346535 739852288 101391 268435456000 4194304 4356188 140733258919920 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/28306/statm: 180628 101391 160 40 0 179172 0
Current children cumulated CPU time (s) 13959.1
Current children cumulated vsize (KiB) 1847420

Child status: 0
Real time (s): 444.857
CPU time (s): 13959.4
CPU user time (s): 13940.1
CPU system time (s): 19.3521
CPU usage (%): 3137.95
Max. virtual memory (cumulated for all children) (KiB): 7247216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13940.1
system time used= 19.3521
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2159367
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= 2402
involuntary context switches= 33873

runsolver used 2.5986 second user time and 9.94249 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-23 01:56:41
IDJOB=3347651
IDBENCH=84806
IDSOLVER=1808
FILE ID=node200/3347651-1306108600
RUNJOBID= node200-1306108584-28188
PBS_JOBID= 13387823
Free space on /tmp= 62028 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT04/industrial/vangelder/cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347651-1306108600/watcher-3347651-1306108600 -o /tmp/evaluation-result-3347651-1306108600/solver-3347651-1306108600 -C 160000 -W 5100 -M 266338304  ppfolio HOME/instance-3347651-1306108600.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32

MD5SUM BENCH= 65c5a1442ec07e466934f093e50229c2
RANDOM SEED=1627462413

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      255405204 kB
Buffers:        456140 kB
Cached:        7974888 kB
SwapCached:          0 kB
Active:        7525508 kB
Inactive:       974212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255405204 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           30868 kB
Writeback:           0 kB
AnonPages:       69496 kB
Mapped:          14876 kB
Slab:           253844 kB
PageTables:       4388 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   193660 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62016 MiB
End job on node200 at 2011-05-23 02:04:06