Trace number 4440262

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07SAT (TO)180 3600.3 3541.97

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-bench1.r.opb
MD5SUMf38762496267db1df9beeeeb0c56175f
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark121
Best CPU time to get the best result obtained on this benchmark0.393057
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4688
Total number of constraints403
Number of constraints which are clauses403
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint80
Number of terms in the objective function 4688
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4688
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4688
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.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 CUSTOM.v20240707
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		4.18.0-301.1.el8.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.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	Expensive reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4440262-1721772838.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.14	c  objective function found
0.13/0.21	c ... done. Wall clock time 0.068s.
0.13/0.21	c declared #vars     4688
0.13/0.21	c #constraints  403
0.13/0.21	c constraints type 
0.13/0.21	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1
0.13/0.21	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 402
0.13/0.21	c 403 constraints processed.
0.34/0.22	c objective function length is 4688 literals
0.34/0.26	c SATISFIABLE
0.34/0.26	c OPTIMIZING...
0.34/0.26	c Got one! Elapsed wall clock time (in seconds):0.123
0.34/0.26	o 181
0.73/0.47	c Got one! Elapsed wall clock time (in seconds):0.34
0.73/0.47	o 180
3.61/1.94	c cleaning 2629 clauses out of 5270 with flag 15274/5270
5.35/3.42	c cleaning 4314 clauses out of 8641 with flag 36618/11270
7.24/5.20	c cleaning 5659 clauses out of 11327 with flag 60015/18270
9.26/7.24	c cleaning 6834 clauses out of 13667 with flag 87658/26269
11.62/9.52	c cleaning 7916 clauses out of 15833 with flag 115442/35269
14.04/11.97	c cleaning 8952 clauses out of 17918 with flag 146493/45270
16.82/14.79	c cleaning 9951 clauses out of 19965 with flag 179758/56269
19.86/17.79	c cleaning 10977 clauses out of 22014 with flag 215657/68269
23.19/21.07	c cleaning 11993 clauses out of 24037 with flag 253787/81269
26.93/24.74	c cleaning 12968 clauses out of 26044 with flag 295208/95269
30.80/28.56	c cleaning 14018 clauses out of 28083 with flag 341771/110276
34.96/32.93	c cleaning 15000 clauses out of 30058 with flag 392438/126269
39.70/37.58	c cleaning 15978 clauses out of 32058 with flag 449941/143269
44.75/42.44	c cleaning 17023 clauses out of 34082 with flag 505871/161271
49.85/47.53	c cleaning 17966 clauses out of 36066 with flag 563421/180278
55.52/53.12	c cleaning 18986 clauses out of 38091 with flag 622395/200269
61.77/59.31	c cleaning 20025 clauses out of 40105 with flag 689268/221269
68.15/66.11	c cleaning 21025 clauses out of 42080 with flag 763826/243269
74.35/72.24	c cleaning 22011 clauses out of 44057 with flag 838880/266271
80.90/78.79	c cleaning 22977 clauses out of 46044 with flag 916237/290269
88.00/85.82	c cleaning 23988 clauses out of 48068 with flag 992483/315270
95.52/93.65	c cleaning 25029 clauses out of 50079 with flag 1072887/341269
103.04/101.00	c cleaning 25984 clauses out of 52050 with flag 1154110/368269
110.92/108.74	c cleaning 26982 clauses out of 54066 with flag 1245306/396269
119.07/116.81	c cleaning 28016 clauses out of 56085 with flag 1334956/425270
127.37/125.30	c cleaning 29008 clauses out of 58071 with flag 1431202/455272
135.92/133.81	c cleaning 30004 clauses out of 60062 with flag 1528006/486271
145.86/143.64	c cleaning 31014 clauses out of 62060 with flag 1633094/518273
155.85/153.47	c cleaning 32016 clauses out of 64042 with flag 1744664/551269
165.71/163.53	c cleaning 33002 clauses out of 66026 with flag 1855078/585269
175.88/173.40	c cleaning 33978 clauses out of 68024 with flag 1967934/620269
186.46/183.94	c cleaning 34993 clauses out of 70048 with flag 2080204/656271
198.44/196.18	c cleaning 35998 clauses out of 72058 with flag 2197469/693274
209.85/207.41	c cleaning 37027 clauses out of 74056 with flag 2319576/731270
221.01/218.69	c cleaning 37988 clauses out of 76029 with flag 2442676/770270
232.96/230.59	c cleaning 39010 clauses out of 78040 with flag 2572419/810269
244.82/242.29	c cleaning 40007 clauses out of 80032 with flag 2701150/851271
258.09/255.66	c cleaning 40997 clauses out of 82023 with flag 2832637/893269
272.75/270.29	c cleaning 41998 clauses out of 84026 with flag 2964248/936269
285.61/283.30	c cleaning 42993 clauses out of 86028 with flag 3103419/980269
299.42/297.06	c cleaning 43996 clauses out of 88035 with flag 3244936/1025269
313.53/311.24	c cleaning 45002 clauses out of 90039 with flag 3397929/1071269
327.94/325.57	c cleaning 46014 clauses out of 92037 with flag 3544693/1118269
342.88/340.54	c cleaning 46941 clauses out of 94023 with flag 3693070/1166269
359.45/357.10	c cleaning 48026 clauses out of 96086 with flag 3854124/1215273
376.96/374.20	c cleaning 48999 clauses out of 98057 with flag 4010173/1265270
392.35/389.59	c cleaning 50002 clauses out of 100057 with flag 4179994/1316269
407.97/405.28	c cleaning 51017 clauses out of 102057 with flag 4344055/1368271
424.93/422.02	c cleaning 51981 clauses out of 104040 with flag 4504729/1421271
439.79/437.02	c cleaning 52981 clauses out of 106057 with flag 4676666/1475269
457.60/454.78	c cleaning 54029 clauses out of 108076 with flag 4849964/1530269
473.47/470.66	c cleaning 55009 clauses out of 110053 with flag 5034576/1586275
491.28/488.29	c cleaning 56012 clauses out of 112039 with flag 5224961/1643270
509.94/506.91	c cleaning 56964 clauses out of 114033 with flag 5405167/1701276
527.58/524.68	c cleaning 57998 clauses out of 116062 with flag 5590874/1760269
545.39/541.99	c cleaning 58987 clauses out of 118067 with flag 5782461/1820272
565.93/562.94	c cleaning 59972 clauses out of 120077 with flag 5967231/1881269
585.00/581.90	c cleaning 60999 clauses out of 122106 with flag 6160014/1943270
604.29/601.27	c cleaning 62019 clauses out of 124106 with flag 6356449/2006269
626.13/623.22	c cleaning 63022 clauses out of 126087 with flag 6577053/2070269
646.88/643.79	c cleaning 63998 clauses out of 128068 with flag 6775940/2135272
667.60/664.02	c cleaning 64973 clauses out of 130067 with flag 6987011/2201269
691.65/688.14	c cleaning 66032 clauses out of 132097 with flag 7205829/2268272
715.16/711.64	c cleaning 66955 clauses out of 134064 with flag 7413050/2336271
737.30/733.65	c cleaning 68024 clauses out of 136107 with flag 7630604/2405269
759.20/754.99	c cleaning 69011 clauses out of 138087 with flag 7843580/2475273
780.82/776.68	c cleaning 69999 clauses out of 140073 with flag 8068809/2546270
803.92/799.84	c cleaning 70983 clauses out of 142075 with flag 8287146/2618271
828.62/824.40	c cleaning 72016 clauses out of 144092 with flag 8530080/2691271
852.00/847.44	c cleaning 72993 clauses out of 146074 with flag 8758981/2765269
876.84/872.24	c cleaning 74002 clauses out of 148082 with flag 8998593/2840270
901.21/896.66	c cleaning 74987 clauses out of 150082 with flag 9241519/2916272
927.35/922.79	c cleaning 75991 clauses out of 152095 with flag 9486783/2993272
952.95/947.74	c cleaning 76977 clauses out of 154101 with flag 9726693/3071269
978.48/973.13	c cleaning 77987 clauses out of 156126 with flag 9978323/3150271
1003.79/998.47	c cleaning 79031 clauses out of 158143 with flag 10231696/3230275
1030.00/1024.05	c cleaning 80014 clauses out of 160106 with flag 10480440/3311269
1056.01/1050.25	c cleaning 81004 clauses out of 162092 with flag 10739003/3393269
1084.39/1078.51	c cleaning 81989 clauses out of 164089 with flag 11000484/3476270
1113.28/1106.82	c cleaning 83002 clauses out of 166099 with flag 11255395/3560269
1140.45/1133.78	c cleaning 83982 clauses out of 168097 with flag 11510202/3645269
1169.95/1162.50	c cleaning 85015 clauses out of 170115 with flag 11770048/3731269
1199.06/1191.62	c cleaning 85960 clauses out of 172100 with flag 12035054/3818269
1231.15/1222.80	c cleaning 87013 clauses out of 174141 with flag 12299450/3906270
1262.63/1254.30	c cleaning 88004 clauses out of 176129 with flag 12572120/3995271
1290.12/1281.01	c cleaning 89011 clauses out of 178123 with flag 12852933/4085269
1325.63/1316.57	c cleaning 90020 clauses out of 180116 with flag 13133127/4176273
1353.03/1343.19	c cleaning 91011 clauses out of 182093 with flag 13432517/4268270
1382.66/1372.73	c cleaning 92019 clauses out of 184081 with flag 13730703/4361269
1412.65/1401.92	c cleaning 92992 clauses out of 186062 with flag 14021139/4455269
1442.67/1432.05	c cleaning 94013 clauses out of 188070 with flag 14324769/4550269
1473.50/1462.01	c cleaning 94996 clauses out of 190057 with flag 14635192/4646269
1504.94/1493.43	c cleaning 96016 clauses out of 192063 with flag 14948066/4743271
1536.58/1524.63	c cleaning 96996 clauses out of 194050 with flag 15263348/4841274
1571.13/1559.09	c cleaning 98003 clauses out of 196049 with flag 15586865/4940269
1600.21/1587.65	c cleaning 98979 clauses out of 198046 with flag 15901488/5040269
1632.10/1618.95	c cleaning 99969 clauses out of 200067 with flag 16218059/5141269
1662.23/1649.03	c cleaning 101009 clauses out of 202100 with flag 16543529/5243271
1693.98/1680.46	c cleaning 102002 clauses out of 204089 with flag 16858962/5346269
1727.63/1713.25	c cleaning 102996 clauses out of 206087 with flag 17177886/5450269
1759.74/1744.52	c cleaning 104033 clauses out of 208093 with flag 17512841/5555271
1794.14/1777.99	c cleaning 105015 clauses out of 210059 with flag 17856273/5661270
1831.54/1814.54	c cleaning 105940 clauses out of 212049 with flag 18197202/5768275
1868.98/1850.94	c cleaning 107010 clauses out of 214103 with flag 18545975/5876269
1908.63/1889.57	c cleaning 108009 clauses out of 216095 with flag 18890106/5985271
1952.68/1932.53	c cleaning 109014 clauses out of 218086 with flag 19233867/6095271
1998.09/1977.35	c cleaning 109982 clauses out of 220072 with flag 19590088/6206271
2042.89/2021.12	c cleaning 111001 clauses out of 222088 with flag 19962574/6318269
2092.87/2070.52	c cleaning 112012 clauses out of 224087 with flag 20344265/6431269
2128.89/2105.88	c cleaning 113012 clauses out of 226075 with flag 20698977/6545269
2178.48/2154.80	c cleaning 114009 clauses out of 228064 with flag 21063786/6660270
2224.17/2199.77	c cleaning 114977 clauses out of 230055 with flag 21423843/6776270
2264.37/2238.95	c cleaning 115973 clauses out of 232080 with flag 21792661/6893272
2309.01/2282.74	c cleaning 116993 clauses out of 234104 with flag 22174640/7011269
2353.06/2325.83	c cleaning 117987 clauses out of 236112 with flag 22547498/7130270
2401.19/2373.27	c cleaning 119017 clauses out of 238126 with flag 22928840/7250271
2448.37/2419.65	c cleaning 119994 clauses out of 240107 with flag 23302428/7371269
2494.11/2464.80	c cleaning 121017 clauses out of 242114 with flag 23688384/7493270
2541.32/2511.02	c cleaning 122028 clauses out of 244096 with flag 24081028/7616269
2594.23/2562.97	c cleaning 123005 clauses out of 246070 with flag 24468938/7740271
2642.39/2609.93	c cleaning 123936 clauses out of 248063 with flag 24859984/7865269
2690.85/2657.71	c cleaning 124984 clauses out of 250127 with flag 25255713/7991269
2739.24/2705.79	c cleaning 125989 clauses out of 252143 with flag 25646709/8118269
2788.92/2754.77	c cleaning 127043 clauses out of 254161 with flag 26068265/8246276
2840.33/2804.28	c cleaning 127987 clauses out of 256111 with flag 26488483/8375269
2890.01/2853.15	c cleaning 129002 clauses out of 258124 with flag 26912425/8505269
2946.43/2908.16	c cleaning 130019 clauses out of 260122 with flag 27323081/8636269
3001.11/2961.94	c cleaning 131017 clauses out of 262103 with flag 27741862/8768269
3057.19/3016.15	c cleaning 132009 clauses out of 264086 with flag 28152100/8901269
3112.59/3069.32	c cleaning 132978 clauses out of 266078 with flag 28598937/9035270
3166.75/3121.47	c cleaning 133959 clauses out of 268099 with flag 29049003/9170269
3226.00/3178.54	c cleaning 135042 clauses out of 270143 with flag 29482565/9306272
3285.17/3235.60	c cleaning 136002 clauses out of 272099 with flag 29934154/9443270
3340.58/3290.57	c cleaning 136998 clauses out of 274096 with flag 30378249/9581269
3396.70/3344.88	c cleaning 137995 clauses out of 276102 with flag 30818545/9720273
3450.32/3396.53	c cleaning 139033 clauses out of 278107 with flag 31276027/9860273
3500.64/3444.93	c cleaning 139996 clauses out of 280081 with flag 31720245/10001280
3545.49/3488.92	c cleaning 140970 clauses out of 282074 with flag 32164739/10143269
3594.38/3536.13	c cleaning 142034 clauses out of 284104 with flag 32618328/10286269
3600.05/3541.83	c starts		: 4
3600.05/3541.83	c conflicts		: 10306707
3600.05/3541.83	c decisions		: 53915875
3600.05/3541.83	c propagations		: 8523140661
3600.05/3541.83	c inspects		: 6977899775
3600.05/3541.83	c shortcuts		: 0
3600.05/3541.83	c learnt literals	: 0
3600.05/3541.83	c learnt binary clauses	: 0
3600.05/3541.83	c learnt ternary clauses	: 0
3600.05/3541.83	c learnt constraints	: 10306707
3600.05/3541.83	c ignored constraints	: 0
3600.05/3541.83	c root simplifications	: 0
3600.05/3541.83	c removed literals (reason simplification)	: 19161886
3600.05/3541.83	c reason swapping (by a shorter reason)	: 0
3600.05/3541.83	c Calls to reduceDB	: 139
3600.05/3541.83	c Number of update (reduction) of LBD	: 4726250
3600.05/3541.83	c Imported unit clauses	: 0
3600.05/3541.83	c No decision after first conflict	: false
3600.05/3541.83	c number of reductions to clauses (during analyze)	: 0
3600.05/3541.83	c number of learned constraints concerned by reduction	: 0
3600.05/3541.83	c number of learning phase by resolution	: 0
3600.05/3541.83	c number of learning phase by cutting planes	: 0
3600.05/3541.83	c number of rounding to 1 operations	: 0
3600.05/3541.83	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3541.83	c number of reductions of the coefficients by power 2 	: 0
3600.05/3541.83	c number of right shift for reduction by power 2 	: 0
3600.05/3541.83	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3541.83	c number of ending skipping 	: 0
3600.05/3541.83	c number of internal skipping 	: 0
3600.05/3541.83	c number of derivation steps 	: 0
3600.05/3541.83	c number of skipped derivation steps 	: 0
3600.05/3541.83	c number of remaining unassigned 	: 0
3600.05/3541.83	c number of remaining assigned 	: 0
3600.05/3541.83	c number of falsified literals weakened from reason	: 0
3600.05/3541.83	c number of falsified literals weakened from conflict	: 0
3600.05/3541.83	c time for arithmetic operations	: 0
3600.05/3541.83	c minimum degree of deleted constraints	: null
3600.05/3541.83	c maximum degree of deleted constraints	: null
3600.05/3541.83	c number of deleted constraints	: 0
3600.05/3541.83	c speed (assignments/second)	: 2406585.2496801578
3600.05/3541.83	c non guided choices	: 1
3600.05/3541.91	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 162508
3600.05/3541.91	s SATISFIABLE
3600.05/3541.91	c Found 2 solution(s)
3600.05/3541.91	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 
3600.27/3541.91	c objective function=180
3600.27/3541.91	c Total wall clock time (in seconds): 3541.78

