Trace number 354124

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
sat4jPseudoCP 2007-03-23SAT (TO)58444262 1800.48 1762.79

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-UMTS.opb
MD5SUMc716bc6c519760d619aa6878c926054c
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark54618714
Best CPU time to get the best result obtained on this benchmark1800.48
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 31249460
Optimality of the best value was proved NO
Number of variables6402
Total number of constraints4465
Number of constraints which are clauses2785
Number of constraints which are cardinality constraints (but not clauses)1428
Number of constraints which are nor clauses,nor cardinality constraints252
Minimum length of a constraint1
Maximum length of a constraint511
Number of terms in the objective function 4170
Biggest coefficient in the objective function 23582998528
Number of bits for the biggest coefficient in the objective function 35
Sum of the numbers in the objective function 2904924551250
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 1024000000000
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2904924551250
Number of bits of the biggest sum of numbers42
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	58444262

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 1.06 1.02 1.00 3/77 7961
/proc/meminfo: memFree=1860288/2055920 swapFree=4075708/4192956
[pid=7961] ppid=7959 vsize=18568 CPUtime=0
/proc/7961/stat : 7961 (runsolver) D 7959 7961 7540 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 117480052 19013632 292 18446744073709551615 4194304 4296420 548682068880 18446744073709551615 231493659943 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/7961/statm: 4642 292 257 24 0 2626 0

[startup+0.0167651 s]
/proc/loadavg: 1.06 1.02 1.00 3/77 7961
/proc/meminfo: memFree=1860288/2055920 swapFree=4075708/4192956
[pid=7961] ppid=7959 vsize=18568 CPUtime=0
/proc/7961/stat : 7961 (runsolver) D 7959 7961 7540 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 117480052 19013632 292 18446744073709551615 4194304 4296420 548682068880 18446744073709551615 231493659943 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/7961/statm: 4642 292 257 24 0 2626 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18568

[startup+0.101778 s]
/proc/loadavg: 1.06 1.02 1.00 3/77 7961
/proc/meminfo: memFree=1860288/2055920 swapFree=4075708/4192956
[pid=7961] ppid=7959 vsize=1472 CPUtime=0
/proc/7961/stat : 7961 (java) D 7959 7961 7540 0 -1 0 96 0 8 0 0 0 0 0 18 0 1 0 117480052 1507328 76 18446744073709551615 134512640 134550740 4294956608 18446744073709551615 12172942 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/7961/statm: 368 76 56 9 0 10 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1472

[startup+0.301817 s]
/proc/loadavg: 1.06 1.02 1.00 3/77 7961
/proc/meminfo: memFree=1860288/2055920 swapFree=4075708/4192956
[pid=7961] ppid=7959 vsize=1777708 CPUtime=0.09
/proc/7961/stat : 7961 (java) S 7959 7961 7540 0 -1 0 3723 0 42 0 4 5 0 0 18 0 7 0 117480052 1820372992 3506 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/7961/statm: 444427 3506 1085 9 0 442063 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1777708

[startup+0.701885 s]
/proc/loadavg: 1.06 1.02 1.00 3/77 7961
/proc/meminfo: memFree=1860288/2055920 swapFree=4075708/4192956
[pid=7961] ppid=7959 vsize=1784068 CPUtime=0.58
/proc/7961/stat : 7961 (java) S 7959 7961 7540 0 -1 0 5952 0 42 0 52 6 0 0 18 0 12 0 117480052 1826885632 5717 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7961/statm: 446017 5717 1284 9 0 443629 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 1784068

