Trace number 49218

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, and are wall clock time (not CPU 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 NameAnswerObjective functionCPU timeWall clock time
absconPseudo 1SAT (TO)84 1800.69 1796.52

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.b.opb
MD5SUM0b80319f4195f1e1329c2c4b63b416b0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark45
Best CPU time to get the best result obtained on this benchmark1800.7
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 45
Optimality of the best value was proved NO
Number of variables5203
Total number of constraints19637
Number of constraints which are clauses19637
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint11
Maximum length of a constraint360
Number of terms in the objective function 5203
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5203
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5203
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

6.48	o 85
7.54	o 84
1796.32	s SATISFIABLE
1796.38	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 x28 x29
1796.38	v x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 x52 -x53 -x54 -x55 -x56
1796.38	v -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 x71 x72 x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83
1796.38	v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107
1796.38	v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128
1796.38	v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149
1796.38	v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
1796.38	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191
1796.38	v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212
1796.38	v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233
1796.38	v -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254
1796.38	v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275
1796.38	v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296
1796.38	v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317
1796.38	v -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338
1796.38	v -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359
1796.38	v -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
1796.38	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401
1796.38	v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422
1796.38	v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 x434 -x435 -x436 x437 x438 -x439 -x440 -x441 x442 -x443 -x444
1796.38	v -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465
1796.38	v -x466 -x467 -x468 -x469 x470 x471 x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486
1796.38	v x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507
1796.38	v -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528
1796.38	v -x529 -x530 -x531 x532 -x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 x545 -x546 -x547 -x548 -x549
1796.38	v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
1796.38	v x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591
1796.38	v -x592 -x593 -x594 -x595 -x596 -x597 x598 x599 x600 x601 x602 x603 x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613
1796.38	v -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634
1796.38	v x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655
1796.38	v -x656 x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676
1796.38	v -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697
1796.38	v -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718
1796.38	v -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739
1796.38	v -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
1796.38	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781
1796.38	v -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802
1796.38	v -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823
1796.38	v -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844
1796.38	v -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865
1796.38	v -x866 -x867 x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 x877 -x878 -x879 -x880 -x881 x882 -x883 -x884 -x885 -x886
1796.38	v -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 -x904 -x905 -x906 -x907
1796.38	v -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928
1796.38	v -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949
1796.38	v -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970
1796.38	v -x971 x972 x973 -x974 -x975 x976 -x977 -x978 x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x990 -x991 x992
1796.38	v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x1010 -x1011
1796.38	v -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028
1796.38	v -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045
1796.38	v -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062
1796.38	v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079
1796.38	v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096
1796.38	v -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113
1796.38	v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130
1796.38	v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147
1796.38	v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164
1796.38	v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181
1796.38	v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198
1796.38	v -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215
1796.38	v -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232
1796.38	v -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249
1796.38	v -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266
1796.38	v -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283
1796.38	v -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
1796.38	v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317
1796.38	v -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334
1796.38	v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351
1796.38	v -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368
1796.38	v -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385
1796.38	v -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 x1398 -x1399 x1400 -x1401 -x1402 -x1403
1796.38	v -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 x1418 -x1419 -x1420
1796.38	v -x1421 -x1422 x1423 -x1424 x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438
1796.38	v -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455
1796.38	v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472
1796.38	v -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489
1796.38	v -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506
1796.38	v -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523
1796.38	v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
1796.38	v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557
1796.38	v -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574
1796.38	v -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591
1796.38	v -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608
1796.38	v -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625
1796.38	v -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642
1796.38	v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659
1796.38	v -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676
1796.38	v -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693
1796.38	v -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
1796.38	v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727
1796.38	v -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744
1796.38	v -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 x1758 -x1759 -x1760 -x1761
1796.38	v -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778
1796.38	v -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795
1796.38	v -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812
1796.38	v -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829
1796.38	v -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846
1796.38	v -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863
1796.38	v -x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880
1796.38	v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897
1796.38	v -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914
1796.38	v -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931
1796.38	v -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948
1796.38	v -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 x1961 x1962 -x1963 -x1964 -x1965 -x1966
1796.38	v -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983
1796.38	v -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000
1796.38	v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017
1796.38	v -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034
1796.38	v -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051
1796.38	v -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068
1796.38	v -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085
1796.38	v -x2086 x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102
1796.38	v -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119
1796.38	v -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136
1796.38	v -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153
1796.38	v -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 x2170
1796.38	v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 x2183 -x2184 -x2185 -x2186 -x2187
1796.38	v -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204
1796.38	v -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221
1796.38	v -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238
1796.38	v -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255
1796.38	v -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272
1796.38	v -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289
1796.38	v -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306
1796.38	v -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323
1796.38	v -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340
1796.38	v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357
1796.38	v -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374
1796.38	v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391
1796.38	v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408
1796.38	v -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425
1796.38	v -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442
1796.38	v -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459
1796.38	v -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476
1796.38	v -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493
1796.38	v -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510
1796.38	v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527
1796.38	v -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544
1796.38	v -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561
1796.38	v -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578
1796.38	v -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595
1796.38	v -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612
1796.38	v -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629
1796.38	v -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646
1796.38	v -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663
1796.38	v -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680
1796.38	v -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697
1796.38	v -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714
1796.38	v -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731
1796.38	v -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748
1796.38	v -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765
1796.38	v -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782
1796.38	v -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799
1796.38	v -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816
1796.38	v -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833
1796.38	v -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850
1796.38	v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867
1796.38	v -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884
1796.38	v -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901
1796.38	v -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918
1796.38	v -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935
1796.38	v -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952
1796.38	v -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969
1796.38	v -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986
1796.38	v -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003
1796.38	v -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020
1796.38	v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037
1796.38	v -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054
1796.38	v -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071
1796.38	v -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088
1796.38	v -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105
1796.38	v -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122
1796.38	v -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139
1796.38	v -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156
1796.38	v -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173
1796.38	v -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190
1796.38	v -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207
1796.38	v -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224
1796.38	v -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241
1796.38	v -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258
1796.38	v -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275
1796.38	v -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292
1796.38	v -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309
1796.38	v -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326
1796.38	v -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343
1796.38	v -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360
1796.38	v -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377
1796.38	v -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394
1796.38	v -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411
1796.38	v -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428
1796.38	v -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445
1796.38	v -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462
1796.38	v -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479
1796.38	v -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496
1796.38	v -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513
1796.38	v -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530
1796.38	v -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547
1796.38	v -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564
1796.38	v -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581
1796.38	v -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598
1796.38	v -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615
1796.38	v -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632
1796.38	v -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649
1796.38	v -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666
1796.38	v -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683
1796.38	v -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700
1796.38	v -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717
1796.38	v -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734
1796.38	v -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751
1796.38	v -x3752 -x3753 -x3754 x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768
1796.38	v -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785
1796.38	v -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802
1796.38	v -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819
1796.38	v -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836
1796.38	v -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853
1796.38	v -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870
1796.38	v -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887
1796.38	v -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904
1796.38	v -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921
1796.38	v -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938
1796.38	v -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955
1796.38	v -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972
1796.38	v -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989
1796.38	v -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006
1796.38	v -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023
1796.38	v -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040
1796.38	v -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057
1796.38	v -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074
1796.38	v -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091
1796.38	v -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108
1796.38	v -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125
1796.38	v -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142
1796.38	v -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159
1796.38	v -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176
1796.38	v -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193
1796.38	v -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210
1796.38	v -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227
1796.38	v -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244
1796.38	v -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261
1796.38	v -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278
1796.38	v -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295
1796.38	v -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312
1796.38	v -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329
1796.38	v -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346
1796.38	v -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363
1796.38	v -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380
1796.38	v -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397
1796.38	v -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414
1796.38	v -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431
1796.38	v -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448
1796.38	v -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465
1796.38	v -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482
1796.38	v -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499
1796.38	v -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516
1796.38	v -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533
1796.38	v -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550
1796.38	v -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567
1796.38	v -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584
1796.38	v -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601
1796.38	v -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618
1796.38	v -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635
1796.38	v -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652
1796.38	v -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669
1796.38	v -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686
1796.38	v -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703
1796.38	v -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720
1796.38	v -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737
1796.38	v -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754
1796.38	v -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771
1796.38	v -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788
1796.38	v -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805
1796.38	v -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822
1796.38	v -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839
1796.38	v -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856
1796.38	v -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873
1796.38	v -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890
1796.38	v -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907
1796.38	v -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924
1796.38	v -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941
1796.38	v -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958
1796.38	v -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975
1796.38	v -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992
1796.38	v -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009
1796.38	v -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026
1796.38	v -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043
1796.38	v -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060
1796.38	v -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077
1796.38	v -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094
1796.38	v -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111
1796.38	v -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128
1796.38	v -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145
1796.38	v -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162
1796.38	v -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179
1796.38	v -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196
1796.38	v -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203

Verifier Data (download as text)

OK	84

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node35/watcher-49218-1154095063 -o ROOT/results/node35/solver-49218-1154095063 -C 1800 -M 1800 -S 64 java -server -Xms256M -Xmx1500M -cp ROOT/solvers/PB/PB06final/user2/absconPseudo1.jar abscon.Resolution ROOT/solvers/PB/PB06final/user2/configuration.xml 1 pseudo ROOT/tmp/node35/49218-1154095063/instance-49218-1154095063.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.09 1.02 0.96 3/64 28331
/proc/meminfo: memFree=1326192/2055920 swapFree=4182936/4192956
[pid=28331] ppid=28329 vsize=1496 CPUtime=0
/proc/28331/stat : 28331 (java) R 28329 28331 28282 0 -1 0 65 0 0 0 0 0 0 0 19 0 1 0 156366420 1531904 47 18446744073709551615 134512640 134570276 4294956512 18446744073709551615 1445828 0 0 4096 0 0 0 0 17 1 0 0
/proc/28331/statm: 375 57 45 14 0 8 0

[startup+10.0021 s]
/proc/loadavg: 1.23 1.05 0.97 2/75 28342
/proc/meminfo: memFree=747032/2055920 swapFree=4182936/4192956
[pid=28331] ppid=28329 vsize=1732780 CPUtime=14.58
/proc/28331/stat : 28331 (java) R 28329 28331 28282 0 -1 0 160354 0 20 0 1368 90 0 0 25 0 12 0 156366420 1774366720 145328 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071852696 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28331/statm: 433195 145328 2556 14 0 419587 0
[pid=28331/tid=28332] ppid=28329 vsize=1732780 CPUtime=0.9
/proc/28331/task/28332/stat : 28332 (java) S 28329 28331 28282 0 -1 64 55478 0 0 0 58 32 0 0 16 0 12 0 156366429 1774366720 145328 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28333] ppid=28329 vsize=1732780 CPUtime=1.09
/proc/28331/task/28333/stat : 28333 (java) S 28329 28331 28282 0 -1 64 61963 0 0 0 76 33 0 0 16 0 12 0 156366429 1774366720 145328 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28334] ppid=28329 vsize=1732780 CPUtime=0.13
/proc/28331/task/28334/stat : 28334 (java) S 28329 28331 28282 0 -1 64 1269 0 0 0 13 0 0 0 16 0 12 0 156366431 1774366720 145328 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28335] ppid=28329 vsize=1732780 CPUtime=0
/proc/28331/task/28335/stat : 28335 (java) S 28329 28331 28282 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 156366432 1774366720 145328 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28336] ppid=28329 vsize=1732780 CPUtime=0
/proc/28331/task/28336/stat : 28336 (java) S 28329 28331 28282 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 156366432 1774366720 145328 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28337] ppid=28329 vsize=1732780 CPUtime=0
/proc/28331/task/28337/stat : 28337 (java) S 28329 28331 28282 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 156366435 1774366720 145328 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28338] ppid=28329 vsize=1732780 CPUtime=0
/proc/28331/task/28338/stat : 28338 (java) S 28329 28331 28282 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 156366435 1774366720 145328 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28339] ppid=28329 vsize=1732780 CPUtime=1.73
/proc/28331/task/28339/stat : 28339 (java) S 28329 28331 28282 0 -1 64 8303 0 0 0 168 5 0 0 16 0 12 0 156366435 1774366720 145328 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28340] ppid=28329 vsize=1732780 CPUtime=2.75
/proc/28331/task/28340/stat : 28340 (java) S 28329 28331 28282 0 -1 64 9496 0 0 0 270 5 0 0 16 0 12 0 156366435 1774366720 145328 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28341] ppid=28329 vsize=1732780 CPUtime=0
/proc/28331/task/28341/stat : 28341 (java) S 28329 28331 28282 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 156366435 1774366720 145328 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28342] ppid=28329 vsize=1732780 CPUtime=0
/proc/28331/task/28342/stat : 28342 (java) S 28329 28331 28282 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 156366435 1774366720 145328 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.58
Current children cumulated vsize (Kb) 1732780

