Trace number 4525109

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.33 3581.56

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM485321322f8570ec0cc1d4f7566d27d9
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark0.263129
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5100
Total number of constraints202
Number of soft constraints71
Number of constraints which are clauses102
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint51
Top cost 3850
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 3849
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 52
Number of bits of the biggest sum of numbers6
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4525109-1751618157.wbo
0.12/0.13	c reading problem ... 
0.31/0.21	c ... done. Wall clock time 0.074s.
0.31/0.21	c declared #vars     5100
0.31/0.21	c internal #vars     5171
0.31/0.21	c #constraints  203
0.31/0.21	c constraints type 
0.31/0.21	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 63
0.31/0.21	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 37
0.31/0.21	c org.sat4j.specs.Constr$1 => 1
0.31/0.21	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 102
0.31/0.21	c 203 constraints processed.
0.31/0.22	c objective function length is 71 literals
2.45/1.70	c cleaning 2496 clauses out of 5000 with flag 32801/5000
4.57/3.72	c cleaning 4247 clauses out of 8505 with flag 80118/11001
7.30/6.43	c cleaning 5626 clauses out of 11260 with flag 133259/18003
10.79/9.94	c cleaning 6807 clauses out of 13631 with flag 192055/26000
13.05/12.13	c SATISFIABLE
13.05/12.13	c OPTIMIZING...
13.05/12.13	c Got one! Elapsed wall clock time (in seconds):11.994
13.05/12.13	o 80
13.22/12.21	c Got one! Elapsed wall clock time (in seconds):12.077
13.22/12.21	o 72
15.88/14.74	c cleaning 8624 clauses out of 17260 with flag 32109/36436
18.82/17.56	c cleaning 7306 clauses out of 14636 with flag 74691/42436
21.71/20.45	c cleaning 7149 clauses out of 14329 with flag 123841/49435
24.77/23.46	c cleaning 7581 clauses out of 15182 with flag 180464/57437
28.02/26.67	c cleaning 8288 clauses out of 16599 with flag 243143/66435
32.77/31.30	c cleaning 9147 clauses out of 18311 with flag 316191/76435
37.83/36.31	c cleaning 10072 clauses out of 20164 with flag 397537/87435
44.28/42.78	c cleaning 11036 clauses out of 22092 with flag 496492/99435
52.32/50.73	c cleaning 12019 clauses out of 24058 with flag 603538/112437
60.56/58.94	c cleaning 13007 clauses out of 26039 with flag 718748/126437
70.12/68.38	c cleaning 13999 clauses out of 28030 with flag 836147/141435
73.71/71.94	c Got one! Elapsed wall clock time (in seconds):71.81
73.71/71.94	o 39
76.57/74.77	c cleaning 12986 clauses out of 25994 with flag 35981/153398
79.07/77.25	c cleaning 9486 clauses out of 19007 with flag 80841/159397
81.79/79.99	c cleaning 8245 clauses out of 16522 with flag 132754/166398
83.89/82.03	c Got one! Elapsed wall clock time (in seconds):81.898
83.89/82.03	o 38
86.19/84.32	c cleaning 9326 clauses out of 18695 with flag 33052/176816
86.49/84.63	c Got one! Elapsed wall clock time (in seconds):84.494
86.49/84.63	o 36
87.92/86.09	c cleaning 7250 clauses out of 14536 with flag 28171/181983
90.01/88.13	c cleaning 6621 clauses out of 13285 with flag 70559/187982
92.70/90.80	c cleaning 6816 clauses out of 13665 with flag 122801/194983
95.54/93.68	c cleaning 7410 clauses out of 14848 with flag 182096/202982
99.43/97.50	c cleaning 8208 clauses out of 16440 with flag 250912/211984
102.76/100.66	c cleaning 9101 clauses out of 18232 with flag 319992/221984
105.86/103.77	c cleaning 10040 clauses out of 20129 with flag 397104/232982
110.01/107.87	c cleaning 11017 clauses out of 22090 with flag 494286/244983
115.13/112.85	c cleaning 12008 clauses out of 24074 with flag 595252/257984
121.31/118.91	c cleaning 13005 clauses out of 26064 with flag 696254/271982
124.30/121.99	c Got one! Elapsed wall clock time (in seconds):121.853
124.30/121.99	o 27
125.59/123.16	c cleaning 12442 clauses out of 24907 with flag 31776/283830
127.08/124.68	c cleaning 9227 clauses out of 18466 with flag 71628/289831
128.77/126.31	c cleaning 8104 clauses out of 16238 with flag 115663/296830
130.57/128.18	c cleaning 8056 clauses out of 16134 with flag 167476/304830
132.98/130.50	c cleaning 8533 clauses out of 17078 with flag 234292/313830
133.09/130.62	c Got one! Elapsed wall clock time (in seconds):130.488
133.09/130.62	o 15
133.88/131.45	c cleaning 7129 clauses out of 14325 with flag 32943/319610
134.88/132.49	c cleaning 6567 clauses out of 13195 with flag 75213/325609
135.58/133.10	c Got one! Elapsed wall clock time (in seconds):132.968
135.58/133.10	o 12
135.83/133.35	c cleaning 6259 clauses out of 12565 with flag 10359/331546
136.83/134.32	c cleaning 6112 clauses out of 12307 with flag 47717/337547
138.42/135.94	c cleaning 6580 clauses out of 13194 with flag 98350/344546
140.85/138.30	c cleaning 7290 clauses out of 14614 with flag 159583/352546
143.64/141.14	c cleaning 8142 clauses out of 16324 with flag 231267/361546
147.02/144.55	c cleaning 9069 clauses out of 18181 with flag 315790/371545
151.61/149.13	c cleaning 10041 clauses out of 20112 with flag 408311/382545
156.70/154.25	c cleaning 11021 clauses out of 22072 with flag 506281/394546
163.48/161.06	c cleaning 12011 clauses out of 24052 with flag 610240/407547
167.97/165.58	c cleaning 12998 clauses out of 26041 with flag 710988/421547
173.26/170.86	c cleaning 14002 clauses out of 28042 with flag 813859/436546
177.06/174.65	c cleaning 14993 clauses out of 30041 with flag 929652/452547
182.84/180.47	c cleaning 16007 clauses out of 32047 with flag 1051551/469546
191.81/189.40	c cleaning 17002 clauses out of 34039 with flag 1164492/487545
200.60/198.23	c cleaning 18002 clauses out of 36039 with flag 1309094/506547
210.27/207.90	c cleaning 18999 clauses out of 38035 with flag 1453781/526545
220.89/218.26	c cleaning 19996 clauses out of 40036 with flag 1619794/547545
232.74/229.90	c cleaning 21010 clauses out of 42043 with flag 1832082/569548
246.63/243.49	c cleaning 21999 clauses out of 44032 with flag 2045696/592547
260.91/257.73	c cleaning 23000 clauses out of 46031 with flag 2236182/616545
277.96/274.76	c cleaning 24000 clauses out of 48033 with flag 2457568/641547
297.02/293.64	c cleaning 25005 clauses out of 50035 with flag 2685753/667549
317.77/314.29	c cleaning 25998 clauses out of 52028 with flag 2920801/694547
336.14/332.61	c cleaning 26997 clauses out of 54030 with flag 3171148/722547
355.94/352.37	c cleaning 27989 clauses out of 56031 with flag 3440996/751545
369.31/365.72	c cleaning 28998 clauses out of 58042 with flag 3648939/781545
385.99/382.39	c cleaning 30008 clauses out of 60048 with flag 3879027/812549
403.45/399.68	c cleaning 31000 clauses out of 62036 with flag 4132141/844545
425.85/421.91	c cleaning 32000 clauses out of 64037 with flag 4393155/877546
439.90/435.48	c cleaning 32959 clauses out of 66037 with flag 4625767/911546
453.98/449.51	c cleaning 33989 clauses out of 68077 with flag 4876467/946545
471.29/466.75	c cleaning 34987 clauses out of 70089 with flag 5117893/982546
481.26/476.55	c cleaning 36005 clauses out of 72102 with flag 5359363/1019546
508.19/503.32	c cleaning 37015 clauses out of 74101 with flag 5600741/1057550
536.33/531.58	c cleaning 37999 clauses out of 76081 with flag 5850345/1096545
572.73/567.87	c cleaning 38999 clauses out of 78082 with flag 6172401/1136545
611.23/606.08	c cleaning 40002 clauses out of 80083 with flag 6538206/1177545
644.89/639.68	c cleaning 41002 clauses out of 82082 with flag 6941916/1219546
660.14/654.62	c cleaning 42004 clauses out of 84083 with flag 7275991/1262549
696.28/690.13	c cleaning 42991 clauses out of 86075 with flag 7612229/1306545
722.20/715.90	c cleaning 44043 clauses out of 88085 with flag 7922813/1351546
757.32/750.91	c cleaning 45002 clauses out of 90041 with flag 8217417/1397545
771.46/764.90	c cleaning 45981 clauses out of 92039 with flag 8543446/1444545
805.17/798.57	c cleaning 46992 clauses out of 94058 with flag 8875794/1492545
821.42/814.64	c cleaning 47971 clauses out of 96066 with flag 9207068/1541545
836.36/829.41	c cleaning 48999 clauses out of 98095 with flag 9558752/1591545
849.55/842.31	c cleaning 49977 clauses out of 100097 with flag 9877919/1642546
862.68/855.35	c cleaning 51015 clauses out of 102119 with flag 10218545/1694545
897.75/890.13	c cleaning 51983 clauses out of 104108 with flag 10586883/1747549
942.95/934.54	c cleaning 53024 clauses out of 106122 with flag 11010347/1801546
986.57/978.09	c cleaning 54028 clauses out of 108099 with flag 11373804/1856547
1001.01/992.31	c cleaning 55001 clauses out of 110069 with flag 11735471/1912545
1056.67/1047.77	c cleaning 56002 clauses out of 112069 with flag 12091778/1969546
1105.15/1096.14	c cleaning 57001 clauses out of 114066 with flag 12493455/2027545
1150.78/1141.53	c cleaning 58002 clauses out of 116067 with flag 12891835/2086547
1171.89/1162.52	c cleaning 59002 clauses out of 118063 with flag 13281419/2146545
1233.22/1223.66	c cleaning 60002 clauses out of 120061 with flag 13700840/2207545
1316.02/1306.43	c cleaning 61001 clauses out of 122061 with flag 14154033/2269547
1361.10/1351.24	c cleaning 61939 clauses out of 124060 with flag 14612268/2332547
1388.00/1377.82	c cleaning 63044 clauses out of 126124 with flag 15036600/2396550
1440.89/1429.86	c cleaning 64013 clauses out of 128075 with flag 15484330/2461545
1508.88/1497.55	c cleaning 64997 clauses out of 130063 with flag 15969288/2527546
1569.38/1557.95	c cleaning 65999 clauses out of 132066 with flag 16491000/2594546
1617.02/1605.29	c cleaning 67025 clauses out of 134067 with flag 16954710/2662546
1679.82/1667.91	c cleaning 67995 clauses out of 136042 with flag 17443538/2731546
1769.31/1757.13	c cleaning 69003 clauses out of 138046 with flag 17926110/2801545
1817.95/1805.60	c cleaning 69995 clauses out of 140045 with flag 18507893/2872547
1904.77/1892.22	c cleaning 70999 clauses out of 142051 with flag 19063611/2944548
1954.87/1942.23	c cleaning 71987 clauses out of 144049 with flag 19584590/3017545
2000.08/1987.19	c cleaning 72949 clauses out of 146062 with flag 20050199/3091545
2023.55/2010.43	c cleaning 74013 clauses out of 148114 with flag 20564867/3166546
2079.07/2065.68	c cleaning 75013 clauses out of 150101 with flag 21148526/3242546
2186.87/2173.41	c cleaning 76024 clauses out of 152088 with flag 21750266/3319546
2308.14/2293.51	c cleaning 77014 clauses out of 154063 with flag 22376617/3397545
2423.93/2409.37	c cleaning 77995 clauses out of 156050 with flag 23066285/3476546
2560.54/2545.77	c cleaning 79000 clauses out of 158058 with flag 23790392/3556549
2712.30/2697.36	c cleaning 80005 clauses out of 160054 with flag 24528930/3637545
2864.37/2849.24	c cleaning 81008 clauses out of 162053 with flag 25263195/3719549
2890.30/2874.94	c cleaning 82005 clauses out of 164042 with flag 25818726/3802546
2923.10/2907.34	c cleaning 82982 clauses out of 166037 with flag 26354757/3886546
2954.09/2938.16	c cleaning 83969 clauses out of 168054 with flag 26928216/3971545
3000.52/2984.48	c cleaning 85001 clauses out of 170087 with flag 27507041/4057547
3032.64/3016.13	c cleaning 86021 clauses out of 172085 with flag 28098828/4144546
3153.59/3136.88	c cleaning 87012 clauses out of 174063 with flag 28607639/4232545
3281.83/3263.81	c cleaning 88001 clauses out of 176051 with flag 29328438/4321545
3412.15/3393.70	c cleaning 89013 clauses out of 178052 with flag 29978585/4411547
3534.77/3516.33	c cleaning 90002 clauses out of 180038 with flag 30593890/4502546
3600.04/3581.41	c starts		: 3610
3600.04/3581.41	c conflicts		: 4566982
3600.04/3581.41	c decisions		: 13543084
3600.04/3581.41	c propagations		: 89516726
3600.04/3581.41	c inspects		: 14594659183
3600.04/3581.41	c shortcuts		: 0
3600.04/3581.41	c learnt literals	: 0
3600.04/3581.41	c learnt binary clauses	: 0
3600.04/3581.41	c learnt ternary clauses	: 0
3600.04/3581.41	c learnt constraints	: 4566982
3600.04/3581.41	c ignored constraints	: 0
3600.04/3581.41	c root simplifications	: 0
3600.04/3581.41	c removed literals (reason simplification)	: 9438017
3600.04/3581.41	c reason swapping (by a shorter reason)	: 0
3600.04/3581.41	c Calls to reduceDB	: 123
3600.04/3581.41	c Number of update (reduction) of LBD	: 2941252
3600.04/3581.41	c Imported unit clauses	: 0
3600.04/3581.41	c No decision after first conflict	: false
3600.04/3581.41	c number of reductions to clauses (during analyze)	: 0
3600.04/3581.42	c number of learned constraints concerned by reduction	: 0
3600.04/3581.42	c number of learning phase by resolution	: 0
3600.04/3581.42	c number of learning phase by cutting planes	: 0
3600.04/3581.43	c number of rounding to 1 operations	: 0
3600.04/3581.43	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3581.43	c number of reductions of the coefficients by power 2 	: 0
3600.04/3581.43	c number of right shift for reduction by power 2 	: 0
3600.04/3581.43	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3581.43	c number of ending skipping 	: 0
3600.04/3581.43	c number of internal skipping 	: 0
3600.04/3581.43	c number of derivation steps 	: 0
3600.04/3581.43	c number of skipped derivation steps 	: 0
3600.04/3581.43	c number of remaining unassigned 	: 0
3600.04/3581.43	c number of remaining assigned 	: 0
3600.04/3581.43	c number of falsified literals weakened from reason	: 0
3600.04/3581.43	c number of falsified literals weakened from conflict	: 0
3600.04/3581.43	c time for arithmetic operations	: 0
3600.04/3581.43	c minimum degree of deleted constraints	: null
3600.04/3581.43	c maximum degree of deleted constraints	: null
3600.04/3581.43	c number of deleted constraints	: 0
3600.04/3581.43	c speed (assignments/second)	: 24996.251542078284
3600.04/3581.43	c non guided choices	: 921873
3600.25/3581.50	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 154472
3600.25/3581.50	s SATISFIABLE
3600.25/3581.50	c Found 8 solution(s)
3600.25/3581.52	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 
3600.25/3581.53	c objective function=12
3600.25/3581.53	c Total wall clock time (in seconds): 3581.392

