Trace number 4497247

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 VeriPB 2025-06-06SAT (TO)40 3600.3 3614.07

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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.09/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.09/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.09/0.10	c java.vm.version	22.0.1+8-16
0.09/0.10	c java.vm.vendor	Oracle Corporation
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		22.0.1
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.11	c Free memory 		2104792832
0.09/0.11	c Max memory 		16282288128
0.09/0.11	c Total memory 		2113929216
0.09/0.11	c Number of processors 	2
0.09/0.15	c Pseudo Boolean Optimization by upper bound
0.09/0.15	c --- Begin Solver configuration ---
0.09/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.09/0.15	c Learn all clauses as in MiniSAT
0.09/0.15	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.15	c Expensive reason simplification
0.09/0.15	c Glucose 2.1 dynamic restart strategy
0.09/0.15	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.09/0.15	c timeout=2147483s
0.09/0.15	c DB Simplification allowed=false
0.09/0.15	c Listener: none
0.09/0.15	c --- End Solver configuration ---
0.09/0.15	c solving HOME/instance-4497247-1751405064.opb
0.09/0.15	c reading problem ... 
0.09/0.15	c using VERIPB proof format
0.09/0.15	c  objective function found
0.28/0.31	c ... done. Wall clock time 0.155s.
0.47/0.31	c declared #vars     6033
0.47/0.31	c #constraints  11966
0.47/0.31	c constraints type 
0.47/0.31	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9048
0.47/0.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2914
0.47/0.31	c org.sat4j.pb.constraints.pb.UnitClausePB => 4
0.47/0.31	c 11966 constraints processed.
0.47/0.32	c objective function length is 3140 literals
0.47/0.39	c SATISFIABLE
0.47/0.39	c OPTIMIZING...
0.47/0.39	c Got one! Elapsed wall clock time (in seconds):0.242
0.47/0.39	o 45
0.66/0.42	c Got one! Elapsed wall clock time (in seconds):0.273
0.66/0.42	o 44
4.50/2.59	c cleaning 2498 clauses out of 5002 with flag 45520/5002
6.89/4.43	c cleaning 4192 clauses out of 8504 with flag 131445/11002
9.26/6.58	c cleaning 5656 clauses out of 11312 with flag 201956/18002
11.79/9.00	c cleaning 6828 clauses out of 13656 with flag 259467/26002
14.55/11.88	c cleaning 7907 clauses out of 15828 with flag 372252/35002
15.65/12.96	c Got one! Elapsed wall clock time (in seconds):12.812
15.65/12.96	o 43
16.38/13.60	c cleaning 6625 clauses out of 13258 with flag 23358/40339
18.37/15.51	c cleaning 6316 clauses out of 12631 with flag 101069/46337
20.46/17.66	c cleaning 6657 clauses out of 13315 with flag 150574/53337
23.05/20.20	c cleaning 7329 clauses out of 14658 with flag 247896/61337
25.85/23.06	c cleaning 8165 clauses out of 16329 with flag 364535/70337
29.04/26.28	c cleaning 9082 clauses out of 18164 with flag 497399/80337
32.53/29.77	c cleaning 9972 clauses out of 20082 with flag 648728/91337
36.33/33.56	c cleaning 10996 clauses out of 22110 with flag 785381/103337
40.43/37.63	c cleaning 11952 clauses out of 24114 with flag 943477/116337
44.82/42.15	c cleaning 12962 clauses out of 26162 with flag 1157677/130337
49.53/46.81	c cleaning 13962 clauses out of 28200 with flag 1308315/145337
54.32/51.65	c cleaning 15106 clauses out of 30238 with flag 1468496/161337
59.40/56.78	c cleaning 16041 clauses out of 32132 with flag 1558750/178337
64.80/62.17	c cleaning 16828 clauses out of 34091 with flag 1728594/196337
70.69/68.08	c cleaning 18017 clauses out of 36263 with flag 1965724/215337
77.29/74.73	c cleaning 19015 clauses out of 38246 with flag 2182998/235337
84.09/81.54	c cleaning 20079 clauses out of 40231 with flag 2386585/256337
91.39/88.85	c cleaning 21037 clauses out of 42152 with flag 2646190/278337
98.88/96.32	c cleaning 22044 clauses out of 44115 with flag 2850595/301337
106.59/104.19	c cleaning 23015 clauses out of 46071 with flag 3097972/325337
114.79/112.37	c cleaning 24009 clauses out of 48056 with flag 3323641/350337
123.37/121.00	c cleaning 24982 clauses out of 50047 with flag 3716486/376337
132.24/129.83	c cleaning 25851 clauses out of 52065 with flag 3960015/403337
141.57/139.32	c cleaning 27096 clauses out of 54214 with flag 4286895/431337
151.18/148.94	c cleaning 27866 clauses out of 56118 with flag 4612710/460337
161.39/159.14	c cleaning 29083 clauses out of 58252 with flag 5036539/490337
171.33/169.29	c cleaning 29951 clauses out of 60169 with flag 5405741/521337
182.11/180.02	c cleaning 31065 clauses out of 62218 with flag 5791818/553337
193.29/191.28	c cleaning 31981 clauses out of 64153 with flag 6140861/586337
204.79/202.88	c cleaning 33036 clauses out of 66172 with flag 6545025/620337
216.77/214.85	c cleaning 33902 clauses out of 68136 with flag 6903759/655337
228.92/227.11	c cleaning 35115 clauses out of 70234 with flag 7242822/691337
241.19/239.43	c cleaning 36046 clauses out of 72120 with flag 7719361/728338
251.78/250.02	c Got one! Elapsed wall clock time (in seconds):249.875
251.78/250.02	o 42
252.50/250.77	c cleaning 36113 clauses out of 72240 with flag 11689/764504
253.60/251.87	c cleaning 21059 clauses out of 42126 with flag 26961/770503
255.39/253.69	c cleaning 14032 clauses out of 28069 with flag 46708/777505
257.69/255.90	c cleaning 11009 clauses out of 22035 with flag 67697/785503
260.01/258.38	c cleaning 10010 clauses out of 20027 with flag 91597/794504
262.61/260.96	c cleaning 10006 clauses out of 20019 with flag 117756/804506
265.50/263.84	c cleaning 10499 clauses out of 21010 with flag 146166/815503
268.80/267.10	c cleaning 11255 clauses out of 22511 with flag 177460/827503
272.39/270.77	c cleaning 12127 clauses out of 24256 with flag 210649/840503
276.08/274.49	c cleaning 13059 clauses out of 26131 with flag 247594/854505
280.28/278.61	c cleaning 14035 clauses out of 28070 with flag 286285/869503
284.67/283.02	c cleaning 15018 clauses out of 30035 with flag 327701/885503
289.35/287.82	c cleaning 16007 clauses out of 32019 with flag 371823/902505
294.74/293.25	c cleaning 17000 clauses out of 34011 with flag 417943/920504
299.94/298.40	c cleaning 18003 clauses out of 36011 with flag 467578/939504
305.43/303.92	c cleaning 19000 clauses out of 38007 with flag 516253/959503
311.51/310.05	c cleaning 20002 clauses out of 40007 with flag 570419/980503
318.09/316.65	c cleaning 21003 clauses out of 42005 with flag 627407/1002503
324.63/323.35	c cleaning 21997 clauses out of 44004 with flag 687838/1025505
331.41/330.15	c cleaning 22993 clauses out of 46005 with flag 751079/1049503
338.79/337.52	c cleaning 24005 clauses out of 48017 with flag 816067/1074508
346.57/345.35	c cleaning 24993 clauses out of 50009 with flag 884068/1100505
354.79/353.61	c cleaning 26004 clauses out of 52015 with flag 954733/1127504
363.28/362.12	c cleaning 26999 clauses out of 54010 with flag 1026590/1155503
371.96/370.86	c cleaning 27999 clauses out of 56011 with flag 1102074/1184503
381.08/380.10	c cleaning 29000 clauses out of 58012 with flag 1181828/1214503
390.55/389.59	c cleaning 30000 clauses out of 60013 with flag 1271058/1245504
398.32/397.11	c cleaning 31000 clauses out of 62013 with flag 1362642/1277504
404.92/403.76	c cleaning 31999 clauses out of 64012 with flag 1452931/1310503
412.52/411.41	c cleaning 32987 clauses out of 66013 with flag 1557405/1344503
420.50/419.50	c cleaning 34006 clauses out of 68026 with flag 1666305/1379503
428.69/427.63	c cleaning 34993 clauses out of 70020 with flag 1772020/1415503
437.47/436.49	c cleaning 36001 clauses out of 72027 with flag 1884226/1452503
446.78/445.82	c cleaning 37000 clauses out of 74026 with flag 1994170/1490503
456.46/455.53	c cleaning 37997 clauses out of 76026 with flag 2104696/1529503
466.56/465.60	c cleaning 39010 clauses out of 78029 with flag 2209563/1569503
477.15/476.31	c cleaning 39995 clauses out of 80019 with flag 2314812/1610503
488.03/487.27	c cleaning 41004 clauses out of 82024 with flag 2423394/1652503
499.41/498.69	c cleaning 42006 clauses out of 84020 with flag 2531436/1695503
510.42/509.77	c cleaning 43000 clauses out of 86014 with flag 2661835/1739503
522.01/521.37	c cleaning 43997 clauses out of 88014 with flag 2790830/1784503
535.11/534.58	c cleaning 45003 clauses out of 90019 with flag 2909599/1830505
548.50/547.95	c cleaning 46001 clauses out of 92014 with flag 3033835/1877503
561.66/561.16	c cleaning 47007 clauses out of 94014 with flag 3160932/1925504
574.48/574.00	c cleaning 47997 clauses out of 96008 with flag 3287096/1974505
587.18/586.77	c cleaning 49001 clauses out of 98010 with flag 3431380/2024504
600.67/600.38	c cleaning 49992 clauses out of 100008 with flag 3565024/2075503
614.68/614.36	c cleaning 51001 clauses out of 102016 with flag 3697827/2127503
628.97/628.78	c cleaning 52004 clauses out of 104016 with flag 3835078/2180504
643.85/643.60	c cleaning 53003 clauses out of 106011 with flag 3983743/2234503
658.81/658.97	c cleaning 53997 clauses out of 108008 with flag 4137196/2289503
672.18/672.39	c cleaning 55000 clauses out of 110011 with flag 4277864/2345503
686.82/687.06	c cleaning 56003 clauses out of 112012 with flag 4418235/2402504
701.48/701.74	c cleaning 57005 clauses out of 114009 with flag 4563470/2460504
716.89/717.29	c cleaning 57999 clauses out of 116003 with flag 4721620/2519503
732.00/732.34	c cleaning 58984 clauses out of 118006 with flag 4880290/2579505
747.64/748.03	c cleaning 60010 clauses out of 120021 with flag 5038615/2640504
763.99/764.47	c cleaning 60997 clauses out of 122010 with flag 5201096/2702503
779.82/780.31	c cleaning 61993 clauses out of 124013 with flag 5365527/2765503
796.33/796.83	c cleaning 63000 clauses out of 126021 with flag 5531365/2829504
812.93/813.59	c cleaning 64006 clauses out of 128021 with flag 5699089/2894504
830.79/831.46	c cleaning 65003 clauses out of 130016 with flag 5872677/2960505
849.03/849.87	c cleaning 65997 clauses out of 132012 with flag 6049565/3027504
866.82/867.64	c cleaning 67005 clauses out of 134014 with flag 6227132/3095503
885.65/886.51	c cleaning 68003 clauses out of 136009 with flag 6408526/3164503
905.15/906.18	c cleaning 69002 clauses out of 138007 with flag 6591685/3234504
924.80/925.89	c cleaning 69997 clauses out of 140005 with flag 6786020/3305504
944.10/945.28	c cleaning 71001 clauses out of 142007 with flag 6975117/3377503
963.48/964.78	c cleaning 71991 clauses out of 144007 with flag 7167292/3450504
983.08/984.35	c cleaning 73000 clauses out of 146015 with flag 7362121/3524503
1003.51/1004.81	c cleaning 74001 clauses out of 148016 with flag 7556839/3599504
1023.75/1025.17	c cleaning 75001 clauses out of 150015 with flag 7754500/3675504
1043.55/1044.90	c cleaning 76000 clauses out of 152013 with flag 7956564/3752503
1064.08/1065.54	c cleaning 77001 clauses out of 154015 with flag 8160598/3830505
1084.61/1086.13	c cleaning 78004 clauses out of 156012 with flag 8366901/3909503
1106.25/1107.84	c cleaning 78997 clauses out of 158008 with flag 8575425/3989503
1127.85/1129.74	c cleaning 80006 clauses out of 160011 with flag 8784808/4070503
1149.76/1151.79	c cleaning 80995 clauses out of 162006 with flag 9002466/4152504
1171.56/1173.57	c cleaning 82003 clauses out of 164011 with flag 9228184/4235504
1193.53/1195.67	c cleaning 82995 clauses out of 166007 with flag 9457167/4319503
1215.55/1217.95	c cleaning 83993 clauses out of 168014 with flag 9684236/4404505
1237.95/1240.43	c cleaning 85004 clauses out of 170019 with flag 9914081/4490503
1261.25/1263.74	c cleaning 86004 clauses out of 172016 with flag 10139373/4577504
1284.55/1287.17	c cleaning 87002 clauses out of 174012 with flag 10369957/4665504
1307.99/1311.97	c cleaning 87999 clauses out of 176009 with flag 10603065/4754503
1331.77/1335.73	c cleaning 89004 clauses out of 178011 with flag 10837484/4844504
1356.33/1360.48	c cleaning 90000 clauses out of 180007 with flag 11080938/4935504
1380.32/1384.54	c cleaning 90998 clauses out of 182006 with flag 11336514/5027503
1405.63/1409.96	c cleaning 92001 clauses out of 184009 with flag 11592936/5120504
1430.58/1434.96	c cleaning 92998 clauses out of 186008 with flag 11852804/5214504
1456.75/1461.10	c cleaning 94003 clauses out of 188010 with flag 12121099/5309504
1488.87/1493.49	c cleaning 94867 clauses out of 190006 with flag 13317703/5405503
1520.69/1525.30	c cleaning 96056 clauses out of 192140 with flag 14385546/5502504
1552.45/1557.10	c cleaning 97017 clauses out of 194083 with flag 14729210/5600503
1583.88/1588.61	c cleaning 98029 clauses out of 196066 with flag 15061411/5699503
1618.26/1623.00	c cleaning 98865 clauses out of 198037 with flag 16155869/5799503
1653.50/1658.35	c cleaning 100065 clauses out of 200173 with flag 17586512/5900504
1689.63/1694.54	c cleaning 101044 clauses out of 202107 with flag 18910000/6002503
1727.58/1732.51	c cleaning 101930 clauses out of 204063 with flag 20120286/6105503
1766.98/1772.06	c cleaning 102971 clauses out of 206133 with flag 21154996/6209503
1767.88/1772.91	c Got one! Elapsed wall clock time (in seconds):1772.76
1767.88/1772.91	o 41
1769.03/1774.04	c cleaning 54286 clauses out of 108583 with flag 6921/6214924
1770.12/1775.11	c cleaning 30141 clauses out of 60296 with flag 21021/6220923
1771.72/1776.71	c cleaning 18572 clauses out of 37155 with flag 40082/6227923
1773.91/1778.98	c cleaning 13281 clauses out of 26585 with flag 60622/6235925
1776.41/1781.40	c cleaning 11143 clauses out of 22303 with flag 84525/6244924
1779.11/1784.19	c cleaning 10561 clauses out of 21159 with flag 110657/6254923
1782.10/1787.18	c cleaning 10791 clauses out of 21598 with flag 139056/6265923
1785.52/1790.52	c cleaning 11395 clauses out of 22807 with flag 170284/6277923
1789.02/1794.10	c cleaning 12205 clauses out of 24412 with flag 204579/6290923
1793.06/1798.15	c cleaning 13097 clauses out of 26207 with flag 241862/6304923
1797.34/1802.45	c cleaning 14052 clauses out of 28110 with flag 283890/6319923
1802.04/1807.17	c cleaning 15019 clauses out of 30058 with flag 324637/6335923
1806.93/1812.02	c cleaning 16012 clauses out of 32041 with flag 369976/6352925
1812.34/1817.45	c cleaning 17009 clauses out of 34027 with flag 421134/6370923
1817.93/1823.04	c cleaning 18003 clauses out of 36018 with flag 470057/6389923
1823.67/1828.85	c cleaning 18999 clauses out of 38016 with flag 521954/6409924
1829.86/1835.04	c cleaning 20003 clauses out of 40016 with flag 577126/6430923
1836.44/1841.68	c cleaning 20996 clauses out of 42014 with flag 637383/6452924
1843.36/1848.51	c cleaning 22002 clauses out of 44017 with flag 698738/6475923
1850.54/1855.71	c cleaning 23004 clauses out of 46015 with flag 764741/6499923
1857.86/1863.22	c cleaning 23999 clauses out of 48013 with flag 830934/6524925
1865.48/1870.80	c cleaning 25004 clauses out of 50015 with flag 898528/6550926
1873.26/1878.60	c cleaning 25998 clauses out of 52008 with flag 967757/6577923
1881.54/1886.91	c cleaning 27000 clauses out of 54010 with flag 1043786/6605923
1890.36/1895.81	c cleaning 27998 clauses out of 56010 with flag 1126708/6634923
1899.14/1904.63	c cleaning 29003 clauses out of 58012 with flag 1210727/6664923
1908.33/1913.83	c cleaning 30004 clauses out of 60009 with flag 1294252/6695923
1917.88/1923.58	c cleaning 31001 clauses out of 62006 with flag 1388835/6727924
1927.76/1933.45	c cleaning 31989 clauses out of 64005 with flag 1478219/6760924
1937.84/1943.54	c cleaning 32997 clauses out of 66015 with flag 1566165/6794923
1948.58/1954.31	c cleaning 34008 clauses out of 68020 with flag 1656107/6829925
1959.55/1965.37	c cleaning 35005 clauses out of 70012 with flag 1746201/6865925
1971.46/1977.20	c cleaning 36002 clauses out of 72006 with flag 1850038/6902924
1983.30/1989.36	c cleaning 36996 clauses out of 74004 with flag 1953276/6940924
1995.77/2001.86	c cleaning 37832 clauses out of 76007 with flag 2372585/6979923
2008.74/2014.88	c cleaning 39017 clauses out of 78175 with flag 2803198/7019923
2022.51/2028.64	c cleaning 39988 clauses out of 80158 with flag 3263506/7060923
2036.31/2042.42	c cleaning 41078 clauses out of 82171 with flag 3751203/7102924
2048.94/2055.15	c cleaning 42031 clauses out of 84092 with flag 3877206/7145923
2062.05/2068.22	c cleaning 43028 clauses out of 86061 with flag 4009858/7189923
2075.74/2081.94	c cleaning 44009 clauses out of 88034 with flag 4143694/7234924
2089.82/2096.03	c cleaning 45000 clauses out of 90024 with flag 4278173/7280923
2105.29/2111.54	c cleaning 46010 clauses out of 92024 with flag 4417928/7327923
2119.06/2125.30	c cleaning 46999 clauses out of 94016 with flag 4557346/7375925
2133.33/2139.64	c cleaning 47998 clauses out of 96015 with flag 4699409/7424923
2147.99/2154.36	c cleaning 49005 clauses out of 98018 with flag 4846748/7474924
2161.98/2168.36	c cleaning 50002 clauses out of 100013 with flag 5005763/7525924
2176.25/2182.64	c cleaning 50995 clauses out of 102013 with flag 5161067/7577926
2191.21/2197.69	c cleaning 52008 clauses out of 104018 with flag 5334659/7630926
2207.02/2213.40	c cleaning 52997 clauses out of 106007 with flag 5504869/7684923
2222.86/2229.31	c cleaning 53998 clauses out of 108011 with flag 5673460/7739924
2238.85/2245.35	c cleaning 55003 clauses out of 110015 with flag 5841248/7795926
2255.02/2261.58	c cleaning 55994 clauses out of 112009 with flag 6009143/7852923
2271.18/2277.78	c cleaning 57007 clauses out of 114016 with flag 6184900/7910924
2288.05/2294.67	c cleaning 57983 clauses out of 116009 with flag 6364818/7969924
2304.95/2311.55	c cleaning 59007 clauses out of 118025 with flag 6556837/8029923
2323.07/2329.73	c cleaning 60003 clauses out of 120018 with flag 6749389/8090923
2341.24/2347.94	c cleaning 61004 clauses out of 122015 with flag 6953507/8152923
2359.18/2365.96	c cleaning 61985 clauses out of 124011 with flag 7139029/8215923
2377.93/2384.71	c cleaning 63005 clauses out of 126030 with flag 7338856/8279927
2396.73/2403.51	c cleaning 64003 clauses out of 128021 with flag 7544963/8344923
2415.79/2422.66	c cleaning 65004 clauses out of 130019 with flag 7753775/8410924
2435.54/2442.46	c cleaning 65999 clauses out of 132017 with flag 7961017/8477926
2455.10/2462.01	c cleaning 67008 clauses out of 134016 with flag 8166434/8545924
2474.81/2481.86	c cleaning 68002 clauses out of 136007 with flag 8362380/8614923
2494.80/2501.80	c cleaning 68989 clauses out of 138009 with flag 8565118/8684927
2516.15/2523.44	c cleaning 69999 clauses out of 140016 with flag 8820292/8755923
2537.82/2545.14	c cleaning 71007 clauses out of 142017 with flag 9056391/8827923
2558.36/2565.79	c cleaning 72000 clauses out of 144010 with flag 9319129/8900923
2583.04/2590.41	c cleaning 72980 clauses out of 146010 with flag 10010367/8974923
2608.33/2618.24	c cleaning 73979 clauses out of 148030 with flag 10777227/9049923
2634.83/2644.80	c cleaning 74927 clauses out of 150051 with flag 11631258/9125923
2662.80/2672.85	c cleaning 75997 clauses out of 152124 with flag 12665496/9202923
2691.27/2701.30	c cleaning 76999 clauses out of 154127 with flag 13612680/9280923
2715.93/2726.02	c Got one! Elapsed wall clock time (in seconds):2725.873
2715.93/2726.02	o 40
2717.36/2727.41	c cleaning 77113 clauses out of 154231 with flag 11584/9358026
2718.46/2728.52	c cleaning 41554 clauses out of 83118 with flag 25891/9364026
2719.46/2729.59	c cleaning 24275 clauses out of 48565 with flag 42406/9371027
2721.35/2731.46	c cleaning 16137 clauses out of 32289 with flag 64202/9379026
2723.74/2733.81	c cleaning 12567 clauses out of 25153 with flag 88562/9388027
2726.34/2736.41	c cleaning 11274 clauses out of 22586 with flag 115546/9398027
2729.16/2739.27	c cleaning 11143 clauses out of 22312 with flag 143406/9409027
2732.15/2742.28	c cleaning 11578 clauses out of 23168 with flag 173866/9421026
2735.55/2745.68	c cleaning 12284 clauses out of 24590 with flag 208542/9434026
2739.34/2749.44	c cleaning 13147 clauses out of 26306 with flag 244055/9448026
2743.08/2753.21	c cleaning 14080 clauses out of 28159 with flag 283616/9463026
2747.01/2757.17	c cleaning 15028 clauses out of 30082 with flag 325010/9479029
2750.79/2760.92	c cleaning 16021 clauses out of 32053 with flag 368890/9496028
2755.29/2765.40	c cleaning 17009 clauses out of 34030 with flag 416954/9514026
2760.08/2770.27	c cleaning 18009 clauses out of 36022 with flag 465310/9533027
2765.49/2775.64	c cleaning 18994 clauses out of 38013 with flag 517621/9553027
2770.84/2781.04	c cleaning 20008 clauses out of 40021 with flag 573443/9574029
2776.42/2786.69	c cleaning 20998 clauses out of 42011 with flag 629431/9596027
2782.61/2792.82	c cleaning 22002 clauses out of 44013 with flag 689510/9619027
2788.72/2798.99	c cleaning 22998 clauses out of 46013 with flag 751396/9643029
2795.40/2805.65	c cleaning 24007 clauses out of 48014 with flag 819802/9668028
2802.47/2812.60	c cleaning 25003 clauses out of 50006 with flag 887899/9694027
2809.86/2820.08	c cleaning 25991 clauses out of 52002 with flag 959271/9721026
2817.24/2827.48	c cleaning 27002 clauses out of 54014 with flag 1033906/9749029
2825.33/2835.50	c cleaning 27998 clauses out of 56009 with flag 1110758/9778026
2833.38/2843.65	c cleaning 29001 clauses out of 58011 with flag 1189695/9808026
2842.05/2852.33	c cleaning 30004 clauses out of 60011 with flag 1278161/9839027
2851.15/2861.42	c cleaning 30990 clauses out of 62006 with flag 1373164/9871026
2860.23/2870.57	c cleaning 32009 clauses out of 64018 with flag 1465967/9904028
2869.78/2880.16	c cleaning 33005 clauses out of 66009 with flag 1563868/9938028
2878.97/2889.31	c cleaning 33991 clauses out of 68002 with flag 1657109/9973026
2887.94/2898.36	c cleaning 35004 clauses out of 70012 with flag 1751004/10009027
2896.72/2907.26	c cleaning 35996 clauses out of 72007 with flag 1848378/10046026
2906.51/2917.05	c cleaning 37003 clauses out of 74011 with flag 1950799/10084026
2917.08/2927.69	c cleaning 37993 clauses out of 76011 with flag 2054344/10123029
2927.93/2938.53	c cleaning 38998 clauses out of 78015 with flag 2160013/10163026
2939.21/2949.83	c cleaning 40008 clauses out of 80017 with flag 2265842/10204026
2950.67/2961.32	c cleaning 40993 clauses out of 82010 with flag 2376021/10246027
2962.14/2972.85	c cleaning 41999 clauses out of 84017 with flag 2484016/10289027
2975.09/2985.87	c cleaning 43006 clauses out of 86017 with flag 2595297/10333026
2988.14/2998.95	c cleaning 43996 clauses out of 88012 with flag 2711498/10378027
3001.61/3012.46	c cleaning 44999 clauses out of 90015 with flag 2828450/10424026
3015.46/3026.38	c cleaning 46001 clauses out of 92016 with flag 2949097/10471026
3029.33/3040.29	c cleaning 46999 clauses out of 94015 with flag 3071786/10519026
3043.91/3054.86	c cleaning 48002 clauses out of 96016 with flag 3206237/10568026
3058.54/3069.59	c cleaning 48995 clauses out of 98014 with flag 3341453/10618026
3072.73/3083.75	c cleaning 50002 clauses out of 100020 with flag 3475411/10669027
3087.56/3100.26	c cleaning 51007 clauses out of 102020 with flag 3618801/10721029
3102.92/3115.62	c cleaning 51996 clauses out of 104011 with flag 3763432/10774027
3118.55/3131.39	c cleaning 53001 clauses out of 106015 with flag 3913172/10828027
3135.80/3148.62	c cleaning 54001 clauses out of 108013 with flag 4069252/10883026
3152.44/3165.31	c cleaning 55000 clauses out of 110012 with flag 4219641/10939026
3168.78/3181.79	c cleaning 55993 clauses out of 112012 with flag 4369491/10996026
3186.07/3199.06	c cleaning 57001 clauses out of 114020 with flag 4525188/11054027
3202.82/3215.85	c cleaning 58002 clauses out of 116018 with flag 4679979/11113026
3219.58/3232.62	c cleaning 59004 clauses out of 118016 with flag 4835183/11173026
3236.73/3249.82	c cleaning 59998 clauses out of 120013 with flag 4994970/11234027
3254.61/3267.70	c cleaning 61001 clauses out of 122014 with flag 5158671/11296026
3272.85/3286.01	c cleaning 62002 clauses out of 124016 with flag 5322485/11359029
3291.59/3304.87	c cleaning 62997 clauses out of 126011 with flag 5488624/11423026
3311.57/3324.89	c cleaning 64004 clauses out of 128017 with flag 5658810/11488029
3331.13/3344.48	c cleaning 65005 clauses out of 130010 with flag 5829723/11554026
3349.39/3362.77	c cleaning 65993 clauses out of 132005 with flag 6004654/11621026
3369.73/3383.14	c cleaning 66996 clauses out of 134014 with flag 6179934/11689028
3390.18/3403.64	c cleaning 68003 clauses out of 136017 with flag 6358072/11758027
3410.27/3423.70	c cleaning 69004 clauses out of 138013 with flag 6538393/11828026
3432.09/3445.60	c cleaning 70002 clauses out of 140010 with flag 6724125/11899027
3454.24/3467.84	c cleaning 70994 clauses out of 142007 with flag 6909804/11971026
3475.98/3489.67	c cleaning 72003 clauses out of 144014 with flag 7098965/12044027
3496.68/3510.30	c cleaning 72999 clauses out of 146011 with flag 7287181/12118027
3520.14/3533.89	c cleaning 74006 clauses out of 148011 with flag 7480232/12193026
3543.80/3557.57	c cleaning 74995 clauses out of 150005 with flag 7682351/12269026
3565.77/3579.63	c cleaning 76001 clauses out of 152010 with flag 7879479/12346026
3589.44/3603.37	c cleaning 76997 clauses out of 154009 with flag 8078123/12424026
3600.02/3613.91	c starts		: 8921
3600.02/3613.93	c conflicts		: 12458836
3600.02/3613.93	c decisions		: 87262380
3600.02/3613.93	c propagations		: 28546418763
3600.02/3613.93	c inspects		: 28625455178
3600.02/3613.93	c shortcuts		: 0
3600.02/3613.93	c learnt literals	: 0
3600.02/3613.93	c learnt binary clauses	: 0
3600.02/3613.93	c learnt ternary clauses	: 0
3600.02/3613.93	c learnt constraints	: 12458836
3600.02/3613.93	c ignored constraints	: 0
3600.02/3613.93	c root simplifications	: 0
3600.02/3613.93	c removed literals (reason simplification)	: 50593434
3600.02/3613.93	c reason swapping (by a shorter reason)	: 0
3600.02/3613.93	c Calls to reduceDB	: 286
3600.02/3613.93	c Number of update (reduction) of LBD	: 3175995
3600.02/3613.93	c Imported unit clauses	: 0
3600.02/3613.93	c No decision after first conflict	: false
3600.02/3613.93	c number of reductions to clauses (during analyze)	: 0
3600.02/3613.93	c number of learned constraints concerned by reduction	: 0
3600.02/3613.93	c number of learning phase by resolution	: 0
3600.02/3613.93	c number of learning phase by cutting planes	: 0
3600.02/3613.93	c number of rounding to 1 operations	: 0
3600.02/3613.93	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3613.93	c number of reductions of the coefficients by power 2 	: 0
3600.02/3613.93	c number of right shift for reduction by power 2 	: 0
3600.02/3613.93	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3613.93	c number of ending skipping 	: 0
3600.02/3613.93	c number of internal skipping 	: 0
3600.02/3613.93	c number of derivation steps 	: 0
3600.02/3613.93	c number of skipped derivation steps 	: 0
3600.02/3613.93	c number of remaining unassigned 	: 0
3600.02/3613.93	c number of remaining assigned 	: 0
3600.02/3613.93	c number of falsified literals weakened from reason	: 0
3600.02/3613.93	c number of falsified literals weakened from conflict	: 0
3600.02/3613.93	c time for arithmetic operations	: 0
3600.02/3613.93	c minimum degree of deleted constraints	: null
3600.02/3613.93	c maximum degree of deleted constraints	: null
3600.02/3613.93	c number of deleted constraints	: 0
3600.02/3613.94	c speed (assignments/second)	: 7899761.113078997
3600.02/3613.94	c non guided choices	: 21
3600.02/3614.00	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 111822
3600.02/3614.00	s SATISFIABLE
3600.02/3614.00	c Found 6 solution(s)
3600.23/3614.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/3614.03	c objective function=40
3600.23/3614.03	c Total wall clock time (in seconds): 3613.882

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497247-1751405064/watcher-4497247-1751405064 -o /tmp/evaluation-result-4497247-1751405064/solver-4497247-1751405064 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751405064-57981 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4497247-1751405064 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4497247-1751405064.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 FSIZE limit: 102400000 KiB
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=58032, runsolver pid=58024

