Trace number 4520627

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06SAT (TO)2068 3601.11 3023.07

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_380.opb
MD5SUMdc7892cb3dbd530fdb83331c968a6da2
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1616
Best CPU time to get the best result obtained on this benchmark64.671
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6460
Total number of constraints6460
Number of constraints which are clauses6460
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint4
Number of terms in the objective function 6460
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6460
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6460
Number of bits of the biggest sum of numbers13
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.09	c version PB25.v20250606
0.12/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.10	c java.vm.version	22.0.1+8-16
0.12/0.10	c java.vm.vendor	Oracle Corporation
0.12/0.10	c sun.arch.data.model	64
0.12/0.10	c java.version		22.0.1
0.12/0.10	c os.name		Linux
0.12/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.10	c os.arch		amd64
0.12/0.11	c Free memory 		2106806208
0.12/0.11	c Max memory 		16282288128
0.12/0.11	c Total memory 		2113929216
0.12/0.11	c Number of processors 	2
0.12/0.15	c Pseudo Boolean Optimization by upper bound
0.12/0.15	c --- Begin Solver configuration ---
0.12/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.15	c Learn all clauses as in MiniSAT
0.12/0.15	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.15	c Expensive reason simplification
0.12/0.15	c Glucose 2.1 dynamic restart strategy
0.12/0.15	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.15	c timeout=2147483s
0.12/0.15	c DB Simplification allowed=false
0.12/0.15	c Listener: none
0.12/0.15	c --- End Solver configuration ---
0.12/0.15	c solving HOME/instance-4520627-1751576810.opb
0.12/0.15	c reading problem ... 
0.12/0.15	c using VERIPB proof format
0.12/0.16	c  objective function found
0.71/0.43	c ... done. Wall clock time 0.252s.
0.71/0.43	c declared #vars     6460
0.71/0.43	c #constraints  6460
0.71/0.43	c constraints type 
0.71/0.43	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6460
0.71/0.43	c 6460 constraints processed.
0.71/0.47	c objective function length is 6460 literals
1.08/0.60	c SATISFIABLE
1.08/0.60	c OPTIMIZING...
1.08/0.60	c Got one! Elapsed wall clock time (in seconds):0.449
1.08/0.60	o 2074
1.28/0.74	c Got one! Elapsed wall clock time (in seconds):0.584
1.28/0.74	o 2073
1.48/0.84	c Got one! Elapsed wall clock time (in seconds):0.684
1.48/0.84	o 2072
1.67/0.93	c Got one! Elapsed wall clock time (in seconds):0.773
1.67/0.93	o 2071
1.88/1.03	c Got one! Elapsed wall clock time (in seconds):0.877
1.88/1.03	o 2070
2.06/1.18	c Got one! Elapsed wall clock time (in seconds):1.03
2.06/1.18	o 2069
8.13/4.92	c cleaning 2534 clauses out of 5068 with flag 11383/5068
14.62/10.66	c cleaning 4266 clauses out of 8534 with flag 25347/11068
21.47/16.53	c cleaning 5631 clauses out of 11268 with flag 41487/18068
28.86/22.91	c cleaning 6813 clauses out of 13636 with flag 59403/26067
38.09/31.08	c cleaning 7906 clauses out of 15824 with flag 79719/35068
47.19/39.06	c cleaning 8954 clauses out of 17918 with flag 102495/45068
55.60/46.30	c cleaning 9980 clauses out of 19963 with flag 127557/56067
65.40/54.97	c cleaning 10989 clauses out of 21983 with flag 155664/68067
74.72/62.90	c cleaning 11994 clauses out of 23994 with flag 185624/81067
90.40/76.88	c cleaning 12995 clauses out of 26000 with flag 219119/95067
102.70/87.67	c cleaning 14000 clauses out of 28005 with flag 253726/110067
115.34/98.52	c cleaning 14995 clauses out of 30006 with flag 290012/126068
132.31/113.71	c cleaning 16004 clauses out of 32011 with flag 328567/143068
148.06/127.53	c cleaning 17001 clauses out of 34006 with flag 369291/161067
167.32/142.26	c cleaning 18000 clauses out of 36006 with flag 412451/180068
183.76/156.33	c cleaning 19000 clauses out of 38005 with flag 458588/200067
203.79/173.98	c cleaning 20001 clauses out of 40005 with flag 506558/221067
226.11/193.29	c cleaning 20998 clauses out of 42005 with flag 556260/243068
243.72/208.49	c cleaning 21999 clauses out of 44006 with flag 609054/266067
264.21/226.01	c cleaning 23001 clauses out of 46007 with flag 663749/290067
286.27/243.02	c cleaning 24000 clauses out of 48008 with flag 720240/315069
311.85/265.57	c cleaning 24995 clauses out of 50006 with flag 778955/341067
340.74/291.19	c cleaning 25996 clauses out of 52011 with flag 839962/368067
365.11/312.52	c cleaning 27004 clauses out of 54015 with flag 904248/396067
395.55/335.65	c cleaning 28000 clauses out of 56011 with flag 970442/425067
424.69/360.83	c cleaning 29004 clauses out of 58013 with flag 1038732/455069
450.67/383.54	c cleaning 29995 clauses out of 60008 with flag 1108898/486068
479.84/409.17	c cleaning 30996 clauses out of 62012 with flag 1182021/518067
515.28/440.83	c cleaning 31999 clauses out of 64016 with flag 1257982/551067
547.04/468.88	c cleaning 32996 clauses out of 66017 with flag 1336181/585067
582.68/495.75	c cleaning 34005 clauses out of 68021 with flag 1416286/620067
610.39/519.23	c cleaning 34996 clauses out of 70016 with flag 1498819/656067
641.09/546.10	c cleaning 36000 clauses out of 72021 with flag 1584036/693068
671.43/572.53	c cleaning 37005 clauses out of 74022 with flag 1671278/731069
703.90/600.80	c cleaning 38003 clauses out of 76015 with flag 1760761/770067
746.93/633.81	c cleaning 39000 clauses out of 78012 with flag 1851225/810067
782.70/664.52	c cleaning 40002 clauses out of 80014 with flag 1943333/851069
817.41/694.69	c cleaning 40995 clauses out of 82010 with flag 2037285/893067
855.89/728.20	c cleaning 42002 clauses out of 84016 with flag 2133052/936068
904.73/766.39	c cleaning 42999 clauses out of 86013 with flag 2232603/980067
941.48/796.66	c cleaning 44003 clauses out of 88015 with flag 2332760/1025068
984.24/834.27	c cleaning 45000 clauses out of 90011 with flag 2436502/1071067
1026.58/871.49	c cleaning 45999 clauses out of 92011 with flag 2543833/1118067
1070.52/905.92	c cleaning 46997 clauses out of 94013 with flag 2653818/1166068
1113.64/943.75	c cleaning 47998 clauses out of 96015 with flag 2764686/1215067
1161.02/985.24	c cleaning 48997 clauses out of 98017 with flag 2877942/1265067
1218.10/1030.09	c cleaning 50002 clauses out of 100020 with flag 2991885/1316067
1262.42/1066.36	c cleaning 50997 clauses out of 102018 with flag 3108828/1368067
1308.52/1106.81	c cleaning 52004 clauses out of 104023 with flag 3229815/1421069
1359.47/1145.96	c Got one! Elapsed wall clock time (in seconds):1145.808
1359.47/1145.96	o 2068
1365.62/1151.32	c cleaning 53422 clauses out of 106854 with flag 11488/1475904
1370.48/1155.71	c cleaning 29707 clauses out of 59431 with flag 25283/1481903
1375.85/1160.45	c cleaning 18351 clauses out of 36723 with flag 41021/1488902
1382.59/1166.33	c cleaning 13178 clauses out of 26373 with flag 58692/1496903
1388.52/1171.55	c cleaning 11085 clauses out of 22194 with flag 78779/1505902
1396.31/1178.32	c cleaning 10547 clauses out of 21109 with flag 101016/1515902
1403.42/1184.58	c cleaning 10771 clauses out of 21562 with flag 125984/1526902
1413.06/1193.08	c cleaning 11390 clauses out of 22791 with flag 153974/1538902
1424.46/1203.20	c cleaning 12188 clauses out of 24401 with flag 183080/1551902
1436.59/1213.90	c cleaning 13100 clauses out of 26213 with flag 214225/1565902
1448.67/1224.59	c cleaning 14047 clauses out of 28116 with flag 248048/1580905
1462.68/1236.90	c cleaning 15023 clauses out of 30067 with flag 283887/1596903
1476.43/1248.94	c cleaning 16014 clauses out of 32044 with flag 322293/1613903
1493.53/1261.89	c cleaning 17006 clauses out of 34030 with flag 363318/1631903
1511.27/1276.61	c cleaning 18005 clauses out of 36024 with flag 405825/1650903
1525.38/1288.84	c cleaning 18996 clauses out of 38019 with flag 450278/1670903
1542.86/1304.32	c cleaning 19998 clauses out of 40023 with flag 499999/1691903
1561.58/1320.85	c cleaning 21003 clauses out of 42026 with flag 551569/1713904
1578.01/1335.03	c cleaning 21996 clauses out of 44021 with flag 605076/1736902
1600.61/1355.15	c cleaning 23006 clauses out of 46025 with flag 660719/1760902
1623.04/1374.98	c cleaning 24003 clauses out of 48020 with flag 718615/1785903
1644.50/1393.78	c cleaning 25003 clauses out of 50017 with flag 778514/1811903
1670.28/1414.12	c cleaning 25999 clauses out of 52013 with flag 841018/1838902
1696.77/1435.13	c cleaning 26997 clauses out of 54014 with flag 906047/1866902
1719.94/1455.32	c cleaning 27998 clauses out of 56017 with flag 972288/1895902
1745.93/1478.16	c cleaning 29004 clauses out of 58020 with flag 1041554/1925903
1768.55/1497.78	c cleaning 29998 clauses out of 60015 with flag 1112506/1956902
1797.97/1523.89	c cleaning 30996 clauses out of 62017 with flag 1185731/1988902
1827.47/1549.63	c cleaning 32004 clauses out of 64022 with flag 1261471/2021903
1865.35/1579.01	c cleaning 32999 clauses out of 66018 with flag 1339448/2055903
1896.32/1605.93	c cleaning 34000 clauses out of 68018 with flag 1419678/2090902
1930.87/1636.28	c cleaning 35002 clauses out of 70019 with flag 1502754/2126903
1960.78/1662.31	c cleaning 36002 clauses out of 72017 with flag 1587974/2163903
1996.74/1694.03	c cleaning 36994 clauses out of 74015 with flag 1675646/2201903
2035.51/1723.56	c cleaning 37998 clauses out of 76020 with flag 1764401/2240902
2071.96/1755.22	c cleaning 39006 clauses out of 78022 with flag 1856622/2280902
2104.73/1783.85	c cleaning 40002 clauses out of 80016 with flag 1949946/2321902
2144.66/1819.27	c cleaning 41000 clauses out of 82016 with flag 2045570/2363904
2191.86/1855.98	c cleaning 41995 clauses out of 84014 with flag 2143438/2406902
2227.28/1884.84	c cleaning 43002 clauses out of 86020 with flag 2241365/2450903
2268.99/1921.44	c cleaning 43999 clauses out of 88018 with flag 2341662/2495903
2310.31/1957.61	c cleaning 45003 clauses out of 90018 with flag 2444414/2541902
2353.40/1990.79	c cleaning 46001 clauses out of 92016 with flag 2549324/2588903
2400.89/2032.38	c cleaning 47000 clauses out of 94015 with flag 2655787/2636903
2441.74/2067.85	c cleaning 47997 clauses out of 96014 with flag 2764504/2685902
2488.90/2102.88	c cleaning 49003 clauses out of 98018 with flag 2875746/2735903
2529.25/2137.70	c cleaning 49999 clauses out of 100015 with flag 2988407/2786903
2574.90/2177.74	c cleaning 51000 clauses out of 102016 with flag 3103638/2838903
2630.26/2219.76	c cleaning 51998 clauses out of 104016 with flag 3221198/2891903
2677.61/2261.12	c cleaning 52999 clauses out of 106018 with flag 3341310/2945903
2732.71/2309.79	c cleaning 54004 clauses out of 108018 with flag 3464546/3000902
2784.96/2349.30	c cleaning 54998 clauses out of 110014 with flag 3589914/3056902
2828.99/2387.57	c cleaning 56000 clauses out of 112016 with flag 3715994/3113902
2887.01/2431.75	c cleaning 56996 clauses out of 114016 with flag 3845413/3171902
2945.92/2482.29	c cleaning 58000 clauses out of 116021 with flag 3976896/3230903
3007.75/2529.70	c cleaning 59002 clauses out of 118021 with flag 4110210/3290903
3065.05/2578.33	c cleaning 59998 clauses out of 120019 with flag 4246206/3351903
3131.55/2628.60	c cleaning 60999 clauses out of 122021 with flag 4384306/3413903
3189.85/2679.92	c cleaning 62004 clauses out of 124021 with flag 4524369/3476902
3251.67/2726.51	c cleaning 63000 clauses out of 126017 with flag 4666606/3540902
3315.61/2783.35	c cleaning 64001 clauses out of 128017 with flag 4811530/3605902
3380.76/2833.13	c cleaning 64998 clauses out of 130017 with flag 4959659/3671903
3437.99/2883.17	c cleaning 66000 clauses out of 132019 with flag 5110148/3738903
3505.49/2935.15	c cleaning 66997 clauses out of 134018 with flag 5265711/3806902
3568.34/2990.46	c cleaning 68004 clauses out of 136021 with flag 5421785/3875902
3600.05/3012.16	c starts		: 8
3600.05/3012.16	c conflicts		: 3904825
3600.05/3012.16	c decisions		: 6169290
3600.05/3012.16	c propagations		: 42138106
3600.05/3012.16	c inspects		: 891657306
3600.05/3012.16	c shortcuts		: 0
3600.05/3012.16	c learnt literals	: 0
3600.05/3012.16	c learnt binary clauses	: 0
3600.05/3012.16	c learnt ternary clauses	: 0
3600.05/3012.16	c learnt constraints	: 3904825
3600.05/3012.16	c ignored constraints	: 0
3600.05/3012.16	c root simplifications	: 0
3600.05/3012.16	c removed literals (reason simplification)	: 1006440
3600.05/3012.16	c reason swapping (by a shorter reason)	: 0
3600.05/3012.16	c Calls to reduceDB	: 114
3600.05/3012.16	c Number of update (reduction) of LBD	: 298380
3600.05/3012.16	c Imported unit clauses	: 0
3600.05/3012.16	c No decision after first conflict	: false
3600.05/3012.16	c number of reductions to clauses (during analyze)	: 0
3600.05/3012.16	c number of learned constraints concerned by reduction	: 0
3600.05/3012.16	c number of learning phase by resolution	: 0
3600.05/3012.16	c number of learning phase by cutting planes	: 0
3600.05/3012.16	c number of rounding to 1 operations	: 0
3600.05/3012.16	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3012.16	c number of reductions of the coefficients by power 2 	: 0
3600.05/3012.16	c number of right shift for reduction by power 2 	: 0
3600.05/3012.16	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3012.16	c number of ending skipping 	: 0
3600.05/3012.16	c number of internal skipping 	: 0
3600.05/3012.16	c number of derivation steps 	: 0
3600.05/3012.16	c number of skipped derivation steps 	: 0
3600.05/3012.16	c number of remaining unassigned 	: 0
3600.05/3012.16	c number of remaining assigned 	: 0
3600.05/3012.16	c number of falsified literals weakened from reason	: 0
3600.05/3012.16	c number of falsified literals weakened from conflict	: 0
3600.05/3012.16	c time for arithmetic operations	: 0
3600.05/3012.16	c minimum degree of deleted constraints	: null
3600.05/3012.16	c maximum degree of deleted constraints	: null
3600.05/3012.16	c number of deleted constraints	: 0
3600.05/3012.16	c speed (assignments/second)	: 13991.807750428588
3600.05/3012.16	c non guided choices	: 0
3600.24/3012.25	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 96940
3600.24/3012.25	s SATISFIABLE
3600.24/3012.25	c Found 7 solution(s)
3600.24/3012.26	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 
3600.24/3012.28	c objective function=2068
3600.24/3012.28	c Total wall clock time (in seconds): 3012.13

