Trace number 453462

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
sat4jPseudoCP 2007-03-23SAT (TO)15 1800.49 1749.13

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_4.opb
MD5SUM64354bd2b9c3cc2f1ca2c32032e5c032
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint26
Maximum length of a constraint51
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6260
Sum of products size (including duplicates)12520
Number of different products6260
Sum of products size12520

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

Verifier Data (download as text)

OK	15

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node14/watcher-453462-1178139160 -o ROOT/results/node14/solver-453462-1178139160 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453462-1178139160/sat4jPseudoCP.jar /tmp/evaluation/453462-1178139160/instance-453462-1178139160.opb 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 22648
/proc/meminfo: memFree=1786616/2055920 swapFree=4148808/4192956
[pid=22648] ppid=22646 vsize=152 CPUtime=0
/proc/22648/stat : 22648 (java) R 22646 22648 22530 0 -1 0 40 0 0 0 0 0 0 0 18 0 1 0 261833726 155648 26 18446744073709551615 134512640 134550740 4294956528 18446744073709551615 6927140 0 0 4096 0 0 0 0 17 1 0 0
/proc/22648/statm: 38 26 19 9 0 4 0

[startup+0.0641089 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 22648
/proc/meminfo: memFree=1786616/2055920 swapFree=4148808/4192956
[pid=22648] ppid=22646 vsize=1777708 CPUtime=0.03
/proc/22648/stat : 22648 (java) S 22646 22648 22530 0 -1 0 3549 0 1 0 2 1 0 0 18 0 7 0 261833726 1820372992 3295 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/22648/statm: 444427 3295 1053 9 0 442063 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1777708

[startup+0.101113 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 22648
/proc/meminfo: memFree=1786616/2055920 swapFree=4148808/4192956
[pid=22648] ppid=22646 vsize=1777844 CPUtime=0.06
/proc/22648/stat : 22648 (java) S 22646 22648 22530 0 -1 0 3802 0 1 0 4 2 0 0 18 0 7 0 261833726 1820512256 3546 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/22648/statm: 444461 3546 1087 9 0 442097 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1777844

[startup+0.30113 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 22648
/proc/meminfo: memFree=1786616/2055920 swapFree=4148808/4192956
[pid=22648] ppid=22646 vsize=1782584 CPUtime=0.29
/proc/22648/stat : 22648 (java) S 22646 22648 22530 0 -1 0 5154 0 1 0 26 3 0 0 18 0 12 0 261833726 1825366016 4894 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22648/statm: 445646 4895 1255 9 0 443258 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1782584

[startup+0.701169 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 22648
/proc/meminfo: memFree=1786616/2055920 swapFree=4148808/4192956
[pid=22648] ppid=22646 vsize=1782872 CPUtime=0.88
/proc/22648/stat : 22648 (java) S 22646 22648 22530 0 -1 0 6177 0 1 0 84 4 0 0 18 0 12 0 261833726 1825660928 5882 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22648/statm: 445718 5882 1301 9 0 443330 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 1782872

[startup+1.50225 s]
/proc/loadavg: 0.92 0.98 0.99 3/89 22660
/proc/meminfo: memFree=1761368/2055920 swapFree=4148808/4192956
[pid=22648] ppid=22646 vsize=1788044 CPUtime=2.1
/proc/22648/stat : 22648 (java) S 22646 22648 22530 0 -1 0 11649 0 1 0 204 6 0 0 18 0 12 0 261833726 1830957056 8477 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22648/statm: 447011 8477 1304 9 0 444623 0
[pid=22648/tid=22650] ppid=22646 vsize=1788044 CPUtime=1.17
/proc/22648/task/22650/stat : 22650 (java) R 22646 22648 22530 0 -1 64 5996 0 1 0 114 3 0 0 20 0 12 0 261833727 1830957056 8477 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109487926 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22651] ppid=22646 vsize=1788044 CPUtime=0
/proc/22648/task/22651/stat : 22651 (java) S 22646 22648 22530 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 261833729 1830957056 8477 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22652] ppid=22646 vsize=1788044 CPUtime=0
/proc/22648/task/22652/stat : 22652 (java) S 22646 22648 22530 0 -1 64 0 0 0 0 0 0 0 0 19 0 12 0 261833729 1830957056 8477 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22653] ppid=22646 vsize=1788044 CPUtime=0
/proc/22648/task/22653/stat : 22653 (java) S 22646 22648 22530 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 261833732 1830957056 8477 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22654] ppid=22646 vsize=1788044 CPUtime=0
/proc/22648/task/22654/stat : 22654 (java) S 22646 22648 22530 0 -1 64 10 0 0 0 0 0 0 0 21 0 12 0 261833732 1830957056 8477 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22655] ppid=22646 vsize=1788044 CPUtime=0
/proc/22648/task/22655/stat : 22655 (java) S 22646 22648 22530 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 261833732 1830957056 8477 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22656] ppid=22646 vsize=1788044 CPUtime=0
/proc/22648/task/22656/stat : 22656 (java) S 22646 22648 22530 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 261833737 1830957056 8477 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22657] ppid=22646 vsize=1788044 CPUtime=0.39
/proc/22648/task/22657/stat : 22657 (java) S 22646 22648 22530 0 -1 64 2287 0 0 0 39 0 0 0 16 0 12 0 261833737 1830957056 8477 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22658] ppid=22646 vsize=1788044 CPUtime=0.51
/proc/22648/task/22658/stat : 22658 (java) S 22646 22648 22530 0 -1 64 2649 0 0 0 50 1 0 0 16 0 12 0 261833737 1830957056 8477 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22648/tid=22659] ppid=22646 vsize=1788044 CPUtime=0
/proc/22648/task/22659/stat : 22659 (java) S 22646 22648 22530 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 261833737 1830957056 8477 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22660] ppid=22646 vsize=1788044 CPUtime=0
/proc/22648/task/22660/stat : 22660 (java) S 22646 22648 22530 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 261833737 1830957056 8477 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 1788044