[startup+20.0093 s]
/proc/loadavg: 1.19 1.04 0.97 2/75 28342
/proc/meminfo: memFree=747384/2055920 swapFree=4182936/4192956
[pid=28331] ppid=28329 vsize=1732684 CPUtime=24.58
/proc/28331/stat : 28331 (java) R 28329 28331 28282 0 -1 0 160355 0 20 0 2368 90 0 0 25 0 12 0 156366420 1774268416 145310 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071852709 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28331/statm: 433171 145310 2556 14 0 419563 0
[pid=28331/tid=28332] ppid=28329 vsize=1732684 CPUtime=0.9
/proc/28331/task/28332/stat : 28332 (java) S 28329 28331 28282 0 -1 64 55478 0 0 0 58 32 0 0 16 0 12 0 156366429 1774268416 145310 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28333] ppid=28329 vsize=1732684 CPUtime=1.09
/proc/28331/task/28333/stat : 28333 (java) S 28329 28331 28282 0 -1 64 61963 0 0 0 76 33 0 0 16 0 12 0 156366429 1774268416 145310 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28334] ppid=28329 vsize=1732684 CPUtime=0.13
/proc/28331/task/28334/stat : 28334 (java) S 28329 28331 28282 0 -1 64 1269 0 0 0 13 0 0 0 16 0 12 0 156366431 1774268416 145310 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28335] ppid=28329 vsize=1732684 CPUtime=0
/proc/28331/task/28335/stat : 28335 (java) S 28329 28331 28282 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 156366432 1774268416 145310 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28336] ppid=28329 vsize=1732684 CPUtime=0
/proc/28331/task/28336/stat : 28336 (java) S 28329 28331 28282 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 156366432 1774268416 145310 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28337] ppid=28329 vsize=1732684 CPUtime=0
/proc/28331/task/28337/stat : 28337 (java) S 28329 28331 28282 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 156366435 1774268416 145310 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28338] ppid=28329 vsize=1732684 CPUtime=0
/proc/28331/task/28338/stat : 28338 (java) S 28329 28331 28282 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 156366435 1774268416 145310 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28339] ppid=28329 vsize=1732684 CPUtime=1.73
/proc/28331/task/28339/stat : 28339 (java) S 28329 28331 28282 0 -1 64 8303 0 0 0 168 5 0 0 17 0 12 0 156366435 1774268416 145310 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28340] ppid=28329 vsize=1732684 CPUtime=2.75
/proc/28331/task/28340/stat : 28340 (java) S 28329 28331 28282 0 -1 64 9496 0 0 0 270 5 0 0 16 0 12 0 156366435 1774268416 145310 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28341] ppid=28329 vsize=1732684 CPUtime=0
/proc/28331/task/28341/stat : 28341 (java) S 28329 28331 28282 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 156366435 1774268416 145310 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28342] ppid=28329 vsize=1732684 CPUtime=0
/proc/28331/task/28342/stat : 28342 (java) S 28329 28331 28282 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 156366435 1774268416 145310 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.58
Current children cumulated vsize (Kb) 1732684

