Trace number 4524668

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 2025-06-06MSAT (TO) 3600.31 3568.77

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo
MD5SUM16f89ea133c5fbcfee23ba2cd06c865f
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.639962
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6800
Total number of constraints165
Number of soft constraints165
Number of constraints which are clauses85
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint80
Maximum length of a constraint85
Top cost 7728
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 7727
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 86
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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.10	c Number of processors 	2
0.11/0.14	c Pseudo Boolean Optimization by upper bound
0.11/0.14	c --- Begin Solver configuration ---
0.11/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.14	c Learn all clauses as in MiniSAT
0.11/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.14	c Expensive reason simplification
0.11/0.14	c Glucose 2.1 dynamic restart strategy
0.11/0.14	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.11/0.14	c timeout=2147483s
0.11/0.14	c DB Simplification allowed=false
0.11/0.14	c Listener: none
0.11/0.14	c --- End Solver configuration ---
0.11/0.14	c solving HOME/instance-4524668-1751616355.wbo
0.11/0.14	c reading problem ... 
0.31/0.22	c ... done. Wall clock time 0.08s.
0.31/0.22	c declared #vars     6800
0.31/0.22	c internal #vars     6965
0.31/0.22	c #constraints  166
0.31/0.22	c constraints type 
0.31/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 80
0.31/0.22	c org.sat4j.specs.Constr$1 => 1
0.31/0.22	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 85
0.31/0.23	c 166 constraints processed.
0.31/0.24	c objective function length is 165 literals
2.10/1.35	c cleaning 2498 clauses out of 5001 with flag 31534/5001
4.12/3.18	c cleaning 4244 clauses out of 8504 with flag 71551/11002
6.69/5.64	c cleaning 5617 clauses out of 11260 with flag 115066/18002
10.81/9.69	c cleaning 6814 clauses out of 13642 with flag 170027/26001
12.94/11.72	c SATISFIABLE
12.94/11.72	c OPTIMIZING...
12.94/11.72	c Got one! Elapsed wall clock time (in seconds):11.578
12.94/11.72	o 56
12.94/11.78	c Got one! Elapsed wall clock time (in seconds):11.64
12.94/11.78	o 17
13.11/11.85	c Got one! Elapsed wall clock time (in seconds):11.709
13.11/11.85	o 7
14.36/12.77	c cleaning 8643 clauses out of 17296 with flag 34767/36469
16.65/14.90	c cleaning 7317 clauses out of 14654 with flag 91215/42470
19.55/17.72	c cleaning 7154 clauses out of 14336 with flag 152132/49469
23.43/21.58	c cleaning 7579 clauses out of 15186 with flag 219385/57473
27.37/25.35	c cleaning 8287 clauses out of 16603 with flag 289984/66469
33.46/31.32	c cleaning 9140 clauses out of 18316 with flag 377364/76469
39.25/36.93	c cleaning 10073 clauses out of 20177 with flag 474626/87470
45.04/42.66	c cleaning 11037 clauses out of 22105 with flag 604378/99471
51.51/49.02	c cleaning 12020 clauses out of 24070 with flag 743818/112473
60.25/57.20	c cleaning 13008 clauses out of 26048 with flag 878055/126471
69.45/66.23	c cleaning 14002 clauses out of 28040 with flag 1029820/141471
80.31/76.95	c cleaning 15003 clauses out of 30036 with flag 1186461/157469
93.67/90.07	c cleaning 16002 clauses out of 32033 with flag 1346370/174469
107.02/103.28	c cleaning 16996 clauses out of 34032 with flag 1519117/192470
123.41/119.12	c cleaning 18002 clauses out of 36036 with flag 1701829/211470
142.05/137.62	c cleaning 19002 clauses out of 38033 with flag 1888810/231469
160.00/155.43	c cleaning 19992 clauses out of 40031 with flag 2070580/252469
175.12/170.23	c cleaning 21003 clauses out of 42039 with flag 2262226/274469
197.84/192.86	c cleaning 21999 clauses out of 44037 with flag 2484961/297470
220.13/214.36	c cleaning 22999 clauses out of 46040 with flag 2713186/321472
243.44/237.47	c cleaning 24003 clauses out of 48039 with flag 2940706/346470
260.37/254.29	c Got one! Elapsed wall clock time (in seconds):254.153
260.37/254.29	o 6
261.28/255.15	c cleaning 25002 clauses out of 50016 with flag 35293/372450
262.66/256.32	c cleaning 15504 clauses out of 31015 with flag 77268/378451
263.96/257.68	c cleaning 11251 clauses out of 22511 with flag 122627/385451
265.55/259.24	c cleaning 9621 clauses out of 19259 with flag 185864/393450
267.36/260.99	c cleaning 9313 clauses out of 18640 with flag 248904/402452
269.75/263.33	c cleaning 9658 clauses out of 19326 with flag 317847/412451
272.91/266.38	c cleaning 10324 clauses out of 20668 with flag 396820/423451
276.80/270.28	c cleaning 11165 clauses out of 22343 with flag 487770/435450
281.55/274.86	c cleaning 12087 clauses out of 24178 with flag 576745/448450
286.54/279.89	c cleaning 13038 clauses out of 26091 with flag 687668/462450
293.13/286.25	c cleaning 14024 clauses out of 28053 with flag 808800/477450
301.04/294.08	c Got one! Elapsed wall clock time (in seconds):293.941
301.04/294.08	o 1
304.93/297.95	c cleaning 16850 clauses out of 33707 with flag 37642/497128
308.32/300.87	c cleaning 11421 clauses out of 22858 with flag 90074/503129
309.92/302.45	c cleaning 9211 clauses out of 18436 with flag 154589/510128
311.11/303.56	c cleaning 8590 clauses out of 17225 with flag 207003/518128
314.10/306.52	c cleaning 8800 clauses out of 17635 with flag 290405/527128
318.95/311.27	c cleaning 9400 clauses out of 18837 with flag 384330/537130
325.74/318.05	c cleaning 10193 clauses out of 20436 with flag 490423/548129
334.33/326.44	c cleaning 11100 clauses out of 22243 with flag 613506/560129
343.61/335.58	c cleaning 12052 clauses out of 24145 with flag 733030/573131
354.17/345.94	c cleaning 13027 clauses out of 26091 with flag 869742/587129
365.35/357.15	c cleaning 14012 clauses out of 28064 with flag 1018914/602129
378.49/370.18	c cleaning 15008 clauses out of 30052 with flag 1171509/618129
394.65/386.17	c cleaning 16006 clauses out of 32046 with flag 1333675/635131
413.63/404.87	c cleaning 16999 clauses out of 34037 with flag 1496067/653128
432.00/422.98	c cleaning 17997 clauses out of 36038 with flag 1665702/672128
454.71/445.00	c cleaning 19002 clauses out of 38041 with flag 1847973/692128
479.48/469.45	c cleaning 19996 clauses out of 40040 with flag 2062740/713129
500.42/490.25	c cleaning 21003 clauses out of 42045 with flag 2266252/735130
524.94/514.42	c cleaning 21997 clauses out of 44040 with flag 2496810/758128
551.58/540.94	c cleaning 23002 clauses out of 46045 with flag 2727088/782130
579.26/568.40	c cleaning 23999 clauses out of 48043 with flag 2958746/807130
610.79/599.63	c cleaning 25001 clauses out of 50044 with flag 3224487/833130
639.56/627.42	c cleaning 26003 clauses out of 52044 with flag 3517246/860131
670.00/657.55	c cleaning 26995 clauses out of 54039 with flag 3828424/888129
708.48/695.76	c cleaning 28000 clauses out of 56043 with flag 4120942/917128
751.33/738.38	c cleaning 29004 clauses out of 58045 with flag 4418524/947130
791.97/778.74	c cleaning 29997 clauses out of 60039 with flag 4745758/978128
840.52/826.81	c cleaning 31000 clauses out of 62044 with flag 5073282/1010130
884.52/869.38	c cleaning 31999 clauses out of 64044 with flag 5383477/1043130
930.27/914.89	c cleaning 33000 clauses out of 66043 with flag 5731676/1077128
976.39/960.74	c cleaning 34002 clauses out of 68043 with flag 6065506/1112128
1032.44/1016.37	c cleaning 34997 clauses out of 70042 with flag 6447826/1148129
1082.34/1065.90	c cleaning 36002 clauses out of 72045 with flag 6824666/1185129
1136.89/1120.10	c cleaning 37000 clauses out of 74042 with flag 7175707/1223128
1201.22/1184.22	c cleaning 38000 clauses out of 76042 with flag 7554451/1262128
1270.47/1253.15	c cleaning 38995 clauses out of 78042 with flag 7972250/1302128
1354.42/1335.65	c cleaning 40004 clauses out of 80052 with flag 8350411/1343133
1432.09/1412.70	c cleaning 40999 clauses out of 82043 with flag 8757145/1385128
1514.50/1494.84	c cleaning 42000 clauses out of 84045 with flag 9149642/1428129
1597.94/1577.92	c cleaning 43003 clauses out of 86046 with flag 9552159/1472130
1688.87/1668.50	c cleaning 43997 clauses out of 88041 with flag 9948628/1517128
1772.61/1752.10	c cleaning 44999 clauses out of 90046 with flag 10397937/1563130
1858.07/1837.10	c cleaning 45997 clauses out of 92046 with flag 10858460/1610129
1954.96/1933.68	c cleaning 46996 clauses out of 94048 with flag 11361671/1658128
2056.60/2034.75	c cleaning 48003 clauses out of 96052 with flag 11804979/1707128
2173.92/2150.43	c cleaning 48999 clauses out of 98049 with flag 12313893/1757128
2282.61/2259.09	c cleaning 50005 clauses out of 100052 with flag 12791902/1808130
2404.78/2380.73	c cleaning 51001 clauses out of 102049 with flag 13324873/1860132
2526.92/2502.57	c cleaning 52003 clauses out of 104044 with flag 13851006/1913128
2654.20/2629.33	c cleaning 53000 clauses out of 106043 with flag 14396787/1967130
2777.51/2752.34	c cleaning 53997 clauses out of 108044 with flag 14920255/2022131
2834.99/2809.71	c cleaning 55000 clauses out of 110044 with flag 15298055/2078128
2895.70/2869.93	c cleaning 55995 clauses out of 112045 with flag 15735626/2135129
2962.25/2935.91	c cleaning 56996 clauses out of 114049 with flag 16192977/2193128
3061.07/3034.22	c cleaning 57997 clauses out of 116055 with flag 16690830/2252130
3148.95/3121.59	c cleaning 58996 clauses out of 118057 with flag 17233804/2312129
3236.96/3206.89	c cleaning 59997 clauses out of 120061 with flag 17792151/2373129
3340.64/3310.23	c cleaning 60997 clauses out of 122064 with flag 18376725/2435129
3457.02/3426.39	c cleaning 62000 clauses out of 124067 with flag 18976668/2498129
3568.37/3536.94	c cleaning 63005 clauses out of 126067 with flag 19615836/2562129
3600.00/3568.62	c starts		: 51
3600.00/3568.62	c conflicts		: 2590034
3600.00/3568.62	c decisions		: 3001470
3600.00/3568.62	c propagations		: 41448131
3600.00/3568.62	c inspects		: 10855256082
3600.00/3568.62	c shortcuts		: 0
3600.00/3568.62	c learnt literals	: 0
3600.00/3568.62	c learnt binary clauses	: 0
3600.00/3568.62	c learnt ternary clauses	: 0
3600.00/3568.62	c learnt constraints	: 2590034
3600.00/3568.62	c ignored constraints	: 0
3600.00/3568.62	c root simplifications	: 0
3600.00/3568.62	c removed literals (reason simplification)	: 1534483
3600.00/3568.62	c reason swapping (by a shorter reason)	: 0
3600.00/3568.62	c Calls to reduceDB	: 96
3600.00/3568.62	c Number of update (reduction) of LBD	: 1232026
3600.00/3568.62	c Imported unit clauses	: 0
3600.00/3568.62	c No decision after first conflict	: false
3600.00/3568.62	c number of reductions to clauses (during analyze)	: 0
3600.00/3568.62	c number of learned constraints concerned by reduction	: 0
3600.00/3568.62	c number of learning phase by resolution	: 0
3600.00/3568.62	c number of learning phase by cutting planes	: 0
3600.00/3568.62	c number of rounding to 1 operations	: 0
3600.00/3568.62	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3568.62	c number of reductions of the coefficients by power 2 	: 0
3600.00/3568.62	c number of right shift for reduction by power 2 	: 0
3600.00/3568.62	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3568.62	c number of ending skipping 	: 0
3600.00/3568.62	c number of internal skipping 	: 0
3600.00/3568.62	c number of derivation steps 	: 0
3600.00/3568.62	c number of skipped derivation steps 	: 0
3600.00/3568.62	c number of remaining unassigned 	: 0
3600.00/3568.62	c number of remaining assigned 	: 0
3600.00/3568.62	c number of falsified literals weakened from reason	: 0
3600.00/3568.62	c number of falsified literals weakened from conflict	: 0
3600.00/3568.62	c time for arithmetic operations	: 0
3600.00/3568.63	c minimum degree of deleted constraints	: null
3600.00/3568.63	c maximum degree of deleted constraints	: null
3600.00/3568.63	c number of deleted constraints	: 0
3600.00/3568.64	c speed (assignments/second)	: 11615.365537604095
3600.00/3568.64	c non guided choices	: 62805
3600.19/3568.70	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 90967
3600.19/3568.70	s SATISFIABLE
3600.19/3568.70	c Found 5 solution(s)
3600.19/3568.72	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 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 
3600.19/3568.73	c objective function=1
3600.19/3568.73	c Total wall clock time (in seconds): 3568.588