[startup+0.100059 s]*
/proc/loadavg: 1.70 2.50 3.29 9/337 58105
/proc/meminfo: memFree=129769332/131249988 swapFree=33010672/33010684
[pid=58032] ppid=58024 vsize=18930384 memory=52008 CPUtime=0.09 cores=5,7
/proc/58032/stat : 58032 (java) S 58024 58032 57968 0 -1 4194304 5992 0 189 0 7 2 0 0 20 0 18 0 56183951 19384713216 13002 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
/proc/58032/statm: 4732596 13002 5359 1 0 547281 0
[pid=58032/tid=58040] ppid=58024 vsize=18930384 memory=4026532124 CPUtime=0.05 cores=5,7
/proc/58032/task/58040/stat : 58040 (java) R 58024 58032 57968 0 -1 4194368 4784 0 189 0 4 1 0 0 20 0 18 0 56183953 19384713216 13002 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58087] ppid=58024 vsize=18930384 memory=17146 CPUtime=0 cores=5,7
/proc/58032/task/58087/stat : 58087 (Finalizer) S 58024 58032 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56183956 19384713216 13002 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58104] ppid=58024 vsize=18930384 memory=54087446168546 CPUtime=0 cores=5,7
/proc/58032/task/58104/stat : 58104 (Common-Cleaner) S 58024 58032 57968 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 56183956 19384713216 13002 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52008 KiB