[startup+30.0165 s]
/proc/loadavg: 1.16 1.04 0.97 2/75 28342
/proc/meminfo: memFree=748600/2055920 swapFree=4182936/4192956
[pid=28331] ppid=28329 vsize=1731552 CPUtime=34.58
/proc/28331/stat : 28331 (java) R 28329 28331 28282 0 -1 0 160356 0 20 0 3368 90 0 0 25 0 12 0 156366420 1773109248 145028 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071852670 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28331/statm: 432888 145028 2556 14 0 419280 0
[pid=28331/tid=28332] ppid=28329 vsize=1731552 CPUtime=0.9
/proc/28331/task/28332/stat : 28332 (java) S 28329 28331 28282 0 -1 64 55478 0 0 0 58 32 0 0 16 0 12 0 156366429 1773109248 145028 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28333] ppid=28329 vsize=1731552 CPUtime=1.09
/proc/28331/task/28333/stat : 28333 (java) S 28329 28331 28282 0 -1 64 61963 0 0 0 76 33 0 0 16 0 12 0 156366429 1773109248 145028 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28334] ppid=28329 vsize=1731552 CPUtime=0.13
/proc/28331/task/28334/stat : 28334 (java) S 28329 28331 28282 0 -1 64 1269 0 0 0 13 0 0 0 16 0 12 0 156366431 1773109248 145028 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28335] ppid=28329 vsize=1731552 CPUtime=0
/proc/28331/task/28335/stat : 28335 (java) S 28329 28331 28282 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 156366432 1773109248 145028 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28336] ppid=28329 vsize=1731552 CPUtime=0
/proc/28331/task/28336/stat : 28336 (java) S 28329 28331 28282 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 156366432 1773109248 145028 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28337] ppid=28329 vsize=1731552 CPUtime=0
/proc/28331/task/28337/stat : 28337 (java) S 28329 28331 28282 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 156366435 1773109248 145028 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28338] ppid=28329 vsize=1731552 CPUtime=0
/proc/28331/task/28338/stat : 28338 (java) S 28329 28331 28282 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 156366435 1773109248 145028 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28339] ppid=28329 vsize=1731552 CPUtime=1.73
/proc/28331/task/28339/stat : 28339 (java) S 28329 28331 28282 0 -1 64 8303 0 0 0 168 5 0 0 17 0 12 0 156366435 1773109248 145028 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28340] ppid=28329 vsize=1731552 CPUtime=2.75
/proc/28331/task/28340/stat : 28340 (java) S 28329 28331 28282 0 -1 64 9496 0 0 0 270 5 0 0 17 0 12 0 156366435 1773109248 145028 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28341] ppid=28329 vsize=1731552 CPUtime=0
/proc/28331/task/28341/stat : 28341 (java) S 28329 28331 28282 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 156366435 1773109248 145028 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28342] ppid=28329 vsize=1731552 CPUtime=0
/proc/28331/task/28342/stat : 28342 (java) S 28329 28331 28282 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 156366435 1773109248 145028 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 34.58
Current children cumulated vsize (Kb) 1731552

