Trace number 43223

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
SAT4JPSEUDO 2006.2 HeuristicsSAT (TO)-75614961 1800.72 1782.52

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-recipe.opb
MD5SUM19c812fe81842f9b63508fc356bab039
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-75614961
Best CPU time to get the best result obtained on this benchmark1800.72
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -130330680
Optimality of the best value was proved NO
Number of variables3671
Total number of constraints159
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints159
Minimum length of a constraint10
Maximum length of a constraint420
Number of terms in the objective function 1055
Biggest coefficient in the objective function 65536000
Number of bits for the biggest coefficient in the objective function 26
Sum of the numbers in the objective function 584330055
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 5681631310381056
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 98271137637301167
Number of bits of the biggest sum of numbers57
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)

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

Verifier Data (download as text)

OK	-75614961

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
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node34/watcher-43223-1149309901 -o ROOT/results/node34/solver-43223-1149309901 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node34/43223-1149309901/instance-43223-1149309901.opb 155059059 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.96 0.93 3/64 26018
/proc/meminfo: memFree=1869336/2055920 swapFree=4181356/4192956
[pid=26018] ppid=26016 vsize=1452 CPUtime=0
/proc/26018/stat : 26018 (java) R 26016 26018 25972 0 -1 0 94 0 0 0 0 0 0 0 19 0 1 0 196653924 1486848 66 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/26018/statm: 363 77 59 14 0 8 0

[startup+10.002 s]
/proc/loadavg: 0.99 0.96 0.93 2/76 26032
/proc/meminfo: memFree=1708792/2055920 swapFree=4181356/4192956
[pid=26018] ppid=26016 vsize=1715092 CPUtime=11.58
/proc/26018/stat : 26018 (java) R 26016 26018 25972 0 -1 0 46986 0 1 0 1136 22 0 0 25 0 13 0 196653924 1756254208 41902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071492095 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26018/statm: 428773 41902 1907 14 0 415520 0
[pid=26018/tid=26019] ppid=26016 vsize=1715092 CPUtime=0.1
/proc/26018/task/26019/stat : 26019 (java) S 26016 26018 25972 0 -1 64 2521 0 0 0 9 1 0 0 16 0 13 0 196653929 1756254208 41902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26020] ppid=26016 vsize=1715092 CPUtime=0.1
/proc/26018/task/26020/stat : 26020 (java) S 26016 26018 25972 0 -1 64 2437 0 0 0 10 0 0 0 17 0 13 0 196653929 1756254208 41902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26018/tid=26021] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26021/stat : 26021 (java) S 26016 26018 25972 0 -1 64 30 0 0 0 0 0 0 0 17 0 13 0 196653931 1756254208 41902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26018/tid=26022] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26022/stat : 26022 (java) S 26016 26018 25972 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 41902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26023] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26023/stat : 26023 (java) S 26016 26018 25972 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 41902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26024] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26024/stat : 26024 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196653935 1756254208 41902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26025] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26025/stat : 26025 (java) S 26016 26018 25972 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196653935 1756254208 41902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26026] ppid=26016 vsize=1715092 CPUtime=1.02
/proc/26018/task/26026/stat : 26026 (java) S 26016 26018 25972 0 -1 64 2516 0 0 0 102 0 0 0 17 0 13 0 196653935 1756254208 41902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26027] ppid=26016 vsize=1715092 CPUtime=1.04
/proc/26018/task/26027/stat : 26027 (java) S 26016 26018 25972 0 -1 64 2931 0 0 0 103 1 0 0 16 0 13 0 196653935 1756254208 41902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26028] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26028/stat : 26028 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196653935 1756254208 41902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26029] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26029/stat : 26029 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196653935 1756254208 41902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26032] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26032/stat : 26032 (java) S 26016 26018 25972 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 196654154 1756254208 41902 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.58
Current children cumulated vsize (Kb) 1715092