[startup+0.205746 s]*
/proc/loadavg: 1.70 2.50 3.29 12/338 58108
/proc/meminfo: memFree=129717380/131249988 swapFree=33010672/33010684
[pid=58032] ppid=58024 vsize=18930384 memory=64188 CPUtime=0.28 cores=5,7
/proc/58032/stat : 58032 (java) S 58024 58032 57968 0 -1 4194304 6885 0 189 0 26 2 0 0 20 0 18 0 56183951 19384713216 16047 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
/proc/58032/statm: 4732596 16047 5423 1 0 547963 0
[pid=58032/tid=58040] ppid=58024 vsize=18930384 memory=4026663031 CPUtime=0.15 cores=5,7
/proc/58032/task/58040/stat : 58040 (java) R 58024 58032 57968 0 -1 4194368 5092 0 189 0 13 2 0 0 20 0 18 0 56183953 19384713216 16047 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58087] ppid=58024 vsize=18930384 memory=215637836247 CPUtime=0 cores=5,7
/proc/58032/task/58087/stat : 58087 (Finalizer) S 58024 58032 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56183956 19384713216 16047 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58104] ppid=58024 vsize=18930384 memory=29764 CPUtime=0 cores=5,7
/proc/58032/task/58104/stat : 58104 (Common-Cleaner) S 58024 58032 57968 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 56183956 19384713216 16047 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64188 KiB

