Trace number 453661

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.4 1748.79

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_2.opb
MD5SUMfaa00895e2f6f80e77634e2be522df62
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.09
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 constraint45
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)6220
Sum of products size (including duplicates)12440
Number of different products6220
Sum of products size12440

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

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/node7/watcher-453661-1178146990 -o ROOT/results/node7/solver-453661-1178146990 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/453661-1178146990/sat4jPseudoCPClause.jar /tmp/evaluation/453661-1178146990/instance-453661-1178146990.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.91 3/77 16690
/proc/meminfo: memFree=1660264/2055920 swapFree=4157020/4192956
[pid=16690] ppid=16688 vsize=1800 CPUtime=0
/proc/16690/stat : 16690 (java) R 16688 16690 13827 0 -1 0 134 0 0 0 0 0 0 0 18 0 1 0 290736633 1843200 108 18446744073709551615 134512640 134550740 4294956512 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16690/statm: 450 114 85 9 0 92 0

[startup+0.0772769 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 16690
/proc/meminfo: memFree=1660264/2055920 swapFree=4157020/4192956
[pid=16690] ppid=16688 vsize=1777708 CPUtime=0.06
/proc/16690/stat : 16690 (java) S 16688 16690 13827 0 -1 0 3762 0 1 0 4 2 0 0 18 0 7 0 290736633 1820372992 3506 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/16690/statm: 444427 3506 1085 9 0 442063 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1777708

[startup+0.101277 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 16690
/proc/meminfo: memFree=1660264/2055920 swapFree=4157020/4192956
[pid=16690] ppid=16688 vsize=1780112 CPUtime=0.08
/proc/16690/stat : 16690 (java) S 16688 16690 13827 0 -1 0 3972 0 1 0 6 2 0 0 18 0 12 0 290736633 1822834688 3715 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16690/statm: 445028 3715 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780112

[startup+0.301296 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 16690
/proc/meminfo: memFree=1660264/2055920 swapFree=4157020/4192956
[pid=16690] ppid=16688 vsize=1782436 CPUtime=0.33
/proc/16690/stat : 16690 (java) S 16688 16690 13827 0 -1 0 5197 0 1 0 30 3 0 0 18 0 12 0 290736633 1825214464 4937 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16690/statm: 445609 4937 1263 9 0 443220 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 1782436

[startup+0.701341 s]
/proc/loadavg: 0.92 0.97 0.91 3/77 16690
/proc/meminfo: memFree=1660264/2055920 swapFree=4157020/4192956
[pid=16690] ppid=16688 vsize=1782728 CPUtime=0.89
/proc/16690/stat : 16690 (java) S 16688 16690 13827 0 -1 0 6116 0 1 0 85 4 0 0 18 0 12 0 290736633 1825513472 5856 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16690/statm: 445682 5856 1301 9 0 443293 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 1782728

[startup+1.50143 s]
/proc/loadavg: 0.92 0.97 0.91 3/89 16702
/proc/meminfo: memFree=1634696/2055920 swapFree=4157020/4192956
[pid=16690] ppid=16688 vsize=1788500 CPUtime=2.14
/proc/16690/stat : 16690 (java) S 16688 16690 13827 0 -1 0 11779 0 1 0 207 7 0 0 18 0 12 0 290736633 1831424000 8491 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16690/statm: 447125 8491 1304 9 0 444736 0
[pid=16690/tid=16692] ppid=16688 vsize=1788500 CPUtime=1.15
/proc/16690/task/16692/stat : 16692 (java) R 16688 16690 13827 0 -1 64 5993 0 1 0 111 4 0 0 20 0 12 0 290736634 1831424000 8491 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 105880117 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16693] ppid=16688 vsize=1788500 CPUtime=0
/proc/16690/task/16693/stat : 16693 (java) S 16688 16690 13827 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 290736636 1831424000 8491 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16694] ppid=16688 vsize=1788500 CPUtime=0
/proc/16690/task/16694/stat : 16694 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 290736636 1831424000 8491 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16695] ppid=16688 vsize=1788500 CPUtime=0
/proc/16690/task/16695/stat : 16695 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 290736638 1831424000 8491 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16696] ppid=16688 vsize=1788500 CPUtime=0
/proc/16690/task/16696/stat : 16696 (java) S 16688 16690 13827 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 290736638 1831424000 8491 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16697] ppid=16688 vsize=1788500 CPUtime=0
/proc/16690/task/16697/stat : 16697 (java) S 16688 16690 13827 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 290736639 1831424000 8491 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16698] ppid=16688 vsize=1788500 CPUtime=0
/proc/16690/task/16698/stat : 16698 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 290736642 1831424000 8491 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16699] ppid=16688 vsize=1788500 CPUtime=0.48
/proc/16690/task/16699/stat : 16699 (java) S 16688 16690 13827 0 -1 64 2762 0 0 0 47 1 0 0 16 0 12 0 290736642 1831424000 8491 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16700] ppid=16688 vsize=1788500 CPUtime=0.48
/proc/16690/task/16700/stat : 16700 (java) S 16688 16690 13827 0 -1 64 2306 0 0 0 47 1 0 0 16 0 12 0 290736642 1831424000 8491 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16701] ppid=16688 vsize=1788500 CPUtime=0
/proc/16690/task/16701/stat : 16701 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 290736642 1831424000 8491 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16702] ppid=16688 vsize=1788500 CPUtime=0
/proc/16690/task/16702/stat : 16702 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 290736642 1831424000 8491 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 1788500