Verifier Data 

OK	180

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: 63931 MiB (27669 MiB free)
  memory of node 1: 64510 MiB (30691 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440262-1721772838/watcher-4440262-1721772838 -o /tmp/evaluation-result-4440262-1721772838/solver-4440262-1721772838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721765707-124432 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440262-1721772838 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440262-1721772838.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=129242, runsolver pid=129239

[startup+0.102923 s]*
/proc/loadavg: 4.40 4.49 4.47 5/342 129260
/proc/meminfo: memFree=59712900/131524600 swapFree=131064524/131071996
[pid=129242] ppid=129239 vsize=18975048 memory=66736 CPUtime=0.13 cores=5,7
/proc/129242/stat : 129242 (java) S 129239 129242 124419 0 -1 1077936128 7585 0 0 0 11 2 0 0 20 0 18 0 13808023 19430449152 16684 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
/proc/129242/statm: 4743762 16684 5668 1 0 549309 0
[pid=129242/tid=129244] ppid=129239 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/129242/task/129244/stat : 129244 (java) R 129239 129242 124419 0 -1 1077936192 6167 0 0 0 6 2 0 0 20 0 18 0 13808023 19430449152 16684 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129253] ppid=129239 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/129242/task/129253/stat : 129253 (Finalizer) S 129239 129242 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13808026 19430449152 16684 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129260] ppid=129239 vsize=18975048 memory=16104770973650387 CPUtime=0 cores=5,7
/proc/129242/task/129260/stat : 129260 (Common-Cleaner) S 129239 129242 124419 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 13808026 19430449152 16684 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66736 KiB