Verifier Data 

OK	1

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: 63665 MiB (62510 MiB free)
  memory of node 1: 64507 MiB (63802 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524668-1751616355/watcher-4524668-1751616355 -o /tmp/evaluation-result-4524668-1751616355/solver-4524668-1751616355 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751616355-87894 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4524668-1751616355.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=87958, runsolver pid=87935
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 1.06 1.08 1.18 12/332 88019
/proc/meminfo: memFree=129250440/131250000 swapFree=33010416/33010684
[pid=87958] ppid=87935 vsize=18930384 memory=55456 CPUtime=0.11 cores=1,3
/proc/87958/stat : 87958 (java) S 87935 87958 87161 0 -1 4194304 6555 0 21 0 10 1 0 0 20 0 18 0 77315363 19384713216 13864 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
/proc/87958/statm: 4732596 13864 5319 1 0 547596 0
[pid=87958/tid=87983] ppid=87935 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/87958/task/87983/stat : 87983 (java) R 87935 87958 87161 0 -1 4194368 5058 0 21 0 6 1 0 0 20 0 18 0 77315365 19384713216 13864 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88005] ppid=87935 vsize=18930384 memory=241407623509 CPUtime=0 cores=1,3
/proc/87958/task/88005/stat : 88005 (Finalizer) S 87935 87958 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77315367 19384713216 13864 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88018] ppid=87935 vsize=18930384 memory=61784027586760 CPUtime=0 cores=1,3
/proc/87958/task/88018/stat : 88018 (Common-Cleaner) S 87935 87958 87161 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77315367 19384713216 13864 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55456 KiB