[startup+3.1024 s]
/proc/loadavg: 0.92 0.98 0.99 2/89 22660
/proc/meminfo: memFree=1754968/2055920 swapFree=4148808/4192956
[pid=22648] ppid=22646 vsize=1788044 CPUtime=3.78
/proc/22648/stat : 22648 (java) S 22646 22648 22530 0 -1 0 12831 0 1 0 372 6 0 0 18 0 12 0 261833726 1830957056 9658 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22648/statm: 447011 9658 1304 9 0 444623 0
[pid=22648/tid=22650] ppid=22646 vsize=1788044 CPUtime=2.74
/proc/22648/task/22650/stat : 22650 (java) R 22646 22648 22530 0 -1 64 7162 0 1 0 270 4 0 0 25 0 12 0 261833727 1830957056 9658 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109488271 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22651] ppid=22646 vsize=1788044 CPUtime=0
/proc/22648/task/22651/stat : 22651 (java) S 22646 22648 22530 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 261833729 1830957056 9658 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22652] ppid=22646 vsize=1788044 CPUtime=0
/proc/22648/task/22652/stat : 22652 (java) S 22646 22648 22530 0 -1 64 0 0 0 0 0 0 0 0 19 0 12 0 261833729 1830957056 9658 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22653] ppid=22646 vsize=1788044 CPUtime=0
/proc/22648/task/22653/stat : 22653 (java) S 22646 22648 22530 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 261833732 1830957056 9658 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22654] ppid=22646 vsize=1788044 CPUtime=0
/proc/22648/task/22654/stat : 22654 (java) S 22646 22648 22530 0 -1 64 10 0 0 0 0 0 0 0 21 0 12 0 261833732 1830957056 9658 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22655] ppid=22646 vsize=1788044 CPUtime=0
/proc/22648/task/22655/stat : 22655 (java) S 22646 22648 22530 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 261833732 1830957056 9658 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22656] ppid=22646 vsize=1788044 CPUtime=0
/proc/22648/task/22656/stat : 22656 (java) S 22646 22648 22530 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 261833737 1830957056 9658 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22657] ppid=22646 vsize=1788044 CPUtime=0.45
/proc/22648/task/22657/stat : 22657 (java) S 22646 22648 22530 0 -1 64 2301 0 0 0 45 0 0 0 17 0 12 0 261833737 1830957056 9658 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22648/tid=22658] ppid=22646 vsize=1788044 CPUtime=0.56
/proc/22648/task/22658/stat : 22658 (java) S 22646 22648 22530 0 -1 64 2651 0 0 0 55 1 0 0 16 0 12 0 261833737 1830957056 9658 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22648/tid=22659] ppid=22646 vsize=1788044 CPUtime=0
/proc/22648/task/22659/stat : 22659 (java) S 22646 22648 22530 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 261833737 1830957056 9658 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22660] ppid=22646 vsize=1788044 CPUtime=0
/proc/22648/task/22660/stat : 22660 (java) S 22646 22648 22530 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 261833737 1830957056 9658 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 1788044