[startup+3.10259 s]
/proc/loadavg: 0.92 0.97 0.91 2/89 16702
/proc/meminfo: memFree=1628680/2055920 swapFree=4157020/4192956
[pid=16690] ppid=16688 vsize=1788500 CPUtime=3.81
/proc/16690/stat : 16690 (java) S 16688 16690 13827 0 -1 0 12989 0 1 0 373 8 0 0 18 0 12 0 290736633 1831424000 9670 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16690/statm: 447125 9670 1304 9 0 444736 0
[pid=16690/tid=16692] ppid=16688 vsize=1788500 CPUtime=2.71
/proc/16690/task/16692/stat : 16692 (java) R 16688 16690 13827 0 -1 64 7167 0 1 0 266 5 0 0 25 0 12 0 290736634 1831424000 9670 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109487811 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16693] ppid=16688 vsize=1788500 CPUtime=0
/proc/16690/task/16693/stat : 16693 (java) S 16688 16690 13827 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 290736636 1831424000 9670 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16694] ppid=16688 vsize=1788500 CPUtime=0
/proc/16690/task/16694/stat : 16694 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 290736636 1831424000 9670 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16695] ppid=16688 vsize=1788500 CPUtime=0
/proc/16690/task/16695/stat : 16695 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 290736638 1831424000 9670 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16696] ppid=16688 vsize=1788500 CPUtime=0
/proc/16690/task/16696/stat : 16696 (java) S 16688 16690 13827 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 290736638 1831424000 9670 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16697] ppid=16688 vsize=1788500 CPUtime=0
/proc/16690/task/16697/stat : 16697 (java) S 16688 16690 13827 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 290736639 1831424000 9670 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16698] ppid=16688 vsize=1788500 CPUtime=0
/proc/16690/task/16698/stat : 16698 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 290736642 1831424000 9670 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16699] ppid=16688 vsize=1788500 CPUtime=0.52
/proc/16690/task/16699/stat : 16699 (java) S 16688 16690 13827 0 -1 64 2762 0 0 0 51 1 0 0 16 0 12 0 290736642 1831424000 9670 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16700] ppid=16688 vsize=1788500 CPUtime=0.56
/proc/16690/task/16700/stat : 16700 (java) S 16688 16690 13827 0 -1 64 2342 0 0 0 55 1 0 0 16 0 12 0 290736642 1831424000 9670 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16701] ppid=16688 vsize=1788500 CPUtime=0
/proc/16690/task/16701/stat : 16701 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 290736642 1831424000 9670 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16702] ppid=16688 vsize=1788500 CPUtime=0
/proc/16690/task/16702/stat : 16702 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 290736642 1831424000 9670 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 1788500