Verifier Data 

OK	12

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525109-1751618157/watcher-4525109-1751618157 -o /tmp/evaluation-result-4525109-1751618157/solver-4525109-1751618157 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751614174-86866 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4525109-1751618157.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
Current StackSize limit: 8192 KiB

solver pid=88441, runsolver pid=88438

[startup+0.100061 s]*
/proc/loadavg: 4.20 4.22 4.16 6/338 88459
/proc/meminfo: memFree=122694832/131249996 swapFree=33000896/33010684
[pid=88441] ppid=88438 vsize=18930384 memory=57780 CPUtime=0.12 cores=0,2
/proc/88441/stat : 88441 (java) S 88438 88441 86856 0 -1 4194304 6568 0 0 0 11 1 0 0 20 0 18 0 77493572 19384713216 14445 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
/proc/88441/statm: 4732596 14445 5335 1 0 547620 0
[pid=88441/tid=88443] ppid=88438 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/88441/task/88443/stat : 88443 (java) R 88438 88441 86856 0 -1 4194368 5071 0 0 0 7 1 0 0 20 0 18 0 77493574 19384713216 14445 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88452] ppid=88438 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/88441/task/88452/stat : 88452 (Finalizer) S 88438 88441 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77493576 19384713216 14445 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88459] ppid=88438 vsize=18930384 memory=58485492679666 CPUtime=0 cores=0,2
/proc/88441/task/88459/stat : 88459 (Common-Cleaner) S 88438 88441 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77493576 19384713216 14445 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57780 KiB

