Trace number 3347603

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 194.941 8.28427

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F18.cnf
MD5SUM0219a55415ff7fae71350d03c49bcd06
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark188.113
Satisfiable
(Un)Satisfiability was proved
Number of variables7794
Number of clauses126826
Sum of the clauses size748100
Maximum clause length55
Minimum clause length1
Number of clauses of size 120
Number of clauses of size 220345
Number of clauses of size 317319
Number of clauses of size 46552
Number of clauses of size 515318
Number of clauses of size over 567272

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
194.51/8.26	s SATISFIABLE
194.51/8.26	v -1 -2 -3 -4 -5 -6 -7
194.51/8.26	v -8 9 -10 -11 12 13 -14 -15
194.51/8.26	v -16 17 -18 -19 -20 -21 -22 -23
194.51/8.26	v -24 -25 26 -27 28 29 -30 -31
194.51/8.26	v -32 -33 -34 35 36 37 38 -39
194.51/8.26	v 40 -41 42 -43 -44 45 46 47
194.51/8.26	v -48 -49 -50 -51 -52 -53 -54 -55
194.51/8.26	v -56 57 58 -59 -60 -61 -62 63
194.51/8.26	v -64 -65 -66 67 -68 -69 -70 -71
194.51/8.26	v -72 -73 -74 -75 76 -77 -78 79
194.51/8.26	v -80 81 -82 -83 84 85 86 -87
194.51/8.26	v -88 89 90 -91 -92 93 -94 -95
194.51/8.26	v -96 -97 -98 -99 -100 -101 -102 -103
194.51/8.26	v -104 -105 -106 -107 -108 109 -110 -111
194.51/8.26	v 112 -113 -114 -115 -116 -117 -118 -119
194.51/8.26	v 120 121 122 -123 124 125 -126 127
194.51/8.26	v -128 -129 -130 -131 -132 -133 -134 -135
194.51/8.26	v -136 -137 -138 139 -140 -141 -142 143
194.51/8.26	v -144 -145 -146 147 -148 149 -150 -151
194.51/8.26	v -152 -153 154 155 156 -157 158 -159
194.51/8.26	v 160 161 -162 -163 164 -165 -166 -167
194.51/8.26	v 168 -169 -170 171 172 173 174 175
194.51/8.26	v 176 177 178 -179 180 -181 -182 -183
194.51/8.26	v 184 185 186 187 -188 -189 -190 -191
194.51/8.26	v 192 -193 -194 -195 -196 -197 -198 -199
194.51/8.26	v -200 -201 202 203 204 205 206 207
194.51/8.26	v -208 209 -210 -211 -212 213 214 215
194.51/8.26	v -216 217 218 -219 -220 221 222 223
194.51/8.26	v 224 225 226 227 228 -229 230 231
194.51/8.26	v -232 -233 -234 -235 -236 -237 -238 -239
194.51/8.26	v -240 241 -242 -243 244 245 -246 247
194.51/8.26	v 248 249 250 251 252 253 254 255
194.51/8.26	v 256 257 258 259 260 261 -262 -263
194.51/8.26	v 264 -265 -266 -267 -268 -269 -270 -271
194.51/8.26	v 272 -273 -274 -275 276 -277 -278 279
194.51/8.26	v -280 281 282 283 -284 -285 286 287
194.51/8.26	v 288 289 290 291 -292 293 294 -295
194.51/8.26	v -296 297 298 -299 -300 301 -302 -303
194.51/8.26	v 304 305 306 -307 -308 -309 310 -311
194.51/8.26	v -312 -313 -314 -315 -316 -317 -318 -319
194.51/8.26	v -320 -321 -322 -323 -324 325 326 -327
194.51/8.26	v -328 -329 -330 -331 -332 -333 -334 -335
194.51/8.26	v -336 -337 -338 -339 -340 -341 -342 -343
194.51/8.26	v -344 -345 -346 -347 348 349 350 351
194.51/8.26	v 352 353 -354 -355 -356 -357 -358 -359
194.51/8.26	v -360 -361 -362 363 -364 -365 -366 -367
194.51/8.26	v -368 -369 -370 -371 -372 -373 -374 -375
194.51/8.26	v -376 -377 -378 -379 -380 -381 -382 -383
194.51/8.26	v -384 -385 386 -387 -388 -389 -390 -391
194.51/8.26	v -392 -393 -394 -395 -396 -397 -398 -399
194.51/8.26	v -400 -401 402 403 404 405 406 -407
194.51/8.26	v -408 -409 -410 -411 -412 -413 -414 -415
194.51/8.26	v -416 -417 -418 419 420 -421 -422 -423
194.51/8.26	v -424 -425 -426 -427 -428 -429 -430 -431
194.51/8.26	v -432 -433 -434 -435 -436 -437 -438 -439
194.51/8.26	v -440 -441 -442 443 -444 -445 -446 -447
194.51/8.26	v -448 -449 -450 -451 -452 -453 -454 455
194.51/8.26	v -456 -457 -458 -459 -460 -461 -462 -463
194.51/8.26	v -464 -465 -466 -467 -468 -469 -470 -471
194.51/8.26	v 472 473 474 475 476 -477 -478 -479
194.51/8.26	v -480 -481 -482 -483 -484 -485 -486 487
194.51/8.26	v -488 -489 -490 -491 -492 -493 -494 -495
194.51/8.26	v -496 -497 -498 -499 -500 -501 -502 -503
194.51/8.26	v -504 -505 -506 -507 -508 -509 -510 -511
194.51/8.26	v -512 -513 514 -515 -516 -517 -518 -519
194.51/8.26	v -520 -521 -522 523 524 525 526 527
194.51/8.26	v -528 -529 -530 -531 -532 -533 -534 -535
194.51/8.26	v -536 -537 -538 -539 -540 -541 542 543
194.51/8.26	v 544 -545 -546 -547 -548 -549 -550 -551
194.51/8.26	v -552 -553 -554 -555 -556 -557 -558 -559
194.51/8.26	v -560 -561 -562 -563 -564 565 -566 -567
194.51/8.26	v -568 -569 -570 -571 -572 -573 -574 -575
194.51/8.26	v -576 -577 -578 -579 -580 -581 -582 -583
194.51/8.26	v -584 585 -586 -587 -588 -589 -590 -591
194.51/8.26	v -592 -593 -594 -595 -596 -597 -598 -599
194.51/8.26	v -600 601 -602 -603 -604 -605 -606 -607
194.51/8.26	v -608 -609 -610 -611 -612 -613 -614 -615
194.51/8.26	v 616 -617 -618 -619 -620 -621 -622 -623
194.51/8.26	v -624 -625 -626 -627 -628 -629 -630 -631
194.51/8.26	v -632 -633 -634 635 636 637 638 -639
194.51/8.26	v -640 -641 -642 -643 -644 -645 -646 -647
194.51/8.26	v -648 -649 -650 651 652 653 654 655
194.51/8.26	v 656 -657 -658 -659 -660 -661 -662 -663
194.51/8.26	v -664 -665 -666 -667 -668 -669 -670 -671
194.51/8.26	v -672 -673 674 -675 -676 -677 -678 -679
194.51/8.26	v -680 -681 -682 -683 -684 -685 -686 687
194.51/8.26	v 688 689 690 691 692 -693 -694 -695
194.51/8.26	v -696 -697 -698 -699 -700 -701 -702 703
194.51/8.26	v 704 705 -706 -707 -708 -709 -710 -711
194.51/8.26	v -712 -713 -714 -715 -716 -717 -718 -719
194.51/8.26	v -720 -721 -722 -723 -724 -725 -726 727
194.51/8.26	v -728 -729 -730 -731 -732 -733 -734 -735
194.51/8.26	v -736 -737 -738 -739 740 741 -742 -743
194.51/8.26	v -744 -745 -746 -747 -748 -749 -750 -751
194.51/8.26	v -752 -753 -754 -755 -756 757 758 759
194.51/8.26	v 760 761 762 763 -764 -765 -766 -767
194.51/8.26	v -768 -769 -770 -771 -772 -773 -774 -775
194.51/8.26	v -776 -777 -778 -779 780 781 782 -783
194.51/8.26	v -784 -785 -786 -787 -788 -789 -790 -791
194.51/8.26	v -792 -793 -794 -795 796 -797 -798 -799
194.51/8.26	v -800 -801 -802 -803 -804 -805 -806 -807
194.51/8.26	v -808 -809 -810 -811 812 -813 -814 -815
194.51/8.26	v -816 -817 -818 -819 -820 -821 -822 -823
194.51/8.26	v -824 -825 -826 -827 -828 829 830 831
194.51/8.26	v 832 833 834 -835 -836 -837 -838 -839
194.51/8.26	v -840 -841 -842 -843 -844 -845 -846 847
194.51/8.26	v -848 -849 -850 -851 -852 -853 -854 -855
194.51/8.26	v -856 -857 -858 -859 -860 -861 -862 -863
194.51/8.26	v -864 -865 866 -867 -868 -869 -870 -871
194.51/8.26	v -872 -873 -874 -875 -876 -877 -878 -879
194.51/8.26	v -880 -881 -882 883 884 -885 -886 -887
194.51/8.26	v -888 -889 -890 -891 -892 -893 -894 -895
194.51/8.26	v -896 -897 -898 -899 -900 901 902 903
194.51/8.26	v 904 905 -906 -907 -908 -909 -910 -911
194.51/8.26	v -912 -913 -914 -915 -916 -917 -918 -919
194.51/8.26	v -920 921 -922 -923 -924 -925 -926 -927
194.51/8.26	v -928 -929 -930 -931 -932 -933 -934 -935
194.51/8.26	v -936 -937 -938 939 -940 -941 -942 -943
194.51/8.26	v -944 -945 -946 -947 -948 -949 -950 -951
194.51/8.26	v -952 -953 -954 -955 -956 -957 -958 -959
194.51/8.26	v -960 -961 -962 -963 -964 -965 -966 -967
194.51/8.26	v -968 -969 -970 -971 -972 -973 -974 -975
194.51/8.26	v -976 -977 -978 -979 -980 -981 -982 -983
194.51/8.26	v -984 -985 -986 -987 -988 -989 -990 -991
194.51/8.26	v -992 -993 -994 -995 -996 -997 -998 -999
194.51/8.26	v -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007
194.51/8.26	v -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015
194.51/8.26	v -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023
194.51/8.26	v -1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031
194.51/8.26	v -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039
194.51/8.26	v -1040 -1041 -1042 -1043 -1044 -1045 -1046 -1047
194.51/8.26	v -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055
194.51/8.26	v -1056 -1057 -1058 -1059 -1060 -1061 -1062 -1063
194.51/8.26	v -1064 -1065 -1066 -1067 -1068 -1069 -1070 -1071
194.51/8.26	v -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079
194.51/8.26	v -1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087
194.51/8.26	v -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095
194.51/8.26	v -1096 -1097 -1098 -1099 -1100 -1101 1102 -1103
194.51/8.26	v -1104 -1105 -1106 -1107 -1108 -1109 -1110 -1111
194.51/8.26	v -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119
194.51/8.26	v -1120 -1121 -1122 -1123 -1124 -1125 -1126 -1127
194.51/8.26	v -1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135
194.51/8.26	v -1136 -1137 -1138 -1139 -1140 -1141 -1142 -1143
194.51/8.26	v -1144 -1145 -1146 -1147 -1148 -1149 -1150 -1151
194.51/8.26	v -1152 -1153 -1154 -1155 1156 -1157 -1158 -1159
194.51/8.26	v -1160 -1161 -1162 -1163 -1164 -1165 -1166 -1167
194.51/8.26	v -1168 -1169 -1170 -1171 -1172 -1173 1174 -1175
194.51/8.26	v -1176 -1177 -1178 -1179 -1180 -1181 -1182 -1183
194.51/8.26	v -1184 -1185 -1186 -1187 -1188 -1189 -1190 -1191
194.51/8.26	v -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199
194.51/8.26	v -1200 -1201 -1202 -1203 -1204 -1205 -1206 -1207
194.51/8.26	v -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215
194.51/8.26	v -1216 -1217 -1218 -1219 -1220 -1221 -1222 -1223
194.51/8.26	v -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231
194.51/8.26	v -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239
194.51/8.26	v -1240 -1241 -1242 -1243 -1244 -1245 1246 -1247
194.51/8.26	v -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255
194.51/8.26	v -1256 -1257 -1258 -1259 -1260 -1261 -1262 -1263
194.51/8.26	v -1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271
194.51/8.26	v -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279
194.51/8.26	v -1280 -1281 -1282 -1283 -1284 -1285 -1286 -1287
194.51/8.26	v -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295
194.51/8.26	v -1296 -1297 -1298 -1299 -1300 -1301 -1302 -1303
194.51/8.26	v -1304 -1305 -1306 -1307 -1308 -1309 -1310 -1311
194.51/8.26	v -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319
194.51/8.26	v -1320 -1321 -1322 -1323 -1324 -1325 -1326 -1327
194.51/8.26	v -1328 -1329 -1330 -1331 -1332 -1333 -1334 -1335
194.51/8.26	v -1336 -1337 -1338 -1339 -1340 -1341 -1342 -1343
194.51/8.26	v -1344 -1345 -1346 -1347 -1348 -1349 -1350 -1351
194.51/8.26	v -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359
194.51/8.26	v -1360 -1361 -1362 -1363 -1364 -1365 -1366 -1367
194.51/8.26	v -1368 -1369 -1370 -1371 -1372 -1373 -1374 -1375
194.51/8.26	v -1376 -1377 -1378 -1379 -1380 -1381 -1382 -1383
194.51/8.26	v -1384 -1385 -1386 -1387 -1388 -1389 -1390 -1391
194.51/8.26	v -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399
194.51/8.26	v -1400 -1401 -1402 -1403 -1404 1405 -1406 -1407
194.51/8.26	v -1408 -1409 -1410 -1411 -1412 -1413 -1414 -1415
194.51/8.26	v -1416 -1417 -1418 -1419 -1420 -1421 -1422 -1423
194.51/8.26	v -1424 -1425 -1426 -1427 -1428 -1429 -1430 -1431
194.51/8.26	v -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439
194.51/8.26	v -1440 1441 1442 -1443 -1444 -1445 -1446 -1447
194.51/8.26	v -1448 -1449 -1450 -1451 -1452 -1453 -1454 -1455
194.51/8.26	v -1456 -1457 -1458 -1459 1460 -1461 -1462 -1463
194.51/8.26	v -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471
194.51/8.26	v -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479
194.51/8.26	v -1480 -1481 -1482 -1483 -1484 -1485 -1486 -1487
194.51/8.26	v -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495
194.51/8.26	v -1496 -1497 -1498 -1499 -1500 -1501 -1502 -1503
194.51/8.26	v -1504 -1505 -1506 -1507 -1508 -1509 -1510 -1511
194.51/8.26	v -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519
194.51/8.26	v -1520 -1521 -1522 -1523 -1524 -1525 -1526 -1527
194.51/8.26	v -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535
194.51/8.26	v -1536 -1537 -1538 -1539 -1540 -1541 -1542 -1543
194.51/8.26	v -1544 -1545 -1546 -1547 -1548 -1549 -1550 -1551
194.51/8.26	v -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559
194.51/8.26	v -1560 -1561 -1562 -1563 -1564 -1565 -1566 -1567
194.51/8.26	v -1568 -1569 -1570 -1571 -1572 -1573 1574 -1575
194.51/8.26	v -1576 -1577 -1578 -1579 -1580 -1581 -1582 -1583
194.51/8.26	v -1584 -1585 -1586 -1587 -1588 -1589 1590 1591
194.51/8.26	v 1592 1593 1594 -1595 -1596 -1597 -1598 -1599
194.51/8.26	v -1600 -1601 -1602 -1603 -1604 -1605 -1606 -1607
194.51/8.26	v 1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615
194.51/8.26	v -1616 -1617 -1618 -1619 -1620 -1621 -1622 -1623
194.51/8.26	v -1624 -1625 -1626 -1627 -1628 -1629 -1630 1631
194.51/8.26	v -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639
194.51/8.26	v -1640 -1641 -1642 -1643 -1644 -1645 -1646 -1647
194.51/8.26	v -1648 -1649 -1650 -1651 -1652 -1653 -1654 -1655
194.51/8.26	v -1656 -1657 -1658 -1659 -1660 -1661 1662 1663
194.51/8.26	v 1664 -1665 -1666 -1667 -1668 -1669 -1670 -1671
194.51/8.26	v -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679
194.51/8.26	v -1680 -1681 -1682 -1683 -1684 -1685 -1686 -1687
194.51/8.26	v -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695
194.51/8.26	v -1696 -1697 -1698 -1699 -1700 -1701 1702 -1703
194.51/8.26	v -1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711
194.51/8.26	v -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719
194.51/8.26	v -1720 -1721 -1722 -1723 -1724 -1725 -1726 -1727
194.51/8.26	v -1728 -1729 -1730 -1731 -1732 -1733 -1734 -1735
194.51/8.26	v -1736 -1737 -1738 -1739 -1740 -1741 -1742 -1743
194.51/8.26	v -1744 -1745 -1746 -1747 -1748 -1749 -1750 -1751
194.51/8.26	v -1752 1753 -1754 -1755 -1756 -1757 -1758 -1759
194.51/8.26	v -1760 -1761 -1762 -1763 -1764 -1765 -1766 -1767
194.51/8.26	v -1768 -1769 -1770 -1771 -1772 1773 -1774 -1775
194.51/8.26	v -1776 -1777 -1778 -1779 -1780 -1781 -1782 -1783
194.51/8.26	v -1784 -1785 -1786 -1787 -1788 1789 -1790 -1791
194.51/8.26	v -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799
194.51/8.26	v -1800 -1801 -1802 -1803 -1804 -1805 -1806 -1807
194.51/8.26	v -1808 -1809 -1810 -1811 -1812 -1813 -1814 -1815
194.51/8.26	v -1816 -1817 -1818 -1819 -1820 -1821 -1822 -1823
194.51/8.26	v -1824 -1825 -1826 -1827 -1828 -1829 -1830 -1831
194.51/8.26	v -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839
194.51/8.26	v -1840 -1841 -1842 -1843 -1844 -1845 -1846 -1847
194.51/8.26	v -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855
194.51/8.26	v -1856 -1857 -1858 -1859 -1860 -1861 -1862 -1863
194.51/8.26	v -1864 -1865 -1866 -1867 -1868 -1869 -1870 -1871
194.51/8.26	v -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879
194.51/8.26	v -1880 -1881 -1882 -1883 -1884 -1885 -1886 -1887
194.51/8.26	v -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895
194.51/8.26	v -1896 -1897 -1898 -1899 -1900 -1901 -1902 -1903
194.51/8.26	v -1904 -1905 -1906 -1907 -1908 -1909 -1910 -1911
194.51/8.26	v -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919
194.51/8.26	v -1920 -1921 -1922 -1923 -1924 -1925 -1926 -1927
194.51/8.26	v -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935
194.51/8.26	v -1936 -1937 -1938 -1939 -1940 -1941 -1942 -1943
194.51/8.26	v -1944 -1945 -1946 -1947 -1948 -1949 -1950 -1951
194.51/8.26	v -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959
194.51/8.26	v -1960 -1961 -1962 -1963 -1964 1965 -1966 -1967
194.51/8.26	v -1968 -1969 -1970 -1971 -1972 -1973 -1974 -1975
194.51/8.26	v -1976 -1977 -1978 -1979 -1980 -1981 -1982 1983
194.51/8.26	v -1984 -1985 -1986 -1987 -1988 -1989 -1990 -1991
194.51/8.26	v -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999
194.51/8.26	v -2000 -2001 -2002 -2003 -2004 -2005 -2006 -2007
194.51/8.26	v -2008 -2009 -2010 -2011 -2012 -2013 -2014 -2015
194.51/8.26	v -2016 -2017 -2018 -2019 -2020 -2021 -2022 -2023
194.51/8.26	v -2024 -2025 -2026 -2027 -2028 -2029 -2030 -2031
194.51/8.26	v -2032 -2033 -2034 -2035 -2036 -2037 -2038 -2039
194.51/8.26	v -2040 -2041 -2042 -2043 -2044 -2045 -2046 -2047
194.51/8.26	v -2048 -2049 -2050 -2051 -2052 -2053 -2054 -2055
194.51/8.26	v -2056 -2057 -2058 -2059 -2060 -2061 -2062 -2063
194.51/8.26	v -2064 -2065 -2066 -2067 -2068 -2069 -2070 -2071
194.51/8.26	v -2072 -2073 -2074 -2075 -2076 -2077 2078 -2079
194.51/8.26	v -2080 -2081 -2082 -2083 -2084 -2085 -2086 -2087
194.51/8.26	v -2088 -2089 -2090 -2091 -2092 -2093 -2094 -2095
194.51/8.26	v -2096 -2097 -2098 -2099 -2100 -2101 -2102 -2103
194.51/8.26	v -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111
194.51/8.26	v -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119
194.51/8.26	v -2120 -2121 -2122 -2123 -2124 -2125 -2126 -2127
194.51/8.26	v -2128 -2129 -2130 -2131 -2132 -2133 -2134 -2135
194.51/8.26	v -2136 -2137 -2138 -2139 -2140 -2141 -2142 -2143
194.51/8.26	v -2144 -2145 -2146 -2147 -2148 -2149 2150 -2151
194.51/8.26	v -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159
194.51/8.26	v -2160 -2161 -2162 -2163 -2164 -2165 -2166 -2167
194.51/8.26	v -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175
194.51/8.26	v -2176 -2177 -2178 -2179 -2180 -2181 -2182 -2183
194.51/8.26	v -2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191
194.51/8.26	v -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199
194.51/8.26	v -2200 -2201 -2202 -2203 -2204 -2205 -2206 -2207
194.51/8.26	v -2208 -2209 -2210 -2211 -2212 -2213 -2214 -2215
194.51/8.26	v -2216 -2217 -2218 -2219 -2220 -2221 -2222 -2223
194.51/8.26	v -2224 -2225 -2226 -2227 -2228 -2229 -2230 -2231
194.51/8.26	v -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239
194.51/8.26	v -2240 -2241 -2242 -2243 -2244 -2245 -2246 -2247
194.51/8.26	v -2248 -2249 -2250 -2251 -2252 -2253 -2254 -2255
194.51/8.26	v -2256 -2257 -2258 -2259 -2260 -2261 -2262 -2263
194.51/8.26	v -2264 -2265 -2266 -2267 -2268 -2269 -2270 -2271
194.51/8.26	v -2272 -2273 -2274 -2275 -2276 -2277 -2278 -2279
194.51/8.26	v -2280 -2281 -2282 -2283 -2284 -2285 -2286 -2287
194.51/8.26	v -2288 -2289 -2290 -2291 -2292 -2293 -2294 -2295
194.51/8.26	v -2296 -2297 -2298 -2299 -2300 -2301 -2302 -2303
194.51/8.26	v -2304 -2305 -2306 -2307 -2308 -2309 2310 -2311
194.51/8.26	v -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319
194.51/8.26	v -2320 -2321 -2322 -2323 -2324 -2325 -2326 -2327
194.51/8.26	v -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335
194.51/8.26	v -2336 -2337 -2338 -2339 -2340 -2341 -2342 -2343
194.51/8.26	v -2344 -2345 -2346 -2347 -2348 -2349 -2350 -2351
194.51/8.26	v -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359
194.51/8.26	v -2360 -2361 -2362 -2363 2364 2365 2366 -2367
194.51/8.26	v -2368 -2369 -2370 -2371 -2372 -2373 -2374 -2375
194.51/8.26	v -2376 -2377 -2378 -2379 -2380 -2381 -2382 -2383
194.51/8.26	v -2384 -2385 -2386 -2387 -2388 -2389 -2390 -2391
194.51/8.26	v -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399
194.51/8.26	v -2400 -2401 -2402 -2403 2404 -2405 -2406 -2407
194.51/8.26	v -2408 -2409 -2410 -2411 -2412 -2413 -2414 -2415
194.51/8.26	v -2416 -2417 -2418 -2419 -2420 -2421 -2422 -2423
194.51/8.26	v -2424 -2425 -2426 -2427 -2428 -2429 -2430 -2431
194.51/8.26	v -2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439
194.51/8.26	v -2440 -2441 -2442 -2443 -2444 -2445 -2446 -2447
194.51/8.26	v -2448 -2449 -2450 -2451 -2452 -2453 -2454 2455
194.51/8.26	v -2456 -2457 -2458 -2459 -2460 -2461 -2462 -2463
194.51/8.26	v -2464 -2465 -2466 -2467 -2468 -2469 -2470 -2471
194.51/8.26	v -2472 -2473 -2474 2475 -2476 -2477 -2478 -2479
194.51/8.26	v -2480 -2481 -2482 -2483 -2484 -2485 -2486 -2487
194.51/8.26	v -2488 -2489 -2490 2491 -2492 -2493 -2494 -2495
194.51/8.26	v -2496 -2497 -2498 -2499 -2500 -2501 -2502 -2503
194.51/8.26	v -2504 -2505 -2506 -2507 -2508 -2509 -2510 -2511
194.51/8.26	v -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519
194.51/8.26	v -2520 -2521 -2522 -2523 -2524 -2525 -2526 -2527
194.51/8.26	v -2528 -2529 -2530 -2531 -2532 -2533 -2534 -2535
194.51/8.26	v -2536 -2537 -2538 -2539 -2540 -2541 -2542 2543
194.51/8.26	v -2544 -2545 -2546 -2547 -2548 -2549 -2550 -2551
194.51/8.26	v -2552 -2553 -2554 -2555 -2556 -2557 -2558 -2559
194.51/8.26	v -2560 2561 2562 -2563 -2564 -2565 -2566 -2567
194.51/8.26	v -2568 -2569 -2570 -2571 -2572 -2573 -2574 -2575
194.51/8.26	v -2576 -2577 -2578 -2579 -2580 -2581 -2582 -2583
194.51/8.26	v -2584 -2585 -2586 -2587 -2588 -2589 -2590 -2591
194.51/8.26	v -2592 -2593 -2594 -2595 -2596 -2597 -2598 -2599
194.51/8.26	v -2600 -2601 -2602 -2603 -2604 -2605 -2606 -2607
194.51/8.26	v -2608 -2609 -2610 -2611 -2612 -2613 -2614 2615
194.51/8.26	v -2616 -2617 -2618 -2619 -2620 -2621 -2622 -2623
194.51/8.26	v -2624 -2625 -2626 -2627 -2628 -2629 -2630 -2631
194.51/8.26	v -2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639
194.51/8.26	v -2640 -2641 -2642 -2643 -2644 -2645 -2646 -2647
194.51/8.26	v -2648 -2649 -2650 -2651 -2652 -2653 -2654 -2655
194.51/8.26	v -2656 -2657 -2658 -2659 -2660 -2661 -2662 -2663
194.51/8.26	v -2664 -2665 -2666 -2667 -2668 -2669 -2670 -2671
194.51/8.26	v -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679
194.51/8.26	v -2680 -2681 -2682 -2683 -2684 -2685 -2686 -2687
194.51/8.26	v -2688 -2689 -2690 -2691 -2692 -2693 -2694 -2695
194.51/8.26	v -2696 -2697 -2698 -2699 -2700 -2701 -2702 -2703
194.51/8.26	v -2704 -2705 -2706 -2707 -2708 -2709 -2710 -2711
194.51/8.26	v -2712 -2713 -2714 -2715 -2716 -2717 -2718 -2719
194.51/8.26	v -2720 -2721 -2722 -2723 -2724 -2725 -2726 -2727
194.51/8.26	v -2728 -2729 -2730 -2731 -2732 -2733 -2734 -2735
194.51/8.26	v -2736 -2737 -2738 -2739 -2740 -2741 -2742 -2743
194.51/8.26	v -2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751
194.51/8.26	v -2752 -2753 -2754 -2755 -2756 -2757 -2758 -2759
194.51/8.26	v -2760 -2761 -2762 -2763 -2764 -2765 -2766 -2767
194.51/8.26	v -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775
194.51/8.26	v -2776 -2777 -2778 -2779 -2780 -2781 -2782 -2783
194.51/8.26	v -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791
194.51/8.26	v -2792 -2793 -2794 -2795 -2796 -2797 -2798 -2799
194.51/8.26	v -2800 -2801 -2802 -2803 -2804 -2805 -2806 -2807
194.51/8.26	v -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815
194.51/8.26	v -2816 -2817 -2818 -2819 -2820 -2821 -2822 -2823
194.51/8.26	v -2824 -2825 -2826 -2827 -2828 -2829 -2830 -2831
194.51/8.26	v -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839
194.51/8.26	v -2840 -2841 -2842 -2843 -2844 -2845 -2846 -2847
194.51/8.26	v -2848 -2849 -2850 -2851 -2852 -2853 -2854 -2855
194.51/8.26	v -2856 -2857 -2858 -2859 -2860 -2861 -2862 -2863
194.51/8.26	v -2864 -2865 -2866 -2867 -2868 -2869 -2870 -2871
194.51/8.26	v -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879
194.51/8.26	v -2880 -2881 -2882 -2883 -2884 -2885 -2886 -2887
194.51/8.26	v -2888 -2889 -2890 -2891 -2892 -2893 -2894 -2895
194.51/8.26	v -2896 -2897 -2898 -2899 -2900 -2901 -2902 2903
194.51/8.26	v -2904 -2905 -2906 -2907 -2908 -2909 -2910 -2911
194.51/8.26	v -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919
194.51/8.26	v -2920 -2921 -2922 -2923 -2924 -2925 -2926 -2927
194.51/8.26	v -2928 -2929 -2930 -2931 -2932 -2933 -2934 -2935
194.51/8.26	v -2936 -2937 -2938 -2939 -2940 -2941 -2942 -2943
194.51/8.26	v -2944 -2945 -2946 -2947 -2948 -2949 -2950 -2951
194.51/8.26	v -2952 -2953 -2954 -2955 -2956 2957 -2958 -2959
194.51/8.26	v -2960 -2961 -2962 -2963 -2964 -2965 -2966 -2967
194.51/8.26	v -2968 -2969 -2970 -2971 -2972 -2973 -2974 -2975
194.51/8.26	v -2976 -2977 -2978 -2979 -2980 -2981 -2982 -2983
194.51/8.26	v -2984 -2985 -2986 -2987 -2988 -2989 -2990 -2991
194.51/8.26	v -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999
194.51/8.26	v -3000 -3001 -3002 -3003 -3004 -3005 -3006 -3007
194.51/8.26	v -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015
194.51/8.26	v -3016 -3017 -3018 -3019 -3020 -3021 -3022 -3023
194.51/8.26	v -3024 -3025 -3026 -3027 -3028 -3029 -3030 -3031
194.51/8.26	v -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039
194.51/8.26	v -3040 -3041 -3042 -3043 -3044 -3045 -3046 -3047
194.51/8.26	v -3048 -3049 -3050 -3051 -3052 -3053 -3054 -3055
194.51/8.26	v -3056 -3057 -3058 -3059 -3060 -3061 -3062 -3063
194.51/8.26	v -3064 -3065 -3066 -3067 -3068 -3069 -3070 -3071
194.51/8.26	v -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079
194.51/8.26	v -3080 -3081 -3082 -3083 -3084 -3085 -3086 -3087
194.51/8.26	v -3088 -3089 -3090 -3091 -3092 -3093 -3094 -3095
194.51/8.26	v -3096 -3097 -3098 -3099 3100 3101 -3102 -3103
194.51/8.26	v -3104 -3105 -3106 -3107 -3108 -3109 -3110 -3111
194.51/8.26	v -3112 -3113 -3114 -3115 -3116 -3117 3118 -3119
194.51/8.26	v -3120 -3121 -3122 -3123 -3124 -3125 -3126 -3127
194.51/8.26	v -3128 -3129 -3130 -3131 -3132 -3133 -3134 -3135
194.51/8.26	v -3136 -3137 -3138 3139 -3140 -3141 -3142 -3143
194.51/8.26	v -3144 -3145 -3146 -3147 -3148 -3149 -3150 -3151
194.51/8.26	v -3152 -3153 -3154 -3155 -3156 -3157 -3158 -3159
194.51/8.26	v -3160 -3161 -3162 -3163 -3164 -3165 -3166 -3167
194.51/8.26	v -3168 -3169 -3170 -3171 -3172 -3173 -3174 3175
194.51/8.26	v -3176 -3177 -3178 -3179 -3180 -3181 -3182 -3183
194.51/8.26	v -3184 -3185 -3186 -3187 -3188 -3189 3190 -3191
194.51/8.26	v -3192 -3193 -3194 -3195 -3196 -3197 -3198 -3199
194.51/8.26	v -3200 -3201 -3202 -3203 -3204 -3205 -3206 -3207
194.51/8.26	v -3208 -3209 -3210 -3211 -3212 -3213 -3214 -3215
194.51/8.26	v -3216 -3217 -3218 -3219 -3220 -3221 -3222 3223
194.51/8.26	v -3224 -3225 -3226 -3227 -3228 -3229 -3230 -3231
194.51/8.26	v -3232 -3233 -3234 -3235 -3236 -3237 -3238 -3239
194.51/8.26	v -3240 -3241 -3242 -3243 -3244 -3245 -3246 -3247
194.51/8.26	v -3248 -3249 -3250 -3251 -3252 -3253 -3254 -3255
194.51/8.26	v -3256 -3257 -3258 -3259 -3260 -3261 -3262 -3263
194.51/8.26	v -3264 -3265 -3266 -3267 -3268 -3269 -3270 -3271
194.51/8.26	v -3272 -3273 -3274 -3275 -3276 -3277 -3278 -3279
194.51/8.26	v -3280 -3281 -3282 -3283 -3284 -3285 -3286 -3287
194.51/8.26	v -3288 -3289 -3290 -3291 -3292 -3293 -3294 -3295
194.51/8.26	v -3296 -3297 -3298 -3299 -3300 -3301 -3302 -3303
194.51/8.26	v -3304 -3305 -3306 -3307 -3308 -3309 -3310 -3311
194.51/8.26	v -3312 -3313 -3314 -3315 -3316 -3317 -3318 -3319
194.51/8.26	v -3320 -3321 -3322 -3323 -3324 -3325 -3326 -3327
194.51/8.26	v -3328 -3329 -3330 -3331 -3332 -3333 -3334 -3335
194.51/8.26	v -3336 -3337 -3338 -3339 -3340 -3341 -3342 -3343
194.51/8.26	v -3344 -3345 -3346 -3347 -3348 -3349 -3350 -3351
194.51/8.26	v -3352 -3353 -3354 -3355 -3356 -3357 -3358 -3359
194.51/8.26	v -3360 -3361 -3362 -3363 -3364 -3365 -3366 -3367
194.51/8.26	v -3368 -3369 -3370 -3371 -3372 -3373 -3374 -3375
194.51/8.26	v -3376 -3377 -3378 -3379 -3380 -3381 -3382 -3383
194.51/8.26	v -3384 -3385 -3386 -3387 -3388 -3389 -3390 -3391
194.51/8.26	v -3392 -3393 -3394 -3395 -3396 -3397 -3398 -3399
194.51/8.26	v -3400 -3401 -3402 -3403 -3404 -3405 -3406 -3407
194.51/8.26	v -3408 -3409 -3410 -3411 -3412 -3413 -3414 -3415
194.51/8.26	v -3416 -3417 -3418 -3419 -3420 -3421 -3422 -3423
194.51/8.26	v -3424 -3425 -3426 -3427 -3428 -3429 -3430 -3431
194.51/8.26	v -3432 -3433 -3434 -3435 -3436 -3437 -3438 -3439
194.51/8.26	v 3440 3441 3442 -3443 -3444 -3445 -3446 -3447
194.51/8.26	v -3448 -3449 -3450 -3451 -3452 -3453 -3454 -3455
194.51/8.26	v -3456 -3457 -3458 -3459 -3460 -3461 -3462 -3463
194.51/8.26	v -3464 -3465 -3466 -3467 -3468 -3469 -3470 -3471
194.51/8.26	v -3472 -3473 -3474 -3475 -3476 -3477 -3478 -3479
194.51/8.26	v -3480 -3481 -3482 -3483 -3484 -3485 -3486 -3487
194.51/8.26	v -3488 -3489 -3490 -3491 -3492 -3493 -3494 -3495
194.51/8.26	v -3496 -3497 -3498 -3499 -3500 -3501 -3502 -3503
194.51/8.26	v -3504 -3505 -3506 -3507 -3508 -3509 -3510 -3511
194.51/8.26	v -3512 -3513 3514 -3515 -3516 -3517 -3518 -3519
194.51/8.26	v -3520 -3521 -3522 -3523 -3524 -3525 -3526 -3527
194.51/8.26	v -3528 -3529 -3530 -3531 -3532 -3533 -3534 -3535
194.51/8.26	v -3536 -3537 -3538 -3539 -3540 -3541 -3542 -3543
194.51/8.26	v -3544 -3545 -3546 -3547 -3548 -3549 -3550 -3551
194.51/8.26	v -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559
194.51/8.26	v -3560 -3561 -3562 -3563 -3564 -3565 -3566 -3567
194.51/8.26	v -3568 -3569 -3570 -3571 -3572 -3573 -3574 -3575
194.51/8.26	v -3576 -3577 -3578 -3579 -3580 -3581 -3582 -3583
194.51/8.26	v -3584 -3585 3586 -3587 -3588 -3589 -3590 -3591
194.51/8.26	v -3592 -3593 -3594 -3595 -3596 -3597 -3598 -3599
194.51/8.26	v -3600 -3601 -3602 -3603 -3604 -3605 -3606 -3607
194.51/8.26	v -3608 -3609 -3610 -3611 -3612 -3613 -3614 -3615
194.51/8.26	v -3616 -3617 -3618 -3619 -3620 -3621 -3622 -3623
194.51/8.26	v -3624 3625 -3626 -3627 -3628 -3629 -3630 -3631
194.51/8.26	v -3632 -3633 -3634 -3635 -3636 -3637 -3638 -3639
194.51/8.26	v -3640 -3641 -3642 -3643 -3644 -3645 -3646 -3647
194.51/8.26	v -3648 -3649 -3650 -3651 -3652 -3653 -3654 -3655
194.51/8.26	v -3656 -3657 -3658 -3659 -3660 -3661 -3662 -3663
194.51/8.26	v -3664 -3665 -3666 -3667 -3668 -3669 -3670 -3671
194.51/8.26	v -3672 -3673 -3674 -3675 -3676 -3677 -3678 -3679
194.51/8.26	v -3680 -3681 -3682 -3683 -3684 -3685 -3686 -3687
194.51/8.26	v -3688 -3689 -3690 -3691 -3692 -3693 -3694 -3695
194.51/8.26	v -3696 -3697 -3698 -3699 -3700 -3701 -3702 -3703
194.51/8.26	v -3704 -3705 -3706 -3707 -3708 -3709 -3710 -3711
194.51/8.26	v -3712 3713 3714 3715 3716 -3717 -3718 -3719
194.51/8.26	v -3720 -3721 -3722 -3723 -3724 -3725 -3726 -3727
194.51/8.26	v -3728 -3729 -3730 -3731 -3732 -3733 3734 -3735
194.51/8.26	v -3736 -3737 -3738 -3739 -3740 -3741 -3742 -3743
194.51/8.26	v -3744 -3745 -3746 -3747 -3748 3749 3750 3751
194.51/8.26	v 3752 -3753 -3754 -3755 -3756 -3757 -3758 -3759
194.51/8.26	v -3760 -3761 -3762 -3763 -3764 -3765 -3766 -3767
194.51/8.26	v -3768 -3769 -3770 -3771 -3772 -3773 -3774 -3775
194.51/8.26	v -3776 -3777 -3778 -3779 -3780 -3781 -3782 -3783
194.51/8.26	v -3784 -3785 -3786 3787 -3788 -3789 -3790 -3791
194.51/8.26	v -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799
194.51/8.26	v -3800 -3801 -3802 -3803 -3804 -3805 -3806 -3807
194.51/8.26	v -3808 -3809 -3810 -3811 -3812 -3813 -3814 -3815
194.51/8.26	v -3816 -3817 -3818 -3819 -3820 3821 3822 3823
194.51/8.26	v -3824 -3825 -3826 -3827 -3828 -3829 -3830 -3831
194.51/8.26	v -3832 -3833 -3834 -3835 -3836 -3837 -3838 -3839
194.51/8.26	v 3840 3841 3842 -3843 -3844 -3845 -3846 -3847
194.51/8.26	v -3848 -3849 -3850 -3851 -3852 -3853 -3854 -3855
194.51/8.26	v -3856 -3857 -3858 -3859 -3860 -3861 -3862 -3863
194.51/8.26	v -3864 -3865 -3866 -3867 -3868 -3869 -3870 -3871
194.51/8.26	v -3872 -3873 -3874 -3875 -3876 -3877 -3878 -3879
194.51/8.26	v -3880 -3881 -3882 -3883 -3884 -3885 -3886 -3887
194.51/8.26	v -3888 -3889 -3890 -3891 -3892 3893 3894 -3895
194.51/8.26	v -3896 -3897 -3898 -3899 -3900 -3901 -3902 -3903
194.51/8.26	v -3904 -3905 -3906 -3907 -3908 -3909 -3910 -3911
194.51/8.26	v -3912 -3913 -3914 -3915 -3916 -3917 -3918 -3919
194.51/8.26	v -3920 -3921 -3922 -3923 -3924 -3925 -3926 -3927
194.51/8.26	v -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935
194.51/8.26	v -3936 -3937 -3938 -3939 -3940 -3941 -3942 -3943
194.51/8.26	v -3944 -3945 -3946 -3947 -3948 -3949 -3950 -3951
194.51/8.26	v -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959
194.51/8.26	v -3960 -3961 -3962 -3963 -3964 3965 -3966 -3967
194.51/8.26	v -3968 -3969 -3970 -3971 -3972 -3973 -3974 -3975
194.51/8.26	v -3976 -3977 -3978 -3979 -3980 -3981 -3982 -3983
194.51/8.26	v -3984 -3985 -3986 -3987 -3988 -3989 -3990 -3991
194.51/8.26	v -3992 -3993 -3994 -3995 -3996 -3997 -3998 -3999
194.51/8.26	v -4000 -4001 -4002 -4003 -4004 -4005 -4006 -4007
194.51/8.26	v -4008 -4009 -4010 -4011 -4012 -4013 -4014 -4015
194.51/8.26	v -4016 -4017 -4018 -4019 -4020 -4021 4022 -4023
194.51/8.26	v -4024 -4025 -4026 -4027 -4028 -4029 -4030 -4031
194.51/8.26	v -4032 -4033 -4034 4035 4036 4037 4038 4039
194.51/8.26	v 4040 -4041 -4042 -4043 -4044 -4045 -4046 -4047
194.51/8.26	v -4048 -4049 -4050 -4051 -4052 4053 -4054 -4055
194.51/8.26	v -4056 -4057 -4058 -4059 -4060 -4061 -4062 -4063
194.51/8.26	v -4064 -4065 -4066 -4067 -4068 -4069 -4070 -4071
194.51/8.26	v -4072 -4073 -4074 4075 -4076 -4077 -4078 -4079
194.51/8.26	v -4080 -4081 -4082 -4083 -4084 -4085 -4086 -4087
194.51/8.26	v -4088 4089 -4090 -4091 -4092 -4093 -4094 -4095
194.51/8.26	v -4096 -4097 -4098 -4099 -4100 -4101 -4102 -4103
194.51/8.26	v -4104 -4105 -4106 4107 4108 4109 4110 4111
194.51/8.26	v -4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119
194.51/8.26	v -4120 -4121 -4122 -4123 -4124 -4125 -4126 -4127
194.51/8.26	v 4128 4129 4130 -4131 -4132 -4133 -4134 -4135
194.51/8.26	v -4136 -4137 -4138 -4139 -4140 -4141 -4142 -4143
194.51/8.26	v 4144 -4145 -4146 -4147 -4148 -4149 -4150 -4151
194.51/8.26	v -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159
194.51/8.26	v -4160 -4161 -4162 -4163 -4164 -4165 -4166 -4167
194.51/8.26	v -4168 -4169 -4170 -4171 -4172 -4173 -4174 -4175
194.51/8.26	v -4176 -4177 -4178 4179 4180 4181 4182 -4183
194.51/8.26	v -4184 -4185 -4186 -4187 -4188 -4189 -4190 -4191
194.51/8.26	v -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199
194.51/8.26	v -4200 -4201 -4202 -4203 -4204 -4205 -4206 -4207
194.51/8.26	v -4208 -4209 -4210 -4211 -4212 -4213 -4214 -4215
194.51/8.26	v -4216 -4217 -4218 -4219 -4220 -4221 -4222 -4223
194.51/8.26	v -4224 -4225 -4226 -4227 -4228 -4229 -4230 -4231
194.51/8.26	v -4232 -4233 -4234 -4235 -4236 -4237 -4238 -4239
194.51/8.26	v -4240 -4241 -4242 -4243 -4244 -4245 -4246 -4247
194.51/8.26	v -4248 -4249 -4250 4251 4252 4253 -4254 -4255
194.51/8.26	v -4256 -4257 -4258 -4259 -4260 -4261 -4262 -4263
194.51/8.26	v -4264 -4265 -4266 -4267 -4268 4269 -4270 -4271
194.51/8.26	v -4272 -4273 -4274 -4275 -4276 -4277 -4278 -4279
194.51/8.26	v -4280 -4281 -4282 -4283 -4284 -4285 -4286 4287
194.51/8.26	v -4288 -4289 -4290 -4291 -4292 -4293 -4294 -4295
194.51/8.26	v -4296 -4297 -4298 -4299 -4300 -4301 -4302 -4303
194.51/8.26	v -4304 -4305 -4306 -4307 -4308 -4309 4310 -4311
194.51/8.26	v -4312 -4313 -4314 -4315 -4316 -4317 -4318 -4319
194.51/8.26	v -4320 -4321 -4322 -4323 -4324 -4325 -4326 -4327
194.51/8.26	v -4328 -4329 -4330 -4331 -4332 -4333 -4334 -4335
194.51/8.26	v -4336 -4337 -4338 -4339 -4340 -4341 -4342 -4343
194.51/8.26	v -4344 -4345 -4346 -4347 -4348 -4349 -4350 -4351
194.51/8.26	v -4352 -4353 -4354 -4355 -4356 -4357 -4358 -4359
194.51/8.26	v -4360 -4361 -4362 -4363 -4364 -4365 -4366 -4367
194.51/8.26	v -4368 -4369 -4370 -4371 -4372 -4373 -4374 -4375
194.51/8.26	v -4376 -4377 -4378 -4379 -4380 -4381 -4382 -4383
194.51/8.26	v -4384 -4385 -4386 -4387 -4388 -4389 -4390 -4391
194.51/8.26	v -4392 -4393 -4394 -4395 -4396 -4397 -4398 -4399
194.51/8.26	v 4400 -4401 -4402 -4403 -4404 -4405 -4406 -4407
194.51/8.26	v -4408 -4409 -4410 -4411 -4412 -4413 -4414 -4415
194.51/8.26	v -4416 -4417 -4418 -4419 -4420 -4421 -4422 -4423
194.51/8.26	v -4424 -4425 -4426 -4427 -4428 -4429 -4430 -4431
194.51/8.26	v -4432 -4433 -4434 -4435 -4436 -4437 -4438 -4439
194.51/8.26	v -4440 -4441 -4442 -4443 -4444 -4445 -4446 -4447
194.51/8.26	v -4448 -4449 -4450 -4451 -4452 -4453 -4454 -4455
194.51/8.26	v -4456 -4457 -4458 -4459 -4460 -4461 -4462 -4463
194.51/8.26	v -4464 -4465 -4466 -4467 -4468 -4469 -4470 -4471
194.51/8.26	v -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479
194.51/8.26	v -4480 -4481 -4482 -4483 -4484 -4485 -4486 -4487
194.51/8.26	v -4488 -4489 -4490 -4491 -4492 -4493 -4494 -4495
194.51/8.26	v -4496 -4497 -4498 -4499 -4500 -4501 -4502 -4503
194.51/8.26	v -4504 -4505 -4506 -4507 -4508 -4509 -4510 -4511
194.51/8.26	v -4512 -4513 -4514 -4515 -4516 -4517 -4518 -4519
194.51/8.26	v -4520 -4521 -4522 -4523 -4524 -4525 -4526 -4527
194.51/8.26	v -4528 -4529 -4530 -4531 -4532 -4533 -4534 -4535
194.51/8.26	v -4536 -4537 -4538 -4539 -4540 -4541 -4542 -4543
194.51/8.26	v -4544 -4545 -4546 -4547 -4548 -4549 -4550 -4551
194.51/8.26	v -4552 -4553 -4554 -4555 -4556 -4557 -4558 -4559
194.51/8.26	v -4560 -4561 -4562 -4563 -4564 -4565 -4566 -4567
194.51/8.26	v -4568 -4569 -4570 -4571 -4572 -4573 -4574 4575
194.51/8.26	v -4576 -4577 -4578 -4579 -4580 -4581 -4582 -4583
194.51/8.26	v -4584 -4585 -4586 -4587 -4588 -4589 -4590 -4591
194.51/8.26	v -4592 -4593 -4594 -4595 -4596 4597 -4598 -4599
194.51/8.26	v -4600 -4601 -4602 -4603 -4604 -4605 -4606 -4607
194.51/8.26	v -4608 -4609 -4610 4611 -4612 -4613 -4614 -4615
194.51/8.26	v -4616 -4617 -4618 -4619 -4620 -4621 -4622 -4623
194.51/8.26	v -4624 -4625 -4626 -4627 -4628 4629 4630 4631
194.51/8.26	v 4632 4633 -4634 -4635 -4636 -4637 -4638 -4639
194.51/8.26	v -4640 -4641 -4642 -4643 -4644 -4645 -4646 -4647
194.51/8.26	v -4648 -4649 4650 4651 4652 -4653 -4654 -4655
194.51/8.26	v -4656 -4657 -4658 -4659 -4660 -4661 -4662 -4663
194.51/8.26	v -4664 -4665 4666 -4667 -4668 -4669 -4670 -4671
194.51/8.26	v -4672 -4673 -4674 -4675 -4676 -4677 -4678 -4679
194.51/8.26	v -4680 -4681 -4682 -4683 -4684 -4685 -4686 -4687
194.51/8.26	v -4688 -4689 -4690 -4691 -4692 -4693 -4694 -4695
194.51/8.26	v -4696 -4697 -4698 -4699 -4700 4701 4702 4703
194.51/8.26	v 4704 -4705 -4706 -4707 -4708 -4709 -4710 -4711
194.51/8.26	v -4712 -4713 -4714 -4715 -4716 -4717 -4718 -4719
194.51/8.26	v -4720 -4721 -4722 -4723 -4724 -4725 -4726 -4727
194.51/8.26	v -4728 -4729 -4730 -4731 -4732 -4733 -4734 -4735
194.51/8.26	v -4736 -4737 -4738 -4739 -4740 -4741 -4742 -4743
194.51/8.26	v -4744 -4745 -4746 -4747 -4748 -4749 -4750 -4751
194.51/8.26	v -4752 -4753 -4754 -4755 -4756 -4757 -4758 -4759
194.51/8.26	v -4760 -4761 -4762 -4763 -4764 -4765 -4766 -4767
194.51/8.26	v -4768 -4769 -4770 -4771 -4772 4773 4774 4775
194.51/8.26	v -4776 -4777 -4778 -4779 -4780 -4781 -4782 -4783
194.51/8.26	v -4784 -4785 -4786 -4787 -4788 -4789 -4790 4791
194.51/8.26	v -4792 -4793 -4794 -4795 -4796 -4797 -4798 -4799
194.51/8.26	v -4800 -4801 -4802 -4803 -4804 -4805 -4806 -4807
194.51/8.26	v -4808 4809 -4810 -4811 -4812 -4813 -4814 -4815
194.51/8.26	v -4816 -4817 -4818 -4819 -4820 -4821 -4822 -4823
194.51/8.26	v -4824 -4825 -4826 -4827 -4828 -4829 -4830 -4831
194.51/8.26	v -4832 -4833 -4834 -4835 -4836 -4837 -4838 -4839
194.51/8.26	v -4840 -4841 -4842 -4843 4844 4845 -4846 -4847
194.51/8.26	v -4848 -4849 -4850 -4851 -4852 -4853 -4854 -4855
194.51/8.26	v -4856 -4857 -4858 -4859 -4860 4861 4862 4863
194.51/8.26	v -4864 -4865 -4866 -4867 -4868 -4869 -4870 -4871
194.51/8.26	v -4872 -4873 -4874 -4875 -4876 -4877 -4878 -4879
194.51/8.26	v -4880 -4881 -4882 -4883 -4884 -4885 -4886 -4887
194.51/8.26	v -4888 -4889 -4890 -4891 -4892 -4893 -4894 -4895
194.51/8.26	v -4896 -4897 -4898 -4899 -4900 -4901 -4902 -4903
194.51/8.26	v -4904 -4905 -4906 -4907 -4908 -4909 -4910 -4911
194.51/8.26	v -4912 -4913 -4914 -4915 4916 -4917 -4918 -4919
194.51/8.26	v -4920 -4921 -4922 -4923 -4924 -4925 -4926 -4927
194.51/8.26	v -4928 -4929 -4930 -4931 -4932 4933 4934 4935
194.51/8.26	v -4936 -4937 -4938 -4939 -4940 -4941 -4942 -4943
194.51/8.26	v -4944 -4945 -4946 -4947 -4948 -4949 -4950 4951
194.51/8.26	v -4952 -4953 -4954 -4955 -4956 -4957 -4958 -4959
194.51/8.26	v -4960 -4961 -4962 -4963 -4964 -4965 -4966 -4967
194.51/8.26	v -4968 -4969 4970 -4971 -4972 -4973 -4974 -4975
194.51/8.26	v -4976 -4977 -4978 -4979 -4980 -4981 -4982 -4983
194.51/8.26	v -4984 -4985 -4986 4987 4988 -4989 -4990 -4991
194.51/8.26	v -4992 -4993 -4994 -4995 -4996 -4997 -4998 -4999
194.51/8.26	v -5000 -5001 -5002 -5003 -5004 5005 5006 5007
194.51/8.26	v -5008 -5009 -5010 -5011 -5012 -5013 -5014 -5015
194.51/8.26	v -5016 -5017 -5018 -5019 -5020 -5021 -5022 -5023
194.51/8.26	v -5024 5025 -5026 -5027 -5028 -5029 -5030 -5031
194.51/8.26	v -5032 -5033 -5034 -5035 -5036 -5037 -5038 -5039
194.51/8.26	v -5040 -5041 -5042 5043 -5044 -5045 -5046 -5047
194.51/8.26	v -5048 -5049 -5050 -5051 -5052 -5053 -5054 -5055
194.51/8.26	v -5056 -5057 -5058 -5059 -5060 -5061 -5062 -5063
194.51/8.26	v -5064 -5065 -5066 -5067 -5068 -5069 -5070 -5071
194.51/8.26	v -5072 -5073 -5074 -5075 -5076 -5077 -5078 -5079
194.51/8.26	v -5080 -5081 -5082 5083 -5084 -5085 -5086 -5087
194.51/8.26	v -5088 -5089 -5090 -5091 -5092 -5093 -5094 -5095
194.51/8.26	v -5096 -5097 -5098 -5099 -5100 5101 -5102 -5103
194.51/8.26	v -5104 -5105 -5106 -5107 -5108 -5109 -5110 -5111
194.51/8.26	v -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119
194.51/8.26	v -5120 -5121 -5122 -5123 -5124 -5125 -5126 -5127
194.51/8.26	v -5128 -5129 -5130 -5131 -5132 -5133 -5134 -5135
194.51/8.26	v -5136 -5137 -5138 -5139 -5140 -5141 -5142 -5143
194.51/8.26	v -5144 -5145 -5146 -5147 -5148 -5149 -5150 -5151
194.51/8.26	v -5152 -5153 -5154 -5155 -5156 -5157 -5158 -5159
194.51/8.26	v -5160 -5161 -5162 -5163 -5164 -5165 -5166 -5167
194.51/8.26	v -5168 -5169 -5170 -5171 -5172 -5173 -5174 -5175
194.51/8.26	v -5176 -5177 -5178 -5179 -5180 -5181 -5182 -5183
194.51/8.26	v -5184 -5185 -5186 -5187 -5188 -5189 -5190 -5191
194.51/8.26	v -5192 -5193 -5194 -5195 -5196 -5197 -5198 -5199
194.51/8.26	v -5200 -5201 -5202 -5203 -5204 -5205 -5206 -5207
194.51/8.26	v -5208 -5209 -5210 -5211 -5212 -5213 -5214 -5215
194.51/8.26	v -5216 -5217 -5218 -5219 -5220 -5221 -5222 -5223
194.51/8.26	v -5224 -5225 -5226 -5227 -5228 -5229 -5230 -5231
194.51/8.26	v -5232 -5233 -5234 -5235 -5236 -5237 -5238 -5239
194.51/8.26	v -5240 -5241 -5242 -5243 -5244 -5245 -5246 -5247
194.51/8.26	v -5248 -5249 -5250 -5251 -5252 -5253 -5254 -5255
194.51/8.26	v -5256 -5257 -5258 -5259 -5260 -5261 -5262 -5263
194.51/8.26	v -5264 -5265 -5266 -5267 -5268 -5269 -5270 -5271
194.51/8.26	v -5272 -5273 -5274 -5275 5276 5277 -5278 -5279
194.51/8.26	v -5280 -5281 -5282 -5283 -5284 -5285 -5286 -5287
194.51/8.26	v -5288 -5289 -5290 -5291 -5292 -5293 -5294 -5295
194.51/8.26	v -5296 -5297 -5298 -5299 -5300 -5301 -5302 -5303
194.51/8.26	v -5304 -5305 -5306 -5307 -5308 -5309 -5310 -5311
194.51/8.26	v -5312 -5313 -5314 -5315 -5316 -5317 -5318 -5319
194.51/8.26	v -5320 -5321 -5322 -5323 -5324 -5325 -5326 -5327
194.51/8.26	v -5328 -5329 5330 -5331 -5332 -5333 -5334 -5335
194.51/8.26	v -5336 -5337 -5338 -5339 -5340 -5341 -5342 -5343
194.51/8.26	v -5344 -5345 -5346 -5347 5348 5349 -5350 -5351
194.51/8.26	v -5352 -5353 -5354 -5355 -5356 -5357 -5358 -5359
194.51/8.26	v -5360 -5361 -5362 -5363 -5364 -5365 -5366 -5367
194.51/8.26	v -5368 -5369 -5370 -5371 -5372 -5373 -5374 -5375
194.51/8.26	v -5376 -5377 -5378 -5379 -5380 -5381 -5382 -5383
194.51/8.26	v 5384 -5385 -5386 -5387 -5388 -5389 -5390 -5391
194.51/8.26	v -5392 -5393 -5394 -5395 -5396 -5397 -5398 -5399
194.51/8.26	v -5400 -5401 5402 -5403 -5404 -5405 -5406 -5407
194.51/8.26	v -5408 -5409 -5410 -5411 -5412 -5413 -5414 -5415
194.51/8.26	v -5416 -5417 -5418 -5419 5420 5421 -5422 -5423
194.51/8.26	v -5424 -5425 -5426 -5427 -5428 -5429 -5430 -5431
194.51/8.26	v -5432 -5433 -5434 -5435 -5436 -5437 -5438 5439
194.51/8.26	v -5440 -5441 -5442 -5443 -5444 -5445 -5446 -5447
194.51/8.26	v -5448 -5449 -5450 -5451 -5452 -5453 -5454 -5455
194.51/8.26	v -5456 5457 -5458 -5459 -5460 -5461 -5462 -5463
194.51/8.26	v -5464 -5465 -5466 -5467 -5468 -5469 -5470 -5471
194.51/8.26	v -5472 -5473 -5474 -5475 -5476 -5477 5478 5479
194.51/8.26	v -5480 -5481 -5482 -5483 -5484 -5485 -5486 -5487
194.51/8.26	v -5488 -5489 -5490 -5491 -5492 -5493 5494 -5495
194.51/8.26	v -5496 -5497 -5498 -5499 -5500 -5501 -5502 -5503
194.51/8.26	v -5504 -5505 -5506 -5507 -5508 -5509 5510 -5511
194.51/8.26	v -5512 -5513 -5514 -5515 -5516 -5517 -5518 -5519
194.51/8.26	v -5520 -5521 -5522 -5523 -5524 -5525 -5526 5527
194.51/8.26	v 5528 5529 5530 5531 5532 -5533 -5534 -5535
194.51/8.26	v -5536 -5537 -5538 -5539 -5540 -5541 -5542 -5543
194.51/8.26	v -5544 5545 -5546 -5547 -5548 -5549 -5550 -5551
194.51/8.26	v -5552 -5553 -5554 -5555 -5556 -5557 -5558 -5559
194.51/8.26	v -5560 -5561 -5562 -5563 5564 -5565 -5566 -5567
194.51/8.26	v -5568 -5569 -5570 -5571 -5572 -5573 -5574 -5575
194.51/8.26	v -5576 -5577 -5578 -5579 -5580 5581 5582 -5583
194.51/8.26	v -5584 -5585 -5586 -5587 -5588 -5589 -5590 -5591
194.51/8.26	v -5592 -5593 -5594 -5595 -5596 -5597 -5598 5599
194.51/8.26	v 5600 5601 5602 5603 -5604 -5605 -5606 -5607
194.51/8.26	v -5608 -5609 -5610 -5611 -5612 -5613 -5614 -5615
194.51/8.26	v -5616 -5617 -5618 5619 -5620 -5621 -5622 -5623
194.51/8.26	v -5624 -5625 -5626 -5627 -5628 -5629 -5630 -5631
194.51/8.26	v -5632 -5633 -5634 -5635 -5636 5637 -5638 -5639
194.51/8.26	v -5640 -5641 -5642 -5643 -5644 -5645 -5646 -5647
194.51/8.26	v -5648 -5649 -5650 -5651 -5652 -5653 -5654 -5655
194.51/8.26	v -5656 -5657 -5658 -5659 -5660 -5661 -5662 -5663
194.51/8.26	v -5664 -5665 -5666 -5667 -5668 -5669 -5670 -5671
194.51/8.26	v -5672 -5673 -5674 -5675 -5676 -5677 -5678 -5679
194.51/8.26	v -5680 -5681 -5682 -5683 -5684 -5685 -5686 -5687
194.51/8.26	v -5688 -5689 -5690 -5691 -5692 -5693 5694 -5695
194.51/8.26	v -5696 -5697 -5698 -5699 -5700 -5701 -5702 -5703
194.51/8.26	v -5704 -5705 -5706 -5707 -5708 -5709 -5710 -5711
194.51/8.26	v -5712 -5713 -5714 -5715 -5716 -5717 -5718 -5719
194.51/8.26	v -5720 -5721 -5722 -5723 -5724 -5725 -5726 -5727
194.51/8.26	v -5728 -5729 -5730 -5731 -5732 -5733 -5734 -5735
194.51/8.26	v -5736 -5737 -5738 -5739 -5740 -5741 -5742 -5743
194.51/8.26	v -5744 -5745 -5746 -5747 -5748 -5749 -5750 -5751
194.51/8.26	v -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759
194.51/8.26	v -5760 -5761 -5762 -5763 -5764 -5765 -5766 -5767
194.51/8.26	v -5768 -5769 -5770 -5771 -5772 -5773 -5774 -5775
194.51/8.26	v -5776 -5777 -5778 -5779 -5780 -5781 -5782 -5783
194.51/8.26	v -5784 -5785 -5786 -5787 -5788 -5789 -5790 -5791
194.51/8.26	v -5792 -5793 -5794 -5795 -5796 -5797 -5798 -5799
194.51/8.26	v -5800 -5801 -5802 -5803 -5804 -5805 -5806 -5807
194.51/8.26	v -5808 -5809 -5810 -5811 -5812 -5813 -5814 -5815
194.51/8.26	v -5816 -5817 -5818 -5819 -5820 -5821 -5822 -5823
194.51/8.26	v -5824 -5825 -5826 -5827 -5828 -5829 -5830 -5831
194.51/8.26	v -5832 -5833 -5834 -5835 5836 -5837 -5838 -5839
194.51/8.26	v -5840 -5841 -5842 -5843 -5844 -5845 -5846 -5847
194.51/8.26	v -5848 -5849 -5850 -5851 -5852 -5853 -5854 -5855
194.51/8.26	v -5856 -5857 -5858 -5859 -5860 -5861 -5862 -5863
194.51/8.26	v -5864 -5865 -5866 -5867 -5868 -5869 -5870 -5871
194.51/8.26	v -5872 -5873 -5874 -5875 -5876 -5877 -5878 -5879
194.51/8.26	v -5880 -5881 -5882 -5883 -5884 -5885 -5886 -5887
194.51/8.26	v -5888 -5889 -5890 -5891 -5892 -5893 -5894 -5895
194.51/8.26	v -5896 -5897 -5898 -5899 -5900 -5901 -5902 -5903
194.51/8.26	v -5904 -5905 -5906 -5907 5908 -5909 -5910 -5911
194.51/8.26	v -5912 -5913 -5914 -5915 -5916 -5917 -5918 -5919
194.51/8.26	v -5920 -5921 -5922 -5923 -5924 -5925 -5926 -5927
194.51/8.26	v -5928 -5929 -5930 -5931 -5932 -5933 -5934 -5935
194.51/8.26	v -5936 -5937 -5938 -5939 -5940 -5941 -5942 -5943
194.51/8.26	v -5944 -5945 -5946 -5947 -5948 -5949 -5950 -5951
194.51/8.26	v -5952 -5953 -5954 -5955 -5956 -5957 -5958 -5959
194.51/8.26	v 5960 -5961 -5962 -5963 -5964 -5965 -5966 -5967
194.51/8.26	v -5968 -5969 -5970 -5971 -5972 -5973 -5974 -5975
194.51/8.26	v -5976 -5977 -5978 -5979 -5980 -5981 -5982 -5983
194.51/8.26	v -5984 -5985 -5986 -5987 -5988 -5989 -5990 -5991
194.51/8.26	v -5992 -5993 -5994 -5995 5996 -5997 -5998 -5999
194.51/8.26	v -6000 -6001 -6002 -6003 -6004 -6005 -6006 -6007
194.51/8.26	v -6008 -6009 -6010 -6011 -6012 -6013 6014 -6015
194.51/8.26	v -6016 -6017 -6018 -6019 -6020 -6021 -6022 -6023
194.51/8.26	v -6024 -6025 -6026 -6027 -6028 -6029 -6030 -6031
194.51/8.26	v 6032 -6033 -6034 -6035 -6036 -6037 -6038 -6039
194.51/8.26	v -6040 -6041 -6042 -6043 -6044 -6045 -6046 -6047
194.51/8.26	v -6048 -6049 -6050 -6051 -6052 -6053 -6054 -6055
194.51/8.26	v -6056 -6057 -6058 -6059 -6060 -6061 -6062 -6063
194.51/8.26	v -6064 -6065 -6066 -6067 -6068 -6069 -6070 -6071
194.51/8.26	v -6072 -6073 -6074 -6075 -6076 -6077 -6078 -6079
194.51/8.26	v -6080 -6081 -6082 -6083 -6084 6085 -6086 -6087
194.51/8.26	v -6088 -6089 -6090 -6091 -6092 -6093 -6094 -6095
194.51/8.26	v -6096 -6097 -6098 -6099 -6100 -6101 -6102 -6103
194.51/8.26	v 6104 -6105 -6106 -6107 -6108 -6109 -6110 -6111
194.51/8.26	v -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119
194.51/8.26	v -6120 6121 6122 -6123 -6124 -6125 -6126 -6127
194.51/8.26	v -6128 -6129 -6130 -6131 -6132 -6133 -6134 -6135
194.51/8.26	v -6136 -6137 -6138 6139 6140 6141 6142 6143
194.51/8.26	v -6144 -6145 -6146 -6147 -6148 -6149 -6150 -6151
194.51/8.26	v -6152 -6153 -6154 -6155 -6156 -6157 -6158 6159
194.51/8.26	v -6160 -6161 -6162 -6163 -6164 -6165 -6166 -6167
194.51/8.26	v -6168 -6169 -6170 -6171 -6172 -6173 -6174 -6175
194.51/8.26	v -6176 6177 -6178 -6179 -6180 -6181 -6182 -6183
194.51/8.26	v -6184 -6185 -6186 -6187 -6188 -6189 -6190 -6191
194.51/8.26	v -6192 -6193 -6194 -6195 -6196 -6197 -6198 -6199
194.51/8.26	v -6200 -6201 -6202 -6203 -6204 -6205 -6206 -6207
194.51/8.26	v -6208 -6209 -6210 6211 -6212 -6213 -6214 -6215
194.51/8.26	v -6216 -6217 -6218 -6219 -6220 -6221 -6222 -6223
194.51/8.26	v -6224 -6225 -6226 -6227 -6228 6229 -6230 -6231
194.51/8.26	v -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239
194.51/8.26	v -6240 -6241 -6242 -6243 -6244 -6245 -6246 -6247
194.51/8.26	v -6248 -6249 -6250 -6251 -6252 -6253 -6254 -6255
194.51/8.26	v -6256 -6257 -6258 -6259 -6260 -6261 -6262 -6263
194.51/8.26	v -6264 -6265 -6266 -6267 -6268 -6269 -6270 -6271
194.51/8.26	v -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279
194.51/8.26	v -6280 -6281 -6282 -6283 6284 -6285 -6286 -6287
194.51/8.26	v -6288 -6289 -6290 -6291 -6292 -6293 -6294 -6295
194.51/8.26	v -6296 -6297 -6298 -6299 -6300 -6301 6302 -6303
194.51/8.26	v -6304 -6305 -6306 -6307 -6308 -6309 -6310 -6311
194.51/8.26	v -6312 -6313 -6314 -6315 -6316 -6317 -6318 -6319
194.51/8.26	v -6320 -6321 -6322 -6323 -6324 -6325 -6326 -6327
194.51/8.26	v -6328 -6329 -6330 -6331 -6332 -6333 -6334 -6335
194.51/8.26	v -6336 -6337 -6338 -6339 -6340 -6341 -6342 -6343
194.51/8.26	v -6344 -6345 -6346 -6347 -6348 -6349 -6350 -6351
194.51/8.26	v -6352 -6353 -6354 6355 6356 -6357 -6358 -6359
194.51/8.26	v -6360 -6361 -6362 -6363 -6364 -6365 -6366 -6367
194.51/8.26	v -6368 -6369 -6370 -6371 -6372 -6373 -6374 -6375
194.51/8.26	v -6376 -6377 -6378 -6379 -6380 -6381 -6382 -6383
194.51/8.26	v -6384 -6385 -6386 -6387 -6388 -6389 -6390 -6391
194.51/8.26	v -6392 -6393 -6394 -6395 -6396 -6397 -6398 -6399
194.51/8.26	v -6400 -6401 -6402 -6403 -6404 -6405 -6406 -6407
194.51/8.26	v -6408 -6409 -6410 6411 -6412 -6413 -6414 -6415
194.51/8.26	v -6416 -6417 -6418 -6419 -6420 -6421 -6422 -6423
194.51/8.26	v -6424 -6425 -6426 -6427 -6428 6429 -6430 -6431
194.51/8.26	v -6432 -6433 -6434 -6435 -6436 -6437 -6438 -6439
194.51/8.26	v -6440 -6441 -6442 -6443 -6444 -6445 -6446 6447
194.51/8.26	v -6448 -6449 -6450 -6451 -6452 -6453 -6454 -6455
194.51/8.26	v -6456 -6457 -6458 -6459 -6460 -6461 -6462 -6463
194.51/8.26	v -6464 -6465 6466 -6467 -6468 -6469 -6470 -6471
194.51/8.26	v -6472 -6473 -6474 -6475 -6476 -6477 -6478 -6479
194.51/8.26	v -6480 6481 -6482 -6483 -6484 -6485 -6486 -6487
194.51/8.26	v -6488 -6489 -6490 -6491 -6492 -6493 -6494 -6495
194.51/8.26	v -6496 -6497 -6498 -6499 -6500 -6501 -6502 -6503
194.51/8.26	v 6504 -6505 -6506 -6507 -6508 -6509 -6510 -6511
194.51/8.26	v -6512 -6513 -6514 -6515 -6516 -6517 -6518 6519
194.51/8.26	v -6520 -6521 -6522 -6523 -6524 -6525 -6526 -6527
194.51/8.26	v -6528 -6529 -6530 -6531 -6532 -6533 -6534 -6535
194.51/8.26	v -6536 -6537 -6538 -6539 -6540 -6541 6542 -6543
194.51/8.26	v -6544 -6545 -6546 -6547 -6548 -6549 -6550 -6551
194.51/8.26	v -6552 -6553 -6554 -6555 -6556 -6557 6558 -6559
194.51/8.26	v -6560 -6561 -6562 -6563 -6564 -6565 -6566 -6567
194.51/8.26	v -6568 -6569 -6570 -6571 -6572 -6573 -6574 6575
194.51/8.26	v -6576 -6577 -6578 -6579 -6580 -6581 -6582 -6583
194.51/8.26	v -6584 -6585 -6586 -6587 -6588 -6589 -6590 -6591
194.51/8.26	v -6592 -6593 -6594 -6595 -6596 -6597 -6598 6599
194.51/8.26	v -6600 -6601 -6602 -6603 -6604 -6605 -6606 -6607
194.51/8.26	v -6608 -6609 -6610 6611 -6612 -6613 -6614 -6615
194.51/8.26	v -6616 -6617 -6618 -6619 -6620 -6621 -6622 -6623
194.51/8.26	v -6624 -6625 -6626 -6627 6628 -6629 -6630 -6631
194.51/8.26	v -6632 -6633 -6634 -6635 -6636 -6637 -6638 -6639
194.51/8.26	v -6640 -6641 -6642 6643 -6644 -6645 -6646 -6647
194.51/8.26	v -6648 -6649 -6650 -6651 -6652 -6653 -6654 -6655
194.51/8.26	v -6656 -6657 -6658 -6659 -6660 -6661 -6662 -6663
194.51/8.26	v -6664 -6665 -6666 -6667 -6668 -6669 6670 -6671
194.51/8.26	v -6672 -6673 -6674 -6675 -6676 -6677 -6678 6679
194.51/8.26	v -6680 -6681 -6682 -6683 -6684 -6685 -6686 -6687
194.51/8.26	v -6688 -6689 -6690 -6691 -6692 -6693 -6694 -6695
194.51/8.26	v -6696 -6697 6698 -6699 -6700 -6701 -6702 -6703
194.51/8.26	v -6704 -6705 -6706 -6707 -6708 -6709 -6710 -6711
194.51/8.26	v -6712 -6713 -6714 -6715 -6716 -6717 -6718 -6719
194.51/8.26	v -6720 6721 -6722 -6723 -6724 -6725 -6726 -6727
194.51/8.26	v -6728 -6729 -6730 -6731 -6732 -6733 -6734 -6735
194.51/8.26	v -6736 -6737 -6738 -6739 -6740 6741 -6742 -6743
194.51/8.26	v -6744 -6745 -6746 -6747 -6748 -6749 -6750 -6751
194.51/8.26	v -6752 -6753 -6754 -6755 -6756 6757 -6758 -6759
194.51/8.26	v -6760 -6761 -6762 -6763 -6764 -6765 -6766 -6767
194.51/8.26	v -6768 -6769 -6770 -6771 6772 -6773 -6774 -6775
194.51/8.26	v -6776 -6777 -6778 -6779 -6780 -6781 -6782 -6783
194.51/8.26	v -6784 -6785 -6786 -6787 -6788 -6789 -6790 6791
194.51/8.26	v -6792 -6793 -6794 -6795 -6796 -6797 -6798 -6799
194.51/8.26	v -6800 -6801 -6802 -6803 -6804 -6805 -6806 6807
194.51/8.26	v -6808 -6809 -6810 -6811 -6812 -6813 -6814 -6815
194.51/8.26	v -6816 -6817 -6818 -6819 -6820 -6821 -6822 -6823
194.51/8.26	v -6824 -6825 -6826 -6827 -6828 -6829 6830 -6831
194.51/8.26	v -6832 -6833 -6834 -6835 -6836 -6837 -6838 -6839
194.51/8.26	v -6840 -6841 -6842 6843 -6844 -6845 -6846 -6847
194.51/8.26	v -6848 -6849 -6850 -6851 -6852 -6853 -6854 -6855
194.51/8.26	v -6856 -6857 -6858 6859 -6860 -6861 -6862 -6863
194.51/8.26	v -6864 -6865 -6866 -6867 -6868 -6869 -6870 -6871
194.51/8.26	v -6872 -6873 -6874 -6875 -6876 -6877 -6878 -6879
194.51/8.26	v -6880 -6881 -6882 6883 -6884 -6885 -6886 -6887
194.51/8.26	v -6888 -6889 -6890 -6891 -6892 -6893 -6894 -6895
194.51/8.26	v 6896 -6897 -6898 -6899 -6900 -6901 -6902 -6903
194.51/8.26	v -6904 -6905 -6906 -6907 -6908 -6909 -6910 -6911
194.51/8.26	v -6912 6913 -6914 -6915 -6916 -6917 -6918 -6919
194.51/8.26	v -6920 -6921 -6922 -6923 -6924 -6925 -6926 -6927
194.51/8.26	v -6928 -6929 -6930 -6931 -6932 -6933 -6934 -6935
194.51/8.26	v 6936 -6937 -6938 -6939 -6940 -6941 -6942 -6943
194.51/8.26	v -6944 -6945 -6946 -6947 -6948 -6949 -6950 -6951
194.51/8.26	v 6952 -6953 -6954 -6955 -6956 -6957 -6958 -6959
194.51/8.26	v -6960 -6961 -6962 -6963 -6964 -6965 -6966 -6967
194.51/8.26	v 6968 -6969 -6970 -6971 -6972 -6973 -6974 -6975
194.51/8.26	v -6976 -6977 -6978 -6979 -6980 -6981 -6982 -6983
194.51/8.26	v -6984 6985 -6986 -6987 -6988 -6989 -6990 -6991
194.51/8.26	v -6992 -6993 -6994 -6995 -6996 -6997 -6998 -6999
194.51/8.26	v -7000 -7001 -7002 7003 -7004 -7005 -7006 -7007
194.51/8.26	v -7008 -7009 -7010 -7011 -7012 -7013 -7014 -7015
194.51/8.26	v -7016 -7017 -7018 -7019 -7020 -7021 7022 -7023
194.51/8.26	v -7024 -7025 -7026 -7027 -7028 -7029 -7030 -7031
194.51/8.26	v -7032 -7033 -7034 -7035 -7036 -7037 -7038 7039
194.51/8.26	v -7040 -7041 -7042 -7043 -7044 -7045 -7046 -7047
194.51/8.26	v -7048 -7049 -7050 -7051 -7052 -7053 -7054 -7055
194.51/8.26	v -7056 7057 -7058 -7059 -7060 -7061 -7062 -7063
194.51/8.26	v -7064 -7065 -7066 -7067 -7068 -7069 -7070 -7071
194.51/8.26	v -7072 -7073 -7074 -7075 -7076 7077 -7078 -7079
194.51/8.26	v -7080 -7081 -7082 -7083 -7084 -7085 -7086 -7087
194.51/8.26	v -7088 -7089 -7090 -7091 -7092 -7093 -7094 7095
194.51/8.26	v -7096 -7097 -7098 -7099 -7100 -7101 -7102 -7103
194.51/8.26	v -7104 -7105 -7106 -7107 -7108 -7109 -7110 -7111
194.51/8.26	v -7112 -7113 7114 -7115 -7116 -7117 -7118 -7119
194.51/8.26	v -7120 -7121 -7122 -7123 -7124 -7125 -7126 -7127
194.51/8.26	v -7128 -7129 7130 -7131 -7132 -7133 -7134 -7135
194.51/8.26	v -7136 -7137 -7138 -7139 -7140 -7141 -7142 -7143
194.51/8.26	v -7144 -7145 -7146 -7147 -7148 -7149 -7150 -7151
194.51/8.26	v -7152 -7153 -7154 -7155 -7156 7157 -7158 -7159
194.51/8.26	v -7160 -7161 -7162 -7163 -7164 -7165 -7166 7167
194.51/8.26	v -7168 -7169 -7170 -7171 -7172 -7173 -7174 -7175
194.51/8.26	v -7176 -7177 -7178 -7179 -7180 -7181 -7182 -7183
194.51/8.26	v -7184 -7185 -7186 -7187 -7188 -7189 7190 -7191
194.51/8.26	v -7192 -7193 -7194 -7195 -7196 -7197 -7198 -7199
194.51/8.26	v -7200 -7201 -7202 -7203 -7204 -7205 -7206 -7207
194.51/8.26	v -7208 -7209 7210 -7211 -7212 -7213 -7214 -7215
194.51/8.26	v -7216 -7217 -7218 -7219 -7220 -7221 -7222 -7223
194.51/8.26	v 7224 -7225 -7226 -7227 -7228 -7229 -7230 -7231
194.51/8.26	v -7232 -7233 -7234 -7235 -7236 -7237 -7238 -7239
194.51/8.26	v -7240 -7241 -7242 -7243 -7244 -7245 -7246 7247
194.51/8.26	v -7248 -7249 -7250 -7251 -7252 -7253 -7254 -7255
194.51/8.26	v -7256 -7257 -7258 7259 -7260 -7261 -7262 -7263
194.51/8.26	v -7264 -7265 -7266 -7267 -7268 -7269 -7270 -7271
194.51/8.26	v -7272 -7273 -7274 -7275 -7276 -7277 -7278 -7279
194.51/8.26	v 7280 -7281 -7282 -7283 -7284 -7285 -7286 -7287
194.51/8.26	v -7288 -7289 -7290 7291 -7292 -7293 -7294 -7295
194.51/8.26	v -7296 -7297 -7298 -7299 -7300 -7301 -7302 -7303
194.51/8.26	v -7304 -7305 -7306 -7307 -7308 -7309 -7310 -7311
194.51/8.26	v -7312 -7313 -7314 -7315 -7316 -7317 7318 -7319
194.51/8.26	v -7320 -7321 -7322 -7323 -7324 -7325 -7326 -7327
194.51/8.26	v -7328 -7329 -7330 7331 -7332 -7333 -7334 -7335
194.51/8.26	v -7336 -7337 -7338 -7339 -7340 -7341 -7342 -7343
194.51/8.26	v -7344 -7345 -7346 -7347 7348 -7349 -7350 -7351
194.51/8.26	v -7352 -7353 -7354 -7355 -7356 -7357 -7358 -7359
194.51/8.26	v -7360 -7361 -7362 -7363 -7364 -7365 -7366 -7367
194.51/8.26	v -7368 7369 -7370 -7371 -7372 -7373 -7374 -7375
194.51/8.26	v -7376 -7377 -7378 -7379 -7380 -7381 -7382 -7383
194.51/8.26	v -7384 -7385 -7386 -7387 -7388 7389 -7390 -7391
194.51/8.26	v -7392 -7393 -7394 -7395 -7396 -7397 -7398 -7399
194.51/8.26	v -7400 -7401 -7402 -7403 -7404 7405 -7406 -7407
194.51/8.26	v -7408 -7409 -7410 -7411 -7412 -7413 -7414 -7415
194.51/8.26	v -7416 -7417 -7418 -7419 7420 -7421 -7422 -7423
194.51/8.26	v -7424 -7425 -7426 -7427 -7428 -7429 -7430 -7431
194.51/8.26	v -7432 -7433 -7434 -7435 -7436 -7437 -7438 -7439
194.51/8.26	v -7440 -7441 7442 -7443 -7444 -7445 -7446 -7447
194.51/8.26	v -7448 -7449 -7450 -7451 -7452 -7453 -7454 -7455
194.51/8.26	v -7456 -7457 -7458 -7459 7460 -7461 -7462 -7463
194.51/8.26	v -7464 -7465 -7466 -7467 -7468 -7469 -7470 -7471
194.51/8.26	v -7472 -7473 -7474 -7475 -7476 -7477 7478 -7479
194.51/8.26	v -7480 -7481 -7482 -7483 -7484 -7485 -7486 -7487
194.51/8.26	v -7488 -7489 -7490 -7491 -7492 -7493 -7494 -7495
194.51/8.26	v 7496 -7497 -7498 -7499 -7500 -7501 -7502 -7503
194.51/8.26	v -7504 -7505 -7506 -7507 -7508 7509 -7510 -7511
194.51/8.26	v -7512 -7513 -7514 -7515 -7516 -7517 -7518 -7519
194.51/8.26	v -7520 -7521 -7522 -7523 -7524 -7525 -7526 -7527
194.51/8.26	v -7528 -7529 -7530 7531 -7532 -7533 -7534 -7535
194.51/8.26	v -7536 -7537 -7538 -7539 -7540 -7541 -7542 -7543
194.51/8.26	v -7544 7545 -7546 -7547 -7548 -7549 -7550 -7551
194.51/8.26	v -7552 -7553 -7554 -7555 -7556 -7557 -7558 -7559
194.51/8.26	v -7560 -7561 -7562 -7563 -7564 -7565 -7566 7567
194.51/8.26	v -7568 -7569 -7570 -7571 -7572 -7573 -7574 -7575
194.51/8.26	v -7576 -7577 -7578 -7579 -7580 -7581 -7582 -7583
194.51/8.26	v -7584 -7585 7586 -7587 -7588 -7589 -7590 -7591
194.51/8.26	v -7592 -7593 -7594 -7595 -7596 -7597 -7598 -7599
194.51/8.26	v 7600 -7601 -7602 -7603 -7604 -7605 -7606 -7607
194.51/8.26	v -7608 -7609 -7610 -7611 -7612 -7613 -7614 -7615
194.51/8.26	v 7616 -7617 -7618 -7619 -7620 -7621 -7622 -7623
194.51/8.26	v -7624 -7625 -7626 -7627 -7628 -7629 -7630 -7631
194.51/8.26	v -7632 -7633 -7634 -7635 -7636 -7637 7638 -7639
194.51/8.26	v -7640 -7641 -7642 -7643 -7644 -7645 -7646 -7647
194.51/8.26	v -7648 -7649 -7650 7651 -7652 -7653 -7654 -7655
194.51/8.26	v -7656 -7657 -7658 -7659 -7660 -7661 -7662 -7663
194.51/8.26	v -7664 -7665 -7666 -7667 -7668 -7669 7670 -7671
194.51/8.26	v -7672 -7673 -7674 -7675 -7676 -7677 -7678 -7679
194.51/8.26	v -7680 -7681 -7682 -7683 -7684 -7685 -7686 -7687
194.51/8.26	v 7688 -7689 -7690 -7691 -7692 -7693 -7694 -7695
194.51/8.26	v -7696 -7697 -7698 -7699 -7700 -7701 -7702 -7703
194.51/8.26	v -7704 -7705 -7706 -7707 -7708 7709 -7710 -7711
194.51/8.26	v -7712 -7713 -7714 -7715 -7716 -7717 -7718 -7719
194.51/8.26	v -7720 -7721 -7722 -7723 -7724 7725 -7726 -7727
194.51/8.26	v -7728 -7729 -7730 -7731 -7732 -7733 -7734 -7735
194.51/8.26	v -7736 -7737 -7738 -7739 -7740 -7741 -7742 7743
194.51/8.26	v -7744 -7745 -7746 -7747 -7748 -7749 -7750 -7751
194.51/8.26	v -7752 -7753 -7754 -7755 -7756 -7757 -7758 -7759
194.51/8.26	v -7760 -7761 -7762 -7763 -7764 -7765 -7766 -7767
194.51/8.26	v -7768 -7769 7770 7771 7772 7773 7774 7775
194.51/8.26	v 7776 -7777 -7778 -7779 -7780 -7781 -7782 -7783
194.51/8.26	v -7784 7785 7786 7787 7788 7789 7790 7791
194.51/8.26	v 7792 7793 7794
194.51/8.26	v 0
194.51/8.28	solver [5] plingeling 276-6264d55-100731 answered
194.51/8.28	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-3347603-1305388174/watcher-3347603-1305388174 -o /tmp/evaluation-result-3347603-1305388174/solver-3347603-1305388174 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347603-1305388174.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: 26.95 29.68 31.08 1/413 31159
/proc/meminfo: memFree=255588664/264257624 swapFree=67111528/67111528
[pid=31159] ppid=31157 vsize=18324 CPUtime=0 cores=0-31
/proc/31159/stat : 31159 (ppfolio) S 31157 31159 30763 0 -1 4202496 512 0 0 0 0 0 0 0 18 0 1 0 650303847 18763776 386 268435456000 4194304 4287625 140734470375792 18446744073709551615 258650975999 0 0 4096 65536 9207012132762157055 0 0 17 20 0 0 0
/proc/31159/statm: 4581 386 337 23 0 91 0