Verifier Data 

OK	2068

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: 63837 MiB (49669 MiB free)
  memory of node 1: 64465 MiB (52183 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520627-1751576810/watcher-4520627-1751576810 -o /tmp/evaluation-result-4520627-1751576810/solver-4520627-1751576810 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751573472-84671 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4520627-1751576810 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4520627-1751576810.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 FSIZE limit: 102400000 KiB
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=85188, runsolver pid=85185
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 5.08 4.98 4.73 6/347 85206
/proc/meminfo: memFree=104263044/131382116 swapFree=33009904/33010684
[pid=85188] ppid=85185 vsize=18930384 memory=50148 CPUtime=0.12 cores=4,6
/proc/85188/stat : 85188 (java) S 85185 85188 84660 0 -1 4194304 6206 0 0 0 10 2 0 0 20 0 18 0 73360418 19384713216 12537 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
/proc/85188/statm: 4732596 12537 5337 1 0 547329 0
[pid=85188/tid=85190] ppid=85185 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=4,6
/proc/85188/task/85190/stat : 85190 (java) R 85185 85188 84660 0 -1 4194368 4989 0 0 0 5 1 0 0 20 0 18 0 73360420 19384713216 12537 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85199] ppid=85185 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/85188/task/85199/stat : 85199 (Finalizer) S 85185 85188 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73360422 19384713216 12537 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85206] ppid=85185 vsize=18930384 memory=56295059375534 CPUtime=0 cores=4,6
/proc/85188/task/85206/stat : 85206 (Common-Cleaner) S 85185 85188 84660 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 73360423 19384713216 12537 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50148 KiB