[startup+6.30292 s]
/proc/loadavg: 0.93 0.97 0.91 2/89 16702
/proc/meminfo: memFree=1622344/2055920 swapFree=4157020/4192956
[pid=16690] ppid=16688 vsize=1788372 CPUtime=7.14
/proc/16690/stat : 16690 (java) S 16688 16690 13827 0 -1 0 14276 0 1 0 705 9 0 0 18 0 12 0 290736633 1831292928 10868 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16690/statm: 447093 10868 1304 9 0 444704 0
[pid=16690/tid=16692] ppid=16688 vsize=1788372 CPUtime=5.9
/proc/16690/task/16692/stat : 16692 (java) R 16688 16690 13827 0 -1 64 8402 0 1 0 584 6 0 0 25 0 12 0 290736634 1831292928 10868 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109487982 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16693] ppid=16688 vsize=1788372 CPUtime=0
/proc/16690/task/16693/stat : 16693 (java) S 16688 16690 13827 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 290736636 1831292928 10869 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16694] ppid=16688 vsize=1788372 CPUtime=0
/proc/16690/task/16694/stat : 16694 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 290736636 1831292928 10869 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16695] ppid=16688 vsize=1788372 CPUtime=0
/proc/16690/task/16695/stat : 16695 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 290736638 1831292928 10869 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16696] ppid=16688 vsize=1788372 CPUtime=0
/proc/16690/task/16696/stat : 16696 (java) S 16688 16690 13827 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 290736638 1831292928 10869 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16697] ppid=16688 vsize=1788372 CPUtime=0
/proc/16690/task/16697/stat : 16697 (java) S 16688 16690 13827 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 290736639 1831292928 10869 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16698] ppid=16688 vsize=1788372 CPUtime=0
/proc/16690/task/16698/stat : 16698 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 290736642 1831292928 10869 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16699] ppid=16688 vsize=1788372 CPUtime=0.59
/proc/16690/task/16699/stat : 16699 (java) S 16688 16690 13827 0 -1 64 2769 0 0 0 58 1 0 0 16 0 12 0 290736642 1831292928 10869 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16700] ppid=16688 vsize=1788372 CPUtime=0.63
/proc/16690/task/16700/stat : 16700 (java) S 16688 16690 13827 0 -1 64 2387 0 0 0 62 1 0 0 16 0 12 0 290736642 1831292928 10869 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16701] ppid=16688 vsize=1788372 CPUtime=0
/proc/16690/task/16701/stat : 16701 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 290736642 1831292928 10869 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16702] ppid=16688 vsize=1788372 CPUtime=0
/proc/16690/task/16702/stat : 16702 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 290736642 1831292928 10869 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.14
Current children cumulated vsize (KiB) 1788372

[startup+12.7026 s]
/proc/loadavg: 0.93 0.97 0.91 3/90 16706
/proc/meminfo: memFree=1483768/2055920 swapFree=4157020/4192956
[pid=16690] ppid=16688 vsize=1794528 CPUtime=15.3
/proc/16690/stat : 16690 (java) S 16688 16690 13827 0 -1 0 54269 0 1 0 1500 30 0 0 18 0 13 0 290736633 1837596672 45378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16690/statm: 448632 45378 1327 9 0 446243 0
[pid=16690/tid=16692] ppid=16688 vsize=1794528 CPUtime=11.52
/proc/16690/task/16692/stat : 16692 (java) S 16688 16690 13827 0 -1 64 37747 0 1 0 1131 21 0 0 21 0 13 0 290736634 1837596672 45378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16693] ppid=16688 vsize=1794528 CPUtime=0.11
/proc/16690/task/16693/stat : 16693 (java) R 16688 16690 13827 0 -1 64 1453 0 0 0 11 0 0 0 17 0 13 0 290736636 1837596672 45378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 103370435 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16694] ppid=16688 vsize=1794528 CPUtime=0.13
/proc/16690/task/16694/stat : 16694 (java) R 16688 16690 13827 0 -1 64 2066 0 0 0 13 0 0 0 16 0 13 0 290736636 1837596672 45378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 103370359 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16695] ppid=16688 vsize=1794528 CPUtime=0
/proc/16690/task/16695/stat : 16695 (java) S 16688 16690 13827 0 -1 64 14 0 0 0 0 0 0 0 15 0 13 0 290736638 1837596672 45378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16696] ppid=16688 vsize=1794528 CPUtime=0
/proc/16690/task/16696/stat : 16696 (java) S 16688 16690 13827 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 290736638 1837596672 45378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16697] ppid=16688 vsize=1794528 CPUtime=0
/proc/16690/task/16697/stat : 16697 (java) S 16688 16690 13827 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 290736639 1837596672 45378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16698] ppid=16688 vsize=1794528 CPUtime=0
/proc/16690/task/16698/stat : 16698 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 290736642 1837596672 45378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16699] ppid=16688 vsize=1794528 CPUtime=1.9
/proc/16690/task/16699/stat : 16699 (java) S 16688 16690 13827 0 -1 64 6424 0 0 0 188 2 0 0 16 0 13 0 290736642 1837596672 45378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16700] ppid=16688 vsize=1794528 CPUtime=1.58
/proc/16690/task/16700/stat : 16700 (java) S 16688 16690 13827 0 -1 64 5838 0 0 0 155 3 0 0 16 0 13 0 290736642 1837596672 45378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16701] ppid=16688 vsize=1794528 CPUtime=0
/proc/16690/task/16701/stat : 16701 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 290736642 1837596672 45378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16702] ppid=16688 vsize=1794528 CPUtime=0
/proc/16690/task/16702/stat : 16702 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 290736642 1837596672 45378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16706] ppid=16688 vsize=1794528 CPUtime=0
/proc/16690/task/16706/stat : 16706 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 290737735 1837596672 45378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.3
Current children cumulated vsize (KiB) 1794528

