Trace number 4497246

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)40 3600.29 3605.05

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_opers/normalized-fir05_area_opers.opb
MD5SUMd2e5325c083e474671196c2c66be6ed7
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark35
Best CPU time to get the best result obtained on this benchmark0.37274
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6033
Total number of constraints11966
Number of constraints which are clauses11966
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 3140
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3140
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3140
Number of bits of the biggest sum of numbers12
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.02/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.02/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.13	c See www.sat4j.org for details.
0.02/0.14	c version PB25.v20250606
0.02/0.15	c java.runtime.name	OpenJDK Runtime Environment
0.02/0.15	c java.vm.name		OpenJDK 64-Bit Server VM
0.02/0.15	c java.vm.version	22.0.1+8-16
0.02/0.15	c java.vm.vendor	Oracle Corporation
0.02/0.15	c sun.arch.data.model	64
0.02/0.15	c java.version		22.0.1
0.02/0.15	c os.name		Linux
0.02/0.15	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.02/0.15	c os.arch		amd64
0.02/0.15	c Free memory 		2104792832
0.02/0.15	c Max memory 		16282288128
0.02/0.15	c Total memory 		2113929216
0.02/0.16	c Number of processors 	2
0.02/0.19	c Pseudo Boolean Optimization by upper bound
0.02/0.19	c --- Begin Solver configuration ---
0.02/0.19	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.02/0.19	c Learn all clauses as in MiniSAT
0.02/0.19	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.02/0.19	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.02/0.19	c Expensive reason simplification
0.02/0.19	c Glucose 2.1 dynamic restart strategy
0.02/0.19	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.02/0.19	c timeout=2147483s
0.02/0.19	c DB Simplification allowed=false
0.02/0.19	c Listener: none
0.02/0.19	c --- End Solver configuration ---
0.02/0.19	c solving HOME/instance-4497246-1751386581.opb
0.02/0.19	c reading problem ... 
0.02/0.19	c  objective function found
0.39/0.34	c ... done. Wall clock time 0.145s.
0.39/0.34	c declared #vars     6033
0.39/0.34	c #constraints  11966
0.39/0.34	c constraints type 
0.39/0.34	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9048
0.39/0.34	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2914
0.39/0.34	c org.sat4j.pb.constraints.pb.UnitClausePB => 4
0.39/0.34	c 11966 constraints processed.
0.39/0.36	c objective function length is 3140 literals
0.39/0.39	c SATISFIABLE
0.39/0.39	c OPTIMIZING...
0.39/0.39	c Got one! Elapsed wall clock time (in seconds):0.201
0.39/0.39	o 45
0.58/0.42	c Got one! Elapsed wall clock time (in seconds):0.229
0.58/0.42	o 44
3.53/2.51	c cleaning 2498 clauses out of 5002 with flag 45520/5002
5.91/4.63	c cleaning 4192 clauses out of 8504 with flag 131445/11002
8.51/7.10	c cleaning 5656 clauses out of 11312 with flag 201956/18002
11.29/9.82	c cleaning 6828 clauses out of 13656 with flag 259467/26002
14.40/12.94	c cleaning 7907 clauses out of 15828 with flag 372252/35002
15.60/14.15	c Got one! Elapsed wall clock time (in seconds):13.952
15.60/14.15	o 43
16.35/14.86	c cleaning 6625 clauses out of 13258 with flag 23358/40339
18.53/16.99	c cleaning 6316 clauses out of 12631 with flag 101069/46337
20.93/19.40	c cleaning 6657 clauses out of 13315 with flag 150574/53337
23.73/22.17	c cleaning 7329 clauses out of 14658 with flag 247896/61337
26.91/25.33	c cleaning 8165 clauses out of 16329 with flag 364535/70337
30.41/28.88	c cleaning 9082 clauses out of 18164 with flag 497399/80337
34.30/32.72	c cleaning 9972 clauses out of 20082 with flag 648728/91337
38.39/36.89	c cleaning 10996 clauses out of 22110 with flag 785381/103337
42.90/41.34	c cleaning 11952 clauses out of 24114 with flag 943477/116337
47.21/45.62	c cleaning 12962 clauses out of 26162 with flag 1157677/130337
51.73/50.16	c cleaning 13962 clauses out of 28200 with flag 1308315/145337
56.41/54.89	c cleaning 15106 clauses out of 30238 with flag 1468496/161337
61.50/59.94	c cleaning 16041 clauses out of 32132 with flag 1558750/178337
66.79/65.24	c cleaning 16828 clauses out of 34091 with flag 1728594/196337
72.58/71.02	c cleaning 18017 clauses out of 36263 with flag 1965724/215337
78.96/77.47	c cleaning 19015 clauses out of 38246 with flag 2182998/235337
85.65/84.17	c cleaning 20079 clauses out of 40231 with flag 2386585/256337
92.83/91.32	c cleaning 21037 clauses out of 42152 with flag 2646190/278337
100.23/98.71	c cleaning 22044 clauses out of 44115 with flag 2850595/301337
107.81/106.39	c cleaning 23015 clauses out of 46071 with flag 3097972/325337
115.89/114.44	c cleaning 24009 clauses out of 48056 with flag 3323641/350337
124.37/122.96	c cleaning 24982 clauses out of 50047 with flag 3716486/376337
133.05/131.68	c cleaning 25851 clauses out of 52065 with flag 3960015/403337
142.24/140.83	c cleaning 27096 clauses out of 54214 with flag 4286895/431337
151.66/150.26	c cleaning 27866 clauses out of 56118 with flag 4612710/460337
161.65/160.27	c cleaning 29083 clauses out of 58252 with flag 5036539/490337
171.53/170.13	c cleaning 29951 clauses out of 60169 with flag 5405741/521337
182.10/180.74	c cleaning 31065 clauses out of 62218 with flag 5791818/553337
193.18/191.82	c cleaning 31981 clauses out of 64153 with flag 6140861/586337
204.56/203.27	c cleaning 33036 clauses out of 66172 with flag 6545025/620337
216.55/215.24	c cleaning 33902 clauses out of 68136 with flag 6903759/655337
228.83/227.58	c cleaning 35115 clauses out of 70234 with flag 7242822/691337
241.10/239.89	c cleaning 36046 clauses out of 72120 with flag 7719361/728338
251.68/250.46	c Got one! Elapsed wall clock time (in seconds):250.268
251.68/250.46	o 42
252.39/251.19	c cleaning 36113 clauses out of 72240 with flag 11689/764504
253.48/252.29	c cleaning 21059 clauses out of 42126 with flag 26961/770503
255.38/254.14	c cleaning 14032 clauses out of 28069 with flag 46708/777505
257.57/256.39	c cleaning 11009 clauses out of 22035 with flag 67697/785503
260.06/258.84	c cleaning 10010 clauses out of 20027 with flag 91597/794504
262.66/261.47	c cleaning 10006 clauses out of 20019 with flag 117756/804506
265.65/264.41	c cleaning 10499 clauses out of 21010 with flag 146166/815503
268.96/267.77	c cleaning 11255 clauses out of 22511 with flag 177460/827503
272.65/271.49	c cleaning 12127 clauses out of 24256 with flag 210649/840503
276.45/275.25	c cleaning 13059 clauses out of 26131 with flag 247594/854505
280.64/279.42	c cleaning 14035 clauses out of 28070 with flag 286285/869503
285.03/283.85	c cleaning 15018 clauses out of 30035 with flag 327701/885503
289.81/288.61	c cleaning 16007 clauses out of 32019 with flag 371823/902505
295.21/294.08	c cleaning 17000 clauses out of 34011 with flag 417943/920504
300.39/299.27	c cleaning 18003 clauses out of 36011 with flag 467578/939504
305.98/304.82	c cleaning 19000 clauses out of 38007 with flag 516253/959503
312.06/310.99	c cleaning 20002 clauses out of 40007 with flag 570419/980503
318.75/317.65	c cleaning 21003 clauses out of 42005 with flag 627407/1002503
325.46/324.32	c cleaning 21997 clauses out of 44004 with flag 687838/1025505
332.42/331.36	c cleaning 22993 clauses out of 46005 with flag 751079/1049503
340.00/338.99	c cleaning 24005 clauses out of 48017 with flag 816067/1074508
348.18/347.10	c cleaning 24993 clauses out of 50009 with flag 884068/1100505
356.56/355.58	c cleaning 26004 clauses out of 52015 with flag 954733/1127504
365.44/364.40	c cleaning 26999 clauses out of 54010 with flag 1026590/1155503
374.42/373.44	c cleaning 27999 clauses out of 56011 with flag 1102074/1184503
383.92/382.95	c cleaning 29000 clauses out of 58012 with flag 1181828/1214503
393.78/392.81	c cleaning 30000 clauses out of 60013 with flag 1271058/1245504
401.53/400.43	c cleaning 31000 clauses out of 62013 with flag 1362642/1277504
408.12/407.02	c cleaning 31999 clauses out of 64012 with flag 1452931/1310503
415.70/414.61	c cleaning 32987 clauses out of 66013 with flag 1557405/1344503
423.78/422.77	c cleaning 34006 clauses out of 68026 with flag 1666305/1379503
431.98/430.94	c cleaning 34993 clauses out of 70020 with flag 1772020/1415503
440.96/439.92	c cleaning 36001 clauses out of 72027 with flag 1884226/1452503
450.24/449.27	c cleaning 37000 clauses out of 74026 with flag 1994170/1490503
460.12/459.18	c cleaning 37997 clauses out of 76026 with flag 2104696/1529503
470.39/469.43	c cleaning 39010 clauses out of 78029 with flag 2209563/1569503
481.30/480.34	c cleaning 39995 clauses out of 80019 with flag 2314812/1610503
492.47/491.54	c cleaning 41004 clauses out of 82024 with flag 2423394/1652503
504.15/503.20	c cleaning 42006 clauses out of 84020 with flag 2531436/1695503
515.23/514.36	c cleaning 43000 clauses out of 86014 with flag 2661835/1739503
527.01/526.15	c cleaning 43997 clauses out of 88014 with flag 2790830/1784503
540.49/539.65	c cleaning 45003 clauses out of 90019 with flag 2909599/1830505
554.06/553.26	c cleaning 46001 clauses out of 92014 with flag 3033835/1877503
567.23/566.49	c cleaning 47007 clauses out of 94014 with flag 3160932/1925504
580.01/579.21	c cleaning 47997 clauses out of 96008 with flag 3287096/1974505
592.71/591.90	c cleaning 49001 clauses out of 98010 with flag 3431380/2024504
606.08/605.36	c cleaning 49992 clauses out of 100008 with flag 3565024/2075503
620.05/619.31	c cleaning 51001 clauses out of 102016 with flag 3697827/2127503
634.32/633.61	c cleaning 52004 clauses out of 104016 with flag 3835078/2180504
649.28/648.63	c cleaning 53003 clauses out of 106011 with flag 3983743/2234503
664.35/663.77	c cleaning 53997 clauses out of 108008 with flag 4137196/2289503
677.92/677.34	c cleaning 55000 clauses out of 110011 with flag 4277864/2345503
692.60/692.08	c cleaning 56003 clauses out of 112012 with flag 4418235/2402504
707.38/706.88	c cleaning 57005 clauses out of 114009 with flag 4563470/2460504
722.95/722.48	c cleaning 57999 clauses out of 116003 with flag 4721620/2519503
738.12/737.62	c cleaning 58984 clauses out of 118006 with flag 4880290/2579505
753.78/753.30	c cleaning 60010 clauses out of 120021 with flag 5038615/2640504
770.38/770.00	c cleaning 60997 clauses out of 122010 with flag 5201096/2702503
786.14/785.77	c cleaning 61993 clauses out of 124013 with flag 5365527/2765503
802.71/802.33	c cleaning 63000 clauses out of 126021 with flag 5531365/2829504
819.27/818.93	c cleaning 64006 clauses out of 128021 with flag 5699089/2894504
836.72/836.40	c cleaning 65003 clauses out of 130016 with flag 5872677/2960505
854.58/854.33	c cleaning 65997 clauses out of 132012 with flag 6049565/3027504
871.84/871.68	c cleaning 67005 clauses out of 134014 with flag 6227132/3095503
890.21/890.08	c cleaning 68003 clauses out of 136009 with flag 6408526/3164503
909.37/909.27	c cleaning 69002 clauses out of 138007 with flag 6591685/3234504
928.86/928.78	c cleaning 69997 clauses out of 140005 with flag 6786020/3305504
947.91/947.86	c cleaning 71001 clauses out of 142007 with flag 6975117/3377503
967.08/967.06	c cleaning 71991 clauses out of 144007 with flag 7167292/3450504
986.33/986.38	c cleaning 73000 clauses out of 146015 with flag 7362121/3524503
1006.49/1006.50	c cleaning 74001 clauses out of 148016 with flag 7556839/3599504
1026.44/1026.50	c cleaning 75001 clauses out of 150015 with flag 7754500/3675504
1045.70/1045.88	c cleaning 76000 clauses out of 152013 with flag 7956564/3752503
1066.23/1066.34	c cleaning 77001 clauses out of 154015 with flag 8160598/3830505
1086.68/1086.83	c cleaning 78004 clauses out of 156012 with flag 8366901/3909503
1108.53/1108.73	c cleaning 78997 clauses out of 158008 with flag 8575425/3989503
1129.59/1129.86	c cleaning 80006 clauses out of 160011 with flag 8784808/4070503
1151.04/1151.36	c cleaning 80995 clauses out of 162006 with flag 9002466/4152504
1172.36/1172.68	c cleaning 82003 clauses out of 164011 with flag 9228184/4235504
1193.91/1194.22	c cleaning 82995 clauses out of 166007 with flag 9457167/4319503
1215.46/1215.83	c cleaning 83993 clauses out of 168014 with flag 9684236/4404505
1237.41/1237.88	c cleaning 85004 clauses out of 170019 with flag 9914081/4490503
1260.26/1260.80	c cleaning 86004 clauses out of 172016 with flag 10139373/4577504
1283.21/1283.78	c cleaning 87002 clauses out of 174012 with flag 10369957/4665504
1306.60/1307.20	c cleaning 87999 clauses out of 176009 with flag 10603065/4754503
1330.44/1331.02	c cleaning 89004 clauses out of 178011 with flag 10837484/4844504
1355.19/1355.82	c cleaning 90000 clauses out of 180007 with flag 11080938/4935504
1379.14/1379.85	c cleaning 90998 clauses out of 182006 with flag 11336514/5027503
1404.38/1405.15	c cleaning 92001 clauses out of 184009 with flag 11592936/5120504
1428.72/1429.57	c cleaning 92998 clauses out of 186008 with flag 11852804/5214504
1454.37/1455.26	c cleaning 94003 clauses out of 188010 with flag 12121099/5309504
1486.77/1487.68	c cleaning 94867 clauses out of 190006 with flag 13317703/5405503
1518.51/1519.42	c cleaning 96056 clauses out of 192140 with flag 14385546/5502504
1549.74/1550.77	c cleaning 97017 clauses out of 194083 with flag 14729210/5600503
1580.57/1581.66	c cleaning 98029 clauses out of 196066 with flag 15061411/5699503
1614.19/1615.38	c cleaning 98865 clauses out of 198037 with flag 16155869/5799503
1648.81/1650.05	c cleaning 100065 clauses out of 200173 with flag 17586512/5900504
1684.33/1685.65	c cleaning 101044 clauses out of 202107 with flag 18910000/6002503
1722.34/1723.61	c cleaning 101930 clauses out of 204063 with flag 20120286/6105503
1761.95/1763.36	c cleaning 102971 clauses out of 206133 with flag 21154996/6209503
1762.85/1764.23	c Got one! Elapsed wall clock time (in seconds):1764.034
1762.85/1764.23	o 41
1763.97/1765.34	c cleaning 54286 clauses out of 108583 with flag 6921/6214924
1765.07/1766.40	c cleaning 30141 clauses out of 60296 with flag 21021/6220923
1766.56/1767.99	c cleaning 18572 clauses out of 37155 with flag 40082/6227923
1768.86/1770.29	c cleaning 13281 clauses out of 26585 with flag 60622/6235925
1771.35/1772.73	c cleaning 11143 clauses out of 22303 with flag 84525/6244924
1774.15/1775.56	c cleaning 10561 clauses out of 21159 with flag 110657/6254923
1777.14/1778.59	c cleaning 10791 clauses out of 21598 with flag 139056/6265923
1780.53/1781.93	c cleaning 11395 clauses out of 22807 with flag 170284/6277923
1784.12/1785.54	c cleaning 12205 clauses out of 24412 with flag 204579/6290923
1788.11/1789.59	c cleaning 13097 clauses out of 26207 with flag 241862/6304923
1792.50/1793.95	c cleaning 14052 clauses out of 28110 with flag 283890/6319923
1797.29/1798.73	c cleaning 15019 clauses out of 30058 with flag 324637/6335923
1802.18/1803.63	c cleaning 16012 clauses out of 32041 with flag 369976/6352925
1807.57/1809.08	c cleaning 17009 clauses out of 34027 with flag 421134/6370923
1813.15/1814.68	c cleaning 18003 clauses out of 36018 with flag 470057/6389923
1818.94/1820.44	c cleaning 18999 clauses out of 38016 with flag 521954/6409924
1825.13/1826.62	c cleaning 20003 clauses out of 40016 with flag 577126/6430923
1831.71/1833.26	c cleaning 20996 clauses out of 42014 with flag 637383/6452924
1838.60/1840.15	c cleaning 22002 clauses out of 44017 with flag 698738/6475923
1845.88/1847.43	c cleaning 23004 clauses out of 46015 with flag 764741/6499923
1853.26/1854.85	c cleaning 23999 clauses out of 48013 with flag 830934/6524925
1860.84/1862.45	c cleaning 25004 clauses out of 50015 with flag 898528/6550926
1868.73/1870.30	c cleaning 25998 clauses out of 52008 with flag 967757/6577923
1877.02/1878.68	c cleaning 27000 clauses out of 54010 with flag 1043786/6605923
1885.89/1887.51	c cleaning 27998 clauses out of 56010 with flag 1126708/6634923
1894.68/1896.39	c cleaning 29003 clauses out of 58012 with flag 1210727/6664923
1903.96/1905.64	c cleaning 30004 clauses out of 60009 with flag 1294252/6695923
1913.53/1915.26	c cleaning 31001 clauses out of 62006 with flag 1388835/6727924
1923.51/1925.23	c cleaning 31989 clauses out of 64005 with flag 1478219/6760924
1933.75/1935.47	c cleaning 32997 clauses out of 66015 with flag 1566165/6794923
1944.53/1946.25	c cleaning 34008 clauses out of 68020 with flag 1656107/6829925
1955.70/1957.42	c cleaning 35005 clauses out of 70012 with flag 1746201/6865925
1967.57/1969.31	c cleaning 36002 clauses out of 72006 with flag 1850038/6902924
1979.55/1981.37	c cleaning 36996 clauses out of 74004 with flag 1953276/6940924
1992.12/1993.97	c cleaning 37832 clauses out of 76007 with flag 2372585/6979923
2005.19/2007.09	c cleaning 39017 clauses out of 78175 with flag 2803198/7019923
2019.17/2021.03	c cleaning 39988 clauses out of 80158 with flag 3263506/7060923
2032.93/2034.89	c cleaning 41078 clauses out of 82171 with flag 3751203/7102924
2045.70/2047.64	c cleaning 42031 clauses out of 84092 with flag 3877206/7145923
2058.77/2060.77	c cleaning 43028 clauses out of 86061 with flag 4009858/7189923
2072.43/2074.47	c cleaning 44009 clauses out of 88034 with flag 4143694/7234924
2086.71/2088.72	c cleaning 45000 clauses out of 90024 with flag 4278173/7280923
2102.17/2104.21	c cleaning 46010 clauses out of 92024 with flag 4417928/7327923
2115.44/2117.58	c cleaning 46999 clauses out of 94016 with flag 4557346/7375925
2129.31/2131.43	c cleaning 47998 clauses out of 96015 with flag 4699409/7424923
2143.48/2145.65	c cleaning 49005 clauses out of 98018 with flag 4846748/7474924
2156.96/2159.18	c cleaning 50002 clauses out of 100013 with flag 5005763/7525924
2171.09/2173.21	c cleaning 50995 clauses out of 102013 with flag 5161067/7577926
2185.86/2188.04	c cleaning 52008 clauses out of 104018 with flag 5334659/7630926
2201.32/2203.54	c cleaning 52997 clauses out of 106007 with flag 5504869/7684923
2216.98/2219.25	c cleaning 53998 clauses out of 108011 with flag 5673460/7739924
2232.76/2235.10	c cleaning 55003 clauses out of 110015 with flag 5841248/7795926
2248.72/2251.04	c cleaning 55994 clauses out of 112009 with flag 6009143/7852923
2264.68/2267.07	c cleaning 57007 clauses out of 114016 with flag 6184900/7910924
2281.34/2283.77	c cleaning 57983 clauses out of 116009 with flag 6364818/7969924
2298.10/2300.50	c cleaning 59007 clauses out of 118025 with flag 6556837/8029923
2315.96/2318.44	c cleaning 60003 clauses out of 120018 with flag 6749389/8090923
2334.02/2336.53	c cleaning 61004 clauses out of 122015 with flag 6953507/8152923
2351.78/2354.37	c cleaning 61985 clauses out of 124011 with flag 7139029/8215923
2370.34/2372.92	c cleaning 63005 clauses out of 126030 with flag 7338856/8279927
2389.00/2391.60	c cleaning 64003 clauses out of 128021 with flag 7544963/8344923
2407.86/2410.58	c cleaning 65004 clauses out of 130019 with flag 7753775/8410924
2427.52/2430.25	c cleaning 65999 clauses out of 132017 with flag 7961017/8477926
2447.27/2449.75	c cleaning 67008 clauses out of 134016 with flag 8166434/8545924
2466.82/2469.31	c cleaning 68002 clauses out of 136007 with flag 8362380/8614923
2486.59/2489.13	c cleaning 68989 clauses out of 138009 with flag 8565118/8684927
2507.83/2510.44	c cleaning 69999 clauses out of 140016 with flag 8820292/8755923
2529.39/2532.06	c cleaning 71007 clauses out of 142017 with flag 9056391/8827923
2549.74/2552.46	c cleaning 72000 clauses out of 144010 with flag 9319129/8900923
2574.39/2577.13	c cleaning 72980 clauses out of 146010 with flag 10010367/8974923
2599.73/2602.59	c cleaning 73979 clauses out of 148030 with flag 10777227/9049923
2626.47/2629.30	c cleaning 74927 clauses out of 150051 with flag 11631258/9125923
2654.61/2657.59	c cleaning 75997 clauses out of 152124 with flag 12665496/9202923
2683.24/2686.29	c cleaning 76999 clauses out of 154127 with flag 13612680/9280923
2708.29/2711.30	c Got one! Elapsed wall clock time (in seconds):2711.109
2708.29/2711.32	o 40
2709.62/2712.67	c cleaning 77113 clauses out of 154231 with flag 11584/9358026
2710.72/2713.75	c cleaning 41554 clauses out of 83118 with flag 25891/9364026
2711.72/2714.79	c cleaning 24275 clauses out of 48565 with flag 42406/9371027
2713.61/2716.64	c cleaning 16137 clauses out of 32289 with flag 64202/9379026
2716.05/2719.06	c cleaning 12567 clauses out of 25153 with flag 88562/9388027
2718.67/2721.65	c cleaning 11274 clauses out of 22586 with flag 115546/9398027
2721.46/2724.46	c cleaning 11143 clauses out of 22312 with flag 143406/9409027
2724.45/2727.46	c cleaning 11578 clauses out of 23168 with flag 173866/9421026
2727.85/2730.84	c cleaning 12284 clauses out of 24590 with flag 208542/9434026
2731.54/2734.59	c cleaning 13147 clauses out of 26306 with flag 244055/9448026
2735.23/2738.28	c cleaning 14080 clauses out of 28159 with flag 283616/9463026
2739.13/2742.16	c cleaning 15028 clauses out of 30082 with flag 325010/9479029
2742.81/2745.84	c cleaning 16021 clauses out of 32053 with flag 368890/9496028
2747.20/2750.27	c cleaning 17009 clauses out of 34030 with flag 416954/9514026
2751.99/2755.09	c cleaning 18009 clauses out of 36022 with flag 465310/9533027
2757.28/2760.38	c cleaning 18994 clauses out of 38013 with flag 517621/9553027
2762.56/2765.69	c cleaning 20008 clauses out of 40021 with flag 573443/9574029
2768.15/2771.29	c cleaning 20998 clauses out of 42011 with flag 629431/9596027
2774.24/2777.38	c cleaning 22002 clauses out of 44013 with flag 689510/9619027
2780.32/2783.44	c cleaning 22998 clauses out of 46013 with flag 751396/9643029
2786.91/2790.04	c cleaning 24007 clauses out of 48014 with flag 819802/9668028
2793.69/2796.85	c cleaning 25003 clauses out of 50006 with flag 887899/9694027
2801.07/2804.29	c cleaning 25991 clauses out of 52002 with flag 959271/9721026
2808.46/2811.62	c cleaning 27002 clauses out of 54014 with flag 1033906/9749029
2816.35/2819.57	c cleaning 27998 clauses out of 56009 with flag 1110758/9778026
2824.43/2827.60	c cleaning 29001 clauses out of 58011 with flag 1189695/9808026
2833.01/2836.22	c cleaning 30004 clauses out of 60011 with flag 1278161/9839027
2841.99/2845.23	c cleaning 30990 clauses out of 62006 with flag 1373164/9871026
2851.07/2854.31	c cleaning 32009 clauses out of 64018 with flag 1465967/9904028
2860.45/2863.79	c cleaning 33005 clauses out of 66009 with flag 1563868/9938028
2869.52/2872.82	c cleaning 33991 clauses out of 68002 with flag 1657109/9973026
2878.40/2881.75	c cleaning 35004 clauses out of 70012 with flag 1751004/10009027
2887.08/2890.40	c cleaning 35996 clauses out of 72007 with flag 1848378/10046026
2896.67/2900.06	c cleaning 37003 clauses out of 74011 with flag 1950799/10084026
2907.14/2910.59	c cleaning 37993 clauses out of 76011 with flag 2054344/10123029
2917.81/2921.26	c cleaning 38998 clauses out of 78015 with flag 2160013/10163026
2929.00/2932.48	c cleaning 40008 clauses out of 80017 with flag 2265842/10204026
2940.37/2943.89	c cleaning 40993 clauses out of 82010 with flag 2376021/10246027
2951.74/2955.24	c cleaning 41999 clauses out of 84017 with flag 2484016/10289027
2964.71/2968.20	c cleaning 43006 clauses out of 86017 with flag 2595297/10333026
2977.59/2981.15	c cleaning 43996 clauses out of 88012 with flag 2711498/10378027
2990.95/2994.56	c cleaning 44999 clauses out of 90015 with flag 2828450/10424026
3004.72/3008.34	c cleaning 46001 clauses out of 92016 with flag 2949097/10471026
3018.50/3022.16	c cleaning 46999 clauses out of 94015 with flag 3071786/10519026
3032.96/3036.61	c cleaning 48002 clauses out of 96016 with flag 3206237/10568026
3047.57/3051.29	c cleaning 48995 clauses out of 98014 with flag 3341453/10618026
3061.64/3065.32	c cleaning 50002 clauses out of 100020 with flag 3475411/10669027
3076.20/3080.00	c cleaning 51007 clauses out of 102020 with flag 3618801/10721029
3091.47/3095.22	c cleaning 51996 clauses out of 104011 with flag 3763432/10774027
3107.03/3110.81	c cleaning 53001 clauses out of 106015 with flag 3913172/10828027
3124.09/3127.94	c cleaning 54001 clauses out of 108013 with flag 4069252/10883026
3140.46/3144.39	c cleaning 55000 clauses out of 110012 with flag 4219641/10939026
3156.73/3160.68	c cleaning 55993 clauses out of 112012 with flag 4369491/10996026
3173.78/3177.79	c cleaning 57001 clauses out of 114020 with flag 4525188/11054027
3190.34/3194.38	c cleaning 58002 clauses out of 116018 with flag 4679979/11113026
3206.91/3210.97	c cleaning 59004 clauses out of 118016 with flag 4835183/11173026
3223.87/3227.90	c cleaning 59998 clauses out of 120013 with flag 4994970/11234027
3241.53/3245.62	c cleaning 61001 clauses out of 122014 with flag 5158671/11296026
3259.49/3263.65	c cleaning 62002 clauses out of 124016 with flag 5322485/11359029
3278.05/3282.22	c cleaning 62997 clauses out of 126011 with flag 5488624/11423026
3297.81/3302.02	c cleaning 64004 clauses out of 128017 with flag 5658810/11488029
3317.06/3321.30	c cleaning 65005 clauses out of 130010 with flag 5829723/11554026
3335.02/3339.34	c cleaning 65993 clauses out of 132005 with flag 6004654/11621026
3355.08/3359.45	c cleaning 66996 clauses out of 134014 with flag 6179934/11689028
3375.24/3379.68	c cleaning 68003 clauses out of 136017 with flag 6358072/11758027
3394.99/3399.46	c cleaning 69004 clauses out of 138013 with flag 6538393/11828026
3416.64/3421.17	c cleaning 70002 clauses out of 140010 with flag 6724125/11899027
3438.60/3443.19	c cleaning 70994 clauses out of 142007 with flag 6909804/11971026
3460.14/3464.71	c cleaning 72003 clauses out of 144014 with flag 7098965/12044027
3480.29/3485.00	c cleaning 72999 clauses out of 146011 with flag 7287181/12118027
3503.64/3508.34	c cleaning 74006 clauses out of 148011 with flag 7480232/12193026
3526.99/3531.72	c cleaning 74995 clauses out of 150005 with flag 7682351/12269026
3548.63/3553.47	c cleaning 76001 clauses out of 152010 with flag 7879479/12346026
3572.08/3576.98	c cleaning 76997 clauses out of 154009 with flag 8078123/12424026
3596.03/3600.91	c cleaning 78002 clauses out of 156013 with flag 8281137/12503027
3600.02/3604.91	c starts		: 8921
3600.02/3604.92	c conflicts		: 12517563
3600.02/3604.92	c decisions		: 87382423
3600.02/3604.92	c propagations		: 28682886451
3600.02/3604.92	c inspects		: 28769915968
3600.02/3604.93	c shortcuts		: 0
3600.02/3604.93	c learnt literals	: 0
3600.02/3604.93	c learnt binary clauses	: 0
3600.02/3604.93	c learnt ternary clauses	: 0
3600.02/3604.93	c learnt constraints	: 12517563
3600.02/3604.93	c ignored constraints	: 0
3600.02/3604.93	c root simplifications	: 0
3600.02/3604.93	c removed literals (reason simplification)	: 50621237
3600.02/3604.93	c reason swapping (by a shorter reason)	: 0
3600.02/3604.93	c Calls to reduceDB	: 287
3600.02/3604.93	c Number of update (reduction) of LBD	: 3187828
3600.02/3604.93	c Imported unit clauses	: 0
3600.02/3604.93	c No decision after first conflict	: false
3600.02/3604.93	c number of reductions to clauses (during analyze)	: 0
3600.02/3604.93	c number of learned constraints concerned by reduction	: 0
3600.02/3604.93	c number of learning phase by resolution	: 0
3600.02/3604.93	c number of learning phase by cutting planes	: 0
3600.02/3604.93	c number of rounding to 1 operations	: 0
3600.02/3604.93	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3604.93	c number of reductions of the coefficients by power 2 	: 0
3600.02/3604.93	c number of right shift for reduction by power 2 	: 0
3600.02/3604.93	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3604.93	c number of ending skipping 	: 0
3600.02/3604.93	c number of internal skipping 	: 0
3600.02/3604.93	c number of derivation steps 	: 0
3600.02/3604.93	c number of skipped derivation steps 	: 0
3600.02/3604.93	c number of remaining unassigned 	: 0
3600.02/3604.93	c number of remaining assigned 	: 0
3600.02/3604.93	c number of falsified literals weakened from reason	: 0
3600.02/3604.93	c number of falsified literals weakened from conflict	: 0
3600.02/3604.93	c time for arithmetic operations	: 0
3600.02/3604.94	c minimum degree of deleted constraints	: null
3600.02/3604.94	c maximum degree of deleted constraints	: null
3600.02/3604.94	c number of deleted constraints	: 0
3600.02/3604.94	c speed (assignments/second)	: 7957373.645988547
3600.02/3604.94	c non guided choices	: 21
3600.02/3605.00	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 92547
3600.02/3605.00	s SATISFIABLE
3600.02/3605.00	c Found 6 solution(s)
3600.23/3605.01	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 x4585 x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 x4795 x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 x4925 x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 x5473 x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 x5741 x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 x5760 x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 x5819 x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 x5832 -x5833 -x5834 -x5835 -x5836 x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 x5965 -x5966 -x5967 -x5968 x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 x5979 -x5980 -x5981 x5982 -x5983 -x5984 -x5985 x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 x6002 -x6003 -x6004 -x6005 -x6006 -x6007 x6008 -x6009 -x6010 -x6011 x6012 -x6013 -x6014 x6015 x6016 -x6017 -x6018 -x6019 x6020 -x6021 -x6022 -x6023 x6024 -x6025 -x6026 x6027 -x6028 x6029 -x6030 x6031 x6032 x6033 
3600.23/3605.03	c objective function=40
3600.23/3605.03	c Total wall clock time (in seconds): 3604.838