[startup+0.305708 s]*
/proc/loadavg: 1.70 2.50 3.29 8/317 58110
/proc/meminfo: memFree=129680584/131249988 swapFree=33010672/33010684
[pid=58032] ppid=58024 vsize=18930384 memory=90844 CPUtime=0.47 cores=5,7
/proc/58032/stat : 58032 (java) S 58024 58032 57968 0 -1 4194304 8381 0 189 0 44 3 0 0 20 0 18 0 56183951 19384713216 22711 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
/proc/58032/statm: 4732596 22711 5423 1 0 548952 0
[pid=58032/tid=58040] ppid=58024 vsize=18930384 memory=-7824251494391045226 CPUtime=0.22 cores=5,7
/proc/58032/task/58040/stat : 58040 (java) R 58024 58032 57968 0 -1 4194368 5137 0 189 0 20 2 0 0 20 0 18 0 56183953 19384713216 22711 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58087] ppid=58024 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/58032/task/58087/stat : 58087 (Finalizer) S 58024 58032 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56183956 19384713216 22711 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58104] ppid=58024 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/58032/task/58104/stat : 58104 (Common-Cleaner) S 58024 58032 57968 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 56183956 19384713216 22711 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 90844 KiB

[startup+0.700213 s]
/proc/loadavg: 1.70 2.50 3.29 9/319 58119
/proc/meminfo: memFree=129618628/131249988 swapFree=33010672/33010684
[pid=58032] ppid=58024 vsize=18996948 memory=134340 CPUtime=1.24 cores=5,7
/proc/58032/stat : 58032 (java) S 58024 58032 57968 0 -1 4194304 15453 0 189 0 118 6 0 0 20 0 19 0 56183951 19452874752 33585 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
/proc/58032/statm: 4749237 33585 5455 1 0 554256 0
[pid=58032/tid=58040] ppid=58024 vsize=18996948 memory=18432 CPUtime=0.53 cores=5,7
/proc/58032/task/58040/stat : 58040 (java) R 58024 58032 57968 0 -1 4194368 5281 0 189 0 50 3 0 0 20 0 19 0 56183953 19452874752 33585 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58087] ppid=58024 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/58032/task/58087/stat : 58087 (Finalizer) S 58024 58032 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 56183956 19452874752 33585 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58104] ppid=58024 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/58032/task/58104/stat : 58104 (Common-Cleaner) S 58024 58032 57968 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 56183956 19452874752 33585 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58119] ppid=58024 vsize=18996948 memory=4760 CPUtime=0 cores=5,7
/proc/58032/task/58119/stat : 58119 (Timer-0) S 58024 58032 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 56183987 19452874752 33585 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 134340 KiB