[startup+6.30169 s]
/proc/loadavg: 0.93 0.98 0.99 2/89 22660
/proc/meminfo: memFree=1749464/2055920 swapFree=4148808/4192956
[pid=22648] ppid=22646 vsize=1787992 CPUtime=7.09
/proc/22648/stat : 22648 (java) S 22646 22648 22530 0 -1 0 14221 0 1 0 701 8 0 0 18 0 12 0 261833726 1830903808 10754 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22648/statm: 446998 10754 1304 9 0 444610 0
[pid=22648/tid=22650] ppid=22646 vsize=1787992 CPUtime=5.91
/proc/22648/task/22650/stat : 22650 (java) R 22646 22648 22530 0 -1 64 8395 0 1 0 586 5 0 0 25 0 12 0 261833727 1830903808 10754 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109488271 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22648/tid=22651] ppid=22646 vsize=1787992 CPUtime=0
/proc/22648/task/22651/stat : 22651 (java) S 22646 22648 22530 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 261833729 1830903808 10754 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22652] ppid=22646 vsize=1787992 CPUtime=0
/proc/22648/task/22652/stat : 22652 (java) S 22646 22648 22530 0 -1 64 0 0 0 0 0 0 0 0 19 0 12 0 261833729 1830903808 10754 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22653] ppid=22646 vsize=1787992 CPUtime=0
/proc/22648/task/22653/stat : 22653 (java) S 22646 22648 22530 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 261833732 1830903808 10754 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22654] ppid=22646 vsize=1787992 CPUtime=0
/proc/22648/task/22654/stat : 22654 (java) S 22646 22648 22530 0 -1 64 10 0 0 0 0 0 0 0 21 0 12 0 261833732 1830903808 10754 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22655] ppid=22646 vsize=1787992 CPUtime=0
/proc/22648/task/22655/stat : 22655 (java) S 22646 22648 22530 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 261833732 1830903808 10754 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22656] ppid=22646 vsize=1787992 CPUtime=0
/proc/22648/task/22656/stat : 22656 (java) S 22646 22648 22530 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 261833737 1830903808 10754 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22657] ppid=22646 vsize=1787992 CPUtime=0.5
/proc/22648/task/22657/stat : 22657 (java) S 22646 22648 22530 0 -1 64 2304 0 0 0 50 0 0 0 16 0 12 0 261833737 1830903808 10754 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22658] ppid=22646 vsize=1787992 CPUtime=0.65
/proc/22648/task/22658/stat : 22658 (java) S 22646 22648 22530 0 -1 64 2805 0 0 0 64 1 0 0 16 0 12 0 261833737 1830903808 10754 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22659] ppid=22646 vsize=1787992 CPUtime=0
/proc/22648/task/22659/stat : 22659 (java) S 22646 22648 22530 0 -1 64 1 0 0 0 0 0 0 0 23 0 12 0 261833737 1830903808 10754 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22660] ppid=22646 vsize=1787992 CPUtime=0
/proc/22648/task/22660/stat : 22660 (java) S 22646 22648 22530 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 261833737 1830903808 10754 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 1787992

