Trace number 42345

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)-950703 1800.94 1770.61

General information on the benchmark

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

Verifier Data (download as text)

OK	-950703

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/node84/watcher-42345-1149323750 -o ROOT/results/node84/solver-42345-1149323750 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node84/42345-1149323750/instance-42345-1149323750.opb 133814550 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.95 2/67 23668
/proc/meminfo: memFree=1629536/2055892 swapFree=4085292/4096564
[pid=23668] ppid=23666 vsize=1788 CPUtime=0
/proc/23668/stat : 23668 (java) D 23666 23668 23622 0 -1 0 176 0 0 0 0 0 0 0 18 0 1 0 198014262 1830912 144 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099917094 0 0 17 1 0 0
/proc/23668/statm: 447 144 109 14 0 91 0

[startup+10.0027 s]
/proc/loadavg: 0.93 0.95 0.95 2/79 23680
/proc/meminfo: memFree=1439560/2055892 swapFree=4085292/4096564
[pid=23668] ppid=23666 vsize=1711492 CPUtime=10.97
/proc/23668/stat : 23668 (java) R 23666 23668 23622 0 -1 0 52305 0 1 0 1072 25 0 0 25 0 13 0 198014262 1752567808 49296 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071534973 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23668/statm: 427873 49296 1910 14 0 414619 0
[pid=23668/tid=23669] ppid=23666 vsize=1711492 CPUtime=0.17
/proc/23668/task/23669/stat : 23669 (java) S 23666 23668 23622 0 -1 64 4026 0 0 0 16 1 0 0 16 0 13 0 198014265 1752567808 49296 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23670] ppid=23666 vsize=1711492 CPUtime=0.17
/proc/23668/task/23670/stat : 23670 (java) S 23666 23668 23622 0 -1 64 3944 0 0 0 15 2 0 0 16 0 13 0 198014265 1752567808 49296 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23671] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23671/stat : 23671 (java) S 23666 23668 23622 0 -1 64 28 0 0 0 0 0 0 0 15 0 13 0 198014267 1752567808 49296 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23672] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23672/stat : 23672 (java) S 23666 23668 23622 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 198014268 1752567808 49296 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23673] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23673/stat : 23673 (java) S 23666 23668 23622 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198014268 1752567808 49296 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23674] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23674/stat : 23674 (java) S 23666 23668 23622 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 198014271 1752567808 49296 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23675] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23675/stat : 23675 (java) S 23666 23668 23622 0 -1 64 3 0 0 0 0 0 0 0 15 0 13 0 198014271 1752567808 49296 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23676] ppid=23666 vsize=1711492 CPUtime=0.63
/proc/23668/task/23676/stat : 23676 (java) S 23666 23668 23622 0 -1 64 1290 0 0 0 63 0 0 0 17 0 13 0 198014271 1752567808 49296 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23677] ppid=23666 vsize=1711492 CPUtime=0.6
/proc/23668/task/23677/stat : 23677 (java) S 23666 23668 23622 0 -1 64 970 0 0 0 60 0 0 0 16 0 13 0 198014271 1752567808 49296 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23678] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23678/stat : 23678 (java) S 23666 23668 23622 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198014271 1752567808 49296 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23679] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23679/stat : 23679 (java) S 23666 23668 23622 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198014271 1752567808 49296 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23680] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23680/stat : 23680 (java) S 23666 23668 23622 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 198014412 1752567808 49296 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.97
Current children cumulated vsize (Kb) 1711492

