Trace number 4446974

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 NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT 2101.94 2080.63

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K98.opb
MD5SUM5359c0df8e4997707ebdbb5ef15bc818
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.62095
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6664
Total number of constraints6862
Number of constraints which are clauses6764
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint98
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 99
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.11	c See www.sat4j.org for details.
0.12/0.11	c version CUSTOM.v20240707
0.12/0.12	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.12	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.12	c java.vm.version	22.0.1+8-16
0.12/0.12	c java.vm.vendor	Oracle Corporation
0.12/0.12	c sun.arch.data.model	64
0.12/0.12	c java.version		22.0.1
0.12/0.12	c os.name		Linux
0.12/0.12	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.12	c os.arch		amd64
0.12/0.13	c Free memory 		2113181440
0.12/0.13	c Max memory 		16282288128
0.12/0.13	c Total memory 		2122317824
0.12/0.13	c Number of processors 	2
0.12/0.17	--- Begin Solver configuration ---
0.12/0.17	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.17	Learn all clauses as in MiniSAT
0.12/0.17	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.17	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.17	No reason simplification
0.12/0.17	Glucose 2.1 dynamic restart strategy
0.12/0.17	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.12/0.17	timeout=2147483s
0.12/0.17	DB Simplification allowed=false
0.12/0.17	Listener: none
0.12/0.17	--- End Solver configuration ---
0.12/0.17	c Pseudo Boolean Optimization by upper bound
0.12/0.17	c --- Begin Solver configuration ---
0.12/0.17	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.17	c Learn all clauses as in MiniSAT
0.12/0.17	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.17	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.17	c No reason simplification
0.12/0.17	c Glucose 2.1 dynamic restart strategy
0.12/0.17	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.12/0.17	c timeout=2147483s
0.12/0.17	c DB Simplification allowed=false
0.12/0.17	c Listener: none
0.12/0.17	c --- End Solver configuration ---
0.12/0.17	c solving HOME/instance-4446974-1721347102.opb
0.12/0.17	c reading problem ... 
0.12/0.17	c  no objective function found
0.54/0.41	c ... done. Wall clock time 0.24s.
0.54/0.42	c declared #vars     6664
0.54/0.42	c #constraints  6862
0.54/0.42	c constraints type 
0.54/0.42	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1261
0.54/0.42	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 98
0.54/0.42	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5501
0.54/0.42	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.54/0.42	c 6862 constraints processed.
3.00/1.65	c cleaning 2477 clauses out of 4995 with flag 24234/5005
4.31/2.33	c cleaning 4227 clauses out of 8507 with flag 63113/11000
5.12/3.03	c cleaning 5624 clauses out of 11278 with flag 108084/18000
6.20/3.72	c cleaning 6821 clauses out of 13655 with flag 163174/26002
7.48/4.60	c cleaning 7874 clauses out of 15829 with flag 221718/35000
8.99/5.66	c cleaning 8902 clauses out of 17955 with flag 285133/45000
10.60/6.78	c cleaning 9716 clauses out of 20051 with flag 348426/56000
11.80/7.98	c cleaning 10404 clauses out of 22335 with flag 414173/68002
13.20/9.36	c cleaning 11098 clauses out of 24930 with flag 488160/81002
14.71/10.86	c cleaning 11940 clauses out of 27828 with flag 569518/95000
16.41/12.50	c cleaning 12869 clauses out of 30888 with flag 655219/110002
18.55/14.65	c cleaning 13790 clauses out of 34016 with flag 752078/126000
20.71/16.75	c cleaning 14613 clauses out of 37226 with flag 858820/143000
23.32/19.26	c cleaning 15073 clauses out of 40612 with flag 969780/161000
25.72/21.62	c cleaning 16384 clauses out of 44538 with flag 1085465/180000
28.60/24.43	c cleaning 17000 clauses out of 48154 with flag 1208578/200000
31.40/27.28	c cleaning 18128 clauses out of 52154 with flag 1334779/221001
34.90/30.61	c cleaning 18912 clauses out of 56024 with flag 1467272/243000
38.19/33.95	c cleaning 19838 clauses out of 60112 with flag 1612151/266000
42.06/37.74	c cleaning 20814 clauses out of 64274 with flag 1767068/290000
45.86/41.56	c cleaning 21524 clauses out of 68460 with flag 1927198/315000
50.46/46.01	c cleaning 22441 clauses out of 72937 with flag 2100148/341001
55.16/50.64	c cleaning 23284 clauses out of 77495 with flag 2272631/368000
60.06/55.55	c cleaning 24530 clauses out of 82212 with flag 2458639/396001
65.46/60.86	c cleaning 25174 clauses out of 86681 with flag 2646081/425000
71.26/66.51	c cleaning 26287 clauses out of 91507 with flag 2852499/455000
77.05/72.37	c cleaning 26964 clauses out of 96220 with flag 3068940/486001
83.44/78.68	c cleaning 28088 clauses out of 101255 with flag 3288857/518000
90.25/85.34	c cleaning 28948 clauses out of 106166 with flag 3525884/551000
96.96/91.97	c cleaning 29848 clauses out of 111219 with flag 3759332/585001
104.45/99.45	c cleaning 30715 clauses out of 116370 with flag 4022330/620000
112.42/107.33	c cleaning 31894 clauses out of 121655 with flag 4272169/656000
120.92/115.70	c cleaning 32883 clauses out of 126761 with flag 4551327/693000
131.19/125.57	c cleaning 33719 clauses out of 131879 with flag 4836701/731001
140.52/134.87	c cleaning 34702 clauses out of 137159 with flag 5134645/770000
150.31/144.51	c cleaning 35900 clauses out of 142456 with flag 5435658/810000
161.01/155.11	c cleaning 36620 clauses out of 147556 with flag 5751565/851000
172.37/166.45	c cleaning 37665 clauses out of 152939 with flag 6093702/893003
184.55/178.57	c cleaning 38387 clauses out of 158271 with flag 6444673/936000
196.65/190.58	c cleaning 39649 clauses out of 163884 with flag 6797219/980000
210.16/203.91	c cleaning 40655 clauses out of 169235 with flag 7154030/1025000
223.35/217.09	c cleaning 41824 clauses out of 174581 with flag 7540811/1071001
236.62/230.16	c cleaning 42750 clauses out of 179756 with flag 7917666/1118000
252.28/245.35	c cleaning 43236 clauses out of 185006 with flag 8307631/1166000
267.26/260.27	c cleaning 44890 clauses out of 190770 with flag 8710790/1215000
282.27/275.16	c cleaning 45671 clauses out of 195880 with flag 9118382/1265001
298.37/291.19	c cleaning 46713 clauses out of 201208 with flag 9549097/1316000
315.79/308.26	c cleaning 47347 clauses out of 206497 with flag 9992849/1368002
334.51/326.86	c cleaning 48571 clauses out of 212148 with flag 10454426/1421000
353.28/345.58	c cleaning 49537 clauses out of 217581 with flag 10942835/1475004
373.92/365.23	c cleaning 50580 clauses out of 223042 with flag 11413462/1530002
394.31/385.58	c cleaning 51744 clauses out of 228460 with flag 11901926/1586000
415.61/406.71	c cleaning 52787 clauses out of 233714 with flag 12422178/1643000
437.75/428.69	c cleaning 53792 clauses out of 238931 with flag 12950288/1701004
461.12/451.86	c cleaning 54669 clauses out of 244136 with flag 13522758/1760001
485.44/476.02	c cleaning 55986 clauses out of 249469 with flag 14106359/1820003
509.55/500.04	c cleaning 57050 clauses out of 254486 with flag 14689168/1881006
534.95/525.18	c cleaning 57876 clauses out of 259430 with flag 15259474/1943000
560.47/550.56	c cleaning 58866 clauses out of 264553 with flag 15846413/2006000
588.56/578.38	c cleaning 59741 clauses out of 269687 with flag 16475582/2070000
618.65/607.72	c cleaning 61089 clauses out of 274946 with flag 17086409/2135000
648.58/637.48	c cleaning 61691 clauses out of 279857 with flag 17718466/2201000
680.33/668.94	c cleaning 62799 clauses out of 285170 with flag 18394345/2268004
712.00/700.31	c cleaning 64229 clauses out of 290366 with flag 19051876/2336000
746.24/734.32	c cleaning 65039 clauses out of 295139 with flag 19796069/2405002
780.81/768.61	c cleaning 66131 clauses out of 300099 with flag 20527640/2475001
814.80/802.53	c cleaning 67119 clauses out of 304969 with flag 21234305/2546002
851.47/838.92	c cleaning 68339 clauses out of 309850 with flag 21960457/2618002
892.23/879.42	c cleaning 68917 clauses out of 314509 with flag 22832912/2691000
932.38/919.39	c cleaning 70090 clauses out of 319592 with flag 23630357/2765000
972.23/959.04	c cleaning 71159 clauses out of 324503 with flag 24405128/2840001
1015.22/1001.26	c cleaning 72436 clauses out of 329343 with flag 25251404/2916000
1059.94/1045.83	c cleaning 73241 clauses out of 333907 with flag 26134255/2993000
1103.38/1089.00	c cleaning 74379 clauses out of 338668 with flag 26960840/3071002
1149.74/1134.97	c cleaning 75351 clauses out of 343291 with flag 27860479/3150004
1195.89/1181.00	c cleaning 76296 clauses out of 347941 with flag 28774719/3230005
1242.78/1227.51	c cleaning 77308 clauses out of 352640 with flag 29665452/3311000
1292.30/1276.78	c cleaning 78388 clauses out of 357332 with flag 30626617/3393000
1344.44/1328.53	c cleaning 79593 clauses out of 361945 with flag 31556744/3476001
1396.41/1380.17	c cleaning 80722 clauses out of 366354 with flag 32519322/3560003
1453.65/1437.09	c cleaning 81566 clauses out of 370634 with flag 33495855/3645005
1511.55/1494.52	c cleaning 82019 clauses out of 375063 with flag 34520697/3731000
1569.26/1551.89	c cleaning 83642 clauses out of 380044 with flag 35583587/3818000
1628.36/1610.16	c cleaning 84598 clauses out of 384404 with flag 36667082/3906002
1689.94/1671.20	c cleaning 85172 clauses out of 388804 with flag 37774226/3995000
1757.75/1738.89	c cleaning 86454 clauses out of 393633 with flag 39104480/4085001
1823.32/1803.72	c cleaning 87817 clauses out of 398178 with flag 40291568/4176000
1888.47/1868.60	c cleaning 88533 clauses out of 402364 with flag 41373447/4268003
1960.05/1939.64	c cleaning 89769 clauses out of 406828 with flag 42670009/4361000
2032.09/2011.43	c cleaning 90696 clauses out of 411059 with flag 44005364/4455000
2101.60/2080.44	c SATISFIABLE
2101.60/2080.48	c starts		: 35891
2101.60/2080.48	c conflicts		: 4548298
2101.60/2080.48	c decisions		: 80785984
2101.60/2080.48	c propagations		: 1704404658
2101.60/2080.48	c inspects		: 16666372671
2101.60/2080.48	c shortcuts		: 0
2101.60/2080.48	c learnt literals	: 44
2101.60/2080.48	c learnt binary clauses	: 121216
2101.60/2080.48	c learnt ternary clauses	: 131412
2101.60/2080.48	c learnt constraints	: 4548254
2101.60/2080.48	c ignored constraints	: 0
2101.60/2080.48	c root simplifications	: 0
2101.60/2080.48	c removed literals (reason simplification)	: 0
2101.60/2080.48	c reason swapping (by a shorter reason)	: 0
2101.60/2080.48	c Calls to reduceDB	: 90
2101.60/2080.48	c Number of update (reduction) of LBD	: 3768953
2101.60/2080.48	c Imported unit clauses	: 0
2101.60/2080.48	c No decision after first conflict	: false
2101.60/2080.48	c number of reductions to clauses (during analyze)	: 0
2101.60/2080.48	c number of learned constraints concerned by reduction	: 0
2101.60/2080.48	c number of learning phase by resolution	: 0
2101.60/2080.48	c number of learning phase by cutting planes	: 0
2101.60/2080.48	c number of rounding to 1 operations	: 0
2101.60/2080.48	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2101.60/2080.48	c number of reductions of the coefficients by power 2 	: 0
2101.60/2080.48	c number of right shift for reduction by power 2 	: 0
2101.60/2080.48	c number of reductions of the coefficients by GCD over coefficients 	: 0
2101.60/2080.48	c number of ending skipping 	: 0
2101.60/2080.48	c number of internal skipping 	: 0
2101.60/2080.48	c number of derivation steps 	: 0
2101.60/2080.48	c number of skipped derivation steps 	: 0
2101.60/2080.48	c number of remaining unassigned 	: 0
2101.60/2080.48	c number of remaining assigned 	: 0
2101.60/2080.48	c number of falsified literals weakened from reason	: 0
2101.60/2080.48	c number of falsified literals weakened from conflict	: 0
2101.60/2080.48	c time for arithmetic operations	: 0
2101.60/2080.48	c minimum degree of deleted constraints	: null
2101.60/2080.48	c maximum degree of deleted constraints	: null
2101.60/2080.48	c number of deleted constraints	: 0
2101.60/2080.50	c speed (assignments/second)	: 819403.6494227317
2101.60/2080.50	c non guided choices	: 9215
2101.74/2080.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 292445
2101.74/2080.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 121216
2101.74/2080.59	s SATISFIABLE
2101.74/2080.59	c Found 1 solution(s)
2101.74/2080.59	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -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 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 x6664 
2101.74/2080.59	c Total wall clock time (in seconds): 2080.426

