Trace number 373064

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 102SAT (TO)19 1800.15 1800.67

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
MD5SUMa6271c60ac3da107dd19024b50d39967
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark1288.62
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved YES
Number of variables4318
Total number of constraints15120
Number of constraints which are clauses15112
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint490
Number of terms in the objective function 490
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 490
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 518
Number of bits of the biggest sum of numbers10
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)

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

Verifier Data (download as text)

OK	19

Conversion Script Data (download as text)

/tmp/evaluation/373064-1177161224/instance-373064-1177161224.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node10/watcher-373064-1177161224 -o ROOT/results/node10/solver-373064-1177161224 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -Xms1600M -Xmx1600M -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/373064-1177161224/instance-373064-1177161224.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 14522
/proc/meminfo: memFree=1687016/2055920 swapFree=4152380/4192956
[pid=14522] ppid=14520 vsize=140 CPUtime=0
/proc/14522/stat : 14522 (java) R 14520 14522 13492 0 -1 0 18 0 0 0 0 0 0 0 19 0 1 0 192159898 143360 3 18446744073709551615 0 0 4294956979 18446744073709551615 214919867687 0 0 4096 0 0 0 0 17 1 0 0
/proc/14522/statm: 35 10 6 9 0 1 0

[startup+0.09446 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 14522
/proc/meminfo: memFree=1687016/2055920 swapFree=4152380/4192956
[pid=14522] ppid=14520 vsize=1790132 CPUtime=0.09
/proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 4214 0 1 0 7 2 0 0 18 0 9 0 192159898 1833095168 3663 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14522/statm: 447533 3663 1667 9 0 442125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1790132

[startup+0.101458 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 14522
/proc/meminfo: memFree=1687016/2055920 swapFree=4152380/4192956
[pid=14522] ppid=14520 vsize=1790132 CPUtime=0.1
/proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 4325 0 1 0 8 2 0 0 18 0 9 0 192159898 1833095168 3764 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14522/statm: 447533 3764 1711 9 0 442125 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1790132

[startup+0.301503 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 14522
/proc/meminfo: memFree=1687016/2055920 swapFree=4152380/4192956
[pid=14522] ppid=14520 vsize=1790292 CPUtime=0.35
/proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 7166 0 1 0 31 4 0 0 18 0 9 0 192159898 1833259008 6579 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14522/statm: 447573 6579 1847 9 0 442158 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 1790292

[startup+0.701586 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 14522
/proc/meminfo: memFree=1687016/2055920 swapFree=4152380/4192956
[pid=14522] ppid=14520 vsize=1790292 CPUtime=0.8
/proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 17928 0 1 0 71 9 0 0 18 0 9 0 192159898 1833259008 17324 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14522/statm: 447573 17324 1870 9 0 442158 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 1790292

[startup+1.50176 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 14531
/proc/meminfo: memFree=1619552/2055920 swapFree=4152380/4192956
[pid=14522] ppid=14520 vsize=1790424 CPUtime=1.64
/proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 19258 0 1 0 154 10 0 0 18 0 9 0 192159898 1833394176 18653 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14522/statm: 447606 18653 1872 9 0 442191 0
[pid=14522/tid=14524] ppid=14520 vsize=1790424 CPUtime=1.47
/proc/14522/task/14524/stat : 14524 (java) R 14520 14522 13492 0 -1 64 18123 0 1 0 138 9 0 0 20 0 9 0 192159899 1833394176 18653 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126591981 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14525] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14525/stat : 14525 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 192159901 1833394176 18653 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14526] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14526/stat : 14526 (java) S 14520 14522 13492 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 192159901 1833394176 18653 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14527] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14527/stat : 14527 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 192159901 1833394176 18653 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14528] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14528/stat : 14528 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 192159903 1833394176 18653 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14529] ppid=14520 vsize=1790424 CPUtime=0.16
/proc/14522/task/14529/stat : 14529 (java) S 14520 14522 13492 0 -1 64 412 0 0 0 16 0 0 0 16 0 9 0 192159903 1833394176 18653 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14522/tid=14530] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14530/stat : 14530 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192159903 1833394176 18653 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14531] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14531/stat : 14531 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 192159903 1833394176 18653 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 1790424