[startup+20.0098 s]
/proc/loadavg: 0.94 0.96 0.95 2/79 23680
/proc/meminfo: memFree=1427720/2055892 swapFree=4085292/4096564
[pid=23668] ppid=23666 vsize=1711492 CPUtime=21.14
/proc/23668/stat : 23668 (java) R 23666 23668 23622 0 -1 0 59181 0 1 0 2085 29 0 0 25 0 13 0 198014262 1752567808 52258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071535387 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23668/statm: 427873 52258 1911 14 0 414619 0
[pid=23668/tid=23669] ppid=23666 vsize=1711492 CPUtime=0.26
/proc/23668/task/23669/stat : 23669 (java) S 23666 23668 23622 0 -1 64 5883 0 0 0 24 2 0 0 15 0 13 0 198014265 1752567808 52258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23670] ppid=23666 vsize=1711492 CPUtime=0.25
/proc/23668/task/23670/stat : 23670 (java) S 23666 23668 23622 0 -1 64 5618 0 0 0 22 3 0 0 16 0 13 0 198014265 1752567808 52258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23671] ppid=23666 vsize=1711492 CPUtime=0.01
/proc/23668/task/23671/stat : 23671 (java) S 23666 23668 23622 0 -1 64 36 0 0 0 0 1 0 0 16 0 13 0 198014267 1752567808 52258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23672] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23672/stat : 23672 (java) S 23666 23668 23622 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 198014268 1752567808 52258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23673] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23673/stat : 23673 (java) S 23666 23668 23622 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198014268 1752567808 52258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23674] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23674/stat : 23674 (java) S 23666 23668 23622 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 198014271 1752567808 52258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23675] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23675/stat : 23675 (java) S 23666 23668 23622 0 -1 64 3 0 0 0 0 0 0 0 15 0 13 0 198014271 1752567808 52258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23676] ppid=23666 vsize=1711492 CPUtime=0.67
/proc/23668/task/23676/stat : 23676 (java) S 23666 23668 23622 0 -1 64 1292 0 0 0 67 0 0 0 16 0 13 0 198014271 1752567808 52258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23677] ppid=23666 vsize=1711492 CPUtime=0.66
/proc/23668/task/23677/stat : 23677 (java) S 23666 23668 23622 0 -1 64 979 0 0 0 66 0 0 0 16 0 13 0 198014271 1752567808 52258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23678] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23678/stat : 23678 (java) S 23666 23668 23622 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198014271 1752567808 52258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23679] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23679/stat : 23679 (java) S 23666 23668 23622 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198014271 1752567808 52258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23680] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23680/stat : 23680 (java) S 23666 23668 23622 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 198014412 1752567808 52258 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.14
Current children cumulated vsize (Kb) 1711492

[startup+30.0168 s]
/proc/loadavg: 0.95 0.96 0.95 2/79 23680
/proc/meminfo: memFree=1425672/2055892 swapFree=4085292/4096564
[pid=23668] ppid=23666 vsize=1711492 CPUtime=31.2
/proc/23668/stat : 23668 (java) R 23666 23668 23622 0 -1 0 63966 0 1 0 3089 31 0 0 18 0 13 0 198014262 1752567808 52711 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071430870 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23668/statm: 427873 52711 1911 14 0 414619 0
[pid=23668/tid=23669] ppid=23666 vsize=1711492 CPUtime=0.32
/proc/23668/task/23669/stat : 23669 (java) S 23666 23668 23622 0 -1 64 7134 0 0 0 30 2 0 0 16 0 13 0 198014265 1752567808 52711 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23670] ppid=23666 vsize=1711492 CPUtime=0.31
/proc/23668/task/23670/stat : 23670 (java) S 23666 23668 23622 0 -1 64 6855 0 0 0 27 4 0 0 16 0 13 0 198014265 1752567808 52711 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23671] ppid=23666 vsize=1711492 CPUtime=0.01
/proc/23668/task/23671/stat : 23671 (java) S 23666 23668 23622 0 -1 64 44 0 0 0 0 1 0 0 15 0 13 0 198014267 1752567808 52711 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23672] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23672/stat : 23672 (java) S 23666 23668 23622 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 198014268 1752567808 52711 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23673] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23673/stat : 23673 (java) S 23666 23668 23622 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198014268 1752567808 52711 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23674] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23674/stat : 23674 (java) S 23666 23668 23622 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 198014271 1752567808 52711 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23675] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23675/stat : 23675 (java) S 23666 23668 23622 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198014271 1752567808 52711 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23676] ppid=23666 vsize=1711492 CPUtime=0.67
/proc/23668/task/23676/stat : 23676 (java) S 23666 23668 23622 0 -1 64 1292 0 0 0 67 0 0 0 17 0 13 0 198014271 1752567808 52711 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23677] ppid=23666 vsize=1711492 CPUtime=0.67
/proc/23668/task/23677/stat : 23677 (java) S 23666 23668 23622 0 -1 64 980 0 0 0 67 0 0 0 16 0 13 0 198014271 1752567808 52711 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23678] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23678/stat : 23678 (java) S 23666 23668 23622 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198014271 1752567808 52711 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23679] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23679/stat : 23679 (java) S 23666 23668 23622 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198014271 1752567808 52711 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23680] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23680/stat : 23680 (java) S 23666 23668 23622 0 -1 64 4 0 0 0 0 0 0 0 18 0 13 0 198014412 1752567808 52711 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.2
Current children cumulated vsize (Kb) 1711492