Verifier Data 

OK	0

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: 64096 MiB (53238 MiB free)
  memory of node 1: 64473 MiB (49059 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446974-1721347102/watcher-4446974-1721347102 -o /tmp/evaluation-result-4446974-1721347102/solver-4446974-1721347102 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721339958-973412 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4446974-1721347102.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=978059, runsolver pid=978056

[startup+0.10036 s]*
/proc/loadavg: 4.34 4.34 4.23 7/318 978077
/proc/meminfo: memFree=104714444/131655788 swapFree=131071996/131071996
[pid=978059] ppid=978056 vsize=18975048 memory=58060 CPUtime=0.12 cores=4,6
/proc/978059/stat : 978059 (java) S 978056 978059 973401 0 -1 1077936128 6550 0 0 0 10 2 0 0 20 0 18 0 186866069 19430449152 14515 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
/proc/978059/statm: 4743762 14515 5555 1 0 550957 0
[pid=978059/tid=978061] ppid=978056 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/978059/task/978061/stat : 978061 (java) R 978056 978059 973401 0 -1 4194368 5490 0 0 0 8 1 0 0 20 0 18 0 186866069 19430449152 14515 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978070] ppid=978056 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/978059/task/978070/stat : 978070 (Finalizer) S 978056 978059 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186866072 19430449152 14515 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978077] ppid=978056 vsize=18975048 memory=15817798538627805 CPUtime=0 cores=4,6
/proc/978059/task/978077/stat : 978077 (Common-Cleaner) S 978056 978059 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186866073 19430449152 14515 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58060 KiB