[startup+40.0237 s]
/proc/loadavg: 1.14 1.04 0.97 2/75 28342
/proc/meminfo: memFree=748664/2055920 swapFree=4182936/4192956
[pid=28331] ppid=28329 vsize=1731552 CPUtime=44.59
/proc/28331/stat : 28331 (java) R 28329 28331 28282 0 -1 0 160357 0 20 0 4369 90 0 0 25 0 12 0 156366420 1773109248 145028 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071852706 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28331/statm: 432888 145028 2556 14 0 419280 0
[pid=28331/tid=28332] ppid=28329 vsize=1731552 CPUtime=0.9
/proc/28331/task/28332/stat : 28332 (java) S 28329 28331 28282 0 -1 64 55478 0 0 0 58 32 0 0 16 0 12 0 156366429 1773109248 145028 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28333] ppid=28329 vsize=1731552 CPUtime=1.09
/proc/28331/task/28333/stat : 28333 (java) S 28329 28331 28282 0 -1 64 61963 0 0 0 76 33 0 0 16 0 12 0 156366429 1773109248 145028 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28334] ppid=28329 vsize=1731552 CPUtime=0.13
/proc/28331/task/28334/stat : 28334 (java) S 28329 28331 28282 0 -1 64 1269 0 0 0 13 0 0 0 16 0 12 0 156366431 1773109248 145028 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28335] ppid=28329 vsize=1731552 CPUtime=0
/proc/28331/task/28335/stat : 28335 (java) S 28329 28331 28282 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 156366432 1773109248 145028 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28336] ppid=28329 vsize=1731552 CPUtime=0
/proc/28331/task/28336/stat : 28336 (java) S 28329 28331 28282 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 156366432 1773109248 145028 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28337] ppid=28329 vsize=1731552 CPUtime=0
/proc/28331/task/28337/stat : 28337 (java) S 28329 28331 28282 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 156366435 1773109248 145028 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28338] ppid=28329 vsize=1731552 CPUtime=0
/proc/28331/task/28338/stat : 28338 (java) S 28329 28331 28282 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 156366435 1773109248 145028 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28339] ppid=28329 vsize=1731552 CPUtime=1.74
/proc/28331/task/28339/stat : 28339 (java) S 28329 28331 28282 0 -1 64 8303 0 0 0 169 5 0 0 16 0 12 0 156366435 1773109248 145028 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28340] ppid=28329 vsize=1731552 CPUtime=2.75
/proc/28331/task/28340/stat : 28340 (java) S 28329 28331 28282 0 -1 64 9496 0 0 0 270 5 0 0 17 0 12 0 156366435 1773109248 145028 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28341] ppid=28329 vsize=1731552 CPUtime=0
/proc/28331/task/28341/stat : 28341 (java) S 28329 28331 28282 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 156366435 1773109248 145028 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28342] ppid=28329 vsize=1731552 CPUtime=0
/proc/28331/task/28342/stat : 28342 (java) S 28329 28331 28282 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 156366435 1773109248 145028 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 44.59
Current children cumulated vsize (Kb) 1731552

