Trace number 453466

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
sat4jPseudoCPClause 2007-03-23SAT (TO)15 1800.32 1742.45

General information on the benchmark

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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

OK	15

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.97 0.97 2/77 15053
/proc/meminfo: memFree=1781248/2055920 swapFree=4145576/4192956
[pid=15053] ppid=15051 vsize=1800 CPUtime=0
/proc/15053/stat : 15053 (java) R 15051 15053 14920 0 -1 0 159 0 0 0 0 0 0 0 18 0 1 0 289959138 1843200 133 18446744073709551615 134512640 134550740 4294956512 18446744073709551615 9270176 0 0 4096 0 0 0 0 17 1 0 0
/proc/15053/statm: 450 138 101 9 0 92 0

[startup+0.0981911 s]
/proc/loadavg: 0.92 0.97 0.97 2/77 15053
/proc/meminfo: memFree=1781248/2055920 swapFree=4145576/4192956
[pid=15053] ppid=15051 vsize=1780112 CPUtime=0.08
/proc/15053/stat : 15053 (java) S 15051 15053 14920 0 -1 0 3968 0 1 0 5 3 0 0 18 0 12 0 289959138 1822834688 3711 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15053/statm: 445028 3711 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780112

[startup+0.101189 s]
/proc/loadavg: 0.92 0.97 0.97 2/77 15053
/proc/meminfo: memFree=1781248/2055920 swapFree=4145576/4192956
[pid=15053] ppid=15051 vsize=1780112 CPUtime=0.08
/proc/15053/stat : 15053 (java) S 15051 15053 14920 0 -1 0 3979 0 1 0 5 3 0 0 18 0 12 0 289959138 1822834688 3722 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15053/statm: 445028 3722 1123 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780112

[startup+0.301236 s]
/proc/loadavg: 0.92 0.97 0.97 2/77 15053
/proc/meminfo: memFree=1781248/2055920 swapFree=4145576/4192956
[pid=15053] ppid=15051 vsize=1782424 CPUtime=0.31
/proc/15053/stat : 15053 (java) S 15051 15053 14920 0 -1 0 5162 0 1 0 27 4 0 0 18 0 12 0 289959138 1825202176 4901 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15053/statm: 445606 4901 1262 9 0 443217 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 1782424

[startup+0.70132 s]
/proc/loadavg: 0.92 0.97 0.97 2/77 15053
/proc/meminfo: memFree=1781248/2055920 swapFree=4145576/4192956
[pid=15053] ppid=15051 vsize=1782860 CPUtime=0.86
/proc/15053/stat : 15053 (java) S 15051 15053 14920 0 -1 0 6177 0 1 0 81 5 0 0 18 0 12 0 289959138 1825648640 5863 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15053/statm: 445715 5863 1301 9 0 443326 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 1782860

[startup+1.50249 s]
/proc/loadavg: 0.92 0.97 0.97 3/89 15065
/proc/meminfo: memFree=1756448/2055920 swapFree=4145576/4192956
[pid=15053] ppid=15051 vsize=1787316 CPUtime=2.05
/proc/15053/stat : 15053 (java) S 15051 15053 14920 0 -1 0 11678 0 1 0 198 7 0 0 18 0 12 0 289959138 1830211584 8341 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15053/statm: 446829 8341 1304 9 0 444440 0
[pid=15053/tid=15055] ppid=15051 vsize=1787316 CPUtime=1.13
/proc/15053/task/15055/stat : 15055 (java) R 15051 15053 14920 0 -1 64 5993 0 1 0 109 4 0 0 25 0 12 0 289959139 1830211584 8341 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109486394 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15056] ppid=15051 vsize=1787316 CPUtime=0
/proc/15053/task/15056/stat : 15056 (java) S 15051 15053 14920 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 289959141 1830211584 8341 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15057] ppid=15051 vsize=1787316 CPUtime=0
/proc/15053/task/15057/stat : 15057 (java) S 15051 15053 14920 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 289959141 1830211584 8341 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15058] ppid=15051 vsize=1787316 CPUtime=0
/proc/15053/task/15058/stat : 15058 (java) S 15051 15053 14920 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 289959143 1830211584 8341 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15059] ppid=15051 vsize=1787316 CPUtime=0
/proc/15053/task/15059/stat : 15059 (java) S 15051 15053 14920 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 289959143 1830211584 8341 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15060] ppid=15051 vsize=1787316 CPUtime=0
/proc/15053/task/15060/stat : 15060 (java) S 15051 15053 14920 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 289959143 1830211584 8341 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15061] ppid=15051 vsize=1787316 CPUtime=0
/proc/15053/task/15061/stat : 15061 (java) S 15051 15053 14920 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 289959147 1830211584 8341 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15062] ppid=15051 vsize=1787316 CPUtime=0.39
/proc/15053/task/15062/stat : 15062 (java) S 15051 15053 14920 0 -1 64 2189 0 0 0 39 0 0 0 16 0 12 0 289959147 1830211584 8341 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15063] ppid=15051 vsize=1787316 CPUtime=0.5
/proc/15053/task/15063/stat : 15063 (java) S 15051 15053 14920 0 -1 64 2776 0 0 0 49 1 0 0 16 0 12 0 289959147 1830211584 8341 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15064] ppid=15051 vsize=1787316 CPUtime=0
/proc/15053/task/15064/stat : 15064 (java) S 15051 15053 14920 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 289959147 1830211584 8341 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15065] ppid=15051 vsize=1787316 CPUtime=0
/proc/15053/task/15065/stat : 15065 (java) S 15051 15053 14920 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 289959147 1830211584 8341 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 1787316

