Trace number 354181

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
sat4jPseudoCPClause 2007-03-23SAT (TO)2147483135 1800.41 1783.05

General information on the benchmark

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

Verifier Data (download as text)

OK	2147483135

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.98 2/77 4513
/proc/meminfo: memFree=1851568/2055920 swapFree=4171488/4192956
[pid=4513] ppid=4511 vsize=18568 CPUtime=0
/proc/4513/stat : 4513 (runsolver) R 4511 4513 3789 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 145824881 19013632 292 18446744073709551615 4194304 4296420 548682068880 18446744073709551615 234517753127 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/4513/statm: 4642 292 257 24 0 2626 0

[startup+0.04762 s]
/proc/loadavg: 0.91 0.95 0.98 2/77 4513
/proc/meminfo: memFree=1851568/2055920 swapFree=4171488/4192956
[pid=4513] ppid=4511 vsize=1776088 CPUtime=0.02
/proc/4513/stat : 4513 (java) S 4511 4513 3789 0 -1 0 3207 0 1 0 0 2 0 0 19 0 4 0 145824881 1818714112 2954 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/4513/statm: 444022 2954 887 9 0 441658 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1776088

[startup+0.102626 s]
/proc/loadavg: 0.91 0.95 0.98 2/77 4513
/proc/meminfo: memFree=1851568/2055920 swapFree=4171488/4192956
[pid=4513] ppid=4511 vsize=1777844 CPUtime=0.07
/proc/4513/stat : 4513 (java) S 4511 4513 3789 0 -1 0 3832 0 1 0 4 3 0 0 19 0 7 0 145824881 1820512256 3574 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/4513/statm: 444461 3574 1091 9 0 442097 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1777844

[startup+0.301643 s]
/proc/loadavg: 0.91 0.95 0.98 2/77 4513
/proc/meminfo: memFree=1851568/2055920 swapFree=4171488/4192956
[pid=4513] ppid=4511 vsize=1782576 CPUtime=0.32
/proc/4513/stat : 4513 (java) S 4511 4513 3789 0 -1 0 5117 0 1 0 28 4 0 0 19 0 12 0 145824881 1825357824 4852 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4513/statm: 445644 4852 1267 9 0 443255 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 1782576

[startup+0.702683 s]
/proc/loadavg: 0.91 0.95 0.98 2/77 4513
/proc/meminfo: memFree=1851568/2055920 swapFree=4171488/4192956
[pid=4513] ppid=4511 vsize=1783360 CPUtime=0.91
/proc/4513/stat : 4513 (java) S 4511 4513 3789 0 -1 0 7232 0 1 0 87 4 0 0 19 0 12 0 145824881 1826160640 6658 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4513/statm: 445840 6658 1302 9 0 443451 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 1783360

