Trace number 4525235

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06MSAT (TO) 3600.33 3580.37

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-71-70--soft-66-100-0.wbo
MD5SUMfaaafc1d2d1dba01ec3e252f861d3fdd
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.428346
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4970
Total number of constraints141
Number of soft constraints43
Number of constraints which are clauses71
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint70
Maximum length of a constraint71
Top cost 2285
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 2284
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 72
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4525235-1751621740.wbo
0.12/0.14	c reading problem ... 
0.32/0.22	c ... done. Wall clock time 0.079s.
0.32/0.22	c declared #vars     4970
0.32/0.22	c internal #vars     5013
0.32/0.22	c #constraints  142
0.32/0.22	c constraints type 
0.32/0.22	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 52
0.32/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 18
0.32/0.22	c org.sat4j.specs.Constr$1 => 1
0.32/0.22	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 71
0.32/0.22	c 142 constraints processed.
0.32/0.24	c objective function length is 43 literals
3.78/3.02	c cleaning 2496 clauses out of 5002 with flag 30737/5002
7.47/6.55	c cleaning 4247 clauses out of 8505 with flag 74062/11001
11.97/11.05	c cleaning 5625 clauses out of 11258 with flag 129943/18001
19.32/18.30	c cleaning 6808 clauses out of 13632 with flag 198504/26000
27.48/26.40	c cleaning 7903 clauses out of 15826 with flag 270883/35002
36.22/35.05	c cleaning 8953 clauses out of 17924 with flag 351360/45003
46.82/45.55	c cleaning 9976 clauses out of 19968 with flag 446553/56000
57.96/56.63	c cleaning 10985 clauses out of 21993 with flag 538270/68001
72.38/70.99	c cleaning 11997 clauses out of 24007 with flag 643207/81000
87.42/85.95	c cleaning 12997 clauses out of 26012 with flag 754555/95002
104.92/103.35	c cleaning 14001 clauses out of 28014 with flag 873117/110001
125.68/123.72	c cleaning 14999 clauses out of 30012 with flag 1004295/126000
147.77/145.65	c cleaning 16005 clauses out of 32015 with flag 1141712/143002
171.44/169.30	c cleaning 16999 clauses out of 34011 with flag 1287746/161003
198.82/196.55	c cleaning 17998 clauses out of 36009 with flag 1449472/180000
227.02/224.03	c cleaning 19001 clauses out of 38011 with flag 1612730/200000
252.51/249.58	c cleaning 19999 clauses out of 40010 with flag 1789607/221000
282.07/279.08	c cleaning 20999 clauses out of 42013 with flag 1969815/243002
315.78/312.66	c cleaning 21997 clauses out of 44012 with flag 2169560/266000
349.77/346.54	c cleaning 23001 clauses out of 46015 with flag 2365628/290000
389.24/386.00	c cleaning 23998 clauses out of 48014 with flag 2571888/315000
432.65/428.85	c cleaning 24998 clauses out of 50016 with flag 2798299/341000
477.72/473.46	c cleaning 26003 clauses out of 52018 with flag 3037568/368000
528.58/524.16	c cleaning 27004 clauses out of 54016 with flag 3288651/396001
581.58/577.13	c cleaning 28001 clauses out of 56013 with flag 3555859/425002
630.59/625.99	c cleaning 29000 clauses out of 58015 with flag 3809384/455005
681.95/677.22	c cleaning 30000 clauses out of 60012 with flag 4087678/486002
738.06/733.12	c cleaning 31001 clauses out of 62011 with flag 4371741/518001
766.79/761.37	c SATISFIABLE
766.79/761.37	c OPTIMIZING...
766.79/761.37	c Got one! Elapsed wall clock time (in seconds):761.229
766.79/761.37	o 97
767.16/761.67	c Got one! Elapsed wall clock time (in seconds):761.532
767.16/761.67	o 32
774.25/768.54	c cleaning 26528 clauses out of 53079 with flag 30944/540070
780.53/774.81	c cleaning 16268 clauses out of 32551 with flag 83257/546070
786.19/780.41	c cleaning 11633 clauses out of 23282 with flag 146653/553069
791.45/785.68	c cleaning 9817 clauses out of 19649 with flag 210234/561069
797.70/791.84	c cleaning 9407 clauses out of 18834 with flag 278186/570071
804.99/799.13	c cleaning 9705 clauses out of 19426 with flag 355665/580070
812.37/806.59	c cleaning 10345 clauses out of 20721 with flag 443525/591070
823.26/817.48	c cleaning 11180 clauses out of 22375 with flag 543792/603069
834.05/828.21	c cleaning 12090 clauses out of 24195 with flag 654443/616069
846.00/840.13	c cleaning 13046 clauses out of 26106 with flag 780711/630070
859.27/853.42	c cleaning 14022 clauses out of 28060 with flag 920526/645070
874.73/868.99	c cleaning 15012 clauses out of 30041 with flag 1067203/661073
893.39/887.60	c cleaning 16001 clauses out of 32026 with flag 1201535/678070
897.28/891.50	c Got one! Elapsed wall clock time (in seconds):891.365
897.28/891.50	o 28
898.78/893.05	c cleaning 13258 clauses out of 26550 with flag 32863/688595
901.67/895.91	c cleaning 9623 clauses out of 19292 with flag 85221/694595
905.51/899.60	c cleaning 8313 clauses out of 16670 with flag 141550/701596
909.60/903.76	c cleaning 8152 clauses out of 16356 with flag 203102/709595
915.18/909.35	c cleaning 8581 clauses out of 17204 with flag 281375/718595
921.88/916.04	c cleaning 9294 clauses out of 18625 with flag 377276/728597
930.07/924.09	c cleaning 10144 clauses out of 20330 with flag 468588/739596
938.24/932.27	c cleaning 11073 clauses out of 22187 with flag 577147/751597
948.53/942.30	c cleaning 12036 clauses out of 24114 with flag 686418/764597
959.53/953.23	c cleaning 13014 clauses out of 26077 with flag 802037/778596
973.14/966.74	c cleaning 14011 clauses out of 28063 with flag 927875/793596
987.64/981.16	c cleaning 15003 clauses out of 30051 with flag 1079116/809595
1002.40/995.94	c cleaning 16005 clauses out of 32049 with flag 1227103/826596
1021.99/1015.49	c cleaning 16999 clauses out of 34044 with flag 1390239/844596
1035.41/1028.79	c Got one! Elapsed wall clock time (in seconds):1028.653
1035.41/1028.79	o 4
1037.10/1030.48	c cleaning 18259 clauses out of 36537 with flag 31217/864088
1040.40/1033.63	c cleaning 12125 clauses out of 24278 with flag 76790/870088
1044.80/1038.03	c cleaning 9564 clauses out of 19153 with flag 133053/877088
1049.18/1042.41	c cleaning 8776 clauses out of 17591 with flag 201038/885090
1054.92/1048.09	c cleaning 8894 clauses out of 17815 with flag 282519/894090
1062.10/1055.21	c cleaning 9446 clauses out of 18920 with flag 376235/904089
1070.24/1063.21	c cleaning 10215 clauses out of 20474 with flag 478095/915089
1079.62/1072.69	c cleaning 11116 clauses out of 22258 with flag 584440/927088
1089.57/1082.43	c cleaning 12057 clauses out of 24142 with flag 709457/940088
1099.95/1092.80	c cleaning 13028 clauses out of 26085 with flag 835468/954088
1112.90/1105.44	c cleaning 14016 clauses out of 28057 with flag 964504/969088
1126.83/1119.30	c cleaning 15007 clauses out of 30044 with flag 1092038/985091
1141.80/1134.32	c cleaning 16007 clauses out of 32038 with flag 1236782/1002092
1160.55/1152.94	c cleaning 16994 clauses out of 34028 with flag 1400381/1020089
1182.80/1175.06	c cleaning 18002 clauses out of 36033 with flag 1578724/1039088
1204.54/1196.68	c cleaning 18999 clauses out of 38034 with flag 1763230/1059091
1228.49/1220.67	c cleaning 20001 clauses out of 40035 with flag 1957790/1080091
1256.30/1248.36	c cleaning 20999 clauses out of 42032 with flag 2166407/1102089
1285.00/1276.96	c cleaning 21995 clauses out of 44033 with flag 2382566/1125089
1319.20/1310.85	c cleaning 23004 clauses out of 46038 with flag 2605644/1149089
1354.20/1345.75	c cleaning 24006 clauses out of 48036 with flag 2831077/1174091
1394.76/1386.29	c cleaning 24996 clauses out of 50029 with flag 3078353/1200090
1433.66/1425.10	c cleaning 26002 clauses out of 52035 with flag 3323697/1227092
1478.65/1469.39	c cleaning 27000 clauses out of 54030 with flag 3580536/1255089
1525.34/1515.99	c cleaning 28002 clauses out of 56029 with flag 3859048/1284088
1577.68/1568.23	c cleaning 28999 clauses out of 58028 with flag 4140523/1314089
1633.25/1623.55	c cleaning 30000 clauses out of 60028 with flag 4436708/1345088
1690.99/1681.21	c cleaning 31000 clauses out of 62028 with flag 4715609/1377088
1754.91/1744.90	c cleaning 31999 clauses out of 64030 with flag 5042113/1410090
1822.84/1812.85	c cleaning 32996 clauses out of 66029 with flag 5325254/1444088
1893.86/1883.64	c cleaning 34002 clauses out of 68033 with flag 5621153/1479088
1947.92/1937.65	c cleaning 34997 clauses out of 70031 with flag 5940935/1515088
2006.04/1995.03	c cleaning 36004 clauses out of 72036 with flag 6279099/1552090
2069.76/2058.70	c cleaning 37002 clauses out of 74031 with flag 6611745/1590089
2113.22/2102.12	c Got one! Elapsed wall clock time (in seconds):2101.979
2113.22/2102.12	o 1
2115.70/2104.49	c cleaning 35358 clauses out of 70728 with flag 30556/1623788
2118.20/2106.90	c cleaning 20671 clauses out of 41372 with flag 66914/1629790
2120.79/2109.52	c cleaning 13825 clauses out of 27700 with flag 109474/1636789
2123.29/2112.07	c cleaning 10909 clauses out of 21873 with flag 162029/1644787
2127.03/2115.71	c cleaning 9960 clauses out of 19968 with flag 225843/1653791
2131.32/2120.05	c cleaning 9980 clauses out of 20005 with flag 291789/1663788
2136.21/2124.94	c cleaning 10487 clauses out of 21026 with flag 365744/1674789
2141.48/2130.16	c cleaning 11244 clauses out of 22536 with flag 455051/1686786
2148.07/2136.70	c cleaning 12125 clauses out of 24294 with flag 558044/1699788
2156.43/2145.00	c cleaning 13060 clauses out of 26167 with flag 675405/1713786
2164.72/2153.29	c cleaning 14034 clauses out of 28111 with flag 807044/1728790
2175.32/2163.64	c cleaning 15015 clauses out of 30075 with flag 949990/1744788
2187.49/2175.88	c cleaning 16008 clauses out of 32058 with flag 1105605/1761786
2204.73/2192.95	c cleaning 17006 clauses out of 34051 with flag 1256145/1779787
2223.10/2211.10	c cleaning 18000 clauses out of 36044 with flag 1418786/1798786
2243.85/2231.76	c cleaning 19002 clauses out of 38048 with flag 1594807/1818790
2264.71/2252.69	c cleaning 19999 clauses out of 40044 with flag 1792723/1839788
2288.95/2276.78	c cleaning 20992 clauses out of 42044 with flag 1996624/1861787
2301.30/2288.94	c cleaning 21966 clauses out of 44051 with flag 2172955/1884786
2314.33/2301.87	c cleaning 23000 clauses out of 46088 with flag 2351255/1908789
2335.56/2322.98	c cleaning 23993 clauses out of 48085 with flag 2540769/1933786
2360.30/2347.59	c cleaning 25011 clauses out of 50092 with flag 2747933/1959786
2387.55/2374.62	c cleaning 25995 clauses out of 52082 with flag 2946164/1986787
2416.29/2403.22	c cleaning 27006 clauses out of 54086 with flag 3169641/2014786
2447.16/2433.41	c cleaning 28008 clauses out of 56083 with flag 3413445/2043789
2480.38/2466.31	c cleaning 29001 clauses out of 58072 with flag 3656862/2073786
2513.63/2499.43	c cleaning 29996 clauses out of 60072 with flag 3912653/2104787
2550.16/2535.89	c cleaning 31004 clauses out of 62076 with flag 4164230/2136787
2590.15/2575.78	c cleaning 31997 clauses out of 64071 with flag 4443850/2169786
2634.62/2620.14	c cleaning 33002 clauses out of 66075 with flag 4729697/2203787
2680.14/2665.33	c cleaning 34001 clauses out of 68073 with flag 5039420/2238787
2734.24/2719.30	c cleaning 35002 clauses out of 70072 with flag 5369699/2274787
2794.15/2779.24	c cleaning 35991 clauses out of 72069 with flag 5681972/2311786
2819.12/2803.86	c cleaning 37014 clauses out of 74079 with flag 5927580/2349787
2854.04/2838.64	c cleaning 38015 clauses out of 76065 with flag 6208891/2388787
2893.67/2877.95	c cleaning 39009 clauses out of 78049 with flag 6505158/2428786
2943.38/2927.58	c cleaning 40011 clauses out of 80041 with flag 6836569/2469787
2998.39/2982.48	c cleaning 41004 clauses out of 82031 with flag 7179132/2511788
3047.75/3031.58	c cleaning 42002 clauses out of 84027 with flag 7537867/2554788
3098.46/3080.85	c cleaning 42999 clauses out of 86025 with flag 7913798/2598788
3154.88/3137.06	c cleaning 44004 clauses out of 88027 with flag 8288580/2643789
3218.23/3200.30	c cleaning 44995 clauses out of 90020 with flag 8692201/2689786
3270.96/3252.94	c cleaning 46003 clauses out of 92025 with flag 9110275/2736786
3331.09/3312.66	c cleaning 46998 clauses out of 94022 with flag 9522719/2784786
3392.14/3373.58	c cleaning 47994 clauses out of 96026 with flag 9923279/2833788
3450.75/3431.76	c cleaning 49000 clauses out of 98030 with flag 10291473/2883786
3502.44/3483.26	c cleaning 49988 clauses out of 100031 with flag 10689630/2934787
3550.81/3531.44	c cleaning 50991 clauses out of 102042 with flag 11093658/2986786
3600.04/3580.22	c starts		: 186
3600.04/3580.23	c conflicts		: 3037968
3600.04/3580.23	c decisions		: 3963037
3600.04/3580.23	c propagations		: 44960363
3600.04/3580.23	c inspects		: 10033483045
3600.04/3580.23	c shortcuts		: 0
3600.04/3580.23	c learnt literals	: 0
3600.04/3580.23	c learnt binary clauses	: 0
3600.04/3580.23	c learnt ternary clauses	: 0
3600.04/3580.23	c learnt constraints	: 3037968
3600.04/3580.23	c ignored constraints	: 0
3600.04/3580.23	c root simplifications	: 0
3600.04/3580.23	c removed literals (reason simplification)	: 5148540
3600.04/3580.23	c reason swapping (by a shorter reason)	: 0
3600.04/3580.23	c Calls to reduceDB	: 137
3600.04/3580.23	c Number of update (reduction) of LBD	: 1885741
3600.04/3580.23	c Imported unit clauses	: 0
3600.04/3580.23	c No decision after first conflict	: false
3600.04/3580.23	c number of reductions to clauses (during analyze)	: 0
3600.04/3580.23	c number of learned constraints concerned by reduction	: 0
3600.04/3580.23	c number of learning phase by resolution	: 0
3600.04/3580.23	c number of learning phase by cutting planes	: 0
3600.04/3580.23	c number of rounding to 1 operations	: 0
3600.04/3580.23	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3580.23	c number of reductions of the coefficients by power 2 	: 0
3600.04/3580.23	c number of right shift for reduction by power 2 	: 0
3600.04/3580.23	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3580.23	c number of ending skipping 	: 0
3600.04/3580.23	c number of internal skipping 	: 0
3600.04/3580.23	c number of derivation steps 	: 0
3600.04/3580.23	c number of skipped derivation steps 	: 0
3600.04/3580.23	c number of remaining unassigned 	: 0
3600.04/3580.23	c number of remaining assigned 	: 0
3600.04/3580.23	c number of falsified literals weakened from reason	: 0
3600.04/3580.23	c number of falsified literals weakened from conflict	: 0
3600.04/3580.23	c time for arithmetic operations	: 0
3600.04/3580.23	c minimum degree of deleted constraints	: null
3600.04/3580.23	c maximum degree of deleted constraints	: null
3600.04/3580.23	c number of deleted constraints	: 0
3600.04/3580.23	c speed (assignments/second)	: 12558.816743315054
3600.04/3580.23	c non guided choices	: 76194
3600.04/3580.30	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 102233
3600.04/3580.30	s SATISFIABLE
3600.04/3580.30	c Found 5 solution(s)
3600.24/3580.31	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 
3600.24/3580.33	c objective function=1
3600.24/3580.33	c Total wall clock time (in seconds): 3580.193