[startup+0.205709 s]*
/proc/loadavg: 4.20 4.22 4.16 7/338 88459
/proc/meminfo: memFree=122682544/131249996 swapFree=33000896/33010684
[pid=88441] ppid=88438 vsize=18930384 memory=70536 CPUtime=0.31 cores=0,2
/proc/88441/stat : 88441 (java) S 88438 88441 86856 0 -1 4194304 7125 0 0 0 29 2 0 0 20 0 18 0 77493572 19384713216 17634 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
/proc/88441/statm: 4732596 17634 5431 1 0 548014 0
[pid=88441/tid=88443] ppid=88438 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=0,2
/proc/88441/task/88443/stat : 88443 (java) D 88438 88441 86856 0 -1 4194368 5288 0 0 0 16 1 0 0 20 0 18 0 77493574 19384713216 17634 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88452] ppid=88438 vsize=18930384 memory=16099 CPUtime=0 cores=0,2
/proc/88441/task/88452/stat : 88452 (Finalizer) S 88438 88441 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77493576 19384713216 17634 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88459] ppid=88438 vsize=18930384 memory=57385981051877 CPUtime=0 cores=0,2
/proc/88441/task/88459/stat : 88459 (Common-Cleaner) S 88438 88441 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77493576 19384713216 17634 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 70536 KiB