[startup+1.50276 s]
/proc/loadavg: 0.91 0.95 0.98 3/89 4525
/proc/meminfo: memFree=1814480/2055920 swapFree=4171488/4192956
[pid=4513] ppid=4511 vsize=1784128 CPUtime=1.95
/proc/4513/stat : 4513 (java) S 4511 4513 3789 0 -1 0 24501 0 1 0 183 12 0 0 19 0 12 0 145824881 1826947072 23263 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4513/statm: 446032 23263 1304 9 0 443643 0
[pid=4513/tid=4515] ppid=4511 vsize=1784128 CPUtime=1.18
/proc/4513/task/4515/stat : 4515 (java) R 4511 4513 3789 0 -1 64 21893 0 1 0 107 11 0 0 20 0 12 0 145824882 1826947072 23263 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109474207 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4516] ppid=4511 vsize=1784128 CPUtime=0
/proc/4513/task/4516/stat : 4516 (java) S 4511 4513 3789 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 145824884 1826947072 23263 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4517] ppid=4511 vsize=1784128 CPUtime=0
/proc/4513/task/4517/stat : 4517 (java) S 4511 4513 3789 0 -1 64 0 0 0 0 0 0 0 0 22 0 12 0 145824884 1826947072 23263 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4518] ppid=4511 vsize=1784128 CPUtime=0
/proc/4513/task/4518/stat : 4518 (java) S 4511 4513 3789 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 145824888 1826947072 23263 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4519] ppid=4511 vsize=1784128 CPUtime=0
/proc/4513/task/4519/stat : 4519 (java) S 4511 4513 3789 0 -1 64 10 0 0 0 0 0 0 0 23 0 12 0 145824888 1826947072 23263 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4520] ppid=4511 vsize=1784128 CPUtime=0
/proc/4513/task/4520/stat : 4520 (java) S 4511 4513 3789 0 -1 64 4 0 0 0 0 0 0 0 24 0 12 0 145824888 1826947072 23263 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4521] ppid=4511 vsize=1784128 CPUtime=0
/proc/4513/task/4521/stat : 4521 (java) S 4511 4513 3789 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 145824892 1826947072 23263 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4522] ppid=4511 vsize=1784128 CPUtime=0.29
/proc/4513/task/4522/stat : 4522 (java) S 4511 4513 3789 0 -1 64 469 0 0 0 29 0 0 0 16 0 12 0 145824892 1826947072 23263 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4523] ppid=4511 vsize=1784128 CPUtime=0.46
/proc/4513/task/4523/stat : 4523 (java) S 4511 4513 3789 0 -1 64 1420 0 0 0 46 0 0 0 16 0 12 0 145824892 1826947072 23263 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4524] ppid=4511 vsize=1784128 CPUtime=0
/proc/4513/task/4524/stat : 4524 (java) S 4511 4513 3789 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 145824892 1826947072 23263 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4525] ppid=4511 vsize=1784128 CPUtime=0
/proc/4513/task/4525/stat : 4525 (java) S 4511 4513 3789 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 145824892 1826947072 23263 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 1784128

[startup+3.1019 s]
/proc/loadavg: 0.91 0.95 0.98 2/89 4525
/proc/meminfo: memFree=1700752/2055920 swapFree=4171488/4192956
[pid=4513] ppid=4511 vsize=1785720 CPUtime=3.98
/proc/4513/stat : 4513 (java) S 4511 4513 3789 0 -1 0 44122 0 1 0 377 21 0 0 19 0 13 0 145824881 1828577280 42284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4513/statm: 446430 42284 1325 9 0 444041 0
[pid=4513/tid=4515] ppid=4511 vsize=1785720 CPUtime=2.58
/proc/4513/task/4515/stat : 4515 (java) R 4511 4513 3789 0 -1 64 37746 0 1 0 240 18 0 0 21 0 13 0 145824882 1828577280 42284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109715269 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4516] ppid=4511 vsize=1785720 CPUtime=0.04
/proc/4513/task/4516/stat : 4516 (java) S 4511 4513 3789 0 -1 64 1435 0 0 0 4 0 0 0 16 0 13 0 145824884 1828577280 42284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4517] ppid=4511 vsize=1785720 CPUtime=0.05
/proc/4513/task/4517/stat : 4517 (java) S 4511 4513 3789 0 -1 64 1398 0 0 0 5 0 0 0 17 0 13 0 145824884 1828577280 42284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4518] ppid=4511 vsize=1785720 CPUtime=0
/proc/4513/task/4518/stat : 4518 (java) S 4511 4513 3789 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 145824888 1828577280 42284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4519] ppid=4511 vsize=1785720 CPUtime=0
/proc/4513/task/4519/stat : 4519 (java) S 4511 4513 3789 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 145824888 1828577280 42284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4520] ppid=4511 vsize=1785720 CPUtime=0
/proc/4513/task/4520/stat : 4520 (java) S 4511 4513 3789 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 145824888 1828577280 42284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4521] ppid=4511 vsize=1785720 CPUtime=0
/proc/4513/task/4521/stat : 4521 (java) S 4511 4513 3789 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145824892 1828577280 42284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4522] ppid=4511 vsize=1785720 CPUtime=0.52
/proc/4513/task/4522/stat : 4522 (java) S 4511 4513 3789 0 -1 64 800 0 0 0 52 0 0 0 16 0 13 0 145824892 1828577280 42284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4523] ppid=4511 vsize=1785720 CPUtime=0.73
/proc/4513/task/4523/stat : 4523 (java) S 4511 4513 3789 0 -1 64 2014 0 0 0 73 0 0 0 16 0 13 0 145824892 1828577280 42284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4524] ppid=4511 vsize=1785720 CPUtime=0
/proc/4513/task/4524/stat : 4524 (java) S 4511 4513 3789 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145824892 1828577280 42284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4525] ppid=4511 vsize=1785720 CPUtime=0
/proc/4513/task/4525/stat : 4525 (java) S 4511 4513 3789 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 145824892 1828577280 42284 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 1785720