[startup+0.213908 s]*
/proc/loadavg: 4.40 4.49 4.47 6/342 129260
/proc/meminfo: memFree=59697348/131524600 swapFree=131064524/131071996
[pid=129242] ppid=129239 vsize=18975048 memory=79660 CPUtime=0.34 cores=5,7
/proc/129242/stat : 129242 (java) S 129239 129242 124419 0 -1 1077936128 9112 0 0 0 31 3 0 0 20 0 18 0 13808023 19430449152 19915 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
/proc/129242/statm: 4743762 19915 5838 1 0 550280 0
[pid=129242/tid=129244] ppid=129239 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/129242/task/129244/stat : 129244 (java) R 129239 129242 124419 0 -1 4194368 6421 0 0 0 16 2 0 0 20 0 18 0 13808023 19430449152 19915 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129253] ppid=129239 vsize=18975048 memory=970086 CPUtime=0 cores=5,7
/proc/129242/task/129253/stat : 129253 (Finalizer) S 129239 129242 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13808026 19430449152 19915 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129260] ppid=129239 vsize=18975048 memory=14135541352367841 CPUtime=0 cores=5,7
/proc/129242/task/129260/stat : 129260 (Common-Cleaner) S 129239 129242 124419 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 13808026 19430449152 19915 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 79660 KiB

