Trace number 453402

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)14 1800.28 1748.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_1.opb
MD5SUM88e7a647c6e46a38e952354158b1fb76
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.14
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 constraint44
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)6204
Sum of products size (including duplicates)12408
Number of different products6204
Sum of products size12408

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

Verifier Data (download as text)

OK	14

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 3739
/proc/meminfo: memFree=1710840/2055920 swapFree=4169108/4192956
[pid=3739] ppid=3737 vsize=1476 CPUtime=0
/proc/3739/stat : 3739 (java) R 3737 3739 1982 0 -1 0 126 0 0 0 0 0 0 0 18 0 1 0 261408100 1511424 100 18446744073709551615 134512640 134550740 4294956528 18446744073709551615 4160642160 0 0 4096 0 0 0 0 17 1 0 0
/proc/3739/statm: 402 106 82 9 0 44 0

[startup+0.0215799 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 3739
/proc/meminfo: memFree=1710840/2055920 swapFree=4169108/4192956
[pid=3739] ppid=3737 vsize=12652 CPUtime=0
/proc/3739/stat : 3739 (java) S 3737 3739 1982 0 -1 0 877 0 1 0 0 0 0 0 18 0 2 0 261408100 12955648 635 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/3739/statm: 3163 635 311 9 0 1243 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12652

[startup+0.101592 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 3739
/proc/meminfo: memFree=1710840/2055920 swapFree=4169108/4192956
[pid=3739] ppid=3737 vsize=1777708 CPUtime=0.05
/proc/3739/stat : 3739 (java) S 3737 3739 1982 0 -1 0 3690 0 1 0 3 2 0 0 18 0 7 0 261408100 1820372992 3434 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/3739/statm: 444427 3434 1081 9 0 442063 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1777708

[startup+0.301606 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 3739
/proc/meminfo: memFree=1710840/2055920 swapFree=4169108/4192956
[pid=3739] ppid=3737 vsize=1782288 CPUtime=0.27
/proc/3739/stat : 3739 (java) S 3737 3739 1982 0 -1 0 5097 0 1 0 24 3 0 0 18 0 12 0 261408100 1825062912 4837 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3739/statm: 445572 4837 1249 9 0 443184 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 1782288

[startup+0.701645 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 3739
/proc/meminfo: memFree=1710840/2055920 swapFree=4169108/4192956
[pid=3739] ppid=3737 vsize=1782476 CPUtime=0.85
/proc/3739/stat : 3739 (java) S 3737 3739 1982 0 -1 0 6102 0 1 0 82 3 0 0 18 0 12 0 261408100 1825255424 5804 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3739/statm: 445619 5804 1301 9 0 443231 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 1782476

[startup+1.50172 s]
/proc/loadavg: 1.00 1.00 1.00 2/89 3751
/proc/meminfo: memFree=1685784/2055920 swapFree=4169108/4192956
[pid=3739] ppid=3737 vsize=1788312 CPUtime=2.07
/proc/3739/stat : 3739 (java) S 3737 3739 1982 0 -1 0 11685 0 1 0 201 6 0 0 18 0 12 0 261408100 1831231488 8446 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3739/statm: 447078 8446 1304 9 0 444690 0
[pid=3739/tid=3741] ppid=3737 vsize=1788312 CPUtime=1.13
/proc/3739/task/3741/stat : 3741 (java) R 3737 3739 1982 0 -1 64 6005 0 1 0 110 3 0 0 22 0 12 0 261408101 1831231488 8446 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109214950 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3742] ppid=3737 vsize=1788312 CPUtime=0
/proc/3739/task/3742/stat : 3742 (java) S 3737 3739 1982 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 261408106 1831231488 8446 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3743] ppid=3737 vsize=1788312 CPUtime=0
/proc/3739/task/3743/stat : 3743 (java) S 3737 3739 1982 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 261408106 1831231488 8446 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3744] ppid=3737 vsize=1788312 CPUtime=0
/proc/3739/task/3744/stat : 3744 (java) S 3737 3739 1982 0 -1 64 1 0 0 0 0 0 0 0 17 0 12 0 261408108 1831231488 8446 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3745] ppid=3737 vsize=1788312 CPUtime=0
/proc/3739/task/3745/stat : 3745 (java) S 3737 3739 1982 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 261408109 1831231488 8446 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3746] ppid=3737 vsize=1788312 CPUtime=0
/proc/3739/task/3746/stat : 3746 (java) S 3737 3739 1982 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 261408109 1831231488 8446 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3747] ppid=3737 vsize=1788312 CPUtime=0
/proc/3739/task/3747/stat : 3747 (java) S 3737 3739 1982 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 261408112 1831231488 8446 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3748] ppid=3737 vsize=1788312 CPUtime=0.49
/proc/3739/task/3748/stat : 3748 (java) S 3737 3739 1982 0 -1 64 2742 0 0 0 48 1 0 0 16 0 12 0 261408112 1831231488 8446 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3749] ppid=3737 vsize=1788312 CPUtime=0.42
/proc/3739/task/3749/stat : 3749 (java) S 3737 3739 1982 0 -1 64 2220 0 0 0 42 0 0 0 16 0 12 0 261408113 1831231488 8446 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3750] ppid=3737 vsize=1788312 CPUtime=0
/proc/3739/task/3750/stat : 3750 (java) S 3737 3739 1982 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 261408113 1831231488 8446 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3751] ppid=3737 vsize=1788312 CPUtime=0
/proc/3739/task/3751/stat : 3751 (java) R 3737 3739 1982 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 261408113 1831231488 8446 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 1788312