[startup+40.0239 s]
/proc/loadavg: 0.95 0.96 0.95 2/79 23680
/proc/meminfo: memFree=1411144/2055892 swapFree=4085292/4096564
[pid=23668] ppid=23666 vsize=1711492 CPUtime=41.32
/proc/23668/stat : 23668 (java) R 23666 23668 23622 0 -1 0 68997 0 1 0 4098 34 0 0 25 0 13 0 198014262 1752567808 56380 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071419481 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23668/statm: 427873 56380 1911 14 0 414619 0
[pid=23668/tid=23669] ppid=23666 vsize=1711492 CPUtime=0.44
/proc/23668/task/23669/stat : 23669 (java) S 23666 23668 23622 0 -1 64 8575 0 0 0 41 3 0 0 16 0 13 0 198014265 1752567808 56380 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23670] ppid=23666 vsize=1711492 CPUtime=0.42
/proc/23668/task/23670/stat : 23670 (java) S 23666 23668 23622 0 -1 64 8355 0 0 0 38 4 0 0 16 0 13 0 198014265 1752567808 56380 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23671] ppid=23666 vsize=1711492 CPUtime=0.01
/proc/23668/task/23671/stat : 23671 (java) S 23666 23668 23622 0 -1 64 51 0 0 0 0 1 0 0 15 0 13 0 198014267 1752567808 56380 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23672] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23672/stat : 23672 (java) S 23666 23668 23622 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 198014268 1752567808 56380 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23673] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23673/stat : 23673 (java) S 23666 23668 23622 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198014268 1752567808 56380 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23674] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23674/stat : 23674 (java) S 23666 23668 23622 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 198014271 1752567808 56380 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23675] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23675/stat : 23675 (java) S 23666 23668 23622 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 198014271 1752567808 56380 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23676] ppid=23666 vsize=1711492 CPUtime=0.67
/proc/23668/task/23676/stat : 23676 (java) S 23666 23668 23622 0 -1 64 1292 0 0 0 67 0 0 0 17 0 13 0 198014271 1752567808 56380 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23677] ppid=23666 vsize=1711492 CPUtime=0.67
/proc/23668/task/23677/stat : 23677 (java) S 23666 23668 23622 0 -1 64 980 0 0 0 67 0 0 0 16 0 13 0 198014271 1752567808 56380 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23678] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23678/stat : 23678 (java) S 23666 23668 23622 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198014271 1752567808 56380 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23679] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23679/stat : 23679 (java) S 23666 23668 23622 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198014271 1752567808 56380 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23680] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23680/stat : 23680 (java) S 23666 23668 23622 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 198014412 1752567808 56380 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.32
Current children cumulated vsize (Kb) 1711492