[startup+0.306695 s]*
/proc/loadavg: 4.40 4.49 4.47 7/343 129261
/proc/meminfo: memFree=59687484/131524600 swapFree=131064524/131071996
[pid=129242] ppid=129239 vsize=19041612 memory=86200 CPUtime=0.51 cores=5,7
/proc/129242/stat : 129242 (java) S 129239 129242 124419 0 -1 1077936128 9707 0 0 0 48 3 0 0 20 0 19 0 13808023 19498610688 21550 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
/proc/129242/statm: 4760403 21550 5869 1 0 551010 0
[pid=129242/tid=129244] ppid=129239 vsize=19041612 memory=-8528243620608516796 CPUtime=0.26 cores=5,7
/proc/129242/task/129244/stat : 129244 (java) R 129239 129242 124419 0 -1 4194368 6519 0 0 0 24 2 0 0 20 0 19 0 13808023 19498610688 21550 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129253] ppid=129239 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/129242/task/129253/stat : 129253 (Finalizer) S 129239 129242 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13808026 19498610688 21550 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129260] ppid=129239 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/129242/task/129260/stat : 129260 (Common-Cleaner) S 129239 129242 124419 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 13808026 19498610688 21550 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129261] ppid=129239 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/129242/task/129261/stat : 129261 (Timer-0) S 129239 129242 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13808046 19498610688 21550 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 86200 KiB

[startup+0.700257 s]
/proc/loadavg: 4.40 4.49 4.47 8/343 129261
/proc/meminfo: memFree=59635184/131524600 swapFree=131064524/131071996
[pid=129242] ppid=129239 vsize=19041612 memory=172804 CPUtime=1.27 cores=5,7
/proc/129242/stat : 129242 (java) S 129239 129242 124419 0 -1 1077936128 13041 0 0 0 122 5 0 0 20 0 19 0 13808023 19498610688 43201 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
/proc/129242/statm: 4760403 43201 5906 1 0 553471 0
[pid=129242/tid=129244] ppid=129239 vsize=19041612 memory=12256 CPUtime=0.59 cores=5,7
/proc/129242/task/129244/stat : 129244 (java) R 129239 129242 124419 0 -1 4194368 6569 0 0 0 55 4 0 0 20 0 19 0 13808023 19498610688 43201 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129253] ppid=129239 vsize=19041612 memory=12256 CPUtime=0 cores=5,7
/proc/129242/task/129253/stat : 129253 (Finalizer) S 129239 129242 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13808026 19498610688 43201 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129260] ppid=129239 vsize=19041612 memory=117636 CPUtime=0 cores=5,7
/proc/129242/task/129260/stat : 129260 (Common-Cleaner) S 129239 129242 124419 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 13808026 19498610688 43201 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129261] ppid=129239 vsize=19041612 memory=25868 CPUtime=0 cores=5,7
/proc/129242/task/129261/stat : 129261 (Timer-0) S 129239 129242 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13808046 19498610688 43201 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 172804 KiB

[startup+1.50071 s]
/proc/loadavg: 4.40 4.49 4.47 4/326 129265
/proc/meminfo: memFree=65768236/131524600 swapFree=131064524/131071996
[pid=129242] ppid=129239 vsize=19108176 memory=190396 CPUtime=2.84 cores=5,7
/proc/129242/stat : 129242 (java) S 129239 129242 124419 0 -1 1077936128 15903 0 0 0 277 7 0 0 20 0 20 0 13808023 19566772224 47599 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
/proc/129242/statm: 4777044 47599 5938 1 0 553764 0
[pid=129242/tid=129244] ppid=129239 vsize=19108176 memory=12256 CPUtime=1.33 cores=5,7
/proc/129242/task/129244/stat : 129244 (java) R 129239 129242 124419 0 -1 4194368 6801 0 0 0 128 5 0 0 20 0 20 0 13808023 19566772224 47599 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129253] ppid=129239 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/129242/task/129253/stat : 129253 (Finalizer) S 129239 129242 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808026 19566772224 47599 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129260] ppid=129239 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/129242/task/129260/stat : 129260 (Common-Cleaner) S 129239 129242 124419 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 13808026 19566772224 47599 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129261] ppid=129239 vsize=19108176 memory=65 CPUtime=0 cores=5,7
/proc/129242/task/129261/stat : 129261 (Timer-0) S 129239 129242 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808046 19566772224 47599 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 190396 KiB