[startup+20.0087 s]
/proc/loadavg: 0.99 0.96 0.93 2/76 26032
/proc/meminfo: memFree=1675576/2055920 swapFree=4181356/4192956
[pid=26018] ppid=26016 vsize=1715092 CPUtime=21.71
/proc/26018/stat : 26018 (java) R 26016 26018 25972 0 -1 0 56034 0 1 0 2146 25 0 0 25 0 13 0 196653924 1756254208 50330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071401322 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26018/statm: 428773 50330 1911 14 0 415520 0
[pid=26018/tid=26019] ppid=26016 vsize=1715092 CPUtime=0.21
/proc/26018/task/26019/stat : 26019 (java) S 26016 26018 25972 0 -1 64 6145 0 0 0 19 2 0 0 16 0 13 0 196653929 1756254208 50330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26020] ppid=26016 vsize=1715092 CPUtime=0.21
/proc/26018/task/26020/stat : 26020 (java) S 26016 26018 25972 0 -1 64 5606 0 0 0 19 2 0 0 16 0 13 0 196653929 1756254208 50330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26018/tid=26021] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26021/stat : 26021 (java) S 26016 26018 25972 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 196653931 1756254208 50330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26018/tid=26022] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26022/stat : 26022 (java) S 26016 26018 25972 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 50330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26023] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26023/stat : 26023 (java) S 26016 26018 25972 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 50330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26024] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26024/stat : 26024 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196653935 1756254208 50330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26025] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26025/stat : 26025 (java) S 26016 26018 25972 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196653935 1756254208 50330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26026] ppid=26016 vsize=1715092 CPUtime=1.03
/proc/26018/task/26026/stat : 26026 (java) S 26016 26018 25972 0 -1 64 2517 0 0 0 103 0 0 0 16 0 13 0 196653935 1756254208 50330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26027] ppid=26016 vsize=1715092 CPUtime=1.06
/proc/26018/task/26027/stat : 26027 (java) S 26016 26018 25972 0 -1 64 2934 0 0 0 105 1 0 0 16 0 13 0 196653935 1756254208 50330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26028] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26028/stat : 26028 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196653935 1756254208 50330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26029] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26029/stat : 26029 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196653935 1756254208 50330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26032] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26032/stat : 26032 (java) S 26016 26018 25972 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 196654154 1756254208 50330 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.71
Current children cumulated vsize (Kb) 1715092

[startup+30.0154 s]
/proc/loadavg: 0.99 0.97 0.93 2/76 26032
/proc/meminfo: memFree=1670584/2055920 swapFree=4181356/4192956
[pid=26018] ppid=26016 vsize=1715092 CPUtime=31.76
/proc/26018/stat : 26018 (java) R 26016 26018 25972 0 -1 0 57888 0 1 0 3150 26 0 0 25 0 13 0 196653924 1756254208 51533 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071492095 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26018/statm: 428773 51533 1911 14 0 415520 0
[pid=26018/tid=26019] ppid=26016 vsize=1715092 CPUtime=0.25
/proc/26018/task/26019/stat : 26019 (java) S 26016 26018 25972 0 -1 64 6966 0 0 0 22 3 0 0 16 0 13 0 196653929 1756254208 51533 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26020] ppid=26016 vsize=1715092 CPUtime=0.24
/proc/26018/task/26020/stat : 26020 (java) S 26016 26018 25972 0 -1 64 6632 0 0 0 22 2 0 0 17 0 13 0 196653929 1756254208 51533 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26018/tid=26021] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26021/stat : 26021 (java) S 26016 26018 25972 0 -1 64 30 0 0 0 0 0 0 0 17 0 13 0 196653931 1756254208 51533 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26018/tid=26022] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26022/stat : 26022 (java) S 26016 26018 25972 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 51533 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26023] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26023/stat : 26023 (java) S 26016 26018 25972 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 51533 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26024] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26024/stat : 26024 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196653935 1756254208 51533 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26025] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26025/stat : 26025 (java) S 26016 26018 25972 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196653935 1756254208 51533 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26026] ppid=26016 vsize=1715092 CPUtime=1.03
/proc/26018/task/26026/stat : 26026 (java) S 26016 26018 25972 0 -1 64 2517 0 0 0 103 0 0 0 16 0 13 0 196653935 1756254208 51533 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26027] ppid=26016 vsize=1715092 CPUtime=1.06
/proc/26018/task/26027/stat : 26027 (java) S 26016 26018 25972 0 -1 64 2935 0 0 0 105 1 0 0 17 0 13 0 196653935 1756254208 51533 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26028] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26028/stat : 26028 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196653935 1756254208 51533 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26029] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26029/stat : 26029 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196653935 1756254208 51533 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26032] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26032/stat : 26032 (java) S 26016 26018 25972 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 196654154 1756254208 51533 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.76
Current children cumulated vsize (Kb) 1715092