Verifier Data 

OK	1

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525235-1751621740/watcher-4525235-1751621740 -o /tmp/evaluation-result-4525235-1751621740/solver-4525235-1751621740 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751614174-86866 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4525235-1751621740.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=88907, runsolver pid=88904

[startup+0.100061 s]*
/proc/loadavg: 4.19 4.18 4.17 5/339 88925
/proc/meminfo: memFree=122140792/131249996 swapFree=33000896/33010684
[pid=88907] ppid=88904 vsize=18930384 memory=57792 CPUtime=0.12 cores=0,2
/proc/88907/stat : 88907 (java) S 88904 88907 86856 0 -1 4194304 6568 0 0 0 10 2 0 0 20 0 18 0 77851899 19384713216 14448 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
/proc/88907/statm: 4732596 14448 5349 1 0 547604 0
[pid=88907/tid=88909] ppid=88904 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/88907/task/88909/stat : 88909 (java) R 88904 88907 86856 0 -1 4194368 5057 0 0 0 6 2 0 0 20 0 18 0 77851900 19384713216 14448 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88918] ppid=88904 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/88907/task/88918/stat : 88918 (Finalizer) S 88904 88907 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77851902 19384713216 14448 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88925] ppid=88904 vsize=18930384 memory=58485492679666 CPUtime=0 cores=0,2
/proc/88907/task/88925/stat : 88925 (Common-Cleaner) S 88904 88907 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77851902 19384713216 14448 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57792 KiB