Verifier Data 

OK	40

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497246-1751386581/watcher-4497246-1751386581 -o /tmp/evaluation-result-4497246-1751386581/solver-4497246-1751386581 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751386581-53809 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4497246-1751386581.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=53855, runsolver pid=53849

[startup+0.100059 s]*
/proc/loadavg: 0.55 1.63 2.64 11/328 53933
/proc/meminfo: memFree=129740412/131249996 swapFree=33010160/33010684
[pid=53855] ppid=53849 vsize=18930288 memory=45072 CPUtime=0.02 cores=4,6
/proc/53855/stat : 53855 (java) S 53849 53855 53798 0 -1 4194304 5332 0 127 0 1 1 0 0 20 0 18 0 54336518 19384614912 11268 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
/proc/53855/statm: 4732572 11268 4859 1 0 546661 0
[pid=53855/tid=53870] ppid=53849 vsize=18930288 memory=4026532124 CPUtime=0.01 cores=4,6
/proc/53855/task/53870/stat : 53870 (java) D 53849 53855 53798 0 -1 4456512 4487 0 112 0 0 1 0 0 20 0 18 0 54336524 19384614912 11268 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53908] ppid=53849 vsize=18930288 memory=2641 CPUtime=0 cores=4,6
/proc/53855/task/53908/stat : 53908 (Finalizer) S 53849 53855 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54336527 19384614912 11268 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53932] ppid=53849 vsize=18930288 memory=57385981051877 CPUtime=0 cores=4,6
/proc/53855/task/53932/stat : 53932 (Common-Cleaner) S 53849 53855 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54336528 19384614912 11268 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 18930288 KiB
Current children cumulated memory: 45072 KiB