[startup+0.122452 s]
/proc/loadavg: 26.95 29.68 31.08 1/413 31159
/proc/meminfo: memFree=255588664/264257624 swapFree=67111528/67111528
[pid=31159] ppid=31157 vsize=18324 CPUtime=0 cores=0-31
/proc/31159/stat : 31159 (ppfolio) S 31157 31159 30763 0 -1 4202496 512 0 0 0 0 0 0 0 17 0 1 0 650303847 18763776 386 268435456000 4194304 4287625 140734470375792 18446744073709551615 258650975999 0 0 4096 65536 9207012132762157055 0 0 17 20 0 0 0
/proc/31159/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.200475 s]
/proc/loadavg: 26.95 29.68 31.08 1/413 31159
/proc/meminfo: memFree=255588664/264257624 swapFree=67111528/67111528
[pid=31159] ppid=31157 vsize=18324 CPUtime=0 cores=0-31
/proc/31159/stat : 31159 (ppfolio) S 31157 31159 30763 0 -1 4202496 512 0 0 0 0 0 0 0 17 0 1 0 650303847 18763776 386 268435456000 4194304 4287625 140734470375792 18446744073709551615 258650975999 0 0 4096 65536 9207012132762157055 0 0 17 20 0 0 0
/proc/31159/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300461 s]
/proc/loadavg: 26.95 29.68 31.08 1/413 31159
/proc/meminfo: memFree=255588664/264257624 swapFree=67111528/67111528
[pid=31159] ppid=31157 vsize=18324 CPUtime=0 cores=0-31
/proc/31159/stat : 31159 (ppfolio) S 31157 31159 30763 0 -1 4202496 512 0 0 0 0 0 0 0 17 0 1 0 650303847 18763776 386 268435456000 4194304 4287625 140734470375792 18446744073709551615 258650975999 0 0 4096 65536 9207012132762157055 0 0 17 20 0 0 0
/proc/31159/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700496 s]
/proc/loadavg: 26.95 29.68 31.08 1/413 31159
/proc/meminfo: memFree=255588664/264257624 swapFree=67111528/67111528
[pid=31159] ppid=31157 vsize=18324 CPUtime=0 cores=0-31
/proc/31159/stat : 31159 (ppfolio) S 31157 31159 30763 0 -1 4202496 512 0 0 0 0 0 0 0 17 0 1 0 650303847 18763776 386 268435456000 4194304 4287625 140734470375792 18446744073709551615 258650975999 0 0 4096 65536 9207012132762157055 0 0 17 20 0 0 0
/proc/31159/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50047 s]
/proc/loadavg: 26.95 29.68 31.08 6/419 31170
/proc/meminfo: memFree=255423296/264257624 swapFree=67111528/67111528
[pid=31159] ppid=31157 vsize=18324 CPUtime=0 cores=0-31
/proc/31159/stat : 31159 (ppfolio) S 31157 31159 30763 0 -1 4202496 512 0 0 0 0 0 0 0 17 0 1 0 650303847 18763776 386 268435456000 4194304 4287625 140734470375792 18446744073709551615 258650975999 0 0 4096 65536 9207012132762157055 0 0 17 20 0 0 0
/proc/31159/statm: 4581 386 337 23 0 91 0
[pid=31160] ppid=31159 vsize=33560 CPUtime=1.48 cores=0
/proc/31160/stat : 31160 (cryptominisat) R 31159 31159 30763 0 -1 4202496 4106 0 0 0 148 0 0 0 25 0 1 0 650303848 34365440 3863 268435456000 4194304 4587354 140734272802048 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31160/statm: 8390 3863 305 96 0 4952 0
[pid=31161] ppid=31159 vsize=26688 CPUtime=1.49 cores=1
/proc/31161/stat : 31161 (clasp) R 31159 31159 30763 0 -1 4202496 4609 0 0 0 147 2 0 0 20 0 1 0 650303848 27328512 3952 268435456000 4194304 4785740 140733998060912 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31161/statm: 6672 3952 317 145 0 3717 0
[pid=31162] ppid=31159 vsize=465880 CPUtime=1.48 cores=2
/proc/31162/stat : 31162 (TNM) R 31159 31159 30763 0 -1 4202496 4274 0 0 0 147 1 0 0 20 0 1 0 650303848 477061120 4172 268435456000 134512640 134534564 4287642400 18446744073709551615 134524664 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31162/statm: 116470 4172 91 6 0 115135 0
[pid=31163] ppid=31159 vsize=44488 CPUtime=1.48 cores=3
/proc/31163/stat : 31163 (march_hi) R 31159 31159 30763 0 -1 4202496 26832 0 0 0 142 6 0 0 20 0 1 0 650303848 45555712 7776 268435456000 4194304 4331988 140736267573408 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31163/statm: 11122 7776 149 34 0 9564 0
[pid=31164] ppid=31159 vsize=194812 CPUtime=1.49 cores=4-31
/proc/31164/stat : 31164 (plingeling) R 31159 31159 30763 0 -1 4202496 47574 1245 0 0 137 11 0 1 21 0 1 0 650303848 199487488 47331 268435456000 4194304 4356188 140736407085200 18446744073709551615 4210554 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/31164/statm: 48703 47331 129 40 0 47247 0
Current children cumulated CPU time (s) 7.42
Current children cumulated vsize (KiB) 783752