[startup+40.0221 s]
/proc/loadavg: 0.99 0.97 0.93 2/76 26032
/proc/meminfo: memFree=1671864/2055920 swapFree=4181356/4192956
[pid=26018] ppid=26016 vsize=1715092 CPUtime=41.82
/proc/26018/stat : 26018 (java) R 26016 26018 25972 0 -1 0 59023 0 1 0 4155 27 0 0 25 0 13 0 196653924 1756254208 51203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071754983 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26018/statm: 428773 51203 1911 14 0 415520 0
[pid=26018/tid=26019] ppid=26016 vsize=1715092 CPUtime=0.29
/proc/26018/task/26019/stat : 26019 (java) S 26016 26018 25972 0 -1 64 7498 0 0 0 26 3 0 0 17 0 13 0 196653929 1756254208 51203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26018/tid=26020] ppid=26016 vsize=1715092 CPUtime=0.28
/proc/26018/task/26020/stat : 26020 (java) S 26016 26018 25972 0 -1 64 7227 0 0 0 26 2 0 0 16 0 13 0 196653929 1756254208 51203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26021] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26021/stat : 26021 (java) S 26016 26018 25972 0 -1 64 30 0 0 0 0 0 0 0 16 0 13 0 196653931 1756254208 51203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26018/tid=26022] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26022/stat : 26022 (java) S 26016 26018 25972 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 51203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26023] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26023/stat : 26023 (java) S 26016 26018 25972 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 51203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26024] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26024/stat : 26024 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196653935 1756254208 51203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26025] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26025/stat : 26025 (java) S 26016 26018 25972 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196653935 1756254208 51203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26026] ppid=26016 vsize=1715092 CPUtime=1.05
/proc/26018/task/26026/stat : 26026 (java) S 26016 26018 25972 0 -1 64 2518 0 0 0 105 0 0 0 16 0 13 0 196653935 1756254208 51203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26027] ppid=26016 vsize=1715092 CPUtime=1.06
/proc/26018/task/26027/stat : 26027 (java) S 26016 26018 25972 0 -1 64 2935 0 0 0 105 1 0 0 17 0 13 0 196653935 1756254208 51203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26028] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26028/stat : 26028 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196653935 1756254208 51203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26029] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26029/stat : 26029 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196653935 1756254208 51203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26032] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26032/stat : 26032 (java) S 26016 26018 25972 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196654154 1756254208 51203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.82
Current children cumulated vsize (Kb) 1715092