[startup+0.205838 s]*
/proc/loadavg: 0.55 1.63 2.64 12/331 53936
/proc/meminfo: memFree=129700840/131249996 swapFree=33010160/33010684
[pid=53855] ppid=53849 vsize=18930384 memory=58972 CPUtime=0.2 cores=4,6
/proc/53855/stat : 53855 (java) S 53849 53855 53798 0 -1 4194304 6773 0 127 0 17 3 0 0 20 0 18 0 54336518 19384713216 14743 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
/proc/53855/statm: 4732596 14743 5403 1 0 547808 0
[pid=53855/tid=53870] ppid=53849 vsize=18930384 memory=4026663196 CPUtime=0.12 cores=4,6
/proc/53855/task/53870/stat : 53870 (java) R 53849 53855 53798 0 -1 4194368 5176 0 112 0 10 2 0 0 20 0 18 0 54336524 19384713216 14743 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53908] ppid=53849 vsize=18930384 memory=2641 CPUtime=0 cores=4,6
/proc/53855/task/53908/stat : 53908 (Finalizer) S 53849 53855 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54336527 19384713216 14743 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53932] ppid=53849 vsize=18930384 memory=57385981051877 CPUtime=0 cores=4,6
/proc/53855/task/53932/stat : 53932 (Common-Cleaner) S 53849 53855 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54336528 19384713216 14743 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58972 KiB