[startup+0.20559 s]*
/proc/loadavg: 1.06 1.08 1.18 12/333 88020
/proc/meminfo: memFree=129204256/131250000 swapFree=33010416/33010684
[pid=87958] ppid=87935 vsize=18930384 memory=69948 CPUtime=0.31 cores=1,3
/proc/87958/stat : 87958 (java) S 87935 87958 87161 0 -1 4194304 7030 0 21 0 29 2 0 0 20 0 18 0 77315363 19384713216 17487 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
/proc/87958/statm: 4732596 17487 5415 1 0 547914 0
[pid=87958/tid=87983] ppid=87935 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=1,3
/proc/87958/task/87983/stat : 87983 (java) R 87935 87958 87161 0 -1 4194368 5288 0 21 0 16 1 0 0 20 0 18 0 77315365 19384713216 17487 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88005] ppid=87935 vsize=18930384 memory=18954 CPUtime=0 cores=1,3
/proc/87958/task/88005/stat : 88005 (Finalizer) S 87935 87958 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77315367 19384713216 17487 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88018] ppid=87935 vsize=18930384 memory=60684515935208 CPUtime=0 cores=1,3
/proc/87958/task/88018/stat : 88018 (Common-Cleaner) S 87935 87958 87161 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77315367 19384713216 17487 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 69948 KiB