[startup+3.10187 s]
/proc/loadavg: 1.00 1.00 1.00 2/89 3751
/proc/meminfo: memFree=1679448/2055920 swapFree=4169108/4192956
[pid=3739] ppid=3737 vsize=1788312 CPUtime=3.73
/proc/3739/stat : 3739 (java) S 3737 3739 1982 0 -1 0 12852 0 1 0 366 7 0 0 18 0 12 0 261408100 1831231488 9612 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3739/statm: 447078 9612 1304 9 0 444690 0
[pid=3739/tid=3741] ppid=3737 vsize=1788312 CPUtime=2.68
/proc/3739/task/3741/stat : 3741 (java) R 3737 3739 1982 0 -1 64 7165 0 1 0 264 4 0 0 25 0 12 0 261408101 1831231488 9612 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109488250 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3742] ppid=3737 vsize=1788312 CPUtime=0
/proc/3739/task/3742/stat : 3742 (java) S 3737 3739 1982 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 261408106 1831231488 9612 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3743] ppid=3737 vsize=1788312 CPUtime=0
/proc/3739/task/3743/stat : 3743 (java) S 3737 3739 1982 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 261408106 1831231488 9612 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3744] ppid=3737 vsize=1788312 CPUtime=0
/proc/3739/task/3744/stat : 3744 (java) S 3737 3739 1982 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 261408108 1831231488 9612 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3745] ppid=3737 vsize=1788312 CPUtime=0
/proc/3739/task/3745/stat : 3745 (java) S 3737 3739 1982 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 261408109 1831231488 9612 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3746] ppid=3737 vsize=1788312 CPUtime=0
/proc/3739/task/3746/stat : 3746 (java) S 3737 3739 1982 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 261408109 1831231488 9612 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3747] ppid=3737 vsize=1788312 CPUtime=0
/proc/3739/task/3747/stat : 3747 (java) S 3737 3739 1982 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 261408112 1831231488 9612 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3748] ppid=3737 vsize=1788312 CPUtime=0.53
/proc/3739/task/3748/stat : 3748 (java) S 3737 3739 1982 0 -1 64 2743 0 0 0 52 1 0 0 16 0 12 0 261408112 1831231488 9612 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3749] ppid=3737 vsize=1788312 CPUtime=0.49
/proc/3739/task/3749/stat : 3749 (java) S 3737 3739 1982 0 -1 64 2226 0 0 0 49 0 0 0 16 0 12 0 261408113 1831231488 9612 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3750] ppid=3737 vsize=1788312 CPUtime=0
/proc/3739/task/3750/stat : 3750 (java) S 3737 3739 1982 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 261408113 1831231488 9612 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3751] ppid=3737 vsize=1788312 CPUtime=0
/proc/3739/task/3751/stat : 3751 (java) S 3737 3739 1982 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 261408113 1831231488 9612 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 1788312