[startup+0.305662 s]*
/proc/loadavg: 4.20 4.22 4.16 6/339 88460
/proc/meminfo: memFree=122678512/131249996 swapFree=33000896/33010684
[pid=88441] ppid=88438 vsize=18996948 memory=74496 CPUtime=0.51 cores=0,2
/proc/88441/stat : 88441 (java) S 88438 88441 86856 0 -1 4194304 8023 0 0 0 48 3 0 0 20 0 19 0 77493572 19452874752 18624 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
/proc/88441/statm: 4749237 18624 5463 1 0 548678 0
[pid=88441/tid=88443] ppid=88438 vsize=18996948 memory=-6000919472740131943 CPUtime=0.26 cores=0,2
/proc/88441/task/88443/stat : 88443 (java) R 88438 88441 86856 0 -1 4194368 5396 0 0 0 25 1 0 0 20 0 19 0 77493574 19452874752 18624 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88452] ppid=88438 vsize=18997216 memory=0 CPUtime=0 cores=0,2
/proc/88441/task/88452/stat : 88452 (Finalizer) S 88438 88441 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77493576 19453149184 18624 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88459] ppid=88438 vsize=18997216 memory=0 CPUtime=0 cores=0,2
/proc/88441/task/88459/stat : 88459 (Common-Cleaner) S 88438 88441 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77493576 19453149184 18688 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88460] ppid=88438 vsize=18997216 memory=0 CPUtime=0 cores=0,2
/proc/88441/task/88460/stat : 88460 (Timer-0) S 88438 88441 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77493595 19453149184 18688 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 74496 KiB

[startup+0.700244 s]
/proc/loadavg: 4.20 4.22 4.16 6/339 88460
/proc/meminfo: memFree=122674480/131249996 swapFree=33000896/33010684
[pid=88441] ppid=88438 vsize=18996948 memory=88004 CPUtime=1.27 cores=0,2
/proc/88441/stat : 88441 (java) S 88438 88441 86856 0 -1 4194304 11326 0 0 0 123 4 0 0 20 0 19 0 77493572 19452874752 22001 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
/proc/88441/statm: 4749237 22001 5495 1 0 550345 0
[pid=88441/tid=88443] ppid=88438 vsize=18996948 memory=14336 CPUtime=0.64 cores=0,2
/proc/88441/task/88443/stat : 88443 (java) R 88438 88441 86856 0 -1 4194368 5441 0 0 0 62 2 0 0 20 0 19 0 77493574 19452874752 22001 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88452] ppid=88438 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/88441/task/88452/stat : 88452 (Finalizer) S 88438 88441 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77493576 19452874752 22001 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88459] ppid=88438 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/88441/task/88459/stat : 88459 (Common-Cleaner) S 88438 88441 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77493576 19452874752 22001 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88460] ppid=88438 vsize=18996948 memory=4624 CPUtime=0 cores=0,2
/proc/88441/task/88460/stat : 88460 (Timer-0) S 88438 88441 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77493595 19452874752 22001 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 88004 KiB