[startup+0.206395 s]*
/proc/loadavg: 5.08 4.98 4.73 8/347 85206
/proc/meminfo: memFree=104252584/131382116 swapFree=33009904/33010684
[pid=85188] ppid=85185 vsize=18930384 memory=61092 CPUtime=0.33 cores=4,6
/proc/85188/stat : 85188 (java) S 85185 85188 84660 0 -1 4194304 6784 0 0 0 30 3 0 0 20 0 18 0 73360418 19384713216 15273 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
/proc/85188/statm: 4732596 15273 5433 1 0 547805 0
[pid=85188/tid=85190] ppid=85185 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=4,6
/proc/85188/task/85190/stat : 85190 (java) R 85185 85188 84660 0 -1 4194368 5286 0 0 0 15 1 0 0 20 0 18 0 73360420 19384713216 15273 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85199] ppid=85185 vsize=18930384 memory=2622 CPUtime=0 cores=4,6
/proc/85188/task/85199/stat : 85199 (Finalizer) S 85185 85188 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73360422 19384713216 15273 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85206] ppid=85185 vsize=18930384 memory=55195547730935 CPUtime=0 cores=4,6
/proc/85188/task/85206/stat : 85206 (Common-Cleaner) S 85185 85188 84660 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 73360423 19384713216 15273 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 61092 KiB

