Trace number 4432170

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
Sat4j Resolution Default 2024-07-07SAT (TO)1211105279 3600.3 3561.01

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
MD5SUM8990d9f8b403d84c2b7408cf78742133
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1126169600
Best CPU time to get the best result obtained on this benchmark2936.48
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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 

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

Verifier Data 

OK	1211105279

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (62170 MiB free)
  memory of node 1: 64473 MiB (44634 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432170-1721066377/watcher-4432170-1721066377 -o /tmp/evaluation-result-4432170-1721066377/solver-4432170-1721066377 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721059308-811015 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432170-1721066377.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=815352, runsolver pid=815349

[startup+0.101142 s]*
/proc/loadavg: 4.48 4.51 4.45 6/334 815370
/proc/meminfo: memFree=109325196/131524600 swapFree=131071996/131071996
[pid=815352] ppid=815349 vsize=18975048 memory=67796 CPUtime=0.13 cores=0,2
/proc/815352/stat : 815352 (java) S 815349 815352 811005 0 -1 1077936128 7217 0 0 0 11 2 0 0 20 0 18 0 158806620 19430449152 16949 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
/proc/815352/statm: 4743762 16949 5790 1 0 549342 0
[pid=815352/tid=815354] ppid=815349 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/815352/task/815354/stat : 815354 (java) R 815349 815352 811005 0 -1 1078198336 5745 0 0 0 7 1 0 0 20 0 18 0 158806621 19430449152 16949 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815363] ppid=815349 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/815352/task/815363/stat : 815363 (Finalizer) S 815349 815352 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158806623 19430449152 16949 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815370] ppid=815349 vsize=18975048 memory=14134437545800980 CPUtime=0 cores=0,2
/proc/815352/task/815370/stat : 815370 (Common-Cleaner) S 815349 815352 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158806624 19430449152 16949 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67796 KiB

[startup+0.212829 s]*
/proc/loadavg: 4.48 4.51 4.45 7/334 815370
/proc/meminfo: memFree=109309264/131524600 swapFree=131071996/131071996
[pid=815352] ppid=815349 vsize=18975048 memory=83640 CPUtime=0.34 cores=0,2
/proc/815352/stat : 815352 (java) S 815349 815352 811005 0 -1 1077936128 7575 0 0 0 32 2 0 0 20 0 18 0 158806620 19430449152 20910 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
/proc/815352/statm: 4743762 20910 5876 1 0 549597 0
[pid=815352/tid=815354] ppid=815349 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/815352/task/815354/stat : 815354 (java) R 815349 815352 811005 0 -1 4194368 5904 0 0 0 18 1 0 0 20 0 18 0 158806621 19430449152 20910 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815363] ppid=815349 vsize=18975048 memory=15932 CPUtime=0 cores=0,2
/proc/815352/task/815363/stat : 815363 (Finalizer) S 815349 815352 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158806623 19430449152 20910 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815370] ppid=815349 vsize=18975048 memory=14408211646121490 CPUtime=0 cores=0,2
/proc/815352/task/815370/stat : 815370 (Common-Cleaner) S 815349 815352 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158806624 19430449152 20910 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 83640 KiB

[startup+0.306206 s]*
/proc/loadavg: 4.48 4.51 4.45 8/334 815370
/proc/meminfo: memFree=109278552/131524600 swapFree=131071996/131071996
[pid=815352] ppid=815349 vsize=18975048 memory=114248 CPUtime=0.52 cores=0,2
/proc/815352/stat : 815352 (java) S 815349 815352 811005 0 -1 1077936128 9139 0 0 0 49 3 0 0 20 0 18 0 158806620 19430449152 28562 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
/proc/815352/statm: 4743762 28562 5876 1 0 550642 0
[pid=815352/tid=815354] ppid=815349 vsize=18975048 memory=-8527961063316366012 CPUtime=0.27 cores=0,2
/proc/815352/task/815354/stat : 815354 (java) R 815349 815352 811005 0 -1 4194368 5917 0 0 0 26 1 0 0 20 0 18 0 158806621 19430449152 28562 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815363] ppid=815349 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/815352/task/815363/stat : 815363 (Finalizer) S 815349 815352 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158806623 19430449152 28562 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815370] ppid=815349 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/815352/task/815370/stat : 815370 (Common-Cleaner) S 815349 815352 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158806624 19430449152 28562 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 114248 KiB