[startup+3.1021 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 14531
/proc/meminfo: memFree=1619168/2055920 swapFree=4152380/4192956
[pid=14522] ppid=14520 vsize=1790424 CPUtime=3.24
/proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 19293 0 1 0 314 10 0 0 18 0 9 0 192159898 1833394176 18686 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14522/statm: 447606 18686 1872 9 0 442191 0
[pid=14522/tid=14524] ppid=14520 vsize=1790424 CPUtime=3.05
/proc/14522/task/14524/stat : 14524 (java) R 14520 14522 13492 0 -1 64 18150 0 1 0 296 9 0 0 17 0 9 0 192159899 1833394176 18686 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126809605 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14522/tid=14525] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14525/stat : 14525 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 192159901 1833394176 18686 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14526] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14526/stat : 14526 (java) S 14520 14522 13492 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 192159901 1833394176 18686 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14527] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14527/stat : 14527 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 192159901 1833394176 18686 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14528] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14528/stat : 14528 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 192159903 1833394176 18686 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14529] ppid=14520 vsize=1790424 CPUtime=0.17
/proc/14522/task/14529/stat : 14529 (java) S 14520 14522 13492 0 -1 64 420 0 0 0 17 0 0 0 15 0 9 0 192159903 1833394176 18686 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14522/tid=14530] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14530/stat : 14530 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192159903 1833394176 18686 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14531] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14531/stat : 14531 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 192159903 1833394176 18686 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.24
Current children cumulated vsize (KiB) 1790424

[startup+6.30179 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 14531
/proc/meminfo: memFree=1619040/2055920 swapFree=4152380/4192956
[pid=14522] ppid=14520 vsize=1790424 CPUtime=6.43
/proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 19296 0 1 0 633 10 0 0 18 0 9 0 192159898 1833394176 18687 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14522/statm: 447606 18687 1873 9 0 442191 0
[pid=14522/tid=14524] ppid=14520 vsize=1790424 CPUtime=6.25
/proc/14522/task/14524/stat : 14524 (java) R 14520 14522 13492 0 -1 64 18152 0 1 0 616 9 0 0 17 0 9 0 192159899 1833394176 18687 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126591959 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14522/tid=14525] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14525/stat : 14525 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 192159901 1833394176 18687 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14526] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14526/stat : 14526 (java) S 14520 14522 13492 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 192159901 1833394176 18687 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14527] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14527/stat : 14527 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 192159901 1833394176 18687 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14528] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14528/stat : 14528 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 192159903 1833394176 18687 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14529] ppid=14520 vsize=1790424 CPUtime=0.17
/proc/14522/task/14529/stat : 14529 (java) S 14520 14522 13492 0 -1 64 420 0 0 0 17 0 0 0 16 0 9 0 192159903 1833394176 18687 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14522/tid=14530] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14530/stat : 14530 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192159903 1833394176 18687 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14531] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14531/stat : 14531 (java) S 14520 14522 13492 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192159903 1833394176 18687 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.43
Current children cumulated vsize (KiB) 1790424