[startup+0.206091 s]*
/proc/loadavg: 4.19 4.18 4.17 6/339 88925
/proc/meminfo: memFree=122128000/131249996 swapFree=33000896/33010684
[pid=88907] ppid=88904 vsize=18930384 memory=69028 CPUtime=0.32 cores=0,2
/proc/88907/stat : 88907 (java) S 88904 88907 86856 0 -1 4194304 7352 0 0 0 29 3 0 0 20 0 18 0 77851899 19384713216 17257 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
/proc/88907/statm: 4732596 17257 5413 1 0 548126 0
[pid=88907/tid=88909] ppid=88904 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=0,2
/proc/88907/task/88909/stat : 88909 (java) R 88904 88907 86856 0 -1 4194368 5273 0 0 0 14 2 0 0 20 0 18 0 77851900 19384713216 17257 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88918] ppid=88904 vsize=18930384 memory=16099 CPUtime=0 cores=0,2
/proc/88907/task/88918/stat : 88918 (Finalizer) S 88904 88907 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77851902 19384713216 17257 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88925] ppid=88904 vsize=18930384 memory=57385981051877 CPUtime=0 cores=0,2
/proc/88907/task/88925/stat : 88925 (Common-Cleaner) S 88904 88907 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 77851902 19384713216 17257 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 69028 KiB