[startup+0.305101 s]*
/proc/loadavg: 1.06 1.08 1.18 11/336 88023
/proc/meminfo: memFree=129188756/131250000 swapFree=33010416/33010684
[pid=87958] ppid=87935 vsize=18996948 memory=74812 CPUtime=0.5 cores=1,3
/proc/87958/stat : 87958 (java) S 87935 87958 87161 0 -1 4194304 7904 0 21 0 47 3 0 0 20 0 19 0 77315363 19452874752 18703 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
/proc/87958/statm: 4749237 18703 5447 1 0 548697 0
[pid=87958/tid=87983] ppid=87935 vsize=18996948 memory=-6000919485624706407 CPUtime=0.24 cores=1,3
/proc/87958/task/87983/stat : 87983 (java) R 87935 87958 87161 0 -1 4194368 5386 0 21 0 22 2 0 0 20 0 19 0 77315365 19452874752 18703 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88005] ppid=87935 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/87958/task/88005/stat : 88005 (Finalizer) S 87935 87958 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77315367 19452874752 18703 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88018] ppid=87935 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/87958/task/88018/stat : 88018 (Common-Cleaner) S 87935 87958 87161 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77315367 19452874752 18703 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88022] ppid=87935 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/87958/task/88022/stat : 88022 (Timer-0) S 87935 87958 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77315388 19452874752 18703 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 74812 KiB

[startup+0.700199 s]
/proc/loadavg: 1.06 1.08 1.18 10/336 88023
/proc/meminfo: memFree=129142004/131250000 swapFree=33010416/33010684
[pid=87958] ppid=87935 vsize=18996948 memory=97052 CPUtime=1.26 cores=1,3
/proc/87958/stat : 87958 (java) S 87935 87958 87161 0 -1 4194304 11319 0 21 0 123 3 0 0 20 0 19 0 77315363 19452874752 24263 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
/proc/87958/statm: 4749237 24263 5479 1 0 550569 0
[pid=87958/tid=87983] ppid=87935 vsize=18996948 memory=18816 CPUtime=0.62 cores=1,3
/proc/87958/task/87983/stat : 87983 (java) R 87935 87958 87161 0 -1 4194368 5407 0 21 0 60 2 0 0 20 0 19 0 77315365 19452874752 24263 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88005] ppid=87935 vsize=18996948 memory=10880 CPUtime=0 cores=1,3
/proc/87958/task/88005/stat : 88005 (Finalizer) S 87935 87958 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77315367 19452874752 24263 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88018] ppid=87935 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/87958/task/88018/stat : 88018 (Common-Cleaner) S 87935 87958 87161 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77315367 19452874752 24263 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88022] ppid=87935 vsize=18996948 memory=4760 CPUtime=0 cores=1,3
/proc/87958/task/88022/stat : 88022 (Timer-0) S 87935 87958 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77315388 19452874752 24263 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 97052 KiB

[startup+1.50023 s]
/proc/loadavg: 1.06 1.08 1.18 7/336 88023
/proc/meminfo: memFree=129028640/131250000 swapFree=33010416/33010684
[pid=87958] ppid=87935 vsize=18996948 memory=145600 CPUtime=2.42 cores=1,3
/proc/87958/stat : 87958 (java) S 87935 87958 87161 0 -1 4194304 16133 0 21 0 236 6 0 0 20 0 19 0 77315363 19452874752 36400 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
/proc/87958/statm: 4749237 36400 5479 1 0 550848 0
[pid=87958/tid=87983] ppid=87935 vsize=18996948 memory=0 CPUtime=1.41 cores=1,3
/proc/87958/task/87983/stat : 87983 (java) R 87935 87958 87161 0 -1 4194368 6506 0 21 0 138 3 0 0 20 0 19 0 77315365 19452874752 36400 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88005] ppid=87935 vsize=18996948 memory=10880 CPUtime=0 cores=1,3
/proc/87958/task/88005/stat : 88005 (Finalizer) S 87935 87958 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77315367 19452874752 36400 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88018] ppid=87935 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/87958/task/88018/stat : 88018 (Common-Cleaner) S 87935 87958 87161 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77315367 19452874752 36400 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88022] ppid=87935 vsize=18996948 memory=4760 CPUtime=0 cores=1,3
/proc/87958/task/88022/stat : 88022 (Timer-0) S 87935 87958 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77315388 19452874752 36400 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
Current children cumulated CPU time: 2.42 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 145600 KiB