[startup+0.701207 s]
/proc/loadavg: 4.48 4.51 4.45 9/335 815371
/proc/meminfo: memFree=109213440/131524600 swapFree=131071996/131071996
[pid=815352] ppid=815349 vsize=19108176 memory=178032 CPUtime=1.26 cores=0,2
/proc/815352/stat : 815352 (java) S 815349 815352 811005 0 -1 1077936128 9686 0 0 0 122 4 0 0 20 0 20 0 158806620 19566772224 44508 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
/proc/815352/statm: 4777044 44508 5914 1 0 551446 0
[pid=815352/tid=815354] ppid=815349 vsize=19108176 memory=5500 CPUtime=0.63 cores=0,2
/proc/815352/task/815354/stat : 815354 (java) R 815349 815352 811005 0 -1 4194368 6057 0 0 0 60 3 0 0 20 0 20 0 158806621 19566772224 44508 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815363] ppid=815349 vsize=19108176 memory=12512 CPUtime=0 cores=0,2
/proc/815352/task/815363/stat : 815363 (Finalizer) S 815349 815352 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158806623 19566772224 44508 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815370] ppid=815349 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/815352/task/815370/stat : 815370 (Common-Cleaner) S 815349 815352 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 158806624 19566772224 44508 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178032 KiB

[startup+1.50023 s]
/proc/loadavg: 4.48 4.51 4.45 5/336 815373
/proc/meminfo: memFree=109196524/131524600 swapFree=131071996/131071996
[pid=815352] ppid=815349 vsize=19108176 memory=193220 CPUtime=2.44 cores=0,2
/proc/815352/stat : 815352 (java) S 815349 815352 811005 0 -1 1077936128 9944 0 0 0 239 5 0 0 20 0 20 0 158806620 19566772224 48305 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
/proc/815352/statm: 4777044 48305 5930 1 0 551624 0
[pid=815352/tid=815354] ppid=815349 vsize=19108176 memory=12512 CPUtime=1.4 cores=0,2
/proc/815352/task/815354/stat : 815354 (java) R 815349 815352 811005 0 -1 4194368 6069 0 0 0 137 3 0 0 20 0 20 0 158806621 19566772224 48305 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815363] ppid=815349 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/815352/task/815363/stat : 815363 (Finalizer) S 815349 815352 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158806623 19566772224 48305 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815370] ppid=815349 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/815352/task/815370/stat : 815370 (Common-Cleaner) S 815349 815352 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 158806624 19566772224 48305 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815372] ppid=815349 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/815352/task/815372/stat : 815372 (Timer-0) S 815349 815352 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158806672 19566772224 48305 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
Current children cumulated CPU time: 2.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 193220 KiB

[startup+3.10664 s]
/proc/loadavg: 4.52 4.52 4.45 5/336 815373
/proc/meminfo: memFree=109076552/131524600 swapFree=131071996/131071996
[pid=815352] ppid=815349 vsize=19108176 memory=333736 CPUtime=4.07 cores=0,2
/proc/815352/stat : 815352 (java) S 815349 815352 811005 0 -1 1077936128 10815 0 0 0 399 8 0 0 20 0 20 0 158806620 19566772224 83434 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
/proc/815352/statm: 4777044 83434 5930 1 0 658153 0
[pid=815352/tid=815354] ppid=815349 vsize=19108176 memory=0 CPUtime=2.96 cores=0,2
/proc/815352/task/815354/stat : 815354 (java) R 815349 815352 811005 0 -1 4194368 6296 0 0 0 291 5 0 0 20 0 20 0 158806621 19566772224 83434 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815363] ppid=815349 vsize=19108176 memory=12088 CPUtime=0 cores=0,2
/proc/815352/task/815363/stat : 815363 (Finalizer) S 815349 815352 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158806623 19566772224 83434 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815370] ppid=815349 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/815352/task/815370/stat : 815370 (Common-Cleaner) S 815349 815352 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 158806624 19566772224 83434 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815372] ppid=815349 vsize=19108176 memory=12512 CPUtime=0 cores=0,2
/proc/815352/task/815372/stat : 815372 (Timer-0) S 815349 815352 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158806672 19566772224 83434 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
Current children cumulated CPU time: 4.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 333736 KiB