[startup+3.10597 s]
/proc/loadavg: 4.37 4.48 4.46 5/319 129293
/proc/meminfo: memFree=65879492/131524600 swapFree=131064524/131071996
[pid=129242] ppid=129239 vsize=19108176 memory=318096 CPUtime=5.04 cores=5,7
/proc/129242/stat : 129242 (java) S 129239 129242 124419 0 -1 1077936128 19370 0 0 0 492 12 0 0 20 0 20 0 13808023 19566772224 79524 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
/proc/129242/statm: 4777044 79524 5938 1 0 553812 0
[pid=129242/tid=129244] ppid=129239 vsize=19108176 memory=0 CPUtime=2.91 cores=5,7
/proc/129242/task/129244/stat : 129244 (java) R 129239 129242 124419 0 -1 4194368 7981 0 0 0 282 9 0 0 20 0 20 0 13808023 19566772224 79524 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129253] ppid=129239 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/129242/task/129253/stat : 129253 (Finalizer) S 129239 129242 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808026 19566772224 79524 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129260] ppid=129239 vsize=19108176 memory=190504 CPUtime=0 cores=5,7
/proc/129242/task/129260/stat : 129260 (Common-Cleaner) S 129239 129242 124419 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 13808026 19566772224 79524 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129261] ppid=129239 vsize=19108176 memory=12256 CPUtime=0 cores=5,7
/proc/129242/task/129261/stat : 129261 (Timer-0) S 129239 129242 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808046 19566772224 79524 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
Current children cumulated CPU time: 5.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 318096 KiB

[startup+6.30026 s]
/proc/loadavg: 4.37 4.48 4.46 6/344 129332
/proc/meminfo: memFree=92811780/131524600 swapFree=131064524/131071996
[pid=129242] ppid=129239 vsize=19108176 memory=626032 CPUtime=8.35 cores=5,7
/proc/129242/stat : 129242 (java) S 129239 129242 124419 0 -1 1077936128 20658 0 0 0 815 20 0 0 20 0 20 0 13808023 19566772224 156508 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
/proc/129242/statm: 4777044 156508 5938 1 0 660326 0
[pid=129242/tid=129244] ppid=129239 vsize=19108176 memory=0 CPUtime=6.03 cores=5,7
/proc/129242/task/129244/stat : 129244 (java) R 129239 129242 124419 0 -1 4194368 8177 0 0 0 587 16 0 0 20 0 20 0 13808023 19566772224 156508 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129253] ppid=129239 vsize=19108176 memory=5939512805091922265 CPUtime=0 cores=5,7
/proc/129242/task/129253/stat : 129253 (Finalizer) S 129239 129242 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808026 19566772224 156508 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129260] ppid=129239 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/129242/task/129260/stat : 129260 (Common-Cleaner) S 129239 129242 124419 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 13808026 19566772224 156508 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129261] ppid=129239 vsize=19108176 memory=12256 CPUtime=0 cores=5,7
/proc/129242/task/129261/stat : 129261 (Timer-0) S 129239 129242 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808046 19566772224 156508 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
Current children cumulated CPU time: 8.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 626032 KiB

[startup+12.7007 s]
/proc/loadavg: 4.42 4.49 4.47 5/344 129332
/proc/meminfo: memFree=91070956/131524600 swapFree=131064524/131071996
[pid=129242] ppid=129239 vsize=19108176 memory=888324 CPUtime=14.84 cores=5,7
/proc/129242/stat : 129242 (java) S 129239 129242 124419 0 -1 1077936128 21046 0 0 0 1454 30 0 0 20 0 20 0 13808023 19566772224 222081 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
/proc/129242/statm: 4777044 222081 5938 1 0 660336 0
[pid=129242/tid=129244] ppid=129239 vsize=19108176 memory=12256 CPUtime=12.26 cores=5,7
/proc/129242/task/129244/stat : 129244 (java) R 129239 129242 124419 0 -1 4194368 8418 0 0 0 1203 23 0 0 20 0 20 0 13808023 19566772224 222081 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129253] ppid=129239 vsize=19108176 memory=888324 CPUtime=0 cores=5,7
/proc/129242/task/129253/stat : 129253 (Finalizer) S 129239 129242 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808026 19566772224 222081 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129260] ppid=129239 vsize=19108176 memory=198340509722 CPUtime=0 cores=5,7
/proc/129242/task/129260/stat : 129260 (Common-Cleaner) S 129239 129242 124419 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 13808026 19566772224 222081 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129261] ppid=129239 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/129242/task/129261/stat : 129261 (Timer-0) S 129239 129242 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808046 19566772224 222081 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
Current children cumulated CPU time: 14.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 888324 KiB