[startup+0.305664 s]*
/proc/loadavg: 0.55 1.63 2.64 8/313 53940
/proc/meminfo: memFree=129686808/131249996 swapFree=33010160/33010684
[pid=53855] ppid=53849 vsize=18930384 memory=79412 CPUtime=0.39 cores=4,6
/proc/53855/stat : 53855 (java) S 53849 53855 53798 0 -1 4194304 8205 0 127 0 36 3 0 0 20 0 18 0 54336518 19384713216 19853 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
/proc/53855/statm: 4732596 19853 5403 1 0 548704 0
[pid=53855/tid=53870] ppid=53849 vsize=18930384 memory=-6000919502771087722 CPUtime=0.19 cores=4,6
/proc/53855/task/53870/stat : 53870 (java) R 53849 53855 53798 0 -1 4194368 5234 0 112 0 17 2 0 0 20 0 18 0 54336524 19384713216 19853 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53908] ppid=53849 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/53855/task/53908/stat : 53908 (Finalizer) S 53849 53855 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54336527 19384713216 19853 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53932] ppid=53849 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/53855/task/53932/stat : 53932 (Common-Cleaner) S 53849 53855 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54336528 19384713216 19853 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 79412 KiB

[startup+0.700216 s]
/proc/loadavg: 0.55 1.63 2.64 7/313 53950
/proc/meminfo: memFree=129638192/131249996 swapFree=33010160/33010684
[pid=53855] ppid=53849 vsize=18996948 memory=113604 CPUtime=1.15 cores=4,6
/proc/53855/stat : 53855 (java) S 53849 53855 53798 0 -1 4194304 14895 0 127 0 110 5 0 0 20 0 19 0 54336518 19452874752 28401 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
/proc/53855/statm: 4749237 28401 5467 1 0 553703 0
[pid=53855/tid=53870] ppid=53849 vsize=18996948 memory=17792 CPUtime=0.54 cores=4,6
/proc/53855/task/53870/stat : 53870 (java) R 53849 53855 53798 0 -1 4194368 5364 0 112 0 52 2 0 0 20 0 19 0 54336524 19452874752 28401 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53908] ppid=53849 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/53855/task/53908/stat : 53908 (Finalizer) S 53849 53855 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54336527 19452874752 28401 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53932] ppid=53849 vsize=18996948 memory=21996 CPUtime=0 cores=4,6
/proc/53855/task/53932/stat : 53932 (Common-Cleaner) S 53849 53855 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54336528 19452874752 28401 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53943] ppid=53849 vsize=18996948 memory=4352 CPUtime=0 cores=4,6
/proc/53855/task/53943/stat : 53943 (Timer-0) S 53849 53855 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54336555 19452874752 28401 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 113604 KiB