[startup+50.031 s]
/proc/loadavg: 0.96 0.96 0.95 2/79 23681
/proc/meminfo: memFree=1395328/2055892 swapFree=4085292/4096564
[pid=23668] ppid=23666 vsize=1711492 CPUtime=51.49
/proc/23668/stat : 23668 (java) R 23666 23668 23622 0 -1 0 75414 0 1 0 5111 38 0 0 19 0 13 0 198014262 1752567808 60335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071563041 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23668/statm: 427873 60335 1911 14 0 414619 0
[pid=23668/tid=23669] ppid=23666 vsize=1711492 CPUtime=0.6
/proc/23668/task/23669/stat : 23669 (java) S 23666 23668 23622 0 -1 64 11719 0 0 0 55 5 0 0 15 0 13 0 198014265 1752567808 60335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23670] ppid=23666 vsize=1711492 CPUtime=0.58
/proc/23668/task/23670/stat : 23670 (java) S 23666 23668 23622 0 -1 64 11420 0 0 0 52 6 0 0 16 0 13 0 198014265 1752567808 60335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23671] ppid=23666 vsize=1711492 CPUtime=0.03
/proc/23668/task/23671/stat : 23671 (java) S 23666 23668 23622 0 -1 64 53 0 0 0 1 2 0 0 16 0 13 0 198014267 1752567808 60335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23672] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23672/stat : 23672 (java) S 23666 23668 23622 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 198014268 1752567808 60335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23673] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23673/stat : 23673 (java) S 23666 23668 23622 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198014268 1752567808 60335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23674] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23674/stat : 23674 (java) S 23666 23668 23622 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 198014271 1752567808 60335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23675] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23675/stat : 23675 (java) S 23666 23668 23622 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 198014271 1752567808 60335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23676] ppid=23666 vsize=1711492 CPUtime=0.68
/proc/23668/task/23676/stat : 23676 (java) S 23666 23668 23622 0 -1 64 1292 0 0 0 68 0 0 0 16 0 13 0 198014271 1752567808 60335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23677] ppid=23666 vsize=1711492 CPUtime=0.68
/proc/23668/task/23677/stat : 23677 (java) S 23666 23668 23622 0 -1 64 983 0 0 0 68 0 0 0 15 0 13 0 198014271 1752567808 60335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23678] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23678/stat : 23678 (java) S 23666 23668 23622 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198014271 1752567808 60335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23679] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23679/stat : 23679 (java) S 23666 23668 23622 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198014271 1752567808 60335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23681] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23681/stat : 23681 (java) S 23666 23668 23622 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 198018366 1752567808 60335 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.49
Current children cumulated vsize (Kb) 1711492

[startup+60.0381 s]
/proc/loadavg: 0.97 0.96 0.95 2/79 23681
/proc/meminfo: memFree=1393152/2055892 swapFree=4085292/4096564
[pid=23668] ppid=23666 vsize=1711492 CPUtime=61.57
/proc/23668/stat : 23668 (java) R 23666 23668 23622 0 -1 0 78778 0 1 0 6117 40 0 0 25 0 13 0 198014262 1752567808 60878 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071533535 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23668/statm: 427873 60878 1911 14 0 414619 0
[pid=23668/tid=23669] ppid=23666 vsize=1711492 CPUtime=0.68
/proc/23668/task/23669/stat : 23669 (java) S 23666 23668 23622 0 -1 64 12357 0 0 0 63 5 0 0 15 0 13 0 198014265 1752567808 60878 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23670] ppid=23666 vsize=1711492 CPUtime=0.66
/proc/23668/task/23670/stat : 23670 (java) S 23666 23668 23622 0 -1 64 11947 0 0 0 60 6 0 0 16 0 13 0 198014265 1752567808 60878 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23671] ppid=23666 vsize=1711492 CPUtime=0.04
/proc/23668/task/23671/stat : 23671 (java) S 23666 23668 23622 0 -1 64 59 0 0 0 1 3 0 0 16 0 13 0 198014267 1752567808 60878 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23672] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23672/stat : 23672 (java) S 23666 23668 23622 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 198014268 1752567808 60878 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23673] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23673/stat : 23673 (java) S 23666 23668 23622 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198014268 1752567808 60878 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23674] ppid=23666 vsize=1711492 CPUtime=0
/proc/23668/task/23674/stat : 23674 (java) S 23666 23668 23622 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 198014271 1752567808 60878 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=23668/tid=23672] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23672/stat : 23672 (java) S 23666 23668 23622 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 198014268 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23673] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23673/stat : 23673 (java) S 23666 23668 23622 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198014268 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23674] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23674/stat : 23674 (java) S 23666 23668 23622 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 198014271 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23675] ppid=23666 vsize=1712516 CPUtime=0.01
/proc/23668/task/23675/stat : 23675 (java) S 23666 23668 23622 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 198014271 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23676] ppid=23666 vsize=1712516 CPUtime=1.02
/proc/23668/task/23676/stat : 23676 (java) S 23666 23668 23622 0 -1 64 2417 0 0 0 101 1 0 0 17 0 13 0 198014271 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23677] ppid=23666 vsize=1712516 CPUtime=0.92
/proc/23668/task/23677/stat : 23677 (java) S 23666 23668 23622 0 -1 64 1027 0 0 0 92 0 0 0 16 0 13 0 198014271 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23678] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23678/stat : 23678 (java) S 23666 23668 23622 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198014271 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23679] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23679/stat : 23679 (java) S 23666 23668 23622 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198014271 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23692] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23692/stat : 23692 (java) S 23666 23668 23622 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 198082019 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.47
Current children cumulated vsize (Kb) 1712516