[startup+1.50302 s]
/proc/loadavg: 1.06 1.02 1.00 2/89 7973
/proc/meminfo: memFree=1829152/2055920 swapFree=4075708/4192956
[pid=7961] ppid=7959 vsize=1794312 CPUtime=2.01
/proc/7961/stat : 7961 (java) S 7959 7961 7540 0 -1 0 17342 0 42 0 189 12 0 0 18 0 12 0 117480052 1837375488 15399 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7961/statm: 448578 15403 1316 9 0 446190 0
[pid=7961/tid=7963] ppid=7959 vsize=1794312 CPUtime=0.91
/proc/7961/task/7963/stat : 7963 (java) R 7959 7961 7540 0 -1 64 11656 0 13 0 83 8 0 0 18 0 12 0 117480068 1837375488 15403 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109189216 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7964] ppid=7959 vsize=1794312 CPUtime=0
/proc/7961/task/7964/stat : 7964 (java) S 7959 7961 7540 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 117480075 1837375488 15403 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7965] ppid=7959 vsize=1794312 CPUtime=0
/proc/7961/task/7965/stat : 7965 (java) S 7959 7961 7540 0 -1 64 0 0 0 0 0 0 0 0 19 0 12 0 117480075 1837375488 15403 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7966] ppid=7959 vsize=1794312 CPUtime=0
/proc/7961/task/7966/stat : 7966 (java) S 7959 7961 7540 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 117480079 1837375488 15403 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7967] ppid=7959 vsize=1794312 CPUtime=0
/proc/7961/task/7967/stat : 7967 (java) S 7959 7961 7540 0 -1 64 10 0 0 0 0 0 0 0 21 0 12 0 117480079 1837375488 15403 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7968] ppid=7959 vsize=1794312 CPUtime=0
/proc/7961/task/7968/stat : 7968 (java) S 7959 7961 7540 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 117480079 1837375488 15403 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7969] ppid=7959 vsize=1794312 CPUtime=0
/proc/7961/task/7969/stat : 7969 (java) S 7959 7961 7540 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 117480084 1837375488 15403 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7970] ppid=7959 vsize=1794312 CPUtime=0.69
/proc/7961/task/7970/stat : 7970 (java) R 7959 7961 7540 0 -1 64 3874 0 0 0 68 1 0 0 19 0 12 0 117480084 1837375488 15403 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 102395035 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=7971] ppid=7959 vsize=1794312 CPUtime=0.37
/proc/7961/task/7971/stat : 7971 (java) S 7959 7961 7540 0 -1 64 1126 0 0 0 37 0 0 0 16 0 12 0 117480084 1837375488 15403 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7972] ppid=7959 vsize=1794312 CPUtime=0
/proc/7961/task/7972/stat : 7972 (java) S 7959 7961 7540 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 117480084 1837375488 15403 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7973] ppid=7959 vsize=1794312 CPUtime=0
/proc/7961/task/7973/stat : 7973 (java) S 7959 7961 7540 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 117480084 1837375488 15403 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 1794312

[startup+3.10229 s]
/proc/loadavg: 1.06 1.02 1.00 2/90 7974
/proc/meminfo: memFree=1783192/2055920 swapFree=4075708/4192956
[pid=7961] ppid=7959 vsize=1796268 CPUtime=4.41
/proc/7961/stat : 7961 (java) S 7959 7961 7540 0 -1 0 48568 0 42 0 413 28 0 0 18 0 13 0 117480052 1839378432 43209 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7961/statm: 449067 43209 1332 9 0 446679 0
[pid=7961/tid=7963] ppid=7959 vsize=1796268 CPUtime=1.97
/proc/7961/task/7963/stat : 7963 (java) R 7959 7961 7540 0 -1 64 37749 0 13 0 175 22 0 0 18 0 13 0 117480068 1839378432 43209 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109602395 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7964] ppid=7959 vsize=1796268 CPUtime=0.01
/proc/7961/task/7964/stat : 7964 (java) S 7959 7961 7540 0 -1 64 604 0 0 0 1 0 0 0 16 0 13 0 117480075 1839378432 43209 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7965] ppid=7959 vsize=1796268 CPUtime=0.01
/proc/7961/task/7965/stat : 7965 (java) S 7959 7961 7540 0 -1 64 456 0 0 0 1 0 0 0 16 0 13 0 117480075 1839378432 43209 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=7966] ppid=7959 vsize=1796268 CPUtime=0
/proc/7961/task/7966/stat : 7966 (java) S 7959 7961 7540 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117480079 1839378432 43209 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7967] ppid=7959 vsize=1796268 CPUtime=0
/proc/7961/task/7967/stat : 7967 (java) S 7959 7961 7540 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 117480079 1839378432 43209 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7968] ppid=7959 vsize=1796268 CPUtime=0
/proc/7961/task/7968/stat : 7968 (java) S 7959 7961 7540 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117480079 1839378432 43209 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7969] ppid=7959 vsize=1796268 CPUtime=0
/proc/7961/task/7969/stat : 7969 (java) S 7959 7961 7540 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 117480084 1839378432 43209 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7970] ppid=7959 vsize=1796268 CPUtime=1.44
/proc/7961/task/7970/stat : 7970 (java) R 7959 7961 7540 0 -1 64 6338 0 0 0 142 2 0 0 16 0 13 0 117480084 1839378432 43209 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 103314317 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=7971] ppid=7959 vsize=1796268 CPUtime=0.92
/proc/7961/task/7971/stat : 7971 (java) S 7959 7961 7540 0 -1 64 2722 0 0 0 92 0 0 0 16 0 13 0 117480084 1839378432 43209 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7972] ppid=7959 vsize=1796268 CPUtime=0
/proc/7961/task/7972/stat : 7972 (java) S 7959 7961 7540 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 117480084 1839378432 43209 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7973] ppid=7959 vsize=1796268 CPUtime=0
/proc/7961/task/7973/stat : 7973 (java) S 7959 7961 7540 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 117480084 1839378432 43209 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7974] ppid=7959 vsize=1796268 CPUtime=0
/proc/7961/task/7974/stat : 7974 (java) S 7959 7961 7540 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 117480226 1839378432 43209 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 1796268

