Trace number 4524713

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06MSAT (TO) 3600.35 3567.08

General information on the benchmark

NamePB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-75-70--soft-0-100-0.wbo
MD5SUM9b60ab1c395a8a4ea9e1c58e7ae4b4ea
Bench CategorySOFT-LIN (WBO, only soft constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.674917
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5250
Total number of constraints145
Number of soft constraints145
Number of constraints which are clauses75
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint70
Maximum length of a constraint75
Top cost 7458
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 7457
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 76
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.10	c Free memory 		2104792832
0.00/0.10	c Max memory 		16282288128
0.00/0.10	c Total memory 		2113929216
0.00/0.10	c Number of processors 	2
0.11/0.14	c Pseudo Boolean Optimization by upper bound
0.11/0.14	c --- Begin Solver configuration ---
0.11/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.14	c Learn all clauses as in MiniSAT
0.11/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.14	c Expensive reason simplification
0.11/0.14	c Glucose 2.1 dynamic restart strategy
0.11/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.14	c timeout=2147483s
0.11/0.14	c DB Simplification allowed=false
0.11/0.14	c Listener: none
0.11/0.14	c --- End Solver configuration ---
0.11/0.14	c solving HOME/instance-4524713-1751616933.wbo
0.11/0.14	c reading problem ... 
0.30/0.22	c ... done. Wall clock time 0.072s.
0.30/0.22	c declared #vars     5250
0.30/0.22	c internal #vars     5395
0.30/0.22	c #constraints  146
0.30/0.22	c constraints type 
0.30/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 70
0.30/0.22	c org.sat4j.specs.Constr$1 => 1
0.30/0.22	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 75
0.30/0.22	c 146 constraints processed.
0.30/0.23	c objective function length is 145 literals
0.49/0.39	c SATISFIABLE
0.49/0.39	c OPTIMIZING...
0.49/0.39	c Got one! Elapsed wall clock time (in seconds):0.254
0.49/0.39	o 46
0.87/0.53	c Got one! Elapsed wall clock time (in seconds):0.388
0.87/0.53	o 38
1.44/0.85	c Got one! Elapsed wall clock time (in seconds):0.706
1.44/0.85	o 13
2.46/1.60	c cleaning 3016 clauses out of 6046 with flag 18787/6046
3.91/2.94	c cleaning 4502 clauses out of 9026 with flag 57367/12042
4.21/3.27	c Got one! Elapsed wall clock time (in seconds):3.135
4.21/3.27	o 9
4.90/3.88	c cleaning 5158 clauses out of 10335 with flag 27769/17853
6.35/5.29	c cleaning 5578 clauses out of 11178 with flag 78449/23854
8.45/7.16	c cleaning 6291 clauses out of 12600 with flag 135854/30854
11.02/9.64	c cleaning 7141 clauses out of 14309 with flag 196261/38854
13.67/12.29	c cleaning 8066 clauses out of 16166 with flag 264754/47852
17.97/16.32	c cleaning 9041 clauses out of 18104 with flag 351155/57856
22.26/20.55	c cleaning 10021 clauses out of 20062 with flag 446739/68855
27.73/25.95	c cleaning 11009 clauses out of 22040 with flag 543118/80854
33.87/31.82	c cleaning 12000 clauses out of 24029 with flag 656926/93852
42.27/40.15	c cleaning 13002 clauses out of 26032 with flag 783065/107855
50.56/48.39	c cleaning 14001 clauses out of 28027 with flag 916873/122852
59.51/57.07	c cleaning 15003 clauses out of 30026 with flag 1055021/138852
69.47/66.49	c cleaning 15998 clauses out of 32023 with flag 1223801/155852
81.35/78.26	c cleaning 17005 clauses out of 34027 with flag 1415742/173854
95.43/92.15	c cleaning 17999 clauses out of 36022 with flag 1606652/192854
109.76/106.22	c cleaning 18999 clauses out of 38024 with flag 1813312/212855
124.51/120.88	c cleaning 20001 clauses out of 40022 with flag 2018794/233852
146.68/142.33	c cleaning 21002 clauses out of 42021 with flag 2232294/255852
165.61/161.10	c cleaning 21998 clauses out of 44019 with flag 2465404/278852
184.19/179.44	c cleaning 22998 clauses out of 46022 with flag 2729914/302853
207.72/202.83	c cleaning 24003 clauses out of 48024 with flag 2991970/327853
231.32/226.18	c cleaning 24988 clauses out of 50020 with flag 3289228/353852
254.97/249.14	c cleaning 26007 clauses out of 52035 with flag 3554487/380855
283.48/277.40	c cleaning 26999 clauses out of 54026 with flag 3894444/408853
313.57/307.11	c cleaning 28003 clauses out of 56027 with flag 4184734/437853
342.46/335.93	c cleaning 29002 clauses out of 58024 with flag 4480011/467853
374.96/368.03	c cleaning 29997 clauses out of 60021 with flag 4816438/498852
414.05/406.07	c cleaning 30999 clauses out of 62026 with flag 5133204/530854
455.03/446.80	c cleaning 32004 clauses out of 64026 with flag 5460137/563853
493.27/484.85	c cleaning 33001 clauses out of 66022 with flag 5794712/597853
532.79/524.17	c cleaning 33997 clauses out of 68020 with flag 6137139/632852
571.42/562.51	c cleaning 35006 clauses out of 70025 with flag 6475975/668854
606.70/597.46	c cleaning 35994 clauses out of 72018 with flag 6848311/705853
655.33/645.84	c cleaning 36998 clauses out of 74025 with flag 7218996/743854
703.12/692.40	c cleaning 37996 clauses out of 76025 with flag 7596042/782852
753.79/742.66	c cleaning 39000 clauses out of 78030 with flag 7952814/822853
811.36/799.91	c cleaning 40006 clauses out of 80032 with flag 8339566/863855
866.93/855.25	c cleaning 41001 clauses out of 82024 with flag 8746829/905853
928.21/916.01	c cleaning 42000 clauses out of 84025 with flag 9155963/948855
985.03/972.60	c cleaning 43003 clauses out of 86025 with flag 9586448/992855
1048.65/1035.85	c cleaning 43997 clauses out of 88019 with flag 10035056/1037852
1116.45/1103.45	c cleaning 44999 clauses out of 90022 with flag 10423020/1083852
1172.62/1158.37	c cleaning 45997 clauses out of 92023 with flag 10868707/1130852
1246.25/1231.73	c cleaning 47004 clauses out of 94029 with flag 11303770/1178855
1315.65/1300.75	c cleaning 48004 clauses out of 96026 with flag 11744022/1227856
1383.42/1368.10	c cleaning 48999 clauses out of 98018 with flag 12253987/1277852
1460.49/1444.82	c cleaning 50004 clauses out of 100020 with flag 12728566/1328853
1538.21/1522.17	c cleaning 50995 clauses out of 102015 with flag 13250533/1380852
1619.97/1603.57	c cleaning 51996 clauses out of 104021 with flag 13750080/1433853
1707.32/1690.53	c cleaning 53002 clauses out of 106024 with flag 14324556/1487852
1792.23/1775.04	c cleaning 53998 clauses out of 108022 with flag 14820865/1542852
1872.52/1854.91	c cleaning 54999 clauses out of 110024 with flag 15295748/1598852
1957.04/1939.38	c cleaning 56006 clauses out of 112025 with flag 15818677/1655852
1963.18/1945.36	c Got one! Elapsed wall clock time (in seconds):1945.223
1963.18/1945.36	o 7
1963.28/1945.44	c Got one! Elapsed wall clock time (in seconds):1945.297
1963.28/1945.44	o 3
1963.28/1945.46	c Got one! Elapsed wall clock time (in seconds):1945.325
1963.28/1945.46	o 1
1964.48/1946.65	c cleaning 34720 clauses out of 69480 with flag 30857/1669313
1965.58/1947.70	c cleaning 20357 clauses out of 40758 with flag 67281/1675311
1966.58/1948.74	c cleaning 13677 clauses out of 27401 with flag 112841/1682311
1967.78/1949.96	c cleaning 10841 clauses out of 21726 with flag 164896/1690313
1969.99/1951.81	c cleaning 9919 clauses out of 19884 with flag 229668/1699312
1972.08/1953.95	c cleaning 9969 clauses out of 19964 with flag 299828/1709311
1974.19/1956.09	c cleaning 10489 clauses out of 20996 with flag 373982/1720312
1976.78/1958.67	c cleaning 11245 clauses out of 22506 with flag 460313/1732311
1980.18/1962.07	c cleaning 12118 clauses out of 24261 with flag 554806/1745311
1983.41/1965.07	c cleaning 13058 clauses out of 26143 with flag 646367/1759311
1989.09/1970.74	c cleaning 14032 clauses out of 28085 with flag 741914/1774311
1995.97/1977.65	c cleaning 15014 clauses out of 30053 with flag 856404/1790311
2003.84/1985.20	c cleaning 16010 clauses out of 32039 with flag 974990/1807311
2012.02/1993.41	c cleaning 17001 clauses out of 34029 with flag 1100578/1825311
2021.71/2003.13	c cleaning 18005 clauses out of 36030 with flag 1231556/1844313
2034.59/2015.77	c cleaning 19001 clauses out of 38025 with flag 1370486/1864313
2048.67/2029.80	c cleaning 20000 clauses out of 40024 with flag 1512152/1885313
2060.88/2041.78	c cleaning 20990 clauses out of 42022 with flag 1673186/1907311
2073.66/2054.51	c cleaning 21991 clauses out of 44032 with flag 1831451/1930311
2085.62/2066.28	c cleaning 23005 clauses out of 46043 with flag 2004480/1954313
2098.60/2079.21	c cleaning 23996 clauses out of 48038 with flag 2195863/1979313
2105.08/2085.40	c cleaning 25008 clauses out of 50044 with flag 2366524/2005315
2121.65/2102.08	c cleaning 25997 clauses out of 52032 with flag 2541247/2032311
2139.15/2119.33	c cleaning 27003 clauses out of 54037 with flag 2742699/2060313
2157.37/2137.23	c cleaning 28005 clauses out of 56033 with flag 2941846/2089312
2176.83/2156.76	c cleaning 29003 clauses out of 58027 with flag 3135457/2119311
2199.02/2178.61	c cleaning 29999 clauses out of 60025 with flag 3332540/2150312
2214.13/2193.43	c cleaning 30993 clauses out of 62027 with flag 3576000/2182313
2232.90/2212.20	c cleaning 31996 clauses out of 64033 with flag 3867806/2215312
2257.15/2236.22	c cleaning 32997 clauses out of 66037 with flag 4158783/2249312
2285.06/2263.89	c cleaning 33996 clauses out of 68039 with flag 4457329/2284311
2312.45/2290.99	c cleaning 34996 clauses out of 70043 with flag 4782289/2320311
2345.80/2324.10	c cleaning 35997 clauses out of 72047 with flag 5121330/2357311
2378.24/2356.25	c cleaning 37007 clauses out of 74050 with flag 5464910/2395311
2397.14/2374.84	c cleaning 37996 clauses out of 76044 with flag 5719816/2434312
2424.11/2401.53	c cleaning 39001 clauses out of 78047 with flag 6016209/2474311
2459.83/2436.90	c cleaning 39996 clauses out of 80046 with flag 6302219/2515311
2492.12/2468.99	c cleaning 41006 clauses out of 82050 with flag 6599001/2557311
2526.40/2502.99	c cleaning 42004 clauses out of 84045 with flag 6905104/2600312
2544.05/2520.21	c cleaning 42991 clauses out of 86042 with flag 7236656/2644313
2581.28/2557.58	c cleaning 43994 clauses out of 88049 with flag 7580668/2689311
2607.45/2583.45	c cleaning 44998 clauses out of 90055 with flag 7936253/2735311
2653.42/2628.13	c cleaning 46002 clauses out of 92057 with flag 8261615/2782311
2676.85/2651.37	c cleaning 47016 clauses out of 94059 with flag 8603015/2830315
2726.05/2699.95	c cleaning 47997 clauses out of 96040 with flag 8985193/2879312
2770.46/2744.02	c cleaning 49002 clauses out of 98044 with flag 9390767/2929313
2809.65/2782.95	c cleaning 49998 clauses out of 100040 with flag 9891255/2980311
2862.84/2835.41	c cleaning 51008 clauses out of 102045 with flag 10403581/3032314
2900.13/2872.42	c cleaning 52004 clauses out of 104034 with flag 10873189/3085311
2965.98/2938.08	c cleaning 53005 clauses out of 106035 with flag 11231090/3139316
3022.74/2994.53	c cleaning 53998 clauses out of 108025 with flag 11604126/3194311
3081.39/3052.95	c cleaning 54999 clauses out of 110028 with flag 11979487/3250312
3153.22/3124.55	c cleaning 56003 clauses out of 112029 with flag 12401597/3307312
3187.14/3158.16	c cleaning 56975 clauses out of 114025 with flag 12828427/3365311
3246.52/3217.34	c cleaning 57990 clauses out of 116053 with flag 13227676/3424314
3312.36/3282.55	c cleaning 58991 clauses out of 118060 with flag 13663899/3484311
3370.32/3340.26	c cleaning 60003 clauses out of 120071 with flag 14139291/3545313
3433.50/3402.73	c cleaning 61000 clauses out of 122066 with flag 14622538/3607311
3507.74/3475.37	c cleaning 62003 clauses out of 124066 with flag 15102261/3670311
3560.78/3528.05	c cleaning 62990 clauses out of 126064 with flag 15591912/3734312
3600.05/3566.92	c starts		: 147
3600.05/3566.92	c conflicts		: 3778937
3600.05/3566.92	c decisions		: 4577599
3600.05/3566.92	c propagations		: 62581093
3600.05/3566.92	c inspects		: 13622473920
3600.05/3566.92	c shortcuts		: 0
3600.05/3566.92	c learnt literals	: 0
3600.05/3566.92	c learnt binary clauses	: 0
3600.05/3566.92	c learnt ternary clauses	: 0
3600.05/3566.92	c learnt constraints	: 3778937
3600.05/3566.92	c ignored constraints	: 0
3600.05/3566.92	c root simplifications	: 0
3600.05/3566.92	c removed literals (reason simplification)	: 1936819
3600.05/3566.92	c reason swapping (by a shorter reason)	: 0
3600.05/3566.92	c Calls to reduceDB	: 115
3600.05/3566.93	c Number of update (reduction) of LBD	: 2005101
3600.05/3566.93	c Imported unit clauses	: 0
3600.05/3566.93	c No decision after first conflict	: false
3600.05/3566.93	c number of reductions to clauses (during analyze)	: 0
3600.05/3566.93	c number of learned constraints concerned by reduction	: 0
3600.05/3566.93	c number of learning phase by resolution	: 0
3600.05/3566.93	c number of learning phase by cutting planes	: 0
3600.05/3566.93	c number of rounding to 1 operations	: 0
3600.05/3566.93	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3566.93	c number of reductions of the coefficients by power 2 	: 0
3600.05/3566.93	c number of right shift for reduction by power 2 	: 0
3600.05/3566.93	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3566.93	c number of ending skipping 	: 0
3600.05/3566.93	c number of internal skipping 	: 0
3600.05/3566.93	c number of derivation steps 	: 0
3600.05/3566.93	c number of skipped derivation steps 	: 0
3600.05/3566.93	c number of remaining unassigned 	: 0
3600.05/3566.93	c number of remaining assigned 	: 0
3600.05/3566.93	c number of falsified literals weakened from reason	: 0
3600.05/3566.93	c number of falsified literals weakened from conflict	: 0
3600.05/3566.93	c time for arithmetic operations	: 0
3600.05/3566.94	c minimum degree of deleted constraints	: null
3600.05/3566.94	c maximum degree of deleted constraints	: null
3600.05/3566.94	c number of deleted constraints	: 0
3600.05/3566.94	c speed (assignments/second)	: 17545.94669915984
3600.05/3566.94	c non guided choices	: 97259
3600.26/3567.01	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 107699
3600.26/3567.01	s SATISFIABLE
3600.26/3567.01	c Found 7 solution(s)
3600.26/3567.03	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 
3600.26/3567.03	c objective function=1
3600.26/3567.03	c Total wall clock time (in seconds): 3566.892

Verifier Data 

OK	1

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (55641 MiB free)
  memory of node 1: 64465 MiB (53340 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=86692, runsolver pid=86677
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 1.32 2.45 3.53 9/333 86761
/proc/meminfo: memFree=111518156/131249996 swapFree=33010160/33010684
[pid=86692] ppid=86677 vsize=18930384 memory=55272 CPUtime=0.11 cores=0,2
/proc/86692/stat : 86692 (java) S 86677 86692 86624 0 -1 4194304 6500 0 0 0 10 1 0 0 20 0 18 0 77371994 19384713216 13818 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
/proc/86692/statm: 4732596 13818 5328 1 0 547577 0
[pid=86692/tid=86703] ppid=86677 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/86692/task/86703/stat : 86703 (java) R 86677 86692 86624 0 -1 4194368 5025 0 0 0 6 1 0 0 20 0 18 0 77371996 19384713216 13818 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86750] ppid=86677 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/86692/task/86750/stat : 86750 (Finalizer) S 86677 86692 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77371998 19384713216 13818 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86760] ppid=86677 vsize=18930384 memory=61784027576291 CPUtime=0 cores=0,2
/proc/86692/task/86760/stat : 86760 (Common-Cleaner) S 86677 86692 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77371999 19384713216 13818 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55272 KiB