[startup+1767.31 s]
/proc/loadavg: 1.01 1.01 0.97 2/79 23887
/proc/meminfo: memFree=767864/2055892 swapFree=4085292/4096564
[pid=23668] ppid=23666 vsize=1712516 CPUtime=1797.48
/proc/23668/stat : 23668 (java) R 23666 23668 23622 0 -1 0 283888 0 1 0 179549 199 0 0 25 0 13 0 198014262 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071408264 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23668/statm: 428129 216580 1911 14 0 414875 0
[pid=23668/tid=23669] ppid=23666 vsize=1712516 CPUtime=29.78
/proc/23668/task/23669/stat : 23669 (java) S 23666 23668 23622 0 -1 64 110978 0 0 0 2910 68 0 0 16 0 13 0 198014265 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23670] ppid=23666 vsize=1712516 CPUtime=29.73
/proc/23668/task/23670/stat : 23670 (java) S 23666 23668 23622 0 -1 64 110722 0 0 0 2901 72 0 0 15 0 13 0 198014265 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23671] ppid=23666 vsize=1712516 CPUtime=0.59
/proc/23668/task/23671/stat : 23671 (java) S 23666 23668 23622 0 -1 64 70 0 0 0 36 23 0 0 16 0 13 0 198014267 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23672] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23672/stat : 23672 (java) S 23666 23668 23622 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 198014268 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23673] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23673/stat : 23673 (java) S 23666 23668 23622 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198014268 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23674] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23674/stat : 23674 (java) S 23666 23668 23622 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 198014271 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23675] ppid=23666 vsize=1712516 CPUtime=0.01
/proc/23668/task/23675/stat : 23675 (java) S 23666 23668 23622 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 198014271 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23676] ppid=23666 vsize=1712516 CPUtime=1.02
/proc/23668/task/23676/stat : 23676 (java) S 23666 23668 23622 0 -1 64 2417 0 0 0 101 1 0 0 17 0 13 0 198014271 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23677] ppid=23666 vsize=1712516 CPUtime=0.92
/proc/23668/task/23677/stat : 23677 (java) S 23666 23668 23622 0 -1 64 1027 0 0 0 92 0 0 0 16 0 13 0 198014271 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23678] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23678/stat : 23678 (java) S 23666 23668 23622 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198014271 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23679] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23679/stat : 23679 (java) S 23666 23668 23622 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198014271 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23692] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23692/stat : 23692 (java) S 23666 23668 23622 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 198082019 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.48
Current children cumulated vsize (Kb) 1712516