[startup+6.30283 s]
/proc/loadavg: 1.06 1.01 1.00 2/90 7974
/proc/meminfo: memFree=1678168/2055920 swapFree=4075708/4192956
[pid=7961] ppid=7959 vsize=1795852 CPUtime=8.12
/proc/7961/stat : 7961 (java) S 7959 7961 7540 0 -1 0 52223 0 42 0 782 30 0 0 18 0 13 0 117480052 1838952448 44866 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7961/statm: 448963 44866 1332 9 0 446575 0
[pid=7961/tid=7963] ppid=7959 vsize=1795852 CPUtime=4.93
/proc/7961/task/7963/stat : 7963 (java) R 7959 7961 7540 0 -1 64 37757 0 13 0 471 22 0 0 23 0 13 0 117480068 1838952448 44866 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109822385 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7964] ppid=7959 vsize=1795852 CPUtime=0.11
/proc/7961/task/7964/stat : 7964 (java) S 7959 7961 7540 0 -1 64 2154 0 0 0 10 1 0 0 17 0 13 0 117480075 1838952448 44866 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7965] ppid=7959 vsize=1795852 CPUtime=0.1
/proc/7961/task/7965/stat : 7965 (java) S 7959 7961 7540 0 -1 64 1852 0 0 0 10 0 0 0 16 0 13 0 117480075 1838952448 44866 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=7966] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7966/stat : 7966 (java) S 7959 7961 7540 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 117480079 1838952448 44866 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=7967] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7967/stat : 7967 (java) S 7959 7961 7540 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 117480079 1838952448 44866 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7968] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7968/stat : 7968 (java) S 7959 7961 7540 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117480079 1838952448 44866 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7969] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7969/stat : 7969 (java) S 7959 7961 7540 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 117480084 1838952448 44866 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7970] ppid=7959 vsize=1795852 CPUtime=1.71
/proc/7961/task/7970/stat : 7970 (java) S 7959 7961 7540 0 -1 64 6356 0 0 0 168 3 0 0 16 0 13 0 117480084 1838952448 44866 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=7971] ppid=7959 vsize=1795852 CPUtime=1.21
/proc/7961/task/7971/stat : 7971 (java) S 7959 7961 7540 0 -1 64 3384 0 0 0 120 1 0 0 17 0 13 0 117480084 1838952448 44866 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7972] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7972/stat : 7972 (java) S 7959 7961 7540 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 117480084 1838952448 44866 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7973] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7973/stat : 7973 (java) S 7959 7961 7540 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 117480084 1838952448 44866 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7974] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7974/stat : 7974 (java) S 7959 7961 7540 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 117480226 1838952448 44866 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.12
Current children cumulated vsize (KiB) 1795852