[startup+0.205589 s]*
/proc/loadavg: 1.32 2.45 3.53 12/336 86764
/proc/meminfo: memFree=111479152/131249996 swapFree=33010160/33010684
[pid=86692] ppid=86677 vsize=18930384 memory=68212 CPUtime=0.3 cores=0,2
/proc/86692/stat : 86692 (java) S 86677 86692 86624 0 -1 4194304 7040 0 0 0 28 2 0 0 20 0 18 0 77371994 19384713216 17053 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
/proc/86692/statm: 4732596 17053 5456 1 0 547948 0
[pid=86692/tid=86703] ppid=86677 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=0,2
/proc/86692/task/86703/stat : 86703 (java) R 86677 86692 86624 0 -1 4194368 5279 0 0 0 15 1 0 0 20 0 18 0 77371996 19384713216 17053 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86750] ppid=86677 vsize=18930384 memory=13937 CPUtime=0 cores=0,2
/proc/86692/task/86750/stat : 86750 (Finalizer) S 86677 86692 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77371998 19384713216 17053 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86760] ppid=86677 vsize=18930384 memory=60684515935208 CPUtime=0 cores=0,2
/proc/86692/task/86760/stat : 86760 (Common-Cleaner) S 86677 86692 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77371999 19384713216 17053 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68212 KiB