[startup+0.214395 s]*
/proc/loadavg: 4.34 4.34 4.23 6/318 978077
/proc/meminfo: memFree=104702816/131655788 swapFree=131071996/131071996
[pid=978059] ppid=978056 vsize=18975048 memory=69600 CPUtime=0.33 cores=4,6
/proc/978059/stat : 978059 (java) S 978056 978059 973401 0 -1 1077936128 7283 0 0 0 31 2 0 0 20 0 18 0 186866069 19430449152 17400 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
/proc/978059/statm: 4743762 17400 5756 1 0 551575 0
[pid=978059/tid=978061] ppid=978056 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=4,6
/proc/978059/task/978061/stat : 978061 (java) R 978056 978059 973401 0 -1 4194368 5830 0 0 0 17 2 0 0 20 0 18 0 186866069 19430449152 17400 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978070] ppid=978056 vsize=18975048 memory=3718 CPUtime=0 cores=4,6
/proc/978059/task/978070/stat : 978070 (Finalizer) S 978056 978059 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186866072 19430449152 17400 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978077] ppid=978056 vsize=18975048 memory=15815599515246110 CPUtime=0 cores=4,6
/proc/978059/task/978077/stat : 978077 (Common-Cleaner) S 978056 978059 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186866073 19430449152 17400 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 69600 KiB