[startup+0.305813 s]*
/proc/loadavg: 4.19 4.18 4.17 6/340 88926
/proc/meminfo: memFree=122120376/131249996 swapFree=33000896/33010684
[pid=88907] ppid=88904 vsize=18996948 memory=75280 CPUtime=0.5 cores=0,2
/proc/88907/stat : 88907 (java) S 88904 88907 86856 0 -1 4194304 8735 0 0 0 47 3 0 0 20 0 19 0 77851899 19452874752 18820 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
/proc/88907/statm: 4749237 18820 5477 1 0 549338 0
[pid=88907/tid=88909] ppid=88904 vsize=18996948 memory=-6000919489970005095 CPUtime=0.23 cores=0,2
/proc/88907/task/88909/stat : 88909 (java) R 88904 88907 86856 0 -1 4194368 5368 0 0 0 21 2 0 0 20 0 19 0 77851900 19452874752 18820 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88918] ppid=88904 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/88907/task/88918/stat : 88918 (Finalizer) S 88904 88907 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77851902 19452874752 18820 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88925] ppid=88904 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/88907/task/88925/stat : 88925 (Common-Cleaner) S 88904 88907 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77851902 19452874752 18820 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88926] ppid=88904 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/88907/task/88926/stat : 88926 (Timer-0) S 88904 88907 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77851924 19452874752 18820 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 75280 KiB

[startup+0.700252 s]
/proc/loadavg: 4.19 4.18 4.17 7/340 88926
/proc/meminfo: memFree=122116596/131249996 swapFree=33000896/33010684
[pid=88907] ppid=88904 vsize=18996948 memory=85652 CPUtime=1.27 cores=0,2
/proc/88907/stat : 88907 (java) S 88904 88907 86856 0 -1 4194304 10372 0 0 0 123 4 0 0 20 0 19 0 77851899 19452874752 21413 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
/proc/88907/statm: 4749237 21413 5477 1 0 550270 0
[pid=88907/tid=88909] ppid=88904 vsize=18996948 memory=14336 CPUtime=0.62 cores=0,2
/proc/88907/task/88909/stat : 88909 (java) R 88904 88907 86856 0 -1 4194368 5405 0 0 0 60 2 0 0 20 0 19 0 77851900 19452874752 21413 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88918] ppid=88904 vsize=18996948 memory=10624 CPUtime=0 cores=0,2
/proc/88907/task/88918/stat : 88918 (Finalizer) S 88904 88907 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77851902 19452874752 21413 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88925] ppid=88904 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/88907/task/88925/stat : 88925 (Common-Cleaner) S 88904 88907 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77851902 19452874752 21413 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88926] ppid=88904 vsize=18996948 memory=4624 CPUtime=0 cores=0,2
/proc/88907/task/88926/stat : 88926 (Timer-0) S 88904 88907 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77851924 19452874752 21413 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 85652 KiB