[startup+3.1015 s]
/proc/loadavg: 26.95 29.68 31.08 6/419 31170
/proc/meminfo: memFree=255225020/264257624 swapFree=67111528/67111528
[pid=31159] ppid=31157 vsize=18324 CPUtime=0 cores=0-31
/proc/31159/stat : 31159 (ppfolio) S 31157 31159 30763 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 650303847 18763776 386 268435456000 4194304 4287625 140734470375792 18446744073709551615 258650975999 0 0 4096 65536 9207012132762157055 0 0 17 20 0 0 0
/proc/31159/statm: 4581 386 337 23 0 91 0
[pid=31160] ppid=31159 vsize=53936 CPUtime=3.09 cores=0
/proc/31160/stat : 31160 (cryptominisat) R 31159 31159 30763 0 -1 4202496 13831 0 0 0 306 3 0 0 25 0 1 0 650303848 55230464 7731 268435456000 4194304 4587354 140734272802048 18446744073709551615 4318005 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31160/statm: 13484 7731 321 96 0 10046 0
[pid=31161] ppid=31159 vsize=33608 CPUtime=3.08 cores=1
/proc/31161/stat : 31161 (clasp) R 31159 31159 30763 0 -1 4202496 6609 0 0 0 306 2 0 0 25 0 1 0 650303848 34414592 5705 268435456000 4194304 4785740 140733998060912 18446744073709551615 4552628 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31161/statm: 8402 5705 339 145 0 5447 0
[pid=31162] ppid=31159 vsize=465880 CPUtime=3.08 cores=2
/proc/31162/stat : 31162 (TNM) R 31159 31159 30763 0 -1 4202496 4274 0 0 0 307 1 0 0 25 0 1 0 650303848 477061120 4172 268435456000 134512640 134534564 4287642400 18446744073709551615 134524577 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31162/statm: 116470 4172 91 6 0 115135 0
[pid=31163] ppid=31159 vsize=95788 CPUtime=3.08 cores=3
/proc/31163/stat : 31163 (march_hi) R 31159 31159 30763 0 -1 4202496 37514 0 0 0 298 10 0 0 25 0 1 0 650303848 98086912 18458 268435456000 4194304 4331988 140736267573408 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31163/statm: 23947 18458 149 34 0 22389 0
[pid=31164] ppid=31159 vsize=750940 CPUtime=23.32 cores=4-31
/proc/31164/stat : 31164 (plingeling) S 31159 31159 30763 0 -1 4202496 102034 1245 0 0 2228 103 0 1 18 0 29 0 650303848 768962560 82657 268435456000 4194304 4356188 140736407085200 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/31164/statm: 187735 82657 154 40 0 186279 0
Current children cumulated CPU time (s) 35.65
Current children cumulated vsize (KiB) 1418476