[startup+1.50022 s]
/proc/loadavg: 1.70 2.50 3.29 7/319 58119
/proc/meminfo: memFree=129497708/131249988 swapFree=33010672/33010684
[pid=58032] ppid=58024 vsize=19063512 memory=180828 CPUtime=2.82 cores=5,7
/proc/58032/stat : 58032 (java) S 58024 58032 57968 0 -1 4194304 20480 0 189 0 274 8 0 0 20 0 20 0 56183951 19521036288 45207 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
/proc/58032/statm: 4765878 45207 5487 1 0 554563 0
[pid=58032/tid=58040] ppid=58024 vsize=19063512 memory=0 CPUtime=1.3 cores=5,7
/proc/58032/task/58040/stat : 58040 (java) S 58024 58032 57968 0 -1 4194368 5572 0 189 0 126 4 0 0 20 0 20 0 56183953 19521036288 45207 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58087] ppid=58024 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/58032/task/58087/stat : 58087 (Finalizer) S 58024 58032 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56183956 19521036288 45207 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58104] ppid=58024 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/58032/task/58104/stat : 58104 (Common-Cleaner) S 58024 58032 57968 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 56183956 19521036288 45207 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58119] ppid=58024 vsize=19063512 memory=4760 CPUtime=0 cores=5,7
/proc/58032/task/58119/stat : 58119 (Timer-0) S 58024 58032 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56183987 19521036288 45207 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180828 KiB