[startup+50.0309 s]
/proc/loadavg: 1.11 1.04 0.97 2/75 28342
/proc/meminfo: memFree=750072/2055920 swapFree=4182936/4192956
[pid=28331] ppid=28329 vsize=1729472 CPUtime=54.67
/proc/28331/stat : 28331 (java) R 28329 28331 28282 0 -1 0 160370 0 20 0 5377 90 0 0 25 0 12 0 156366420 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071921568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28331/statm: 432368 144679 2558 14 0 418760 0
[pid=28331/tid=28332] ppid=28329 vsize=1729472 CPUtime=0.9
/proc/28331/task/28332/stat : 28332 (java) S 28329 28331 28282 0 -1 64 55478 0 0 0 58 32 0 0 16 0 12 0 156366429 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28333] ppid=28329 vsize=1729472 CPUtime=1.09
/proc/28331/task/28333/stat : 28333 (java) S 28329 28331 28282 0 -1 64 61963 0 0 0 76 33 0 0 16 0 12 0 156366429 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28334] ppid=28329 vsize=1729472 CPUtime=0.13
/proc/28331/task/28334/stat : 28334 (java) S 28329 28331 28282 0 -1 64 1269 0 0 0 13 0 0 0 16 0 12 0 156366431 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28335] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28335/stat : 28335 (java) S 28329 28331 28282 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 156366432 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28336] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28336/stat : 28336 (java) S 28329 28331 28282 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 156366432 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28337] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28337/stat : 28337 (java) S 28329 28331 28282 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28338] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28338/stat : 28338 (java) S 28329 28331 28282 0 -1 64 7 0 0 0 0 0 0 0 17 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28339] ppid=28329 vsize=1729472 CPUtime=1.81
/proc/28331/task/28339/stat : 28339 (java) S 28329 28331 28282 0 -1 64 8314 0 0 0 176 5 0 0 17 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28340] ppid=28329 vsize=1729472 CPUtime=2.79
/proc/28331/task/28340/stat : 28340 (java) S 28329 28331 28282 0 -1 64 9497 0 0 0 274 5 0 0 17 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28341] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28341/stat : 28341 (java) S 28329 28331 28282 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28342] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28342/stat : 28342 (java) S 28329 28331 28282 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 54.67
Current children cumulated vsize (Kb) 1729472

[startup+60.0381 s]
/proc/loadavg: 1.10 1.04 0.97 2/75 28342
/proc/meminfo: memFree=750072/2055920 swapFree=4182936/4192956
[pid=28331] ppid=28329 vsize=1729472 CPUtime=64.67
/proc/28331/stat : 28331 (java) R 28329 28331 28282 0 -1 0 160371 0 20 0 6377 90 0 0 25 0 12 0 156366420 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071915583 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28331/statm: 432368 144679 2558 14 0 418760 0
[pid=28331/tid=28332] ppid=28329 vsize=1729472 CPUtime=0.9
/proc/28331/task/28332/stat : 28332 (java) S 28329 28331 28282 0 -1 64 55478 0 0 0 58 32 0 0 16 0 12 0 156366429 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28333] ppid=28329 vsize=1729472 CPUtime=1.09
/proc/28331/task/28333/stat : 28333 (java) S 28329 28331 28282 0 -1 64 61963 0 0 0 76 33 0 0 16 0 12 0 156366429 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28334] ppid=28329 vsize=1729472 CPUtime=0.13
/proc/28331/task/28334/stat : 28334 (java) S 28329 28331 28282 0 -1 64 1269 0 0 0 13 0 0 0 16 0 12 0 156366431 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28335] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28335/stat : 28335 (java) S 28329 28331 28282 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 156366432 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28336] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28336/stat : 28336 (java) S 28329 28331 28282 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 156366432 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28337] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28337/stat : 28337 (java) S 28329 28331 28282 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28338] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28338/stat : 28338 (java) S 28329 28331 28282 0 -1 64 7 0 0 0 0 0 0 0 17 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28339] ppid=28329 vsize=1729472 CPUtime=1.81
/proc/28331/task/28339/stat : 28339 (java) S 28329 28331 28282 0 -1 64 8314 0 0 0 176 5 0 0 17 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28340] ppid=28329 vsize=1729472 CPUtime=2.79
/proc/28331/task/28340/stat : 28340 (java) S 28329 28331 28282 0 -1 64 9497 0 0 0 274 5 0 0 17 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28341] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28341/stat : 28341 (java) S 28329 28331 28282 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28342] ppid=28329 vsize=1729472 CPUtime=0

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