[startup+6.30161 s]
/proc/loadavg: 27.35 29.72 31.08 33/447 31198
/proc/meminfo: memFree=254905740/264257624 swapFree=67111528/67111528
[pid=31159] ppid=31157 vsize=18324 CPUtime=0 cores=0-31
/proc/31159/stat : 31159 (ppfolio) S 31157 31159 30763 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 650303847 18763776 386 268435456000 4194304 4287625 140734470375792 18446744073709551615 258650975999 0 0 4096 65536 9207012132762157055 0 0 17 20 0 0 0
/proc/31159/statm: 4581 386 337 23 0 91 0
[pid=31160] ppid=31159 vsize=1148976 CPUtime=6.29 cores=0
/proc/31160/stat : 31160 (cryptominisat) R 31159 31159 30763 0 -1 4202496 16672 0 0 0 625 4 0 0 25 0 1 0 650303848 1176551424 7916 268435456000 4194304 4587354 140734272802048 18446744073709551615 4237600 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31160/statm: 287244 7916 336 96 0 283806 0
[pid=31161] ppid=31159 vsize=43344 CPUtime=6.29 cores=1
/proc/31161/stat : 31161 (clasp) R 31159 31159 30763 0 -1 4202496 8952 0 0 0 626 3 0 0 25 0 1 0 650303848 44384256 8048 268435456000 4194304 4785740 140733998060912 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31161/statm: 10836 8048 339 145 0 7881 0
[pid=31162] ppid=31159 vsize=465880 CPUtime=6.28 cores=2
/proc/31162/stat : 31162 (TNM) R 31159 31159 30763 0 -1 4202496 4274 0 0 0 627 1 0 0 25 0 1 0 650303848 477061120 4172 268435456000 134512640 134534564 4287642400 18446744073709551615 134524752 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31162/statm: 116470 4172 91 6 0 115135 0
[pid=31163] ppid=31159 vsize=197452 CPUtime=6.29 cores=3
/proc/31163/stat : 31163 (march_hi) R 31159 31159 30763 0 -1 4202496 61874 0 0 0 614 15 0 0 25 0 1 0 650303848 202190848 42818 268435456000 4194304 4331988 140736267573408 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31163/statm: 49363 42818 149 34 0 47805 0
[pid=31164] ppid=31159 vsize=855268 CPUtime=111.71 cores=4-31
/proc/31164/stat : 31164 (plingeling) S 31159 31159 30763 0 -1 4202496 137695 1245 0 0 11038 132 0 1 18 0 29 0 650303848 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/31164/statm: 213817 111574 158 40 0 212361 0
[pid=31164/tid=31171] ppid=31159 vsize=855268 CPUtime=3.94 cores=4-31
/proc/31164/task/31171/stat : 31171 (plingeling) R 31159 31159 30763 0 -1 4202560 2753 1245 0 0 389 4 0 1 25 0 29 0 650304074 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4297471 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31164/tid=31172] ppid=31159 vsize=855268 CPUtime=3.92 cores=4-31
/proc/31164/task/31172/stat : 31172 (plingeling) R 31159 31159 30763 0 -1 4202560 2483 1245 0 0 387 4 0 1 25 0 29 0 650304074 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4261931 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31164/tid=31173] ppid=31159 vsize=855268 CPUtime=3.95 cores=4-31
/proc/31164/task/31173/stat : 31173 (plingeling) R 31159 31159 30763 0 -1 4202560 2743 1245 0 0 391 3 0 1 25 0 29 0 650304074 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31164/tid=31174] ppid=31159 vsize=855268 CPUtime=3.9 cores=4-31
/proc/31164/task/31174/stat : 31174 (plingeling) R 31159 31159 30763 0 -1 4202560 2763 1245 0 0 385 4 0 1 25 0 29 0 650304074 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31164/tid=31175] ppid=31159 vsize=855268 CPUtime=3.9 cores=4-31
/proc/31164/task/31175/stat : 31175 (plingeling) R 31159 31159 30763 0 -1 4202560 2964 1245 0 0 384 5 0 1 25 0 29 0 650304074 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331268 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31164/tid=31176] ppid=31159 vsize=855268 CPUtime=3.87 cores=4-31
/proc/31164/task/31176/stat : 31176 (plingeling) R 31159 31159 30763 0 -1 4202560 2507 1245 0 0 381 5 0 1 25 0 29 0 650304074 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31164/tid=31177] ppid=31159 vsize=855268 CPUtime=3.93 cores=4-31
/proc/31164/task/31177/stat : 31177 (plingeling) R 31159 31159 30763 0 -1 4202560 2706 1245 0 0 388 4 0 1 24 0 29 0 650304074 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4260245 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31164/tid=31178] ppid=31159 vsize=855268 CPUtime=3.92 cores=4-31
/proc/31164/task/31178/stat : 31178 (plingeling) R 31159 31159 30763 0 -1 4202560 2662 1245 0 0 387 4 0 1 25 0 29 0 650304074 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31164/tid=31179] ppid=31159 vsize=855268 CPUtime=3.92 cores=4-31
/proc/31164/task/31179/stat : 31179 (plingeling) R 31159 31159 30763 0 -1 4202560 2660 1245 0 0 388 3 0 1 25 0 29 0 650304075 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4282775 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31164/tid=31180] ppid=31159 vsize=855268 CPUtime=3.91 cores=4-31
/proc/31164/task/31180/stat : 31180 (plingeling) R 31159 31159 30763 0 -1 4202560 3293 1245 0 0 385 5 0 1 25 0 29 0 650304075 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4298613 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31164/tid=31181] ppid=31159 vsize=855268 CPUtime=3.92 cores=4-31
/proc/31164/task/31181/stat : 31181 (plingeling) R 31159 31159 30763 0 -1 4202560 2752 1245 0 0 387 4 0 1 25 0 29 0 650304075 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4258696 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31164/tid=31182] ppid=31159 vsize=855268 CPUtime=3.87 cores=4-31
/proc/31164/task/31182/stat : 31182 (plingeling) R 31159 31159 30763 0 -1 4202560 2260 1245 0 0 383 3 0 1 25 0 29 0 650304075 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331835 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31164/tid=31183] ppid=31159 vsize=855268 CPUtime=3.93 cores=4-31
/proc/31164/task/31183/stat : 31183 (plingeling) R 31159 31159 30763 0 -1 4202560 2621 1245 0 0 388 4 0 1 25 0 29 0 650304075 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4279688 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31164/tid=31184] ppid=31159 vsize=855268 CPUtime=3.83 cores=4-31
/proc/31164/task/31184/stat : 31184 (plingeling) R 31159 31159 30763 0 -1 4202560 2849 1245 0 0 379 3 0 1 25 0 29 0 650304077 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4225594 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31164/tid=31185] ppid=31159 vsize=855268 CPUtime=3.92 cores=4-31
/proc/31164/task/31185/stat : 31185 (plingeling) R 31159 31159 30763 0 -1 4202560 2862 1245 0 0 389 2 0 1 25 0 29 0 650304078 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4324578 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31164/tid=31186] ppid=31159 vsize=855268 CPUtime=3.95 cores=4-31
/proc/31164/task/31186/stat : 31186 (plingeling) R 31159 31159 30763 0 -1 4202560 2609 1245 0 0 389 5 0 1 25 0 29 0 650304078 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31164/tid=31187] ppid=31159 vsize=855268 CPUtime=3.83 cores=4-31
/proc/31164/task/31187/stat : 31187 (plingeling) R 31159 31159 30763 0 -1 4202560 2532 1245 0 0 379 3 0 1 25 0 29 0 650304078 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31164/tid=31188] ppid=31159 vsize=855268 CPUtime=3.91 cores=4-31
/proc/31164/task/31188/stat : 31188 (plingeling) R 31159 31159 30763 0 -1 4202560 2815 1245 0 0 386 4 0 1 23 0 29 0 650304078 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31164/tid=31189] ppid=31159 vsize=855268 CPUtime=3.93 cores=4-31
/proc/31164/task/31189/stat : 31189 (plingeling) R 31159 31159 30763 0 -1 4202560 2447 1245 0 0 388 4 0 1 24 0 29 0 650304078 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4323566 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31164/tid=31190] ppid=31159 vsize=855268 CPUtime=3.86 cores=4-31
/proc/31164/task/31190/stat : 31190 (plingeling) R 31159 31159 30763 0 -1 4202560 2783 1245 0 0 382 3 0 1 25 0 29 0 650304078 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31164/tid=31191] ppid=31159 vsize=855268 CPUtime=3.93 cores=4-31
/proc/31164/task/31191/stat : 31191 (plingeling) R 31159 31159 30763 0 -1 4202560 2745 1245 0 0 388 4 0 1 25 0 29 0 650304079 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4262369 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31164/tid=31192] ppid=31159 vsize=855268 CPUtime=3.95 cores=4-31
/proc/31164/task/31192/stat : 31192 (plingeling) R 31159 31159 30763 0 -1 4202560 2429 1245 0 0 390 4 0 1 25 0 29 0 650304079 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331082 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31164/tid=31193] ppid=31159 vsize=855268 CPUtime=3.93 cores=4-31
/proc/31164/task/31193/stat : 31193 (plingeling) R 31159 31159 30763 0 -1 4202560 2690 1245 0 0 389 3 0 1 25 0 29 0 650304079 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331309 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31164/tid=31194] ppid=31159 vsize=855268 CPUtime=3.91 cores=4-31
/proc/31164/task/31194/stat : 31194 (plingeling) R 31159 31159 30763 0 -1 4202560 2297 1245 0 0 386 4 0 1 23 0 29 0 650304079 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4259346 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31164/tid=31195] ppid=31159 vsize=855268 CPUtime=3.93 cores=4-31
/proc/31164/task/31195/stat : 31195 (plingeling) R 31159 31159 30763 0 -1 4202560 2875 1245 0 0 389 3 0 1 24 0 29 0 650304080 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4251158 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31164/tid=31196] ppid=31159 vsize=855268 CPUtime=3.93 cores=4-31
/proc/31164/task/31196/stat : 31196 (plingeling) R 31159 31159 30763 0 -1 4202560 3144 1245 0 0 389 3 0 1 25 0 29 0 650304081 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331328 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31164/tid=31197] ppid=31159 vsize=855268 CPUtime=3.89 cores=4-31
/proc/31164/task/31197/stat : 31197 (plingeling) R 31159 31159 30763 0 -1 4202560 2693 1245 0 0 385 3 0 1 23 0 29 0 650304081 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31164/tid=31198] ppid=31159 vsize=855268 CPUtime=3.88 cores=4-31
/proc/31164/task/31198/stat : 31198 (plingeling) R 31159 31159 30763 0 -1 4202560 2811 1245 0 0 384 3 0 1 23 0 29 0 650304081 875794432 111574 268435456000 4194304 4356188 140736407085200 18446744073709551615 4280872 0 0 4096 17442 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 136.86
Current children cumulated vsize (KiB) 2729244

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