[startup+6.30215 s]
/proc/loadavg: 1.00 1.00 1.00 3/89 3751
/proc/meminfo: memFree=1672984/2055920 swapFree=4169108/4192956
[pid=3739] ppid=3737 vsize=1788312 CPUtime=7.02
/proc/3739/stat : 3739 (java) S 3737 3739 1982 0 -1 0 14095 0 1 0 692 10 0 0 18 0 12 0 261408100 1831231488 10854 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3739/statm: 447078 10854 1304 9 0 444690 0
[pid=3739/tid=3741] ppid=3737 vsize=1788312 CPUtime=5.82
/proc/3739/task/3741/stat : 3741 (java) R 3737 3739 1982 0 -1 64 8393 0 1 0 576 6 0 0 25 0 12 0 261408101 1831231488 10854 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109487832 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3742] ppid=3737 vsize=1788312 CPUtime=0
/proc/3739/task/3742/stat : 3742 (java) S 3737 3739 1982 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 261408106 1831231488 10854 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3743] ppid=3737 vsize=1788312 CPUtime=0
/proc/3739/task/3743/stat : 3743 (java) S 3737 3739 1982 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 261408106 1831231488 10854 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3744] ppid=3737 vsize=1788312 CPUtime=0
/proc/3739/task/3744/stat : 3744 (java) S 3737 3739 1982 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 261408108 1831231488 10854 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3745] ppid=3737 vsize=1788312 CPUtime=0
/proc/3739/task/3745/stat : 3745 (java) S 3737 3739 1982 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 261408109 1831231488 10854 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3746] ppid=3737 vsize=1788312 CPUtime=0
/proc/3739/task/3746/stat : 3746 (java) S 3737 3739 1982 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 261408109 1831231488 10854 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3747] ppid=3737 vsize=1788312 CPUtime=0
/proc/3739/task/3747/stat : 3747 (java) S 3737 3739 1982 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 261408112 1831231488 10854 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3748] ppid=3737 vsize=1788312 CPUtime=0.6
/proc/3739/task/3748/stat : 3748 (java) S 3737 3739 1982 0 -1 64 2752 0 0 0 59 1 0 0 16 0 12 0 261408112 1831231488 10854 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3749] ppid=3737 vsize=1788312 CPUtime=0.56
/proc/3739/task/3749/stat : 3749 (java) S 3737 3739 1982 0 -1 64 2232 0 0 0 56 0 0 0 16 0 12 0 261408113 1831231488 10854 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3750] ppid=3737 vsize=1788312 CPUtime=0
/proc/3739/task/3750/stat : 3750 (java) S 3737 3739 1982 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 261408113 1831231488 10854 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3751] ppid=3737 vsize=1788312 CPUtime=0
/proc/3739/task/3751/stat : 3751 (java) S 3737 3739 1982 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 261408113 1831231488 10854 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.02
Current children cumulated vsize (KiB) 1788312