[startup+0.325922 s]*
/proc/loadavg: 4.34 4.34 4.23 7/318 978077
/proc/meminfo: memFree=104689984/131655788 swapFree=131071996/131071996
[pid=978059] ppid=978056 vsize=18975048 memory=82848 CPUtime=0.54 cores=4,6
/proc/978059/stat : 978059 (java) S 978056 978059 973401 0 -1 1077936128 7424 0 0 0 51 3 0 0 20 0 18 0 186866069 19430449152 20712 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
/proc/978059/statm: 4743762 20712 5842 1 0 551643 0
[pid=978059/tid=978061] ppid=978056 vsize=18975048 memory=-8743855656002691772 CPUtime=0.29 cores=4,6
/proc/978059/task/978061/stat : 978061 (java) R 978056 978059 973401 0 -1 4194368 5851 0 0 0 27 2 0 0 20 0 18 0 186866069 19430449152 20712 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978070] ppid=978056 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/978059/task/978070/stat : 978070 (Finalizer) S 978056 978059 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186866072 19430449152 20712 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978077] ppid=978056 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/978059/task/978077/stat : 978077 (Common-Cleaner) S 978056 978059 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186866073 19430449152 20712 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 82848 KiB

[startup+0.700917 s]
/proc/loadavg: 4.34 4.34 4.23 8/319 978078
/proc/meminfo: memFree=104667472/131655788 swapFree=131071996/131071996
[pid=978059] ppid=978056 vsize=19041612 memory=106812 CPUtime=1.22 cores=4,6
/proc/978059/stat : 978059 (java) S 978056 978059 973401 0 -1 1077936128 9622 0 0 0 118 4 0 0 20 0 19 0 186866069 19498610688 26703 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
/proc/978059/statm: 4760403 26703 5842 1 0 553198 0
[pid=978059/tid=978061] ppid=978056 vsize=19041612 memory=5476 CPUtime=0.63 cores=4,6
/proc/978059/task/978061/stat : 978061 (java) R 978056 978059 973401 0 -1 4194368 5928 0 0 0 61 2 0 0 20 0 19 0 186866069 19498610688 26703 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978070] ppid=978056 vsize=19041612 memory=12320 CPUtime=0 cores=4,6
/proc/978059/task/978070/stat : 978070 (Finalizer) S 978056 978059 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 186866072 19498610688 26703 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978077] ppid=978056 vsize=19041612 memory=280758925451944 CPUtime=0 cores=4,6
/proc/978059/task/978077/stat : 978077 (Common-Cleaner) S 978056 978059 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 186866073 19498610688 26703 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978078] ppid=978056 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/978059/task/978078/stat : 978078 (Timer-0) S 978056 978059 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 186866112 19498610688 26703 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 106812 KiB

[startup+1.50092 s]
/proc/loadavg: 4.34 4.34 4.23 6/319 978078
/proc/meminfo: memFree=104649900/131655788 swapFree=131071996/131071996
[pid=978059] ppid=978056 vsize=19041612 memory=129716 CPUtime=2.8 cores=4,6
/proc/978059/stat : 978059 (java) S 978056 978059 973401 0 -1 1077936128 18096 0 0 0 274 6 0 0 20 0 19 0 186866069 19498610688 32429 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
/proc/978059/statm: 4760403 32429 5842 1 0 556267 0
[pid=978059/tid=978061] ppid=978056 vsize=19041612 memory=12320 CPUtime=1.42 cores=4,6
/proc/978059/task/978061/stat : 978061 (java) R 978056 978059 973401 0 -1 4194368 6192 0 0 0 140 2 0 0 20 0 19 0 186866069 19498610688 32429 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978070] ppid=978056 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/978059/task/978070/stat : 978070 (Finalizer) S 978056 978059 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 186866072 19498610688 32429 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978077] ppid=978056 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/978059/task/978077/stat : 978077 (Common-Cleaner) S 978056 978059 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 186866073 19498610688 32429 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978078] ppid=978056 vsize=19041612 memory=280758925305104 CPUtime=0 cores=4,6
/proc/978059/task/978078/stat : 978078 (Timer-0) S 978056 978059 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 186866112 19498610688 32429 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 129716 KiB

[startup+3.11091 s]
/proc/loadavg: 4.39 4.35 4.23 5/309 978138
/proc/meminfo: memFree=110855504/131655788 swapFree=131071996/131071996
[pid=978059] ppid=978056 vsize=19041612 memory=155284 CPUtime=5.31 cores=4,6
/proc/978059/stat : 978059 (java) S 978056 978059 973401 0 -1 1077936128 19981 0 0 0 524 7 0 0 20 0 19 0 186866069 19498610688 38821 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
/proc/978059/statm: 4760403 38821 5842 1 0 556390 0
[pid=978059/tid=978061] ppid=978056 vsize=19041612 memory=0 CPUtime=3.01 cores=4,6
/proc/978059/task/978061/stat : 978061 (java) R 978056 978059 973401 0 -1 4194368 7294 0 0 0 298 3 0 0 20 0 19 0 186866069 19498610688 38821 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978070] ppid=978056 vsize=19041612 memory=12320 CPUtime=0 cores=4,6
/proc/978059/task/978070/stat : 978070 (Finalizer) S 978056 978059 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 186866072 19498610688 38821 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978077] ppid=978056 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/978059/task/978077/stat : 978077 (Common-Cleaner) S 978056 978059 973401 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 186866073 19498610688 38821 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978078] ppid=978056 vsize=19041612 memory=12720 CPUtime=0 cores=4,6
/proc/978059/task/978078/stat : 978078 (Timer-0) S 978056 978059 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 186866112 19498610688 38821 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
Current children cumulated CPU time: 5.31 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 155284 KiB