[startup+0.305525 s]*
/proc/loadavg: 1.32 2.45 3.53 10/337 86765
/proc/meminfo: memFree=111458360/131249996 swapFree=33010160/33010684
[pid=86692] ppid=86677 vsize=18996948 memory=73932 CPUtime=0.49 cores=0,2
/proc/86692/stat : 86692 (java) S 86677 86692 86624 0 -1 4194304 8846 0 0 0 46 3 0 0 20 0 19 0 77371994 19452874752 18483 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
/proc/86692/statm: 4749237 18483 5488 1 0 548969 0
[pid=86692/tid=86703] ppid=86677 vsize=18996948 memory=-6000919476967859815 CPUtime=0.23 cores=0,2
/proc/86692/task/86703/stat : 86703 (java) R 86677 86692 86624 0 -1 4194368 5378 0 0 0 22 1 0 0 20 0 19 0 77371996 19452874752 18483 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86750] ppid=86677 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/86692/task/86750/stat : 86750 (Finalizer) S 86677 86692 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77371998 19452874752 18483 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86760] ppid=86677 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/86692/task/86760/stat : 86760 (Common-Cleaner) S 86677 86692 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77371999 19452874752 18483 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86765] ppid=86677 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/86692/task/86765/stat : 86765 (Timer-0) S 86677 86692 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77372019 19452874752 18483 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 73932 KiB