[startup+25.5003 s]
/proc/loadavg: 4.33 4.46 4.46 5/344 129335
/proc/meminfo: memFree=89611064/131524600 swapFree=131064524/131071996
[pid=129242] ppid=129239 vsize=19108176 memory=1306688 CPUtime=27.73 cores=5,7
/proc/129242/stat : 129242 (java) S 129239 129242 124419 0 -1 1077936128 26119 0 0 0 2725 48 0 0 20 0 20 0 13808023 19566772224 326672 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
/proc/129242/statm: 4777044 326672 5938 1 0 660356 0
[pid=129242/tid=129244] ppid=129239 vsize=19108176 memory=1177596 CPUtime=24.8 cores=5,7
/proc/129242/task/129244/stat : 129244 (java) R 129239 129242 124419 0 -1 4194368 10429 0 0 0 2443 37 0 0 20 0 20 0 13808023 19566772224 326672 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129253] ppid=129239 vsize=19108176 memory=2460 CPUtime=0 cores=5,7
/proc/129242/task/129253/stat : 129253 (Finalizer) S 129239 129242 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808026 19566772224 326672 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129260] ppid=129239 vsize=19108176 memory=923480 CPUtime=0 cores=5,7
/proc/129242/task/129260/stat : 129260 (Common-Cleaner) S 129239 129242 124419 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 13808026 19566772224 326672 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129261] ppid=129239 vsize=19108176 memory=3340 CPUtime=0 cores=5,7
/proc/129242/task/129261/stat : 129261 (Timer-0) S 129239 129242 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808046 19566772224 326672 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
Current children cumulated CPU time: 27.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1306688 KiB

[startup+51.106 s]
/proc/loadavg: 4.66 4.52 4.48 5/344 129406
/proc/meminfo: memFree=121077988/131524600 swapFree=131064524/131071996
[pid=129242] ppid=129239 vsize=19108176 memory=1945872 CPUtime=53.52 cores=5,7
/proc/129242/stat : 129242 (java) S 129239 129242 124419 0 -1 1077936128 36347 0 0 0 5277 75 0 0 20 0 20 0 13808023 19566772224 486468 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
/proc/129242/statm: 4777044 486468 5953 1 0 660358 0
[pid=129242/tid=129244] ppid=129239 vsize=19108176 memory=1855620 CPUtime=49.58 cores=5,7
/proc/129242/task/129244/stat : 129244 (java) R 129239 129242 124419 0 -1 4194368 12651 0 0 0 4901 57 0 0 20 0 20 0 13808023 19566772224 486468 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 30 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0

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

[startup+3222.3 s]
/proc/loadavg: 4.43 4.36 4.30 6/337 131727
/proc/meminfo: memFree=48630528/131524600 swapFree=131064524/131071996
[pid=129242] ppid=129239 vsize=19108176 memory=2352168 CPUtime=3271.93 cores=5,7
/proc/129242/stat : 129242 (java) S 129239 129242 124419 0 -1 1077936128 415788 0 0 0 325480 1713 0 0 20 0 20 0 13808023 19566772224 588042 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
/proc/129242/statm: 4777044 588042 5966 1 0 596616 0
[pid=129242/tid=129244] ppid=129239 vsize=19108176 memory=2352108 CPUtime=3140.87 cores=5,7
/proc/129242/task/129244/stat : 129244 (java) R 129239 129242 124419 0 -1 4194368 140306 0 0 0 312554 1533 0 0 20 0 20 0 13808023 19566772224 588042 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2535 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129253] ppid=129239 vsize=19108176 memory=2352108 CPUtime=0 cores=5,7
/proc/129242/task/129253/stat : 129253 (Finalizer) S 129239 129242 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808026 19566772224 588042 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129260] ppid=129239 vsize=19108176 memory=2352108 CPUtime=0 cores=5,7
/proc/129242/task/129260/stat : 129260 (Common-Cleaner) S 129239 129242 124419 0 -1 1077936192 1835 0 0 0 0 0 0 0 20 0 20 0 13808026 19566772224 588042 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129261] ppid=129239 vsize=19108176 memory=2352108 CPUtime=0 cores=5,7
/proc/129242/task/129261/stat : 129261 (Timer-0) S 129239 129242 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808046 19566772224 588042 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
Current children cumulated CPU time: 3271.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2352168 KiB

[startup+3282.3 s]
/proc/loadavg: 4.32 4.34 4.30 5/336 131740
/proc/meminfo: memFree=47486268/131524600 swapFree=131064524/131071996
[pid=129242] ppid=129239 vsize=19108176 memory=2352168 CPUtime=3332.63 cores=5,7
/proc/129242/stat : 129242 (java) S 129239 129242 124419 0 -1 1077936128 416343 0 0 0 331523 1740 0 0 20 0 20 0 13808023 19566772224 588042 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
/proc/129242/statm: 4777044 588042 5966 1 0 596616 0
[pid=129242/tid=129244] ppid=129239 vsize=19108176 memory=2352168 CPUtime=3199.24 cores=5,7
/proc/129242/task/129244/stat : 129244 (java) R 129239 129242 124419 0 -1 4194368 140587 0 0 0 318366 1558 0 0 20 0 20 0 13808023 19566772224 588042 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2602 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129253] ppid=129239 vsize=19108176 memory=12256 CPUtime=0 cores=5,7
/proc/129242/task/129253/stat : 129253 (Finalizer) S 129239 129242 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808026 19566772224 588042 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129260] ppid=129239 vsize=19108176 memory=5464 CPUtime=0 cores=5,7
/proc/129242/task/129260/stat : 129260 (Common-Cleaner) S 129239 129242 124419 0 -1 1077936192 1865 0 0 0 0 0 0 0 20 0 20 0 13808026 19566772224 588042 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129261] ppid=129239 vsize=19108176 memory=2352168 CPUtime=0 cores=5,7
/proc/129242/task/129261/stat : 129261 (Timer-0) S 129239 129242 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808046 19566772224 588042 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
Current children cumulated CPU time: 3332.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2352168 KiB