[startup+12.7029 s]
/proc/loadavg: 1.05 1.01 1.00 2/90 7974
/proc/meminfo: memFree=1644632/2055920 swapFree=4075708/4192956
[pid=7961] ppid=7959 vsize=1795852 CPUtime=14.73
/proc/7961/stat : 7961 (java) S 7959 7961 7540 0 -1 0 60766 0 42 0 1439 34 0 0 18 0 13 0 117480052 1838952448 53122 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7961/statm: 448963 53122 1332 9 0 446575 0
[pid=7961/tid=7963] ppid=7959 vsize=1795852 CPUtime=11.23
/proc/7961/task/7963/stat : 7963 (java) R 7959 7961 7540 0 -1 64 42584 0 13 0 1099 24 0 0 25 0 13 0 117480068 1838952448 53122 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109829090 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=7964] ppid=7959 vsize=1795852 CPUtime=0.19
/proc/7961/task/7964/stat : 7964 (java) S 7959 7961 7540 0 -1 64 4138 0 0 0 17 2 0 0 16 0 13 0 117480075 1838952448 53122 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7965] ppid=7959 vsize=1795852 CPUtime=0.18
/proc/7961/task/7965/stat : 7965 (java) S 7959 7961 7540 0 -1 64 3575 0 0 0 17 1 0 0 16 0 13 0 117480075 1838952448 53122 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=7966] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7966/stat : 7966 (java) S 7959 7961 7540 0 -1 64 27 0 0 0 0 0 0 0 17 0 13 0 117480079 1838952448 53122 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=7967] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7967/stat : 7967 (java) S 7959 7961 7540 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 117480079 1838952448 53122 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7968] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7968/stat : 7968 (java) S 7959 7961 7540 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117480079 1838952448 53122 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7969] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7969/stat : 7969 (java) S 7959 7961 7540 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 117480084 1838952448 53122 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7970] ppid=7959 vsize=1795852 CPUtime=1.74
/proc/7961/task/7970/stat : 7970 (java) S 7959 7961 7540 0 -1 64 6356 0 0 0 171 3 0 0 16 0 13 0 117480084 1838952448 53122 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=7971] ppid=7959 vsize=1795852 CPUtime=1.33
/proc/7961/task/7971/stat : 7971 (java) S 7959 7961 7540 0 -1 64 3393 0 0 0 132 1 0 0 16 0 13 0 117480084 1838952448 53122 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7972] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7972/stat : 7972 (java) S 7959 7961 7540 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 117480084 1838952448 53122 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7973] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7973/stat : 7973 (java) S 7959 7961 7540 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 117480084 1838952448 53122 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7974] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7974/stat : 7974 (java) S 7959 7961 7540 0 -1 64 5 0 0 0 0 0 0 0 19 0 13 0 117480226 1838952448 53122 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.73
Current children cumulated vsize (KiB) 1795852

[startup+25.5023 s]
/proc/loadavg: 1.04 1.01 1.00 2/90 7974
/proc/meminfo: memFree=1684952/2055920 swapFree=4075708/4192956
[pid=7961] ppid=7959 vsize=1795852 CPUtime=27.72
/proc/7961/stat : 7961 (java) S 7959 7961 7540 0 -1 0 62116 0 42 0 2736 36 0 0 18 0 13 0 117480052 1838952448 42495 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7961/statm: 448963 42495 1333 9 0 446575 0
[pid=7961/tid=7963] ppid=7959 vsize=1795852 CPUtime=23.9
/proc/7961/task/7963/stat : 7963 (java) R 7959 7961 7540 0 -1 64 42607 0 13 0 2366 24 0 0 19 0 13 0 117480068 1838952448 42495 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109822366 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7964] ppid=7959 vsize=1795852 CPUtime=0.27
/proc/7961/task/7964/stat : 7964 (java) S 7959 7961 7540 0 -1 64 4781 0 0 0 25 2 0 0 16 0 13 0 117480075 1838952448 42495 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=7965] ppid=7959 vsize=1795852 CPUtime=0.26
/proc/7961/task/7965/stat : 7965 (java) S 7959 7961 7540 0 -1 64 4258 0 0 0 25 1 0 0 16 0 13 0 117480075 1838952448 42495 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7966] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7966/stat : 7966 (java) S 7959 7961 7540 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 117480079 1838952448 42495 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0

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