[startup+6.30028 s]
/proc/loadavg: 4.52 4.52 4.45 5/336 815373
/proc/meminfo: memFree=108722616/131524600 swapFree=131071996/131071996
[pid=815352] ppid=815349 vsize=19108176 memory=605084 CPUtime=7.29 cores=0,2
/proc/815352/stat : 815352 (java) S 815349 815352 811005 0 -1 1077936128 12770 0 0 0 716 13 0 0 20 0 20 0 158806620 19566772224 151271 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
/proc/815352/statm: 4777044 151271 5930 1 0 658164 0
[pid=815352/tid=815354] ppid=815349 vsize=19108176 memory=0 CPUtime=6.1 cores=0,2
/proc/815352/task/815354/stat : 815354 (java) R 815349 815352 811005 0 -1 4194368 6753 0 0 0 600 10 0 0 20 0 20 0 158806621 19566772224 151271 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815363] ppid=815349 vsize=19108176 memory=12512 CPUtime=0 cores=0,2
/proc/815352/task/815363/stat : 815363 (Finalizer) S 815349 815352 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158806623 19566772224 151271 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815370] ppid=815349 vsize=19108176 memory=12088 CPUtime=0 cores=0,2
/proc/815352/task/815370/stat : 815370 (Common-Cleaner) S 815349 815352 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 158806624 19566772224 151271 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815372] ppid=815349 vsize=19108176 memory=40552 CPUtime=0 cores=0,2
/proc/815352/task/815372/stat : 815372 (Timer-0) S 815349 815352 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158806672 19566772224 151271 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
Current children cumulated CPU time: 7.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 605084 KiB

[startup+12.7003 s]
/proc/loadavg: 4.51 4.52 4.45 5/336 815375
/proc/meminfo: memFree=107649716/131524600 swapFree=131071996/131071996
[pid=815352] ppid=815349 vsize=19108176 memory=1594108 CPUtime=13.75 cores=0,2
/proc/815352/stat : 815352 (java) S 815349 815352 811005 0 -1 1077936128 17592 0 0 0 1343 32 0 0 20 0 20 0 158806620 19566772224 398527 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
/proc/815352/statm: 4777044 398527 5930 1 0 658352 0
[pid=815352/tid=815354] ppid=815349 vsize=19108176 memory=192368 CPUtime=12.42 cores=0,2
/proc/815352/task/815354/stat : 815354 (java) R 815349 815352 811005 0 -1 4194368 8321 0 0 0 1215 27 0 0 20 0 20 0 158806621 19566772224 398527 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815363] ppid=815349 vsize=19108176 memory=1588264 CPUtime=0 cores=0,2
/proc/815352/task/815363/stat : 815363 (Finalizer) S 815349 815352 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158806623 19566772224 398527 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815370] ppid=815349 vsize=19108176 memory=356296 CPUtime=0 cores=0,2
/proc/815352/task/815370/stat : 815370 (Common-Cleaner) S 815349 815352 811005 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 158806624 19566772224 398527 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815372] ppid=815349 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/815352/task/815372/stat : 815372 (Timer-0) S 815349 815352 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158806672 19566772224 398527 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
Current children cumulated CPU time: 13.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1594108 KiB

[startup+25.5003 s]
/proc/loadavg: 4.59 4.53 4.46 6/336 815376
/proc/meminfo: memFree=107541516/131524600 swapFree=131071996/131071996
[pid=815352] ppid=815349 vsize=19108176 memory=1602964 CPUtime=26.69 cores=0,2
/proc/815352/stat : 815352 (java) S 815349 815352 811005 0 -1 1077936128 21346 0 0 0 2636 33 0 0 20 0 20 0 158806620 19566772224 400741 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
/proc/815352/statm: 4777044 400741 5930 1 0 659258 0
[pid=815352/tid=815354] ppid=815349 vsize=19108176 memory=1588264 CPUtime=25.11 cores=0,2
/proc/815352/task/815354/stat : 815354 (java) R 815349 815352 811005 0 -1 4194368 10035 0 0 0 2484 27 0 0 20 0 20 0 158806621 19566772224 400741 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815363] ppid=815349 vsize=19108176 memory=1596820 CPUtime=0 cores=0,2
/proc/815352/task/815363/stat : 815363 (Finalizer) S 815349 815352 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158806623 19566772224 400741 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815370] ppid=815349 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/815352/task/815370/stat : 815370 (Common-Cleaner) S 815349 815352 811005 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 158806624 19566772224 400741 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815372] ppid=815349 vsize=19108176 memory=6944656592455360604 CPUtime=0 cores=0,2
/proc/815352/task/815372/stat : 815372 (Timer-0) S 815349 815352 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158806672 19566772224 400741 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
Current children cumulated CPU time: 26.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1602964 KiB