[startup+3342.3 s]
/proc/loadavg: 4.30 4.32 4.29 5/337 131751
/proc/meminfo: memFree=46488208/131524600 swapFree=131064524/131071996
[pid=129242] ppid=129239 vsize=19108176 memory=2352168 CPUtime=3394.21 cores=5,7
/proc/129242/stat : 129242 (java) S 129239 129242 124419 0 -1 1077936128 416827 0 0 0 337651 1770 0 0 20 0 20 0 13808023 19566772224 588042 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
/proc/129242/statm: 4777044 588042 5966 1 0 596616 0
[pid=129242/tid=129244] ppid=129239 vsize=19108176 memory=12256 CPUtime=3257.68 cores=5,7
/proc/129242/task/129244/stat : 129244 (java) R 129239 129242 124419 0 -1 4194368 140918 0 0 0 324182 1586 0 0 20 0 20 0 13808023 19566772224 588042 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2665 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129253] ppid=129239 vsize=19108176 memory=5464 CPUtime=0 cores=5,7
/proc/129242/task/129253/stat : 129253 (Finalizer) S 129239 129242 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808026 19566772224 588042 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129260] ppid=129239 vsize=19108176 memory=2352168 CPUtime=0 cores=5,7
/proc/129242/task/129260/stat : 129260 (Common-Cleaner) S 129239 129242 124419 0 -1 1077936192 1865 0 0 0 0 0 0 0 20 0 20 0 13808026 19566772224 588042 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129261] ppid=129239 vsize=19108176 memory=11464 CPUtime=0 cores=5,7
/proc/129242/task/129261/stat : 129261 (Timer-0) S 129239 129242 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808046 19566772224 588042 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
Current children cumulated CPU time: 3394.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2352168 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.28 4.27 5/339 131766
/proc/meminfo: memFree=45553488/131524600 swapFree=131064524/131071996
[pid=129242] ppid=129239 vsize=19108176 memory=2352176 CPUtime=3456.16 cores=5,7
/proc/129242/stat : 129242 (java) S 129239 129242 124419 0 -1 1077936128 419695 0 0 0 343817 1799 0 0 20 0 20 0 13808023 19566772224 588044 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
/proc/129242/statm: 4777044 588044 5966 1 0 596616 0
[pid=129242/tid=129244] ppid=129239 vsize=19108176 memory=16076 CPUtime=3316.02 cores=5,7
/proc/129242/task/129244/stat : 129244 (java) R 129239 129242 124419 0 -1 4194368 142078 0 0 0 329991 1611 0 0 20 0 20 0 13808023 19566772224 588044 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2718 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129253] ppid=129239 vsize=19108176 memory=43956 CPUtime=0 cores=5,7
/proc/129242/task/129253/stat : 129253 (Finalizer) S 129239 129242 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808026 19566772224 588044 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129260] ppid=129239 vsize=19108176 memory=2352168 CPUtime=0 cores=5,7
/proc/129242/task/129260/stat : 129260 (Common-Cleaner) S 129239 129242 124419 0 -1 1077936192 1865 0 0 0 0 0 0 0 20 0 20 0 13808026 19566772224 588044 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129261] ppid=129239 vsize=19108176 memory=2352176 CPUtime=0 cores=5,7
/proc/129242/task/129261/stat : 129261 (Timer-0) S 129239 129242 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808046 19566772224 588044 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
Current children cumulated CPU time: 3456.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2352176 KiB

[startup+3462.3 s]
/proc/loadavg: 4.32 4.30 4.28 5/339 131777
/proc/meminfo: memFree=44505772/131524600 swapFree=131064524/131071996
[pid=129242] ppid=129239 vsize=19108176 memory=2352176 CPUtime=3518.99 cores=5,7
/proc/129242/stat : 129242 (java) S 129239 129242 124419 0 -1 1077936128 421833 0 0 0 350066 1833 0 0 20 0 20 0 13808023 19566772224 588044 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
/proc/129242/statm: 4777044 588044 5966 1 0 596619 0
[pid=129242/tid=129244] ppid=129239 vsize=19108176 memory=2352176 CPUtime=3374.34 cores=5,7
/proc/129242/task/129244/stat : 129244 (java) R 129239 129242 124419 0 -1 4194368 142423 0 0 0 335793 1641 0 0 20 0 20 0 13808023 19566772224 588044 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 2784 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129253] ppid=129239 vsize=19108176 memory=2236 CPUtime=0 cores=5,7
/proc/129242/task/129253/stat : 129253 (Finalizer) S 129239 129242 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808026 19566772224 588044 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129260] ppid=129239 vsize=19108176 memory=-8528243620608516796 CPUtime=0 cores=5,7
/proc/129242/task/129260/stat : 129260 (Common-Cleaner) S 129239 129242 124419 0 -1 1077936192 1898 0 0 0 0 0 0 0 20 0 20 0 13808026 19566772224 588044 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129261] ppid=129239 vsize=19108176 memory=2352176 CPUtime=0 cores=5,7
/proc/129242/task/129261/stat : 129261 (Timer-0) S 129239 129242 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808046 19566772224 588044 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
Current children cumulated CPU time: 3518.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2352176 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.26 4.27 5/338 131791
/proc/meminfo: memFree=43363712/131524600 swapFree=131064524/131071996
[pid=129242] ppid=129239 vsize=19108176 memory=2352176 CPUtime=3579.47 cores=5,7
/proc/129242/stat : 129242 (java) S 129239 129242 124419 0 -1 1077936128 422267 0 0 0 356085 1862 0 0 20 0 20 0 13808023 19566772224 588044 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
/proc/129242/statm: 4777044 588044 5966 1 0 596619 0
[pid=129242/tid=129244] ppid=129239 vsize=19108176 memory=-8528243620608516796 CPUtime=3432.43 cores=5,7
/proc/129242/task/129244/stat : 129244 (java) R 129239 129242 124419 0 -1 4194368 142778 0 0 0 341574 1669 0 0 20 0 20 0 13808023 19566772224 588044 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 2844 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129253] ppid=129239 vsize=19108176 memory=2352176 CPUtime=0 cores=5,7
/proc/129242/task/129253/stat : 129253 (Finalizer) S 129239 129242 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808026 19566772224 588044 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129260] ppid=129239 vsize=19108176 memory=2352176 CPUtime=0 cores=5,7
/proc/129242/task/129260/stat : 129260 (Common-Cleaner) S 129239 129242 124419 0 -1 1077936192 1898 0 0 0 0 0 0 0 20 0 20 0 13808026 19566772224 588044 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129261] ppid=129239 vsize=19108176 memory=11464 CPUtime=0 cores=5,7
/proc/129242/task/129261/stat : 129261 (Timer-0) S 129239 129242 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808046 19566772224 588044 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
Current children cumulated CPU time: 3579.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2352176 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3541.8 s]
/proc/loadavg: 4.25 4.27 4.27 5/337 131795
/proc/meminfo: memFree=43088460/131524600 swapFree=131064524/131071996
[pid=129242] ppid=129239 vsize=19108176 memory=2352176 CPUtime=3600.05 cores=5,7
/proc/129242/stat : 129242 (java) S 129239 129242 124419 0 -1 1077936128 422417 0 0 0 358133 1872 0 0 20 0 20 0 13808023 19566772224 588044 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
/proc/129242/statm: 4777044 588044 5966 1 0 596636 0
[pid=129242/tid=129244] ppid=129239 vsize=19108176 memory=1848 CPUtime=3451.26 cores=5,7
/proc/129242/task/129244/stat : 129244 (java) R 129239 129242 124419 0 -1 4194368 142907 0 0 0 343449 1677 0 0 20 0 20 0 13808023 19566772224 588044 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 2871 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129253] ppid=129239 vsize=19108176 memory=100 CPUtime=0 cores=5,7
/proc/129242/task/129253/stat : 129253 (Finalizer) S 129239 129242 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13808026 19566772224 588044 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129260] ppid=129239 vsize=19108176 memory=1984 CPUtime=0 cores=5,7
/proc/129242/task/129260/stat : 129260 (Common-Cleaner) S 129239 129242 124419 0 -1 1077936192 1898 0 0 0 0 0 0 0 20 0 20 0 13808026 19566772224 588044 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129261] ppid=129239 vsize=19108176 memory=32048 CPUtime=0 cores=5,7
/proc/129242/task/129261/stat : 129261 (Timer-0) S 129239 129242 124419 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13808046 19566772224 588044 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2352176 KiB

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

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