[startup+1.50024 s]
/proc/loadavg: 4.20 4.22 4.16 5/339 88460
/proc/meminfo: memFree=122670384/131249996 swapFree=33000896/33010684
[pid=88441] ppid=88438 vsize=18996948 memory=102468 CPUtime=2.17 cores=0,2
/proc/88441/stat : 88441 (java) S 88438 88441 86856 0 -1 4194304 12316 0 0 0 213 4 0 0 20 0 19 0 77493572 19452874752 25617 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
/proc/88441/statm: 4749237 25617 5495 1 0 550346 0
[pid=88441/tid=88443] ppid=88438 vsize=18996948 memory=10624 CPUtime=1.43 cores=0,2
/proc/88441/task/88443/stat : 88443 (java) R 88438 88441 86856 0 -1 4194368 5600 0 0 0 141 2 0 0 20 0 19 0 77493574 19452874752 25617 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88452] ppid=88438 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/88441/task/88452/stat : 88452 (Finalizer) S 88438 88441 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77493576 19452874752 25617 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88459] ppid=88438 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/88441/task/88459/stat : 88459 (Common-Cleaner) S 88438 88441 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77493576 19452874752 25617 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88460] ppid=88438 vsize=18996948 memory=4624 CPUtime=0 cores=0,2
/proc/88441/task/88460/stat : 88460 (Timer-0) S 88438 88441 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77493595 19452874752 25617 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
Current children cumulated CPU time: 2.17 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 102468 KiB

[startup+3.10555 s]
/proc/loadavg: 4.20 4.22 4.16 5/339 88460
/proc/meminfo: memFree=122570316/131249996 swapFree=33000896/33010684
[pid=88441] ppid=88438 vsize=18996948 memory=133144 CPUtime=3.96 cores=0,2
/proc/88441/stat : 88441 (java) S 88438 88441 86856 0 -1 4194304 16418 0 0 0 391 5 0 0 20 0 19 0 77493572 19452874752 33286 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
/proc/88441/statm: 4749237 33286 5495 1 0 550775 0
[pid=88441/tid=88443] ppid=88438 vsize=18996948 memory=10624 CPUtime=3.01 cores=0,2
/proc/88441/task/88443/stat : 88443 (java) R 88438 88441 86856 0 -1 4194368 6736 0 0 0 299 2 0 0 20 0 19 0 77493574 19452874752 33286 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88452] ppid=88438 vsize=18996948 memory=-6000919472740131943 CPUtime=0 cores=0,2
/proc/88441/task/88452/stat : 88452 (Finalizer) S 88438 88441 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77493576 19452874752 33286 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88459] ppid=88438 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/88441/task/88459/stat : 88459 (Common-Cleaner) S 88438 88441 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77493576 19452874752 33286 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88460] ppid=88438 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/88441/task/88460/stat : 88460 (Timer-0) S 88438 88441 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77493595 19452874752 33286 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
Current children cumulated CPU time: 3.96 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 133144 KiB

[startup+6.3002 s]
/proc/loadavg: 4.18 4.22 4.16 5/340 88461
/proc/meminfo: memFree=122504788/131249996 swapFree=33000896/33010684
[pid=88441] ppid=88438 vsize=19063512 memory=193904 CPUtime=7.2 cores=0,2
/proc/88441/stat : 88441 (java) S 88438 88441 86856 0 -1 4194304 19577 0 0 0 713 7 0 0 20 0 20 0 77493572 19521036288 48476 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
/proc/88441/statm: 4765878 48476 5527 1 0 551069 0
[pid=88441/tid=88443] ppid=88438 vsize=19063512 memory=0 CPUtime=6.17 cores=0,2
/proc/88441/task/88443/stat : 88443 (java) R 88438 88441 86856 0 -1 4194368 7413 0 0 0 614 3 0 0 20 0 20 0 77493574 19521036288 48476 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88452] ppid=88438 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/88441/task/88452/stat : 88452 (Finalizer) S 88438 88441 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77493576 19521036288 48476 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88459] ppid=88438 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/88441/task/88459/stat : 88459 (Common-Cleaner) S 88438 88441 86856 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 77493576 19521036288 48476 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88460] ppid=88438 vsize=19063512 memory=104516 CPUtime=0 cores=0,2
/proc/88441/task/88460/stat : 88460 (Timer-0) S 88438 88441 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77493595 19521036288 48476 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
Current children cumulated CPU time: 7.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 193904 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.22 4.16 5/340 88461
/proc/meminfo: memFree=122447696/131249996 swapFree=33000896/33010684
[pid=88441] ppid=88438 vsize=19063512 memory=255352 CPUtime=13.82 cores=0,2
/proc/88441/stat : 88441 (java) S 88438 88441 86856 0 -1 4194304 24331 0 0 0 1372 10 0 0 20 0 20 0 77493572 19521036288 63838 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
/proc/88441/statm: 4765878 63838 5527 1 0 551085 0
[pid=88441/tid=88443] ppid=88438 vsize=19063512 memory=104516 CPUtime=12.5 cores=0,2
/proc/88441/task/88443/stat : 88443 (java) R 88438 88441 86856 0 -1 4194368 8951 0 0 0 1247 3 0 0 20 0 20 0 77493574 19521036288 63838 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88452] ppid=88438 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/88441/task/88452/stat : 88452 (Finalizer) S 88438 88441 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77493576 19521036288 63838 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88459] ppid=88438 vsize=19063512 memory=253560 CPUtime=0 cores=0,2
/proc/88441/task/88459/stat : 88459 (Common-Cleaner) S 88438 88441 86856 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 77493576 19521036288 63838 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88460] ppid=88438 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/88441/task/88460/stat : 88460 (Timer-0) S 88438 88441 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77493595 19521036288 63838 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
Current children cumulated CPU time: 13.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 255352 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.22 4.16 5/340 88461
/proc/meminfo: memFree=122224496/131249996 swapFree=33000896/33010684
[pid=88441] ppid=88438 vsize=19063512 memory=415260 CPUtime=26.87 cores=0,2
/proc/88441/stat : 88441 (java) S 88438 88441 86856 0 -1 4194304 29563 0 0 0 2673 14 0 0 20 0 20 0 77493572 19521036288 103815 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
/proc/88441/statm: 4765878 103815 5559 1 0 551557 0
[pid=88441/tid=88443] ppid=88438 vsize=19063512 memory=10624 CPUtime=25.12 cores=0,2
/proc/88441/task/88443/stat : 88443 (java) R 88438 88441 86856 0 -1 4194368 9681 0 0 0 2509 3 0 0 20 0 20 0 77493574 19521036288 103815 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88452] ppid=88438 vsize=19063512 memory=253560 CPUtime=0 cores=0,2
/proc/88441/task/88452/stat : 88452 (Finalizer) S 88438 88441 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77493576 19521036288 103815 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88459] ppid=88438 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/88441/task/88459/stat : 88459 (Common-Cleaner) S 88438 88441 86856 0 -1 4194368 59 0 0 0 0 0 0 0 20 0 20 0 77493576 19521036288 103815 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88460] ppid=88438 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/88441/task/88460/stat : 88460 (Timer-0) S 88438 88441 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77493595 19521036288 103815 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
Current children cumulated CPU time: 26.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 415260 KiB