[startup+1.50025 s]
/proc/loadavg: 4.19 4.18 4.17 5/340 88926
/proc/meminfo: memFree=122099460/131249996 swapFree=33000896/33010684
[pid=88907] ppid=88904 vsize=18996948 memory=98068 CPUtime=2.17 cores=0,2
/proc/88907/stat : 88907 (java) S 88904 88907 86856 0 -1 4194304 12149 0 0 0 212 5 0 0 20 0 19 0 77851899 19452874752 24517 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
/proc/88907/statm: 4749237 24517 5477 1 0 550272 0
[pid=88907/tid=88909] ppid=88904 vsize=18996948 memory=10624 CPUtime=1.42 cores=0,2
/proc/88907/task/88909/stat : 88909 (java) R 88904 88907 86856 0 -1 4194368 5540 0 0 0 139 3 0 0 20 0 19 0 77851900 19452874752 24517 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88918] ppid=88904 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/88907/task/88918/stat : 88918 (Finalizer) S 88904 88907 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77851902 19452874752 24517 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88925] ppid=88904 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/88907/task/88925/stat : 88925 (Common-Cleaner) S 88904 88907 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77851902 19452874752 24517 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88926] ppid=88904 vsize=18996948 memory=4624 CPUtime=0 cores=0,2
/proc/88907/task/88926/stat : 88926 (Timer-0) S 88904 88907 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77851924 19452874752 24517 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
Current children cumulated CPU time: 2.17 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 98068 KiB

[startup+3.10564 s]
/proc/loadavg: 4.17 4.18 4.17 6/340 88926
/proc/meminfo: memFree=121886492/131249996 swapFree=33000896/33010684
[pid=88907] ppid=88904 vsize=18996948 memory=122792 CPUtime=3.98 cores=0,2
/proc/88907/stat : 88907 (java) S 88904 88907 86856 0 -1 4194304 15840 0 0 0 391 7 0 0 20 0 19 0 77851899 19452874752 30698 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
/proc/88907/statm: 4749237 30698 5477 1 0 550778 0
[pid=88907/tid=88909] ppid=88904 vsize=18996948 memory=10624 CPUtime=3.03 cores=0,2
/proc/88907/task/88909/stat : 88909 (java) R 88904 88907 86856 0 -1 4194368 6941 0 0 0 299 4 0 0 20 0 19 0 77851900 19452874752 30698 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88918] ppid=88904 vsize=18996948 memory=-6000919489970005095 CPUtime=0 cores=0,2
/proc/88907/task/88918/stat : 88918 (Finalizer) S 88904 88907 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77851902 19452874752 30698 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88925] ppid=88904 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/88907/task/88925/stat : 88925 (Common-Cleaner) S 88904 88907 86856 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 77851902 19452874752 30698 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88926] ppid=88904 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/88907/task/88926/stat : 88926 (Timer-0) S 88904 88907 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77851924 19452874752 30698 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
Current children cumulated CPU time: 3.98 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 122792 KiB

[startup+6.30023 s]
/proc/loadavg: 4.17 4.18 4.17 5/341 88927
/proc/meminfo: memFree=121785164/131249996 swapFree=33000896/33010684
[pid=88907] ppid=88904 vsize=19063512 memory=213432 CPUtime=7.27 cores=0,2
/proc/88907/stat : 88907 (java) S 88904 88907 86856 0 -1 4194304 19733 0 0 0 718 9 0 0 20 0 20 0 77851899 19521036288 53358 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
/proc/88907/statm: 4765878 53358 5541 1 0 551067 0
[pid=88907/tid=88909] ppid=88904 vsize=19063512 memory=0 CPUtime=6.16 cores=0,2
/proc/88907/task/88909/stat : 88909 (java) R 88904 88907 86856 0 -1 4194368 7342 0 0 0 612 4 0 0 20 0 20 0 77851900 19521036288 53358 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88918] ppid=88904 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/88907/task/88918/stat : 88918 (Finalizer) S 88904 88907 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77851902 19521036288 53358 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88925] ppid=88904 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/88907/task/88925/stat : 88925 (Common-Cleaner) S 88904 88907 86856 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 77851902 19521036288 53358 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88926] ppid=88904 vsize=19063512 memory=100116 CPUtime=0 cores=0,2
/proc/88907/task/88926/stat : 88926 (Timer-0) S 88904 88907 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77851924 19521036288 53358 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
Current children cumulated CPU time: 7.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 213432 KiB

[startup+12.7002 s]
/proc/loadavg: 4.29 4.20 4.18 5/341 88928
/proc/meminfo: memFree=121785180/131249996 swapFree=33000896/33010684
[pid=88907] ppid=88904 vsize=19063512 memory=287416 CPUtime=13.73 cores=0,2
/proc/88907/stat : 88907 (java) S 88904 88907 86856 0 -1 4194304 22032 0 0 0 1362 11 0 0 20 0 20 0 77851899 19521036288 71854 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
/proc/88907/statm: 4765878 71854 5541 1 0 551067 0
[pid=88907/tid=88909] ppid=88904 vsize=19063512 memory=100116 CPUtime=12.48 cores=0,2
/proc/88907/task/88909/stat : 88909 (java) R 88904 88907 86856 0 -1 4194368 8126 0 0 0 1244 4 0 0 20 0 20 0 77851900 19521036288 71854 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88918] ppid=88904 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/88907/task/88918/stat : 88918 (Finalizer) S 88904 88907 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77851902 19521036288 71854 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88925] ppid=88904 vsize=19063512 memory=213432 CPUtime=0 cores=0,2
/proc/88907/task/88925/stat : 88925 (Common-Cleaner) S 88904 88907 86856 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 77851902 19521036288 71854 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88926] ppid=88904 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/88907/task/88926/stat : 88926 (Timer-0) S 88904 88907 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77851924 19521036288 71854 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
Current children cumulated CPU time: 13.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 287416 KiB