[startup+1.50019 s]
/proc/loadavg: 0.55 1.63 2.64 7/313 53950
/proc/meminfo: memFree=129623320/131249996 swapFree=33010160/33010684
[pid=53855] ppid=53849 vsize=18996948 memory=116104 CPUtime=2.39 cores=4,6
/proc/53855/stat : 53855 (java) S 53849 53855 53798 0 -1 4194304 16322 0 127 0 234 5 0 0 20 0 19 0 54336518 19452874752 29026 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
/proc/53855/statm: 4749237 29026 5467 1 0 553705 0
[pid=53855/tid=53870] ppid=53849 vsize=18996948 memory=0 CPUtime=1.33 cores=4,6
/proc/53855/task/53870/stat : 53870 (java) R 53849 53855 53798 0 -1 4194368 5464 0 112 0 131 2 0 0 20 0 19 0 54336524 19452874752 29026 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53908] ppid=53849 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/53855/task/53908/stat : 53908 (Finalizer) S 53849 53855 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54336527 19452874752 29026 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53932] ppid=53849 vsize=18996948 memory=21996 CPUtime=0 cores=4,6
/proc/53855/task/53932/stat : 53932 (Common-Cleaner) S 53849 53855 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54336528 19452874752 29026 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53943] ppid=53849 vsize=18996948 memory=4352 CPUtime=0 cores=4,6
/proc/53855/task/53943/stat : 53943 (Timer-0) S 53849 53855 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54336555 19452874752 29026 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
Current children cumulated CPU time: 2.39 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 116104 KiB