[startup+0.700236 s]
/proc/loadavg: 1.32 2.45 3.53 9/337 86765
/proc/meminfo: memFree=111426668/131249996 swapFree=33010160/33010684
[pid=86692] ppid=86677 vsize=18996948 memory=99320 CPUtime=1.25 cores=0,2
/proc/86692/stat : 86692 (java) S 86677 86692 86624 0 -1 4194304 12399 0 0 0 121 4 0 0 20 0 19 0 77371994 19452874752 24830 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
/proc/86692/statm: 4749237 24830 5488 1 0 551629 0
[pid=86692/tid=86703] ppid=86677 vsize=18996948 memory=18560 CPUtime=0.61 cores=0,2
/proc/86692/task/86703/stat : 86703 (java) R 86677 86692 86624 0 -1 4194368 5417 0 0 0 59 2 0 0 20 0 19 0 77371996 19452874752 24830 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86750] ppid=86677 vsize=18996948 memory=11136 CPUtime=0 cores=0,2
/proc/86692/task/86750/stat : 86750 (Finalizer) S 86677 86692 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77371998 19452874752 24830 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86760] ppid=86677 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/86692/task/86760/stat : 86760 (Common-Cleaner) S 86677 86692 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77371999 19452874752 24830 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86765] ppid=86677 vsize=18996948 memory=4496 CPUtime=0 cores=0,2
/proc/86692/task/86765/stat : 86765 (Timer-0) S 86677 86692 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77372019 19452874752 24830 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 99320 KiB