[startup+51.1061 s]
/proc/loadavg: 4.60 4.54 4.46 5/336 815381
/proc/meminfo: memFree=107356936/131524600 swapFree=131071996/131071996
[pid=815352] ppid=815349 vsize=19108176 memory=1634912 CPUtime=52.5 cores=0,2
/proc/815352/stat : 815352 (java) S 815349 815352 811005 0 -1 1077936128 29735 0 0 0 5215 35 0 0 20 0 20 0 158806620 19566772224 408728 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
/proc/815352/statm: 4777044 408728 5930 1 0 659258 0
[pid=815352/tid=815354] ppid=815349 vsize=19108176 memory=1614072 CPUtime=50.46 cores=0,2
/proc/815352/task/815354/stat : 815354 (java) R 815349 815352 811005 0 -1 4194368 12287 0 0 0 5018 28 0 0 20 0 20 0 158806621 19566772224 408728 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815363] ppid=815349 vsize=19108176 memory=1614072 CPUtime=0 cores=0,2
/proc/815352/task/815363/stat : 815363 (Finalizer) S 815349 815352 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158806623 19566772224 408728 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815370] ppid=815349 vsize=19108176 memory=12088 CPUtime=0 cores=0,2
/proc/815352/task/815370/stat : 815370 (Common-Cleaner) S 815349 815352 811005 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 158806624 19566772224 408728 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0

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

/proc/815352/task/815363/stat : 815363 (Finalizer) S 815349 815352 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158806623 19566772224 753271 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815370] ppid=815349 vsize=19108176 memory=2528612 CPUtime=0 cores=0,2
/proc/815352/task/815370/stat : 815370 (Common-Cleaner) S 815349 815352 811005 0 -1 1077936192 1812 0 0 0 0 0 0 0 20 0 20 0 158806624 19566772224 753271 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815372] ppid=815349 vsize=19108176 memory=3013056 CPUtime=0 cores=0,2
/proc/815352/task/815372/stat : 815372 (Timer-0) S 815349 815352 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158806672 19566772224 753271 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
Current children cumulated CPU time: 3192.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3013084 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.18 4.27 5/334 816673
/proc/meminfo: memFree=112720544/131524600 swapFree=131071996/131071996
[pid=815352] ppid=815349 vsize=19108176 memory=3024156 CPUtime=3253.36 cores=0,2
/proc/815352/stat : 815352 (java) S 815349 815352 811005 0 -1 1077936128 253276 0 0 0 325133 203 0 0 20 0 20 0 158806620 19566772224 756039 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
/proc/815352/statm: 4777044 756039 5967 1 0 766842 0
[pid=815352/tid=815354] ppid=815349 vsize=19108176 memory=12088 CPUtime=3162.51 cores=0,2
/proc/815352/task/815354/stat : 815354 (java) R 815349 815352 811005 0 -1 4194368 96131 0 0 0 316188 63 0 0 20 0 20 0 158806621 19566772224 756039 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 63 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815363] ppid=815349 vsize=19108176 memory=2528612 CPUtime=0 cores=0,2
/proc/815352/task/815363/stat : 815363 (Finalizer) S 815349 815352 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158806623 19566772224 756039 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815370] ppid=815349 vsize=19108176 memory=3013084 CPUtime=0 cores=0,2
/proc/815352/task/815370/stat : 815370 (Common-Cleaner) S 815349 815352 811005 0 -1 1077936192 1820 0 0 0 0 0 0 0 20 0 20 0 158806624 19566772224 756039 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815372] ppid=815349 vsize=19108176 memory=3024156 CPUtime=0 cores=0,2
/proc/815352/task/815372/stat : 815372 (Timer-0) S 815349 815352 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158806672 19566772224 756039 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
Current children cumulated CPU time: 3253.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3024156 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.20 4.27 5/334 816684
/proc/meminfo: memFree=112719404/131524600 swapFree=131071996/131071996
[pid=815352] ppid=815349 vsize=19108176 memory=3024536 CPUtime=3314.49 cores=0,2
/proc/815352/stat : 815352 (java) S 815349 815352 811005 0 -1 1077936128 264135 0 0 0 331243 206 0 0 20 0 20 0 158806620 19566772224 756134 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
/proc/815352/statm: 4777044 756134 5982 1 0 766843 0
[pid=815352/tid=815354] ppid=815349 vsize=19108176 memory=3024532 CPUtime=3220.91 cores=0,2
/proc/815352/task/815354/stat : 815354 (java) R 815349 815352 811005 0 -1 4194368 99006 0 0 0 322027 64 0 0 20 0 20 0 158806621 19566772224 756134 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 66 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815363] ppid=815349 vsize=19108176 memory=12088 CPUtime=0 cores=0,2
/proc/815352/task/815363/stat : 815363 (Finalizer) S 815349 815352 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158806623 19566772224 756134 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815370] ppid=815349 vsize=19108176 memory=-8527961063316366012 CPUtime=0 cores=0,2
/proc/815352/task/815370/stat : 815370 (Common-Cleaner) S 815349 815352 811005 0 -1 1077936192 1838 0 0 0 0 0 0 0 20 0 20 0 158806624 19566772224 756134 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815372] ppid=815349 vsize=19108176 memory=12088 CPUtime=0 cores=0,2
/proc/815352/task/815372/stat : 815372 (Timer-0) S 815349 815352 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158806672 19566772224 756134 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
Current children cumulated CPU time: 3314.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3024536 KiB