[startup+1768.31 s]
/proc/loadavg: 1.01 1.01 0.97 2/79 23887
/proc/meminfo: memFree=767800/2055892 swapFree=4085292/4096564
[pid=23668] ppid=23666 vsize=1712516 CPUtime=1798.48
/proc/23668/stat : 23668 (java) R 23666 23668 23622 0 -1 0 283888 0 1 0 179649 199 0 0 25 0 13 0 198014262 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071408383 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23668/statm: 428129 216580 1911 14 0 414875 0
[pid=23668/tid=23669] ppid=23666 vsize=1712516 CPUtime=29.78
/proc/23668/task/23669/stat : 23669 (java) S 23666 23668 23622 0 -1 64 110978 0 0 0 2910 68 0 0 16 0 13 0 198014265 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23670] ppid=23666 vsize=1712516 CPUtime=29.73
/proc/23668/task/23670/stat : 23670 (java) S 23666 23668 23622 0 -1 64 110722 0 0 0 2901 72 0 0 15 0 13 0 198014265 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23671] ppid=23666 vsize=1712516 CPUtime=0.59
/proc/23668/task/23671/stat : 23671 (java) S 23666 23668 23622 0 -1 64 70 0 0 0 36 23 0 0 16 0 13 0 198014267 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23672] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23672/stat : 23672 (java) S 23666 23668 23622 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 198014268 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23673] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23673/stat : 23673 (java) S 23666 23668 23622 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198014268 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23674] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23674/stat : 23674 (java) S 23666 23668 23622 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 198014271 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23675] ppid=23666 vsize=1712516 CPUtime=0.01
/proc/23668/task/23675/stat : 23675 (java) S 23666 23668 23622 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 198014271 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23676] ppid=23666 vsize=1712516 CPUtime=1.02
/proc/23668/task/23676/stat : 23676 (java) S 23666 23668 23622 0 -1 64 2417 0 0 0 101 1 0 0 17 0 13 0 198014271 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23677] ppid=23666 vsize=1712516 CPUtime=0.92
/proc/23668/task/23677/stat : 23677 (java) S 23666 23668 23622 0 -1 64 1027 0 0 0 92 0 0 0 16 0 13 0 198014271 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23678] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23678/stat : 23678 (java) S 23666 23668 23622 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198014271 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23679] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23679/stat : 23679 (java) S 23666 23668 23622 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198014271 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23692] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23692/stat : 23692 (java) S 23666 23668 23622 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 198082019 1753616384 216580 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.48
Current children cumulated vsize (Kb) 1712516

[startup+1769.32 s]
/proc/loadavg: 1.01 1.01 0.97 2/79 23887
/proc/meminfo: memFree=755512/2055892 swapFree=4085292/4096564
[pid=23668] ppid=23666 vsize=1712516 CPUtime=1799.52
/proc/23668/stat : 23668 (java) R 23666 23668 23622 0 -1 0 286959 0 1 0 179751 201 0 0 18 0 13 0 198014262 1753616384 219649 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071431048 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23668/statm: 428129 219649 1911 14 0 414875 0
[pid=23668/tid=23669] ppid=23666 vsize=1712516 CPUtime=29.82
/proc/23668/task/23669/stat : 23669 (java) S 23666 23668 23622 0 -1 64 112429 0 0 0 2913 69 0 0 16 0 13 0 198014265 1753616384 219649 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23670] ppid=23666 vsize=1712516 CPUtime=29.77
/proc/23668/task/23670/stat : 23670 (java) S 23666 23668 23622 0 -1 64 112340 0 0 0 2904 73 0 0 16 0 13 0 198014265 1753616384 219649 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23671] ppid=23666 vsize=1712516 CPUtime=0.59
/proc/23668/task/23671/stat : 23671 (java) S 23666 23668 23622 0 -1 64 70 0 0 0 36 23 0 0 16 0 13 0 198014267 1753616384 219649 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23672] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23672/stat : 23672 (java) S 23666 23668 23622 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 198014268 1753616384 219649 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23673] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23673/stat : 23673 (java) S 23666 23668 23622 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198014268 1753616384 219649 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23674] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23674/stat : 23674 (java) S 23666 23668 23622 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 198014271 1753616384 219649 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23675] ppid=23666 vsize=1712516 CPUtime=0.01
/proc/23668/task/23675/stat : 23675 (java) S 23666 23668 23622 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 198014271 1753616384 219649 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23676] ppid=23666 vsize=1712516 CPUtime=1.02
/proc/23668/task/23676/stat : 23676 (java) S 23666 23668 23622 0 -1 64 2417 0 0 0 101 1 0 0 17 0 13 0 198014271 1753616384 219649 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23677] ppid=23666 vsize=1712516 CPUtime=0.92
/proc/23668/task/23677/stat : 23677 (java) S 23666 23668 23622 0 -1 64 1027 0 0 0 92 0 0 0 16 0 13 0 198014271 1753616384 219649 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23678] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23678/stat : 23678 (java) S 23666 23668 23622 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198014271 1753616384 219649 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23679] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23679/stat : 23679 (java) S 23666 23668 23622 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198014271 1753616384 219649 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23692] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23692/stat : 23692 (java) S 23666 23668 23622 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 198082019 1753616384 219649 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.52
Current children cumulated vsize (Kb) 1712516