[startup+3.10184 s]
/proc/loadavg: 0.93 0.97 0.97 2/89 15065
/proc/meminfo: memFree=1750176/2055920 swapFree=4145576/4192956
[pid=15053] ppid=15051 vsize=1787316 CPUtime=3.74
/proc/15053/stat : 15053 (java) S 15051 15053 14920 0 -1 0 12898 0 1 0 365 9 0 0 18 0 12 0 289959138 1830211584 9529 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15053/statm: 446829 9529 1304 9 0 444440 0
[pid=15053/tid=15055] ppid=15051 vsize=1787316 CPUtime=2.69
/proc/15053/task/15055/stat : 15055 (java) R 15051 15053 14920 0 -1 64 7175 0 1 0 264 5 0 0 25 0 12 0 289959139 1830211584 9529 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109485864 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15056] ppid=15051 vsize=1787316 CPUtime=0
/proc/15053/task/15056/stat : 15056 (java) S 15051 15053 14920 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 289959141 1830211584 9529 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15057] ppid=15051 vsize=1787316 CPUtime=0
/proc/15053/task/15057/stat : 15057 (java) S 15051 15053 14920 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 289959141 1830211584 9529 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15058] ppid=15051 vsize=1787316 CPUtime=0
/proc/15053/task/15058/stat : 15058 (java) S 15051 15053 14920 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 289959143 1830211584 9529 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15059] ppid=15051 vsize=1787316 CPUtime=0
/proc/15053/task/15059/stat : 15059 (java) S 15051 15053 14920 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 289959143 1830211584 9529 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15060] ppid=15051 vsize=1787316 CPUtime=0
/proc/15053/task/15060/stat : 15060 (java) S 15051 15053 14920 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 289959143 1830211584 9529 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15061] ppid=15051 vsize=1787316 CPUtime=0
/proc/15053/task/15061/stat : 15061 (java) S 15051 15053 14920 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 289959147 1830211584 9529 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15062] ppid=15051 vsize=1787316 CPUtime=0.43
/proc/15053/task/15062/stat : 15062 (java) S 15051 15053 14920 0 -1 64 2189 0 0 0 43 0 0 0 16 0 12 0 289959147 1830211584 9529 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15063] ppid=15051 vsize=1787316 CPUtime=0.57
/proc/15053/task/15063/stat : 15063 (java) S 15051 15053 14920 0 -1 64 2814 0 0 0 56 1 0 0 16 0 12 0 289959147 1830211584 9529 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15064] ppid=15051 vsize=1787316 CPUtime=0
/proc/15053/task/15064/stat : 15064 (java) S 15051 15053 14920 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 289959147 1830211584 9529 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15065] ppid=15051 vsize=1787316 CPUtime=0
/proc/15053/task/15065/stat : 15065 (java) S 15051 15053 14920 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 289959147 1830211584 9529 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 1787316