[pid=7961/tid=7966] ppid=7959 vsize=1795852 CPUtime=0.54
/proc/7961/task/7966/stat : 7966 (java) S 7959 7961 7540 0 -1 64 145 0 0 0 32 22 0 0 15 0 13 0 117480079 1838952448 183045 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7967] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7967/stat : 7967 (java) S 7959 7961 7540 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 117480079 1838952448 183045 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7968] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7968/stat : 7968 (java) S 7959 7961 7540 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117480079 1838952448 183045 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7969] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7969/stat : 7969 (java) S 7959 7961 7540 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 117480084 1838952448 183045 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7970] ppid=7959 vsize=1795852 CPUtime=2.21
/proc/7961/task/7970/stat : 7970 (java) S 7959 7961 7540 0 -1 64 6376 0 0 0 218 3 0 0 16 0 13 0 117480084 1838952448 183045 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=7971] ppid=7959 vsize=1795852 CPUtime=1.9
/proc/7961/task/7971/stat : 7971 (java) S 7959 7961 7540 0 -1 64 3417 0 0 0 189 1 0 0 16 0 13 0 117480084 1838952448 183045 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7972] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7972/stat : 7972 (java) S 7959 7961 7540 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 117480084 1838952448 183045 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7973] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7973/stat : 7973 (java) S 7959 7961 7540 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 117480084 1838952448 183045 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=8177] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/8177/stat : 8177 (java) S 7959 7961 7540 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 117531722 1838952448 183045 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1634.03
Current children cumulated vsize (KiB) 1795852

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 8177
/proc/meminfo: memFree=1107824/2055920 swapFree=4076364/4192956
[pid=7961] ppid=7959 vsize=1795852 CPUtime=1696.1
/proc/7961/stat : 7961 (java) S 7959 7961 7540 0 -1 0 266885 0 42 0 169438 172 0 0 18 0 13 0 117480052 1838952448 186823 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7961/statm: 448963 186823 1336 9 0 446575 0
[pid=7961/tid=7963] ppid=7959 vsize=1795852 CPUtime=1626.51
/proc/7961/task/7963/stat : 7963 (java) R 7959 7961 7540 0 -1 64 92905 0 13 0 162585 66 0 0 25 0 13 0 117480068 1838952448 186823 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109870839 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7964] ppid=7959 vsize=1795852 CPUtime=32.48
/proc/7961/task/7964/stat : 7964 (java) S 7959 7961 7540 0 -1 64 87912 0 0 0 3207 41 0 0 16 0 13 0 117480075 1838952448 186823 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=7965] ppid=7959 vsize=1795852 CPUtime=32.39
/proc/7961/task/7965/stat : 7965 (java) S 7959 7961 7540 0 -1 64 75429 0 0 0 3204 35 0 0 17 0 13 0 117480075 1838952448 186823 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7966] ppid=7959 vsize=1795852 CPUtime=0.56
/proc/7961/task/7966/stat : 7966 (java) S 7959 7961 7540 0 -1 64 145 0 0 0 33 23 0 0 16 0 13 0 117480079 1838952448 186823 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=7967] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7967/stat : 7967 (java) S 7959 7961 7540 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 117480079 1838952448 186823 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7968] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7968/stat : 7968 (java) S 7959 7961 7540 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117480079 1838952448 186823 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7969] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7969/stat : 7969 (java) S 7959 7961 7540 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 117480084 1838952448 186823 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7970] ppid=7959 vsize=1795852 CPUtime=2.21
/proc/7961/task/7970/stat : 7970 (java) S 7959 7961 7540 0 -1 64 6376 0 0 0 218 3 0 0 16 0 13 0 117480084 1838952448 186823 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=7971] ppid=7959 vsize=1795852 CPUtime=1.9
/proc/7961/task/7971/stat : 7971 (java) S 7959 7961 7540 0 -1 64 3417 0 0 0 189 1 0 0 16 0 13 0 117480084 1838952448 186823 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7972] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7972/stat : 7972 (java) S 7959 7961 7540 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 117480084 1838952448 186823 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7973] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7973/stat : 7973 (java) S 7959 7961 7540 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 117480084 1838952448 186823 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=8177] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/8177/stat : 8177 (java) S 7959 7961 7540 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 117531722 1838952448 186823 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1696.1
Current children cumulated vsize (KiB) 1795852

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 8177
/proc/meminfo: memFree=1092208/2055920 swapFree=4076364/4192956
[pid=7961] ppid=7959 vsize=1795852 CPUtime=1758.33
/proc/7961/stat : 7961 (java) S 7959 7961 7540 0 -1 0 271054 0 42 0 175659 174 0 0 18 0 13 0 117480052 1838952448 190742 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7961/statm: 448963 190742 1336 9 0 446575 0
[pid=7961/tid=7963] ppid=7959 vsize=1795852 CPUtime=1684.15
/proc/7961/task/7963/stat : 7963 (java) R 7959 7961 7540 0 -1 64 92980 0 13 0 168349 66 0 0 25 0 13 0 117480068 1838952448 190742 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109876015 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7964] ppid=7959 vsize=1795852 CPUtime=34.75
/proc/7961/task/7964/stat : 7964 (java) S 7959 7961 7540 0 -1 64 90086 0 0 0 3434 41 0 0 16 0 13 0 117480075 1838952448 190742 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7965] ppid=7959 vsize=1795852 CPUtime=34.67
/proc/7961/task/7965/stat : 7965 (java) S 7959 7961 7540 0 -1 64 77349 0 0 0 3432 35 0 0 16 0 13 0 117480075 1838952448 190742 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=7966] ppid=7959 vsize=1795852 CPUtime=0.58
/proc/7961/task/7966/stat : 7966 (java) S 7959 7961 7540 0 -1 64 145 0 0 0 34 24 0 0 16 0 13 0 117480079 1838952448 190742 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7967] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7967/stat : 7967 (java) S 7959 7961 7540 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 117480079 1838952448 190742 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7968] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7968/stat : 7968 (java) S 7959 7961 7540 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117480079 1838952448 190742 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7969] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7969/stat : 7969 (java) S 7959 7961 7540 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 117480084 1838952448 190742 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7970] ppid=7959 vsize=1795852 CPUtime=2.21
/proc/7961/task/7970/stat : 7970 (java) S 7959 7961 7540 0 -1 64 6376 0 0 0 218 3 0 0 16 0 13 0 117480084 1838952448 190742 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=7971] ppid=7959 vsize=1795852 CPUtime=1.9
/proc/7961/task/7971/stat : 7971 (java) S 7959 7961 7540 0 -1 64 3417 0 0 0 189 1 0 0 16 0 13 0 117480084 1838952448 190742 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7972] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7972/stat : 7972 (java) S 7959 7961 7540 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 117480084 1838952448 190742 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7973] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7973/stat : 7973 (java) S 7959 7961 7540 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 117480084 1838952448 190742 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=8177] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/8177/stat : 8177 (java) S 7959 7961 7540 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 117531722 1838952448 190742 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1758.33
Current children cumulated vsize (KiB) 1795852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1762.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 8177
/proc/meminfo: memFree=1081648/2055920 swapFree=4076428/4192956
[pid=7961] ppid=7959 vsize=1795852 CPUtime=1800.05
/proc/7961/stat : 7961 (java) S 7959 7961 7540 0 -1 0 273831 0 42 0 179829 176 0 0 18 0 13 0 117480052 1838952448 193332 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7961/statm: 448963 193332 1336 9 0 446575 0
[pid=7961/tid=7963] ppid=7959 vsize=1795852 CPUtime=1722.74
/proc/7961/task/7963/stat : 7963 (java) R 7959 7961 7540 0 -1 64 93028 0 13 0 172208 66 0 0 25 0 13 0 117480068 1838952448 193332 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109602299 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7964] ppid=7959 vsize=1795852 CPUtime=36.33
/proc/7961/task/7964/stat : 7964 (java) S 7959 7961 7540 0 -1 64 91535 0 0 0 3591 42 0 0 16 0 13 0 117480075 1838952448 193332 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7965] ppid=7959 vsize=1795852 CPUtime=36.22
/proc/7961/task/7965/stat : 7965 (java) S 7959 7961 7540 0 -1 64 78629 0 0 0 3586 36 0 0 16 0 13 0 117480075 1838952448 193332 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=7966] ppid=7959 vsize=1795852 CPUtime=0.59
/proc/7961/task/7966/stat : 7966 (java) S 7959 7961 7540 0 -1 64 145 0 0 0 35 24 0 0 16 0 13 0 117480079 1838952448 193332 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=7967] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7967/stat : 7967 (java) S 7959 7961 7540 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 117480079 1838952448 193332 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7968] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7968/stat : 7968 (java) S 7959 7961 7540 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117480079 1838952448 193332 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7969] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7969/stat : 7969 (java) S 7959 7961 7540 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 117480084 1838952448 193332 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7970] ppid=7959 vsize=1795852 CPUtime=2.21
/proc/7961/task/7970/stat : 7970 (java) S 7959 7961 7540 0 -1 64 6376 0 0 0 218 3 0 0 16 0 13 0 117480084 1838952448 193332 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=7971] ppid=7959 vsize=1795852 CPUtime=1.9
/proc/7961/task/7971/stat : 7971 (java) S 7959 7961 7540 0 -1 64 3417 0 0 0 189 1 0 0 16 0 13 0 117480084 1838952448 193332 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7972] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7972/stat : 7972 (java) S 7959 7961 7540 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 117480084 1838952448 193332 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7973] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/7973/stat : 7973 (java) S 7959 7961 7540 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 117480084 1838952448 193332 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=8177] ppid=7959 vsize=1795852 CPUtime=0
/proc/7961/task/8177/stat : 8177 (java) S 7959 7961 7540 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 117531722 1838952448 193332 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1795852

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

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