/proc/loadavg: 1.00 1.00 0.98 2/75 28540
/proc/meminfo: memFree=749688/2055920 swapFree=4182936/4192956
[pid=28331] ppid=28329 vsize=1729472 CPUtime=1796.39
/proc/28331/stat : 28331 (java) R 28329 28331 28282 0 -1 0 160382 0 20 0 179546 93 0 0 25 0 12 0 156366420 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071915583 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28331/statm: 432368 144679 2558 14 0 418760 0
[pid=28331/tid=28332] ppid=28329 vsize=1729472 CPUtime=0.9
/proc/28331/task/28332/stat : 28332 (java) S 28329 28331 28282 0 -1 64 55478 0 0 0 58 32 0 0 16 0 12 0 156366429 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28333] ppid=28329 vsize=1729472 CPUtime=1.09
/proc/28331/task/28333/stat : 28333 (java) S 28329 28331 28282 0 -1 64 61963 0 0 0 76 33 0 0 16 0 12 0 156366429 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28334] ppid=28329 vsize=1729472 CPUtime=0.13
/proc/28331/task/28334/stat : 28334 (java) S 28329 28331 28282 0 -1 64 1269 0 0 0 13 0 0 0 16 0 12 0 156366431 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28335] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28335/stat : 28335 (java) S 28329 28331 28282 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 156366432 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28336] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28336/stat : 28336 (java) S 28329 28331 28282 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 156366432 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28337] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28337/stat : 28337 (java) S 28329 28331 28282 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28338] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28338/stat : 28338 (java) S 28329 28331 28282 0 -1 64 7 0 0 0 0 0 0 0 17 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28339] ppid=28329 vsize=1729472 CPUtime=1.86
/proc/28331/task/28339/stat : 28339 (java) S 28329 28331 28282 0 -1 64 8315 0 0 0 181 5 0 0 16 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28340] ppid=28329 vsize=1729472 CPUtime=2.84
/proc/28331/task/28340/stat : 28340 (java) S 28329 28331 28282 0 -1 64 9499 0 0 0 279 5 0 0 17 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28341] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28341/stat : 28341 (java) S 28329 28331 28282 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28342] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28342/stat : 28342 (java) S 28329 28331 28282 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (Kb) 1729472

[startup+1793.29 s]
/proc/loadavg: 1.00 1.00 0.98 2/75 28540
/proc/meminfo: memFree=749688/2055920 swapFree=4182936/4192956
[pid=28331] ppid=28329 vsize=1729472 CPUtime=1797.4
/proc/28331/stat : 28331 (java) R 28329 28331 28282 0 -1 0 160382 0 20 0 179647 93 0 0 25 0 12 0 156366420 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071921575 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28331/statm: 432368 144679 2558 14 0 418760 0
[pid=28331/tid=28332] ppid=28329 vsize=1729472 CPUtime=0.9
/proc/28331/task/28332/stat : 28332 (java) S 28329 28331 28282 0 -1 64 55478 0 0 0 58 32 0 0 16 0 12 0 156366429 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28333] ppid=28329 vsize=1729472 CPUtime=1.09
/proc/28331/task/28333/stat : 28333 (java) S 28329 28331 28282 0 -1 64 61963 0 0 0 76 33 0 0 16 0 12 0 156366429 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28334] ppid=28329 vsize=1729472 CPUtime=0.13
/proc/28331/task/28334/stat : 28334 (java) S 28329 28331 28282 0 -1 64 1269 0 0 0 13 0 0 0 16 0 12 0 156366431 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28335] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28335/stat : 28335 (java) S 28329 28331 28282 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 156366432 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28336] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28336/stat : 28336 (java) S 28329 28331 28282 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 156366432 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28337] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28337/stat : 28337 (java) S 28329 28331 28282 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28338] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28338/stat : 28338 (java) S 28329 28331 28282 0 -1 64 7 0 0 0 0 0 0 0 17 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28339] ppid=28329 vsize=1729472 CPUtime=1.86
/proc/28331/task/28339/stat : 28339 (java) S 28329 28331 28282 0 -1 64 8315 0 0 0 181 5 0 0 16 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28340] ppid=28329 vsize=1729472 CPUtime=2.84
/proc/28331/task/28340/stat : 28340 (java) S 28329 28331 28282 0 -1 64 9499 0 0 0 279 5 0 0 17 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28341] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28341/stat : 28341 (java) S 28329 28331 28282 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28342] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28342/stat : 28342 (java) S 28329 28331 28282 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1797.4
Current children cumulated vsize (Kb) 1729472