[startup+3.10538 s]
/proc/loadavg: 1.37 1.15 1.20 7/339 88026
/proc/meminfo: memFree=128756696/131250000 swapFree=33010416/33010684
[pid=87958] ppid=87935 vsize=19063512 memory=209552 CPUtime=4.12 cores=1,3
/proc/87958/stat : 87958 (java) S 87935 87958 87161 0 -1 4194304 17143 0 21 0 404 8 0 0 20 0 20 0 77315363 19521036288 52388 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
/proc/87958/statm: 4765878 52388 5479 1 0 551143 0
[pid=87958/tid=87983] ppid=87935 vsize=19063512 memory=10880 CPUtime=2.97 cores=1,3
/proc/87958/task/87983/stat : 87983 (java) R 87935 87958 87161 0 -1 4194368 6758 0 21 0 293 4 0 0 20 0 20 0 77315365 19521036288 52388 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88005] ppid=87935 vsize=19063512 memory=-6000919485624706407 CPUtime=0 cores=1,3
/proc/87958/task/88005/stat : 88005 (Finalizer) S 87935 87958 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77315367 19521036288 52388 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88018] ppid=87935 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/87958/task/88018/stat : 88018 (Common-Cleaner) S 87935 87958 87161 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 77315367 19521036288 52388 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88022] ppid=87935 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/87958/task/88022/stat : 88022 (Timer-0) S 87935 87958 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77315388 19521036288 52388 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
Current children cumulated CPU time: 4.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 209552 KiB

[startup+6.30019 s]
/proc/loadavg: 1.37 1.15 1.20 6/339 88026
/proc/meminfo: memFree=128409248/131250000 swapFree=33010416/33010684
[pid=87958] ppid=87935 vsize=19063512 memory=369468 CPUtime=7.46 cores=1,3
/proc/87958/stat : 87958 (java) S 87935 87958 87161 0 -1 4194304 18426 0 21 0 735 11 0 0 20 0 20 0 77315363 19521036288 92367 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
/proc/87958/statm: 4765878 92367 5479 1 0 551144 0
[pid=87958/tid=87983] ppid=87935 vsize=19063512 memory=0 CPUtime=6.01 cores=1,3
/proc/87958/task/87983/stat : 87983 (java) R 87935 87958 87161 0 -1 4194368 6973 0 21 0 597 4 0 0 20 0 20 0 77315365 19521036288 92367 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88005] ppid=87935 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/87958/task/88005/stat : 88005 (Finalizer) S 87935 87958 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77315367 19521036288 92367 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88018] ppid=87935 vsize=19063512 memory=10880 CPUtime=0 cores=1,3
/proc/87958/task/88018/stat : 88018 (Common-Cleaner) S 87935 87958 87161 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 77315367 19521036288 92367 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88022] ppid=87935 vsize=19063512 memory=151744 CPUtime=0 cores=1,3
/proc/87958/task/88022/stat : 88022 (Timer-0) S 87935 87958 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77315388 19521036288 92367 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
Current children cumulated CPU time: 7.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 369468 KiB

[startup+12.7002 s]
/proc/loadavg: 1.78 1.24 1.23 7/340 88027
/proc/meminfo: memFree=127825788/131250000 swapFree=33010416/33010684
[pid=87958] ppid=87935 vsize=19063512 memory=590420 CPUtime=14.36 cores=1,3
/proc/87958/stat : 87958 (java) S 87935 87958 87161 0 -1 4194304 24708 0 21 0 1419 17 0 0 20 0 20 0 77315363 19521036288 147605 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
/proc/87958/statm: 4765878 147605 5511 1 0 657742 0
[pid=87958/tid=87983] ppid=87935 vsize=19063512 memory=151744 CPUtime=12.24 cores=1,3
/proc/87958/task/87983/stat : 87983 (java) R 87935 87958 87161 0 -1 4194368 8793 0 21 0 1219 5 0 0 20 0 20 0 77315365 19521036288 147605 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88005] ppid=87935 vsize=19063512 memory=453564 CPUtime=0 cores=1,3
/proc/87958/task/88005/stat : 88005 (Finalizer) S 87935 87958 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77315367 19521036288 147605 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88018] ppid=87935 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/87958/task/88018/stat : 88018 (Common-Cleaner) S 87935 87958 87161 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 77315367 19521036288 147605 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88022] ppid=87935 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/87958/task/88022/stat : 88022 (Timer-0) S 87935 87958 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77315388 19521036288 147605 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
Current children cumulated CPU time: 14.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 590420 KiB

[startup+25.5002 s]
/proc/loadavg: 2.20 1.35 1.27 6/340 88027
/proc/meminfo: memFree=126231240/131250000 swapFree=33010416/33010684
[pid=87958] ppid=87935 vsize=19063512 memory=1152280 CPUtime=27.57 cores=1,3
/proc/87958/stat : 87958 (java) S 87935 87958 87161 0 -1 4194304 27631 0 21 0 2728 29 0 0 20 0 20 0 77315363 19521036288 288070 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
/proc/87958/statm: 4765878 288070 5511 1 0 785165 0
[pid=87958/tid=87983] ppid=87935 vsize=19063512 memory=453564 CPUtime=24.65 cores=1,3
/proc/87958/task/87983/stat : 87983 (java) R 87935 87958 87161 0 -1 4194368 9700 0 21 0 2457 8 0 0 20 0 20 0 77315365 19521036288 288070 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88005] ppid=87935 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/87958/task/88005/stat : 88005 (Finalizer) S 87935 87958 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77315367 19521036288 288070 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88018] ppid=87935 vsize=19063512 memory=973956 CPUtime=0 cores=1,3
/proc/87958/task/88018/stat : 88018 (Common-Cleaner) S 87935 87958 87161 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 77315367 19521036288 288070 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88022] ppid=87935 vsize=19063512 memory=974980 CPUtime=0 cores=1,3
/proc/87958/task/88022/stat : 88022 (Timer-0) S 87935 87958 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77315388 19521036288 288070 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
Current children cumulated CPU time: 27.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1152280 KiB