[startup+50.0288 s]
/proc/loadavg: 0.99 0.97 0.93 2/76 26032
/proc/meminfo: memFree=1674168/2055920 swapFree=4181356/4192956
[pid=26018] ppid=26016 vsize=1715092 CPUtime=51.85
/proc/26018/stat : 26018 (java) R 26016 26018 25972 0 -1 0 60078 0 1 0 5158 27 0 0 25 0 13 0 196653924 1756254208 50635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071401264 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26018/statm: 428773 50635 1911 14 0 415520 0
[pid=26018/tid=26019] ppid=26016 vsize=1715092 CPUtime=0.32
/proc/26018/task/26019/stat : 26019 (java) S 26016 26018 25972 0 -1 64 7984 0 0 0 29 3 0 0 16 0 13 0 196653929 1756254208 50635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26020] ppid=26016 vsize=1715092 CPUtime=0.32
/proc/26018/task/26020/stat : 26020 (java) S 26016 26018 25972 0 -1 64 7791 0 0 0 29 3 0 0 16 0 13 0 196653929 1756254208 50635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26018/tid=26021] ppid=26016 vsize=1715092 CPUtime=0.01
/proc/26018/task/26021/stat : 26021 (java) S 26016 26018 25972 0 -1 64 30 0 0 0 1 0 0 0 16 0 13 0 196653931 1756254208 50635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26018/tid=26022] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26022/stat : 26022 (java) S 26016 26018 25972 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 50635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26023] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26023/stat : 26023 (java) S 26016 26018 25972 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 50635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26024] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26024/stat : 26024 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196653935 1756254208 50635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26025] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26025/stat : 26025 (java) S 26016 26018 25972 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196653935 1756254208 50635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26026] ppid=26016 vsize=1715092 CPUtime=1.05
/proc/26018/task/26026/stat : 26026 (java) S 26016 26018 25972 0 -1 64 2518 0 0 0 105 0 0 0 16 0 13 0 196653935 1756254208 50635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26027] ppid=26016 vsize=1715092 CPUtime=1.07
/proc/26018/task/26027/stat : 26027 (java) S 26016 26018 25972 0 -1 64 2935 0 0 0 106 1 0 0 16 0 13 0 196653935 1756254208 50635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26028] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26028/stat : 26028 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196653935 1756254208 50635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26029] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26029/stat : 26029 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196653935 1756254208 50635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26032] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26032/stat : 26032 (java) S 26016 26018 25972 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196654154 1756254208 50635 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.85
Current children cumulated vsize (Kb) 1715092

[startup+60.0355 s]
/proc/loadavg: 0.99 0.97 0.93 2/76 26032
/proc/meminfo: memFree=1676600/2055920 swapFree=4181356/4192956
[pid=26018] ppid=26016 vsize=1715092 CPUtime=61.9
/proc/26018/stat : 26018 (java) R 26016 26018 25972 0 -1 0 61112 0 1 0 6162 28 0 0 25 0 13 0 196653924 1756254208 50026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071492095 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26018/statm: 428773 50026 1911 14 0 415520 0
[pid=26018/tid=26019] ppid=26016 vsize=1715092 CPUtime=0.36
/proc/26018/task/26019/stat : 26019 (java) S 26016 26018 25972 0 -1 64 8555 0 0 0 33 3 0 0 16 0 13 0 196653929 1756254208 50026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26020] ppid=26016 vsize=1715092 CPUtime=0.36
/proc/26018/task/26020/stat : 26020 (java) S 26016 26018 25972 0 -1 64 8247 0 0 0 33 3 0 0 16 0 13 0 196653929 1756254208 50026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26018/tid=26021] ppid=26016 vsize=1715092 CPUtime=0.01
/proc/26018/task/26021/stat : 26021 (java) S 26016 26018 25972 0 -1 64 30 0 0 0 1 0 0 0 16 0 13 0 196653931 1756254208 50026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26018/tid=26022] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26022/stat : 26022 (java) S 26016 26018 25972 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 50026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26023] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26023/stat : 26023 (java) S 26016 26018 25972 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 50026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26024] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26024/stat : 26024 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196653935 1756254208 50026 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=26018/tid=26022] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26022/stat : 26022 (java) S 26016 26018 25972 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26023] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26023/stat : 26023 (java) S 26016 26018 25972 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26024] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26024/stat : 26024 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196653935 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26025] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26025/stat : 26025 (java) S 26016 26018 25972 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196653935 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26026] ppid=26016 vsize=1715092 CPUtime=1.07
/proc/26018/task/26026/stat : 26026 (java) S 26016 26018 25972 0 -1 64 2519 0 0 0 107 0 0 0 16 0 13 0 196653935 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26027] ppid=26016 vsize=1715092 CPUtime=1.12
/proc/26018/task/26027/stat : 26027 (java) S 26016 26018 25972 0 -1 64 2937 0 0 0 111 1 0 0 16 0 13 0 196653935 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26028] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26028/stat : 26028 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196653935 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26029] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26029/stat : 26029 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196653935 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26032] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26032/stat : 26032 (java) S 26016 26018 25972 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196654154 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.35
Current children cumulated vsize (Kb) 1715092