[startup+12.7027 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 3753
/proc/meminfo: memFree=1534488/2055920 swapFree=4169108/4192956
[pid=3739] ppid=3737 vsize=1793536 CPUtime=15.23
/proc/3739/stat : 3739 (java) S 3737 3739 1982 0 -1 0 53149 0 1 0 1494 29 0 0 18 0 13 0 261408100 1836580864 45347 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3739/statm: 448384 45347 1327 9 0 445996 0
[pid=3739/tid=3741] ppid=3737 vsize=1793536 CPUtime=11.44
/proc/3739/task/3741/stat : 3741 (java) R 3737 3739 1982 0 -1 64 37733 0 1 0 1124 20 0 0 25 0 13 0 261408101 1836580864 45347 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109606500 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3742] ppid=3737 vsize=1793536 CPUtime=0.13
/proc/3739/task/3742/stat : 3742 (java) S 3737 3739 1982 0 -1 64 1897 0 0 0 12 1 0 0 17 0 13 0 261408106 1836580864 45347 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3743] ppid=3737 vsize=1793536 CPUtime=0.13
/proc/3739/task/3743/stat : 3743 (java) S 3737 3739 1982 0 -1 64 1780 0 0 0 12 1 0 0 16 0 13 0 261408106 1836580864 45347 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3744] ppid=3737 vsize=1793536 CPUtime=0
/proc/3739/task/3744/stat : 3744 (java) S 3737 3739 1982 0 -1 64 14 0 0 0 0 0 0 0 17 0 13 0 261408108 1836580864 45347 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3745] ppid=3737 vsize=1793536 CPUtime=0
/proc/3739/task/3745/stat : 3745 (java) S 3737 3739 1982 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 261408109 1836580864 45347 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3746] ppid=3737 vsize=1793536 CPUtime=0
/proc/3739/task/3746/stat : 3746 (java) S 3737 3739 1982 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 261408109 1836580864 45347 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3747] ppid=3737 vsize=1793536 CPUtime=0
/proc/3739/task/3747/stat : 3747 (java) S 3737 3739 1982 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 261408112 1836580864 45347 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3748] ppid=3737 vsize=1793536 CPUtime=2.02
/proc/3739/task/3748/stat : 3748 (java) S 3737 3739 1982 0 -1 64 7167 0 0 0 199 3 0 0 16 0 13 0 261408112 1836580864 45347 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3749] ppid=3737 vsize=1793536 CPUtime=1.46
/proc/3739/task/3749/stat : 3749 (java) S 3737 3739 1982 0 -1 64 3836 0 0 0 145 1 0 0 15 0 13 0 261408113 1836580864 45347 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3750] ppid=3737 vsize=1793536 CPUtime=0
/proc/3739/task/3750/stat : 3750 (java) S 3737 3739 1982 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 261408113 1836580864 45347 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3751] ppid=3737 vsize=1793536 CPUtime=0
/proc/3739/task/3751/stat : 3751 (java) S 3737 3739 1982 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 261408113 1836580864 45347 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3753] ppid=3737 vsize=1793536 CPUtime=0
/proc/3739/task/3753/stat : 3753 (java) S 3737 3739 1982 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 261409019 1836580864 45347 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.23
Current children cumulated vsize (KiB) 1793536