[startup+25.5002 s]
/proc/loadavg: 4.25 4.20 4.18 5/341 88928
/proc/meminfo: memFree=121633392/131249996 swapFree=33000896/33010684
[pid=88907] ppid=88904 vsize=19063512 memory=365440 CPUtime=26.58 cores=0,2
/proc/88907/stat : 88907 (java) S 88904 88907 86856 0 -1 4194304 22972 0 0 0 2646 12 0 0 20 0 20 0 77851899 19521036288 91360 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
/proc/88907/statm: 4765878 91360 5541 1 0 551083 0
[pid=88907/tid=88909] ppid=88904 vsize=19063512 memory=10624 CPUtime=25.18 cores=0,2
/proc/88907/task/88909/stat : 88909 (java) R 88904 88907 86856 0 -1 4194368 8508 0 0 0 2514 4 0 0 20 0 20 0 77851900 19521036288 91360 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88918] ppid=88904 vsize=19063512 memory=213432 CPUtime=0 cores=0,2
/proc/88907/task/88918/stat : 88918 (Finalizer) S 88904 88907 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77851902 19521036288 91360 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88925] ppid=88904 vsize=19063512 memory=5148 CPUtime=0 cores=0,2
/proc/88907/task/88925/stat : 88925 (Common-Cleaner) S 88904 88907 86856 0 -1 4194368 63 0 0 0 0 0 0 0 20 0 20 0 77851902 19521036288 91360 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88926] ppid=88904 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/88907/task/88926/stat : 88926 (Timer-0) S 88904 88907 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77851924 19521036288 91360 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
Current children cumulated CPU time: 26.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 365440 KiB

[startup+51.1057 s]
/proc/loadavg: 4.24 4.20 4.18 5/341 88928
/proc/meminfo: memFree=121307572/131249996 swapFree=33000896/33010684
[pid=88907] ppid=88904 vsize=19063512 memory=693436 CPUtime=52.48 cores=0,2
/proc/88907/stat : 88907 (java) S 88904 88907 86856 0 -1 4194304 26961 0 0 0 5228 20 0 0 20 0 20 0 77851899 19521036288 173359 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
/proc/88907/statm: 4765878 173359 5573 1 0 551352 0
[pid=88907/tid=88909] ppid=88904 vsize=19063512 memory=693436 CPUtime=50.42 cores=0,2
/proc/88907/task/88909/stat : 88909 (java) R 88904 88907 86856 0 -1 4194368 8900 0 0 0 5038 4 0 0 20 0 20 0 77851900 19521036288 173359 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88918] ppid=88904 vsize=19063512 memory=613400 CPUtime=0 cores=0,2

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

[startup+3222.3 s]
/proc/loadavg: 3.85 4.08 4.13 3/291 89237
/proc/meminfo: memFree=120812084/131249996 swapFree=33000896/33010684
[pid=88907] ppid=88904 vsize=19063512 memory=6965980 CPUtime=3240.43 cores=0,2
/proc/88907/stat : 88907 (java) S 88904 88907 86856 0 -1 4194304 163980 0 0 0 323793 250 0 0 20 0 20 0 77851899 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
/proc/88907/statm: 4765878 1741495 5573 1 0 2147509 0
[pid=88907/tid=88909] ppid=88904 vsize=19063512 memory=6189092 CPUtime=3194.51 cores=0,2
/proc/88907/task/88909/stat : 88909 (java) R 88904 88907 86856 0 -1 4194368 68568 0 0 0 319402 49 0 0 20 0 20 0 77851900 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88918] ppid=88904 vsize=19063512 memory=6965980 CPUtime=0 cores=0,2
/proc/88907/task/88918/stat : 88918 (Finalizer) S 88904 88907 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77851902 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88925] ppid=88904 vsize=19063512 memory=17396 CPUtime=0 cores=0,2
/proc/88907/task/88925/stat : 88925 (Common-Cleaner) S 88904 88907 86856 0 -1 4194368 1973 0 0 0 0 0 0 0 20 0 20 0 77851902 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88926] ppid=88904 vsize=19063512 memory=6965980 CPUtime=0 cores=0,2
/proc/88907/task/88926/stat : 88926 (Timer-0) S 88904 88907 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77851924 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
Current children cumulated CPU time: 3240.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6965980 KiB

[startup+3282.3 s]
/proc/loadavg: 2.80 3.73 4.01 3/291 89239
/proc/meminfo: memFree=120812696/131249996 swapFree=33000896/33010684
[pid=88907] ppid=88904 vsize=19063512 memory=6965980 CPUtime=3300.56 cores=0,2
/proc/88907/stat : 88907 (java) S 88904 88907 86856 0 -1 4194304 166782 0 0 0 329804 252 0 0 20 0 20 0 77851899 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
/proc/88907/statm: 4765878 1741495 5573 1 0 2147509 0
[pid=88907/tid=88909] ppid=88904 vsize=19063512 memory=6849216 CPUtime=3254.08 cores=0,2
/proc/88907/task/88909/stat : 88909 (java) R 88904 88907 86856 0 -1 4194368 70952 0 0 0 325359 49 0 0 20 0 20 0 77851900 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88918] ppid=88904 vsize=19063512 memory=14336 CPUtime=0 cores=0,2
/proc/88907/task/88918/stat : 88918 (Finalizer) S 88904 88907 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77851902 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88925] ppid=88904 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/88907/task/88925/stat : 88925 (Common-Cleaner) S 88904 88907 86856 0 -1 4194368 1973 0 0 0 0 0 0 0 20 0 20 0 77851902 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88926] ppid=88904 vsize=19063512 memory=-6000919489970005095 CPUtime=0 cores=0,2
/proc/88907/task/88926/stat : 88926 (Timer-0) S 88904 88907 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77851924 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
Current children cumulated CPU time: 3300.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6965980 KiB