[startup+1762.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 8177
/proc/meminfo: memFree=1081648/2055920 swapFree=4076428/4192956
[pid=7961] ppid=7959 vsize=1796500 CPUtime=1800.27
/proc/7961/stat : 7961 (java) S 7959 7961 7540 0 -1 0 273918 0 42 0 179850 177 0 0 16 0 15 0 117480052 1839616000 193416 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7961/statm: 449125 193416 1336 9 0 446737 0
[pid=7961/tid=7963] ppid=7959 vsize=1796500 CPUtime=1722.81
/proc/7961/task/7963/stat : 7963 (java) R 7959 7961 7540 0 -1 64 93028 0 13 0 172214 67 0 0 24 0 15 0 117480068 1839616000 193416 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4109602299 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=7964] ppid=7959 vsize=1796500 CPUtime=36.36
/proc/7961/task/7964/stat : 7964 (java) S 7959 7961 7540 0 -1 64 91583 0 0 0 3594 42 0 0 16 0 15 0 117480075 1839616000 193416 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7965] ppid=7959 vsize=1796500 CPUtime=36.26
/proc/7961/task/7965/stat : 7965 (java) S 7959 7961 7540 0 -1 64 78648 0 0 0 3590 36 0 0 16 0 15 0 117480075 1839616000 193416 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=7966] ppid=7959 vsize=1796500 CPUtime=0.59
/proc/7961/task/7966/stat : 7966 (java) S 7959 7961 7540 0 -1 64 145 0 0 0 35 24 0 0 16 0 15 0 117480079 1839616000 193416 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=7967] ppid=7959 vsize=1796500 CPUtime=0
/proc/7961/task/7967/stat : 7967 (java) S 7959 7961 7540 0 -1 64 10 0 0 0 0 0 0 0 16 0 15 0 117480079 1839616000 193416 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7968] ppid=7959 vsize=1796500 CPUtime=0
/proc/7961/task/7968/stat : 7968 (java) S 7959 7961 7540 0 -1 64 6 0 0 0 0 0 0 0 16 0 15 0 117480079 1839616000 193416 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7969] ppid=7959 vsize=1796500 CPUtime=0
/proc/7961/task/7969/stat : 7969 (java) S 7959 7961 7540 0 -1 64 6 0 0 0 0 0 0 0 18 0 15 0 117480084 1839616000 193416 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7970] ppid=7959 vsize=1796500 CPUtime=2.24
/proc/7961/task/7970/stat : 7970 (java) S 7959 7961 7540 0 -1 64 6379 0 0 0 221 3 0 0 16 0 15 0 117480084 1839616000 193416 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7971] ppid=7959 vsize=1796500 CPUtime=1.92
/proc/7961/task/7971/stat : 7971 (java) R 7959 7961 7540 0 -1 64 3417 0 0 0 191 1 0 0 16 0 15 0 117480084 1839616000 193416 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 104911535 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7972] ppid=7959 vsize=1796500 CPUtime=0
/proc/7961/task/7972/stat : 7972 (java) S 7959 7961 7540 0 -1 64 1 0 0 0 0 0 0 0 21 0 15 0 117480084 1839616000 193416 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7961/tid=7973] ppid=7959 vsize=1796500 CPUtime=0
/proc/7961/task/7973/stat : 7973 (java) S 7959 7961 7540 0 -1 64 0 0 0 0 0 0 0 0 15 0 15 0 117480084 1839616000 193416 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7961/tid=8177] ppid=7959 vsize=1796500 CPUtime=0
/proc/7961/task/8177/stat : 8177 (java) S 7959 7961 7540 0 -1 64 1 0 0 0 0 0 0 0 18 0 15 0 117531722 1839616000 193416 18446744073709551615 134512640 134550740 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 1796500