[startup+1770.32 s]
/proc/loadavg: 1.01 1.01 0.97 2/79 23887
/proc/meminfo: memFree=755704/2055892 swapFree=4085292/4096564
[pid=23668] ppid=23666 vsize=1712516 CPUtime=1800.53
/proc/23668/stat : 23668 (java) R 23666 23668 23622 0 -1 0 286969 0 1 0 179852 201 0 0 21 0 13 0 198014262 1753616384 219543 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071431105 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23668/statm: 428129 219543 1911 14 0 414875 0
[pid=23668/tid=23669] ppid=23666 vsize=1712516 CPUtime=29.83
/proc/23668/task/23669/stat : 23669 (java) S 23666 23668 23622 0 -1 64 112437 0 0 0 2914 69 0 0 16 0 13 0 198014265 1753616384 219543 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23670] ppid=23666 vsize=1712516 CPUtime=29.78
/proc/23668/task/23670/stat : 23670 (java) S 23666 23668 23622 0 -1 64 112341 0 0 0 2905 73 0 0 15 0 13 0 198014265 1753616384 219543 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23671] ppid=23666 vsize=1712516 CPUtime=0.59
/proc/23668/task/23671/stat : 23671 (java) S 23666 23668 23622 0 -1 64 70 0 0 0 36 23 0 0 16 0 13 0 198014267 1753616384 219543 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23672] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23672/stat : 23672 (java) S 23666 23668 23622 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 198014268 1753616384 219543 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23673] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23673/stat : 23673 (java) S 23666 23668 23622 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198014268 1753616384 219543 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23674] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23674/stat : 23674 (java) S 23666 23668 23622 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 198014271 1753616384 219543 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23675] ppid=23666 vsize=1712516 CPUtime=0.01
/proc/23668/task/23675/stat : 23675 (java) S 23666 23668 23622 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 198014271 1753616384 219543 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23676] ppid=23666 vsize=1712516 CPUtime=1.02
/proc/23668/task/23676/stat : 23676 (java) S 23666 23668 23622 0 -1 64 2417 0 0 0 101 1 0 0 17 0 13 0 198014271 1753616384 219543 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23677] ppid=23666 vsize=1712516 CPUtime=0.92
/proc/23668/task/23677/stat : 23677 (java) S 23666 23668 23622 0 -1 64 1027 0 0 0 92 0 0 0 16 0 13 0 198014271 1753616384 219543 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23678] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23678/stat : 23678 (java) S 23666 23668 23622 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198014271 1753616384 219543 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23679] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23679/stat : 23679 (java) S 23666 23668 23622 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198014271 1753616384 219543 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23692] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23692/stat : 23692 (java) S 23666 23668 23622 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 198082019 1753616384 219543 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (Kb) 1712516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1770.33 s]
/proc/loadavg: 1.01 1.01 0.97 2/79 23887
/proc/meminfo: memFree=755704/2055892 swapFree=4085292/4096564
[pid=23668] ppid=23666 vsize=1712516 CPUtime=1800.54
/proc/23668/stat : 23668 (java) R 23666 23668 23622 0 -1 0 286969 0 1 0 179853 201 0 0 21 0 13 0 198014262 1753616384 219543 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071431097 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23668/statm: 428129 219543 1911 14 0 414875 0
[pid=23668/tid=23669] ppid=23666 vsize=1712516 CPUtime=29.83
/proc/23668/task/23669/stat : 23669 (java) S 23666 23668 23622 0 -1 64 112437 0 0 0 2914 69 0 0 16 0 13 0 198014265 1753616384 219543 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23670] ppid=23666 vsize=1712516 CPUtime=29.78
/proc/23668/task/23670/stat : 23670 (java) S 23666 23668 23622 0 -1 64 112341 0 0 0 2905 73 0 0 15 0 13 0 198014265 1753616384 219543 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23671] ppid=23666 vsize=1712516 CPUtime=0.59
/proc/23668/task/23671/stat : 23671 (java) S 23666 23668 23622 0 -1 64 70 0 0 0 36 23 0 0 16 0 13 0 198014267 1753616384 219543 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23672] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23672/stat : 23672 (java) S 23666 23668 23622 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 198014268 1753616384 219543 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23673] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23673/stat : 23673 (java) S 23666 23668 23622 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 198014268 1753616384 219543 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23674] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23674/stat : 23674 (java) S 23666 23668 23622 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 198014271 1753616384 219543 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23675] ppid=23666 vsize=1712516 CPUtime=0.01
/proc/23668/task/23675/stat : 23675 (java) S 23666 23668 23622 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 198014271 1753616384 219543 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23676] ppid=23666 vsize=1712516 CPUtime=1.02
/proc/23668/task/23676/stat : 23676 (java) S 23666 23668 23622 0 -1 64 2417 0 0 0 101 1 0 0 17 0 13 0 198014271 1753616384 219543 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23677] ppid=23666 vsize=1712516 CPUtime=0.92
/proc/23668/task/23677/stat : 23677 (java) S 23666 23668 23622 0 -1 64 1027 0 0 0 92 0 0 0 16 0 13 0 198014271 1753616384 219543 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23678] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23678/stat : 23678 (java) S 23666 23668 23622 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198014271 1753616384 219543 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23668/tid=23679] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23679/stat : 23679 (java) S 23666 23668 23622 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 198014271 1753616384 219543 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23668/tid=23692] ppid=23666 vsize=1712516 CPUtime=0
/proc/23668/task/23692/stat : 23692 (java) S 23666 23668 23622 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 198082019 1753616384 219543 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (Kb) 1712516