[startup+51.1056 s]
/proc/loadavg: 2.97 1.60 1.35 6/340 88028
/proc/meminfo: memFree=123553408/131250000 swapFree=33010416/33010684
[pid=87958] ppid=87935 vsize=19063512 memory=1879460 CPUtime=53.7 cores=1,3
/proc/87958/stat : 87958 (java) S 87935 87958 87161 0 -1 4194304 29378 0 21 0 5325 45 0 0 20 0 20 0 77315363 19521036288 469865 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
/proc/87958/statm: 4765878 469865 5511 1 0 785192 0
[pid=87958/tid=87983] ppid=87935 vsize=19063512 memory=1787300 CPUtime=49.6 cores=1,3
/proc/87958/task/87983/stat : 87983 (java) R 87935 87958 87161 0 -1 4194368 10285 0 21 0 4951 9 0 0 20 0 20 0 77315365 19521036288 469865 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88005] ppid=87935 vsize=19063512 memory=4352 CPUtime=0 cores=1,3

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

[startup+3222.3 s]
/proc/loadavg: 4.18 4.13 4.04 6/339 88176
/proc/meminfo: memFree=95392996/131250000 swapFree=33010416/33010684
[pid=87958] ppid=87935 vsize=19063512 memory=10986100 CPUtime=3252.43 cores=1,3
/proc/87958/stat : 87958 (java) S 87935 87958 87161 0 -1 4194304 200991 0 21 0 324903 340 0 0 20 0 20 0 77315363 19521036288 2746525 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
/proc/87958/statm: 4765878 2746525 5511 1 0 3829321 0
[pid=87958/tid=87983] ppid=87935 vsize=19063512 memory=14720 CPUtime=3187.33 cores=1,3
/proc/87958/task/87983/stat : 87983 (java) R 87935 87958 87161 0 -1 4194368 101376 0 21 0 318674 59 0 0 20 0 20 0 77315365 19521036288 2746525 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88005] ppid=87935 vsize=19063512 memory=10880 CPUtime=0 cores=1,3
/proc/87958/task/88005/stat : 88005 (Finalizer) S 87935 87958 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77315367 19521036288 2746525 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88018] ppid=87935 vsize=19063512 memory=18816 CPUtime=0 cores=1,3
/proc/87958/task/88018/stat : 88018 (Common-Cleaner) S 87935 87958 87161 0 -1 4194368 2295 0 0 0 0 0 0 0 20 0 20 0 77315367 19521036288 2746525 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88022] ppid=87935 vsize=19063512 memory=10734196 CPUtime=0 cores=1,3
/proc/87958/task/88022/stat : 88022 (Timer-0) S 87935 87958 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77315388 19521036288 2746525 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
Current children cumulated CPU time: 3252.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10986100 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.04 6/340 88183
/proc/meminfo: memFree=94678144/131250000 swapFree=33010416/33010684
[pid=87958] ppid=87935 vsize=19063512 memory=11414140 CPUtime=3312.8 cores=1,3
/proc/87958/stat : 87958 (java) S 87935 87958 87161 0 -1 4194304 203697 0 21 0 330929 351 0 0 20 0 20 0 77315363 19521036288 2853535 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
/proc/87958/statm: 4765878 2853535 5511 1 0 3829321 0
[pid=87958/tid=87983] ppid=87935 vsize=19063512 memory=18816 CPUtime=3246.68 cores=1,3
/proc/87958/task/87983/stat : 87983 (java) R 87935 87958 87161 0 -1 4194368 102904 0 21 0 324602 66 0 0 20 0 20 0 77315365 19521036288 2853535 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88005] ppid=87935 vsize=19063512 memory=11414140 CPUtime=0 cores=1,3
/proc/87958/task/88005/stat : 88005 (Finalizer) S 87935 87958 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77315367 19521036288 2853535 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88018] ppid=87935 vsize=19063512 memory=11414140 CPUtime=0 cores=1,3
/proc/87958/task/88018/stat : 88018 (Common-Cleaner) S 87935 87958 87161 0 -1 4194368 2363 0 0 0 0 0 0 0 20 0 20 0 77315367 19521036288 2853535 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88022] ppid=87935 vsize=19063512 memory=11414140 CPUtime=0 cores=1,3
/proc/87958/task/88022/stat : 88022 (Timer-0) S 87935 87958 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77315388 19521036288 2853535 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
Current children cumulated CPU time: 3312.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11414140 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.13 4.05 7/340 88196
/proc/meminfo: memFree=94000720/131250000 swapFree=33010416/33010684
[pid=87958] ppid=87935 vsize=19063512 memory=11825792 CPUtime=3373.18 cores=1,3
/proc/87958/stat : 87958 (java) S 87935 87958 87161 0 -1 4194304 207996 0 21 0 336957 361 0 0 20 0 20 0 77315363 19521036288 2956448 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
/proc/87958/statm: 4765878 2956448 5511 1 0 3829322 0
[pid=87958/tid=87983] ppid=87935 vsize=19063512 memory=11512448 CPUtime=3305.98 cores=1,3
/proc/87958/task/87983/stat : 87983 (java) R 87935 87958 87161 0 -1 4194368 105758 0 21 0 330532 66 0 0 20 0 20 0 77315365 19521036288 2956448 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88005] ppid=87935 vsize=19063512 memory=18816 CPUtime=0 cores=1,3
/proc/87958/task/88005/stat : 88005 (Finalizer) S 87935 87958 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77315367 19521036288 2956448 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88018] ppid=87935 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/87958/task/88018/stat : 88018 (Common-Cleaner) S 87935 87958 87161 0 -1 4194368 2414 0 0 0 0 0 0 0 20 0 20 0 77315367 19521036288 2956448 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88022] ppid=87935 vsize=19063512 memory=11496064 CPUtime=0 cores=1,3
/proc/87958/task/88022/stat : 88022 (Timer-0) S 87935 87958 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77315388 19521036288 2956448 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
Current children cumulated CPU time: 3373.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11825792 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.05 6/340 88198
/proc/meminfo: memFree=93672344/131250000 swapFree=33010416/33010684
[pid=87958] ppid=87935 vsize=19063512 memory=11825792 CPUtime=3433.07 cores=1,3
/proc/87958/stat : 87958 (java) S 87935 87958 87161 0 -1 4194304 210044 0 21 0 342944 363 0 0 20 0 20 0 77315363 19521036288 2956448 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
/proc/87958/statm: 4765878 2956448 5511 1 0 3829322 0
[pid=87958/tid=87983] ppid=87935 vsize=19063512 memory=11825792 CPUtime=3365.83 cores=1,3
/proc/87958/task/87983/stat : 87983 (java) R 87935 87958 87161 0 -1 4194368 107737 0 21 0 336517 66 0 0 20 0 20 0 77315365 19521036288 2956448 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88005] ppid=87935 vsize=19063512 memory=18816 CPUtime=0 cores=1,3
/proc/87958/task/88005/stat : 88005 (Finalizer) S 87935 87958 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77315367 19521036288 2956448 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88018] ppid=87935 vsize=19063512 memory=18816 CPUtime=0 cores=1,3
/proc/87958/task/88018/stat : 88018 (Common-Cleaner) S 87935 87958 87161 0 -1 4194368 2414 0 0 0 0 0 0 0 20 0 20 0 77315367 19521036288 2956448 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88022] ppid=87935 vsize=19063512 memory=-6000919485624706407 CPUtime=0 cores=1,3
/proc/87958/task/88022/stat : 88022 (Timer-0) S 87935 87958 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77315388 19521036288 2956448 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
Current children cumulated CPU time: 3433.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11825792 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.05 6/341 88201
/proc/meminfo: memFree=93190400/131250000 swapFree=33010416/33010684
[pid=87958] ppid=87935 vsize=19063512 memory=11825792 CPUtime=3493.4 cores=1,3
/proc/87958/stat : 87958 (java) S 87935 87958 87161 0 -1 4194304 215558 0 21 0 348975 365 0 0 20 0 20 0 77315363 19521036288 2956448 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
/proc/87958/statm: 4765878 2956448 5511 1 0 3829322 0
[pid=87958/tid=87983] ppid=87935 vsize=19063512 memory=11825792 CPUtime=3425.24 cores=1,3
/proc/87958/task/87983/stat : 87983 (java) R 87935 87958 87161 0 -1 4194368 111860 0 21 0 342457 67 0 0 20 0 20 0 77315365 19521036288 2956448 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88005] ppid=87935 vsize=19063512 memory=18816 CPUtime=0 cores=1,3
/proc/87958/task/88005/stat : 88005 (Finalizer) S 87935 87958 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77315367 19521036288 2956448 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88018] ppid=87935 vsize=19063512 memory=11825792 CPUtime=0 cores=1,3
/proc/87958/task/88018/stat : 88018 (Common-Cleaner) S 87935 87958 87161 0 -1 4194368 2473 0 0 0 0 0 0 0 20 0 20 0 77315367 19521036288 2956448 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88022] ppid=87935 vsize=19063512 memory=11825792 CPUtime=0 cores=1,3
/proc/87958/task/88022/stat : 88022 (Timer-0) S 87935 87958 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77315388 19521036288 2956448 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
Current children cumulated CPU time: 3493.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11825792 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.12 4.05 6/340 88203
/proc/meminfo: memFree=92952844/131250000 swapFree=33010416/33010684
[pid=87958] ppid=87935 vsize=19063512 memory=11825792 CPUtime=3553.8 cores=1,3
/proc/87958/stat : 87958 (java) S 87935 87958 87161 0 -1 4194304 219558 0 21 0 355012 368 0 0 20 0 20 0 77315363 19521036288 2956448 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
/proc/87958/statm: 4765878 2956448 5511 1 0 3829322 0
[pid=87958/tid=87983] ppid=87935 vsize=19063512 memory=11825792 CPUtime=3484.56 cores=1,3
/proc/87958/task/87983/stat : 87983 (java) R 87935 87958 87161 0 -1 4194368 114041 0 21 0 348389 67 0 0 20 0 20 0 77315365 19521036288 2956448 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88005] ppid=87935 vsize=19063512 memory=11825792 CPUtime=0 cores=1,3
/proc/87958/task/88005/stat : 88005 (Finalizer) S 87935 87958 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77315367 19521036288 2956448 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88018] ppid=87935 vsize=19063512 memory=11825792 CPUtime=0 cores=1,3
/proc/87958/task/88018/stat : 88018 (Common-Cleaner) S 87935 87958 87161 0 -1 4194368 2532 0 0 0 0 0 0 0 20 0 20 0 77315367 19521036288 2956448 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88022] ppid=87935 vsize=19063512 memory=11825792 CPUtime=0 cores=1,3
/proc/87958/task/88022/stat : 88022 (Timer-0) S 87935 87958 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77315388 19521036288 2956448 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
Current children cumulated CPU time: 3553.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11825792 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3568.6 s]
/proc/loadavg: 4.20 4.13 4.06 6/339 88205
/proc/meminfo: memFree=92550832/131250000 swapFree=33010416/33010684
[pid=87958] ppid=87935 vsize=19063512 memory=11825792 CPUtime=3600 cores=1,3
/proc/87958/stat : 87958 (java) S 87935 87958 87161 0 -1 4194304 222795 0 21 0 359630 370 0 0 20 0 20 0 77315363 19521036288 2956448 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
/proc/87958/statm: 4765878 2956448 5511 1 0 3829322 0
[pid=87958/tid=87983] ppid=87935 vsize=19063512 memory=5760 CPUtime=3530.73 cores=1,3
/proc/87958/task/87983/stat : 87983 (java) R 87935 87958 87161 0 -1 4194368 117218 0 21 0 353005 68 0 0 20 0 20 0 77315365 19521036288 2956448 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88005] ppid=87935 vsize=19063512 memory=-6000919485624706407 CPUtime=0 cores=1,3
/proc/87958/task/88005/stat : 88005 (Finalizer) S 87935 87958 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77315367 19521036288 2956448 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88018] ppid=87935 vsize=19063512 memory=7168 CPUtime=0 cores=1,3
/proc/87958/task/88018/stat : 88018 (Common-Cleaner) S 87935 87958 87161 0 -1 4194368 2571 0 0 0 0 0 0 0 20 0 20 0 77315367 19521036288 2956448 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88022] ppid=87935 vsize=19063512 memory=2688 CPUtime=0 cores=1,3
/proc/87958/task/88022/stat : 88022 (Timer-0) S 87935 87958 87161 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77315388 19521036288 2956448 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11825792 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.56 s, system=3.74181 s

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