[startup+6.30032 s]
/proc/loadavg: 4.39 4.35 4.23 8/315 978279
/proc/meminfo: memFree=124495956/131655788 swapFree=131071996/131071996
[pid=978059] ppid=978056 vsize=19108176 memory=198544 CPUtime=10.2 cores=4,6
/proc/978059/stat : 978059 (java) S 978056 978059 973401 0 -1 1077936128 25941 0 0 0 1010 10 0 0 20 0 20 0 186866069 19566772224 49636 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
/proc/978059/statm: 4777044 49636 5874 1 0 558639 0
[pid=978059/tid=978061] ppid=978056 vsize=19108176 memory=12320 CPUtime=6.15 cores=4,6
/proc/978059/task/978061/stat : 978061 (java) R 978056 978059 973401 0 -1 4194368 7318 0 0 0 612 3 0 0 20 0 20 0 186866069 19566772224 49636 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978070] ppid=978056 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/978059/task/978070/stat : 978070 (Finalizer) S 978056 978059 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866072 19566772224 49636 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978077] ppid=978056 vsize=19108176 memory=129876 CPUtime=0 cores=4,6
/proc/978059/task/978077/stat : 978077 (Common-Cleaner) S 978056 978059 973401 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 186866073 19566772224 49636 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978078] ppid=978056 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/978059/task/978078/stat : 978078 (Timer-0) S 978056 978059 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866112 19566772224 49636 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
Current children cumulated CPU time: 10.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 198544 KiB

[startup+12.7004 s]
/proc/loadavg: 4.36 4.35 4.23 6/319 978285
/proc/meminfo: memFree=124283076/131655788 swapFree=131071996/131071996
[pid=978059] ppid=978056 vsize=19108176 memory=194472 CPUtime=16.61 cores=4,6
/proc/978059/stat : 978059 (java) S 978056 978059 973401 0 -1 1077936128 28610 0 0 0 1650 11 0 0 20 0 20 0 186866069 19566772224 48618 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
/proc/978059/statm: 4777044 48618 5901 1 0 558639 0
[pid=978059/tid=978061] ppid=978056 vsize=19108176 memory=0 CPUtime=12.48 cores=4,6
/proc/978059/task/978061/stat : 978061 (java) R 978056 978059 973401 0 -1 4194368 8125 0 0 0 1245 3 0 0 20 0 20 0 186866069 19566772224 48618 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978070] ppid=978056 vsize=19108176 memory=-8743855656002691772 CPUtime=0 cores=4,6
/proc/978059/task/978070/stat : 978070 (Finalizer) S 978056 978059 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866072 19566772224 48618 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978077] ppid=978056 vsize=19108176 memory=2164 CPUtime=0 cores=4,6
/proc/978059/task/978077/stat : 978077 (Common-Cleaner) S 978056 978059 973401 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 186866073 19566772224 48618 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978078] ppid=978056 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/978059/task/978078/stat : 978078 (Timer-0) S 978056 978059 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866112 19566772224 48618 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
Current children cumulated CPU time: 16.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 194472 KiB

[startup+25.5004 s]
/proc/loadavg: 4.42 4.36 4.24 5/319 978286
/proc/meminfo: memFree=123589908/131655788 swapFree=131071996/131071996
[pid=978059] ppid=978056 vsize=19108176 memory=395756 CPUtime=29.7 cores=4,6
/proc/978059/stat : 978059 (java) S 978056 978059 973401 0 -1 1077936128 34302 0 0 0 2954 16 0 0 20 0 20 0 186866069 19566772224 98939 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
/proc/978059/statm: 4777044 98939 5901 1 0 558639 0
[pid=978059/tid=978061] ppid=978056 vsize=19108176 memory=0 CPUtime=24.8 cores=4,6
/proc/978059/task/978061/stat : 978061 (java) R 978056 978059 973401 0 -1 4194368 9328 0 0 0 2476 4 0 0 20 0 20 0 186866069 19566772224 98939 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978070] ppid=978056 vsize=19108176 memory=323880 CPUtime=0 cores=4,6
/proc/978059/task/978070/stat : 978070 (Finalizer) S 978056 978059 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866072 19566772224 98939 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978077] ppid=978056 vsize=19108176 memory=12720 CPUtime=0 cores=4,6
/proc/978059/task/978077/stat : 978077 (Common-Cleaner) S 978056 978059 973401 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 186866073 19566772224 98939 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978078] ppid=978056 vsize=19108176 memory=45680 CPUtime=0 cores=4,6
/proc/978059/task/978078/stat : 978078 (Timer-0) S 978056 978059 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866112 19566772224 98939 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
Current children cumulated CPU time: 29.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 395756 KiB

[startup+51.1139 s]
/proc/loadavg: 4.75 4.45 4.27 5/319 978292
/proc/meminfo: memFree=121836804/131655788 swapFree=131071996/131071996
[pid=978059] ppid=978056 vsize=19108176 memory=858324 CPUtime=55.68 cores=4,6
/proc/978059/stat : 978059 (java) S 978056 978059 973401 0 -1 1077936128 39231 0 0 0 5541 27 0 0 20 0 20 0 186866069 19566772224 214581 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
/proc/978059/statm: 4777044 214581 5901 1 0 665158 0
[pid=978059/tid=978061] ppid=978056 vsize=19108176 memory=0 CPUtime=49.87 cores=4,6
/proc/978059/task/978061/stat : 978061 (java) R 978056 978059 973401 0 -1 4194368 11214 0 0 0 4981 6 0 0 20 0 20 0 186866069 19566772224 214581 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978070] ppid=978056 vsize=19108176 memory=745428 CPUtime=0 cores=4,6
/proc/978059/task/978070/stat : 978070 (Finalizer) S 978056 978059 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866072 19566772224 214581 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0

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