[startup+51.1055 s]
/proc/loadavg: 4.19 4.22 4.16 5/341 88463
/proc/meminfo: memFree=121880712/131249996 swapFree=33000896/33010684
[pid=88441] ppid=88438 vsize=19063512 memory=700812 CPUtime=52.73 cores=0,2
/proc/88441/stat : 88441 (java) S 88438 88441 86856 0 -1 4194304 31326 0 0 0 5253 20 0 0 20 0 20 0 77493572 19521036288 175203 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
/proc/88441/statm: 4765878 175203 5559 1 0 551573 0
[pid=88441/tid=88443] ppid=88438 vsize=19063512 memory=700812 CPUtime=50.41 cores=0,2
/proc/88441/task/88443/stat : 88443 (java) R 88438 88441 86856 0 -1 4194368 9776 0 0 0 5037 4 0 0 20 0 20 0 77493574 19521036288 175203 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88452] ppid=88438 vsize=19063512 memory=700812 CPUtime=0 cores=0,2

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

[startup+3222.3 s]
/proc/loadavg: 4.11 4.16 4.16 5/341 88846
/proc/meminfo: memFree=118961276/131249996 swapFree=33000896/33010684
[pid=88441] ppid=88438 vsize=19063512 memory=7607828 CPUtime=3240.41 cores=0,2
/proc/88441/stat : 88441 (java) S 88438 88441 86856 0 -1 4194304 186807 0 0 0 323764 277 0 0 20 0 20 0 77493572 19521036288 1901957 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
/proc/88441/statm: 4765878 1901957 5559 1 0 2736341 0
[pid=88441/tid=88443] ppid=88438 vsize=19063512 memory=6990368 CPUtime=3194.5 cores=0,2
/proc/88441/task/88443/stat : 88443 (java) R 88438 88441 86856 0 -1 4194368 71891 0 0 0 319404 46 0 0 20 0 20 0 77493574 19521036288 1901957 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88452] ppid=88438 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/88441/task/88452/stat : 88452 (Finalizer) S 88438 88441 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77493576 19521036288 1901957 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88459] ppid=88438 vsize=19063512 memory=7572924 CPUtime=0 cores=0,2
/proc/88441/task/88459/stat : 88459 (Common-Cleaner) S 88438 88441 86856 0 -1 4194368 2310 0 0 0 0 0 0 0 20 0 20 0 77493576 19521036288 1901957 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88460] ppid=88438 vsize=19063512 memory=7601684 CPUtime=0 cores=0,2
/proc/88441/task/88460/stat : 88460 (Timer-0) S 88438 88441 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77493595 19521036288 1901957 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
Current children cumulated CPU time: 3240.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7607828 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/340 88848
/proc/meminfo: memFree=117010404/131249996 swapFree=33000896/33010684
[pid=88441] ppid=88438 vsize=19063512 memory=7867932 CPUtime=3300.6 cores=0,2
/proc/88441/stat : 88441 (java) S 88438 88441 86856 0 -1 4194304 189734 0 0 0 329776 284 0 0 20 0 20 0 77493572 19521036288 1966983 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
/proc/88441/statm: 4765878 1966983 5559 1 0 2736341 0
[pid=88441/tid=88443] ppid=88438 vsize=19063512 memory=7732756 CPUtime=3254.03 cores=0,2
/proc/88441/task/88443/stat : 88443 (java) R 88438 88441 86856 0 -1 4194368 73287 0 0 0 325354 49 0 0 20 0 20 0 77493574 19521036288 1966983 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88452] ppid=88438 vsize=19063512 memory=7867932 CPUtime=0 cores=0,2
/proc/88441/task/88452/stat : 88452 (Finalizer) S 88438 88441 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77493576 19521036288 1966983 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88459] ppid=88438 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/88441/task/88459/stat : 88459 (Common-Cleaner) S 88438 88441 86856 0 -1 4194368 2347 0 0 0 0 0 0 0 20 0 20 0 77493576 19521036288 1966983 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88460] ppid=88438 vsize=19063512 memory=7708180 CPUtime=0 cores=0,2
/proc/88441/task/88460/stat : 88460 (Timer-0) S 88438 88441 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77493595 19521036288 1966983 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
Current children cumulated CPU time: 3300.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7867932 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/340 88850
/proc/meminfo: memFree=116134040/131249996 swapFree=33000896/33010684
[pid=88441] ppid=88438 vsize=19063512 memory=7867932 CPUtime=3360.47 cores=0,2
/proc/88441/stat : 88441 (java) S 88438 88441 86856 0 -1 4194304 190327 0 0 0 335762 285 0 0 20 0 20 0 77493572 19521036288 1966983 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
/proc/88441/statm: 4765878 1966983 5559 1 0 2736341 0
[pid=88441/tid=88443] ppid=88438 vsize=19063512 memory=7867932 CPUtime=3313.88 cores=0,2
/proc/88441/task/88443/stat : 88443 (java) R 88438 88441 86856 0 -1 4194368 73847 0 0 0 331339 49 0 0 20 0 20 0 77493574 19521036288 1966983 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88452] ppid=88438 vsize=19063512 memory=7867932 CPUtime=0 cores=0,2
/proc/88441/task/88452/stat : 88452 (Finalizer) S 88438 88441 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77493576 19521036288 1966983 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88459] ppid=88438 vsize=19063512 memory=7867932 CPUtime=0 cores=0,2
/proc/88441/task/88459/stat : 88459 (Common-Cleaner) S 88438 88441 86856 0 -1 4194368 2348 0 0 0 0 0 0 0 20 0 20 0 77493576 19521036288 1966983 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88460] ppid=88438 vsize=19063512 memory=14156 CPUtime=0 cores=0,2
/proc/88441/task/88460/stat : 88460 (Timer-0) S 88438 88441 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77493595 19521036288 1966983 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
Current children cumulated CPU time: 3360.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 7867932 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/339 88852
/proc/meminfo: memFree=115037100/131249996 swapFree=33000896/33010684
[pid=88441] ppid=88438 vsize=19063512 memory=8228576 CPUtime=3420.73 cores=0,2
/proc/88441/stat : 88441 (java) S 88438 88441 86856 0 -1 4194304 194279 0 0 0 341781 292 0 0 20 0 20 0 77493572 19521036288 2057144 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
/proc/88441/statm: 4765878 2057144 5559 1 0 2736341 0
[pid=88441/tid=88443] ppid=88438 vsize=19063512 memory=7867932 CPUtime=3373.36 cores=0,2
/proc/88441/task/88443/stat : 88443 (java) R 88438 88441 86856 0 -1 4194368 76574 0 0 0 337286 50 0 0 20 0 20 0 77493574 19521036288 2057144 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88452] ppid=88438 vsize=19063512 memory=4624 CPUtime=0 cores=0,2
/proc/88441/task/88452/stat : 88452 (Finalizer) S 88438 88441 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77493576 19521036288 2057144 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88459] ppid=88438 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/88441/task/88459/stat : 88459 (Common-Cleaner) S 88438 88441 86856 0 -1 4194368 2435 0 0 0 0 0 0 0 20 0 20 0 77493576 19521036288 2057144 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88460] ppid=88438 vsize=19063512 memory=8228576 CPUtime=0 cores=0,2
/proc/88441/task/88460/stat : 88460 (Timer-0) S 88438 88441 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77493595 19521036288 2057144 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
Current children cumulated CPU time: 3420.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8228576 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.15 5/340 88855
/proc/meminfo: memFree=114630376/131249996 swapFree=33000896/33010684
[pid=88441] ppid=88438 vsize=19063512 memory=8228576 CPUtime=3480.9 cores=0,2
/proc/88441/stat : 88441 (java) S 88438 88441 86856 0 -1 4194304 197332 0 0 0 347796 294 0 0 20 0 20 0 77493572 19521036288 2057144 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
/proc/88441/statm: 4765878 2057144 5559 1 0 2736341 0
[pid=88441/tid=88443] ppid=88438 vsize=19063512 memory=7867932 CPUtime=3432.91 cores=0,2
/proc/88441/task/88443/stat : 88443 (java) R 88438 88441 86856 0 -1 4194368 77765 0 0 0 343241 50 0 0 20 0 20 0 77493574 19521036288 2057144 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88452] ppid=88438 vsize=19063512 memory=4624 CPUtime=0 cores=0,2
/proc/88441/task/88452/stat : 88452 (Finalizer) S 88438 88441 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77493576 19521036288 2057144 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88459] ppid=88438 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/88441/task/88459/stat : 88459 (Common-Cleaner) S 88438 88441 86856 0 -1 4194368 2514 0 0 0 0 0 0 0 20 0 20 0 77493576 19521036288 2057144 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88460] ppid=88438 vsize=19063512 memory=14336 CPUtime=0 cores=0,2
/proc/88441/task/88460/stat : 88460 (Timer-0) S 88438 88441 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77493595 19521036288 2057144 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
Current children cumulated CPU time: 3480.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8228576 KiB