[startup+0.306196 s]*
/proc/loadavg: 5.08 4.98 4.73 8/347 85206
/proc/meminfo: memFree=104249560/131382116 swapFree=33009904/33010684
[pid=85188] ppid=85185 vsize=18930384 memory=70948 CPUtime=0.52 cores=4,6
/proc/85188/stat : 85188 (java) S 85185 85188 84660 0 -1 4194304 8311 0 0 0 48 4 0 0 20 0 18 0 73360418 19384713216 17737 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
/proc/85188/statm: 4732596 17737 5433 1 0 548745 0
[pid=85188/tid=85190] ppid=85185 vsize=18930384 memory=-6000919485541345127 CPUtime=0.24 cores=4,6
/proc/85188/task/85190/stat : 85190 (java) R 85185 85188 84660 0 -1 4194368 5327 0 0 0 22 2 0 0 20 0 18 0 73360420 19384713216 17737 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85199] ppid=85185 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/85188/task/85199/stat : 85199 (Finalizer) S 85185 85188 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73360422 19384713216 17737 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85206] ppid=85185 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/85188/task/85206/stat : 85206 (Common-Cleaner) S 85185 85188 84660 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 73360423 19384713216 17737 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 70948 KiB

[startup+0.700201 s]
/proc/loadavg: 5.08 4.98 4.73 7/347 85206
/proc/meminfo: memFree=104011496/131382116 swapFree=33009904/33010684
[pid=85188] ppid=85185 vsize=18996948 memory=108548 CPUtime=1.28 cores=4,6
/proc/85188/stat : 85188 (java) S 85185 85188 84660 0 -1 4194304 15404 0 0 0 121 7 0 0 20 0 19 0 73360418 19452874752 27137 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
/proc/85188/statm: 4749237 27137 5497 1 0 554193 0
[pid=85188/tid=85190] ppid=85185 vsize=18996948 memory=18560 CPUtime=0.5 cores=4,6
/proc/85188/task/85190/stat : 85190 (java) R 85185 85188 84660 0 -1 4194368 5481 0 0 0 48 2 0 0 20 0 19 0 73360420 19452874752 27137 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85199] ppid=85185 vsize=18996948 memory=11008 CPUtime=0 cores=4,6
/proc/85188/task/85199/stat : 85199 (Finalizer) S 85185 85188 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 73360422 19452874752 27137 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85206] ppid=85185 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/85188/task/85206/stat : 85206 (Common-Cleaner) S 85185 85188 84660 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 73360423 19452874752 27137 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 108548 KiB