[startup+12.7022 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 14531
/proc/meminfo: memFree=1618976/2055920 swapFree=4152380/4192956
[pid=14522] ppid=14520 vsize=1790424 CPUtime=12.83
/proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 19298 0 1 0 1273 10 0 0 18 0 9 0 192159898 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14522/statm: 447606 18688 1873 9 0 442191 0
[pid=14522/tid=14524] ppid=14520 vsize=1790424 CPUtime=12.65
/proc/14522/task/14524/stat : 14524 (java) R 14520 14522 13492 0 -1 64 18153 0 1 0 1256 9 0 0 25 0 9 0 192159899 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126816752 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14522/tid=14525] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14525/stat : 14525 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 192159901 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14526] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14526/stat : 14526 (java) S 14520 14522 13492 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 192159901 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14527] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14527/stat : 14527 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 192159901 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14528] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14528/stat : 14528 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 192159903 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14529] ppid=14520 vsize=1790424 CPUtime=0.17
/proc/14522/task/14529/stat : 14529 (java) S 14520 14522 13492 0 -1 64 421 0 0 0 17 0 0 0 17 0 9 0 192159903 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14522/tid=14530] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14530/stat : 14530 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192159903 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14531] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14531/stat : 14531 (java) S 14520 14522 13492 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192159903 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.83
Current children cumulated vsize (KiB) 1790424

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 14531
/proc/meminfo: memFree=1618984/2055920 swapFree=4152380/4192956
[pid=14522] ppid=14520 vsize=1790424 CPUtime=25.62
/proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 19299 0 1 0 2552 10 0 0 18 0 9 0 192159898 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14522/statm: 447606 18688 1873 9 0 442191 0
[pid=14522/tid=14524] ppid=14520 vsize=1790424 CPUtime=25.44
/proc/14522/task/14524/stat : 14524 (java) R 14520 14522 13492 0 -1 64 18154 0 1 0 2535 9 0 0 25 0 9 0 192159899 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126816752 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14522/tid=14525] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14525/stat : 14525 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 192159901 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14526] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14526/stat : 14526 (java) S 14520 14522 13492 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 192159901 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14527] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14527/stat : 14527 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 192159901 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14528] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14528/stat : 14528 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 192159903 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14529] ppid=14520 vsize=1790424 CPUtime=0.17
/proc/14522/task/14529/stat : 14529 (java) S 14520 14522 13492 0 -1 64 421 0 0 0 17 0 0 0 15 0 9 0 192159903 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14522/tid=14530] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14530/stat : 14530 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192159903 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14531] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14531/stat : 14531 (java) S 14520 14522 13492 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192159903 1833394176 18688 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.62
Current children cumulated vsize (KiB) 1790424

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 14531
/proc/meminfo: memFree=1618920/2055920 swapFree=4152380/4192956
[pid=14522] ppid=14520 vsize=1790424 CPUtime=51.21
/proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 19302 0 1 0 5111 10 0 0 18 0 9 0 192159898 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14522/statm: 447606 18691 1873 9 0 442191 0
[pid=14522/tid=14524] ppid=14520 vsize=1790424 CPUtime=51.02
/proc/14522/task/14524/stat : 14524 (java) R 14520 14522 13492 0 -1 64 18154 0 1 0 5093 9 0 0 25 0 9 0 192159899 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126591936 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14522/tid=14525] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14525/stat : 14525 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14526] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14526/stat : 14526 (java) S 14520 14522 13492 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14527] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14527/stat : 14527 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14528] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14528/stat : 14528 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14529] ppid=14520 vsize=1790424 CPUtime=0.17
/proc/14522/task/14529/stat : 14529 (java) S 14520 14522 13492 0 -1 64 424 0 0 0 17 0 0 0 16 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14522/tid=14530] ppid=14520 vsize=1790424 CPUtime=0

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