[startup+1779.29 s]
/proc/loadavg: 1.13 1.07 1.00 2/76 26227
/proc/meminfo: memFree=1378488/2055920 swapFree=4181356/4192956
[pid=26018] ppid=26016 vsize=1715092 CPUtime=1797.36
/proc/26018/stat : 26018 (java) R 26016 26018 25972 0 -1 0 202504 0 1 0 179619 117 0 0 25 0 13 0 196653924 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071572227 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26018/statm: 428773 124171 1911 14 0 415520 0
[pid=26018/tid=26019] ppid=26016 vsize=1715092 CPUtime=17.46
/proc/26018/task/26019/stat : 26019 (java) S 26016 26018 25972 0 -1 64 54849 0 0 0 1716 30 0 0 17 0 13 0 196653929 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26018/tid=26020] ppid=26016 vsize=1715092 CPUtime=17.53
/proc/26018/task/26020/stat : 26020 (java) S 26016 26018 25972 0 -1 64 62332 0 0 0 1719 34 0 0 16 0 13 0 196653929 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26021] ppid=26016 vsize=1715092 CPUtime=0.26
/proc/26018/task/26021/stat : 26021 (java) S 26016 26018 25972 0 -1 64 178 0 0 0 14 12 0 0 16 0 13 0 196653931 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26018/tid=26022] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26022/stat : 26022 (java) S 26016 26018 25972 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26023] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26023/stat : 26023 (java) S 26016 26018 25972 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26024] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26024/stat : 26024 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196653935 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26025] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26025/stat : 26025 (java) S 26016 26018 25972 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196653935 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26026] ppid=26016 vsize=1715092 CPUtime=1.07
/proc/26018/task/26026/stat : 26026 (java) S 26016 26018 25972 0 -1 64 2519 0 0 0 107 0 0 0 16 0 13 0 196653935 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26027] ppid=26016 vsize=1715092 CPUtime=1.12
/proc/26018/task/26027/stat : 26027 (java) S 26016 26018 25972 0 -1 64 2937 0 0 0 111 1 0 0 16 0 13 0 196653935 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26028] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26028/stat : 26028 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196653935 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26029] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26029/stat : 26029 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196653935 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26032] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26032/stat : 26032 (java) S 26016 26018 25972 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196654154 1756254208 124171 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.36
Current children cumulated vsize (Kb) 1715092

[startup+1780.3 s]
/proc/loadavg: 1.13 1.07 1.00 2/76 26227
/proc/meminfo: memFree=1378168/2055920 swapFree=4181356/4192956
[pid=26018] ppid=26016 vsize=1715092 CPUtime=1798.4
/proc/26018/stat : 26018 (java) R 26016 26018 25972 0 -1 0 202577 0 1 0 179723 117 0 0 18 0 13 0 196653924 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071523721 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26018/statm: 428773 124243 1911 14 0 415520 0
[pid=26018/tid=26019] ppid=26016 vsize=1715092 CPUtime=17.49
/proc/26018/task/26019/stat : 26019 (java) S 26016 26018 25972 0 -1 64 54873 0 0 0 1719 30 0 0 17 0 13 0 196653929 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26018/tid=26020] ppid=26016 vsize=1715092 CPUtime=17.57
/proc/26018/task/26020/stat : 26020 (java) S 26016 26018 25972 0 -1 64 62380 0 0 0 1723 34 0 0 16 0 13 0 196653929 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26021] ppid=26016 vsize=1715092 CPUtime=0.26
/proc/26018/task/26021/stat : 26021 (java) S 26016 26018 25972 0 -1 64 178 0 0 0 14 12 0 0 16 0 13 0 196653931 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26022] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26022/stat : 26022 (java) S 26016 26018 25972 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26023] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26023/stat : 26023 (java) S 26016 26018 25972 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26024] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26024/stat : 26024 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26025] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26025/stat : 26025 (java) S 26016 26018 25972 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26026] ppid=26016 vsize=1715092 CPUtime=1.07
/proc/26018/task/26026/stat : 26026 (java) S 26016 26018 25972 0 -1 64 2519 0 0 0 107 0 0 0 16 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26027] ppid=26016 vsize=1715092 CPUtime=1.12
/proc/26018/task/26027/stat : 26027 (java) S 26016 26018 25972 0 -1 64 2937 0 0 0 111 1 0 0 16 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26028] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26028/stat : 26028 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26029] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26029/stat : 26029 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26032] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26032/stat : 26032 (java) S 26016 26018 25972 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196654154 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.4
Current children cumulated vsize (Kb) 1715092