[startup+25.5019 s]
/proc/loadavg: 0.95 0.97 0.91 2/90 16706
/proc/meminfo: memFree=1452024/2055920 swapFree=4157020/4192956
[pid=16690] ppid=16688 vsize=1794104 CPUtime=28.46
/proc/16690/stat : 16690 (java) S 16688 16690 13827 0 -1 0 65081 0 1 0 2811 35 0 0 18 0 13 0 290736633 1837162496 53412 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16690/statm: 448526 53412 1328 9 0 446137 0
[pid=16690/tid=16692] ppid=16688 vsize=1794104 CPUtime=24.04
/proc/16690/task/16692/stat : 16692 (java) R 16688 16690 13827 0 -1 64 39831 0 1 0 2382 22 0 0 18 0 13 0 290736634 1837162496 53412 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109577385 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16693] ppid=16688 vsize=1794104 CPUtime=0.36
/proc/16690/task/16693/stat : 16693 (java) S 16688 16690 13827 0 -1 64 5905 0 0 0 34 2 0 0 16 0 13 0 290736636 1837162496 53412 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16694] ppid=16688 vsize=1794104 CPUtime=0.39
/proc/16690/task/16694/stat : 16694 (java) S 16688 16690 13827 0 -1 64 6250 0 0 0 37 2 0 0 16 0 13 0 290736636 1837162496 53412 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16695] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16695/stat : 16695 (java) S 16688 16690 13827 0 -1 64 31 0 0 0 0 0 0 0 16 0 13 0 290736638 1837162496 53412 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16696] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16696/stat : 16696 (java) S 16688 16690 13827 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 290736638 1837162496 53412 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16697] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16697/stat : 16697 (java) S 16688 16690 13827 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 290736639 1837162496 53412 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0

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

[pid=16690/tid=16695] ppid=16688 vsize=1794104 CPUtime=0.33
/proc/16690/task/16695/stat : 16695 (java) S 16688 16690 13827 0 -1 64 33 0 0 0 20 13 0 0 16 0 13 0 290736638 1837162496 217657 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16696] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16696/stat : 16696 (java) S 16688 16690 13827 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 290736638 1837162496 217657 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16697] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16697/stat : 16697 (java) S 16688 16690 13827 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 290736639 1837162496 217657 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16698] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16698/stat : 16698 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 290736642 1837162496 217657 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16699] ppid=16688 vsize=1794104 CPUtime=2.04
/proc/16690/task/16699/stat : 16699 (java) S 16688 16690 13827 0 -1 64 6430 0 0 0 201 3 0 0 16 0 13 0 290736642 1837162496 217657 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16700] ppid=16688 vsize=1794104 CPUtime=1.81
/proc/16690/task/16700/stat : 16700 (java) S 16688 16690 13827 0 -1 64 5924 0 0 0 178 3 0 0 16 0 13 0 290736642 1837162496 217657 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16701] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16701/stat : 16701 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 290736642 1837162496 217657 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16702] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16702/stat : 16702 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 290736642 1837162496 217657 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16706] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16706/stat : 16706 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 290737735 1837162496 217657 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1648.03
Current children cumulated vsize (KiB) 1794104