[startup+3342.3 s]
/proc/loadavg: 2.34 3.43 3.88 3/290 89242
/proc/meminfo: memFree=120813284/131249996 swapFree=33000896/33010684
[pid=88907] ppid=88904 vsize=19063512 memory=6965980 CPUtime=3361 cores=0,2
/proc/88907/stat : 88907 (java) S 88904 88907 86856 0 -1 4194304 171301 0 0 0 335846 254 0 0 20 0 20 0 77851899 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
/proc/88907/statm: 4765878 1741495 5573 1 0 2147509 0
[pid=88907/tid=88909] ppid=88904 vsize=19063512 memory=5632 CPUtime=3313.38 cores=0,2
/proc/88907/task/88909/stat : 88909 (java) R 88904 88907 86856 0 -1 4194368 73474 0 0 0 331289 49 0 0 20 0 20 0 77851900 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88918] ppid=88904 vsize=19063512 memory=14336 CPUtime=0 cores=0,2
/proc/88907/task/88918/stat : 88918 (Finalizer) S 88904 88907 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77851902 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88925] ppid=88904 vsize=19063512 memory=6965980 CPUtime=0 cores=0,2
/proc/88907/task/88925/stat : 88925 (Common-Cleaner) S 88904 88907 86856 0 -1 4194368 2011 0 0 0 0 0 0 0 20 0 20 0 77851902 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88926] ppid=88904 vsize=19063512 memory=6965980 CPUtime=0 cores=0,2
/proc/88907/task/88926/stat : 88926 (Timer-0) S 88904 88907 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77851924 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
Current children cumulated CPU time: 3361 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6965980 KiB

[startup+3402.3 s]
/proc/loadavg: 2.17 3.18 3.77 3/289 89244
/proc/meminfo: memFree=120813640/131249996 swapFree=33000896/33010684
[pid=88907] ppid=88904 vsize=19063512 memory=6965980 CPUtime=3421.13 cores=0,2
/proc/88907/stat : 88907 (java) S 88904 88907 86856 0 -1 4194304 173591 0 0 0 341858 255 0 0 20 0 20 0 77851899 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
/proc/88907/statm: 4765878 1741495 5573 1 0 2147509 0
[pid=88907/tid=88909] ppid=88904 vsize=19063512 memory=6965980 CPUtime=3373.01 cores=0,2
/proc/88907/task/88909/stat : 88909 (java) R 88904 88907 86856 0 -1 4194368 74632 0 0 0 337251 50 0 0 20 0 20 0 77851900 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88918] ppid=88904 vsize=19063512 memory=6965980 CPUtime=0 cores=0,2
/proc/88907/task/88918/stat : 88918 (Finalizer) S 88904 88907 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77851902 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88925] ppid=88904 vsize=19063512 memory=14336 CPUtime=0 cores=0,2
/proc/88907/task/88925/stat : 88925 (Common-Cleaner) S 88904 88907 86856 0 -1 4194368 2091 0 0 0 0 0 0 0 20 0 20 0 77851902 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88926] ppid=88904 vsize=19063512 memory=6965980 CPUtime=0 cores=0,2
/proc/88907/task/88926/stat : 88926 (Timer-0) S 88904 88907 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77851924 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
Current children cumulated CPU time: 3421.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6965980 KiB

[startup+3462.3 s]
/proc/loadavg: 2.16 2.99 3.67 3/289 89246
/proc/meminfo: memFree=120813756/131249996 swapFree=33000896/33010684
[pid=88907] ppid=88904 vsize=19063512 memory=6965980 CPUtime=3481.31 cores=0,2
/proc/88907/stat : 88907 (java) S 88904 88907 86856 0 -1 4194304 175962 0 0 0 347873 258 0 0 20 0 20 0 77851899 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
/proc/88907/statm: 4765878 1741495 5573 1 0 2147509 0
[pid=88907/tid=88909] ppid=88904 vsize=19063512 memory=6965980 CPUtime=3432.56 cores=0,2
/proc/88907/task/88909/stat : 88909 (java) R 88904 88907 86856 0 -1 4194368 76331 0 0 0 343206 50 0 0 20 0 20 0 77851900 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88918] ppid=88904 vsize=19063512 memory=6965980 CPUtime=0 cores=0,2
/proc/88907/task/88918/stat : 88918 (Finalizer) S 88904 88907 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77851902 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88925] ppid=88904 vsize=19063512 memory=10624 CPUtime=0 cores=0,2
/proc/88907/task/88925/stat : 88925 (Common-Cleaner) S 88904 88907 86856 0 -1 4194368 2091 0 0 0 0 0 0 0 20 0 20 0 77851902 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88926] ppid=88904 vsize=19063512 memory=6965980 CPUtime=0 cores=0,2
/proc/88907/task/88926/stat : 88926 (Timer-0) S 88904 88907 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77851924 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
Current children cumulated CPU time: 3481.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6965980 KiB