[startup+6.30219 s]
/proc/loadavg: 0.92 0.95 0.98 2/90 4528
/proc/meminfo: memFree=1673080/2055920 swapFree=4171488/4192956
[pid=4513] ppid=4511 vsize=1785720 CPUtime=7.67
/proc/4513/stat : 4513 (java) S 4511 4513 3789 0 -1 0 48578 0 1 0 742 25 0 0 19 0 13 0 145824881 1828577280 46690 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4513/statm: 446430 46690 1328 9 0 444041 0
[pid=4513/tid=4515] ppid=4511 vsize=1785720 CPUtime=5.45
/proc/4513/task/4515/stat : 4515 (java) R 4511 4513 3789 0 -1 64 37753 0 1 0 527 18 0 0 25 0 13 0 145824882 1828577280 46690 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109538429 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4516] ppid=4511 vsize=1785720 CPUtime=0.2
/proc/4513/task/4516/stat : 4516 (java) S 4511 4513 3789 0 -1 64 3696 0 0 0 18 2 0 0 16 0 13 0 145824884 1828577280 46690 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4517] ppid=4511 vsize=1785720 CPUtime=0.21
/proc/4513/task/4517/stat : 4517 (java) S 4511 4513 3789 0 -1 64 3544 0 0 0 19 2 0 0 16 0 13 0 145824884 1828577280 46690 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4518] ppid=4511 vsize=1785720 CPUtime=0
/proc/4513/task/4518/stat : 4518 (java) S 4511 4513 3789 0 -1 64 14 0 0 0 0 0 0 0 16 0 13 0 145824888 1828577280 46690 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4519] ppid=4511 vsize=1785720 CPUtime=0
/proc/4513/task/4519/stat : 4519 (java) S 4511 4513 3789 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 145824888 1828577280 46690 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4520] ppid=4511 vsize=1785720 CPUtime=0
/proc/4513/task/4520/stat : 4520 (java) S 4511 4513 3789 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 145824888 1828577280 46690 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4521] ppid=4511 vsize=1785720 CPUtime=0
/proc/4513/task/4521/stat : 4521 (java) S 4511 4513 3789 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145824892 1828577280 46690 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4522] ppid=4511 vsize=1785720 CPUtime=0.77
/proc/4513/task/4522/stat : 4522 (java) S 4511 4513 3789 0 -1 64 818 0 0 0 77 0 0 0 16 0 13 0 145824892 1828577280 46690 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4523] ppid=4511 vsize=1785720 CPUtime=0.98
/proc/4513/task/4523/stat : 4523 (java) S 4511 4513 3789 0 -1 64 2028 0 0 0 98 0 0 0 16 0 13 0 145824892 1828577280 46690 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4524] ppid=4511 vsize=1785720 CPUtime=0
/proc/4513/task/4524/stat : 4524 (java) S 4511 4513 3789 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145824892 1828577280 46690 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4525] ppid=4511 vsize=1785720 CPUtime=0
/proc/4513/task/4525/stat : 4525 (java) S 4511 4513 3789 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 145824892 1828577280 46690 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4528] ppid=4511 vsize=1785720 CPUtime=0
/proc/4513/task/4528/stat : 4528 (java) S 4511 4513 3789 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 145825375 1828577280 46690 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.67
Current children cumulated vsize (KiB) 1785720