# cumulated CPU time of all completed processes:  user=3581.56 s, system=18.7387 s

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

[startup+3541.92 s]
/proc/loadavg: 4.25 4.27 4.27 5/337 131795
/proc/meminfo: memFree=43088460/131524600 swapFree=131064524/131071996
[pid=129242] ppid=129239 vsize=19307868 memory=2352808 CPUtime=3600.27 cores=5,7
/proc/129242/stat : 129242 (java) S 129239 129242 124419 0 -1 1077936128 423742 0 0 0 358155 1872 0 0 20 0 21 0 13808023 19771256832 588202 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
/proc/129242/statm: 4826967 588202 5965 1 0 597573 0
[pid=129242/tid=129244] ppid=129239 vsize=19307868 memory=2352176 CPUtime=3451.38 cores=5,7
/proc/129242/task/129244/stat : 129244 (java) R 129239 129242 124419 0 -1 1077936192 142962 0 0 0 343461 1677 0 0 20 0 21 0 13808023 19771256832 588202 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 2871 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129253] ppid=129239 vsize=19307868 memory=11464 CPUtime=0 cores=5,7
/proc/129242/task/129253/stat : 129253 (Finalizer) S 129239 129242 124419 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 13808026 19771256832 588202 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
[pid=129242/tid=129260] ppid=129239 vsize=19307868 memory=2352176 CPUtime=0 cores=5,7
/proc/129242/task/129260/stat : 129260 (Common-Cleaner) S 129239 129242 124419 0 -1 1077936192 1898 0 0 0 0 0 0 0 20 0 21 0 13808026 19771256832 588202 134679101440 94534213750784 94534213754480 140723000471680 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94534213762296 94534213763088 94534220505088 140723000476587 140723000476769 140723000476769 140723000483784 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2352808 KiB

Child status: 143

Real time (s): 3541.97
CPU time (s): 3600.3
CPU user time (s): 3581.56
CPU system time (s): 18.7387
CPU usage (%): 101.647
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2600584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.56
system time used= 18.7387
maximum resident set size= 2600588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 423812
page faults= 0
swaps= 0
block input operations= 0
block output operations= 35067688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131789
involuntary context switches= 16306


# summary of solver processes directly reported to runsolver:
#   pid: 129242
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3581.56
#   total CPU system time (s): 18.7387

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45868 second user time and 18.3617 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-24 00:13:58
IDJOB=4440262
IDBENCH=147662
IDSOLVER=3079
FILE ID=nodeC034/4440262-1721772838
RUNJOBID= nodeC034-1721765707-124432
SLURM_JOB_ID= 7770676
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-bench1.r.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440262-1721772838/watcher-4440262-1721772838 -o /tmp/evaluation-result-4440262-1721772838/solver-4440262-1721772838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721765707-124432 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440262-1721772838 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440262-1721772838.opb

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

MD5SUM BENCH= f38762496267db1df9beeeeb0c56175f
RANDOM SEED=1405873916

nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3651.187
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.92
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		: 3619.961
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.84
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		: 3600.020
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.92
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		: 3670.241
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.84
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		: 3671.282
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.92
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		: 3650.637
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.84
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		: 3600.048
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.92
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		: 3651.686
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        59762860 kB
MemAvailable:   117680516 kB
Buffers:          179592 kB
Cached:         58458476 kB
SwapCached:          104 kB
Active:          1143328 kB
Inactive:       69793324 kB
Active(anon):       4072 kB
Inactive(anon): 12331716 kB
Active(file):    1139256 kB
Inactive(file): 57461608 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131064524 kB
Dirty:            719096 kB
Writeback:             8 kB
AnonPages:      12276496 kB
Mapped:           118988 kB
Shmem:             37116 kB
KReclaimable:     312876 kB
Slab:             441276 kB
SReclaimable:     312876 kB
SUnreclaim:       128400 kB
KernelStack:        5296 kB
PageTables:        34012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   13651688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17440 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8093696 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      330452 kB
DirectMap2M:    41385984 kB
DirectMap1G:    94371840 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC034 at 2024-07-24 01:13:00