[startup+3522.3 s]
/proc/loadavg: 2.11 2.83 3.56 3/290 89249
/proc/meminfo: memFree=120723416/131249996 swapFree=33000896/33010684
[pid=88907] ppid=88904 vsize=19063512 memory=6965980 CPUtime=3541.73 cores=0,2
/proc/88907/stat : 88907 (java) S 88904 88907 86856 0 -1 4194304 179879 0 0 0 353913 260 0 0 20 0 20 0 77851899 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
/proc/88907/statm: 4765878 1741495 5573 1 0 2147509 0
[pid=88907/tid=88909] ppid=88904 vsize=19063512 memory=14156 CPUtime=3491.89 cores=0,2
/proc/88907/task/88909/stat : 88909 (java) R 88904 88907 86856 0 -1 4194368 78489 0 0 0 349139 50 0 0 20 0 20 0 77851900 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88918] ppid=88904 vsize=19063512 memory=6965980 CPUtime=0 cores=0,2
/proc/88907/task/88918/stat : 88918 (Finalizer) S 88904 88907 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77851902 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88925] ppid=88904 vsize=19063512 memory=14336 CPUtime=0 cores=0,2
/proc/88907/task/88925/stat : 88925 (Common-Cleaner) S 88904 88907 86856 0 -1 4194368 2129 0 0 0 0 0 0 0 20 0 20 0 77851902 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88926] ppid=88904 vsize=19063512 memory=19456 CPUtime=0 cores=0,2
/proc/88907/task/88926/stat : 88926 (Timer-0) S 88904 88907 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77851924 19521036288 1741495 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
Current children cumulated CPU time: 3541.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6965980 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3580.2 s]
/proc/loadavg: 2.15 2.70 3.47 3/290 89251
/proc/meminfo: memFree=120625664/131249996 swapFree=33000896/33010684
[pid=88907] ppid=88904 vsize=19063512 memory=6972164 CPUtime=3600.04 cores=0,2
/proc/88907/stat : 88907 (java) S 88904 88907 86856 0 -1 4194304 182246 0 0 0 359742 262 0 0 20 0 20 0 77851899 19521036288 1743041 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
/proc/88907/statm: 4765878 1743041 5573 1 0 2147509 0
[pid=88907/tid=88909] ppid=88904 vsize=19063512 memory=6972164 CPUtime=3549.12 cores=0,2
/proc/88907/task/88909/stat : 88909 (java) R 88904 88907 86856 0 -1 4194368 79569 0 0 0 354862 50 0 0 20 0 20 0 77851900 19521036288 1743041 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88918] ppid=88904 vsize=19063512 memory=4624 CPUtime=0 cores=0,2
/proc/88907/task/88918/stat : 88918 (Finalizer) S 88904 88907 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77851902 19521036288 1743041 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88925] ppid=88904 vsize=19063512 memory=2760 CPUtime=0 cores=0,2
/proc/88907/task/88925/stat : 88925 (Common-Cleaner) S 88904 88907 86856 0 -1 4194368 2170 0 0 0 0 0 0 0 20 0 20 0 77851902 19521036288 1743041 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88926] ppid=88904 vsize=19063512 memory=19456 CPUtime=0 cores=0,2
/proc/88907/task/88926/stat : 88926 (Timer-0) S 88904 88907 86856 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77851924 19521036288 1743041 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6972164 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.68 s, system=2.64403 s

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

[startup+3580.3 s]
/proc/loadavg: 2.15 2.70 3.47 3/290 89251
/proc/meminfo: memFree=120625664/131249996 swapFree=33000896/33010684
[pid=88907] ppid=88904 vsize=19263204 memory=6972804 CPUtime=3600.24 cores=0,2
/proc/88907/stat : 88907 (java) S 88904 88907 86856 0 -1 4194304 185233 0 0 0 359762 262 0 0 20 0 21 0 77851899 19725520896 1743201 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
/proc/88907/statm: 4815801 1743201 5573 1 0 2148439 0
[pid=88907/tid=88909] ppid=88904 vsize=19263204 memory=6972164 CPUtime=3549.22 cores=0,2
/proc/88907/task/88909/stat : 88909 (java) R 88904 88907 86856 0 -1 4194368 80111 0 0 0 354872 50 0 0 20 0 21 0 77851900 19725520896 1743201 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88918] ppid=88904 vsize=19263204 memory=6972164 CPUtime=0 cores=0,2
/proc/88907/task/88918/stat : 88918 (Finalizer) S 88904 88907 86856 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 77851902 19725520896 1743201 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
[pid=88907/tid=88925] ppid=88904 vsize=19263204 memory=6972164 CPUtime=0 cores=0,2
/proc/88907/task/88925/stat : 88925 (Common-Cleaner) S 88904 88907 86856 0 -1 4194368 2170 0 0 0 0 0 0 0 20 0 21 0 77851902 19725520896 1743201 18446744073709551615 94843299401728 94843299405424 140729369598848 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94843299413240 94843299414032 94843317297152 140729369606527 140729369606628 140729369606628 140729369612232 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 6972804 KiB

Child status: 143

Real time (s): 3580.37
CPU time (s): 3600.33
CPU user time (s): 3597.68
CPU system time (s): 2.64403
CPU usage (%): 100.558
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 6972804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.68
system time used= 2.64403
maximum resident set size= 6972932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185475
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112132
involuntary context switches= 10485


# summary of solver processes directly reported to runsolver:
#   pid: 88907
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3597.68
#   total CPU system time (s): 2.64403

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38291 second user time and 17.6081 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-04 11:35:40
IDJOB=4525235
IDBENCH=143520
IDSOLVER=3380
FILE ID=nodeC023/4525235-1751621740
RUNJOBID= nodeC023-1751614174-86866
SLURM_JOB_ID= 9598917
Free space on /tmp= 431868 MiB

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

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

MD5SUM BENCH= faaafc1d2d1dba01ec3e252f861d3fdd
RANDOM SEED=770171487

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        122172988 kB
MemAvailable:   121929328 kB
Buffers:              16 kB
Cached:           499284 kB
SwapCached:         2900 kB
Active:          8012920 kB
Inactive:         355896 kB
Active(anon):    7828680 kB
Inactive(anon):    53360 kB
Active(file):     184240 kB
Inactive(file):   302536 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000896 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1004 kB
Writeback:             0 kB
AnonPages:       7869684 kB
Mapped:           117888 kB
Shmem:             12524 kB
KReclaimable:     217608 kB
Slab:             309464 kB
SReclaimable:     217608 kB
SUnreclaim:        91856 kB
KernelStack:        5200 kB
PageTables:        19072 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    8977148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7606272 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

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