[startup+3.10552 s]
/proc/loadavg: 0.55 1.63 2.64 7/335 54005
/proc/meminfo: memFree=129431288/131249996 swapFree=33010160/33010684
[pid=53855] ppid=53849 vsize=18996948 memory=118676 CPUtime=4.32 cores=4,6
/proc/53855/stat : 53855 (java) S 53849 53855 53798 0 -1 4194304 21829 0 127 0 425 7 0 0 20 0 19 0 54336518 19452874752 29669 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
/proc/53855/statm: 4749237 29669 5467 1 0 553738 0
[pid=53855/tid=53870] ppid=53849 vsize=18996948 memory=10752 CPUtime=2.9 cores=4,6
/proc/53855/task/53870/stat : 53870 (java) R 53849 53855 53798 0 -1 4194368 6933 0 112 0 287 3 0 0 20 0 19 0 54336524 19452874752 29669 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53908] ppid=53849 vsize=18996948 memory=-6000919468428126570 CPUtime=0 cores=4,6
/proc/53855/task/53908/stat : 53908 (Finalizer) S 53849 53855 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54336527 19452874752 29669 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53932] ppid=53849 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/53855/task/53932/stat : 53932 (Common-Cleaner) S 53849 53855 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54336528 19452874752 29669 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53943] ppid=53849 vsize=18996948 memory=21996 CPUtime=0 cores=4,6
/proc/53855/task/53943/stat : 53943 (Timer-0) S 53849 53855 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54336555 19452874752 29669 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
Current children cumulated CPU time: 4.32 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 118676 KiB

[startup+6.30014 s]
/proc/loadavg: 0.99 1.70 2.66 6/336 54006
/proc/meminfo: memFree=129063000/131249996 swapFree=33010160/33010684
[pid=53855] ppid=53849 vsize=18996948 memory=116732 CPUtime=7.8 cores=4,6
/proc/53855/stat : 53855 (java) S 53849 53855 53798 0 -1 4194304 22119 0 127 0 773 7 0 0 20 0 19 0 54336518 19452874752 29183 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
/proc/53855/statm: 4749237 29183 5467 1 0 553741 0
[pid=53855/tid=53870] ppid=53849 vsize=18996948 memory=0 CPUtime=6.09 cores=4,6
/proc/53855/task/53870/stat : 53870 (java) R 53849 53855 53798 0 -1 4194368 6980 0 112 0 605 4 0 0 20 0 19 0 54336524 19452874752 29183 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53908] ppid=53849 vsize=18996948 memory=21996 CPUtime=0 cores=4,6
/proc/53855/task/53908/stat : 53908 (Finalizer) S 53849 53855 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54336527 19452874752 29183 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53932] ppid=53849 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/53855/task/53932/stat : 53932 (Common-Cleaner) S 53849 53855 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54336528 19452874752 29183 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53943] ppid=53849 vsize=18996948 memory=14976 CPUtime=0 cores=4,6
/proc/53855/task/53943/stat : 53943 (Timer-0) S 53849 53855 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54336555 19452874752 29183 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
Current children cumulated CPU time: 7.8 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 116732 KiB

[startup+12.7002 s]
/proc/loadavg: 1.23 1.74 2.67 5/336 54006
/proc/meminfo: memFree=129009364/131249996 swapFree=33010160/33010684
[pid=53855] ppid=53849 vsize=18996948 memory=127100 CPUtime=14.2 cores=4,6
/proc/53855/stat : 53855 (java) S 53849 53855 53798 0 -1 4194304 23764 0 127 0 1412 8 0 0 20 0 19 0 54336518 19452874752 31775 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
/proc/53855/statm: 4749237 31775 5499 1 0 553741 0
[pid=53855/tid=53870] ppid=53849 vsize=18996948 memory=124924 CPUtime=12.47 cores=4,6
/proc/53855/task/53870/stat : 53870 (java) R 53849 53855 53798 0 -1 4194368 8087 0 112 0 1243 4 0 0 20 0 19 0 54336524 19452874752 31775 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53908] ppid=53849 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/53855/task/53908/stat : 53908 (Finalizer) S 53849 53855 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54336527 19452874752 31775 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53932] ppid=53849 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/53855/task/53932/stat : 53932 (Common-Cleaner) S 53849 53855 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54336528 19452874752 31775 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53943] ppid=53849 vsize=18996948 memory=-6000919468428126570 CPUtime=0 cores=4,6
/proc/53855/task/53943/stat : 53943 (Timer-0) S 53849 53855 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54336555 19452874752 31775 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
Current children cumulated CPU time: 14.2 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 127100 KiB

[startup+25.5002 s]
/proc/loadavg: 1.91 1.87 2.70 5/337 54007
/proc/meminfo: memFree=128919300/131249996 swapFree=33010160/33010684
[pid=53855] ppid=53849 vsize=18996948 memory=143144 CPUtime=27.12 cores=4,6
/proc/53855/stat : 53855 (java) S 53849 53855 53798 0 -1 4194304 28819 0 127 0 2703 9 0 0 20 0 19 0 54336518 19452874752 35786 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
/proc/53855/statm: 4749237 35786 5499 1 0 553757 0
[pid=53855/tid=53870] ppid=53849 vsize=18996948 memory=0 CPUtime=25.24 cores=4,6
/proc/53855/task/53870/stat : 53870 (java) R 53849 53855 53798 0 -1 4194368 9261 0 112 0 2520 4 0 0 20 0 19 0 54336524 19452874752 35786 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53908] ppid=53849 vsize=18996948 memory=137000 CPUtime=0 cores=4,6
/proc/53855/task/53908/stat : 53908 (Finalizer) S 53849 53855 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54336527 19452874752 35786 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53932] ppid=53849 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/53855/task/53932/stat : 53932 (Common-Cleaner) S 53849 53855 53798 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54336528 19452874752 35786 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53943] ppid=53849 vsize=18996948 memory=14976 CPUtime=0 cores=4,6
/proc/53855/task/53943/stat : 53943 (Timer-0) S 53849 53855 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54336555 19452874752 35786 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
Current children cumulated CPU time: 27.12 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 143144 KiB