[startup+12.7013 s]
/proc/loadavg: 1.01 1.00 1.00 2/90 22663
/proc/meminfo: memFree=1608848/2055920 swapFree=4148808/4192956
[pid=22648] ppid=22646 vsize=1795724 CPUtime=15.39
/proc/22648/stat : 22648 (java) S 22646 22648 22530 0 -1 0 54653 0 1 0 1513 26 0 0 18 0 13 0 261833726 1838821376 45632 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22648/statm: 448931 45632 1327 9 0 446543 0
[pid=22648/tid=22650] ppid=22646 vsize=1795724 CPUtime=11.51
/proc/22648/task/22650/stat : 22650 (java) R 22646 22648 22530 0 -1 64 37753 0 1 0 1134 17 0 0 25 0 13 0 261833727 1838821376 45632 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109852788 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22651] ppid=22646 vsize=1795724 CPUtime=0.09
/proc/22648/task/22651/stat : 22651 (java) S 22646 22648 22530 0 -1 64 1589 0 0 0 9 0 0 0 16 0 13 0 261833729 1838821376 45632 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22648/tid=22652] ppid=22646 vsize=1795724 CPUtime=0.1
/proc/22648/task/22652/stat : 22652 (java) S 22646 22648 22530 0 -1 64 1874 0 0 0 10 0 0 0 16 0 13 0 261833729 1838821376 45632 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22653] ppid=22646 vsize=1795724 CPUtime=0
/proc/22648/task/22653/stat : 22653 (java) S 22646 22648 22530 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 261833732 1838821376 45632 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22648/tid=22654] ppid=22646 vsize=1795724 CPUtime=0
/proc/22648/task/22654/stat : 22654 (java) S 22646 22648 22530 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 261833732 1838821376 45632 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22648/tid=22655] ppid=22646 vsize=1795724 CPUtime=0
/proc/22648/task/22655/stat : 22655 (java) S 22646 22648 22530 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 261833732 1838821376 45632 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22648/tid=22656] ppid=22646 vsize=1795724 CPUtime=0
/proc/22648/task/22656/stat : 22656 (java) S 22646 22648 22530 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 261833737 1838821376 45632 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22657] ppid=22646 vsize=1795724 CPUtime=1.89
/proc/22648/task/22657/stat : 22657 (java) S 22646 22648 22530 0 -1 64 8129 0 0 0 186 3 0 0 16 0 13 0 261833737 1838821376 45632 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22648/tid=22658] ppid=22646 vsize=1795724 CPUtime=1.75
/proc/22648/task/22658/stat : 22658 (java) S 22646 22648 22530 0 -1 64 4572 0 0 0 172 3 0 0 16 0 13 0 261833737 1838821376 45632 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22659] ppid=22646 vsize=1795724 CPUtime=0
/proc/22648/task/22659/stat : 22659 (java) S 22646 22648 22530 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 261833737 1838821376 45632 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22660] ppid=22646 vsize=1795724 CPUtime=0
/proc/22648/task/22660/stat : 22660 (java) S 22646 22648 22530 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 261833737 1838821376 45632 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22648/tid=22663] ppid=22646 vsize=1795724 CPUtime=0
/proc/22648/task/22663/stat : 22663 (java) S 22646 22648 22530 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 261834773 1838821376 45632 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.39
Current children cumulated vsize (KiB) 1795724