[startup+25.5029 s]
/proc/loadavg: 1.07 1.02 1.00 2/90 3754
/proc/meminfo: memFree=1503696/2055920 swapFree=4169108/4192956
[pid=3739] ppid=3737 vsize=1793504 CPUtime=28.78
/proc/3739/stat : 3739 (java) S 3737 3739 1982 0 -1 0 65542 0 1 0 2843 35 0 0 18 0 13 0 261408100 1836548096 52917 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3739/statm: 448376 52917 1328 9 0 445988 0
[pid=3739/tid=3741] ppid=3737 vsize=1793504 CPUtime=23.73
/proc/3739/task/3741/stat : 3741 (java) R 3737 3739 1982 0 -1 64 40101 0 1 0 2352 21 0 0 25 0 13 0 261408101 1836548096 52917 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109606172 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3742] ppid=3737 vsize=1793504 CPUtime=0.36
/proc/3739/task/3742/stat : 3742 (java) S 3737 3739 1982 0 -1 64 5849 0 0 0 33 3 0 0 16 0 13 0 261408106 1836548096 52917 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3743] ppid=3737 vsize=1793504 CPUtime=0.35
/proc/3739/task/3743/stat : 3743 (java) S 3737 3739 1982 0 -1 64 5280 0 0 0 33 2 0 0 16 0 13 0 261408106 1836548096 52917 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3744] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3744/stat : 3744 (java) S 3737 3739 1982 0 -1 64 31 0 0 0 0 0 0 0 15 0 13 0 261408108 1836548096 52917 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3745] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3745/stat : 3745 (java) S 3737 3739 1982 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 261408109 1836548096 52917 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3746] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3746/stat : 3746 (java) S 3737 3739 1982 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 261408109 1836548096 52917 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=3739/tid=3744] ppid=3737 vsize=1793504 CPUtime=0.36
/proc/3739/task/3744/stat : 3744 (java) S 3737 3739 1982 0 -1 64 73 0 0 0 22 14 0 0 16 0 13 0 261408108 1836548096 199835 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3745] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3745/stat : 3745 (java) S 3737 3739 1982 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 261408109 1836548096 199835 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3746] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3746/stat : 3746 (java) S 3737 3739 1982 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 261408109 1836548096 199835 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3747] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3747/stat : 3747 (java) S 3737 3739 1982 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 261408112 1836548096 199835 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3748] ppid=3737 vsize=1793504 CPUtime=2.39
/proc/3739/task/3748/stat : 3748 (java) S 3737 3739 1982 0 -1 64 8065 0 0 0 235 4 0 0 16 0 13 0 261408112 1836548096 199835 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3749] ppid=3737 vsize=1793504 CPUtime=1.97
/proc/3739/task/3749/stat : 3749 (java) S 3737 3739 1982 0 -1 64 5493 0 0 0 195 2 0 0 17 0 13 0 261408113 1836548096 199835 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3750] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3750/stat : 3750 (java) S 3737 3739 1982 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 261408113 1836548096 199835 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3751] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3751/stat : 3751 (java) S 3737 3739 1982 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 261408113 1836548096 199835 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3754] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3754/stat : 3754 (java) S 3737 3739 1982 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 261409648 1836548096 199835 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1584.98
Current children cumulated vsize (KiB) 1793504

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 3952
/proc/meminfo: memFree=896784/2055920 swapFree=4169108/4192956
[pid=3739] ppid=3737 vsize=1793504 CPUtime=1647.35
/proc/3739/stat : 3739 (java) S 3737 3739 1982 0 -1 0 246824 0 1 0 164586 149 0 0 18 0 13 0 261408100 1836548096 204207 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3739/statm: 448376 204207 1329 9 0 445988 0
[pid=3739/tid=3741] ppid=3737 vsize=1793504 CPUtime=1556.81
/proc/3739/task/3741/stat : 3741 (java) R 3737 3739 1982 0 -1 64 53663 0 1 0 155639 42 0 0 25 0 13 0 261408101 1836548096 204207 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109833507 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3742] ppid=3737 vsize=1793504 CPUtime=42.87
/proc/3739/task/3742/stat : 3742 (java) S 3737 3739 1982 0 -1 64 93908 0 0 0 4243 44 0 0 17 0 13 0 261408106 1836548096 204207 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3743] ppid=3737 vsize=1793504 CPUtime=42.86
/proc/3739/task/3743/stat : 3743 (java) S 3737 3739 1982 0 -1 64 84898 0 0 0 4247 39 0 0 16 0 13 0 261408106 1836548096 204207 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3744] ppid=3737 vsize=1793504 CPUtime=0.38
/proc/3739/task/3744/stat : 3744 (java) S 3737 3739 1982 0 -1 64 73 0 0 0 23 15 0 0 15 0 13 0 261408108 1836548096 204207 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3745] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3745/stat : 3745 (java) S 3737 3739 1982 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 261408109 1836548096 204207 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3746] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3746/stat : 3746 (java) S 3737 3739 1982 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 261408109 1836548096 204207 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3747] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3747/stat : 3747 (java) S 3737 3739 1982 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 261408112 1836548096 204207 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3748] ppid=3737 vsize=1793504 CPUtime=2.39
/proc/3739/task/3748/stat : 3748 (java) S 3737 3739 1982 0 -1 64 8065 0 0 0 235 4 0 0 16 0 13 0 261408112 1836548096 204207 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3749] ppid=3737 vsize=1793504 CPUtime=1.97
/proc/3739/task/3749/stat : 3749 (java) S 3737 3739 1982 0 -1 64 5493 0 0 0 195 2 0 0 17 0 13 0 261408113 1836548096 204207 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3750] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3750/stat : 3750 (java) S 3737 3739 1982 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 261408113 1836548096 204207 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3751] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3751/stat : 3751 (java) S 3737 3739 1982 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 261408113 1836548096 204207 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3754] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3754/stat : 3754 (java) S 3737 3739 1982 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 261409648 1836548096 204207 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1647.35
Current children cumulated vsize (KiB) 1793504