[startup+1781.3 s]
/proc/loadavg: 1.13 1.07 1.00 2/76 26227
/proc/meminfo: memFree=1378168/2055920 swapFree=4181356/4192956
[pid=26018] ppid=26016 vsize=1715092 CPUtime=1799.4
/proc/26018/stat : 26018 (java) R 26016 26018 25972 0 -1 0 202577 0 1 0 179823 117 0 0 25 0 13 0 196653924 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071572141 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26018/statm: 428773 124243 1911 14 0 415520 0
[pid=26018/tid=26019] ppid=26016 vsize=1715092 CPUtime=17.49
/proc/26018/task/26019/stat : 26019 (java) S 26016 26018 25972 0 -1 64 54873 0 0 0 1719 30 0 0 17 0 13 0 196653929 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26018/tid=26020] ppid=26016 vsize=1715092 CPUtime=17.57
/proc/26018/task/26020/stat : 26020 (java) S 26016 26018 25972 0 -1 64 62380 0 0 0 1723 34 0 0 16 0 13 0 196653929 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26021] ppid=26016 vsize=1715092 CPUtime=0.26
/proc/26018/task/26021/stat : 26021 (java) S 26016 26018 25972 0 -1 64 178 0 0 0 14 12 0 0 16 0 13 0 196653931 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26022] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26022/stat : 26022 (java) S 26016 26018 25972 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26023] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26023/stat : 26023 (java) S 26016 26018 25972 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26024] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26024/stat : 26024 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26025] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26025/stat : 26025 (java) S 26016 26018 25972 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26026] ppid=26016 vsize=1715092 CPUtime=1.07
/proc/26018/task/26026/stat : 26026 (java) S 26016 26018 25972 0 -1 64 2519 0 0 0 107 0 0 0 16 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26027] ppid=26016 vsize=1715092 CPUtime=1.12
/proc/26018/task/26027/stat : 26027 (java) S 26016 26018 25972 0 -1 64 2937 0 0 0 111 1 0 0 16 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26028] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26028/stat : 26028 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26029] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26029/stat : 26029 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26032] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26032/stat : 26032 (java) S 26016 26018 25972 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196654154 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.4
Current children cumulated vsize (Kb) 1715092