[startup+6.30252 s]
/proc/loadavg: 0.93 0.97 0.97 2/89 15065
/proc/meminfo: memFree=1745376/2055920 swapFree=4145576/4192956
[pid=15053] ppid=15051 vsize=1786420 CPUtime=7.05
/proc/15053/stat : 15053 (java) S 15051 15053 14920 0 -1 0 14142 0 1 0 695 10 0 0 18 0 12 0 289959138 1829294080 10375 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15053/statm: 446605 10375 1304 9 0 444216 0
[pid=15053/tid=15055] ppid=15051 vsize=1786420 CPUtime=5.87
/proc/15053/task/15055/stat : 15055 (java) R 15051 15053 14920 0 -1 64 8405 0 1 0 581 6 0 0 25 0 12 0 289959139 1829294080 10375 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109486394 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15056] ppid=15051 vsize=1786420 CPUtime=0
/proc/15053/task/15056/stat : 15056 (java) S 15051 15053 14920 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 289959141 1829294080 10375 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15057] ppid=15051 vsize=1786420 CPUtime=0
/proc/15053/task/15057/stat : 15057 (java) S 15051 15053 14920 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 289959141 1829294080 10375 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15058] ppid=15051 vsize=1786420 CPUtime=0
/proc/15053/task/15058/stat : 15058 (java) S 15051 15053 14920 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 289959143 1829294080 10375 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15059] ppid=15051 vsize=1786420 CPUtime=0
/proc/15053/task/15059/stat : 15059 (java) S 15051 15053 14920 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 289959143 1829294080 10375 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15060] ppid=15051 vsize=1786420 CPUtime=0
/proc/15053/task/15060/stat : 15060 (java) S 15051 15053 14920 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 289959143 1829294080 10375 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15061] ppid=15051 vsize=1786420 CPUtime=0
/proc/15053/task/15061/stat : 15061 (java) S 15051 15053 14920 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 289959147 1829294080 10375 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15062] ppid=15051 vsize=1786420 CPUtime=0.53
/proc/15053/task/15062/stat : 15062 (java) S 15051 15053 14920 0 -1 64 2202 0 0 0 53 0 0 0 16 0 12 0 289959147 1829294080 10375 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15063] ppid=15051 vsize=1786420 CPUtime=0.62
/proc/15053/task/15063/stat : 15063 (java) S 15051 15053 14920 0 -1 64 2815 0 0 0 61 1 0 0 16 0 12 0 289959147 1829294080 10375 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15064] ppid=15051 vsize=1786420 CPUtime=0
/proc/15053/task/15064/stat : 15064 (java) S 15051 15053 14920 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 289959147 1829294080 10375 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15065] ppid=15051 vsize=1786420 CPUtime=0
/proc/15053/task/15065/stat : 15065 (java) S 15051 15053 14920 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 289959147 1829294080 10375 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.05
Current children cumulated vsize (KiB) 1786420

[startup+12.7019 s]
/proc/loadavg: 0.94 0.97 0.97 2/90 15068
/proc/meminfo: memFree=1602448/2055920 swapFree=4145576/4192956
[pid=15053] ppid=15051 vsize=1797360 CPUtime=15.1
/proc/15053/stat : 15053 (java) S 15051 15053 14920 0 -1 0 54882 0 1 0 1481 29 0 0 18 0 13 0 289959138 1840496640 46193 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15053/statm: 449340 46193 1327 9 0 446951 0
[pid=15053/tid=15055] ppid=15051 vsize=1797360 CPUtime=11.61
/proc/15053/task/15055/stat : 15055 (java) R 15051 15053 14920 0 -1 64 37744 0 1 0 1140 21 0 0 20 0 13 0 289959139 1840496640 46193 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109860444 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15056] ppid=15051 vsize=1797360 CPUtime=0.13
/proc/15053/task/15056/stat : 15056 (java) S 15051 15053 14920 0 -1 64 1998 0 0 0 13 0 0 0 16 0 13 0 289959141 1840496640 46193 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15057] ppid=15051 vsize=1797360 CPUtime=0.12
/proc/15053/task/15057/stat : 15057 (java) S 15051 15053 14920 0 -1 64 1788 0 0 0 12 0 0 0 16 0 13 0 289959141 1840496640 46193 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15058] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15058/stat : 15058 (java) S 15051 15053 14920 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 289959143 1840496640 46193 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15059] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15059/stat : 15059 (java) S 15051 15053 14920 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 289959143 1840496640 46193 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15060] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15060/stat : 15060 (java) S 15051 15053 14920 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 289959143 1840496640 46193 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15061] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15061/stat : 15061 (java) S 15051 15053 14920 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 289959147 1840496640 46193 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15062] ppid=15051 vsize=1797360 CPUtime=1.51
/proc/15053/task/15062/stat : 15062 (java) S 15051 15053 14920 0 -1 64 6271 0 0 0 149 2 0 0 16 0 13 0 289959147 1840496640 46193 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15063] ppid=15051 vsize=1797360 CPUtime=1.66
/proc/15053/task/15063/stat : 15063 (java) S 15051 15053 14920 0 -1 64 6341 0 0 0 164 2 0 0 16 0 13 0 289959147 1840496640 46193 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15064] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15064/stat : 15064 (java) S 15051 15053 14920 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 289959147 1840496640 46193 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15065] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15065/stat : 15065 (java) S 15051 15053 14920 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 289959147 1840496640 46193 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15068] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15068/stat : 15068 (java) S 15051 15053 14920 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 289960157 1840496640 46193 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.1
Current children cumulated vsize (KiB) 1797360