[startup+3342.3 s]
/proc/loadavg: 4.37 4.25 4.28 5/334 816695
/proc/meminfo: memFree=112636784/131524600 swapFree=131071996/131071996
[pid=815352] ppid=815349 vsize=19108176 memory=3024536 CPUtime=3375.97 cores=0,2
/proc/815352/stat : 815352 (java) S 815349 815352 811005 0 -1 1077936128 266227 0 0 0 337387 210 0 0 20 0 20 0 158806620 19566772224 756134 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
/proc/815352/statm: 4777044 756134 5982 1 0 766859 0
[pid=815352/tid=815354] ppid=815349 vsize=19108176 memory=3024156 CPUtime=3279.64 cores=0,2
/proc/815352/task/815354/stat : 815354 (java) R 815349 815352 811005 0 -1 4194368 100802 0 0 0 327900 64 0 0 20 0 20 0 158806621 19566772224 756134 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 66 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815363] ppid=815349 vsize=19108176 memory=2268 CPUtime=0 cores=0,2
/proc/815352/task/815363/stat : 815363 (Finalizer) S 815349 815352 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158806623 19566772224 756134 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815370] ppid=815349 vsize=19108176 memory=108 CPUtime=0 cores=0,2
/proc/815352/task/815370/stat : 815370 (Common-Cleaner) S 815349 815352 811005 0 -1 1077936192 1839 0 0 0 0 0 0 0 20 0 20 0 158806624 19566772224 756134 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815372] ppid=815349 vsize=19108176 memory=12088 CPUtime=0 cores=0,2
/proc/815352/task/815372/stat : 815372 (Timer-0) S 815349 815352 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158806672 19566772224 756134 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
Current children cumulated CPU time: 3375.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3024536 KiB