[startup+1.50025 s]
/proc/loadavg: 5.08 4.98 4.73 8/348 85207
/proc/meminfo: memFree=103434616/131382116 swapFree=33009904/33010684
[pid=85188] ppid=85185 vsize=19063512 memory=188832 CPUtime=2.85 cores=4,6
/proc/85188/stat : 85188 (java) S 85185 85188 84660 0 -1 4194304 21885 0 0 0 274 11 0 0 20 0 20 0 73360418 19521036288 47208 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
/proc/85188/statm: 4765878 47208 5529 1 0 554533 0
[pid=85188/tid=85190] ppid=85185 vsize=19063512 memory=3328 CPUtime=1.19 cores=4,6
/proc/85188/task/85190/stat : 85190 (java) R 85185 85188 84660 0 -1 4194368 5904 0 0 0 114 5 0 0 20 0 20 0 73360420 19521036288 47208 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85199] ppid=85185 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/85188/task/85199/stat : 85199 (Finalizer) S 85185 85188 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73360422 19521036288 47208 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85206] ppid=85185 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/85188/task/85206/stat : 85206 (Common-Cleaner) S 85185 85188 84660 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 73360423 19521036288 47208 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85207] ppid=85185 vsize=19063512 memory=14588 CPUtime=0 cores=4,6
/proc/85188/task/85207/stat : 85207 (Timer-0) S 85185 85188 84660 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73360472 19521036288 47208 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 188832 KiB

[startup+3.106 s]
/proc/loadavg: 5.16 5.00 4.74 7/350 85209
/proc/meminfo: memFree=102584932/131382116 swapFree=33009904/33010684
[pid=85188] ppid=85185 vsize=19063512 memory=843588 CPUtime=5.72 cores=4,6
/proc/85188/stat : 85188 (java) S 85185 85188 84660 0 -1 4194304 25444 0 0 0 543 29 0 0 20 0 20 0 73360418 19521036288 210897 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
/proc/85188/statm: 4765878 210897 5529 1 0 1682547 0
[pid=85188/tid=85190] ppid=85185 vsize=19063512 memory=14588 CPUtime=2.48 cores=4,6
/proc/85188/task/85190/stat : 85190 (java) R 85185 85188 84660 0 -1 4194368 6587 0 0 0 230 18 0 0 20 0 20 0 73360420 19521036288 210897 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85199] ppid=85185 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/85188/task/85199/stat : 85199 (Finalizer) S 85185 85188 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73360422 19521036288 210897 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85206] ppid=85185 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/85188/task/85206/stat : 85206 (Common-Cleaner) S 85185 85188 84660 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 73360423 19521036288 210897 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85207] ppid=85185 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/85188/task/85207/stat : 85207 (Timer-0) S 85185 85188 84660 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73360472 19521036288 210897 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
Current children cumulated CPU time: 5.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 843588 KiB

[startup+6.30044 s]
/proc/loadavg: 5.16 5.00 4.74 6/350 85209
/proc/meminfo: memFree=100710652/131382116 swapFree=33009904/33010684
[pid=85188] ppid=85185 vsize=19063512 memory=1936388 CPUtime=9.74 cores=4,6
/proc/85188/stat : 85188 (java) S 85185 85188 84660 0 -1 4194304 27927 0 0 0 916 58 0 0 20 0 20 0 73360418 19521036288 484097 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
/proc/85188/statm: 4765878 484097 5529 1 0 2198541 0
[pid=85188/tid=85190] ppid=85185 vsize=19063512 memory=0 CPUtime=5.13 cores=4,6
/proc/85188/task/85190/stat : 85190 (java) R 85185 85188 84660 0 -1 4194368 7578 0 0 0 475 38 0 0 20 0 20 0 73360420 19521036288 484097 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85199] ppid=85185 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/85188/task/85199/stat : 85199 (Finalizer) S 85185 85188 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73360422 19521036288 484097 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85206] ppid=85185 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/85188/task/85206/stat : 85206 (Common-Cleaner) S 85185 85188 84660 0 -1 4194368 39 0 0 0 0 0 0 0 20 0 20 0 73360423 19521036288 484097 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85207] ppid=85185 vsize=19063512 memory=197212 CPUtime=0 cores=4,6
/proc/85188/task/85207/stat : 85207 (Timer-0) S 85185 85188 84660 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73360472 19521036288 484097 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
Current children cumulated CPU time: 9.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1936388 KiB

[startup+12.7004 s]
/proc/loadavg: 5.06 4.98 4.74 6/350 85210
/proc/meminfo: memFree=96856164/131382116 swapFree=33009904/33010684
[pid=85188] ppid=85185 vsize=19063512 memory=4619716 CPUtime=17.32 cores=4,6
/proc/85188/stat : 85188 (java) S 85185 85188 84660 0 -1 4194304 31237 0 0 0 1609 123 0 0 20 0 20 0 73360418 19521036288 1154929 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
/proc/85188/statm: 4765878 1154929 5529 1 0 2879527 0
[pid=85188/tid=85190] ppid=85185 vsize=19063512 memory=197212 CPUtime=10.44 cores=4,6
/proc/85188/task/85190/stat : 85190 (java) R 85185 85188 84660 0 -1 4194368 8749 0 0 0 958 86 0 0 20 0 20 0 73360420 19521036288 1154929 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85199] ppid=85185 vsize=19063512 memory=3996988 CPUtime=0 cores=4,6
/proc/85188/task/85199/stat : 85199 (Finalizer) S 85185 85188 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73360422 19521036288 1154929 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85206] ppid=85185 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/85188/task/85206/stat : 85206 (Common-Cleaner) S 85185 85188 84660 0 -1 4194368 39 0 0 0 0 0 0 0 20 0 20 0 73360423 19521036288 1154929 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85207] ppid=85185 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/85188/task/85207/stat : 85207 (Timer-0) S 85185 85188 84660 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73360472 19521036288 1154929 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
Current children cumulated CPU time: 17.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4619716 KiB