[startup+3.10601 s]
/proc/loadavg: 2.04 2.56 3.31 8/344 58178
/proc/meminfo: memFree=129266484/131249988 swapFree=33010672/33010684
[pid=58032] ppid=58024 vsize=19063512 memory=181724 CPUtime=5.34 cores=5,7
/proc/58032/stat : 58032 (java) S 58024 58032 57968 0 -1 4194304 23987 0 189 0 525 9 0 0 20 0 20 0 56183951 19521036288 45431 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
/proc/58032/statm: 4765878 45431 5487 1 0 554602 0
[pid=58032/tid=58040] ppid=58024 vsize=19063512 memory=10752 CPUtime=2.88 cores=5,7
/proc/58032/task/58040/stat : 58040 (java) R 58024 58032 57968 0 -1 4194368 6763 0 189 0 283 5 0 0 20 0 20 0 56183953 19521036288 45431 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58087] ppid=58024 vsize=19063512 memory=-6000919489937040490 CPUtime=0 cores=5,7
/proc/58032/task/58087/stat : 58087 (Finalizer) S 58024 58032 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56183956 19521036288 45431 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58104] ppid=58024 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/58032/task/58104/stat : 58104 (Common-Cleaner) S 58024 58032 57968 0 -1 4194368 41 0 0 0 0 0 0 0 20 0 20 0 56183956 19521036288 45431 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58119] ppid=58024 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/58032/task/58119/stat : 58119 (Timer-0) S 58024 58032 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56183987 19521036288 45431 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
Current children cumulated CPU time: 5.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181724 KiB

[startup+6.30016 s]
/proc/loadavg: 2.04 2.56 3.31 7/345 58179
/proc/meminfo: memFree=129140716/131249988 swapFree=33010672/33010684
[pid=58032] ppid=58024 vsize=19063512 memory=177504 CPUtime=9.06 cores=5,7
/proc/58032/stat : 58032 (java) S 58024 58032 57968 0 -1 4194304 25506 0 189 0 896 10 0 0 20 0 20 0 56183951 19521036288 44376 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
/proc/58032/statm: 4765878 44376 5487 1 0 554820 0
[pid=58032/tid=58040] ppid=58024 vsize=19063512 memory=0 CPUtime=6.06 cores=5,7
/proc/58032/task/58040/stat : 58040 (java) R 58024 58032 57968 0 -1 4194368 6851 0 189 0 600 6 0 0 20 0 20 0 56183953 19521036288 44376 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58087] ppid=58024 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/58032/task/58087/stat : 58087 (Finalizer) S 58024 58032 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56183956 19521036288 44376 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58104] ppid=58024 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/58032/task/58104/stat : 58104 (Common-Cleaner) S 58024 58032 57968 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 56183956 19521036288 44376 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58119] ppid=58024 vsize=19063512 memory=180828 CPUtime=0 cores=5,7
/proc/58032/task/58119/stat : 58119 (Timer-0) S 58024 58032 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56183987 19521036288 44376 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
Current children cumulated CPU time: 9.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177504 KiB

[startup+12.7002 s]
/proc/loadavg: 2.36 2.62 3.32 5/345 58179
/proc/meminfo: memFree=128352464/131249988 swapFree=33010672/33010684
[pid=58032] ppid=58024 vsize=19063512 memory=278120 CPUtime=15.45 cores=5,7
/proc/58032/stat : 58032 (java) S 58024 58032 57968 0 -1 4194304 30113 0 189 0 1532 13 0 0 20 0 20 0 56183951 19521036288 69530 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
/proc/58032/statm: 4765878 69530 5519 1 0 554820 0
[pid=58032/tid=58040] ppid=58024 vsize=19063512 memory=180828 CPUtime=12.38 cores=5,7
/proc/58032/task/58040/stat : 58040 (java) R 58024 58032 57968 0 -1 4194368 8223 0 189 0 1230 8 0 0 20 0 20 0 56183953 19521036288 69530 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58087] ppid=58024 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/58032/task/58087/stat : 58087 (Finalizer) S 58024 58032 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56183956 19521036288 69530 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58104] ppid=58024 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/58032/task/58104/stat : 58104 (Common-Cleaner) S 58024 58032 57968 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 56183956 19521036288 69530 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58119] ppid=58024 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/58032/task/58119/stat : 58119 (Timer-0) S 58024 58032 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56183987 19521036288 69530 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
Current children cumulated CPU time: 15.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 278120 KiB

[startup+25.5002 s]
/proc/loadavg: 2.80 2.70 3.34 5/343 58179
/proc/meminfo: memFree=125698364/131249988 swapFree=33010672/33010684
[pid=58032] ppid=58024 vsize=19063512 memory=812648 CPUtime=28.34 cores=5,7
/proc/58032/stat : 58032 (java) S 58024 58032 57968 0 -1 4194304 36208 0 189 0 2809 25 0 0 20 0 20 0 56183951 19521036288 203162 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
/proc/58032/statm: 4765878 203162 5519 1 0 554836 0
[pid=58032/tid=58040] ppid=58024 vsize=19063512 memory=0 CPUtime=25.15 cores=5,7
/proc/58032/task/58040/stat : 58040 (java) R 58024 58032 57968 0 -1 4194368 10030 0 189 0 2495 20 0 0 20 0 20 0 56183953 19521036288 203162 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58087] ppid=58024 vsize=19063512 memory=700008 CPUtime=0 cores=5,7
/proc/58032/task/58087/stat : 58087 (Finalizer) S 58024 58032 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56183956 19521036288 203162 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58104] ppid=58024 vsize=19063512 memory=667112 CPUtime=0 cores=5,7
/proc/58032/task/58104/stat : 58104 (Common-Cleaner) S 58024 58032 57968 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 56183956 19521036288 203162 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58119] ppid=58024 vsize=19063512 memory=4760 CPUtime=0 cores=5,7
/proc/58032/task/58119/stat : 58119 (Timer-0) S 58024 58032 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56183987 19521036288 203162 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
Current children cumulated CPU time: 28.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 812648 KiB