[startup+1.50023 s]
/proc/loadavg: 1.32 2.45 3.53 8/337 86765
/proc/meminfo: memFree=111366936/131249996 swapFree=33010160/33010684
[pid=86692] ppid=86677 vsize=18996948 memory=142616 CPUtime=2.34 cores=0,2
/proc/86692/stat : 86692 (java) S 86677 86692 86624 0 -1 4194304 14984 0 0 0 229 5 0 0 20 0 19 0 77371994 19452874752 35654 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
/proc/86692/statm: 4749237 35654 5488 1 0 551633 0
[pid=86692/tid=86703] ppid=86677 vsize=18996948 memory=0 CPUtime=1.41 cores=0,2
/proc/86692/task/86703/stat : 86703 (java) R 86677 86692 86624 0 -1 4194368 5589 0 0 0 138 3 0 0 20 0 19 0 77371996 19452874752 35654 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86750] ppid=86677 vsize=18996948 memory=11136 CPUtime=0 cores=0,2
/proc/86692/task/86750/stat : 86750 (Finalizer) S 86677 86692 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77371998 19452874752 35654 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86760] ppid=86677 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/86692/task/86760/stat : 86760 (Common-Cleaner) S 86677 86692 86624 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77371999 19452874752 35654 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86765] ppid=86677 vsize=18996948 memory=4496 CPUtime=0 cores=0,2
/proc/86692/task/86765/stat : 86765 (Timer-0) S 86677 86692 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77372019 19452874752 35654 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
Current children cumulated CPU time: 2.34 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 142616 KiB

[startup+3.10539 s]
/proc/loadavg: 1.32 2.45 3.53 6/338 86766
/proc/meminfo: memFree=111209616/131249996 swapFree=33010160/33010684
[pid=86692] ppid=86677 vsize=19063512 memory=206988 CPUtime=4.12 cores=0,2
/proc/86692/stat : 86692 (java) S 86677 86692 86624 0 -1 4194304 18016 0 0 0 405 7 0 0 20 0 20 0 77371994 19521036288 51747 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
/proc/86692/statm: 4765878 51747 5520 1 0 551953 0
[pid=86692/tid=86703] ppid=86677 vsize=19063512 memory=11136 CPUtime=2.97 cores=0,2
/proc/86692/task/86703/stat : 86703 (java) R 86677 86692 86624 0 -1 4194368 6759 0 0 0 294 3 0 0 20 0 20 0 77371996 19521036288 51747 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86750] ppid=86677 vsize=19063512 memory=-6000919476967859815 CPUtime=0 cores=0,2
/proc/86692/task/86750/stat : 86750 (Finalizer) S 86677 86692 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371998 19521036288 51747 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86760] ppid=86677 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/86692/task/86760/stat : 86760 (Common-Cleaner) S 86677 86692 86624 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 77371999 19521036288 51747 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86765] ppid=86677 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/86692/task/86765/stat : 86765 (Timer-0) S 86677 86692 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372019 19521036288 51747 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
Current children cumulated CPU time: 4.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 206988 KiB

[startup+6.30024 s]
/proc/loadavg: 1.54 2.48 3.54 6/339 86767
/proc/meminfo: memFree=110980348/131249996 swapFree=33010160/33010684
[pid=86692] ppid=86677 vsize=19063512 memory=430128 CPUtime=7.59 cores=0,2
/proc/86692/stat : 86692 (java) S 86677 86692 86624 0 -1 4194304 19863 0 0 0 747 12 0 0 20 0 20 0 77371994 19521036288 107532 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
/proc/86692/statm: 4765878 107532 5520 1 0 551954 0
[pid=86692/tid=86703] ppid=86677 vsize=19063512 memory=0 CPUtime=5.95 cores=0,2
/proc/86692/task/86703/stat : 86703 (java) R 86677 86692 86624 0 -1 4194368 7051 0 0 0 592 3 0 0 20 0 20 0 77371996 19521036288 107532 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86750] ppid=86677 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/86692/task/86750/stat : 86750 (Finalizer) S 86677 86692 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371998 19521036288 107532 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86760] ppid=86677 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/86692/task/86760/stat : 86760 (Common-Cleaner) S 86677 86692 86624 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 77371999 19521036288 107532 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86765] ppid=86677 vsize=19063512 memory=146712 CPUtime=0 cores=0,2
/proc/86692/task/86765/stat : 86765 (Timer-0) S 86677 86692 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372019 19521036288 107532 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
Current children cumulated CPU time: 7.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 430128 KiB

[startup+12.7002 s]
/proc/loadavg: 1.73 2.50 3.54 5/340 86768
/proc/meminfo: memFree=110556980/131249996 swapFree=33010160/33010684
[pid=86692] ppid=86677 vsize=19063512 memory=824100 CPUtime=14.27 cores=0,2
/proc/86692/stat : 86692 (java) S 86677 86692 86624 0 -1 4194304 24971 0 0 0 1406 21 0 0 20 0 20 0 77371994 19521036288 206025 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
/proc/86692/statm: 4765878 206025 5552 1 0 746206 0
[pid=86692/tid=86703] ppid=86677 vsize=19063512 memory=146712 CPUtime=12.11 cores=0,2
/proc/86692/task/86703/stat : 86703 (java) R 86677 86692 86624 0 -1 4194368 7811 0 0 0 1205 6 0 0 20 0 20 0 77371996 19521036288 206025 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86750] ppid=86677 vsize=19063512 memory=666368 CPUtime=0 cores=0,2
/proc/86692/task/86750/stat : 86750 (Finalizer) S 86677 86692 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371998 19521036288 206025 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86760] ppid=86677 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/86692/task/86760/stat : 86760 (Common-Cleaner) S 86677 86692 86624 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 77371999 19521036288 206025 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86765] ppid=86677 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/86692/task/86765/stat : 86765 (Timer-0) S 86677 86692 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372019 19521036288 206025 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
Current children cumulated CPU time: 14.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 824100 KiB