[startup+12.7018 s]
/proc/loadavg: 0.93 0.95 0.98 2/90 4529
/proc/meminfo: memFree=1648176/2055920 swapFree=4171488/4192956
[pid=4513] ppid=4511 vsize=1790184 CPUtime=14.5
/proc/4513/stat : 4513 (java) S 4511 4513 3789 0 -1 0 56631 0 1 0 1421 29 0 0 19 0 13 0 145824881 1833148416 51793 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4513/statm: 447546 51793 1328 9 0 445157 0
[pid=4513/tid=4515] ppid=4511 vsize=1790184 CPUtime=11.54
/proc/4513/task/4515/stat : 4515 (java) R 4511 4513 3789 0 -1 64 37764 0 1 0 1136 18 0 0 17 0 13 0 145824882 1833148416 51793 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109539367 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4516] ppid=4511 vsize=1790184 CPUtime=0.39
/proc/4513/task/4516/stat : 4516 (java) S 4511 4513 3789 0 -1 64 6779 0 0 0 36 3 0 0 16 0 13 0 145824884 1833148416 51793 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4517] ppid=4511 vsize=1790184 CPUtime=0.4
/proc/4513/task/4517/stat : 4517 (java) S 4511 4513 3789 0 -1 64 6630 0 0 0 36 4 0 0 16 0 13 0 145824884 1833148416 51793 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4518] ppid=4511 vsize=1790184 CPUtime=0
/proc/4513/task/4518/stat : 4518 (java) S 4511 4513 3789 0 -1 64 20 0 0 0 0 0 0 0 15 0 13 0 145824888 1833148416 51793 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4519] ppid=4511 vsize=1790184 CPUtime=0
/proc/4513/task/4519/stat : 4519 (java) S 4511 4513 3789 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 145824888 1833148416 51793 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4520] ppid=4511 vsize=1790184 CPUtime=0
/proc/4513/task/4520/stat : 4520 (java) S 4511 4513 3789 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 145824888 1833148416 51793 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4521] ppid=4511 vsize=1790184 CPUtime=0
/proc/4513/task/4521/stat : 4521 (java) S 4511 4513 3789 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145824892 1833148416 51793 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4522] ppid=4511 vsize=1790184 CPUtime=0.99
/proc/4513/task/4522/stat : 4522 (java) S 4511 4513 3789 0 -1 64 2630 0 0 0 98 1 0 0 17 0 13 0 145824892 1833148416 51793 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4523] ppid=4511 vsize=1790184 CPUtime=1.13
/proc/4513/task/4523/stat : 4523 (java) S 4511 4513 3789 0 -1 64 2080 0 0 0 112 1 0 0 16 0 13 0 145824892 1833148416 51793 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4524] ppid=4511 vsize=1790184 CPUtime=0
/proc/4513/task/4524/stat : 4524 (java) S 4511 4513 3789 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145824892 1833148416 51793 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4525] ppid=4511 vsize=1790184 CPUtime=0
/proc/4513/task/4525/stat : 4525 (java) S 4511 4513 3789 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 145824892 1833148416 51793 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4529] ppid=4511 vsize=1790184 CPUtime=0
/proc/4513/task/4529/stat : 4529 (java) S 4511 4513 3789 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145825612 1833148416 51793 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.5
Current children cumulated vsize (KiB) 1790184