[startup+1662.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/90 3952
/proc/meminfo: memFree=868368/2055920 swapFree=4169108/4192956
[pid=3739] ppid=3737 vsize=1793504 CPUtime=1709.93
/proc/3739/stat : 3739 (java) S 3737 3739 1982 0 -1 0 254314 0 1 0 170840 153 0 0 18 0 13 0 261408100 1836548096 211298 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3739/statm: 448376 211298 1329 9 0 445988 0
[pid=3739/tid=3741] ppid=3737 vsize=1793504 CPUtime=1614.17
/proc/3739/task/3741/stat : 3741 (java) R 3737 3739 1982 0 -1 64 53712 0 1 0 161375 42 0 0 25 0 13 0 261408101 1836548096 211298 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109606680 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3742] ppid=3737 vsize=1793504 CPUtime=45.47
/proc/3739/task/3742/stat : 3742 (java) S 3737 3739 1982 0 -1 64 98194 0 0 0 4502 45 0 0 17 0 13 0 261408106 1836548096 211298 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3743] ppid=3737 vsize=1793504 CPUtime=45.47
/proc/3739/task/3743/stat : 3743 (java) S 3737 3739 1982 0 -1 64 88052 0 0 0 4506 41 0 0 16 0 13 0 261408106 1836548096 211298 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3744] ppid=3737 vsize=1793504 CPUtime=0.4
/proc/3739/task/3744/stat : 3744 (java) S 3737 3739 1982 0 -1 64 74 0 0 0 24 16 0 0 15 0 13 0 261408108 1836548096 211298 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3745] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3745/stat : 3745 (java) S 3737 3739 1982 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 261408109 1836548096 211298 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3746] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3746/stat : 3746 (java) S 3737 3739 1982 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 261408109 1836548096 211298 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3747] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3747/stat : 3747 (java) S 3737 3739 1982 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 261408112 1836548096 211298 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3748] ppid=3737 vsize=1793504 CPUtime=2.39
/proc/3739/task/3748/stat : 3748 (java) S 3737 3739 1982 0 -1 64 8065 0 0 0 235 4 0 0 16 0 13 0 261408112 1836548096 211298 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3749] ppid=3737 vsize=1793504 CPUtime=1.97
/proc/3739/task/3749/stat : 3749 (java) S 3737 3739 1982 0 -1 64 5493 0 0 0 195 2 0 0 17 0 13 0 261408113 1836548096 211298 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3750] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3750/stat : 3750 (java) S 3737 3739 1982 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 261408113 1836548096 211298 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3751] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3751/stat : 3751 (java) S 3737 3739 1982 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 261408113 1836548096 211298 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3754] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3754/stat : 3754 (java) S 3737 3739 1982 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 261409648 1836548096 211298 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1709.93
Current children cumulated vsize (KiB) 1793504