[startup+3522.3 s]
/proc/loadavg: 4.40 4.21 4.18 5/340 88857
/proc/meminfo: memFree=114577304/131249996 swapFree=33000896/33010684
[pid=88441] ppid=88438 vsize=19063512 memory=8228576 CPUtime=3540.75 cores=0,2
/proc/88441/stat : 88441 (java) S 88438 88441 86856 0 -1 4194304 200464 0 0 0 353780 295 0 0 20 0 20 0 77493572 19521036288 2057144 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
/proc/88441/statm: 4765878 2057144 5559 1 0 2736341 0
[pid=88441/tid=88443] ppid=88438 vsize=19063512 memory=5632 CPUtime=3492.74 cores=0,2
/proc/88441/task/88443/stat : 88443 (java) R 88438 88441 86856 0 -1 4194368 80727 0 0 0 349224 50 0 0 20 0 20 0 77493574 19521036288 2057144 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88452] ppid=88438 vsize=19063512 memory=8228576 CPUtime=0 cores=0,2
/proc/88441/task/88452/stat : 88452 (Finalizer) S 88438 88441 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77493576 19521036288 2057144 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88459] ppid=88438 vsize=19063512 memory=8228576 CPUtime=0 cores=0,2
/proc/88441/task/88459/stat : 88459 (Common-Cleaner) S 88438 88441 86856 0 -1 4194368 2589 0 0 0 0 0 0 0 20 0 20 0 77493576 19521036288 2057144 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88460] ppid=88438 vsize=19063512 memory=-6000919472740131943 CPUtime=0 cores=0,2
/proc/88441/task/88460/stat : 88460 (Timer-0) S 88438 88441 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77493595 19521036288 2057144 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
Current children cumulated CPU time: 3540.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8228576 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3581.4 s]
/proc/loadavg: 4.19 4.18 4.17 5/341 88860
/proc/meminfo: memFree=113983384/131249996 swapFree=33000896/33010684
[pid=88441] ppid=88438 vsize=19063512 memory=8228576 CPUtime=3600.04 cores=0,2
/proc/88441/stat : 88441 (java) S 88438 88441 86856 0 -1 4194304 203620 0 0 0 359707 297 0 0 20 0 20 0 77493572 19521036288 2057144 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
/proc/88441/statm: 4765878 2057144 5559 1 0 2736341 0
[pid=88441/tid=88443] ppid=88438 vsize=19063512 memory=2152672 CPUtime=3551.36 cores=0,2
/proc/88441/task/88443/stat : 88443 (java) R 88438 88441 86856 0 -1 4194368 82078 0 0 0 355085 51 0 0 20 0 20 0 77493574 19521036288 2057144 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88452] ppid=88438 vsize=19063512 memory=5160 CPUtime=0 cores=0,2
/proc/88441/task/88452/stat : 88452 (Finalizer) S 88438 88441 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77493576 19521036288 2057144 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88459] ppid=88438 vsize=19063512 memory=5092 CPUtime=0 cores=0,2
/proc/88441/task/88459/stat : 88459 (Common-Cleaner) S 88438 88441 86856 0 -1 4194368 2728 0 0 0 0 0 0 0 20 0 20 0 77493576 19521036288 2057144 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88460] ppid=88438 vsize=19063512 memory=8228576 CPUtime=0 cores=0,2
/proc/88441/task/88460/stat : 88460 (Timer-0) S 88438 88441 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77493595 19521036288 2057144 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8228576 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.33 s, system=3.00663 s

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