[startup+25.5025 s]
/proc/loadavg: 1.22 1.05 1.02 2/90 22663
/proc/meminfo: memFree=1579984/2055920 swapFree=4148808/4192956
[pid=22648] ppid=22646 vsize=1794668 CPUtime=28.79
/proc/22648/stat : 22648 (java) S 22646 22648 22530 0 -1 0 65760 0 1 0 2849 30 0 0 18 0 13 0 261833726 1837740032 52687 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22648/statm: 448667 52687 1328 9 0 446279 0
[pid=22648/tid=22650] ppid=22646 vsize=1794668 CPUtime=23.81
/proc/22648/task/22650/stat : 22650 (java) R 22646 22648 22530 0 -1 64 40078 0 1 0 2363 18 0 0 21 0 13 0 261833727 1837740032 52687 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109891130 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22648/tid=22651] ppid=22646 vsize=1794668 CPUtime=0.34
/proc/22648/task/22651/stat : 22651 (java) S 22646 22648 22530 0 -1 64 4848 0 0 0 32 2 0 0 16 0 13 0 261833729 1837740032 52687 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22648/tid=22652] ppid=22646 vsize=1794668 CPUtime=0.34
/proc/22648/task/22652/stat : 22652 (java) S 22646 22648 22530 0 -1 64 6044 0 0 0 33 1 0 0 16 0 13 0 261833729 1837740032 52687 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22653] ppid=22646 vsize=1794668 CPUtime=0
/proc/22648/task/22653/stat : 22653 (java) S 22646 22648 22530 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 261833732 1837740032 52687 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22654] ppid=22646 vsize=1794668 CPUtime=0
/proc/22648/task/22654/stat : 22654 (java) S 22646 22648 22530 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 261833732 1837740032 52687 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22648/tid=22655] ppid=22646 vsize=1794668 CPUtime=0
/proc/22648/task/22655/stat : 22655 (java) S 22646 22648 22530 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 261833732 1837740032 52687 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0

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

/proc/22648/task/22657/stat : 22657 (java) S 22646 22648 22530 0 -1 64 8938 0 0 0 224 4 0 0 16 0 13 0 261833737 1836691456 200525 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22658] ppid=22646 vsize=1793644 CPUtime=2.31
/proc/22648/task/22658/stat : 22658 (java) S 22646 22648 22530 0 -1 64 5114 0 0 0 228 3 0 0 17 0 13 0 261833737 1836691456 200525 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22659] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22659/stat : 22659 (java) S 22646 22648 22530 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 261833737 1836691456 200525 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22660] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22660/stat : 22660 (java) S 22646 22648 22530 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 261833737 1836691456 200525 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22664] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22664/stat : 22664 (java) S 22646 22648 22530 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 261855572 1836691456 200525 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1584.95
Current children cumulated vsize (KiB) 1793644

[startup+1602.3 s]
/proc/loadavg: 1.06 1.06 1.01 2/90 22862
/proc/meminfo: memFree=972360/2055920 swapFree=4148808/4192956
[pid=22648] ppid=22646 vsize=1793644 CPUtime=1647.33
/proc/22648/stat : 22648 (java) S 22646 22648 22530 0 -1 0 248252 0 1 0 164585 148 0 0 18 0 13 0 261833726 1836691456 204234 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22648/statm: 448411 204234 1329 9 0 446023 0
[pid=22648/tid=22650] ppid=22646 vsize=1793644 CPUtime=1557.22
/proc/22648/task/22650/stat : 22650 (java) R 22646 22648 22530 0 -1 64 53092 0 1 0 155675 47 0 0 25 0 13 0 261833727 1836691456 204234 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109772678 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22651] ppid=22646 vsize=1793644 CPUtime=42.53
/proc/22648/task/22651/stat : 22651 (java) S 22646 22648 22530 0 -1 64 80710 0 0 0 4216 37 0 0 16 0 13 0 261833729 1836691456 204234 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22648/tid=22652] ppid=22646 vsize=1793644 CPUtime=42.57
/proc/22648/task/22652/stat : 22652 (java) S 22646 22648 22530 0 -1 64 99608 0 0 0 4217 40 0 0 16 0 13 0 261833729 1836691456 204234 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22653] ppid=22646 vsize=1793644 CPUtime=0.35
/proc/22648/task/22653/stat : 22653 (java) S 22646 22648 22530 0 -1 64 66 0 0 0 22 13 0 0 15 0 13 0 261833732 1836691456 204234 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22648/tid=22654] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22654/stat : 22654 (java) S 22646 22648 22530 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 261833732 1836691456 204234 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22648/tid=22655] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22655/stat : 22655 (java) S 22646 22648 22530 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 261833732 1836691456 204234 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22648/tid=22656] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22656/stat : 22656 (java) S 22646 22648 22530 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 261833737 1836691456 204234 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22657] ppid=22646 vsize=1793644 CPUtime=2.28
/proc/22648/task/22657/stat : 22657 (java) S 22646 22648 22530 0 -1 64 8938 0 0 0 224 4 0 0 16 0 13 0 261833737 1836691456 204234 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22658] ppid=22646 vsize=1793644 CPUtime=2.31
/proc/22648/task/22658/stat : 22658 (java) S 22646 22648 22530 0 -1 64 5114 0 0 0 228 3 0 0 17 0 13 0 261833737 1836691456 204234 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22659] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22659/stat : 22659 (java) S 22646 22648 22530 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 261833737 1836691456 204234 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22660] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22660/stat : 22660 (java) S 22646 22648 22530 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 261833737 1836691456 204234 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22664] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22664/stat : 22664 (java) S 22646 22648 22530 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 261855572 1836691456 204234 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1647.33
Current children cumulated vsize (KiB) 1793644