/proc/978059/task/978077/stat : 978077 (Common-Cleaner) S 978056 978059 973401 0 -1 1077936192 767 0 0 0 0 0 0 0 20 0 20 0 186866073 19566772224 1345373 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978078] ppid=978056 vsize=19108176 memory=5381492 CPUtime=0 cores=4,6
/proc/978059/task/978078/stat : 978078 (Timer-0) S 978056 978059 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866112 19566772224 1345373 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
Current children cumulated CPU time: 2042.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5381492 KiB

[startup+2080.63 s]
# the end of solver process 978059 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=2099.58 s, system=2.36923 s

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

[startup+2048 s]*
/proc/loadavg: 4.23 4.18 4.19 5/323 979286
/proc/meminfo: memFree=102099724/131655788 swapFree=131071996/131071996
[pid=978059] ppid=978056 vsize=19108176 memory=5381496 CPUtime=2068.91 cores=4,6
/proc/978059/stat : 978059 (java) S 978056 978059 973401 0 -1 1077936128 172968 0 0 0 206659 232 0 0 20 0 20 0 186866069 19566772224 1345374 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
/proc/978059/statm: 4777044 1345374 5901 1 0 1836879 0
[pid=978059/tid=978061] ppid=978056 vsize=19108176 memory=0 CPUtime=2022.01 cores=4,6
/proc/978059/task/978061/stat : 978061 (java) R 978056 978059 973401 0 -1 4194368 69509 0 0 0 202177 24 0 0 20 0 20 0 186866069 19566772224 1345374 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978070] ppid=978056 vsize=19108176 memory=-8549726978121251993 CPUtime=0 cores=4,6
/proc/978059/task/978070/stat : 978070 (Finalizer) S 978056 978059 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866072 19566772224 1345374 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978077] ppid=978056 vsize=19108176 memory=11492 CPUtime=0 cores=4,6
/proc/978059/task/978077/stat : 978077 (Common-Cleaner) S 978056 978059 973401 0 -1 1077936192 768 0 0 0 0 0 0 0 20 0 20 0 186866073 19566772224 1345374 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978078] ppid=978056 vsize=19108176 memory=11492 CPUtime=0 cores=4,6
/proc/978059/task/978078/stat : 978078 (Timer-0) S 978056 978059 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866112 19566772224 1345374 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
Current children cumulated CPU time: 2068.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5381496 KiB

[startup+2060.8 s]
/proc/loadavg: 4.32 4.20 4.20 5/323 979288
/proc/meminfo: memFree=102054244/131655788 swapFree=131071996/131071996
[pid=978059] ppid=978056 vsize=19108176 memory=5381500 CPUtime=2081.68 cores=4,6
/proc/978059/stat : 978059 (java) S 978056 978059 973401 0 -1 1077936128 173115 0 0 0 207935 233 0 0 20 0 20 0 186866069 19566772224 1345375 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
/proc/978059/statm: 4777044 1345375 5901 1 0 1836879 0
[pid=978059/tid=978061] ppid=978056 vsize=19108176 memory=5381500 CPUtime=2034.76 cores=4,6
/proc/978059/task/978061/stat : 978061 (java) R 978056 978059 973401 0 -1 4194368 69655 0 0 0 203452 24 0 0 20 0 20 0 186866069 19566772224 1345375 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978070] ppid=978056 vsize=19108176 memory=5476 CPUtime=0 cores=4,6
/proc/978059/task/978070/stat : 978070 (Finalizer) S 978056 978059 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866072 19566772224 1345375 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978077] ppid=978056 vsize=19108176 memory=5940368195174756711 CPUtime=0 cores=4,6
/proc/978059/task/978077/stat : 978077 (Common-Cleaner) S 978056 978059 973401 0 -1 1077936192 768 0 0 0 0 0 0 0 20 0 20 0 186866073 19566772224 1345375 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978078] ppid=978056 vsize=19108176 memory=5381500 CPUtime=0 cores=4,6
/proc/978059/task/978078/stat : 978078 (Timer-0) S 978056 978059 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866112 19566772224 1345375 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
Current children cumulated CPU time: 2081.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5381500 KiB

[startup+2073.6 s]
/proc/loadavg: 4.35 4.21 4.20 5/321 979290
/proc/meminfo: memFree=102054212/131655788 swapFree=131071996/131071996
[pid=978059] ppid=978056 vsize=19108176 memory=5381500 CPUtime=2094.46 cores=4,6
/proc/978059/stat : 978059 (java) S 978056 978059 973401 0 -1 1077936128 173256 0 0 0 209212 234 0 0 20 0 20 0 186866069 19566772224 1345375 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
/proc/978059/statm: 4777044 1345375 5901 1 0 1836879 0
[pid=978059/tid=978061] ppid=978056 vsize=19108176 memory=5381500 CPUtime=2047.53 cores=4,6
/proc/978059/task/978061/stat : 978061 (java) R 978056 978059 973401 0 -1 4194368 69796 0 0 0 204729 24 0 0 20 0 20 0 186866069 19566772224 1345375 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978070] ppid=978056 vsize=19108176 memory=5381500 CPUtime=0 cores=4,6
/proc/978059/task/978070/stat : 978070 (Finalizer) S 978056 978059 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866072 19566772224 1345375 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978077] ppid=978056 vsize=19108176 memory=1632 CPUtime=0 cores=4,6
/proc/978059/task/978077/stat : 978077 (Common-Cleaner) S 978056 978059 973401 0 -1 1077936192 768 0 0 0 0 0 0 0 20 0 20 0 186866073 19566772224 1345375 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978078] ppid=978056 vsize=19108176 memory=5381500 CPUtime=0 cores=4,6
/proc/978059/task/978078/stat : 978078 (Timer-0) S 978056 978059 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866112 19566772224 1345375 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
Current children cumulated CPU time: 2094.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5381500 KiB