[startup+25.5027 s]
/proc/loadavg: 0.95 0.97 0.97 2/90 15069
/proc/meminfo: memFree=1568200/2055920 swapFree=4145576/4192956
[pid=15053] ppid=15051 vsize=1797360 CPUtime=28.24
/proc/15053/stat : 15053 (java) S 15051 15053 14920 0 -1 0 65526 0 1 0 2790 34 0 0 18 0 13 0 289959138 1840496640 54278 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15053/statm: 449340 54278 1328 9 0 446951 0
[pid=15053/tid=15055] ppid=15051 vsize=1797360 CPUtime=24.1
/proc/15053/task/15055/stat : 15055 (java) R 15051 15053 14920 0 -1 64 39784 0 1 0 2388 22 0 0 22 0 13 0 289959139 1840496640 54278 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109861443 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15056] ppid=15051 vsize=1797360 CPUtime=0.4
/proc/15053/task/15056/stat : 15056 (java) S 15051 15053 14920 0 -1 64 6232 0 0 0 37 3 0 0 16 0 13 0 289959141 1840496640 54278 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15057] ppid=15051 vsize=1797360 CPUtime=0.38
/proc/15053/task/15057/stat : 15057 (java) S 15051 15053 14920 0 -1 64 6135 0 0 0 36 2 0 0 16 0 13 0 289959141 1840496640 54278 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15058] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15058/stat : 15058 (java) S 15051 15053 14920 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 289959143 1840496640 54278 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15059] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15059/stat : 15059 (java) S 15051 15053 14920 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 289959143 1840496640 54278 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15060] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15060/stat : 15060 (java) S 15051 15053 14920 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 289959143 1840496640 54278 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=15053/tid=15058] ppid=15051 vsize=1797360 CPUtime=0.29
/proc/15053/task/15058/stat : 15058 (java) S 15051 15053 14920 0 -1 64 34 0 0 0 18 11 0 0 15 0 13 0 289959143 1840496640 225359 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15059] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15059/stat : 15059 (java) S 15051 15053 14920 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 289959143 1840496640 225359 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15060] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15060/stat : 15060 (java) S 15051 15053 14920 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 289959143 1840496640 225359 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15061] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15061/stat : 15061 (java) S 15051 15053 14920 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 289959147 1840496640 225359 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15062] ppid=15051 vsize=1797360 CPUtime=1.83
/proc/15053/task/15062/stat : 15062 (java) S 15051 15053 14920 0 -1 64 6293 0 0 0 181 2 0 0 17 0 13 0 289959147 1840496640 225359 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15063] ppid=15051 vsize=1797360 CPUtime=1.84
/proc/15053/task/15063/stat : 15063 (java) S 15051 15053 14920 0 -1 64 6351 0 0 0 182 2 0 0 16 0 13 0 289959147 1840496640 225359 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15064] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15064/stat : 15064 (java) S 15051 15053 14920 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 289959147 1840496640 225359 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15065] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15065/stat : 15065 (java) S 15051 15053 14920 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 289959147 1840496640 225359 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15069] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15069/stat : 15069 (java) S 15051 15053 14920 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 289960540 1840496640 225359 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1591.45
Current children cumulated vsize (KiB) 1797360