[startup+51.1055 s]
/proc/loadavg: 2.62 2.04 2.73 5/340 54011
/proc/meminfo: memFree=128845312/131249996 swapFree=33010160/33010684
[pid=53855] ppid=53849 vsize=19063512 memory=180584 CPUtime=52.73 cores=4,6
/proc/53855/stat : 53855 (java) S 53849 53855 53798 0 -1 4194304 30454 0 127 0 5263 10 0 0 20 0 20 0 54336518 19521036288 45146 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
/proc/53855/statm: 4765878 45146 5531 1 0 554046 0
[pid=53855/tid=53870] ppid=53849 vsize=19063512 memory=4352 CPUtime=50.77 cores=4,6
/proc/53855/task/53870/stat : 53870 (java) R 53849 53855 53798 0 -1 4194368 9333 0 112 0 5072 5 0 0 20 0 20 0 54336524 19521036288 45146 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53908] ppid=53849 vsize=19063512 memory=159528 CPUtime=0 cores=4,6
/proc/53855/task/53908/stat : 53908 (Finalizer) S 53849 53855 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54336527 19521036288 45146 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53932] ppid=53849 vsize=19063512 memory=161576 CPUtime=0 cores=4,6

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

/proc/meminfo: memFree=123360456/131249996 swapFree=33010160/33010684
[pid=53855] ppid=53849 vsize=19063512 memory=1746240 CPUtime=3278.15 cores=4,6
/proc/53855/stat : 53855 (java) S 53849 53855 53798 0 -1 4194304 71832 0 127 0 327739 76 0 0 20 0 20 0 54336518 19521036288 436560 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
/proc/53855/statm: 4765878 436560 5531 1 0 557559 0
[pid=53855/tid=53870] ppid=53849 vsize=19063512 memory=1746240 CPUtime=3272.96 cores=4,6
/proc/53855/task/53870/stat : 53870 (java) R 53849 53855 53798 0 -1 4194368 26350 0 112 0 327285 11 0 0 20 0 20 0 54336524 19521036288 436560 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53908] ppid=53849 vsize=19063512 memory=1746240 CPUtime=0 cores=4,6
/proc/53855/task/53908/stat : 53908 (Finalizer) S 53849 53855 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54336527 19521036288 436560 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53932] ppid=53849 vsize=19063512 memory=1746240 CPUtime=0 cores=4,6
/proc/53855/task/53932/stat : 53932 (Common-Cleaner) S 53849 53855 53798 0 -1 4194368 952 0 0 0 0 0 0 0 20 0 20 0 54336528 19521036288 436560 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53943] ppid=53849 vsize=19063512 memory=4352 CPUtime=0 cores=4,6
/proc/53855/task/53943/stat : 53943 (Timer-0) S 53849 53855 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54336555 19521036288 436560 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
Current children cumulated CPU time: 3278.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1746240 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/341 54180
/proc/meminfo: memFree=123356704/131249996 swapFree=33010160/33010684
[pid=53855] ppid=53849 vsize=19063512 memory=1746240 CPUtime=3338.01 cores=4,6
/proc/53855/stat : 53855 (java) S 53849 53855 53798 0 -1 4194304 71906 0 127 0 333725 76 0 0 20 0 20 0 54336518 19521036288 436560 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
/proc/53855/statm: 4765878 436560 5531 1 0 557559 0
[pid=53855/tid=53870] ppid=53849 vsize=19063512 memory=6007891308401217636 CPUtime=3332.82 cores=4,6
/proc/53855/task/53870/stat : 53870 (java) R 53849 53855 53798 0 -1 4194368 26393 0 112 0 333271 11 0 0 20 0 20 0 54336524 19521036288 436560 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53908] ppid=53849 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/53855/task/53908/stat : 53908 (Finalizer) S 53849 53855 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54336527 19521036288 436560 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53932] ppid=53849 vsize=19063512 memory=17792 CPUtime=0 cores=4,6
/proc/53855/task/53932/stat : 53932 (Common-Cleaner) S 53849 53855 53798 0 -1 4194368 952 0 0 0 0 0 0 0 20 0 20 0 54336528 19521036288 436560 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53943] ppid=53849 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/53855/task/53943/stat : 53943 (Timer-0) S 53849 53855 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54336555 19521036288 436560 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
Current children cumulated CPU time: 3338.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1746240 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/341 54186
/proc/meminfo: memFree=123294432/131249996 swapFree=33010160/33010684
[pid=53855] ppid=53849 vsize=19063512 memory=1746240 CPUtime=3397.88 cores=4,6
/proc/53855/stat : 53855 (java) S 53849 53855 53798 0 -1 4194304 72037 0 127 0 339711 77 0 0 20 0 20 0 54336518 19521036288 436560 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
/proc/53855/statm: 4765878 436560 5531 1 0 557559 0
[pid=53855/tid=53870] ppid=53849 vsize=19063512 memory=1746240 CPUtime=3392.67 cores=4,6
/proc/53855/task/53870/stat : 53870 (java) R 53849 53855 53798 0 -1 4194368 26496 0 112 0 339256 11 0 0 20 0 20 0 54336524 19521036288 436560 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53908] ppid=53849 vsize=19063512 memory=17792 CPUtime=0 cores=4,6
/proc/53855/task/53908/stat : 53908 (Finalizer) S 53849 53855 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54336527 19521036288 436560 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53932] ppid=53849 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/53855/task/53932/stat : 53932 (Common-Cleaner) S 53849 53855 53798 0 -1 4194368 952 0 0 0 0 0 0 0 20 0 20 0 54336528 19521036288 436560 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53943] ppid=53849 vsize=19063512 memory=1746240 CPUtime=0 cores=4,6
/proc/53855/task/53943/stat : 53943 (Timer-0) S 53849 53855 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54336555 19521036288 436560 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
Current children cumulated CPU time: 3397.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1746240 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/341 54188
/proc/meminfo: memFree=123229856/131249996 swapFree=33010160/33010684
[pid=53855] ppid=53849 vsize=19063512 memory=1797464 CPUtime=3457.74 cores=4,6
/proc/53855/stat : 53855 (java) S 53849 53855 53798 0 -1 4194304 72721 0 127 0 345696 78 0 0 20 0 20 0 54336518 19521036288 449366 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
/proc/53855/statm: 4765878 449366 5531 1 0 557559 0
[pid=53855/tid=53870] ppid=53849 vsize=19063512 memory=1746240 CPUtime=3452.52 cores=4,6
/proc/53855/task/53870/stat : 53870 (java) R 53849 53855 53798 0 -1 4194368 27004 0 112 0 345240 12 0 0 20 0 20 0 54336524 19521036288 449366 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53908] ppid=53849 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/53855/task/53908/stat : 53908 (Finalizer) S 53849 53855 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54336527 19521036288 449366 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53932] ppid=53849 vsize=19063512 memory=1774936 CPUtime=0 cores=4,6
/proc/53855/task/53932/stat : 53932 (Common-Cleaner) S 53849 53855 53798 0 -1 4194368 1077 0 0 0 0 0 0 0 20 0 20 0 54336528 19521036288 449366 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53943] ppid=53849 vsize=19063512 memory=1797464 CPUtime=0 cores=4,6
/proc/53855/task/53943/stat : 53943 (Timer-0) S 53849 53855 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54336555 19521036288 449366 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
Current children cumulated CPU time: 3457.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1797464 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/341 54190
/proc/meminfo: memFree=123142960/131249996 swapFree=33010160/33010684
[pid=53855] ppid=53849 vsize=19063512 memory=1881432 CPUtime=3517.61 cores=4,6
/proc/53855/stat : 53855 (java) S 53849 53855 53798 0 -1 4194304 73233 0 127 0 351681 80 0 0 20 0 20 0 54336518 19521036288 470358 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
/proc/53855/statm: 4765878 470358 5531 1 0 557559 0
[pid=53855/tid=53870] ppid=53849 vsize=19063512 memory=1879384 CPUtime=3512.38 cores=4,6
/proc/53855/task/53870/stat : 53870 (java) R 53849 53855 53798 0 -1 4194368 27487 0 112 0 351224 14 0 0 20 0 20 0 54336524 19521036288 470358 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53908] ppid=53849 vsize=19063512 memory=1799512 CPUtime=0 cores=4,6
/proc/53855/task/53908/stat : 53908 (Finalizer) S 53849 53855 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54336527 19521036288 470358 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53932] ppid=53849 vsize=19063512 memory=1770840 CPUtime=0 cores=4,6
/proc/53855/task/53932/stat : 53932 (Common-Cleaner) S 53849 53855 53798 0 -1 4194368 1077 0 0 0 0 0 0 0 20 0 20 0 54336528 19521036288 470358 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53943] ppid=53849 vsize=19063512 memory=1877336 CPUtime=0 cores=4,6
/proc/53855/task/53943/stat : 53943 (Timer-0) S 53849 53855 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54336555 19521036288 470358 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
Current children cumulated CPU time: 3517.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1881432 KiB