[startup+2076.8 s]
/proc/loadavg: 4.32 4.21 4.20 5/321 979290
/proc/meminfo: memFree=102054240/131655788 swapFree=131071996/131071996
[pid=978059] ppid=978056 vsize=19108176 memory=5381500 CPUtime=2097.65 cores=4,6
/proc/978059/stat : 978059 (java) S 978056 978059 973401 0 -1 1077936128 173386 0 0 0 209531 234 0 0 20 0 20 0 186866069 19566772224 1345375 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
/proc/978059/statm: 4777044 1345375 5901 1 0 1836879 0
[pid=978059/tid=978061] ppid=978056 vsize=19108176 memory=5476 CPUtime=2050.72 cores=4,6
/proc/978059/task/978061/stat : 978061 (java) R 978056 978059 973401 0 -1 4194368 69923 0 0 0 205048 24 0 0 20 0 20 0 186866069 19566772224 1345375 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978070] ppid=978056 vsize=19108176 memory=12320 CPUtime=0 cores=4,6
/proc/978059/task/978070/stat : 978070 (Finalizer) S 978056 978059 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866072 19566772224 1345375 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978077] ppid=978056 vsize=19108176 memory=5476 CPUtime=0 cores=4,6
/proc/978059/task/978077/stat : 978077 (Common-Cleaner) S 978056 978059 973401 0 -1 1077936192 768 0 0 0 0 0 0 0 20 0 20 0 186866073 19566772224 1345375 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978078] ppid=978056 vsize=19108176 memory=45680 CPUtime=0 cores=4,6
/proc/978059/task/978078/stat : 978078 (Timer-0) S 978056 978059 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866112 19566772224 1345375 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
Current children cumulated CPU time: 2097.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5381500 KiB

[startup+2078.4 s]
/proc/loadavg: 4.32 4.21 4.20 5/321 979291
/proc/meminfo: memFree=101942976/131655788 swapFree=131071996/131071996
[pid=978059] ppid=978056 vsize=19108176 memory=5383556 CPUtime=2099.61 cores=4,6
/proc/978059/stat : 978059 (java) S 978056 978059 973401 0 -1 1077936128 173774 0 0 0 209727 234 0 0 20 0 20 0 186866069 19566772224 1345889 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
/proc/978059/statm: 4777044 1345889 5901 1 0 1836879 0
[pid=978059/tid=978061] ppid=978056 vsize=19108176 memory=12720 CPUtime=2051.93 cores=4,6
/proc/978059/task/978061/stat : 978061 (java) R 978056 978059 973401 0 -1 4194368 69924 0 0 0 205169 24 0 0 20 0 20 0 186866069 19566772224 1345889 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978070] ppid=978056 vsize=19108176 memory=5381500 CPUtime=0 cores=4,6
/proc/978059/task/978070/stat : 978070 (Finalizer) S 978056 978059 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866072 19566772224 1345889 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978077] ppid=978056 vsize=19108176 memory=3572 CPUtime=0 cores=4,6
/proc/978059/task/978077/stat : 978077 (Common-Cleaner) S 978056 978059 973401 0 -1 1077936192 768 0 0 0 0 0 0 0 20 0 20 0 186866073 19566772224 1345889 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978078] ppid=978056 vsize=19108176 memory=12320 CPUtime=0 cores=4,6
/proc/978059/task/978078/stat : 978078 (Timer-0) S 978056 978059 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866112 19566772224 1345889 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
Current children cumulated CPU time: 2099.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5383556 KiB

[startup+2080 s]*
/proc/loadavg: 4.29 4.20 4.20 5/321 979291
/proc/meminfo: memFree=101942948/131655788 swapFree=131071996/131071996
[pid=978059] ppid=978056 vsize=19108176 memory=5383556 CPUtime=2101.21 cores=4,6
/proc/978059/stat : 978059 (java) S 978056 978059 973401 0 -1 1077936128 173774 0 0 0 209887 234 0 0 20 0 20 0 186866069 19566772224 1345889 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
/proc/978059/statm: 4777044 1345889 5901 1 0 1836879 0
[pid=978059/tid=978061] ppid=978056 vsize=19108176 memory=-8599738268903580348 CPUtime=2053.54 cores=4,6
/proc/978059/task/978061/stat : 978061 (java) R 978056 978059 973401 0 -1 4194368 69924 0 0 0 205330 24 0 0 20 0 20 0 186866069 19566772224 1345889 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978070] ppid=978056 vsize=19108176 memory=-8549726978121251993 CPUtime=0 cores=4,6
/proc/978059/task/978070/stat : 978070 (Finalizer) S 978056 978059 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866072 19566772224 1345889 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978077] ppid=978056 vsize=19108176 memory=19828 CPUtime=0 cores=4,6
/proc/978059/task/978077/stat : 978077 (Common-Cleaner) S 978056 978059 973401 0 -1 1077936192 768 0 0 0 0 0 0 0 20 0 20 0 186866073 19566772224 1345889 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978078] ppid=978056 vsize=19108176 memory=6960 CPUtime=0 cores=4,6
/proc/978059/task/978078/stat : 978078 (Timer-0) S 978056 978059 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866112 19566772224 1345889 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
Current children cumulated CPU time: 2101.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5383556 KiB