[startup+1662.3 s]
/proc/loadavg: 1.00 1.03 0.97 2/90 16706
/proc/meminfo: memFree=776696/2055920 swapFree=4157020/4192956
[pid=16690] ppid=16688 vsize=1794104 CPUtime=1710.39
/proc/16690/stat : 16690 (java) S 16688 16690 13827 0 -1 0 255595 0 1 0 170896 143 0 0 18 0 13 0 290736633 1837162496 221595 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16690/statm: 448526 221595 1335 9 0 446137 0
[pid=16690/tid=16692] ppid=16688 vsize=1794104 CPUtime=1613.55
/proc/16690/task/16692/stat : 16692 (java) R 16688 16690 13827 0 -1 64 42173 0 1 0 161317 38 0 0 25 0 13 0 290736634 1837162496 221595 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109577552 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16693] ppid=16688 vsize=1794104 CPUtime=46.24
/proc/16690/task/16693/stat : 16693 (java) S 16688 16690 13827 0 -1 64 100909 0 0 0 4583 41 0 0 16 0 13 0 290736636 1837162496 221595 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16694] ppid=16688 vsize=1794104 CPUtime=46.35
/proc/16690/task/16694/stat : 16694 (java) S 16688 16690 13827 0 -1 64 99399 0 0 0 4593 42 0 0 16 0 13 0 290736636 1837162496 221595 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16695] ppid=16688 vsize=1794104 CPUtime=0.33
/proc/16690/task/16695/stat : 16695 (java) S 16688 16690 13827 0 -1 64 33 0 0 0 20 13 0 0 16 0 13 0 290736638 1837162496 221595 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16696] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16696/stat : 16696 (java) S 16688 16690 13827 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 290736638 1837162496 221595 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16697] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16697/stat : 16697 (java) S 16688 16690 13827 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 290736639 1837162496 221595 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16698] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16698/stat : 16698 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 290736642 1837162496 221595 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16699] ppid=16688 vsize=1794104 CPUtime=2.04
/proc/16690/task/16699/stat : 16699 (java) S 16688 16690 13827 0 -1 64 6430 0 0 0 201 3 0 0 16 0 13 0 290736642 1837162496 221595 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16700] ppid=16688 vsize=1794104 CPUtime=1.81
/proc/16690/task/16700/stat : 16700 (java) S 16688 16690 13827 0 -1 64 5924 0 0 0 178 3 0 0 16 0 13 0 290736642 1837162496 221595 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16701] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16701/stat : 16701 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 290736642 1837162496 221595 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16702] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16702/stat : 16702 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 290736642 1837162496 221595 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16706] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16706/stat : 16706 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 290737735 1837162496 221595 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1710.39
Current children cumulated vsize (KiB) 1794104