[startup+6.40262 s]
/proc/loadavg: 27.35 29.72 31.08 33/447 31198
/proc/meminfo: memFree=254905740/264257624 swapFree=67111528/67111528
[pid=31159] ppid=31157 vsize=18324 CPUtime=0 cores=0-31
/proc/31159/stat : 31159 (ppfolio) S 31157 31159 30763 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 650303847 18763776 386 268435456000 4194304 4287625 140734470375792 18446744073709551615 258650975999 0 0 4096 65536 9207012132762157055 0 0 17 20 0 0 0
/proc/31159/statm: 4581 386 337 23 0 91 0

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

/proc/31163/statm: 54544 49394 149 34 0 52986 0
[pid=31164] ppid=31159 vsize=811524 CPUtime=136.87 cores=4-31
/proc/31164/stat : 31164 (plingeling) S 31159 31159 30763 0 -1 4202496 139988 1245 0 0 13553 133 0 1 18 0 29 0 650303848 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/31164/statm: 202881 100941 158 40 0 201425 0
[pid=31164/tid=31171] ppid=31159 vsize=811524 CPUtime=4.84 cores=4-31
/proc/31164/task/31171/stat : 31171 (plingeling) R 31159 31159 30763 0 -1 4202560 2753 1245 0 0 479 4 0 1 25 0 29 0 650304074 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31164/tid=31172] ppid=31159 vsize=811524 CPUtime=4.82 cores=4-31
/proc/31164/task/31172/stat : 31172 (plingeling) R 31159 31159 30763 0 -1 4202560 2754 1245 0 0 477 4 0 1 25 0 29 0 650304074 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331264 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31164/tid=31173] ppid=31159 vsize=811524 CPUtime=4.84 cores=4-31
/proc/31164/task/31173/stat : 31173 (plingeling) R 31159 31159 30763 0 -1 4202560 3014 1245 0 0 480 3 0 1 25 0 29 0 650304074 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31164/tid=31174] ppid=31159 vsize=811524 CPUtime=4.8 cores=4-31
/proc/31164/task/31174/stat : 31174 (plingeling) R 31159 31159 30763 0 -1 4202560 2763 1245 0 0 475 4 0 1 25 0 29 0 650304074 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31164/tid=31175] ppid=31159 vsize=811524 CPUtime=4.8 cores=4-31
/proc/31164/task/31175/stat : 31175 (plingeling) R 31159 31159 30763 0 -1 4202560 3028 1245 0 0 474 5 0 1 25 0 29 0 650304074 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4234058 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31164/tid=31176] ppid=31159 vsize=811524 CPUtime=4.77 cores=4-31
/proc/31164/task/31176/stat : 31176 (plingeling) R 31159 31159 30763 0 -1 4202560 2746 1245 0 0 471 5 0 1 25 0 29 0 650304074 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4274161 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31164/tid=31177] ppid=31159 vsize=811524 CPUtime=4.83 cores=4-31
/proc/31164/task/31177/stat : 31177 (plingeling) R 31159 31159 30763 0 -1 4202560 2706 1245 0 0 478 4 0 1 25 0 29 0 650304074 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31164/tid=31178] ppid=31159 vsize=811524 CPUtime=4.82 cores=4-31
/proc/31164/task/31178/stat : 31178 (plingeling) R 31159 31159 30763 0 -1 4202560 2662 1245 0 0 477 4 0 1 25 0 29 0 650304074 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4234332 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31164/tid=31179] ppid=31159 vsize=811524 CPUtime=4.82 cores=4-31
/proc/31164/task/31179/stat : 31179 (plingeling) R 31159 31159 30763 0 -1 4202560 2660 1245 0 0 478 3 0 1 25 0 29 0 650304075 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31164/tid=31180] ppid=31159 vsize=811524 CPUtime=4.81 cores=4-31
/proc/31164/task/31180/stat : 31180 (plingeling) R 31159 31159 30763 0 -1 4202560 3293 1245 0 0 475 5 0 1 25 0 29 0 650304075 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4234212 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31164/tid=31181] ppid=31159 vsize=811524 CPUtime=4.82 cores=4-31
/proc/31164/task/31181/stat : 31181 (plingeling) R 31159 31159 30763 0 -1 4202560 2924 1245 0 0 477 4 0 1 25 0 29 0 650304075 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4267664 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31164/tid=31182] ppid=31159 vsize=811524 CPUtime=4.77 cores=4-31
/proc/31164/task/31182/stat : 31182 (plingeling) R 31159 31159 30763 0 -1 4202560 2324 1245 0 0 473 3 0 1 25 0 29 0 650304075 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4210751 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31164/tid=31183] ppid=31159 vsize=811524 CPUtime=4.83 cores=4-31
/proc/31164/task/31183/stat : 31183 (plingeling) R 31159 31159 30763 0 -1 4202560 2860 1245 0 0 478 4 0 1 25 0 29 0 650304075 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31164/tid=31184] ppid=31159 vsize=811524 CPUtime=4.7 cores=4-31
/proc/31164/task/31184/stat : 31184 (plingeling) R 31159 31159 30763 0 -1 4202560 2849 1245 0 0 466 3 0 1 25 0 29 0 650304077 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31164/tid=31185] ppid=31159 vsize=811524 CPUtime=4.82 cores=4-31
/proc/31164/task/31185/stat : 31185 (plingeling) R 31159 31159 30763 0 -1 4202560 2926 1245 0 0 479 2 0 1 25 0 29 0 650304078 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4211007 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31164/tid=31186] ppid=31159 vsize=811524 CPUtime=4.85 cores=4-31
/proc/31164/task/31186/stat : 31186 (plingeling) R 31159 31159 30763 0 -1 4202560 2609 1245 0 0 479 5 0 1 25 0 29 0 650304078 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4241608 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31164/tid=31187] ppid=31159 vsize=811524 CPUtime=4.73 cores=4-31
/proc/31164/task/31187/stat : 31187 (plingeling) R 31159 31159 30763 0 -1 4202560 2532 1245 0 0 469 3 0 1 25 0 29 0 650304078 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331023 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31164/tid=31188] ppid=31159 vsize=811524 CPUtime=4.81 cores=4-31
/proc/31164/task/31188/stat : 31188 (plingeling) R 31159 31159 30763 0 -1 4202560 2815 1245 0 0 476 4 0 1 25 0 29 0 650304078 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4279371 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31164/tid=31189] ppid=31159 vsize=811524 CPUtime=4.83 cores=4-31
/proc/31164/task/31189/stat : 31189 (plingeling) R 31159 31159 30763 0 -1 4202560 2717 1245 0 0 478 4 0 1 25 0 29 0 650304078 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331323 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31164/tid=31190] ppid=31159 vsize=811524 CPUtime=4.76 cores=4-31
/proc/31164/task/31190/stat : 31190 (plingeling) R 31159 31159 30763 0 -1 4202560 2783 1245 0 0 472 3 0 1 25 0 29 0 650304078 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31164/tid=31191] ppid=31159 vsize=811524 CPUtime=4.83 cores=4-31
/proc/31164/task/31191/stat : 31191 (plingeling) R 31159 31159 30763 0 -1 4202560 2745 1245 0 0 478 4 0 1 25 0 29 0 650304079 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331050 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31164/tid=31192] ppid=31159 vsize=811524 CPUtime=4.85 cores=4-31
/proc/31164/task/31192/stat : 31192 (plingeling) R 31159 31159 30763 0 -1 4202560 2429 1245 0 0 480 4 0 1 25 0 29 0 650304079 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4250534 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31164/tid=31193] ppid=31159 vsize=811524 CPUtime=4.83 cores=4-31
/proc/31164/task/31193/stat : 31193 (plingeling) R 31159 31159 30763 0 -1 4202560 2789 1245 0 0 479 3 0 1 25 0 29 0 650304079 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4334492 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31164/tid=31194] ppid=31159 vsize=811524 CPUtime=4.82 cores=4-31
/proc/31164/task/31194/stat : 31194 (plingeling) R 31159 31159 30763 0 -1 4202560 2567 1245 0 0 476 5 0 1 25 0 29 0 650304079 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4332293 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31164/tid=31195] ppid=31159 vsize=811524 CPUtime=4.83 cores=4-31
/proc/31164/task/31195/stat : 31195 (plingeling) R 31159 31159 30763 0 -1 4202560 3047 1245 0 0 479 3 0 1 25 0 29 0 650304080 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31164/tid=31196] ppid=31159 vsize=811524 CPUtime=4.83 cores=4-31
/proc/31164/task/31196/stat : 31196 (plingeling) R 31159 31159 30763 0 -1 4202560 3144 1245 0 0 479 3 0 1 25 0 29 0 650304081 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4330827 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31164/tid=31197] ppid=31159 vsize=811524 CPUtime=4.79 cores=4-31
/proc/31164/task/31197/stat : 31197 (plingeling) R 31159 31159 30763 0 -1 4202560 2791 1245 0 0 475 3 0 1 25 0 29 0 650304081 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4250782 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31164/tid=31198] ppid=31159 vsize=811524 CPUtime=4.78 cores=4-31
/proc/31164/task/31198/stat : 31198 (plingeling) R 31159 31159 30763 0 -1 4202560 2811 1245 0 0 474 3 0 1 25 0 29 0 650304081 831000576 100941 268435456000 4194304 4356188 140736407085200 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 165.6
Current children cumulated vsize (KiB) 2707728