[startup+1722.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/90 3952
/proc/meminfo: memFree=849872/2055920 swapFree=4169108/4192956
[pid=3739] ppid=3737 vsize=1793504 CPUtime=1772.69
/proc/3739/stat : 3739 (java) S 3737 3739 1982 0 -1 0 259395 0 1 0 177113 156 0 0 18 0 13 0 261408100 1836548096 215988 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3739/statm: 448376 215988 1329 9 0 445988 0
[pid=3739/tid=3741] ppid=3737 vsize=1793504 CPUtime=1671.33
/proc/3739/task/3741/stat : 3741 (java) R 3737 3739 1982 0 -1 64 53761 0 1 0 167091 42 0 0 19 0 13 0 261408101 1836548096 215988 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109842842 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3742] ppid=3737 vsize=1793504 CPUtime=48.27
/proc/3739/task/3742/stat : 3742 (java) S 3737 3739 1982 0 -1 64 101217 0 0 0 4780 47 0 0 16 0 13 0 261408106 1836548096 215988 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3743] ppid=3737 vsize=1793504 CPUtime=48.26
/proc/3739/task/3743/stat : 3743 (java) S 3737 3739 1982 0 -1 64 90061 0 0 0 4784 42 0 0 17 0 13 0 261408106 1836548096 215988 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3744] ppid=3737 vsize=1793504 CPUtime=0.4
/proc/3739/task/3744/stat : 3744 (java) S 3737 3739 1982 0 -1 64 74 0 0 0 24 16 0 0 15 0 13 0 261408108 1836548096 215988 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3745] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3745/stat : 3745 (java) S 3737 3739 1982 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 261408109 1836548096 215988 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3746] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3746/stat : 3746 (java) S 3737 3739 1982 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 261408109 1836548096 215988 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3747] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3747/stat : 3747 (java) S 3737 3739 1982 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 261408112 1836548096 215988 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3748] ppid=3737 vsize=1793504 CPUtime=2.39
/proc/3739/task/3748/stat : 3748 (java) S 3737 3739 1982 0 -1 64 8065 0 0 0 235 4 0 0 16 0 13 0 261408112 1836548096 215988 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3749] ppid=3737 vsize=1793504 CPUtime=1.97
/proc/3739/task/3749/stat : 3749 (java) S 3737 3739 1982 0 -1 64 5493 0 0 0 195 2 0 0 17 0 13 0 261408113 1836548096 215988 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3750] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3750/stat : 3750 (java) S 3737 3739 1982 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 261408113 1836548096 215988 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3751] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3751/stat : 3751 (java) S 3737 3739 1982 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 261408113 1836548096 215988 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3754] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3754/stat : 3754 (java) S 3737 3739 1982 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 261409648 1836548096 215988 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1772.69
Current children cumulated vsize (KiB) 1793504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1748.4 s]
/proc/loadavg: 1.04 1.02 1.00 2/90 3952
/proc/meminfo: memFree=841488/2055920 swapFree=4169108/4192956
[pid=3739] ppid=3737 vsize=1793504 CPUtime=1800
/proc/3739/stat : 3739 (java) S 3737 3739 1982 0 -1 0 261618 0 1 0 179842 158 0 0 18 0 13 0 261408100 1836548096 217990 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3739/statm: 448376 217990 1329 9 0 445988 0
[pid=3739/tid=3741] ppid=3737 vsize=1793504 CPUtime=1696.22
/proc/3739/task/3741/stat : 3741 (java) R 3737 3739 1982 0 -1 64 53782 0 1 0 169579 43 0 0 25 0 13 0 261408101 1836548096 217990 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109939203 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3742] ppid=3737 vsize=1793504 CPUtime=49.48
/proc/3739/task/3742/stat : 3742 (java) S 3737 3739 1982 0 -1 64 102938 0 0 0 4901 47 0 0 16 0 13 0 261408106 1836548096 217990 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3743] ppid=3737 vsize=1793504 CPUtime=49.47
/proc/3739/task/3743/stat : 3743 (java) S 3737 3739 1982 0 -1 64 90542 0 0 0 4905 42 0 0 16 0 13 0 261408106 1836548096 217990 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3744] ppid=3737 vsize=1793504 CPUtime=0.41
/proc/3739/task/3744/stat : 3744 (java) S 3737 3739 1982 0 -1 64 74 0 0 0 25 16 0 0 15 0 13 0 261408108 1836548096 217990 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3745] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3745/stat : 3745 (java) S 3737 3739 1982 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 261408109 1836548096 217990 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3746] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3746/stat : 3746 (java) S 3737 3739 1982 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 261408109 1836548096 217990 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3747] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3747/stat : 3747 (java) S 3737 3739 1982 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 261408112 1836548096 217990 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3748] ppid=3737 vsize=1793504 CPUtime=2.39
/proc/3739/task/3748/stat : 3748 (java) S 3737 3739 1982 0 -1 64 8065 0 0 0 235 4 0 0 16 0 13 0 261408112 1836548096 217990 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3749] ppid=3737 vsize=1793504 CPUtime=1.97
/proc/3739/task/3749/stat : 3749 (java) S 3737 3739 1982 0 -1 64 5493 0 0 0 195 2 0 0 17 0 13 0 261408113 1836548096 217990 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3739/tid=3750] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3750/stat : 3750 (java) S 3737 3739 1982 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 261408113 1836548096 217990 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3751] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3751/stat : 3751 (java) S 3737 3739 1982 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 261408113 1836548096 217990 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3739/tid=3754] ppid=3737 vsize=1793504 CPUtime=0
/proc/3739/task/3754/stat : 3754 (java) S 3737 3739 1982 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 261409648 1836548096 217990 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1793504

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

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