/proc/14522/task/14527/stat : 14527 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14528] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14528/stat : 14528 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14529] ppid=14520 vsize=1790424 CPUtime=0.17
/proc/14522/task/14529/stat : 14529 (java) S 14520 14522 13492 0 -1 64 424 0 0 0 17 0 0 0 16 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14522/tid=14530] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14530/stat : 14530 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14531] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14531/stat : 14531 (java) S 14520 14522 13492 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1790424

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 14533
/proc/meminfo: memFree=1618728/2055920 swapFree=4152380/4192956
[pid=14522] ppid=14520 vsize=1790424 CPUtime=1541.87
/proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 19302 0 1 0 154164 23 0 0 18 0 9 0 192159898 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14522/statm: 447606 18691 1873 9 0 442191 0
[pid=14522/tid=14524] ppid=14520 vsize=1790424 CPUtime=1541.68
/proc/14522/task/14524/stat : 14524 (java) R 14520 14522 13492 0 -1 64 18154 0 1 0 154146 22 0 0 25 0 9 0 192159899 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126783511 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14522/tid=14525] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14525/stat : 14525 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14526] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14526/stat : 14526 (java) S 14520 14522 13492 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14527] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14527/stat : 14527 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14528] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14528/stat : 14528 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14529] ppid=14520 vsize=1790424 CPUtime=0.17
/proc/14522/task/14529/stat : 14529 (java) S 14520 14522 13492 0 -1 64 424 0 0 0 17 0 0 0 16 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14522/tid=14530] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14530/stat : 14530 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14531] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14531/stat : 14531 (java) S 14520 14522 13492 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1790424

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 14533
/proc/meminfo: memFree=1618664/2055920 swapFree=4152380/4192956
[pid=14522] ppid=14520 vsize=1790424 CPUtime=1601.85
/proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 19302 0 1 0 160161 24 0 0 18 0 9 0 192159898 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14522/statm: 447606 18691 1873 9 0 442191 0
[pid=14522/tid=14524] ppid=14520 vsize=1790424 CPUtime=1601.66
/proc/14522/task/14524/stat : 14524 (java) R 14520 14522 13492 0 -1 64 18154 0 1 0 160143 23 0 0 25 0 9 0 192159899 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126816755 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14522/tid=14525] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14525/stat : 14525 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14526] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14526/stat : 14526 (java) S 14520 14522 13492 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14527] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14527/stat : 14527 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14528] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14528/stat : 14528 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14529] ppid=14520 vsize=1790424 CPUtime=0.17
/proc/14522/task/14529/stat : 14529 (java) S 14520 14522 13492 0 -1 64 424 0 0 0 17 0 0 0 16 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14522/tid=14530] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14530/stat : 14530 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14531] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14531/stat : 14531 (java) S 14520 14522 13492 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1790424

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 14533
/proc/meminfo: memFree=1618728/2055920 swapFree=4152380/4192956
[pid=14522] ppid=14520 vsize=1790424 CPUtime=1661.82
/proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 19302 0 1 0 166158 24 0 0 18 0 9 0 192159898 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14522/statm: 447606 18691 1873 9 0 442191 0
[pid=14522/tid=14524] ppid=14520 vsize=1790424 CPUtime=1661.63
/proc/14522/task/14524/stat : 14524 (java) R 14520 14522 13492 0 -1 64 18154 0 1 0 166140 23 0 0 25 0 9 0 192159899 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126783511 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14522/tid=14525] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14525/stat : 14525 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14526] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14526/stat : 14526 (java) S 14520 14522 13492 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14527] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14527/stat : 14527 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14528] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14528/stat : 14528 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14529] ppid=14520 vsize=1790424 CPUtime=0.17
/proc/14522/task/14529/stat : 14529 (java) S 14520 14522 13492 0 -1 64 424 0 0 0 17 0 0 0 16 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14522/tid=14530] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14530/stat : 14530 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14531] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14531/stat : 14531 (java) S 14520 14522 13492 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1790424

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 14533
/proc/meminfo: memFree=1618728/2055920 swapFree=4152380/4192956
[pid=14522] ppid=14520 vsize=1790424 CPUtime=1721.8
/proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 19302 0 1 0 172155 25 0 0 18 0 9 0 192159898 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14522/statm: 447606 18691 1873 9 0 442191 0
[pid=14522/tid=14524] ppid=14520 vsize=1790424 CPUtime=1721.62
/proc/14522/task/14524/stat : 14524 (java) R 14520 14522 13492 0 -1 64 18154 0 1 0 172138 24 0 0 25 0 9 0 192159899 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126808476 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14522/tid=14525] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14525/stat : 14525 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14526] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14526/stat : 14526 (java) S 14520 14522 13492 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14527] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14527/stat : 14527 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14528] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14528/stat : 14528 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14529] ppid=14520 vsize=1790424 CPUtime=0.17
/proc/14522/task/14529/stat : 14529 (java) S 14520 14522 13492 0 -1 64 424 0 0 0 17 0 0 0 16 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14522/tid=14530] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14530/stat : 14530 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14531] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14531/stat : 14531 (java) S 14520 14522 13492 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1790424

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 14533
/proc/meminfo: memFree=1618664/2055920 swapFree=4152380/4192956
[pid=14522] ppid=14520 vsize=1790424 CPUtime=1781.78
/proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 19302 0 1 0 178153 25 0 0 18 0 9 0 192159898 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14522/statm: 447606 18691 1873 9 0 442191 0
[pid=14522/tid=14524] ppid=14520 vsize=1790424 CPUtime=1781.59
/proc/14522/task/14524/stat : 14524 (java) R 14520 14522 13492 0 -1 64 18154 0 1 0 178135 24 0 0 25 0 9 0 192159899 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126816755 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14522/tid=14525] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14525/stat : 14525 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14526] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14526/stat : 14526 (java) S 14520 14522 13492 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14527] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14527/stat : 14527 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14528] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14528/stat : 14528 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14529] ppid=14520 vsize=1790424 CPUtime=0.17
/proc/14522/task/14529/stat : 14529 (java) S 14520 14522 13492 0 -1 64 424 0 0 0 17 0 0 0 16 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14522/tid=14530] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14530/stat : 14530 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14531] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14531/stat : 14531 (java) S 14520 14522 13492 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1790424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/86 14533
/proc/meminfo: memFree=1618664/2055920 swapFree=4152380/4192956
[pid=14522] ppid=14520 vsize=1790424 CPUtime=1800.09
/proc/14522/stat : 14522 (java) S 14520 14522 13492 0 -1 0 19302 0 1 0 179983 26 0 0 18 0 9 0 192159898 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14522/statm: 447606 18691 1873 9 0 442191 0
[pid=14522/tid=14524] ppid=14520 vsize=1790424 CPUtime=1799.89
/proc/14522/task/14524/stat : 14524 (java) R 14520 14522 13492 0 -1 64 18154 0 1 0 179965 24 0 0 25 0 9 0 192159899 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4126591960 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14522/tid=14525] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14525/stat : 14525 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 16 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14526] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14526/stat : 14526 (java) S 14520 14522 13492 0 -1 64 10 0 0 0 0 0 0 0 20 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14527] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14527/stat : 14527 (java) S 14520 14522 13492 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 192159901 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14528] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14528/stat : 14528 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14529] ppid=14520 vsize=1790424 CPUtime=0.17
/proc/14522/task/14529/stat : 14529 (java) S 14520 14522 13492 0 -1 64 424 0 0 0 17 0 0 0 16 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14522/tid=14530] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14530/stat : 14530 (java) S 14520 14522 13492 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14522/tid=14531] ppid=14520 vsize=1790424 CPUtime=0
/proc/14522/task/14531/stat : 14531 (java) S 14520 14522 13492 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 192159903 1833394176 18691 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1790424

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

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