[startup+25.5029 s]
/proc/loadavg: 0.94 0.96 0.98 2/90 4529
/proc/meminfo: memFree=1734576/2055920 swapFree=4171488/4192956
[pid=4513] ppid=4511 vsize=1790184 CPUtime=27.53
/proc/4513/stat : 4513 (java) S 4511 4513 3789 0 -1 0 57566 0 1 0 2722 31 0 0 19 0 13 0 145824881 1833148416 30319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4513/statm: 447546 30319 1328 9 0 445157 0
[pid=4513/tid=4515] ppid=4511 vsize=1790184 CPUtime=24.23
/proc/4513/task/4515/stat : 4515 (java) R 4511 4513 3789 0 -1 64 37799 0 1 0 2405 18 0 0 25 0 13 0 145824882 1833148416 30319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109538452 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4516] ppid=4511 vsize=1790184 CPUtime=0.46
/proc/4513/task/4516/stat : 4516 (java) S 4511 4513 3789 0 -1 64 7123 0 0 0 43 3 0 0 17 0 13 0 145824884 1833148416 30319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4517] ppid=4511 vsize=1790184 CPUtime=0.46
/proc/4513/task/4517/stat : 4517 (java) S 4511 4513 3789 0 -1 64 7109 0 0 0 42 4 0 0 16 0 13 0 145824884 1833148416 30319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4518] ppid=4511 vsize=1790184 CPUtime=0.02
/proc/4513/task/4518/stat : 4518 (java) S 4511 4513 3789 0 -1 64 46 0 0 0 0 2 0 0 15 0 13 0 145824888 1833148416 30319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4519] ppid=4511 vsize=1790184 CPUtime=0
/proc/4513/task/4519/stat : 4519 (java) S 4511 4513 3789 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 145824888 1833148416 30319 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0

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

[pid=4513/tid=4518] ppid=4511 vsize=1790452 CPUtime=0.88
/proc/4513/task/4518/stat : 4518 (java) S 4511 4513 3789 0 -1 64 487 0 0 0 49 39 0 0 16 0 13 0 145824888 1833422848 140456 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4519] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4519/stat : 4519 (java) S 4511 4513 3789 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 145824888 1833422848 140456 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4520] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4520/stat : 4520 (java) S 4511 4513 3789 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 145824888 1833422848 140456 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4521] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4521/stat : 4521 (java) S 4511 4513 3789 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145824892 1833422848 140456 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4522] ppid=4511 vsize=1790452 CPUtime=1.29
/proc/4513/task/4522/stat : 4522 (java) S 4511 4513 3789 0 -1 64 2681 0 0 0 128 1 0 0 16 0 13 0 145824892 1833422848 140456 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4523] ppid=4511 vsize=1790452 CPUtime=1.41
/proc/4513/task/4523/stat : 4523 (java) S 4511 4513 3789 0 -1 64 2106 0 0 0 140 1 0 0 16 0 13 0 145824892 1833422848 140456 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4524] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4524/stat : 4524 (java) S 4511 4513 3789 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145824892 1833422848 140456 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4525] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4525/stat : 4525 (java) S 4511 4513 3789 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 145824892 1833422848 140456 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4551] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4551/stat : 4551 (java) S 4511 4513 3789 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 145977551 1833422848 140456 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1617.52
Current children cumulated vsize (KiB) 1790452