[startup+2080.4 s]
/proc/loadavg: 4.29 4.20 4.20 5/321 979291
/proc/meminfo: memFree=101942948/131655788 swapFree=131071996/131071996
[pid=978059] ppid=978056 vsize=19108176 memory=5383556 CPUtime=2101.6 cores=4,6
/proc/978059/stat : 978059 (java) S 978056 978059 973401 0 -1 1077936128 174072 0 0 0 209926 234 0 0 20 0 20 0 186866069 19566772224 1345889 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
/proc/978059/statm: 4777044 1345889 5901 1 0 1836879 0
[pid=978059/tid=978061] ppid=978056 vsize=19108176 memory=1900 CPUtime=2053.93 cores=4,6
/proc/978059/task/978061/stat : 978061 (java) R 978056 978059 973401 0 -1 4194368 70198 0 0 0 205369 24 0 0 20 0 20 0 186866069 19566772224 1345889 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978070] ppid=978056 vsize=19108176 memory=-8743855656002691772 CPUtime=0 cores=4,6
/proc/978059/task/978070/stat : 978070 (Finalizer) S 978056 978059 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186866072 19566772224 1345889 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978077] ppid=978056 vsize=19108176 memory=5496 CPUtime=0 cores=4,6
/proc/978059/task/978077/stat : 978077 (Common-Cleaner) S 978056 978059 973401 0 -1 1077936192 768 0 0 0 0 0 0 0 20 0 20 0 186866073 19566772224 1345889 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978078] ppid=978056 vsize=19108176 memory=31984 CPUtime=0 cores=4,6
/proc/978059/task/978078/stat : 978078 (Timer-0) S 978056 978059 973401 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186866112 19566772224 1345889 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
Current children cumulated CPU time: 2101.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5383556 KiB

[startup+2080.6 s]
/proc/loadavg: 4.29 4.20 4.20 5/321 979291
/proc/meminfo: memFree=101942948/131655788 swapFree=131071996/131071996
[pid=978059] ppid=978056 vsize=19241304 memory=5384212 CPUtime=2101.92 cores=4,6
/proc/978059/stat : 978059 (java) S 978056 978059 973401 0 -1 1077936128 177968 0 0 0 209957 235 0 0 20 0 15 0 186866069 19703095296 1346053 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
/proc/978059/statm: 4810326 1346053 5913 1 0 1837537 0
[pid=978059/tid=978061] ppid=978056 vsize=19241304 memory=2220 CPUtime=2053.98 cores=4,6
/proc/978059/task/978061/stat : 978061 (java) S 978056 978059 973401 0 -1 1077936192 72242 0 0 0 205373 25 0 0 20 0 15 0 186866069 19703095296 1346053 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978070] ppid=978056 vsize=19241304 memory=1632 CPUtime=0 cores=4,6
/proc/978059/task/978070/stat : 978070 (Finalizer) S 978056 978059 973401 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 186866072 19703095296 1346053 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
[pid=978059/tid=978077] ppid=978056 vsize=19241304 memory=20324 CPUtime=0 cores=4,6
/proc/978059/task/978077/stat : 978077 (Common-Cleaner) S 978056 978059 973401 0 -1 1077936192 768 0 0 0 0 0 0 0 20 0 15 0 186866073 19703095296 1346053 134679101440 93901853990912 93901853994608 140737111999824 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93901854002424 93901854003216 93901883166720 140737112007686 140737112007776 140737112007776 140737112014792 0
Current children cumulated CPU time: 2101.92 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 5384212 KiB

Child status: 10

Real time (s): 2080.63
CPU time (s): 2101.94
CPU user time (s): 2099.58
CPU system time (s): 2.36923
CPU usage (%): 101.025
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 5384212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2099.58
system time used= 2.36923
maximum resident set size= 5385084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178020
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66552
involuntary context switches= 3430


# summary of solver processes directly reported to runsolver:
#   pid: 978059
#   total CPU time (s): 2101.94
#   total CPU user time (s): 2099.58
#   total CPU system time (s): 2.36923

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6381 second user time and 23.5213 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-19 01:58:35
IDJOB=4446974
IDBENCH=158344
IDSOLVER=3058
FILE ID=nodeC004/4446974-1721347102
RUNJOBID= nodeC004-1721339958-973412
SLURM_JOB_ID= 7542718
Free space on /tmp= 723776 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K98.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446974-1721347102/watcher-4446974-1721347102 -o /tmp/evaluation-result-4446974-1721347102/solver-4446974-1721347102 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721339958-973412 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4446974-1721347102.opb

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

MD5SUM BENCH= 5359c0df8e4997707ebdbb5ef15bc818
RANDOM SEED=2084491751

nodeC004.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	: 0xb00001f
cpu MHz		: 3578.978
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.29
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	: 0xb00001f
cpu MHz		: 3540.729
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.446
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.29
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	: 0xb00001f
cpu MHz		: 1197.435
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 3492.163
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.29
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	: 0xb00001f
cpu MHz		: 3566.946
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
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	: 0xb00001f
cpu MHz		: 1197.317
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6984.29
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	: 0xb00001f
cpu MHz		: 1197.366
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        104753828 kB
MemAvailable:   109642640 kB
Buffers:          525096 kB
Cached:          5146220 kB
SwapCached:            0 kB
Active:          1070688 kB
Inactive:       25115928 kB
Active(anon):       3368 kB
Inactive(anon): 20549624 kB
Active(file):    1067320 kB
Inactive(file):  4566304 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1124 kB
Writeback:             0 kB
AnonPages:      20514856 kB
Mapped:           126708 kB
Shmem:             37700 kB
KReclaimable:     190776 kB
Slab:             305136 kB
SReclaimable:     190776 kB
SUnreclaim:       114360 kB
KernelStack:        4896 kB
PageTables:        50288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   30028212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58816 kB
HardwareCorrupted:     0 kB
AnonHugePages:  20051968 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:      242504 kB
DirectMap2M:    29022208 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC004 at 2024-07-19 02:33:15