[startup+3568.7 s]
/proc/loadavg: 4.20 4.13 4.06 6/339 88205
/proc/meminfo: memFree=92550832/131250000 swapFree=33010416/33010684
[pid=87958] ppid=87935 vsize=19263204 memory=11826432 CPUtime=3600.19 cores=1,3
/proc/87958/stat : 87958 (java) S 87935 87958 87161 0 -1 4194304 225097 0 21 0 359649 370 0 0 20 0 21 0 77315363 19725520896 2956608 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
/proc/87958/statm: 4815801 2956608 5543 1 0 3830277 0
[pid=87958/tid=87983] ppid=87935 vsize=19263204 memory=11825792 CPUtime=3530.82 cores=1,3
/proc/87958/task/87983/stat : 87983 (java) R 87935 87958 87161 0 -1 4194368 117523 0 21 0 353014 68 0 0 20 0 21 0 77315365 19725520896 2956608 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88005] ppid=87935 vsize=19263204 memory=11825792 CPUtime=0 cores=1,3
/proc/87958/task/88005/stat : 88005 (Finalizer) S 87935 87958 87161 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77315367 19725520896 2956608 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
[pid=87958/tid=88018] ppid=87935 vsize=19263204 memory=11825792 CPUtime=0 cores=1,3
/proc/87958/task/88018/stat : 88018 (Common-Cleaner) S 87935 87958 87161 0 -1 4194368 2571 0 0 0 0 0 0 0 20 0 21 0 77315367 19725520896 2956608 18446744073709551615 94087038545920 94087038549616 140735717950928 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94087038557432 94087038558224 94087040708608 140735717955967 140735717956068 140735717956068 140735717961672 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 11826432 KiB