[startup+1662.3 s]
/proc/loadavg: 1.08 1.06 1.01 2/90 22862
/proc/meminfo: memFree=955464/2055920 swapFree=4148808/4192956
[pid=22648] ppid=22646 vsize=1793644 CPUtime=1709.84
/proc/22648/stat : 22648 (java) S 22646 22648 22530 0 -1 0 252756 0 1 0 170833 151 0 0 18 0 13 0 261833726 1836691456 208371 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22648/statm: 448411 208371 1329 9 0 446023 0
[pid=22648/tid=22650] ppid=22646 vsize=1793644 CPUtime=1614.62
/proc/22648/task/22650/stat : 22650 (java) R 22646 22648 22530 0 -1 64 53137 0 1 0 161414 48 0 0 25 0 13 0 261833727 1836691456 208371 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109852779 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22651] ppid=22646 vsize=1793644 CPUtime=45.1
/proc/22648/task/22651/stat : 22651 (java) S 22646 22648 22530 0 -1 64 83164 0 0 0 4471 39 0 0 16 0 13 0 261833729 1836691456 208371 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22652] ppid=22646 vsize=1793644 CPUtime=45.11
/proc/22648/task/22652/stat : 22652 (java) S 22646 22648 22530 0 -1 64 101613 0 0 0 4470 41 0 0 16 0 13 0 261833729 1836691456 208371 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22648/tid=22653] ppid=22646 vsize=1793644 CPUtime=0.36
/proc/22648/task/22653/stat : 22653 (java) S 22646 22648 22530 0 -1 64 66 0 0 0 23 13 0 0 15 0 13 0 261833732 1836691456 208371 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22654] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22654/stat : 22654 (java) S 22646 22648 22530 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 261833732 1836691456 208371 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22648/tid=22655] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22655/stat : 22655 (java) S 22646 22648 22530 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 261833732 1836691456 208371 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22648/tid=22656] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22656/stat : 22656 (java) S 22646 22648 22530 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 261833737 1836691456 208371 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22657] ppid=22646 vsize=1793644 CPUtime=2.28
/proc/22648/task/22657/stat : 22657 (java) S 22646 22648 22530 0 -1 64 8938 0 0 0 224 4 0 0 16 0 13 0 261833737 1836691456 208371 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22658] ppid=22646 vsize=1793644 CPUtime=2.31
/proc/22648/task/22658/stat : 22658 (java) S 22646 22648 22530 0 -1 64 5114 0 0 0 228 3 0 0 17 0 13 0 261833737 1836691456 208371 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22659] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22659/stat : 22659 (java) S 22646 22648 22530 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 261833737 1836691456 208371 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22660] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22660/stat : 22660 (java) S 22646 22648 22530 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 261833737 1836691456 208371 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22664] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22664/stat : 22664 (java) S 22646 22648 22530 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 261855572 1836691456 208371 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1709.84
Current children cumulated vsize (KiB) 1793644