[startup+25.5002 s]
/proc/loadavg: 2.30 2.59 3.55 5/340 86769
/proc/meminfo: memFree=109678560/131249996 swapFree=33010160/33010684
[pid=86692] ppid=86677 vsize=19063512 memory=1271848 CPUtime=27.34 cores=0,2
/proc/86692/stat : 86692 (java) S 86677 86692 86624 0 -1 4194304 27351 0 0 0 2703 31 0 0 20 0 20 0 77371994 19521036288 317962 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
/proc/86692/statm: 4765878 317962 5552 1 0 879887 0
[pid=86692/tid=86703] ppid=86677 vsize=19063512 memory=666368 CPUtime=24.57 cores=0,2
/proc/86692/task/86703/stat : 86703 (java) R 86677 86692 86624 0 -1 4194368 8806 0 0 0 2449 8 0 0 20 0 20 0 77371996 19521036288 317962 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86750] ppid=86677 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/86692/task/86750/stat : 86750 (Finalizer) S 86677 86692 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371998 19521036288 317962 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86760] ppid=86677 vsize=19063512 memory=1067872 CPUtime=0 cores=0,2
/proc/86692/task/86760/stat : 86760 (Common-Cleaner) S 86677 86692 86624 0 -1 4194368 31 0 0 0 0 0 0 0 20 0 20 0 77371999 19521036288 317962 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86765] ppid=86677 vsize=19063512 memory=1212456 CPUtime=0 cores=0,2
/proc/86692/task/86765/stat : 86765 (Timer-0) S 86677 86692 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372019 19521036288 317962 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
Current children cumulated CPU time: 27.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1271848 KiB

[startup+51.1056 s]
/proc/loadavg: 2.96 2.72 3.57 5/341 86770
/proc/meminfo: memFree=107837772/131249996 swapFree=33010160/33010684
[pid=86692] ppid=86677 vsize=19063512 memory=2001076 CPUtime=53.49 cores=0,2
/proc/86692/stat : 86692 (java) S 86677 86692 86624 0 -1 4194304 31341 0 0 0 5303 46 0 0 20 0 20 0 77371994 19521036288 500269 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
/proc/86692/statm: 4765878 500269 5552 1 0 879912 0
[pid=86692/tid=86703] ppid=86677 vsize=19063512 memory=1984692 CPUtime=49.52 cores=0,2
/proc/86692/task/86703/stat : 86703 (java) R 86677 86692 86624 0 -1 4194368 9480 0 0 0 4943 9 0 0 20 0 20 0 77371996 19521036288 500269 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86750] ppid=86677 vsize=19063512 memory=4480 CPUtime=0 cores=0,2

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