[startup+1662.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/90 4555
/proc/meminfo: memFree=1275240/2055920 swapFree=4171488/4192956
[pid=4513] ppid=4511 vsize=1790452 CPUtime=1678.23
/proc/4513/stat : 4513 (java) S 4511 4513 3789 0 -1 0 283555 0 1 0 167602 221 0 0 19 0 13 0 145824881 1833422848 144715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4513/statm: 447613 144715 1328 9 0 445224 0
[pid=4513/tid=4515] ppid=4511 vsize=1790452 CPUtime=1644.21
/proc/4513/task/4515/stat : 4515 (java) R 4511 4513 3789 0 -1 64 148040 0 1 0 164347 74 0 0 25 0 13 0 145824882 1833422848 144715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109870504 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4516] ppid=4511 vsize=1790452 CPUtime=15.18
/proc/4513/task/4516/stat : 4516 (java) S 4511 4513 3789 0 -1 64 65999 0 0 0 1465 53 0 0 16 0 13 0 145824884 1833422848 144715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4517] ppid=4511 vsize=1790452 CPUtime=15.15
/proc/4513/task/4517/stat : 4517 (java) S 4511 4513 3789 0 -1 64 63474 0 0 0 1466 49 0 0 16 0 13 0 145824884 1833422848 144715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4518] ppid=4511 vsize=1790452 CPUtime=0.9
/proc/4513/task/4518/stat : 4518 (java) S 4511 4513 3789 0 -1 64 487 0 0 0 50 40 0 0 16 0 13 0 145824888 1833422848 144715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4519] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4519/stat : 4519 (java) S 4511 4513 3789 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 145824888 1833422848 144715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4520] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4520/stat : 4520 (java) S 4511 4513 3789 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 145824888 1833422848 144715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4521] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4521/stat : 4521 (java) S 4511 4513 3789 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145824892 1833422848 144715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4522] ppid=4511 vsize=1790452 CPUtime=1.31
/proc/4513/task/4522/stat : 4522 (java) S 4511 4513 3789 0 -1 64 2681 0 0 0 130 1 0 0 16 0 13 0 145824892 1833422848 144715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4523] ppid=4511 vsize=1790452 CPUtime=1.41
/proc/4513/task/4523/stat : 4523 (java) S 4511 4513 3789 0 -1 64 2106 0 0 0 140 1 0 0 16 0 13 0 145824892 1833422848 144715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4524] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4524/stat : 4524 (java) S 4511 4513 3789 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145824892 1833422848 144715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4525] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4525/stat : 4525 (java) S 4511 4513 3789 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 145824892 1833422848 144715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4555] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4555/stat : 4555 (java) S 4511 4513 3789 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 145990921 1833422848 144715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1678.23
Current children cumulated vsize (KiB) 1790452