[startup+3402.3 s]
/proc/loadavg: 4.27 4.25 4.27 5/332 817089
/proc/meminfo: memFree=112635616/131524600 swapFree=131071996/131071996
[pid=815352] ppid=815349 vsize=19108176 memory=3024548 CPUtime=3436.7 cores=0,2
/proc/815352/stat : 815352 (java) S 815349 815352 811005 0 -1 1077936128 269412 0 0 0 343457 213 0 0 20 0 20 0 158806620 19566772224 756137 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
/proc/815352/statm: 4777044 756137 5982 1 0 766859 0
[pid=815352/tid=815354] ppid=815349 vsize=19108176 memory=3024548 CPUtime=3338.32 cores=0,2
/proc/815352/task/815354/stat : 815354 (java) R 815349 815352 811005 0 -1 4194368 102531 0 0 0 333767 65 0 0 20 0 20 0 158806621 19566772224 756137 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 66 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815363] ppid=815349 vsize=19108176 memory=3024548 CPUtime=0 cores=0,2
/proc/815352/task/815363/stat : 815363 (Finalizer) S 815349 815352 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158806623 19566772224 756137 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815370] ppid=815349 vsize=19108176 memory=32872 CPUtime=0 cores=0,2
/proc/815352/task/815370/stat : 815370 (Common-Cleaner) S 815349 815352 811005 0 -1 1077936192 1961 0 0 0 0 0 0 0 20 0 20 0 158806624 19566772224 756137 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815372] ppid=815349 vsize=19108176 memory=3024548 CPUtime=0 cores=0,2
/proc/815352/task/815372/stat : 815372 (Timer-0) S 815349 815352 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158806672 19566772224 756137 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
Current children cumulated CPU time: 3436.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3024548 KiB

[startup+3462.3 s]
/proc/loadavg: 3.82 4.14 4.23 4/305 817134
/proc/meminfo: memFree=115808576/131524600 swapFree=131071996/131071996
[pid=815352] ppid=815349 vsize=19108176 memory=3024660 CPUtime=3497.95 cores=0,2
/proc/815352/stat : 815352 (java) S 815349 815352 811005 0 -1 1077936128 278797 0 0 0 349579 216 0 0 20 0 20 0 158806620 19566772224 756165 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
/proc/815352/statm: 4777044 756165 5982 1 0 766859 0
[pid=815352/tid=815354] ppid=815349 vsize=19108176 memory=12088 CPUtime=3396.94 cores=0,2
/proc/815352/task/815354/stat : 815354 (java) S 815349 815352 811005 0 -1 1077936192 104532 0 0 0 339629 65 0 0 20 0 20 0 158806621 19566772224 756165 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 70 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815363] ppid=815349 vsize=19108176 memory=40716 CPUtime=0 cores=0,2
/proc/815352/task/815363/stat : 815363 (Finalizer) S 815349 815352 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158806623 19566772224 756165 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815370] ppid=815349 vsize=19108176 memory=2628 CPUtime=0 cores=0,2
/proc/815352/task/815370/stat : 815370 (Common-Cleaner) S 815349 815352 811005 0 -1 1077936192 1962 0 0 0 0 0 0 0 20 0 20 0 158806624 19566772224 756165 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815372] ppid=815349 vsize=19108176 memory=3024660 CPUtime=0 cores=0,2
/proc/815352/task/815372/stat : 815372 (Timer-0) S 815349 815352 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158806672 19566772224 756165 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
Current children cumulated CPU time: 3497.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3024660 KiB