[startup+1748.6 s]
/proc/loadavg: 1.04 1.02 1.00 2/90 3952
/proc/meminfo: memFree=841488/2055920 swapFree=4169108/4192956
[pid=3739] ppid=3737 vsize=0 CPUtime=1800.25
/proc/3739/stat : 3739 (java) Z 3737 3739 1982 0 -1 1036 261637 0 1 0 179856 169 0 0 15 0 2 0 261408100 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3739/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1748.62
CPU time (s): 1800.28
CPU user time (s): 1798.57
CPU system time (s): 1.71574
CPU usage (%): 102.954
Max. virtual memory (cumulated for all children) (KiB): 1795488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.57
system time used= 1.71574
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 261637
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= 51051
involuntary context switches= 62084

runsolver used 1.89071 second user time and 4.96724 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Wed May  2 19:41:45 UTC 2007

IDJOB= 453402
IDBENCH= 48128
IDSOLVER= 160
FILE ID= node15/453402-1178134905

PBS_JOBID= 4751049

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_1.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453402-1178134905/sat4jPseudoCP.jar /tmp/evaluation/453402-1178134905/instance-453402-1178134905.opb       
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-453402-1178134905 -o ROOT/results/node15/solver-453402-1178134905 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453402-1178134905/sat4jPseudoCP.jar /tmp/evaluation/453402-1178134905/instance-453402-1178134905.opb       

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  88e7a647c6e46a38e952354158b1fb76

RANDOM SEED= 436118502

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node15.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:       1711184 kB
Buffers:        118280 kB
Cached:         131172 kB
SwapCached:       2420 kB
Active:         200844 kB
Inactive:        78376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1711184 kB
SwapTotal:     4192956 kB
SwapFree:      4169108 kB
Dirty:            3664 kB
Writeback:           0 kB
Mapped:          33784 kB
Slab:            50936 kB
Committed_AS: 10509824 kB
PageTables:       1876 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 node15 on Wed May  2 20:10:55 UTC 2007