[startup+25.5003 s]
/proc/loadavg: 4.96 4.96 4.73 6/350 85210
/proc/meminfo: memFree=91681004/131382116 swapFree=33009904/33010684
[pid=85188] ppid=85185 vsize=19063512 memory=7108576 CPUtime=31.73 cores=4,6
/proc/85188/stat : 85188 (java) S 85185 85188 84660 0 -1 4194304 33673 0 0 0 2974 199 0 0 20 0 20 0 73360418 19521036288 1777144 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
/proc/85188/statm: 4765878 1777144 5529 1 0 3362066 0
[pid=85188/tid=85190] ppid=85185 vsize=19063512 memory=0 CPUtime=21.3 cores=4,6
/proc/85188/task/85190/stat : 85190 (java) R 85185 85188 84660 0 -1 4194368 9660 0 0 0 1983 147 0 0 20 0 20 0 73360420 19521036288 1777144 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85199] ppid=85185 vsize=19063512 memory=14588 CPUtime=0 cores=4,6
/proc/85188/task/85199/stat : 85199 (Finalizer) S 85185 85188 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73360422 19521036288 1777144 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85206] ppid=85185 vsize=19063512 memory=7010244 CPUtime=0 cores=4,6
/proc/85188/task/85206/stat : 85206 (Common-Cleaner) S 85185 85188 84660 0 -1 4194368 39 0 0 0 0 0 0 0 20 0 20 0 73360423 19521036288 1777144 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85207] ppid=85185 vsize=19063512 memory=6064172 CPUtime=0 cores=4,6
/proc/85188/task/85207/stat : 85207 (Timer-0) S 85185 85188 84660 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73360472 19521036288 1777144 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
Current children cumulated CPU time: 31.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7108576 KiB

[startup+51.1152 s]
/proc/loadavg: 4.83 4.93 4.73 6/350 85210
/proc/meminfo: memFree=84711772/131382116 swapFree=33009904/33010684
[pid=85188] ppid=85185 vsize=19063512 memory=10421336 CPUtime=60.96 cores=4,6
/proc/85188/stat : 85188 (java) S 85185 85188 84660 0 -1 4194304 36663 0 0 0 5773 323 0 0 20 0 20 0 73360418 19521036288 2605334 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
/proc/85188/statm: 4765878 2605334 5561 1 0 3898914 0
[pid=85188/tid=85190] ppid=85185 vsize=19063512 memory=7798188 CPUtime=42.49 cores=4,6
/proc/85188/task/85190/stat : 85190 (java) S 85185 85188 84660 0 -1 4194368 10686 0 0 0 4008 241 0 0 20 0 20 0 73360420 19521036288 2605334 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85199] ppid=85185 vsize=19063512 memory=26356 CPUtime=0 cores=4,6
/proc/85188/task/85199/stat : 85199 (Finalizer) S 85185 85188 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73360422 19521036288 2605334 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85206] ppid=85185 vsize=19063512 memory=2308 CPUtime=0 cores=4,6
/proc/85188/task/85206/stat : 85206 (Common-Cleaner) S 85185 85188 84660 0 -1 4194368 39 0 0 0 0 0 0 0 20 0 20 0 73360423 19521036288 2605334 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0

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

Current children cumulated CPU time: 3192.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16278660 KiB

[startup+2742.3 s]
/proc/loadavg: 4.71 5.15 5.25 6/334 85499
/proc/meminfo: memFree=35605292/131382116 swapFree=33005528/33010684
[pid=85188] ppid=85185 vsize=19063512 memory=16278788 CPUtime=3269.58 cores=4,6
/proc/85188/stat : 85188 (java) S 85185 85188 84660 0 -1 4194304 810402 0 0 0 321034 5924 0 0 20 0 20 0 73360418 19521036288 4069697 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
/proc/85188/statm: 4765878 4069697 5561 1 0 4084358 0
[pid=85188/tid=85190] ppid=85185 vsize=19063512 memory=16278660 CPUtime=2270.13 cores=4,6
/proc/85188/task/85190/stat : 85190 (java) R 85185 85188 84660 0 -1 4194368 208158 0 0 0 221605 5408 0 0 20 0 20 0 73360420 19521036288 4069697 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85199] ppid=85185 vsize=19063512 memory=16278660 CPUtime=0 cores=4,6
/proc/85188/task/85199/stat : 85199 (Finalizer) S 85185 85188 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73360422 19521036288 4069697 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85206] ppid=85185 vsize=19063512 memory=16278788 CPUtime=0 cores=4,6
/proc/85188/task/85206/stat : 85206 (Common-Cleaner) S 85185 85188 84660 0 -1 4194368 1934 0 0 0 0 0 0 0 20 0 20 0 73360423 19521036288 4069697 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85207] ppid=85185 vsize=19063512 memory=14588 CPUtime=0 cores=4,6
/proc/85188/task/85207/stat : 85207 (Timer-0) S 85185 85188 84660 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73360472 19521036288 4069697 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
Current children cumulated CPU time: 3269.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16278788 KiB