[startup+1794.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/75 28540
/proc/meminfo: memFree=749688/2055920 swapFree=4182936/4192956
[pid=28331] ppid=28329 vsize=1729472 CPUtime=1798.4
/proc/28331/stat : 28331 (java) R 28329 28331 28282 0 -1 0 160382 0 20 0 179747 93 0 0 25 0 12 0 156366420 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071852876 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28331/statm: 432368 144679 2558 14 0 418760 0
[pid=28331/tid=28332] ppid=28329 vsize=1729472 CPUtime=0.9
/proc/28331/task/28332/stat : 28332 (java) S 28329 28331 28282 0 -1 64 55478 0 0 0 58 32 0 0 16 0 12 0 156366429 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28333] ppid=28329 vsize=1729472 CPUtime=1.09
/proc/28331/task/28333/stat : 28333 (java) S 28329 28331 28282 0 -1 64 61963 0 0 0 76 33 0 0 16 0 12 0 156366429 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28334] ppid=28329 vsize=1729472 CPUtime=0.13
/proc/28331/task/28334/stat : 28334 (java) S 28329 28331 28282 0 -1 64 1269 0 0 0 13 0 0 0 16 0 12 0 156366431 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28335] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28335/stat : 28335 (java) S 28329 28331 28282 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 156366432 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28336] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28336/stat : 28336 (java) S 28329 28331 28282 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 156366432 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28337] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28337/stat : 28337 (java) S 28329 28331 28282 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28338] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28338/stat : 28338 (java) S 28329 28331 28282 0 -1 64 7 0 0 0 0 0 0 0 17 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28339] ppid=28329 vsize=1729472 CPUtime=1.86
/proc/28331/task/28339/stat : 28339 (java) S 28329 28331 28282 0 -1 64 8315 0 0 0 181 5 0 0 16 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28340] ppid=28329 vsize=1729472 CPUtime=2.84
/proc/28331/task/28340/stat : 28340 (java) S 28329 28331 28282 0 -1 64 9499 0 0 0 279 5 0 0 17 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28341] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28341/stat : 28341 (java) S 28329 28331 28282 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28342] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28342/stat : 28342 (java) S 28329 28331 28282 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1798.4
Current children cumulated vsize (Kb) 1729472

[startup+1795.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/75 28540
/proc/meminfo: memFree=749688/2055920 swapFree=4182936/4192956
[pid=28331] ppid=28329 vsize=1729472 CPUtime=1799.41
/proc/28331/stat : 28331 (java) R 28329 28331 28282 0 -1 0 160382 0 20 0 179848 93 0 0 25 0 12 0 156366420 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071847446 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28331/statm: 432368 144679 2558 14 0 418760 0
[pid=28331/tid=28332] ppid=28329 vsize=1729472 CPUtime=0.9
/proc/28331/task/28332/stat : 28332 (java) S 28329 28331 28282 0 -1 64 55478 0 0 0 58 32 0 0 16 0 12 0 156366429 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28333] ppid=28329 vsize=1729472 CPUtime=1.09
/proc/28331/task/28333/stat : 28333 (java) S 28329 28331 28282 0 -1 64 61963 0 0 0 76 33 0 0 16 0 12 0 156366429 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28334] ppid=28329 vsize=1729472 CPUtime=0.13
/proc/28331/task/28334/stat : 28334 (java) S 28329 28331 28282 0 -1 64 1269 0 0 0 13 0 0 0 16 0 12 0 156366431 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28335] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28335/stat : 28335 (java) S 28329 28331 28282 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 156366432 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28336] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28336/stat : 28336 (java) S 28329 28331 28282 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 156366432 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28337] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28337/stat : 28337 (java) S 28329 28331 28282 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28338] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28338/stat : 28338 (java) S 28329 28331 28282 0 -1 64 7 0 0 0 0 0 0 0 17 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28339] ppid=28329 vsize=1729472 CPUtime=1.86
/proc/28331/task/28339/stat : 28339 (java) S 28329 28331 28282 0 -1 64 8315 0 0 0 181 5 0 0 16 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28340] ppid=28329 vsize=1729472 CPUtime=2.84
/proc/28331/task/28340/stat : 28340 (java) S 28329 28331 28282 0 -1 64 9499 0 0 0 279 5 0 0 17 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28341] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28341/stat : 28341 (java) S 28329 28331 28282 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28342] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28342/stat : 28342 (java) S 28329 28331 28282 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (Kb) 1729472