[startup+1762.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 8177
/proc/meminfo: memFree=1081648/2055920 swapFree=4076428/4192956
[pid=7961] ppid=7959 vsize=0 CPUtime=1800.38
/proc/7961/stat : 7961 (java) Z 7959 7961 7540 0 -1 1036 273921 0 42 0 179858 180 0 0 16 0 2 0 117480052 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7961/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.38
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1762.79
CPU time (s): 1800.48
CPU user time (s): 1798.59
CPU system time (s): 1.88571
CPU usage (%): 102.138
Max. virtual memory (cumulated for all children) (KiB): 1798900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.59
system time used= 1.88571
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273921
page faults= 42
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58502
involuntary context switches= 57025

runsolver used 1.93971 second user time and 6.08607 second system time

The end

Launcher Data (download as text)

Begin job on node39 on Mon Apr 16 03:54:40 UTC 2007

IDJOB= 354124
IDBENCH= 2354
IDSOLVER= 160
FILE ID= node39/354124-1176695680

PBS_JOBID= 4560020

Free space on /tmp= 66544 MiB

SOLVER NAME= sat4jPseudoCP 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354124-1176695680/sat4jPseudoCP.jar /tmp/evaluation/354124-1176695680/instance-354124-1176695680.opb       
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-354124-1176695680 -o ROOT/results/node39/solver-354124-1176695680 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/354124-1176695680/sat4jPseudoCP.jar /tmp/evaluation/354124-1176695680/instance-354124-1176695680.opb       

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  c716bc6c519760d619aa6878c926054c

RANDOM SEED= 4435964

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node39.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.256
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.256
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:       1860888 kB
Buffers:         41420 kB
Cached:          71296 kB
SwapCached:       2408 kB
Active:          21216 kB
Inactive:       115536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1860888 kB
SwapTotal:     4192956 kB
SwapFree:      4075708 kB
Dirty:            4068 kB
Writeback:           0 kB
Mapped:          31152 kB
Slab:            43540 kB
Committed_AS:  1792632 kB
PageTables:       2012 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= 66544 MiB

End job on node39 on Mon Apr 16 04:24:05 UTC 2007