[startup+3522.3 s]
/proc/loadavg: 3.37 3.95 4.16 3/280 817179
/proc/meminfo: memFree=121890304/131524600 swapFree=131071996/131071996
[pid=815352] ppid=815349 vsize=19108176 memory=3024708 CPUtime=3559.59 cores=0,2
/proc/815352/stat : 815352 (java) S 815349 815352 811005 0 -1 1077936128 282573 0 0 0 355741 218 0 0 20 0 20 0 158806620 19566772224 756177 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
/proc/815352/statm: 4777044 756177 5982 1 0 766873 0
[pid=815352/tid=815354] ppid=815349 vsize=19108176 memory=3024548 CPUtime=3455.6 cores=0,2
/proc/815352/task/815354/stat : 815354 (java) R 815349 815352 811005 0 -1 4194368 106367 0 0 0 345495 65 0 0 20 0 20 0 158806621 19566772224 756177 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 70 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815363] ppid=815349 vsize=19108176 memory=5500 CPUtime=0 cores=0,2
/proc/815352/task/815363/stat : 815363 (Finalizer) S 815349 815352 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158806623 19566772224 756177 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815370] ppid=815349 vsize=19108176 memory=3024708 CPUtime=0 cores=0,2
/proc/815352/task/815370/stat : 815370 (Common-Cleaner) S 815349 815352 811005 0 -1 1077936192 1962 0 0 0 0 0 0 0 20 0 20 0 158806624 19566772224 756177 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815372] ppid=815349 vsize=19108176 memory=3024660 CPUtime=0 cores=0,2
/proc/815352/task/815372/stat : 815372 (Timer-0) S 815349 815352 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158806672 19566772224 756177 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
Current children cumulated CPU time: 3559.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3024708 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3560.9 s]
/proc/loadavg: 2.76 3.72 4.08 3/281 817353
/proc/meminfo: memFree=121887240/131524600 swapFree=131071996/131071996
[pid=815352] ppid=815349 vsize=19108176 memory=3025080 CPUtime=3600.09 cores=0,2
/proc/815352/stat : 815352 (java) S 815349 815352 811005 0 -1 1077936128 293041 0 0 0 359787 222 0 0 20 0 20 0 158806620 19566772224 756270 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
/proc/815352/statm: 4777044 756270 5982 1 0 766959 0
[pid=815352/tid=815354] ppid=815349 vsize=19108176 memory=-8527961063316366012 CPUtime=3493.14 cores=0,2
/proc/815352/task/815354/stat : 815354 (java) R 815349 815352 811005 0 -1 4194368 110597 0 0 0 349248 66 0 0 20 0 20 0 158806621 19566772224 756270 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 70 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815363] ppid=815349 vsize=19108176 memory=3025080 CPUtime=0 cores=0,2
/proc/815352/task/815363/stat : 815363 (Finalizer) S 815349 815352 811005 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158806623 19566772224 756270 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815370] ppid=815349 vsize=19108176 memory=2268 CPUtime=0 cores=0,2
/proc/815352/task/815370/stat : 815370 (Common-Cleaner) S 815349 815352 811005 0 -1 1077936192 2010 0 0 0 0 0 0 0 20 0 20 0 158806624 19566772224 756270 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
[pid=815352/tid=815372] ppid=815349 vsize=19108176 memory=3025080 CPUtime=0 cores=0,2
/proc/815352/task/815372/stat : 815372 (Timer-0) S 815349 815352 811005 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158806672 19566772224 756270 134679101440 94179931533312 94179931537008 140736844963136 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94179931544824 94179931545616 94179934089216 140736844968967 140736844969057 140736844969057 140736844976072 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3025080 KiB

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

[startup+3561.01 s]
# the end of solver process 815352 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3598.06 s, system=2.23466 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3561.01 s]*
/proc/loadavg: 2.76 3.72 4.08 3/263 817358
/proc/meminfo: memFree=124812584/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3561.01
CPU time (s): 3600.3
CPU user time (s): 3598.06
CPU system time (s): 2.23466
CPU usage (%): 101.103
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 3025080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.06
system time used= 2.23466
maximum resident set size= 3026576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295566
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133062
involuntary context switches= 33290


# summary of solver processes directly reported to runsolver:
#   pid: 815352
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3598.06
#   total CPU system time (s): 2.23466

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.36287 second user time and 18.1704 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-15 19:59:49
IDJOB=4432170
IDBENCH=146783
IDSOLVER=3058
FILE ID=nodeC032/4432170-1721066377
RUNJOBID= nodeC032-1721059308-811015
SLURM_JOB_ID= 7505498
Free space on /tmp= 890072 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432170-1721066377/watcher-4432170-1721066377 -o /tmp/evaluation-result-4432170-1721066377/solver-4432170-1721066377 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721059308-811015 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432170-1721066377.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 8990d9f8b403d84c2b7408cf78742133
RANDOM SEED=710901745

nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3645.668
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.658
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3638.541
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.881
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3657.061
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.658
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3622.116
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.658
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        109369468 kB
MemAvailable:   110613112 kB
Buffers:          372060 kB
Cached:          1700700 kB
SwapCached:            0 kB
Active:           634816 kB
Inactive:       20872076 kB
Active(anon):       1556 kB
Inactive(anon): 19470292 kB
Active(file):     633260 kB
Inactive(file):  1401784 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2708 kB
Writeback:             0 kB
AnonPages:      19434180 kB
Mapped:           123852 kB
Shmem:             37720 kB
KReclaimable:      96844 kB
Slab:             203200 kB
SReclaimable:      96844 kB
SUnreclaim:       106356 kB
KernelStack:        5104 kB
PageTables:        48100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   21890340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61952 kB
HardwareCorrupted:     0 kB
AnonHugePages:  19017728 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      223956 kB
DirectMap2M:    20520960 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 890072 MiB
End job on nodeC032 at 2024-07-15 20:59:10