/proc/meminfo: memFree=87695864/131249996 swapFree=33010160/33010684
[pid=86692] ppid=86677 vsize=19063512 memory=11466376 CPUtime=3251.88 cores=0,2
/proc/86692/stat : 86692 (java) S 86677 86692 86624 0 -1 4194304 209749 0 0 0 324832 356 0 0 20 0 20 0 77371994 19521036288 2866594 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
/proc/86692/statm: 4765878 2866594 5552 1 0 3054243 0
[pid=86692/tid=86703] ppid=86677 vsize=19063512 memory=11464244 CPUtime=3182.75 cores=0,2
/proc/86692/task/86703/stat : 86703 (java) R 86677 86692 86624 0 -1 4194368 105038 0 0 0 318188 87 0 0 20 0 20 0 77371996 19521036288 2866594 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86750] ppid=86677 vsize=19063512 memory=11464244 CPUtime=0 cores=0,2
/proc/86692/task/86750/stat : 86750 (Finalizer) S 86677 86692 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371998 19521036288 2866594 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86760] ppid=86677 vsize=19063512 memory=11464244 CPUtime=0 cores=0,2
/proc/86692/task/86760/stat : 86760 (Common-Cleaner) S 86677 86692 86624 0 -1 4194368 1639 0 0 0 0 0 0 0 20 0 20 0 77371999 19521036288 2866594 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86765] ppid=86677 vsize=19063512 memory=11464244 CPUtime=0 cores=0,2
/proc/86692/task/86765/stat : 86765 (Timer-0) S 86677 86692 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372019 19521036288 2866594 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
Current children cumulated CPU time: 3251.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11466376 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/341 88592
/proc/meminfo: memFree=87695400/131249996 swapFree=33010160/33010684
[pid=86692] ppid=86677 vsize=19063512 memory=11466376 CPUtime=3312.16 cores=0,2
/proc/86692/stat : 86692 (java) S 86677 86692 86624 0 -1 4194304 213735 0 0 0 330858 358 0 0 20 0 20 0 77371994 19521036288 2866594 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
/proc/86692/statm: 4765878 2866594 5552 1 0 3054243 0
[pid=86692/tid=86703] ppid=86677 vsize=19063512 memory=11464244 CPUtime=3242.2 cores=0,2
/proc/86692/task/86703/stat : 86703 (java) R 86677 86692 86624 0 -1 4194368 107706 0 0 0 324133 87 0 0 20 0 20 0 77371996 19521036288 2866594 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86750] ppid=86677 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/86692/task/86750/stat : 86750 (Finalizer) S 86677 86692 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371998 19521036288 2866594 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86760] ppid=86677 vsize=19063512 memory=11466376 CPUtime=0 cores=0,2
/proc/86692/task/86760/stat : 86760 (Common-Cleaner) S 86677 86692 86624 0 -1 4194368 1685 0 0 0 0 0 0 0 20 0 20 0 77371999 19521036288 2866594 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86765] ppid=86677 vsize=19063512 memory=11466376 CPUtime=0 cores=0,2
/proc/86692/task/86765/stat : 86765 (Timer-0) S 86677 86692 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372019 19521036288 2866594 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
Current children cumulated CPU time: 3312.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11466376 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/341 88598
/proc/meminfo: memFree=87691532/131249996 swapFree=33010160/33010684
[pid=86692] ppid=86677 vsize=19063512 memory=11468440 CPUtime=3372.42 cores=0,2
/proc/86692/stat : 86692 (java) S 86677 86692 86624 0 -1 4194304 216991 0 0 0 336883 359 0 0 20 0 20 0 77371994 19521036288 2867110 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
/proc/86692/statm: 4765878 2867110 5552 1 0 3054243 0
[pid=86692/tid=86703] ppid=86677 vsize=19063512 memory=11466376 CPUtime=3301.65 cores=0,2
/proc/86692/task/86703/stat : 86703 (java) R 86677 86692 86624 0 -1 4194368 110595 0 0 0 330078 87 0 0 20 0 20 0 77371996 19521036288 2867110 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86750] ppid=86677 vsize=19063512 memory=11464244 CPUtime=0 cores=0,2
/proc/86692/task/86750/stat : 86750 (Finalizer) S 86677 86692 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371998 19521036288 2867110 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86760] ppid=86677 vsize=19063512 memory=11468440 CPUtime=0 cores=0,2
/proc/86692/task/86760/stat : 86760 (Common-Cleaner) S 86677 86692 86624 0 -1 4194368 1728 0 0 0 0 0 0 0 20 0 20 0 77371999 19521036288 2867110 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86765] ppid=86677 vsize=19063512 memory=16496 CPUtime=0 cores=0,2
/proc/86692/task/86765/stat : 86765 (Timer-0) S 86677 86692 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372019 19521036288 2867110 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
Current children cumulated CPU time: 3372.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11468440 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/341 88600
/proc/meminfo: memFree=87462240/131249996 swapFree=33010160/33010684
[pid=86692] ppid=86677 vsize=19063512 memory=11699988 CPUtime=3433.1 cores=0,2
/proc/86692/stat : 86692 (java) S 86677 86692 86624 0 -1 4194304 221336 0 0 0 342945 365 0 0 20 0 20 0 77371994 19521036288 2924997 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
/proc/86692/statm: 4765878 2924997 5552 1 0 3054243 0
[pid=86692/tid=86703] ppid=86677 vsize=19063512 memory=11468440 CPUtime=3360.69 cores=0,2
/proc/86692/task/86703/stat : 86703 (java) R 86677 86692 86624 0 -1 4194368 113613 0 0 0 335981 88 0 0 20 0 20 0 77371996 19521036288 2924997 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86750] ppid=86677 vsize=19063512 memory=11136 CPUtime=0 cores=0,2
/proc/86692/task/86750/stat : 86750 (Finalizer) S 86677 86692 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371998 19521036288 2924997 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86760] ppid=86677 vsize=19063512 memory=11470552 CPUtime=0 cores=0,2
/proc/86692/task/86760/stat : 86760 (Common-Cleaner) S 86677 86692 86624 0 -1 4194368 1775 0 0 0 0 0 0 0 20 0 20 0 77371999 19521036288 2924997 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86765] ppid=86677 vsize=19063512 memory=11470552 CPUtime=0 cores=0,2
/proc/86692/task/86765/stat : 86765 (Timer-0) S 86677 86692 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372019 19521036288 2924997 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
Current children cumulated CPU time: 3433.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 11699988 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/340 88602
/proc/meminfo: memFree=87102920/131249996 swapFree=33010160/33010684
[pid=86692] ppid=86677 vsize=19063512 memory=12059112 CPUtime=3494.76 cores=0,2
/proc/86692/stat : 86692 (java) S 86677 86692 86624 0 -1 4194304 229721 0 0 0 349101 375 0 0 20 0 20 0 77371994 19521036288 3014778 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
/proc/86692/statm: 4765878 3014778 5552 1 0 3785405 0
[pid=86692/tid=86703] ppid=86677 vsize=19063512 memory=11468440 CPUtime=3420.12 cores=0,2
/proc/86692/task/86703/stat : 86703 (java) R 86677 86692 86624 0 -1 4194368 115526 0 0 0 341919 93 0 0 20 0 20 0 77371996 19521036288 3014778 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86750] ppid=86677 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/86692/task/86750/stat : 86750 (Finalizer) S 86677 86692 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371998 19521036288 3014778 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86760] ppid=86677 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/86692/task/86760/stat : 86760 (Common-Cleaner) S 86677 86692 86624 0 -1 4194368 1901 0 0 0 0 0 0 0 20 0 20 0 77371999 19521036288 3014778 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86765] ppid=86677 vsize=19063512 memory=16496 CPUtime=0 cores=0,2
/proc/86692/task/86765/stat : 86765 (Timer-0) S 86677 86692 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372019 19521036288 3014778 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
Current children cumulated CPU time: 3494.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12059112 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/341 88605
/proc/meminfo: memFree=86595144/131249996 swapFree=33010160/33010684
[pid=86692] ppid=86677 vsize=19063512 memory=12560880 CPUtime=3555.09 cores=0,2
/proc/86692/stat : 86692 (java) S 86677 86692 86624 0 -1 4194304 233790 0 0 0 355121 388 0 0 20 0 20 0 77371994 19521036288 3140220 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
/proc/86692/statm: 4765878 3140220 5552 1 0 3785405 0
[pid=86692/tid=86703] ppid=86677 vsize=19063512 memory=16496 CPUtime=3479.53 cores=0,2
/proc/86692/task/86703/stat : 86703 (java) R 86677 86692 86624 0 -1 4194368 118158 0 0 0 347850 103 0 0 20 0 20 0 77371996 19521036288 3140220 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86750] ppid=86677 vsize=19063512 memory=2273 CPUtime=0 cores=0,2
/proc/86692/task/86750/stat : 86750 (Finalizer) S 86677 86692 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371998 19521036288 3140220 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86760] ppid=86677 vsize=19063512 memory=12560880 CPUtime=0 cores=0,2
/proc/86692/task/86760/stat : 86760 (Common-Cleaner) S 86677 86692 86624 0 -1 4194368 2032 0 0 0 0 0 0 0 20 0 20 0 77371999 19521036288 3140220 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86765] ppid=86677 vsize=19063512 memory=12560880 CPUtime=0 cores=0,2
/proc/86692/task/86765/stat : 86765 (Timer-0) S 86677 86692 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372019 19521036288 3140220 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
Current children cumulated CPU time: 3555.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12560880 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3566.9 s]
/proc/loadavg: 4.13 4.12 4.09 5/341 88607
/proc/meminfo: memFree=86512928/131249996 swapFree=33010160/33010684
[pid=86692] ppid=86677 vsize=19063512 memory=12642804 CPUtime=3600.05 cores=0,2
/proc/86692/stat : 86692 (java) S 86677 86692 86624 0 -1 4194304 237006 0 0 0 359614 391 0 0 20 0 20 0 77371994 19521036288 3160701 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
/proc/86692/statm: 4765878 3160701 5552 1 0 3785405 0
[pid=86692/tid=86703] ppid=86677 vsize=19063512 memory=16496 CPUtime=3523.56 cores=0,2
/proc/86692/task/86703/stat : 86703 (java) R 86677 86692 86624 0 -1 4194368 120494 0 0 0 352253 103 0 0 20 0 20 0 77371996 19521036288 3160701 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86750] ppid=86677 vsize=19063512 memory=12642804 CPUtime=0 cores=0,2
/proc/86692/task/86750/stat : 86750 (Finalizer) S 86677 86692 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77371998 19521036288 3160701 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86760] ppid=86677 vsize=19063512 memory=12642804 CPUtime=0 cores=0,2
/proc/86692/task/86760/stat : 86760 (Common-Cleaner) S 86677 86692 86624 0 -1 4194368 2032 0 0 0 0 0 0 0 20 0 20 0 77371999 19521036288 3160701 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86765] ppid=86677 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/86692/task/86765/stat : 86765 (Timer-0) S 86677 86692 86624 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77372019 19521036288 3160701 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12642804 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.39 s, system=3.95843 s

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