[startup+1722.3 s]
/proc/loadavg: 1.19 1.08 1.02 4/90 22862
/proc/meminfo: memFree=937544/2055920 swapFree=4148808/4192956
[pid=22648] ppid=22646 vsize=1793644 CPUtime=1772.42
/proc/22648/stat : 22648 (java) S 22646 22648 22530 0 -1 0 257751 0 1 0 177088 154 0 0 18 0 13 0 261833726 1836691456 212954 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22648/statm: 448411 212954 1329 9 0 446023 0
[pid=22648/tid=22650] ppid=22646 vsize=1793644 CPUtime=1671.94
/proc/22648/task/22650/stat : 22650 (java) R 22646 22648 22530 0 -1 64 53182 0 1 0 167146 48 0 0 25 0 13 0 261833727 1836691456 212954 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4110005634 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22651] ppid=22646 vsize=1793644 CPUtime=47.72
/proc/22648/task/22651/stat : 22651 (java) S 22646 22648 22530 0 -1 64 86776 0 0 0 4732 40 0 0 16 0 13 0 261833729 1836691456 212954 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22652] ppid=22646 vsize=1793644 CPUtime=47.72
/proc/22648/task/22652/stat : 22652 (java) S 22646 22648 22530 0 -1 64 102951 0 0 0 4730 42 0 0 16 0 13 0 261833729 1836691456 212954 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22648/tid=22653] ppid=22646 vsize=1793644 CPUtime=0.37
/proc/22648/task/22653/stat : 22653 (java) S 22646 22648 22530 0 -1 64 66 0 0 0 23 14 0 0 16 0 13 0 261833732 1836691456 212954 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22654] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22654/stat : 22654 (java) S 22646 22648 22530 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 261833732 1836691456 212954 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22648/tid=22655] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22655/stat : 22655 (java) S 22646 22648 22530 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 261833732 1836691456 212954 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22648/tid=22656] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22656/stat : 22656 (java) S 22646 22648 22530 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 261833737 1836691456 212954 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22657] ppid=22646 vsize=1793644 CPUtime=2.28
/proc/22648/task/22657/stat : 22657 (java) S 22646 22648 22530 0 -1 64 8938 0 0 0 224 4 0 0 16 0 13 0 261833737 1836691456 212954 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22658] ppid=22646 vsize=1793644 CPUtime=2.31
/proc/22648/task/22658/stat : 22658 (java) S 22646 22648 22530 0 -1 64 5114 0 0 0 228 3 0 0 17 0 13 0 261833737 1836691456 212954 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22659] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22659/stat : 22659 (java) S 22646 22648 22530 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 261833737 1836691456 212954 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22660] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22660/stat : 22660 (java) S 22646 22648 22530 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 261833737 1836691456 212954 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22664] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22664/stat : 22664 (java) S 22646 22648 22530 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 261855572 1836691456 212954 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1772.42
Current children cumulated vsize (KiB) 1793644



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1748.8 s]
/proc/loadavg: 1.11 1.07 1.01 2/90 22862
/proc/meminfo: memFree=929608/2055920 swapFree=4148808/4192956
[pid=22648] ppid=22646 vsize=1793644 CPUtime=1800.03
/proc/22648/stat : 22648 (java) S 22646 22648 22530 0 -1 0 259741 0 1 0 179848 155 0 0 18 0 13 0 261833726 1836691456 214828 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22648/statm: 448411 214828 1329 9 0 446023 0
[pid=22648/tid=22650] ppid=22646 vsize=1793644 CPUtime=1697.29
/proc/22648/task/22650/stat : 22650 (java) R 22646 22648 22530 0 -1 64 53201 0 1 0 169681 48 0 0 25 0 13 0 261833727 1836691456 214828 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109772356 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22651] ppid=22646 vsize=1793644 CPUtime=48.85
/proc/22648/task/22651/stat : 22651 (java) S 22646 22648 22530 0 -1 64 88113 0 0 0 4845 40 0 0 16 0 13 0 261833729 1836691456 214828 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22648/tid=22652] ppid=22646 vsize=1793644 CPUtime=48.85
/proc/22648/task/22652/stat : 22652 (java) S 22646 22648 22530 0 -1 64 103585 0 0 0 4843 42 0 0 16 0 13 0 261833729 1836691456 214828 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22653] ppid=22646 vsize=1793644 CPUtime=0.38
/proc/22648/task/22653/stat : 22653 (java) S 22646 22648 22530 0 -1 64 66 0 0 0 24 14 0 0 16 0 13 0 261833732 1836691456 214828 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22654] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22654/stat : 22654 (java) S 22646 22648 22530 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 261833732 1836691456 214828 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22648/tid=22655] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22655/stat : 22655 (java) S 22646 22648 22530 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 261833732 1836691456 214828 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22648/tid=22656] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22656/stat : 22656 (java) S 22646 22648 22530 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 261833737 1836691456 214828 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22657] ppid=22646 vsize=1793644 CPUtime=2.28
/proc/22648/task/22657/stat : 22657 (java) S 22646 22648 22530 0 -1 64 8938 0 0 0 224 4 0 0 16 0 13 0 261833737 1836691456 214828 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22658] ppid=22646 vsize=1793644 CPUtime=2.31
/proc/22648/task/22658/stat : 22658 (java) S 22646 22648 22530 0 -1 64 5114 0 0 0 228 3 0 0 17 0 13 0 261833737 1836691456 214828 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22659] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22659/stat : 22659 (java) S 22646 22648 22530 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 261833737 1836691456 214828 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22660] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22660/stat : 22660 (java) S 22646 22648 22530 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 261833737 1836691456 214828 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22648/tid=22664] ppid=22646 vsize=1793644 CPUtime=0
/proc/22648/task/22664/stat : 22664 (java) S 22646 22648 22530 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 261855572 1836691456 214828 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1793644

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

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