[startup+1602.3 s]
/proc/loadavg: 1.08 1.06 1.01 2/90 15267
/proc/meminfo: memFree=864328/2055920 swapFree=4145576/4192956
[pid=15053] ppid=15051 vsize=1797360 CPUtime=1654.01
/proc/15053/stat : 15053 (java) S 15051 15053 14920 0 -1 0 262796 0 1 0 165248 153 0 0 18 0 13 0 289959138 1840496640 229700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15053/statm: 449340 229700 1335 9 0 446951 0
[pid=15053/tid=15055] ppid=15051 vsize=1797360 CPUtime=1550.08
/proc/15053/task/15055/stat : 15055 (java) R 15051 15053 14920 0 -1 64 42051 0 1 0 154966 42 0 0 25 0 13 0 289959139 1840496640 229700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109604250 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15056] ppid=15051 vsize=1797360 CPUtime=49.96
/proc/15053/task/15056/stat : 15056 (java) S 15051 15053 14920 0 -1 64 99549 0 0 0 4949 47 0 0 16 0 13 0 289959141 1840496640 229700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15057] ppid=15051 vsize=1797360 CPUtime=49.94
/proc/15053/task/15057/stat : 15057 (java) S 15051 15053 14920 0 -1 64 107792 0 0 0 4949 45 0 0 17 0 13 0 289959141 1840496640 229700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15058] ppid=15051 vsize=1797360 CPUtime=0.3
/proc/15053/task/15058/stat : 15058 (java) S 15051 15053 14920 0 -1 64 34 0 0 0 19 11 0 0 15 0 13 0 289959143 1840496640 229700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15059] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15059/stat : 15059 (java) S 15051 15053 14920 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 289959143 1840496640 229700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15060] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15060/stat : 15060 (java) S 15051 15053 14920 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 289959143 1840496640 229700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15061] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15061/stat : 15061 (java) S 15051 15053 14920 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 289959147 1840496640 229700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15062] ppid=15051 vsize=1797360 CPUtime=1.83
/proc/15053/task/15062/stat : 15062 (java) S 15051 15053 14920 0 -1 64 6293 0 0 0 181 2 0 0 17 0 13 0 289959147 1840496640 229700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15063] ppid=15051 vsize=1797360 CPUtime=1.84
/proc/15053/task/15063/stat : 15063 (java) S 15051 15053 14920 0 -1 64 6351 0 0 0 182 2 0 0 16 0 13 0 289959147 1840496640 229700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15064] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15064/stat : 15064 (java) S 15051 15053 14920 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 289959147 1840496640 229700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15065] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15065/stat : 15065 (java) S 15051 15053 14920 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 289959147 1840496640 229700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15069] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15069/stat : 15069 (java) S 15051 15053 14920 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 289960540 1840496640 229700 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1654.01
Current children cumulated vsize (KiB) 1797360

[startup+1662.3 s]
/proc/loadavg: 1.10 1.06 1.01 2/90 15267
/proc/meminfo: memFree=847048/2055920 swapFree=4145576/4192956
[pid=15053] ppid=15051 vsize=1797360 CPUtime=1716.74
/proc/15053/stat : 15053 (java) S 15051 15053 14920 0 -1 0 267294 0 1 0 171519 155 0 0 18 0 13 0 289959138 1840496640 233997 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15053/statm: 449340 233997 1335 9 0 446951 0
[pid=15053/tid=15055] ppid=15051 vsize=1797360 CPUtime=1607.28
/proc/15053/task/15055/stat : 15055 (java) R 15051 15053 14920 0 -1 64 42089 0 1 0 160686 42 0 0 25 0 13 0 289959139 1840496640 233997 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4110001986 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15056] ppid=15051 vsize=1797360 CPUtime=52.72
/proc/15053/task/15056/stat : 15056 (java) S 15051 15053 14920 0 -1 64 103171 0 0 0 5224 48 0 0 16 0 13 0 289959141 1840496640 233997 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15057] ppid=15051 vsize=1797360 CPUtime=52.69
/proc/15053/task/15057/stat : 15057 (java) S 15051 15053 14920 0 -1 64 108630 0 0 0 5224 45 0 0 16 0 13 0 289959141 1840496640 233997 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15058] ppid=15051 vsize=1797360 CPUtime=0.31
/proc/15053/task/15058/stat : 15058 (java) S 15051 15053 14920 0 -1 64 34 0 0 0 19 12 0 0 16 0 13 0 289959143 1840496640 233997 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15059] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15059/stat : 15059 (java) S 15051 15053 14920 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 289959143 1840496640 233997 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15060] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15060/stat : 15060 (java) S 15051 15053 14920 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 289959143 1840496640 233997 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15061] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15061/stat : 15061 (java) S 15051 15053 14920 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 289959147 1840496640 233997 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15062] ppid=15051 vsize=1797360 CPUtime=1.83
/proc/15053/task/15062/stat : 15062 (java) S 15051 15053 14920 0 -1 64 6293 0 0 0 181 2 0 0 17 0 13 0 289959147 1840496640 233997 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15063] ppid=15051 vsize=1797360 CPUtime=1.84
/proc/15053/task/15063/stat : 15063 (java) S 15051 15053 14920 0 -1 64 6351 0 0 0 182 2 0 0 16 0 13 0 289959147 1840496640 233997 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15064] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15064/stat : 15064 (java) S 15051 15053 14920 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 289959147 1840496640 233997 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15065] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15065/stat : 15065 (java) S 15051 15053 14920 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 289959147 1840496640 233997 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15069] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15069/stat : 15069 (java) S 15051 15053 14920 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 289960540 1840496640 233997 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1716.74
Current children cumulated vsize (KiB) 1797360