Sending SIGTERM to -23668
Sleeping 2 seconds

Child status: 143
Real time (s): 1770.61
CPU time (s): 1800.94
CPU user time (s): 1798.79
CPU system time (s): 2.14967
CPU usage (%): 101.713
Max. virtual memory (cumulated for all children) (Kb): 1713540

Launcher Data (download as text)

Begin job on node84 on Sat Jun  3 08:35:50 UTC 2006


FILE ID= 42345-1149323750

PBS_JOBID= 309495

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p6000.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node84/42345-1149323750/instance-42345-1149323750.opb 133814550
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node84/watcher-42345-1149323750 -o ROOT/results/node84/solver-42345-1149323750 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node84/42345-1149323750/instance-42345-1149323750.opb 133814550

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  0c3c379676a8ddac6d8ad36181bfd2e9

RANDOM SEED= 133814550


/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.231
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	: 6006.15
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.231
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	: 5999.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1629744 kB
Buffers:         29456 kB
Cached:         330632 kB
SwapCached:       2420 kB
Active:          33536 kB
Inactive:       335212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1629744 kB
SwapTotal:     4096564 kB
SwapFree:      4085292 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          16424 kB
Slab:            44024 kB
Committed_AS:   384988 kB
PageTables:       1272 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node84 on Sat Jun  3 09:05:20 UTC 2006