[startup+51.105 s]
/proc/loadavg: 3.21 2.81 3.36 5/344 58181
/proc/meminfo: memFree=124541348/131249988 swapFree=33010672/33010684
[pid=58032] ppid=58024 vsize=19063512 memory=1316532 CPUtime=53.82 cores=5,7
/proc/58032/stat : 58032 (java) S 58024 58032 57968 0 -1 4194304 39717 0 189 0 5344 38 0 0 20 0 20 0 56183951 19521036288 329133 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
/proc/58032/statm: 4765878 329133 5519 1 0 554836 0
[pid=58032/tid=58040] ppid=58024 vsize=19063512 memory=1316532 CPUtime=50.54 cores=5,7
/proc/58032/task/58040/stat : 58040 (java) R 58024 58032 57968 0 -1 4194368 10550 0 189 0 5022 32 0 0 20 0 20 0 56183953 19521036288 329133 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58087] ppid=58024 vsize=19063512 memory=278120 CPUtime=0 cores=5,7
/proc/58032/task/58087/stat : 58087 (Finalizer) S 58024 58032 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56183956 19521036288 329133 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0

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

/proc/meminfo: memFree=98632940/131249988 swapFree=33010672/33010684
[pid=58032] ppid=58024 vsize=19063512 memory=2171852 CPUtime=3269.15 cores=5,7
/proc/58032/stat : 58032 (java) S 58024 58032 57968 0 -1 4194304 120265 0 189 0 326427 488 0 0 20 0 20 0 56183951 19521036288 542963 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
/proc/58032/statm: 4765878 542963 5551 1 0 556289 0
[pid=58032/tid=58040] ppid=58024 vsize=19063512 memory=14848 CPUtime=3255.33 cores=5,7
/proc/58032/task/58040/stat : 58040 (java) R 58024 58032 57968 0 -1 4194368 44151 0 189 0 325120 413 0 0 20 0 20 0 56183953 19521036288 542963 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58087] ppid=58024 vsize=19063512 memory=2171852 CPUtime=0 cores=5,7
/proc/58032/task/58087/stat : 58087 (Finalizer) S 58024 58032 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56183956 19521036288 542963 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58104] ppid=58024 vsize=19063512 memory=2171852 CPUtime=0 cores=5,7
/proc/58032/task/58104/stat : 58104 (Common-Cleaner) S 58024 58032 57968 0 -1 4194368 1666 0 0 0 0 0 0 0 20 0 20 0 56183956 19521036288 542963 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58119] ppid=58024 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/58032/task/58119/stat : 58119 (Timer-0) S 58024 58032 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56183987 19521036288 542963 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
Current children cumulated CPU time: 3269.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171852 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.08 5/344 58368
/proc/meminfo: memFree=98241464/131249988 swapFree=33010672/33010684
[pid=58032] ppid=58024 vsize=19063512 memory=2171980 CPUtime=3329.03 cores=5,7
/proc/58032/stat : 58032 (java) S 58024 58032 57968 0 -1 4194304 120331 0 189 0 332407 496 0 0 20 0 20 0 56183951 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
/proc/58032/statm: 4765878 542995 5551 1 0 556289 0
[pid=58032/tid=58040] ppid=58024 vsize=19063512 memory=14848 CPUtime=3315.02 cores=5,7
/proc/58032/task/58040/stat : 58040 (java) R 58024 58032 57968 0 -1 4194368 44168 0 189 0 331082 420 0 0 20 0 20 0 56183953 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58087] ppid=58024 vsize=19063512 memory=2171852 CPUtime=0 cores=5,7
/proc/58032/task/58087/stat : 58087 (Finalizer) S 58024 58032 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56183956 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58104] ppid=58024 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/58032/task/58104/stat : 58104 (Common-Cleaner) S 58024 58032 57968 0 -1 4194368 1666 0 0 0 0 0 0 0 20 0 20 0 56183956 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58119] ppid=58024 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/58032/task/58119/stat : 58119 (Timer-0) S 58024 58032 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56183987 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
Current children cumulated CPU time: 3329.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171980 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.08 5/346 58372
/proc/meminfo: memFree=97864984/131249988 swapFree=33010672/33010684
[pid=58032] ppid=58024 vsize=19063512 memory=2171980 CPUtime=3388.89 cores=5,7
/proc/58032/stat : 58032 (java) S 58024 58032 57968 0 -1 4194304 120396 0 189 0 338385 504 0 0 20 0 20 0 56183951 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
/proc/58032/statm: 4765878 542995 5551 1 0 556289 0
[pid=58032/tid=58040] ppid=58024 vsize=19063512 memory=2171980 CPUtime=3374.73 cores=5,7
/proc/58032/task/58040/stat : 58040 (java) R 58024 58032 57968 0 -1 4194368 44201 0 189 0 337047 426 0 0 20 0 20 0 56183953 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58087] ppid=58024 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/58032/task/58087/stat : 58087 (Finalizer) S 58024 58032 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56183956 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58104] ppid=58024 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/58032/task/58104/stat : 58104 (Common-Cleaner) S 58024 58032 57968 0 -1 4194368 1666 0 0 0 0 0 0 0 20 0 20 0 56183956 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58119] ppid=58024 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/58032/task/58119/stat : 58119 (Timer-0) S 58024 58032 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56183987 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
Current children cumulated CPU time: 3388.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171980 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.08 5/346 58374
/proc/meminfo: memFree=97484852/131249988 swapFree=33010672/33010684
[pid=58032] ppid=58024 vsize=19063512 memory=2171980 CPUtime=3448.75 cores=5,7
/proc/58032/stat : 58032 (java) S 58024 58032 57968 0 -1 4194304 121933 0 189 0 344363 512 0 0 20 0 20 0 56183951 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
/proc/58032/statm: 4765878 542995 5551 1 0 556289 0
[pid=58032/tid=58040] ppid=58024 vsize=19063512 memory=3328 CPUtime=3434.45 cores=5,7
/proc/58032/task/58040/stat : 58040 (java) R 58024 58032 57968 0 -1 4194368 45068 0 189 0 343012 433 0 0 20 0 20 0 56183953 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58087] ppid=58024 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/58032/task/58087/stat : 58087 (Finalizer) S 58024 58032 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56183956 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58104] ppid=58024 vsize=19063512 memory=2171980 CPUtime=0 cores=5,7
/proc/58032/task/58104/stat : 58104 (Common-Cleaner) S 58024 58032 57968 0 -1 4194368 1666 0 0 0 0 0 0 0 20 0 20 0 56183956 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58119] ppid=58024 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/58032/task/58119/stat : 58119 (Timer-0) S 58024 58032 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56183987 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
Current children cumulated CPU time: 3448.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171980 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/346 58376
/proc/meminfo: memFree=97094284/131249988 swapFree=33010672/33010684
[pid=58032] ppid=58024 vsize=19063512 memory=2171980 CPUtime=3508.62 cores=5,7
/proc/58032/stat : 58032 (java) S 58024 58032 57968 0 -1 4194304 123066 0 189 0 350342 520 0 0 20 0 20 0 56183951 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
/proc/58032/statm: 4765878 542995 5551 1 0 556289 0
[pid=58032/tid=58040] ppid=58024 vsize=19063512 memory=2171980 CPUtime=3494.15 cores=5,7
/proc/58032/task/58040/stat : 58040 (java) R 58024 58032 57968 0 -1 4194368 45898 0 189 0 348974 441 0 0 20 0 20 0 56183953 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58087] ppid=58024 vsize=19063512 memory=2171980 CPUtime=0 cores=5,7
/proc/58032/task/58087/stat : 58087 (Finalizer) S 58024 58032 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56183956 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58104] ppid=58024 vsize=19063512 memory=18432 CPUtime=0 cores=5,7
/proc/58032/task/58104/stat : 58104 (Common-Cleaner) S 58024 58032 57968 0 -1 4194368 1723 0 0 0 0 0 0 0 20 0 20 0 56183956 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58119] ppid=58024 vsize=19063512 memory=2171980 CPUtime=0 cores=5,7
/proc/58032/task/58119/stat : 58119 (Timer-0) S 58024 58032 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56183987 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
Current children cumulated CPU time: 3508.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171980 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/344 58382
/proc/meminfo: memFree=96745600/131249988 swapFree=33010672/33010684
[pid=58032] ppid=58024 vsize=19063512 memory=2171980 CPUtime=3568.49 cores=5,7
/proc/58032/stat : 58032 (java) S 58024 58032 57968 0 -1 4194304 124078 0 189 0 356322 527 0 0 20 0 20 0 56183951 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
/proc/58032/statm: 4765878 542995 5551 1 0 556289 0
[pid=58032/tid=58040] ppid=58024 vsize=19063512 memory=2171980 CPUtime=3553.74 cores=5,7
/proc/58032/task/58040/stat : 58040 (java) R 58024 58032 57968 0 -1 4194368 46207 0 189 0 354927 447 0 0 20 0 20 0 56183953 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58087] ppid=58024 vsize=19063512 memory=2171980 CPUtime=0 cores=5,7
/proc/58032/task/58087/stat : 58087 (Finalizer) S 58024 58032 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56183956 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58104] ppid=58024 vsize=19063512 memory=2171980 CPUtime=0 cores=5,7
/proc/58032/task/58104/stat : 58104 (Common-Cleaner) S 58024 58032 57968 0 -1 4194368 1782 0 0 0 0 0 0 0 20 0 20 0 56183956 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58119] ppid=58024 vsize=19063512 memory=-4421386513360773986 CPUtime=0 cores=5,7
/proc/58032/task/58119/stat : 58119 (Timer-0) S 58024 58032 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56183987 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
Current children cumulated CPU time: 3568.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171980 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.9 s]
/proc/loadavg: 4.16 4.14 4.10 5/345 58384
/proc/meminfo: memFree=96548640/131249988 swapFree=33010672/33010684
[pid=58032] ppid=58024 vsize=19063512 memory=2171980 CPUtime=3600.02 cores=5,7
/proc/58032/stat : 58032 (java) S 58024 58032 57968 0 -1 4194304 124095 0 189 0 359472 530 0 0 20 0 20 0 56183951 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
/proc/58032/statm: 4765878 542995 5551 1 0 556289 0
[pid=58032/tid=58040] ppid=58024 vsize=19063512 memory=14848 CPUtime=3585.2 cores=5,7
/proc/58032/task/58040/stat : 58040 (java) R 58024 58032 57968 0 -1 4194368 46211 0 189 0 358070 450 0 0 20 0 20 0 56183953 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58087] ppid=58024 vsize=19063512 memory=2171980 CPUtime=0 cores=5,7
/proc/58032/task/58087/stat : 58087 (Finalizer) S 58024 58032 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56183956 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58104] ppid=58024 vsize=19063512 memory=-6000919489937040490 CPUtime=0 cores=5,7
/proc/58032/task/58104/stat : 58104 (Common-Cleaner) S 58024 58032 57968 0 -1 4194368 1782 0 0 0 0 0 0 0 20 0 20 0 56183956 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58119] ppid=58024 vsize=19063512 memory=2171980 CPUtime=0 cores=5,7
/proc/58032/task/58119/stat : 58119 (Timer-0) S 58024 58032 57968 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56183987 19521036288 542995 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2171980 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.98 s, system=5.31781 s

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