[startup+1722.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/90 4555
/proc/meminfo: memFree=1261864/2055920 swapFree=4171488/4192956
[pid=4513] ppid=4511 vsize=1790452 CPUtime=1738.92
/proc/4513/stat : 4513 (java) S 4511 4513 3789 0 -1 0 287298 0 1 0 173665 227 0 0 19 0 13 0 145824881 1833422848 147698 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4513/statm: 447613 147698 1328 9 0 445224 0
[pid=4513/tid=4515] ppid=4511 vsize=1790452 CPUtime=1703.39
/proc/4513/task/4515/stat : 4515 (java) R 4511 4513 3789 0 -1 64 148141 0 1 0 170265 74 0 0 18 0 13 0 145824882 1833422848 147698 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109858515 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4516] ppid=4511 vsize=1790452 CPUtime=15.91
/proc/4513/task/4516/stat : 4516 (java) S 4511 4513 3789 0 -1 64 67831 0 0 0 1537 54 0 0 16 0 13 0 145824884 1833422848 147698 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4517] ppid=4511 vsize=1790452 CPUtime=15.89
/proc/4513/task/4517/stat : 4517 (java) S 4511 4513 3789 0 -1 64 65283 0 0 0 1537 52 0 0 16 0 13 0 145824884 1833422848 147698 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4518] ppid=4511 vsize=1790452 CPUtime=0.94
/proc/4513/task/4518/stat : 4518 (java) S 4511 4513 3789 0 -1 64 488 0 0 0 53 41 0 0 15 0 13 0 145824888 1833422848 147698 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4519] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4519/stat : 4519 (java) S 4511 4513 3789 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 145824888 1833422848 147698 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4520] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4520/stat : 4520 (java) S 4511 4513 3789 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 145824888 1833422848 147698 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4521] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4521/stat : 4521 (java) S 4511 4513 3789 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145824892 1833422848 147698 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4522] ppid=4511 vsize=1790452 CPUtime=1.31
/proc/4513/task/4522/stat : 4522 (java) S 4511 4513 3789 0 -1 64 2681 0 0 0 130 1 0 0 16 0 13 0 145824892 1833422848 147698 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4523] ppid=4511 vsize=1790452 CPUtime=1.41
/proc/4513/task/4523/stat : 4523 (java) S 4511 4513 3789 0 -1 64 2106 0 0 0 140 1 0 0 16 0 13 0 145824892 1833422848 147698 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4524] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4524/stat : 4524 (java) S 4511 4513 3789 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145824892 1833422848 147698 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4525] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4525/stat : 4525 (java) S 4511 4513 3789 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 145824892 1833422848 147698 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4555] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4555/stat : 4555 (java) S 4511 4513 3789 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 145990921 1833422848 147698 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1738.92
Current children cumulated vsize (KiB) 1790452

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 4555
/proc/meminfo: memFree=1251368/2055920 swapFree=4171488/4192956
[pid=4513] ppid=4511 vsize=1790452 CPUtime=1799.55
/proc/4513/stat : 4513 (java) S 4511 4513 3789 0 -1 0 290952 0 1 0 179723 232 0 0 19 0 13 0 145824881 1833422848 150326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4513/statm: 447613 150326 1328 9 0 445224 0
[pid=4513/tid=4515] ppid=4511 vsize=1790452 CPUtime=1762.6
/proc/4513/task/4515/stat : 4515 (java) R 4511 4513 3789 0 -1 64 148275 0 1 0 176186 74 0 0 25 0 13 0 145824882 1833422848 150326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109538354 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4516] ppid=4511 vsize=1790452 CPUtime=16.61
/proc/4513/task/4516/stat : 4516 (java) S 4511 4513 3789 0 -1 64 69574 0 0 0 1605 56 0 0 16 0 13 0 145824884 1833422848 150326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4517] ppid=4511 vsize=1790452 CPUtime=16.58
/proc/4513/task/4517/stat : 4517 (java) S 4511 4513 3789 0 -1 64 67059 0 0 0 1605 53 0 0 15 0 13 0 145824884 1833422848 150326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4518] ppid=4511 vsize=1790452 CPUtime=0.96
/proc/4513/task/4518/stat : 4518 (java) S 4511 4513 3789 0 -1 64 489 0 0 0 54 42 0 0 16 0 13 0 145824888 1833422848 150326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4519] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4519/stat : 4519 (java) S 4511 4513 3789 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 145824888 1833422848 150326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4520] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4520/stat : 4520 (java) S 4511 4513 3789 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 145824888 1833422848 150326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4521] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4521/stat : 4521 (java) S 4511 4513 3789 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145824892 1833422848 150326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4522] ppid=4511 vsize=1790452 CPUtime=1.31
/proc/4513/task/4522/stat : 4522 (java) S 4511 4513 3789 0 -1 64 2681 0 0 0 130 1 0 0 16 0 13 0 145824892 1833422848 150326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4523] ppid=4511 vsize=1790452 CPUtime=1.41
/proc/4513/task/4523/stat : 4523 (java) S 4511 4513 3789 0 -1 64 2106 0 0 0 140 1 0 0 16 0 13 0 145824892 1833422848 150326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4524] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4524/stat : 4524 (java) S 4511 4513 3789 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145824892 1833422848 150326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4525] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4525/stat : 4525 (java) S 4511 4513 3789 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 145824892 1833422848 150326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4555] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4555/stat : 4555 (java) S 4511 4513 3789 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 145990921 1833422848 150326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (KiB) 1790452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1782.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 4555
/proc/meminfo: memFree=1251368/2055920 swapFree=4171488/4192956
[pid=4513] ppid=4511 vsize=1790452 CPUtime=1800.06
/proc/4513/stat : 4513 (java) S 4511 4513 3789 0 -1 0 290953 0 1 0 179774 232 0 0 19 0 13 0 145824881 1833422848 150326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4513/statm: 447613 150326 1328 9 0 445224 0
[pid=4513/tid=4515] ppid=4511 vsize=1790452 CPUtime=1763.1
/proc/4513/task/4515/stat : 4515 (java) R 4511 4513 3789 0 -1 64 148276 0 1 0 176236 74 0 0 25 0 13 0 145824882 1833422848 150326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109858467 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4516] ppid=4511 vsize=1790452 CPUtime=16.62
/proc/4513/task/4516/stat : 4516 (java) S 4511 4513 3789 0 -1 64 69574 0 0 0 1606 56 0 0 16 0 13 0 145824884 1833422848 150326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4517] ppid=4511 vsize=1790452 CPUtime=16.59
/proc/4513/task/4517/stat : 4517 (java) S 4511 4513 3789 0 -1 64 67059 0 0 0 1606 53 0 0 16 0 13 0 145824884 1833422848 150326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4518] ppid=4511 vsize=1790452 CPUtime=0.96
/proc/4513/task/4518/stat : 4518 (java) S 4511 4513 3789 0 -1 64 489 0 0 0 54 42 0 0 15 0 13 0 145824888 1833422848 150326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4519] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4519/stat : 4519 (java) S 4511 4513 3789 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 145824888 1833422848 150326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4520] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4520/stat : 4520 (java) S 4511 4513 3789 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 145824888 1833422848 150326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4521] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4521/stat : 4521 (java) S 4511 4513 3789 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145824892 1833422848 150326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4522] ppid=4511 vsize=1790452 CPUtime=1.31
/proc/4513/task/4522/stat : 4522 (java) S 4511 4513 3789 0 -1 64 2681 0 0 0 130 1 0 0 16 0 13 0 145824892 1833422848 150326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4523] ppid=4511 vsize=1790452 CPUtime=1.41
/proc/4513/task/4523/stat : 4523 (java) S 4511 4513 3789 0 -1 64 2106 0 0 0 140 1 0 0 16 0 13 0 145824892 1833422848 150326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4524] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4524/stat : 4524 (java) S 4511 4513 3789 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 145824892 1833422848 150326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4513/tid=4525] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4525/stat : 4525 (java) S 4511 4513 3789 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 145824892 1833422848 150326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4513/tid=4555] ppid=4511 vsize=1790452 CPUtime=0
/proc/4513/task/4555/stat : 4555 (java) S 4511 4513 3789 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 145990921 1833422848 150326 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1790452

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

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