[startup+1722.3 s]
/proc/loadavg: 1.04 1.05 1.00 2/90 15267
/proc/meminfo: memFree=832904/2055920 swapFree=4145576/4192956
[pid=15053] ppid=15051 vsize=1797360 CPUtime=1779.25
/proc/15053/stat : 15053 (java) S 15051 15053 14920 0 -1 0 271051 0 1 0 177768 157 0 0 18 0 13 0 289959138 1840496640 237624 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15053/statm: 449340 237624 1335 9 0 446951 0
[pid=15053/tid=15055] ppid=15051 vsize=1797360 CPUtime=1664.68
/proc/15053/task/15055/stat : 15055 (java) R 15051 15053 14920 0 -1 64 42124 0 1 0 166426 42 0 0 25 0 13 0 289959139 1840496640 237624 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109851732 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15056] ppid=15051 vsize=1797360 CPUtime=55.27
/proc/15053/task/15056/stat : 15056 (java) S 15051 15053 14920 0 -1 64 106329 0 0 0 5478 49 0 0 16 0 13 0 289959141 1840496640 237624 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15057] ppid=15051 vsize=1797360 CPUtime=55.25
/proc/15053/task/15057/stat : 15057 (java) S 15051 15053 14920 0 -1 64 109194 0 0 0 5479 46 0 0 17 0 13 0 289959141 1840496640 237624 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15058] ppid=15051 vsize=1797360 CPUtime=0.32
/proc/15053/task/15058/stat : 15058 (java) S 15051 15053 14920 0 -1 64 34 0 0 0 20 12 0 0 15 0 13 0 289959143 1840496640 237624 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15059] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15059/stat : 15059 (java) S 15051 15053 14920 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 289959143 1840496640 237624 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15060] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15060/stat : 15060 (java) S 15051 15053 14920 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 289959143 1840496640 237624 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15061] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15061/stat : 15061 (java) S 15051 15053 14920 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 289959147 1840496640 237624 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15062] ppid=15051 vsize=1797360 CPUtime=1.83
/proc/15053/task/15062/stat : 15062 (java) S 15051 15053 14920 0 -1 64 6293 0 0 0 181 2 0 0 17 0 13 0 289959147 1840496640 237624 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15063] ppid=15051 vsize=1797360 CPUtime=1.84
/proc/15053/task/15063/stat : 15063 (java) S 15051 15053 14920 0 -1 64 6351 0 0 0 182 2 0 0 16 0 13 0 289959147 1840496640 237624 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15064] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15064/stat : 15064 (java) S 15051 15053 14920 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 289959147 1840496640 237624 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15065] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15065/stat : 15065 (java) S 15051 15053 14920 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 289959147 1840496640 237624 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15069] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15069/stat : 15069 (java) S 15051 15053 14920 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 289960540 1840496640 237624 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1779.25
Current children cumulated vsize (KiB) 1797360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1742.2 s]
/proc/loadavg: 1.02 1.04 1.00 2/90 15267
/proc/meminfo: memFree=827336/2055920 swapFree=4145576/4192956
[pid=15053] ppid=15051 vsize=1797360 CPUtime=1800
/proc/15053/stat : 15053 (java) S 15051 15053 14920 0 -1 0 272364 0 1 0 179843 157 0 0 18 0 13 0 289959138 1840496640 238915 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15053/statm: 449340 238915 1335 9 0 446951 0
[pid=15053/tid=15055] ppid=15051 vsize=1797360 CPUtime=1683.71
/proc/15053/task/15055/stat : 15055 (java) R 15051 15053 14920 0 -1 64 42136 0 1 0 168329 42 0 0 25 0 13 0 289959139 1840496640 238915 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109772831 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15056] ppid=15051 vsize=1797360 CPUtime=56.13
/proc/15053/task/15056/stat : 15056 (java) S 15051 15053 14920 0 -1 64 107548 0 0 0 5564 49 0 0 16 0 13 0 289959141 1840496640 238915 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15057] ppid=15051 vsize=1797360 CPUtime=56.11
/proc/15053/task/15057/stat : 15057 (java) S 15051 15053 14920 0 -1 64 109276 0 0 0 5565 46 0 0 16 0 13 0 289959141 1840496640 238915 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15058] ppid=15051 vsize=1797360 CPUtime=0.33
/proc/15053/task/15058/stat : 15058 (java) S 15051 15053 14920 0 -1 64 34 0 0 0 21 12 0 0 15 0 13 0 289959143 1840496640 238915 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15059] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15059/stat : 15059 (java) S 15051 15053 14920 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 289959143 1840496640 238915 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15060] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15060/stat : 15060 (java) S 15051 15053 14920 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 289959143 1840496640 238915 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15061] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15061/stat : 15061 (java) S 15051 15053 14920 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 289959147 1840496640 238915 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15062] ppid=15051 vsize=1797360 CPUtime=1.83
/proc/15053/task/15062/stat : 15062 (java) S 15051 15053 14920 0 -1 64 6293 0 0 0 181 2 0 0 17 0 13 0 289959147 1840496640 238915 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15063] ppid=15051 vsize=1797360 CPUtime=1.84
/proc/15053/task/15063/stat : 15063 (java) S 15051 15053 14920 0 -1 64 6351 0 0 0 182 2 0 0 16 0 13 0 289959147 1840496640 238915 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15053/tid=15064] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15064/stat : 15064 (java) S 15051 15053 14920 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 289959147 1840496640 238915 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15065] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15065/stat : 15065 (java) S 15051 15053 14920 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 289959147 1840496640 238915 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15053/tid=15069] ppid=15051 vsize=1797360 CPUtime=0
/proc/15053/task/15069/stat : 15069 (java) S 15051 15053 14920 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 289960540 1840496640 238915 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1797360

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

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