[startup+3582.3 s]
/proc/loadavg: 4.29 4.17 4.10 5/340 54192
/proc/meminfo: memFree=123057752/131249996 swapFree=33010160/33010684
[pid=53855] ppid=53849 vsize=19063512 memory=1963352 CPUtime=3577.47 cores=4,6
/proc/53855/stat : 53855 (java) S 53849 53855 53798 0 -1 4194304 73978 0 127 0 357664 83 0 0 20 0 20 0 54336518 19521036288 490838 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
/proc/53855/statm: 4765878 490838 5531 1 0 557559 0
[pid=53855/tid=53870] ppid=53849 vsize=19063512 memory=1912152 CPUtime=3572.23 cores=4,6
/proc/53855/task/53870/stat : 53870 (java) R 53849 53855 53798 0 -1 4194368 28126 0 112 0 357207 16 0 0 20 0 20 0 54336524 19521036288 490838 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53908] ppid=53849 vsize=19063512 memory=1942872 CPUtime=0 cores=4,6
/proc/53855/task/53908/stat : 53908 (Finalizer) S 53849 53855 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54336527 19521036288 490838 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53932] ppid=53849 vsize=19063512 memory=1953112 CPUtime=0 cores=4,6
/proc/53855/task/53932/stat : 53932 (Common-Cleaner) S 53849 53855 53798 0 -1 4194368 1154 0 0 0 0 0 0 0 20 0 20 0 54336528 19521036288 490838 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53943] ppid=53849 vsize=19063512 memory=14976 CPUtime=0 cores=4,6
/proc/53855/task/53943/stat : 53943 (Timer-0) S 53849 53855 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54336555 19521036288 490838 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
Current children cumulated CPU time: 3577.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1963352 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.9 s]
/proc/loadavg: 4.21 4.16 4.10 4/316 54204
/proc/meminfo: memFree=125154628/131249996 swapFree=33010160/33010684
[pid=53855] ppid=53849 vsize=19063512 memory=1994072 CPUtime=3600.02 cores=4,6
/proc/53855/stat : 53855 (java) S 53849 53855 53798 0 -1 4194304 74055 0 127 0 359918 84 0 0 20 0 20 0 54336518 19521036288 498518 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
/proc/53855/statm: 4765878 498518 5531 1 0 557559 0
[pid=53855/tid=53870] ppid=53849 vsize=19063512 memory=1942872 CPUtime=3594.78 cores=4,6
/proc/53855/task/53870/stat : 53870 (java) R 53849 53855 53798 0 -1 4194368 28167 0 112 0 359461 17 0 0 20 0 20 0 54336524 19521036288 498518 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53908] ppid=53849 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/53855/task/53908/stat : 53908 (Finalizer) S 53849 53855 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54336527 19521036288 498518 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53932] ppid=53849 vsize=19063512 memory=1981784 CPUtime=0 cores=4,6
/proc/53855/task/53932/stat : 53932 (Common-Cleaner) S 53849 53855 53798 0 -1 4194368 1154 0 0 0 0 0 0 0 20 0 20 0 54336528 19521036288 498518 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53943] ppid=53849 vsize=19063512 memory=-6000919468428126570 CPUtime=0 cores=4,6
/proc/53855/task/53943/stat : 53943 (Timer-0) S 53849 53855 53798 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54336555 19521036288 498518 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1994072 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.43 s, system=0.863515 s

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

[startup+3605 s]*
/proc/loadavg: 4.35 4.19 4.11 7/315 54272
/proc/meminfo: memFree=127037756/131249996 swapFree=33010160/33010684
[pid=53855] ppid=53849 vsize=19263204 memory=2005588 CPUtime=3600.23 cores=4,6
/proc/53855/stat : 53855 (java) S 53849 53855 53798 0 -1 4194304 76260 0 127 0 359938 85 0 0 20 0 21 0 54336518 19725520896 501397 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
/proc/53855/statm: 4815801 501397 5563 1 0 558532 0
[pid=53855/tid=53870] ppid=53849 vsize=19263204 memory=-6000919472723486826 CPUtime=3594.87 cores=4,6
/proc/53855/task/53870/stat : 53870 (java) R 53849 53855 53798 0 -1 4194368 28385 0 112 0 359470 17 0 0 20 0 21 0 54336524 19725520896 501397 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53908] ppid=53849 vsize=19263204 memory=4788 CPUtime=0 cores=4,6
/proc/53855/task/53908/stat : 53908 (Finalizer) S 53849 53855 53798 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 54336527 19725520896 501397 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=53932] ppid=53849 vsize=19263204 memory=4916 CPUtime=0 cores=4,6
/proc/53855/task/53932/stat : 53932 (Common-Cleaner) S 53849 53855 53798 0 -1 4194368 1154 0 0 0 0 0 0 0 20 0 21 0 54336528 19725520896 501397 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
[pid=53855/tid=54261] ppid=53849 vsize=19263204 memory=5044 CPUtime=0.05 cores=4,6
/proc/53855/task/54261/stat : 54261 (Thread-0) R 53849 53855 53798 0 -1 4194368 360 0 0 0 5 0 0 0 20 0 21 0 54697009 19725520896 501397 18446744073709551615 94393486819328 94393486823024 140737276555536 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94393486830840 94393486831632 94393489281024 140737276557697 140737276557798 140737276557798 140737276563400 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2005588 KiB

Child status: 143

Real time (s): 3605.05
CPU time (s): 3600.29
CPU user time (s): 3599.43
CPU system time (s): 0.863515
CPU usage (%): 99.8679
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2005588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.43
system time used= 0.863515
maximum resident set size= 2005716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76519
page faults= 127
swaps= 0
block input operations= 40
block output operations= 15512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103249
involuntary context switches= 6931


# summary of solver processes directly reported to runsolver:
#   pid: 53855
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3599.43
#   total CPU system time (s): 0.863515

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.05936 second user time and 16.2504 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-01 18:16:21
IDJOB=4497246
IDBENCH=148160
IDSOLVER=3363
FILE ID=nodeC029/4497246-1751386581
RUNJOBID= nodeC029-1751386581-53809
SLURM_JOB_ID= 9598249
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/area_opers/normalized-fir05_area_opers.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497246-1751386581/watcher-4497246-1751386581 -o /tmp/evaluation-result-4497246-1751386581/solver-4497246-1751386581 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751386581-53809 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4497246-1751386581.opb

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

MD5SUM BENCH= d2e5325c083e474671196c2c66be6ed7
RANDOM SEED=451587520

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129787604 kB
MemAvailable:   129731320 kB
Buffers:            2128 kB
Cached:           750748 kB
SwapCached:           40 kB
Active:           435680 kB
Inactive:         381188 kB
Active(anon):      77568 kB
Inactive(anon):     4768 kB
Active(file):     358112 kB
Inactive(file):   376420 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1944 kB
Writeback:             0 kB
AnonPages:         67252 kB
Mapped:           102812 kB
Shmem:             18020 kB
KReclaimable:      96844 kB
Slab:             183856 kB
SReclaimable:      96844 kB
SUnreclaim:        87012 kB
KernelStack:        3908 kB
PageTables:         2356 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     330328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150328 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433036 MiB
End job on nodeC029 at 2025-07-01 19:16:26