[startup+1783 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 4558
/proc/meminfo: memFree=1583520/2055920 swapFree=4171488/4192956
[pid=4513] ppid=4511 vsize=0 CPUtime=1800.36
/proc/4513/stat : 4513 (java) Z 4511 4513 3789 0 -1 1036 290966 0 1 0 179799 237 0 0 15 0 2 0 145824881 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4513/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1783.05
CPU time (s): 1800.41
CPU user time (s): 1797.99
CPU system time (s): 2.41463
CPU usage (%): 100.973
Max. virtual memory (cumulated for all children) (KiB): 1790776

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

runsolver used 1.89271 second user time and 6.00209 second system time

The end

Launcher Data (download as text)

Begin job on node72 on Mon Apr 16 04:31:04 UTC 2007

IDJOB= 354181
IDBENCH= 2371
IDSOLVER= 164
FILE ID= node72/354181-1176697864

PBS_JOBID= 4560008

Free space on /tmp= 66482 MiB

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  77d03e06bcf76c9b07fd6535ab6acb65

RANDOM SEED= 223366619

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node72.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.222
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	: 5931.00
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.222
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:       1852040 kB
Buffers:         17508 kB
Cached:         104916 kB
SwapCached:       2832 kB
Active:          39852 kB
Inactive:       107420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1852040 kB
SwapTotal:     4192956 kB
SwapFree:      4171488 kB
Dirty:            5616 kB
Writeback:           0 kB
Mapped:          31748 kB
Slab:            42140 kB
Committed_AS:  2650008 kB
PageTables:       1796 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= 66482 MiB

End job on node72 on Mon Apr 16 05:00:49 UTC 2007