[startup+8.00167 s]
/proc/loadavg: 27.35 29.72 31.08 33/447 31198
/proc/meminfo: memFree=254857028/264257624 swapFree=67111528/67111528
[pid=31159] ppid=31157 vsize=18324 CPUtime=0 cores=0-31
/proc/31159/stat : 31159 (ppfolio) S 31157 31159 30763 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 650303847 18763776 386 268435456000 4194304 4287625 140734470375792 18446744073709551615 258650975999 0 0 4096 65536 9207012132762157055 0 0 17 20 0 0 0
/proc/31159/statm: 4581 386 337 23 0 91 0
[pid=31160] ppid=31159 vsize=1166612 CPUtime=7.98 cores=0
/proc/31160/stat : 31160 (cryptominisat) R 31159 31159 30763 0 -1 4202496 20892 0 0 0 794 4 0 0 25 0 1 0 650303848 1194610688 12136 268435456000 4194304 4587354 140734272802048 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31160/statm: 291653 12136 336 96 0 288215 0
[pid=31161] ppid=31159 vsize=46276 CPUtime=7.98 cores=1
/proc/31161/stat : 31161 (clasp) R 31159 31159 30763 0 -1 4202496 9678 0 0 0 795 3 0 0 25 0 1 0 650303848 47386624 8774 268435456000 4194304 4785740 140733998060912 18446744073709551615 4552993 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31161/statm: 11569 8774 339 145 0 8614 0
[pid=31162] ppid=31159 vsize=465880 CPUtime=7.98 cores=2
/proc/31162/stat : 31162 (TNM) R 31159 31159 30763 0 -1 4202496 4274 0 0 0 797 1 0 0 25 0 1 0 650303848 477061120 4172 268435456000 134512640 134534564 4287642400 18446744073709551615 134524541 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31162/statm: 116470 4172 91 6 0 115135 0
[pid=31163] ppid=31159 vsize=238900 CPUtime=7.98 cores=3
/proc/31163/stat : 31163 (march_hi) R 31159 31159 30763 0 -1 4202496 75019 0 0 0 781 17 0 0 25 0 1 0 650303848 244633600 55963 268435456000 4194304 4331988 140736267573408 18446744073709551615 4271412 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31163/statm: 59725 55964 149 34 0 58167 0
[pid=31164] ppid=31159 vsize=823044 CPUtime=159.25 cores=4-31
/proc/31164/stat : 31164 (plingeling) S 31159 31159 30763 0 -1 4202496 143396 1245 0 0 15790 134 0 1 18 0 29 0 650303848 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/31164/statm: 205761 104333 158 40 0 204305 0
[pid=31164/tid=31171] ppid=31159 vsize=823044 CPUtime=5.64 cores=4-31
/proc/31164/task/31171/stat : 31171 (plingeling) R 31159 31159 30763 0 -1 4202560 2835 1245 0 0 559 4 0 1 25 0 29 0 650304074 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4237233 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31164/tid=31172] ppid=31159 vsize=823044 CPUtime=5.62 cores=4-31
/proc/31164/task/31172/stat : 31172 (plingeling) R 31159 31159 30763 0 -1 4202560 2882 1245 0 0 556 5 0 1 25 0 29 0 650304074 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4233978 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31164/tid=31173] ppid=31159 vsize=823044 CPUtime=5.64 cores=4-31
/proc/31164/task/31173/stat : 31173 (plingeling) R 31159 31159 30763 0 -1 4202560 3142 1245 0 0 560 3 0 1 25 0 29 0 650304074 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31164/tid=31174] ppid=31159 vsize=823044 CPUtime=5.6 cores=4-31
/proc/31164/task/31174/stat : 31174 (plingeling) R 31159 31159 30763 0 -1 4202560 2763 1245 0 0 555 4 0 1 25 0 29 0 650304074 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4212569 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31164/tid=31175] ppid=31159 vsize=823044 CPUtime=5.6 cores=4-31
/proc/31164/task/31175/stat : 31175 (plingeling) R 31159 31159 30763 0 -1 4202560 3028 1245 0 0 554 5 0 1 25 0 29 0 650304074 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4210605 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31164/tid=31176] ppid=31159 vsize=823044 CPUtime=5.57 cores=4-31
/proc/31164/task/31176/stat : 31176 (plingeling) R 31159 31159 30763 0 -1 4202560 2746 1245 0 0 551 5 0 1 25 0 29 0 650304074 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4241599 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31164/tid=31177] ppid=31159 vsize=823044 CPUtime=5.63 cores=4-31
/proc/31164/task/31177/stat : 31177 (plingeling) R 31159 31159 30763 0 -1 4202560 2834 1245 0 0 558 4 0 1 25 0 29 0 650304074 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31164/tid=31178] ppid=31159 vsize=823044 CPUtime=5.62 cores=4-31
/proc/31164/task/31178/stat : 31178 (plingeling) R 31159 31159 30763 0 -1 4202560 3046 1245 0 0 557 4 0 1 25 0 29 0 650304074 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4241535 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31164/tid=31179] ppid=31159 vsize=823044 CPUtime=5.62 cores=4-31
/proc/31164/task/31179/stat : 31179 (plingeling) R 31159 31159 30763 0 -1 4202560 2660 1245 0 0 558 3 0 1 25 0 29 0 650304075 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331249 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31164/tid=31180] ppid=31159 vsize=823044 CPUtime=5.61 cores=4-31
/proc/31164/task/31180/stat : 31180 (plingeling) R 31159 31159 30763 0 -1 4202560 3421 1245 0 0 555 5 0 1 25 0 29 0 650304075 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331309 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31164/tid=31181] ppid=31159 vsize=823044 CPUtime=5.62 cores=4-31
/proc/31164/task/31181/stat : 31181 (plingeling) R 31159 31159 30763 0 -1 4202560 3052 1245 0 0 557 4 0 1 25 0 29 0 650304075 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31164/tid=31182] ppid=31159 vsize=823044 CPUtime=5.57 cores=4-31
/proc/31164/task/31182/stat : 31182 (plingeling) R 31159 31159 30763 0 -1 4202560 2324 1245 0 0 553 3 0 1 25 0 29 0 650304075 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4238706 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31164/tid=31183] ppid=31159 vsize=823044 CPUtime=5.63 cores=4-31
/proc/31164/task/31183/stat : 31183 (plingeling) R 31159 31159 30763 0 -1 4202560 2988 1245 0 0 558 4 0 1 25 0 29 0 650304075 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4210791 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31164/tid=31184] ppid=31159 vsize=823044 CPUtime=5.47 cores=4-31
/proc/31164/task/31184/stat : 31184 (plingeling) R 31159 31159 30763 0 -1 4202560 2977 1245 0 0 543 3 0 1 25 0 29 0 650304077 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4332125 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31164/tid=31185] ppid=31159 vsize=823044 CPUtime=5.62 cores=4-31
/proc/31164/task/31185/stat : 31185 (plingeling) R 31159 31159 30763 0 -1 4202560 2926 1245 0 0 559 2 0 1 25 0 29 0 650304078 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4238512 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31164/tid=31186] ppid=31159 vsize=823044 CPUtime=5.65 cores=4-31
/proc/31164/task/31186/stat : 31186 (plingeling) R 31159 31159 30763 0 -1 4202560 2865 1245 0 0 559 5 0 1 25 0 29 0 650304078 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31164/tid=31187] ppid=31159 vsize=823044 CPUtime=5.53 cores=4-31
/proc/31164/task/31187/stat : 31187 (plingeling) R 31159 31159 30763 0 -1 4202560 2532 1245 0 0 549 3 0 1 25 0 29 0 650304078 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4248944 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31164/tid=31188] ppid=31159 vsize=823044 CPUtime=5.61 cores=4-31
/proc/31164/task/31188/stat : 31188 (plingeling) R 31159 31159 30763 0 -1 4202560 2815 1245 0 0 556 4 0 1 25 0 29 0 650304078 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31164/tid=31189] ppid=31159 vsize=823044 CPUtime=5.63 cores=4-31
/proc/31164/task/31189/stat : 31189 (plingeling) R 31159 31159 30763 0 -1 4202560 2845 1245 0 0 558 4 0 1 25 0 29 0 650304078 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31164/tid=31190] ppid=31159 vsize=823044 CPUtime=5.56 cores=4-31
/proc/31164/task/31190/stat : 31190 (plingeling) R 31159 31159 30763 0 -1 4202560 3167 1245 0 0 552 3 0 1 25 0 29 0 650304078 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31164/tid=31191] ppid=31159 vsize=823044 CPUtime=5.63 cores=4-31
/proc/31164/task/31191/stat : 31191 (plingeling) R 31159 31159 30763 0 -1 4202560 2745 1245 0 0 558 4 0 1 25 0 29 0 650304079 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331857 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31164/tid=31192] ppid=31159 vsize=823044 CPUtime=5.65 cores=4-31
/proc/31164/task/31192/stat : 31192 (plingeling) R 31159 31159 30763 0 -1 4202560 2557 1245 0 0 560 4 0 1 25 0 29 0 650304079 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31164/tid=31193] ppid=31159 vsize=823044 CPUtime=5.63 cores=4-31
/proc/31164/task/31193/stat : 31193 (plingeling) R 31159 31159 30763 0 -1 4202560 2917 1245 0 0 559 3 0 1 25 0 29 0 650304079 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4281578 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31164/tid=31194] ppid=31159 vsize=823044 CPUtime=5.62 cores=4-31
/proc/31164/task/31194/stat : 31194 (plingeling) R 31159 31159 30763 0 -1 4202560 3207 1245 0 0 556 5 0 1 25 0 29 0 650304079 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31164/tid=31195] ppid=31159 vsize=823044 CPUtime=5.63 cores=4-31
/proc/31164/task/31195/stat : 31195 (plingeling) R 31159 31159 30763 0 -1 4202560 3175 1245 0 0 559 3 0 1 25 0 29 0 650304080 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4279677 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31164/tid=31196] ppid=31159 vsize=823044 CPUtime=5.63 cores=4-31
/proc/31164/task/31196/stat : 31196 (plingeling) R 31159 31159 30763 0 -1 4202560 3144 1245 0 0 559 3 0 1 25 0 29 0 650304081 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31164/tid=31197] ppid=31159 vsize=823044 CPUtime=5.59 cores=4-31
/proc/31164/task/31197/stat : 31197 (plingeling) R 31159 31159 30763 0 -1 4202560 2855 1245 0 0 555 3 0 1 25 0 29 0 650304081 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31164/tid=31198] ppid=31159 vsize=823044 CPUtime=5.58 cores=4-31
/proc/31164/task/31198/stat : 31198 (plingeling) R 31159 31159 30763 0 -1 4202560 3001 1245 0 0 554 3 0 1 25 0 29 0 650304081 842797056 104333 268435456000 4194304 4356188 140736407085200 18446744073709551615 4259314 0 0 4096 17442 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 191.17
Current children cumulated vsize (KiB) 2759036