[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 0.97 2/90 16706
/proc/meminfo: memFree=761400/2055920 swapFree=4157020/4192956
[pid=16690] ppid=16688 vsize=1794104 CPUtime=1772.72
/proc/16690/stat : 16690 (java) S 16688 16690 13827 0 -1 0 259807 0 1 0 177125 147 0 0 18 0 13 0 290736633 1837162496 225405 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16690/statm: 448526 225405 1335 9 0 446137 0
[pid=16690/tid=16692] ppid=16688 vsize=1794104 CPUtime=1671.14
/proc/16690/task/16692/stat : 16692 (java) R 16688 16690 13827 0 -1 64 42209 0 1 0 167075 39 0 0 25 0 13 0 290736634 1837162496 225405 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4110010388 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16693] ppid=16688 vsize=1794104 CPUtime=48.61
/proc/16690/task/16693/stat : 16693 (java) S 16688 16690 13827 0 -1 64 102708 0 0 0 4818 43 0 0 16 0 13 0 290736636 1837162496 225405 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16694] ppid=16688 vsize=1794104 CPUtime=48.72
/proc/16690/task/16694/stat : 16694 (java) S 16688 16690 13827 0 -1 64 101776 0 0 0 4829 43 0 0 17 0 13 0 290736636 1837162496 225405 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16695] ppid=16688 vsize=1794104 CPUtime=0.35
/proc/16690/task/16695/stat : 16695 (java) S 16688 16690 13827 0 -1 64 33 0 0 0 21 14 0 0 16 0 13 0 290736638 1837162496 225405 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16696] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16696/stat : 16696 (java) S 16688 16690 13827 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 290736638 1837162496 225405 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16697] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16697/stat : 16697 (java) S 16688 16690 13827 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 290736639 1837162496 225405 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16698] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16698/stat : 16698 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 290736642 1837162496 225405 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16699] ppid=16688 vsize=1794104 CPUtime=2.04
/proc/16690/task/16699/stat : 16699 (java) S 16688 16690 13827 0 -1 64 6430 0 0 0 201 3 0 0 16 0 13 0 290736642 1837162496 225405 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16700] ppid=16688 vsize=1794104 CPUtime=1.81
/proc/16690/task/16700/stat : 16700 (java) S 16688 16690 13827 0 -1 64 5924 0 0 0 178 3 0 0 16 0 13 0 290736642 1837162496 225405 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16701] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16701/stat : 16701 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 290736642 1837162496 225405 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16702] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16702/stat : 16702 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 290736642 1837162496 225405 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16706] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16706/stat : 16706 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 290737735 1837162496 225405 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1772.72
Current children cumulated vsize (KiB) 1794104



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1748.5 s]
/proc/loadavg: 1.06 1.03 0.98 3/90 16706
/proc/meminfo: memFree=753976/2055920 swapFree=4157020/4192956
[pid=16690] ppid=16688 vsize=1794104 CPUtime=1800.02
/proc/16690/stat : 16690 (java) S 16688 16690 13827 0 -1 0 261875 0 1 0 179854 148 0 0 18 0 13 0 290736633 1837162496 227252 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16690/statm: 448526 227252 1335 9 0 446137 0
[pid=16690/tid=16692] ppid=16688 vsize=1794104 CPUtime=1696.24
/proc/16690/task/16692/stat : 16692 (java) S 16688 16690 13827 0 -1 64 42226 0 1 0 169585 39 0 0 25 0 13 0 290736634 1837162496 227252 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16693] ppid=16688 vsize=1794104 CPUtime=49.7
/proc/16690/task/16693/stat : 16693 (java) R 16688 16690 13827 0 -1 64 104112 0 0 0 4927 43 0 0 17 0 13 0 290736636 1837162496 227252 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 103361219 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16694] ppid=16688 vsize=1794104 CPUtime=49.81
/proc/16690/task/16694/stat : 16694 (java) R 16688 16690 13827 0 -1 64 102423 0 0 0 4938 43 0 0 17 0 13 0 290736636 1837162496 227252 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 105070768 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16695] ppid=16688 vsize=1794104 CPUtime=0.35
/proc/16690/task/16695/stat : 16695 (java) S 16688 16690 13827 0 -1 64 33 0 0 0 21 14 0 0 15 0 13 0 290736638 1837162496 227252 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16696] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16696/stat : 16696 (java) S 16688 16690 13827 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 290736638 1837162496 227252 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16697] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16697/stat : 16697 (java) S 16688 16690 13827 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 290736639 1837162496 227252 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16698] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16698/stat : 16698 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 290736642 1837162496 227252 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16699] ppid=16688 vsize=1794104 CPUtime=2.04
/proc/16690/task/16699/stat : 16699 (java) S 16688 16690 13827 0 -1 64 6430 0 0 0 201 3 0 0 16 0 13 0 290736642 1837162496 227252 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16700] ppid=16688 vsize=1794104 CPUtime=1.81
/proc/16690/task/16700/stat : 16700 (java) S 16688 16690 13827 0 -1 64 5924 0 0 0 178 3 0 0 16 0 13 0 290736642 1837162496 227252 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16701] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16701/stat : 16701 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 290736642 1837162496 227252 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16702] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16702/stat : 16702 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 290736642 1837162496 227252 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16706] ppid=16688 vsize=1794104 CPUtime=0
/proc/16690/task/16706/stat : 16706 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 290737735 1837162496 227252 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1794104

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

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