Child status: 143

Real time (s): 3568.77
CPU time (s): 3600.31
CPU user time (s): 3596.56
CPU system time (s): 3.74181
CPU usage (%): 100.884
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 11826432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.56
system time used= 3.74181
maximum resident set size= 11826688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225348
page faults= 21
swaps= 0
block input operations= 0
block output operations= 16296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111685
involuntary context switches= 5147


# summary of solver processes directly reported to runsolver:
#   pid: 87958
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3596.56
#   total CPU system time (s): 3.74181

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.76936 second user time and 15.3756 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-04 10:05:55
IDJOB=4524668
IDBENCH=143156
IDSOLVER=3380
FILE ID=nodeC027/4524668-1751616355
RUNJOBID= nodeC027-1751616355-87894
SLURM_JOB_ID= 9598902
Free space on /tmp= 431184 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524668-1751616355/watcher-4524668-1751616355 -o /tmp/evaluation-result-4524668-1751616355/solver-4524668-1751616355 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751616355-87894 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4524668-1751616355.wbo

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

MD5SUM BENCH= 16f89ea133c5fbcfee23ba2cd06c865f
RANDOM SEED=1187436590

nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.651
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.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	: 0xb00002a
cpu MHz		: 3609.880
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.587
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.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	: 0xb00002a
cpu MHz		: 3599.634
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.593
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.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	: 0xb00002a
cpu MHz		: 3599.803
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.676
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.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	: 0xb00002a
cpu MHz		: 3599.823
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129344296 kB
MemAvailable:   129697608 kB
Buffers:            2488 kB
Cached:          1151660 kB
SwapCached:           12 kB
Active:           615200 kB
Inactive:         611136 kB
Active(anon):      87452 kB
Inactive(anon):     2792 kB
Active(file):     527748 kB
Inactive(file):   608344 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3232 kB
Writeback:             0 kB
AnonPages:         75352 kB
Mapped:           104052 kB
Shmem:             18056 kB
KReclaimable:     112520 kB
Slab:             202652 kB
SReclaimable:     112520 kB
SUnreclaim:        90132 kB
KernelStack:        4068 kB
PageTables:         2624 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     339460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431180 MiB
End job on nodeC027 at 2025-07-04 11:05:24