[startup+1742.41 s]
/proc/loadavg: 1.02 1.04 1.00 2/80 15270
/proc/meminfo: memFree=921856/2055920 swapFree=4145576/4192956
[pid=15053] ppid=15051 vsize=0 CPUtime=1800.26
/proc/15053/stat : 15053 (java) Z 15051 15053 14920 0 -1 1036 272384 0 1 0 179858 168 0 0 15 0 2 0 289959138 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15053/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1742.45
CPU time (s): 1800.32
CPU user time (s): 1798.59
CPU system time (s): 1.72874
CPU usage (%): 103.321
Max. virtual memory (cumulated for all children) (KiB): 1799568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.59
system time used= 1.72874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272384
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= 47454
involuntary context switches= 49322

runsolver used 1.88871 second user time and 5.05523 second system time

The end

Launcher Data (download as text)

Begin job on node10 on Wed May  2 20:53:36 UTC 2007

IDJOB= 453466
IDBENCH= 48132
IDSOLVER= 164
FILE ID= node10/453466-1178139216

PBS_JOBID= 4751060

Free space on /tmp= 66561 MiB

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  64354bd2b9c3cc2f1ca2c32032e5c032

RANDOM SEED= 332581450

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1781720 kB
Buffers:        112112 kB
Cached:          74948 kB
SwapCached:      15988 kB
Active:         104312 kB
Inactive:       110868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1781720 kB
SwapTotal:     4192956 kB
SwapFree:      4145576 kB
Dirty:            3680 kB
Writeback:           0 kB
Mapped:          30916 kB
Slab:            44676 kB
Committed_AS:  4977404 kB
PageTables:       1712 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 node10 on Wed May  2 21:22:41 UTC 2007