[startup+1748.61 s]
/proc/loadavg: 1.06 1.03 0.98 3/90 16706
/proc/meminfo: memFree=753976/2055920 swapFree=4157020/4192956
[pid=16690] ppid=16688 vsize=1794752 CPUtime=1800.21
/proc/16690/stat : 16690 (java) S 16688 16690 13827 0 -1 0 262012 0 1 0 179873 148 0 0 16 0 14 0 290736633 1837826048 227378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16690/statm: 448688 227378 1335 9 0 446299 0
[pid=16690/tid=16692] ppid=16688 vsize=1794752 CPUtime=1696.31
/proc/16690/task/16692/stat : 16692 (java) R 16688 16690 13827 0 -1 64 42226 0 1 0 169592 39 0 0 17 0 14 0 290736634 1837826048 227378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4109798231 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16693] ppid=16688 vsize=1794752 CPUtime=49.73
/proc/16690/task/16693/stat : 16693 (java) S 16688 16690 13827 0 -1 64 104180 0 0 0 4930 43 0 0 16 0 14 0 290736636 1837826048 227378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16694] ppid=16688 vsize=1794752 CPUtime=49.85
/proc/16690/task/16694/stat : 16694 (java) S 16688 16690 13827 0 -1 64 102473 0 0 0 4942 43 0 0 17 0 14 0 290736636 1837826048 227378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16695] ppid=16688 vsize=1794752 CPUtime=0.35
/proc/16690/task/16695/stat : 16695 (java) S 16688 16690 13827 0 -1 64 33 0 0 0 21 14 0 0 16 0 14 0 290736638 1837826048 227378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16696] ppid=16688 vsize=1794752 CPUtime=0
/proc/16690/task/16696/stat : 16696 (java) S 16688 16690 13827 0 -1 64 10 0 0 0 0 0 0 0 16 0 14 0 290736638 1837826048 227378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16697] ppid=16688 vsize=1794752 CPUtime=0
/proc/16690/task/16697/stat : 16697 (java) S 16688 16690 13827 0 -1 64 8 0 0 0 0 0 0 0 16 0 14 0 290736639 1837826048 227378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16698] ppid=16688 vsize=1794752 CPUtime=0
/proc/16690/task/16698/stat : 16698 (java) S 16688 16690 13827 0 -1 64 6 0 0 0 0 0 0 0 18 0 14 0 290736642 1837826048 227378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16699] ppid=16688 vsize=1794752 CPUtime=2.05
/proc/16690/task/16699/stat : 16699 (java) S 16688 16690 13827 0 -1 64 6430 0 0 0 202 3 0 0 16 0 14 0 290736642 1837826048 227378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16700] ppid=16688 vsize=1794752 CPUtime=1.84
/proc/16690/task/16700/stat : 16700 (java) S 16688 16690 13827 0 -1 64 5925 0 0 0 181 3 0 0 17 0 14 0 290736642 1837826048 227378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16701] ppid=16688 vsize=1794752 CPUtime=0
/proc/16690/task/16701/stat : 16701 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 25 0 14 0 290736642 1837826048 227378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16690/tid=16702] ppid=16688 vsize=1794752 CPUtime=0
/proc/16690/task/16702/stat : 16702 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 15 0 14 0 290736642 1837826048 227378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16690/tid=16706] ppid=16688 vsize=1794752 CPUtime=0
/proc/16690/task/16706/stat : 16706 (java) S 16688 16690 13827 0 -1 64 1 0 0 0 0 0 0 0 20 0 14 0 290737735 1837826048 227378 18446744073709551615 134512640 134550740 4294956368 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 1794752

[startup+1748.7 s]
/proc/loadavg: 1.06 1.03 0.98 3/90 16706
/proc/meminfo: memFree=753976/2055920 swapFree=4157020/4192956
[pid=16690] ppid=16688 vsize=0 CPUtime=1800.3
/proc/16690/stat : 16690 (java) Z 16688 16690 13827 0 -1 1036 262012 0 1 0 179876 154 0 0 15 0 2 0 290736633 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16690/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1748.79
CPU time (s): 1800.4
CPU user time (s): 1798.76
CPU system time (s): 1.63275
CPU usage (%): 102.951
Max. virtual memory (cumulated for all children) (KiB): 1795696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.76
system time used= 1.63275
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262012
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= 48839
involuntary context switches= 48886

runsolver used 1.69074 second user time and 4.69829 second system time

The end

Launcher Data (download as text)

Begin job on node7 on Wed May  2 23:03:10 UTC 2007

IDJOB= 453661
IDBENCH= 48145
IDSOLVER= 164
FILE ID= node7/453661-1178146990

PBS_JOBID= 4751070

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  faa00895e2f6f80e77634e2be522df62

RANDOM SEED= 964615970

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node7.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.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 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.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1660672 kB
Buffers:        201064 kB
Cached:          82212 kB
SwapCached:      15788 kB
Active:         198328 kB
Inactive:       109392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1660672 kB
SwapTotal:     4192956 kB
SwapFree:      4157020 kB
Dirty:            3760 kB
Writeback:           0 kB
Mapped:          30556 kB
Slab:            72972 kB
Committed_AS: 14484052 kB
PageTables:       1864 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 node7 on Wed May  2 23:32:21 UTC 2007