[startup+3581.51 s]
/proc/loadavg: 4.19 4.18 4.17 5/341 88860
/proc/meminfo: memFree=113983384/131249996 swapFree=33000896/33010684
[pid=88441] ppid=88438 vsize=19263204 memory=8229088 CPUtime=3600.25 cores=0,2
/proc/88441/stat : 88441 (java) S 88438 88441 86856 0 -1 4194304 207388 0 0 0 359727 298 0 0 20 0 21 0 77493572 19725520896 2057272 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
/proc/88441/statm: 4815801 2057272 5559 1 0 2737247 0
[pid=88441/tid=88443] ppid=88438 vsize=19263204 memory=2760 CPUtime=3551.46 cores=0,2
/proc/88441/task/88443/stat : 88443 (java) R 88438 88441 86856 0 -1 4194368 83083 0 0 0 355095 51 0 0 20 0 21 0 77493574 19725520896 2057272 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88452] ppid=88438 vsize=19263204 memory=8228576 CPUtime=0 cores=0,2
/proc/88441/task/88452/stat : 88452 (Finalizer) S 88438 88441 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77493576 19725520896 2057272 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
[pid=88441/tid=88459] ppid=88438 vsize=19263204 memory=14336 CPUtime=0 cores=0,2
/proc/88441/task/88459/stat : 88459 (Common-Cleaner) S 88438 88441 86856 0 -1 4194368 2728 0 0 0 0 0 0 0 20 0 21 0 77493576 19725520896 2057272 18446744073709551615 94044997398528 94044997402224 140732567185024 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94044997410040 94044997410832 94045024870400 140732567193983 140732567194084 140732567194084 140732567199688 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 8229088 KiB

Child status: 143

Real time (s): 3581.56
CPU time (s): 3600.33
CPU user time (s): 3597.33
CPU system time (s): 3.00663
CPU usage (%): 100.524
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 8229088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.33
system time used= 3.00663
maximum resident set size= 8229344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207699
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111435
involuntary context switches= 10213


# summary of solver processes directly reported to runsolver:
#   pid: 88441
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3597.33
#   total CPU system time (s): 3.00663

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.33387 second user time and 17.2263 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-04 10:35:57
IDJOB=4525109
IDBENCH=143456
IDSOLVER=3380
FILE ID=nodeC023/4525109-1751618157
RUNJOBID= nodeC023-1751614174-86866
SLURM_JOB_ID= 9598917
Free space on /tmp= 431868 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525109-1751618157/watcher-4525109-1751618157 -o /tmp/evaluation-result-4525109-1751618157/solver-4525109-1751618157 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751614174-86866 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4525109-1751618157.wbo

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

MD5SUM BENCH= 485321322f8570ec0cc1d4f7566d27d9
RANDOM SEED=1470774585

nodeC023 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.342
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.894
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.944
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.78
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		: 3562.784
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.78
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.897
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.888
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.78
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.494
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.78
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		: 3700.000
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        122719340 kB
MemAvailable:   122470200 kB
Buffers:              16 kB
Cached:           493836 kB
SwapCached:         2900 kB
Active:          7431584 kB
Inactive:         354356 kB
Active(anon):    7251256 kB
Inactive(anon):    53368 kB
Active(file):     180328 kB
Inactive(file):   300988 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000896 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1064 kB
Writeback:             0 kB
AnonPages:       7292180 kB
Mapped:           117876 kB
Shmem:             12524 kB
KReclaimable:     217568 kB
Slab:             309352 kB
SReclaimable:     217568 kB
SUnreclaim:        91784 kB
KernelStack:        5116 kB
PageTables:        18032 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    8917688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7022592 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431868 MiB
End job on nodeC023 at 2025-07-04 11:35:39