Child status: 143
Real time (s): 1800.67
CPU time (s): 1800.15
CPU user time (s): 1799.88
CPU system time (s): 0.271958
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 1790424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.271958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19337
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36805
involuntary context switches= 26268

runsolver used 1.69374 second user time and 4.87326 second system time

The end

Launcher Data (download as text)

Begin job on node10 on Sat Apr 21 13:13:44 UTC 2007

IDJOB= 373064
IDBENCH= 25017
IDSOLVER= 155
FILE ID= node10/373064-1177161224

PBS_JOBID= 4648900

Free space on /tmp= 66270 MiB

SOLVER NAME= absconPseudo 102
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= java -Xms1600M -Xmx1600M  -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/373064-1177161224/instance-373064-1177161224.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node10/convwatcher-373064-1177161224 -o ROOT/results/node10/conversion-373064-1177161224 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373064-1177161224/instance-373064-1177161224.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node10/watcher-373064-1177161224 -o ROOT/results/node10/solver-373064-1177161224 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -Xms1600M -Xmx1600M  -jar absconPseudo1.jar configuration.xml 1 pseudo /tmp/evaluation/373064-1177161224/instance-373064-1177161224.opb            

META MD5SUM SOLVER= af6648fa1ac31d79961ee160b5e03dc5
MD5SUM BENCH=  a6271c60ac3da107dd19024b50d39967

RANDOM SEED= 193102448

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node10.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.259
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.259
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:       1687424 kB
Buffers:         39032 kB
Cached:         254160 kB
SwapCached:       8864 kB
Active:         134380 kB
Inactive:       182192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1687424 kB
SwapTotal:     4192956 kB
SwapFree:      4152380 kB
Dirty:            2404 kB
Writeback:           0 kB
Mapped:          30368 kB
Slab:            37508 kB
Committed_AS:  3642840 kB
PageTables:       1708 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66270 MiB

End job on node10 on Sat Apr 21 13:43:47 UTC 2007