[startup+3567.01 s]*
/proc/loadavg: 4.13 4.12 4.09 8/342 88610
/proc/meminfo: memFree=86512928/131249996 swapFree=33010160/33010684
[pid=86692] ppid=86677 vsize=19263204 memory=12643572 CPUtime=3600.26 cores=0,2
/proc/86692/stat : 86692 (java) S 86677 86692 86624 0 -1 4194304 240958 0 0 0 359634 392 0 0 20 0 21 0 77371994 19725520896 3160893 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
/proc/86692/statm: 4815801 3160893 5584 1 0 3786356 0
[pid=86692/tid=86703] ppid=86677 vsize=19263204 memory=6896 CPUtime=3523.66 cores=0,2
/proc/86692/task/86703/stat : 86703 (java) R 86677 86692 86624 0 -1 4194368 122111 0 0 0 352262 104 0 0 20 0 21 0 77371996 19725520896 3160893 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86750] ppid=86677 vsize=19263204 memory=-5155633680935826750 CPUtime=0 cores=0,2
/proc/86692/task/86750/stat : 86750 (Finalizer) S 86677 86692 86624 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77371998 19725520896 3160893 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=86760] ppid=86677 vsize=19263204 memory=9088 CPUtime=0 cores=0,2
/proc/86692/task/86760/stat : 86760 (Common-Cleaner) S 86677 86692 86624 0 -1 4194368 2032 0 0 0 0 0 0 0 20 0 21 0 77371999 19725520896 3160893 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
[pid=86692/tid=88610] ppid=86677 vsize=19263204 memory=5744 CPUtime=0.05 cores=0,2
/proc/86692/task/88610/stat : 88610 (Thread-0) R 86677 86692 86624 0 -1 4194368 455 0 0 0 5 0 0 0 20 0 21 0 77728685 19725520896 3160893 18446744073709551615 94290638692352 94290638696048 140734232102032 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94290638703864 94290638704656 94290665332736 140734232103295 140734232103396 140734232103396 140734232109000 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 12643572 KiB

Child status: 143

Real time (s): 3567.08
CPU time (s): 3600.35
CPU user time (s): 3596.39
CPU system time (s): 3.95843
CPU usage (%): 100.933
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 12643572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.39
system time used= 3.95843
maximum resident set size= 12643700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241282
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112332
involuntary context switches= 11357


# summary of solver processes directly reported to runsolver:
#   pid: 86692
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3596.39
#   total CPU system time (s): 3.95843

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39041 second user time and 16.9615 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-07-04 10:15:34
IDJOB=4524713
IDBENCH=143167
IDSOLVER=3380
FILE ID=nodeC032/4524713-1751616933
RUNJOBID= nodeC032-1751616933-86634
SLURM_JOB_ID= 9598926
Free space on /tmp= 429052 MiB

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

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

MD5SUM BENCH= 9b60ab1c395a8a4ea9e1c58e7ae4b4ea
RANDOM SEED=425576986

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        111600484 kB
MemAvailable:   129623640 kB
Buffers:            2728 kB
Cached:         18700968 kB
SwapCached:           20 kB
Active:           437636 kB
Inactive:       18331480 kB
Active(anon):      80352 kB
Inactive(anon):     3124 kB
Active(file):     357284 kB
Inactive(file): 18328356 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2656 kB
Writeback:             0 kB
AnonPages:         68844 kB
Mapped:           103956 kB
Shmem:             18048 kB
KReclaimable:     353508 kB
Slab:             448036 kB
SReclaimable:     353508 kB
SUnreclaim:        94528 kB
KernelStack:        4160 kB
PageTables:         2980 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     341076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429048 MiB
End job on nodeC032 at 2025-07-04 11:15:01