[startup+3614.01 s]*
/proc/loadavg: 4.15 4.14 4.09 8/346 58387
/proc/meminfo: memFree=96548892/131249988 swapFree=33010672/33010684
[pid=58032] ppid=58024 vsize=19263204 memory=2173260 CPUtime=3600.23 cores=5,7
/proc/58032/stat : 58032 (java) S 58024 58032 57968 0 -1 4194304 126687 0 189 0 359493 530 0 0 20 0 21 0 56183951 19725520896 543315 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
/proc/58032/statm: 4815801 543315 5551 1 0 557327 0
[pid=58032/tid=58040] ppid=58024 vsize=19263204 memory=6896 CPUtime=3585.3 cores=5,7
/proc/58032/task/58040/stat : 58040 (java) R 58024 58032 57968 0 -1 4194368 46408 0 189 0 358080 450 0 0 20 0 21 0 56183953 19725520896 543315 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58087] ppid=58024 vsize=19263204 memory=7024 CPUtime=0 cores=5,7
/proc/58032/task/58087/stat : 58087 (Finalizer) S 58024 58032 57968 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 56183956 19725520896 543315 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58104] ppid=58024 vsize=19263204 memory=-4421386509049029474 CPUtime=0 cores=5,7
/proc/58032/task/58104/stat : 58104 (Common-Cleaner) S 58024 58032 57968 0 -1 4194368 1782 0 0 0 0 0 0 0 20 0 21 0 56183956 19725520896 543315 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
[pid=58032/tid=58387] ppid=58024 vsize=19263204 memory=2724 CPUtime=0.05 cores=5,7
/proc/58032/task/58387/stat : 58387 (Thread-0) R 58024 58032 57968 0 -1 4194368 423 0 0 0 5 0 0 0 20 0 21 0 56545342 19725520896 543315 18446744073709551615 93977001062400 93977001066096 140725563749040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93977001073912 93977001074704 93977019420672 140725563754800 140725563754982 140725563754982 140725563760584 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2173260 KiB

Child status: 143

Real time (s): 3614.07
CPU time (s): 3600.3
CPU user time (s): 3594.98
CPU system time (s): 5.31781
CPU usage (%): 99.619
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2173260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.98
system time used= 5.31781
maximum resident set size= 2173388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127413
page faults= 189
swaps= 0
block input operations= 0
block output operations= 9594048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113607
involuntary context switches= 7611


# summary of solver processes directly reported to runsolver:
#   pid: 58032
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3594.98
#   total CPU system time (s): 5.31781

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.12266 second user time and 14.1803 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-01 23:24:24
IDJOB=4497247
IDBENCH=148160
IDSOLVER=3364
FILE ID=nodeC020/4497247-1751405064
RUNJOBID= nodeC020-1751405064-57981
SLURM_JOB_ID= 9598292
Free space on /tmp= 432716 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/area_opers/normalized-fir05_area_opers.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497247-1751405064/watcher-4497247-1751405064 -o /tmp/evaluation-result-4497247-1751405064/solver-4497247-1751405064 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751405064-57981 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4497247-1751405064 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4497247-1751405064.opb

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

MD5SUM BENCH= d2e5325c083e474671196c2c66be6ed7
RANDOM SEED=318070959

nodeC020 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.912
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.79
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		: 3600.014
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.79
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.917
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.79
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		: 3598.550
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.79
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.998
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129875172 kB
MemAvailable:   129773016 kB
Buffers:            2128 kB
Cached:           702208 kB
SwapCached:            8 kB
Active:           514920 kB
Inactive:         265080 kB
Active(anon):      71228 kB
Inactive(anon):    22512 kB
Active(file):     443692 kB
Inactive(file):   242568 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2684 kB
Writeback:             4 kB
AnonPages:         79120 kB
Mapped:           103472 kB
Shmem:             18048 kB
KReclaimable:     101644 kB
Slab:             190316 kB
SReclaimable:     101644 kB
SUnreclaim:        88672 kB
KernelStack:        4240 kB
PageTables:         2940 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     342124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432712 MiB
End job on nodeC020 at 2025-07-02 00:24:38