[startup+1749.01 s]
/proc/loadavg: 1.11 1.07 1.01 4/93 22865
/proc/meminfo: memFree=929072/2055920 swapFree=4148808/4192956
[pid=22648] ppid=22646 vsize=0 CPUtime=1800.36
/proc/22648/stat : 22648 (java) Z 22646 22648 22530 0 -1 1036 259852 0 1 0 179879 157 0 0 15 0 2 0 261833726 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22648/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (KiB) 0

[startup+1749.1 s]
/proc/loadavg: 1.11 1.07 1.01 4/93 22865
/proc/meminfo: memFree=929072/2055920 swapFree=4148808/4192956
[pid=22648] ppid=22646 vsize=0 CPUtime=1800.45
/proc/22648/stat : 22648 (java) Z 22646 22648 22530 0 -1 1036 259852 0 1 0 179879 166 0 0 15 0 2 0 261833726 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22648/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1749.13
CPU time (s): 1800.49
CPU user time (s): 1798.79
CPU system time (s): 1.69474
CPU usage (%): 102.936
Max. virtual memory (cumulated for all children) (KiB): 1797704

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

runsolver used 1.92471 second user time and 5.00924 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Wed May  2 20:52:40 UTC 2007

IDJOB= 453462
IDBENCH= 48132
IDSOLVER= 160
FILE ID= node14/453462-1178139160

PBS_JOBID= 4751059

Free space on /tmp= 66561 MiB

SOLVER NAME= sat4jPseudoCP 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_4.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453462-1178139160/sat4jPseudoCP.jar /tmp/evaluation/453462-1178139160/instance-453462-1178139160.opb       
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-453462-1178139160 -o ROOT/results/node14/solver-453462-1178139160 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453462-1178139160/sat4jPseudoCP.jar /tmp/evaluation/453462-1178139160/instance-453462-1178139160.opb       

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  64354bd2b9c3cc2f1ca2c32032e5c032

RANDOM SEED= 902527225

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.227
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.227
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1787024 kB
Buffers:        109380 kB
Cached:          76124 kB
SwapCached:      11220 kB
Active:          93296 kB
Inactive:       116616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1787024 kB
SwapTotal:     4192956 kB
SwapFree:      4148808 kB
Dirty:            3752 kB
Writeback:           0 kB
Mapped:          29996 kB
Slab:            44508 kB
Committed_AS:  9220848 kB
PageTables:       1784 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB

End job on node14 on Wed May  2 21:21:51 UTC 2007