[startup+1796.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/75 28540
/proc/meminfo: memFree=749688/2055920 swapFree=4182936/4192956
[pid=28331] ppid=28329 vsize=1729472 CPUtime=1800.41
/proc/28331/stat : 28331 (java) R 28329 28331 28282 0 -1 0 160382 0 20 0 179948 93 0 0 25 0 12 0 156366420 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071847433 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28331/statm: 432368 144679 2558 14 0 418760 0
[pid=28331/tid=28332] ppid=28329 vsize=1729472 CPUtime=0.9
/proc/28331/task/28332/stat : 28332 (java) S 28329 28331 28282 0 -1 64 55478 0 0 0 58 32 0 0 16 0 12 0 156366429 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28333] ppid=28329 vsize=1729472 CPUtime=1.09
/proc/28331/task/28333/stat : 28333 (java) S 28329 28331 28282 0 -1 64 61963 0 0 0 76 33 0 0 16 0 12 0 156366429 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28334] ppid=28329 vsize=1729472 CPUtime=0.13
/proc/28331/task/28334/stat : 28334 (java) S 28329 28331 28282 0 -1 64 1269 0 0 0 13 0 0 0 16 0 12 0 156366431 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28335] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28335/stat : 28335 (java) S 28329 28331 28282 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 156366432 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28336] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28336/stat : 28336 (java) S 28329 28331 28282 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 156366432 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28337] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28337/stat : 28337 (java) S 28329 28331 28282 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28338] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28338/stat : 28338 (java) S 28329 28331 28282 0 -1 64 7 0 0 0 0 0 0 0 17 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28339] ppid=28329 vsize=1729472 CPUtime=1.86
/proc/28331/task/28339/stat : 28339 (java) S 28329 28331 28282 0 -1 64 8315 0 0 0 181 5 0 0 16 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28340] ppid=28329 vsize=1729472 CPUtime=2.84
/proc/28331/task/28340/stat : 28340 (java) S 28329 28331 28282 0 -1 64 9499 0 0 0 279 5 0 0 17 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28341] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28341/stat : 28341 (java) S 28329 28331 28282 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28342] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28342/stat : 28342 (java) S 28329 28331 28282 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (Kb) 1729472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/75 28540
/proc/meminfo: memFree=749688/2055920 swapFree=4182936/4192956
[pid=28331] ppid=28329 vsize=1729472 CPUtime=1800.42
/proc/28331/stat : 28331 (java) R 28329 28331 28282 0 -1 0 160382 0 20 0 179949 93 0 0 25 0 12 0 156366420 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4071915591 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28331/statm: 432368 144679 2558 14 0 418760 0
[pid=28331/tid=28332] ppid=28329 vsize=1729472 CPUtime=0.9
/proc/28331/task/28332/stat : 28332 (java) S 28329 28331 28282 0 -1 64 55478 0 0 0 58 32 0 0 16 0 12 0 156366429 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28333] ppid=28329 vsize=1729472 CPUtime=1.09
/proc/28331/task/28333/stat : 28333 (java) S 28329 28331 28282 0 -1 64 61963 0 0 0 76 33 0 0 16 0 12 0 156366429 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28334] ppid=28329 vsize=1729472 CPUtime=0.13
/proc/28331/task/28334/stat : 28334 (java) S 28329 28331 28282 0 -1 64 1269 0 0 0 13 0 0 0 16 0 12 0 156366431 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28335] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28335/stat : 28335 (java) S 28329 28331 28282 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 156366432 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28336] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28336/stat : 28336 (java) S 28329 28331 28282 0 -1 64 5 0 0 0 0 0 0 0 15 0 12 0 156366432 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28337] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28337/stat : 28337 (java) S 28329 28331 28282 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28338] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28338/stat : 28338 (java) S 28329 28331 28282 0 -1 64 7 0 0 0 0 0 0 0 17 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28339] ppid=28329 vsize=1729472 CPUtime=1.86
/proc/28331/task/28339/stat : 28339 (java) S 28329 28331 28282 0 -1 64 8315 0 0 0 181 5 0 0 16 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28340] ppid=28329 vsize=1729472 CPUtime=2.84
/proc/28331/task/28340/stat : 28340 (java) S 28329 28331 28282 0 -1 64 9499 0 0 0 279 5 0 0 17 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28331/tid=28341] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28341/stat : 28341 (java) S 28329 28331 28282 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28331/tid=28342] ppid=28329 vsize=1729472 CPUtime=0
/proc/28331/task/28342/stat : 28342 (java) S 28329 28331 28282 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 156366435 1770979328 144679 18446744073709551615 134512640 134570276 4294956352 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.42
Current children cumulated vsize (Kb) 1729472

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 143
Real time (s): 1796.52
CPU time (s): 1800.69
CPU user time (s): 1799.67
CPU system time (s): 1.02084
CPU usage (%): 100.232
Max. virtual memory (cumulated for all children) (Kb): 1732780
The end

Launcher Data (download as text)

Begin job on node35 on Fri Jul 28 13:57:43 UTC 2006


FILE ID= 49218-1154095063

PBS_JOBID= 885866

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb
COMMAND LINE= java -server -Xms256M -Xmx1500M -cp ROOT/solvers/PB/PB06final/user2/absconPseudo1.jar abscon.Resolution ROOT/solvers/PB/PB06final/user2/configuration.xml 1 pseudo  ROOT/tmp/node35/49218-1154095063/instance-49218-1154095063.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node35/watcher-49218-1154095063 -o ROOT/results/node35/solver-49218-1154095063 -C 1800 -M 1800 -S 64  java -server -Xms256M -Xmx1500M -cp ROOT/solvers/PB/PB06final/user2/absconPseudo1.jar abscon.Resolution ROOT/solvers/PB/PB06final/user2/configuration.xml 1 pseudo  ROOT/tmp/node35/49218-1154095063/instance-49218-1154095063.opb

MD5SUM SOLVER= 4ca9ffbd6a9584cc3ed948681986e0cb 7445d5e2b836dfb8cfc1479ab819c771
MD5SUM BENCH=  0b80319f4195f1e1329c2c4b63b416b0

RANDOM SEED= 618934246

TIMEOUT= 1800 seconds


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1326400 kB
Buffers:         43232 kB
Cached:         608460 kB
SwapCached:       4372 kB
Active:         224444 kB
Inactive:       436468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1326400 kB
SwapTotal:     4192956 kB
SwapFree:      4182936 kB
Dirty:             148 kB
Writeback:           0 kB
Mapped:          14488 kB
Slab:            54576 kB
Committed_AS:   622160 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node35 on Fri Jul 28 14:27:40 UTC 2006