[startup+2802.3 s]
/proc/loadavg: 4.75 5.08 5.22 6/333 85501
/proc/meminfo: memFree=32113736/131382116 swapFree=33005528/33010684
[pid=85188] ppid=85185 vsize=19063512 memory=16278788 CPUtime=3342.25 cores=4,6
/proc/85188/stat : 85188 (java) S 85185 85188 84660 0 -1 4194304 845293 0 0 0 328167 6058 0 0 20 0 20 0 73360418 19521036288 4069697 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
/proc/85188/statm: 4765878 4069697 5561 1 0 4084358 0
[pid=85188/tid=85190] ppid=85185 vsize=19063512 memory=2888 CPUtime=2320.46 cores=4,6
/proc/85188/task/85190/stat : 85190 (java) R 85185 85188 84660 0 -1 4194368 217874 0 0 0 226514 5532 0 0 20 0 20 0 73360420 19521036288 4069697 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85199] ppid=85185 vsize=19063512 memory=16278788 CPUtime=0 cores=4,6
/proc/85188/task/85199/stat : 85199 (Finalizer) S 85185 85188 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73360422 19521036288 4069697 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85206] ppid=85185 vsize=19063512 memory=14588 CPUtime=0 cores=4,6
/proc/85188/task/85206/stat : 85206 (Common-Cleaner) S 85185 85188 84660 0 -1 4194368 1990 0 0 0 0 0 0 0 20 0 20 0 73360423 19521036288 4069697 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85207] ppid=85185 vsize=19063512 memory=16278788 CPUtime=0 cores=4,6
/proc/85188/task/85207/stat : 85207 (Timer-0) S 85185 85188 84660 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73360472 19521036288 4069697 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
Current children cumulated CPU time: 3342.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16278788 KiB

[startup+2862.3 s]
/proc/loadavg: 4.41 4.93 5.16 3/332 85503
/proc/meminfo: memFree=28839952/131382116 swapFree=33005528/33010684
[pid=85188] ppid=85185 vsize=19063512 memory=16278788 CPUtime=3414.23 cores=4,6
/proc/85188/stat : 85188 (java) S 85185 85188 84660 0 -1 4194304 852985 0 0 0 335237 6186 0 0 20 0 20 0 73360418 19521036288 4069697 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
/proc/85188/statm: 4765878 4069697 5561 1 0 4084384 0
[pid=85188/tid=85190] ppid=85185 vsize=19063512 memory=16278788 CPUtime=2370.07 cores=4,6
/proc/85188/task/85190/stat : 85190 (java) R 85185 85188 84660 0 -1 4194368 220814 0 0 0 231353 5654 0 0 20 0 20 0 73360420 19521036288 4069697 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85199] ppid=85185 vsize=19063512 memory=16278788 CPUtime=0 cores=4,6
/proc/85188/task/85199/stat : 85199 (Finalizer) S 85185 85188 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73360422 19521036288 4069697 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85206] ppid=85185 vsize=19063512 memory=14588 CPUtime=0 cores=4,6
/proc/85188/task/85206/stat : 85206 (Common-Cleaner) S 85185 85188 84660 0 -1 4194368 2043 0 0 0 0 0 0 0 20 0 20 0 73360423 19521036288 4069697 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85207] ppid=85185 vsize=19063512 memory=16278788 CPUtime=0 cores=4,6
/proc/85188/task/85207/stat : 85207 (Timer-0) S 85185 85188 84660 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73360472 19521036288 4069697 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
Current children cumulated CPU time: 3414.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16278788 KiB

[startup+2922.3 s]
/proc/loadavg: 4.72 4.92 5.14 4/333 85510
/proc/meminfo: memFree=26376736/131382116 swapFree=33005528/33010684
[pid=85188] ppid=85185 vsize=19063512 memory=16278916 CPUtime=3490.56 cores=4,6
/proc/85188/stat : 85188 (java) S 85185 85188 84660 0 -1 4194304 891496 0 0 0 342740 6316 0 0 20 0 20 0 73360418 19521036288 4069729 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
/proc/85188/statm: 4765878 4069729 5561 1 0 4084385 0
[pid=85188/tid=85190] ppid=85185 vsize=19063512 memory=16278788 CPUtime=2419.69 cores=4,6
/proc/85188/task/85190/stat : 85190 (java) S 85185 85188 84660 0 -1 4194368 224347 0 0 0 236196 5773 0 0 20 0 20 0 73360420 19521036288 4069729 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85199] ppid=85185 vsize=19063512 memory=16278788 CPUtime=0 cores=4,6
/proc/85188/task/85199/stat : 85199 (Finalizer) S 85185 85188 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73360422 19521036288 4069729 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85206] ppid=85185 vsize=19063512 memory=16278916 CPUtime=0 cores=4,6
/proc/85188/task/85206/stat : 85206 (Common-Cleaner) S 85185 85188 84660 0 -1 4194368 2122 0 0 0 0 0 0 0 20 0 20 0 73360423 19521036288 4069729 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85207] ppid=85185 vsize=19063512 memory=14588 CPUtime=0 cores=4,6
/proc/85188/task/85207/stat : 85207 (Timer-0) S 85185 85188 84660 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73360472 19521036288 4069729 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
Current children cumulated CPU time: 3490.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16278916 KiB