[startup+8.20173 s]
/proc/loadavg: 27.35 29.72 31.08 33/447 31198
/proc/meminfo: memFree=254857028/264257624 swapFree=67111528/67111528
[pid=31159] ppid=31157 vsize=18324 CPUtime=0 cores=0-31
/proc/31159/stat : 31159 (ppfolio) S 31157 31159 30763 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 650303847 18763776 386 268435456000 4194304 4287625 140734470375792 18446744073709551615 258650975999 0 0 4096 65536 9207012132762157055 0 0 17 20 0 0 0
/proc/31159/statm: 4581 386 337 23 0 91 0
[pid=31160] ppid=31159 vsize=1166612 CPUtime=8.18 cores=0
/proc/31160/stat : 31160 (cryptominisat) R 31159 31159 30763 0 -1 4202496 20892 0 0 0 814 4 0 0 25 0 1 0 650303848 1194610688 12136 268435456000 4194304 4587354 140734272802048 18446744073709551615 4364706 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31160/statm: 291653 12136 336 96 0 288215 0
[pid=31161] ppid=31159 vsize=46724 CPUtime=8.18 cores=1
/proc/31161/stat : 31161 (clasp) R 31159 31159 30763 0 -1 4202496 9784 0 0 0 815 3 0 0 25 0 1 0 650303848 47845376 8880 268435456000 4194304 4785740 140733998060912 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31161/statm: 11681 8880 339 145 0 8726 0
[pid=31162] ppid=31159 vsize=465880 CPUtime=8.18 cores=2
/proc/31162/stat : 31162 (TNM) R 31159 31159 30763 0 -1 4202496 4274 0 0 0 817 1 0 0 25 0 1 0 650303848 477061120 4172 268435456000 134512640 134534564 4287642400 18446744073709551615 134524664 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31162/statm: 116470 4172 91 6 0 115135 0
[pid=31163] ppid=31159 vsize=244444 CPUtime=8.18 cores=3
/proc/31163/stat : 31163 (march_hi) R 31159 31159 30763 0 -1 4202496 76785 0 0 0 801 17 0 0 25 0 1 0 650303848 250310656 57729 268435456000 4194304 4331988 140736267573408 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31163/statm: 61111 57729 149 34 0 59553 0
[pid=31164] ppid=31159 vsize=815632 CPUtime=161.79 cores=4-31
/proc/31164/stat : 31164 (plingeling) S 31159 31159 30763 0 -1 4202496 144105 1245 0 0 16044 134 0 1 17 0 3 0 650303848 835207168 105040 268435456000 4194304 4356188 140736407085200 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 18 0 0 0
/proc/31164/statm: 203908 105040 159 40 0 202452 0
[pid=31164/tid=31175] ppid=31159 vsize=815632 CPUtime=5.8 cores=4-31
/proc/31164/task/31175/stat : 31175 (plingeling) R 31159 31159 30763 0 -1 4202560 3028 1245 0 0 574 5 0 1 25 0 3 0 650304074 835207168 105040 268435456000 4194304 4356188 140736407085200 18446744073709551615 4270512 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31164/tid=31187] ppid=31159 vsize=815632 CPUtime=5.73 cores=4-31
/proc/31164/task/31187/stat : 31187 (plingeling) R 31159 31159 30763 0 -1 4202560 3240 1245 0 0 569 3 0 1 25 0 3 0 650304078 835207168 105040 268435456000 4194304 4356188 140736407085200 18446744073709551615 4260124 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 194.51
Current children cumulated vsize (KiB) 2757616