[startup+1782.31 s]
/proc/loadavg: 1.12 1.06 1.00 2/76 26227
/proc/meminfo: memFree=1378168/2055920 swapFree=4181356/4192956
[pid=26018] ppid=26016 vsize=1715092 CPUtime=1800.41
/proc/26018/stat : 26018 (java) R 26016 26018 25972 0 -1 0 202577 0 1 0 179924 117 0 0 25 0 13 0 196653924 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071523056 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26018/statm: 428773 124243 1911 14 0 415520 0
[pid=26018/tid=26019] ppid=26016 vsize=1715092 CPUtime=17.49
/proc/26018/task/26019/stat : 26019 (java) S 26016 26018 25972 0 -1 64 54873 0 0 0 1719 30 0 0 17 0 13 0 196653929 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26018/tid=26020] ppid=26016 vsize=1715092 CPUtime=17.57
/proc/26018/task/26020/stat : 26020 (java) S 26016 26018 25972 0 -1 64 62380 0 0 0 1723 34 0 0 16 0 13 0 196653929 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26021] ppid=26016 vsize=1715092 CPUtime=0.26
/proc/26018/task/26021/stat : 26021 (java) S 26016 26018 25972 0 -1 64 178 0 0 0 14 12 0 0 16 0 13 0 196653931 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26022] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26022/stat : 26022 (java) S 26016 26018 25972 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26023] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26023/stat : 26023 (java) S 26016 26018 25972 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26024] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26024/stat : 26024 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26025] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26025/stat : 26025 (java) S 26016 26018 25972 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26026] ppid=26016 vsize=1715092 CPUtime=1.07
/proc/26018/task/26026/stat : 26026 (java) S 26016 26018 25972 0 -1 64 2519 0 0 0 107 0 0 0 16 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26027] ppid=26016 vsize=1715092 CPUtime=1.12
/proc/26018/task/26027/stat : 26027 (java) S 26016 26018 25972 0 -1 64 2937 0 0 0 111 1 0 0 16 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26028] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26028/stat : 26028 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26029] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26029/stat : 26029 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26032] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26032/stat : 26032 (java) S 26016 26018 25972 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196654154 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (Kb) 1715092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1782.31 s]
/proc/loadavg: 1.12 1.06 1.00 2/76 26227
/proc/meminfo: memFree=1378168/2055920 swapFree=4181356/4192956
[pid=26018] ppid=26016 vsize=1715092 CPUtime=1800.41
/proc/26018/stat : 26018 (java) R 26016 26018 25972 0 -1 0 202577 0 1 0 179924 117 0 0 25 0 13 0 196653924 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071523083 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26018/statm: 428773 124243 1911 14 0 415520 0
[pid=26018/tid=26019] ppid=26016 vsize=1715092 CPUtime=17.49
/proc/26018/task/26019/stat : 26019 (java) S 26016 26018 25972 0 -1 64 54873 0 0 0 1719 30 0 0 17 0 13 0 196653929 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26018/tid=26020] ppid=26016 vsize=1715092 CPUtime=17.57
/proc/26018/task/26020/stat : 26020 (java) S 26016 26018 25972 0 -1 64 62380 0 0 0 1723 34 0 0 16 0 13 0 196653929 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26021] ppid=26016 vsize=1715092 CPUtime=0.26
/proc/26018/task/26021/stat : 26021 (java) S 26016 26018 25972 0 -1 64 178 0 0 0 14 12 0 0 16 0 13 0 196653931 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26022] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26022/stat : 26022 (java) S 26016 26018 25972 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26023] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26023/stat : 26023 (java) S 26016 26018 25972 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196653932 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26024] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26024/stat : 26024 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26025] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26025/stat : 26025 (java) S 26016 26018 25972 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26026] ppid=26016 vsize=1715092 CPUtime=1.07
/proc/26018/task/26026/stat : 26026 (java) S 26016 26018 25972 0 -1 64 2519 0 0 0 107 0 0 0 16 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26027] ppid=26016 vsize=1715092 CPUtime=1.12
/proc/26018/task/26027/stat : 26027 (java) S 26016 26018 25972 0 -1 64 2937 0 0 0 111 1 0 0 16 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26028] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26028/stat : 26028 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26029] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26029/stat : 26029 (java) S 26016 26018 25972 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196653935 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26018/tid=26032] ppid=26016 vsize=1715092 CPUtime=0
/proc/26018/task/26032/stat : 26032 (java) S 26016 26018 25972 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196654154 1756254208 124243 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (Kb) 1715092

Sending SIGTERM to -26018
Sleeping 2 seconds

Child status: 143
Real time (s): 1782.52
CPU time (s): 1800.72
CPU user time (s): 1799.47
CPU system time (s): 1.25681
CPU usage (%): 101.021
Max. virtual memory (cumulated for all children) (Kb): 1715092

Launcher Data (download as text)

Begin job on node34 on Sat Jun  3 04:45:01 UTC 2006


FILE ID= 43223-1149309901

PBS_JOBID= 307887

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-recipe.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node34/43223-1149309901/instance-43223-1149309901.opb 155059059
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-43223-1149309901 -o ROOT/results/node34/solver-43223-1149309901 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node34/43223-1149309901/instance-43223-1149309901.opb 155059059

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  19c812fe81842f9b63508fc356bab039

RANDOM SEED= 155059059


/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.277
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.277
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:       1869544 kB
Buffers:         16720 kB
Cached:         107856 kB
SwapCached:       3400 kB
Active:          15488 kB
Inactive:       117904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1869544 kB
SwapTotal:     4192956 kB
SwapFree:      4181356 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          14900 kB
Slab:            39016 kB
Committed_AS:   328904 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node34 on Sat Jun  3 05:14:44 UTC 2006