[startup+2982.3 s]
/proc/loadavg: 4.48 4.83 5.09 5/334 85513
/proc/meminfo: memFree=22789016/131382116 swapFree=33005528/33010684
[pid=85188] ppid=85185 vsize=19063512 memory=16278916 CPUtime=3559.25 cores=4,6
/proc/85188/stat : 85188 (java) S 85185 85188 84660 0 -1 4194304 897803 0 0 0 349475 6450 0 0 20 0 20 0 73360418 19521036288 4069729 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
/proc/85188/statm: 4765878 4069729 5561 1 0 4084385 0
[pid=85188/tid=85190] ppid=85185 vsize=19063512 memory=16278916 CPUtime=2469.39 cores=4,6
/proc/85188/task/85190/stat : 85190 (java) R 85185 85188 84660 0 -1 4194368 227824 0 0 0 241036 5903 0 0 20 0 20 0 73360420 19521036288 4069729 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85199] ppid=85185 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/85188/task/85199/stat : 85199 (Finalizer) S 85185 85188 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73360422 19521036288 4069729 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85206] ppid=85185 vsize=19063512 memory=16278916 CPUtime=0 cores=4,6
/proc/85188/task/85206/stat : 85206 (Common-Cleaner) S 85185 85188 84660 0 -1 4194368 2123 0 0 0 0 0 0 0 20 0 20 0 73360423 19521036288 4069729 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85207] ppid=85185 vsize=19063512 memory=-6000919485541345127 CPUtime=0 cores=4,6
/proc/85188/task/85207/stat : 85207 (Timer-0) S 85185 85188 84660 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73360472 19521036288 4069729 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
Current children cumulated CPU time: 3559.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16278916 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3012.11 s]
/proc/loadavg: 4.90 4.89 5.10 4/333 85513
/proc/meminfo: memFree=20909020/131382116 swapFree=33005528/33010684
[pid=85188] ppid=85185 vsize=19063512 memory=16278916 CPUtime=3600.05 cores=4,6
/proc/85188/stat : 85188 (java) S 85185 85188 84660 0 -1 4194304 932433 0 0 0 353483 6522 0 0 20 0 20 0 73360418 19521036288 4069729 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
/proc/85188/statm: 4765878 4069729 5561 1 0 4084385 0
[pid=85188/tid=85190] ppid=85185 vsize=19063512 memory=16278916 CPUtime=2494.79 cores=4,6
/proc/85188/task/85190/stat : 85190 (java) R 85185 85188 84660 0 -1 4194368 235453 0 0 0 243513 5966 0 0 20 0 20 0 73360420 19521036288 4069729 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85199] ppid=85185 vsize=19063512 memory=16278916 CPUtime=0 cores=4,6
/proc/85188/task/85199/stat : 85199 (Finalizer) S 85185 85188 84660 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73360422 19521036288 4069729 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85206] ppid=85185 vsize=19063512 memory=16278916 CPUtime=0 cores=4,6
/proc/85188/task/85206/stat : 85206 (Common-Cleaner) S 85185 85188 84660 0 -1 4194368 2169 0 0 0 0 0 0 0 20 0 20 0 73360423 19521036288 4069729 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
[pid=85188/tid=85207] ppid=85185 vsize=19063512 memory=4352 CPUtime=0 cores=4,6
/proc/85188/task/85207/stat : 85207 (Timer-0) S 85185 85188 84660 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73360472 19521036288 4069729 18446744073709551615 94151328178176 94151328181872 140729144559456 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94151328189688 94151328190480 94151330779136 140729144564016 140729144564198 140729144564198 140729144569800 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16278916 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3535.24 s, system=65.8646 s

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

[startup+3012.8 s]
/proc/loadavg: 4.90 4.89 5.10 4/315 85516
/proc/meminfo: memFree=23680424/131382116 swapFree=33005528/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3013.6 s]
/proc/loadavg: 4.90 4.89 5.10 3/315 85516
/proc/meminfo: memFree=37125012/131382116 swapFree=33005528/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3014 s]*
/proc/loadavg: 4.83 4.88 5.10 2/315 85516
/proc/meminfo: memFree=37092516/131382116 swapFree=33005528/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3014.11 s]
/proc/loadavg: 4.83 4.88 5.10 2/315 85516
/proc/meminfo: memFree=37092516/131382116 swapFree=33005528/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3023.07
CPU time (s): 3601.11
CPU user time (s): 3535.24
CPU system time (s): 65.8646
CPU usage (%): 119.121
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 16279812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3535.24
system time used= 65.8646
maximum resident set size= 16279940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 934068
page faults= 0
swaps= 0
block input operations= 40
block output operations= 139386080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 268232
involuntary context switches= 67332


# summary of solver processes directly reported to runsolver:
#   pid: 85188
#   total CPU time (s): 3601.11
#   total CPU user time (s): 3535.24
#   total CPU system time (s): 65.8646

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5002 second user time and 28.3991 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-07-03 23:06:50
IDJOB=4520627
IDBENCH=178111
IDSOLVER=3364
FILE ID=nodeC010/4520627-1751576810
RUNJOBID= nodeC010-1751573472-84671
SLURM_JOB_ID= 9598796
Free space on /tmp= 429996 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_380.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4520627-1751576810/watcher-4520627-1751576810 -o /tmp/evaluation-result-4520627-1751576810/solver-4520627-1751576810 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751573472-84671 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4520627-1751576810 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4520627-1751576810.opb

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

MD5SUM BENCH= dc7892cb3dbd530fdb83331c968a6da2
RANDOM SEED=1937579073

nodeC010 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	: 0xb00001f
cpu MHz		: 3591.446
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3603.765
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.182
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.233
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.138
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3661.538
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.679
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.330
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        104297776 kB
MemAvailable:   116405560 kB
Buffers:            1256 kB
Cached:         12876240 kB
SwapCached:           16 kB
Active:         13891944 kB
Inactive:       12480860 kB
Active(anon):   13481952 kB
Inactive(anon):    31368 kB
Active(file):     409992 kB
Inactive(file): 12449492 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            992728 kB
Writeback:             0 kB
AnonPages:      13494112 kB
Mapped:           124220 kB
Shmem:             17924 kB
KReclaimable:     175852 kB
Slab:             295992 kB
SReclaimable:     175852 kB
SUnreclaim:       120140 kB
KernelStack:        5360 kB
PageTables:        30036 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   21017104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150664 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  13205504 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 429992 MiB
End job on nodeC010 at 2025-07-03 23:57:13