Child status: 0
Real time (s): 8.28427
CPU time (s): 194.941
CPU user time (s): 193.219
CPU system time (s): 1.72274
CPU usage (%): 2353.15
Max. virtual memory (cumulated for all children) (KiB): 2759036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 193.219
system time used= 1.72274
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258119
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= 2438
involuntary context switches= 522

runsolver used 0.046992 second user time and 0.183972 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-14 17:49:34
IDJOB=3347603
IDBENCH=83445
IDSOLVER=1808
FILE ID=node200/3347603-1305388174
RUNJOBID= node200-1305387880-30777
PBS_JOBID= 13285490
Free space on /tmp= 62048 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F18.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347603-1305388174/watcher-3347603-1305388174 -o /tmp/evaluation-result-3347603-1305388174/solver-3347603-1305388174 -C 160000 -W 5100 -M 266338304  ppfolio HOME/instance-3347603-1305388174.cnf

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

MD5SUM BENCH= 0219a55415ff7fae71350d03c49bcd06
RANDOM SEED=1778870635

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:      255588704 kB
Buffers:        436648 kB
Cached:        7816368 kB
SwapCached:          0 kB
Active:        7386528 kB
Inactive:       935204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255588704 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           13828 kB
Writeback:           0 kB
AnonPages:       70944 kB
Mapped:          15588 kB
Slab:           249852 kB
PageTables:       6280 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   178632 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= 62036 MiB
End job on node200 at 2011-05-14 17:49:43