Trace number 4424826

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07MSAT (TO) 3600.63 3546.53

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl50_55_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM71978cc300e1cee51e577cd2bf81c379
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark0.190655
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5500
Total number of constraints210
Number of soft constraints72
Number of constraints which are clauses110
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint55
Top cost 3934
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 3933
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 56
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.10	c See www.sat4j.org for details.
0.12/0.11	c version CUSTOM.v20240707
0.12/0.13	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.13	c java.vm.version	22.0.1+8-16
0.12/0.13	c java.vm.vendor	Oracle Corporation
0.12/0.13	c sun.arch.data.model	64
0.12/0.13	c java.version		22.0.1
0.12/0.13	c os.name		Linux
0.12/0.13	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.13	c os.arch		amd64
0.12/0.13	c Free memory 		2115194816
0.12/0.13	c Max memory 		16282288128
0.12/0.13	c Total memory 		2122317824
0.12/0.13	c Number of processors 	2
0.12/0.17	--- Begin Solver configuration ---
0.12/0.17	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.17	Learn all clauses as in MiniSAT
0.12/0.17	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.17	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.17	No reason simplification
0.12/0.17	Glucose 2.1 dynamic restart strategy
0.12/0.17	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.17	timeout=2147483s
0.12/0.17	DB Simplification allowed=false
0.12/0.17	Listener: none
0.12/0.17	--- End Solver configuration ---
0.12/0.18	c Pseudo Boolean Optimization by upper bound
0.12/0.18	c --- Begin Solver configuration ---
0.12/0.18	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.18	c Learn all clauses as in MiniSAT
0.12/0.18	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.18	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.18	c No reason simplification
0.12/0.18	c Glucose 2.1 dynamic restart strategy
0.12/0.18	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.18	c timeout=2147483s
0.12/0.18	c DB Simplification allowed=false
0.12/0.18	c Listener: none
0.12/0.18	c --- End Solver configuration ---
0.12/0.18	c solving HOME/instance-4424826-1720880490.wbo
0.12/0.18	c reading problem ... 
0.53/0.35	c ... done. Wall clock time 0.171s.
0.53/0.35	c declared #vars     5500
0.53/0.35	c internal #vars     5572
0.53/0.35	c #constraints  211
0.53/0.35	c constraints type 
0.53/0.35	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 64
0.53/0.35	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 36
0.53/0.35	c org.sat4j.specs.Constr$1 => 1
0.53/0.35	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 110
0.53/0.35	c 211 constraints processed.
0.53/0.38	c objective function length is 72 literals
1.82/1.01	c SATISFIABLE
1.82/1.01	c OPTIMIZING...
1.82/1.01	c Got one! Elapsed wall clock time (in seconds):0.832
1.82/1.01	o 70
3.42/1.99	c cleaning 2896 clauses out of 5792 with flag 27023/5792
4.82/3.19	c cleaning 4445 clauses out of 8895 with flag 70222/11791
6.53/4.87	c cleaning 5725 clauses out of 11451 with flag 120104/18792
7.87/5.91	c Got one! Elapsed wall clock time (in seconds):5.741
7.87/5.91	o 67
8.09/6.06	c cleaning 5813 clauses out of 11671 with flag 12607/24737
9.07/6.86	c cleaning 5908 clauses out of 11858 with flag 56246/30737
10.63/8.12	c cleaning 6452 clauses out of 12951 with flag 108853/37738
12.52/9.93	c cleaning 7216 clauses out of 14498 with flag 185274/45737
14.74/12.15	c cleaning 8111 clauses out of 16282 with flag 270559/54737
18.48/15.85	c cleaning 9057 clauses out of 18171 with flag 372157/64737
23.31/20.58	c cleaning 10028 clauses out of 20114 with flag 484652/75737
29.07/26.16	c cleaning 11019 clauses out of 22090 with flag 601580/87741
34.76/31.74	c cleaning 12003 clauses out of 24067 with flag 714107/100737
38.07/35.06	c Got one! Elapsed wall clock time (in seconds):34.887
38.07/35.06	o 50
38.18/35.12	c Got one! Elapsed wall clock time (in seconds):34.952
38.18/35.12	o 42
38.27/35.21	c Got one! Elapsed wall clock time (in seconds):35.035
38.27/35.21	o 37
39.09/35.92	c cleaning 14304 clauses out of 28616 with flag 38988/117289
39.85/36.63	c cleaning 10148 clauses out of 20312 with flag 83675/123289
40.43/37.16	c cleaning 8565 clauses out of 17162 with flag 127055/130287
41.53/38.17	c cleaning 8276 clauses out of 16598 with flag 176591/138288
42.82/39.41	c cleaning 8637 clauses out of 17322 with flag 239577/147288
44.93/41.47	c cleaning 9315 clauses out of 18684 with flag 320246/157287
47.53/44.05	c cleaning 10163 clauses out of 20369 with flag 409241/168287
51.07/47.45	c cleaning 11083 clauses out of 22206 with flag 505467/180287
52.17/48.54	c Got one! Elapsed wall clock time (in seconds):48.372
52.17/48.54	o 34
52.69/49.02	c cleaning 10686 clauses out of 21408 with flag 29326/190572
53.62/49.81	c cleaning 8344 clauses out of 16724 with flag 74931/196574
54.32/50.58	c cleaning 7666 clauses out of 15378 with flag 125318/203572
55.32/51.52	c cleaning 7841 clauses out of 15715 with flag 178479/211575
56.41/52.62	c cleaning 8418 clauses out of 16871 with flag 239456/220572
57.97/54.07	c Got one! Elapsed wall clock time (in seconds):53.896
57.97/54.07	o 26
58.57/54.69	c cleaning 11172 clauses out of 22356 with flag 31543/234475
58.67/54.74	c Got one! Elapsed wall clock time (in seconds):54.572
58.67/54.74	o 24
59.27/55.37	c cleaning 8476 clauses out of 16969 with flag 34836/240260
59.77/55.82	c cleaning 7233 clauses out of 14493 with flag 77559/246260
60.85/56.80	c cleaning 7116 clauses out of 14261 with flag 122608/253261
61.47/57.40	c cleaning 7551 clauses out of 15148 with flag 173400/261264
62.67/58.68	c cleaning 8280 clauses out of 16593 with flag 239794/270260
64.98/60.40	c cleaning 9137 clauses out of 18315 with flag 330263/280262
66.60/62.09	c cleaning 10066 clauses out of 20176 with flag 433601/291260
69.94/65.22	c cleaning 11038 clauses out of 22110 with flag 543523/303260
73.01/68.38	c cleaning 12019 clauses out of 24073 with flag 658450/316261
77.56/72.75	c cleaning 13011 clauses out of 26054 with flag 787049/330261
81.23/76.41	c Got one! Elapsed wall clock time (in seconds):76.239
81.23/76.41	o 23
82.81/77.21	c cleaning 14912 clauses out of 29840 with flag 30023/347058
83.20/77.44	c Got one! Elapsed wall clock time (in seconds):77.272
83.20/77.44	o 22
83.85/77.90	c cleaning 10437 clauses out of 20888 with flag 20251/353018
84.24/78.32	c cleaning 8207 clauses out of 16451 with flag 57532/359018
85.14/79.27	c cleaning 7615 clauses out of 15245 with flag 109391/366019
86.31/80.36	c cleaning 7791 clauses out of 15629 with flag 160820/374018
87.60/81.64	c cleaning 8389 clauses out of 16838 with flag 233435/383018
88.99/83.09	c cleaning 9198 clauses out of 18450 with flag 315859/393019
91.15/85.11	c cleaning 10100 clauses out of 20252 with flag 422746/404019
93.33/87.35	c cleaning 11056 clauses out of 22155 with flag 539155/416022
96.37/90.27	c cleaning 12017 clauses out of 24095 with flag 655832/429018
100.22/93.98	c cleaning 13015 clauses out of 26079 with flag 797042/443019
103.78/97.52	c cleaning 14004 clauses out of 28064 with flag 944847/458019
108.58/102.18	c cleaning 15006 clauses out of 30061 with flag 1097076/474020
113.67/107.22	c cleaning 15994 clauses out of 32054 with flag 1261361/491019
116.52/109.99	c Got one! Elapsed wall clock time (in seconds):109.819
116.52/109.99	o 15
117.02/110.49	c cleaning 16196 clauses out of 32437 with flag 30810/507396
117.73/111.11	c cleaning 11090 clauses out of 22238 with flag 70973/513393
118.42/111.80	c cleaning 9048 clauses out of 18148 with flag 118206/520393
119.94/113.24	c cleaning 8526 clauses out of 17100 with flag 166720/528393
121.23/114.50	c cleaning 8754 clauses out of 17574 with flag 224377/537393
122.22/115.55	c cleaning 9382 clauses out of 18822 with flag 296149/547395
123.91/117.26	c cleaning 10193 clauses out of 20439 with flag 388923/558394
125.37/118.51	c cleaning 11102 clauses out of 22246 with flag 478218/570394
128.64/121.86	c cleaning 12052 clauses out of 24143 with flag 568650/583393
132.12/125.14	c cleaning 13024 clauses out of 26091 with flag 670817/597393
136.13/129.17	c cleaning 14012 clauses out of 28067 with flag 795675/612393
140.80/133.67	c cleaning 15006 clauses out of 30055 with flag 915080/628393
144.79/137.68	c cleaning 15997 clauses out of 32050 with flag 1035725/645394
151.69/144.30	c cleaning 16993 clauses out of 34054 with flag 1176646/663395
158.61/151.09	c cleaning 17994 clauses out of 36059 with flag 1330430/682393
168.12/159.70	c cleaning 19003 clauses out of 38065 with flag 1498410/702393
179.70/171.32	c cleaning 20000 clauses out of 40062 with flag 1681130/723393
186.09/177.59	c cleaning 21016 clauses out of 42062 with flag 1851302/745393
193.05/184.34	c cleaning 22011 clauses out of 44048 with flag 2039481/768395
199.05/190.13	c cleaning 22988 clauses out of 46036 with flag 2225422/792394
208.94/199.83	c cleaning 23996 clauses out of 48047 with flag 2426533/817393
219.71/210.48	c cleaning 25000 clauses out of 50052 with flag 2641420/843394
225.82/216.32	c cleaning 26000 clauses out of 52052 with flag 2850415/870394
235.42/225.74	c cleaning 27001 clauses out of 54053 with flag 3053942/898395
243.11/233.25	c cleaning 27997 clauses out of 56050 with flag 3279711/927393
255.60/245.55	c cleaning 29001 clauses out of 58053 with flag 3470615/957393
262.56/251.85	c cleaning 29998 clauses out of 60054 with flag 3692669/988395
270.31/259.49	c cleaning 31010 clauses out of 62055 with flag 3932418/1020394
289.40/278.31	c cleaning 32009 clauses out of 64048 with flag 4170050/1053397
297.17/285.95	c cleaning 32969 clauses out of 66035 with flag 4455765/1087393
312.57/300.95	c cleaning 33985 clauses out of 68070 with flag 4769388/1122397
320.08/308.29	c cleaning 34998 clauses out of 70081 with flag 5025928/1158393
327.07/315.07	c cleaning 35992 clauses out of 72085 with flag 5267342/1195395
341.85/329.71	c cleaning 37021 clauses out of 74091 with flag 5549461/1233393
364.94/352.51	c cleaning 38014 clauses out of 76070 with flag 5867713/1272393
371.41/358.85	c cleaning 39002 clauses out of 78056 with flag 6162287/1312393
377.63/364.88	c cleaning 40011 clauses out of 80054 with flag 6408162/1353393
390.56/377.47	c cleaning 40999 clauses out of 82043 with flag 6722179/1395393
414.40/401.11	c cleaning 41995 clauses out of 84044 with flag 7065555/1438393
424.19/410.73	c cleaning 42992 clauses out of 86051 with flag 7369969/1482395
439.81/425.94	c cleaning 43996 clauses out of 88060 with flag 7669489/1527396
449.69/435.04	c cleaning 45003 clauses out of 90061 with flag 7974200/1573393
476.40/461.53	c cleaning 46023 clauses out of 92060 with flag 8297815/1620395
500.05/484.69	c cleaning 46985 clauses out of 94036 with flag 8657688/1668394
512.31/496.66	c cleaning 48006 clauses out of 96052 with flag 9027087/1717395
527.65/511.42	c cleaning 49000 clauses out of 98044 with flag 9421854/1767393
551.23/534.71	c cleaning 50000 clauses out of 100045 with flag 9856051/1818394
577.82/561.02	c cleaning 51002 clauses out of 102044 with flag 10233524/1870393
593.09/576.06	c cleaning 51981 clauses out of 104042 with flag 10573945/1923393
610.20/592.60	c cleaning 53006 clauses out of 106063 with flag 10917962/1977395
623.16/605.30	c cleaning 54000 clauses out of 108055 with flag 11282866/2032393
635.44/617.30	c cleaning 54999 clauses out of 110055 with flag 11666930/2088393
648.91/630.23	c cleaning 55993 clauses out of 112056 with flag 12041151/2145393
663.12/644.18	c cleaning 57016 clauses out of 114063 with flag 12424742/2203393
678.72/659.12	c cleaning 57983 clauses out of 116049 with flag 12835958/2262395
691.69/670.85	c cleaning 58994 clauses out of 118064 with flag 13229579/2322393
724.81/703.60	c cleaning 60005 clauses out of 120073 with flag 13628098/2383396
767.43/745.98	c cleaning 60991 clauses out of 122066 with flag 14050066/2445394
830.57/808.48	c cleaning 61991 clauses out of 124077 with flag 14522522/2508396
857.81/835.31	c cleaning 63007 clauses out of 126083 with flag 15003997/2572393
924.08/900.91	c cleaning 64000 clauses out of 128076 with flag 15552339/2637393
991.57/968.19	c cleaning 65004 clauses out of 130076 with flag 16182214/2703393
1071.80/1047.76	c cleaning 65995 clauses out of 132072 with flag 16794754/2770393
1165.95/1141.37	c cleaning 67005 clauses out of 134080 with flag 17444967/2838396
1267.36/1242.56	c cleaning 68004 clauses out of 136079 with flag 18151845/2907400
1304.33/1278.90	c cleaning 68996 clauses out of 138068 with flag 18769007/2977393
1328.64/1302.94	c cleaning 70004 clauses out of 140072 with flag 19283798/3048393
1352.38/1325.90	c cleaning 70986 clauses out of 142069 with flag 19787222/3120394
1373.88/1345.39	c cleaning 72018 clauses out of 144083 with flag 20264317/3193394
1404.27/1375.39	c cleaning 73026 clauses out of 146064 with flag 20750077/3267393
1432.58/1403.20	c cleaning 74001 clauses out of 148039 with flag 21227391/3342394
1449.61/1419.87	c cleaning 74974 clauses out of 150037 with flag 21733745/3418393
1515.18/1485.08	c cleaning 76011 clauses out of 152064 with flag 22328974/3495394
1541.19/1510.16	c cleaning 76998 clauses out of 154054 with flag 22856313/3573395
1612.60/1581.14	c cleaning 77996 clauses out of 156054 with flag 23405363/3652393
1657.47/1625.51	c cleaning 78999 clauses out of 158061 with flag 24047278/3732396
1678.41/1645.91	c cleaning 79986 clauses out of 160059 with flag 24574388/3813393
1716.46/1683.13	c cleaning 80987 clauses out of 162075 with flag 25158594/3895395
1747.48/1713.75	c cleaning 82000 clauses out of 164087 with flag 25734937/3978394
1769.22/1735.05	c cleaning 83009 clauses out of 166086 with flag 26265196/4062393
1792.42/1757.80	c cleaning 84010 clauses out of 168077 with flag 26813981/4147393
1819.62/1784.69	c cleaning 85002 clauses out of 170067 with flag 27318853/4233393
1844.30/1808.94	c cleaning 85990 clauses out of 172066 with flag 27883333/4320394
1986.53/1950.55	c cleaning 86995 clauses out of 174075 with flag 28516513/4408393
2015.92/1979.56	c cleaning 88008 clauses out of 176082 with flag 29137885/4497395
2047.77/2009.05	c cleaning 89007 clauses out of 178072 with flag 29784956/4587393
2114.63/2075.44	c cleaning 90008 clauses out of 180065 with flag 30498863/4678393
2249.65/2210.09	c cleaning 91011 clauses out of 182058 with flag 31189778/4770394
2284.08/2243.95	c cleaning 91999 clauses out of 184046 with flag 31812060/4863393
2358.33/2317.22	c cleaning 92971 clauses out of 186048 with flag 32465359/4957394
2409.53/2368.01	c cleaning 93997 clauses out of 188076 with flag 33140464/5052393
2457.95/2415.83	c cleaning 95025 clauses out of 190080 with flag 33799065/5148394
2486.99/2444.33	c cleaning 96014 clauses out of 192055 with flag 34417271/5245394
2514.15/2470.97	c cleaning 96980 clauses out of 194040 with flag 35112913/5343393
2561.62/2517.46	c cleaning 98006 clauses out of 196060 with flag 35821048/5442393
2604.25/2559.51	c cleaning 98990 clauses out of 198056 with flag 36483234/5542395
2694.52/2649.30	c cleaning 100003 clauses out of 200067 with flag 37206903/5643396
2775.19/2729.55	c cleaning 100975 clauses out of 202063 with flag 37928543/5745395
2824.86/2778.11	c cleaning 102000 clauses out of 204086 with flag 38627674/5848393
2863.79/2816.45	c cleaning 103016 clauses out of 206087 with flag 39283218/5952394
2900.83/2852.97	c cleaning 104035 clauses out of 208070 with flag 39966435/6057393
3088.72/3039.95	c cleaning 105003 clauses out of 210035 with flag 40706170/6163393
3260.23/3208.88	c cleaning 106000 clauses out of 212034 with flag 41541646/6270395
3296.75/3244.67	c cleaning 106992 clauses out of 214032 with flag 42229329/6378393
3386.16/3333.47	c cleaning 108001 clauses out of 216042 with flag 42997393/6487395
3470.21/3416.94	c cleaning 108993 clauses out of 218039 with flag 43914742/6597393
3600.02/3546.22	c starts		: 8173
3600.02/3546.25	c conflicts		: 6691163
3600.02/3546.25	c decisions		: 28806822
3600.02/3546.25	c propagations		: 167207941
3600.02/3546.25	c inspects		: 17721393376
3600.02/3546.25	c shortcuts		: 0
3600.02/3546.25	c learnt literals	: 0
3600.02/3546.25	c learnt binary clauses	: 0
3600.02/3546.25	c learnt ternary clauses	: 0
3600.02/3546.25	c learnt constraints	: 6691163
3600.02/3546.25	c ignored constraints	: 0
3600.02/3546.25	c root simplifications	: 0
3600.02/3546.25	c removed literals (reason simplification)	: 0
3600.02/3546.25	c reason swapping (by a shorter reason)	: 0
3600.02/3546.25	c Calls to reduceDB	: 156
3600.02/3546.25	c Number of update (reduction) of LBD	: 3684134
3600.02/3546.25	c Imported unit clauses	: 0
3600.02/3546.25	c No decision after first conflict	: false
3600.02/3546.26	c number of reductions to clauses (during analyze)	: 0
3600.02/3546.26	c number of learned constraints concerned by reduction	: 0
3600.02/3546.26	c number of learning phase by resolution	: 0
3600.02/3546.26	c number of learning phase by cutting planes	: 0
3600.02/3546.26	c number of rounding to 1 operations	: 0
3600.02/3546.26	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3546.26	c number of reductions of the coefficients by power 2 	: 0
3600.02/3546.26	c number of right shift for reduction by power 2 	: 0
3600.02/3546.26	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3546.26	c number of ending skipping 	: 0
3600.02/3546.26	c number of internal skipping 	: 0
3600.02/3546.26	c number of derivation steps 	: 0
3600.02/3546.26	c number of skipped derivation steps 	: 0
3600.02/3546.26	c number of remaining unassigned 	: 0
3600.02/3546.26	c number of remaining assigned 	: 0
3600.02/3546.26	c number of falsified literals weakened from reason	: 0
3600.02/3546.26	c number of falsified literals weakened from conflict	: 0
3600.02/3546.26	c time for arithmetic operations	: 0
3600.02/3546.29	c minimum degree of deleted constraints	: null
3600.02/3546.29	c maximum degree of deleted constraints	: null
3600.02/3546.29	c number of deleted constraints	: 0
3600.02/3546.29	c speed (assignments/second)	: 47155.462370910296
3600.02/3546.29	c non guided choices	: 2283553
3600.43/3546.44	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 202816
3600.43/3546.44	s SATISFIABLE
3600.43/3546.44	c Found 11 solution(s)
3600.43/3546.45	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 
3600.43/3546.48	c objective function=15
3600.43/3546.48	c Total wall clock time (in seconds): 3546.306

Verifier Data 

OK	15

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: 64059 MiB (54569 MiB free)
  memory of node 1: 64510 MiB (54072 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424826-1720880490/watcher-4424826-1720880490 -o /tmp/evaluation-result-4424826-1720880490/solver-4424826-1720880490 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1720877762-699782 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424826-1720880490.wbo 

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 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
Starting watchdog thread
Starting watchdog thread
Linux 4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB

solver pid=702229, runsolver pid=702226

[startup+0.10007 s]*
/proc/loadavg: 4.30 4.19 4.20 7/318 702247
/proc/meminfo: memFree=111215396/131655788 swapFree=131071996/131071996
[pid=702229] ppid=702226 vsize=18975048 memory=56388 CPUtime=0.12 cores=5,7
/proc/702229/stat : 702229 (java) S 702226 702229 697515 0 -1 1077936128 6675 0 0 0 10 2 0 0 20 0 18 0 140205687 19430449152 14097 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
/proc/702229/statm: 4743762 14097 5558 1 0 550996 0
[pid=702229/tid=702231] ppid=702226 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/702229/task/702231/stat : 702231 (java) D 702226 702229 697515 0 -1 4194368 5630 0 0 0 6 2 0 0 20 0 18 0 140205687 19430449152 14097 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702240] ppid=702226 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/702229/task/702240/stat : 702240 (Finalizer) S 702226 702229 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140205692 19430449152 14097 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702247] ppid=702226 vsize=18975048 memory=13563812552942208 CPUtime=0 cores=5,7
/proc/702229/task/702247/stat : 702247 (Common-Cleaner) S 702226 702229 697515 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 140205693 19430449152 14097 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56388 KiB

[startup+0.21457 s]*
/proc/loadavg: 4.30 4.19 4.20 7/318 702247
/proc/meminfo: memFree=111203648/131655788 swapFree=131071996/131071996
[pid=702229] ppid=702226 vsize=18975048 memory=68012 CPUtime=0.34 cores=5,7
/proc/702229/stat : 702229 (java) S 702226 702229 697515 0 -1 1077936128 7383 0 0 0 31 3 0 0 20 0 18 0 140205687 19430449152 17003 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
/proc/702229/statm: 4743762 17003 5706 1 0 551571 0
[pid=702229/tid=702231] ppid=702226 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/702229/task/702231/stat : 702231 (java) R 702226 702229 697515 0 -1 4194368 5965 0 0 0 17 2 0 0 20 0 18 0 140205687 19430449152 17003 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702240] ppid=702226 vsize=18975048 memory=5822 CPUtime=0 cores=5,7
/proc/702229/task/702240/stat : 702240 (Finalizer) S 702226 702229 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140205692 19430449152 17003 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702247] ppid=702226 vsize=18975048 memory=13849655494580062 CPUtime=0 cores=5,7
/proc/702229/task/702247/stat : 702247 (Common-Cleaner) S 702226 702229 697515 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 140205693 19430449152 17003 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68012 KiB

[startup+0.325641 s]*
/proc/loadavg: 4.30 4.19 4.20 6/318 702247
/proc/meminfo: memFree=111194560/131655788 swapFree=131071996/131071996
[pid=702229] ppid=702226 vsize=18975048 memory=76872 CPUtime=0.53 cores=5,7
/proc/702229/stat : 702229 (java) S 702226 702229 697515 0 -1 1077936128 7516 0 0 0 50 3 0 0 20 0 18 0 140205687 19430449152 19218 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
/proc/702229/statm: 4743762 19218 5805 1 0 551646 0
[pid=702229/tid=702231] ppid=702226 vsize=18975048 memory=-8744697907796943548 CPUtime=0.27 cores=5,7
/proc/702229/task/702231/stat : 702231 (java) R 702226 702229 697515 0 -1 1077936192 5995 0 0 0 25 2 0 0 20 0 18 0 140205687 19430449152 19218 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702240] ppid=702226 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/702229/task/702240/stat : 702240 (Finalizer) S 702226 702229 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140205692 19430449152 19218 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702247] ppid=702226 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/702229/task/702247/stat : 702247 (Common-Cleaner) S 702226 702229 697515 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 140205693 19430449152 19218 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 76872 KiB

[startup+0.700565 s]
/proc/loadavg: 4.30 4.19 4.20 7/319 702248
/proc/meminfo: memFree=111190412/131655788 swapFree=131071996/131071996
[pid=702229] ppid=702226 vsize=19041612 memory=89288 CPUtime=1.22 cores=5,7
/proc/702229/stat : 702229 (java) S 702226 702229 697515 0 -1 1077936128 11166 0 0 0 117 5 0 0 20 0 19 0 140205687 19498610688 22322 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
/proc/702229/statm: 4760403 22322 5891 1 0 553818 0
[pid=702229/tid=702231] ppid=702226 vsize=19041612 memory=5620 CPUtime=0.62 cores=5,7
/proc/702229/task/702231/stat : 702231 (java) R 702226 702229 697515 0 -1 4194368 6115 0 0 0 59 3 0 0 20 0 19 0 140205687 19498610688 22322 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702240] ppid=702226 vsize=19041612 memory=12724 CPUtime=0 cores=5,7
/proc/702229/task/702240/stat : 702240 (Finalizer) S 702226 702229 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140205692 19498610688 22322 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702247] ppid=702226 vsize=19041612 memory=164 CPUtime=0 cores=5,7
/proc/702229/task/702247/stat : 702247 (Common-Cleaner) S 702226 702229 697515 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 140205693 19498610688 22322 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702248] ppid=702226 vsize=19041612 memory=117636 CPUtime=0 cores=5,7
/proc/702229/task/702248/stat : 702248 (Timer-0) S 702226 702229 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140205726 19498610688 22322 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 89288 KiB

[startup+1.50057 s]
/proc/loadavg: 4.30 4.19 4.20 7/319 702248
/proc/meminfo: memFree=111175388/131655788 swapFree=131071996/131071996
[pid=702229] ppid=702226 vsize=19041612 memory=114660 CPUtime=2.8 cores=5,7
/proc/702229/stat : 702229 (java) S 702226 702229 697515 0 -1 1077936128 17682 0 0 0 274 6 0 0 20 0 19 0 140205687 19498610688 28665 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
/proc/702229/statm: 4760403 28665 5891 1 0 555875 0
[pid=702229/tid=702231] ppid=702226 vsize=19041612 memory=12724 CPUtime=1.4 cores=5,7
/proc/702229/task/702231/stat : 702231 (java) R 702226 702229 697515 0 -1 4194368 6246 0 0 0 137 3 0 0 20 0 19 0 140205687 19498610688 28665 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702240] ppid=702226 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/702229/task/702240/stat : 702240 (Finalizer) S 702226 702229 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140205692 19498610688 28665 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702247] ppid=702226 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/702229/task/702247/stat : 702247 (Common-Cleaner) S 702226 702229 697515 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 140205693 19498610688 28665 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702248] ppid=702226 vsize=19041612 memory=831 CPUtime=0 cores=5,7
/proc/702229/task/702248/stat : 702248 (Timer-0) S 702226 702229 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 140205726 19498610688 28665 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 114660 KiB

[startup+3.12256 s]
/proc/loadavg: 4.30 4.19 4.20 6/320 702251
/proc/meminfo: memFree=111090436/131655788 swapFree=131071996/131071996
[pid=702229] ppid=702226 vsize=19108176 memory=224132 CPUtime=4.82 cores=5,7
/proc/702229/stat : 702229 (java) S 702226 702229 697515 0 -1 1077936128 20291 0 0 0 473 9 0 0 20 0 20 0 140205687 19566772224 56033 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
/proc/702229/statm: 4777044 56033 5923 1 0 556226 0
[pid=702229/tid=702231] ppid=702226 vsize=19108176 memory=0 CPUtime=2.85 cores=5,7
/proc/702229/task/702231/stat : 702231 (java) S 702226 702229 697515 0 -1 1077936192 7347 0 0 0 281 4 0 0 20 0 20 0 140205687 19566772224 56033 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702240] ppid=702226 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/702229/task/702240/stat : 702240 (Finalizer) S 702226 702229 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140205692 19566772224 56033 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702247] ppid=702226 vsize=19108176 memory=12724 CPUtime=0 cores=5,7
/proc/702229/task/702247/stat : 702247 (Common-Cleaner) S 702226 702229 697515 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 140205693 19566772224 56033 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702248] ppid=702226 vsize=19108176 memory=11408 CPUtime=0 cores=5,7
/proc/702229/task/702248/stat : 702248 (Timer-0) S 702226 702229 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140205726 19566772224 56033 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
Current children cumulated CPU time: 4.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 224132 KiB

[startup+6.30039 s]
/proc/loadavg: 4.28 4.19 4.20 6/320 702251
/proc/meminfo: memFree=110964216/131655788 swapFree=131071996/131071996
[pid=702229] ppid=702226 vsize=19108176 memory=307204 CPUtime=8.41 cores=5,7
/proc/702229/stat : 702229 (java) S 702226 702229 697515 0 -1 1077936128 20888 0 0 0 831 10 0 0 20 0 20 0 140205687 19566772224 76801 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
/proc/702229/statm: 4777044 76801 5923 1 0 556229 0
[pid=702229/tid=702231] ppid=702226 vsize=19108176 memory=12724 CPUtime=5.91 cores=5,7
/proc/702229/task/702231/stat : 702231 (java) R 702226 702229 697515 0 -1 4194368 7536 0 0 0 587 4 0 0 20 0 20 0 140205687 19566772224 76801 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702240] ppid=702226 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/702229/task/702240/stat : 702240 (Finalizer) S 702226 702229 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140205692 19566772224 76801 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702247] ppid=702226 vsize=19108176 memory=100 CPUtime=0 cores=5,7
/proc/702229/task/702247/stat : 702247 (Common-Cleaner) S 702226 702229 697515 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 20 0 140205693 19566772224 76801 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702248] ppid=702226 vsize=19108176 memory=-7163974055829550171 CPUtime=0 cores=5,7
/proc/702229/task/702248/stat : 702248 (Timer-0) S 702226 702229 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140205726 19566772224 76801 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
Current children cumulated CPU time: 8.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 307204 KiB

[startup+12.7004 s]
/proc/loadavg: 4.25 4.18 4.20 5/320 702251
/proc/meminfo: memFree=110840840/131655788 swapFree=131071996/131071996
[pid=702229] ppid=702226 vsize=19108176 memory=513528 CPUtime=15.39 cores=5,7
/proc/702229/stat : 702229 (java) S 702226 702229 697515 0 -1 1077936128 22978 0 0 0 1523 16 0 0 20 0 20 0 140205687 19566772224 128382 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
/proc/702229/statm: 4777044 128382 5923 1 0 719139 0
[pid=702229/tid=702231] ppid=702226 vsize=19108176 memory=430160 CPUtime=11.91 cores=5,7
/proc/702229/task/702231/stat : 702231 (java) R 702226 702229 697515 0 -1 4194368 8242 0 0 0 1186 5 0 0 20 0 20 0 140205687 19566772224 128382 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702240] ppid=702226 vsize=19108176 memory=11408 CPUtime=0 cores=5,7
/proc/702229/task/702240/stat : 702240 (Finalizer) S 702226 702229 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140205692 19566772224 128382 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702247] ppid=702226 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/702229/task/702247/stat : 702247 (Common-Cleaner) S 702226 702229 697515 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 20 0 140205693 19566772224 128382 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702248] ppid=702226 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/702229/task/702248/stat : 702248 (Timer-0) S 702226 702229 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140205726 19566772224 128382 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
Current children cumulated CPU time: 15.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 513528 KiB

[startup+25.5005 s]
/proc/loadavg: 4.28 4.19 4.20 5/320 702254
/proc/meminfo: memFree=110385644/131655788 swapFree=131071996/131071996
[pid=702229] ppid=702226 vsize=19108176 memory=882464 CPUtime=28.46 cores=5,7
/proc/702229/stat : 702229 (java) S 702226 702229 697515 0 -1 1077936128 25621 0 0 0 2821 25 0 0 20 0 20 0 140205687 19566772224 220616 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
/proc/702229/statm: 4777044 220616 5928 1 0 719149 0
[pid=702229/tid=702231] ppid=702226 vsize=19108176 memory=348240 CPUtime=24.37 cores=5,7
/proc/702229/task/702231/stat : 702231 (java) R 702226 702229 697515 0 -1 4194368 9182 0 0 0 2429 8 0 0 20 0 20 0 140205687 19566772224 220616 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702240] ppid=702226 vsize=19108176 memory=882464 CPUtime=0 cores=5,7
/proc/702229/task/702240/stat : 702240 (Finalizer) S 702226 702229 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140205692 19566772224 220616 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702247] ppid=702226 vsize=19108176 memory=882464 CPUtime=0 cores=5,7
/proc/702229/task/702247/stat : 702247 (Common-Cleaner) S 702226 702229 697515 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 20 0 140205693 19566772224 220616 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702248] ppid=702226 vsize=19108176 memory=12724 CPUtime=0 cores=5,7
/proc/702229/task/702248/stat : 702248 (Timer-0) S 702226 702229 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140205726 19566772224 220616 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
Current children cumulated CPU time: 28.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 882464 KiB

[startup+51.1138 s]
/proc/loadavg: 4.31 4.21 4.20 5/320 702259
/proc/meminfo: memFree=109468420/131655788 swapFree=131071996/131071996
[pid=702229] ppid=702226 vsize=19108176 memory=1693248 CPUtime=54.93 cores=5,7
/proc/702229/stat : 702229 (java) S 702226 702229 697515 0 -1 1077936128 32507 0 0 0 5449 44 0 0 20 0 20 0 140205687 19566772224 423312 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
/proc/702229/statm: 4777044 423312 5934 1 0 890439 0
[pid=702229/tid=702231] ppid=702226 vsize=19108176 memory=1558044 CPUtime=49.02 cores=5,7
/proc/702229/task/702231/stat : 702231 (java) R 702226 702229 697515 0 -1 4194368 11885 0 0 0 4891 11 0 0 20 0 20 0 140205687 19566772224 423312 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702240] ppid=702226 vsize=19108176 memory=1558044 CPUtime=0 cores=5,7
/proc/702229/task/702240/stat : 702240 (Finalizer) S 702226 702229 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140205692 19566772224 423312 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0

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

/proc/702229/task/702231/stat : 702231 (java) R 702226 702229 697515 0 -1 4194368 58225 0 0 0 316414 78 0 0 20 0 20 0 140205687 19566772224 3317046 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702240] ppid=702226 vsize=19108176 memory=13268184 CPUtime=0 cores=5,7
/proc/702229/task/702240/stat : 702240 (Finalizer) S 702226 702229 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140205692 19566772224 3317046 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702247] ppid=702226 vsize=19108176 memory=-8744697907796943548 CPUtime=0 cores=5,7
/proc/702229/task/702247/stat : 702247 (Common-Cleaner) S 702226 702229 697515 0 -1 1077936192 1489 0 0 0 0 0 0 0 20 0 20 0 140205693 19566772224 3317046 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702248] ppid=702226 vsize=19108176 memory=13268184 CPUtime=0 cores=5,7
/proc/702229/task/702248/stat : 702248 (Timer-0) S 702226 702229 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140205726 19566772224 3317046 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
Current children cumulated CPU time: 3273.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13268184 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.22 4.26 5/318 705101
/proc/meminfo: memFree=106783632/131655788 swapFree=131071996/131071996
[pid=702229] ppid=702226 vsize=19108176 memory=13359084 CPUtime=3334.4 cores=5,7
/proc/702229/stat : 702229 (java) S 702226 702229 697515 0 -1 1077936128 239118 0 0 0 332939 501 0 0 20 0 20 0 140205687 19566772224 3339771 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
/proc/702229/statm: 4777044 3339771 5934 1 0 3653360 0
[pid=702229/tid=702231] ppid=702226 vsize=19108176 memory=13359084 CPUtime=3223.97 cores=5,7
/proc/702229/task/702231/stat : 702231 (java) R 702226 702229 697515 0 -1 4194368 58796 0 0 0 322318 79 0 0 20 0 20 0 140205687 19566772224 3339771 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702240] ppid=702226 vsize=19108176 memory=13359084 CPUtime=0 cores=5,7
/proc/702229/task/702240/stat : 702240 (Finalizer) S 702226 702229 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140205692 19566772224 3339771 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702247] ppid=702226 vsize=19108176 memory=13268184 CPUtime=0 cores=5,7
/proc/702229/task/702247/stat : 702247 (Common-Cleaner) S 702226 702229 697515 0 -1 1077936192 1489 0 0 0 0 0 0 0 20 0 20 0 140205693 19566772224 3339771 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702248] ppid=702226 vsize=19108176 memory=11408 CPUtime=0 cores=5,7
/proc/702229/task/702248/stat : 702248 (Timer-0) S 702226 702229 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140205726 19566772224 3339771 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
Current children cumulated CPU time: 3334.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13359084 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.21 4.26 5/318 705111
/proc/meminfo: memFree=106616580/131655788 swapFree=131071996/131071996
[pid=702229] ppid=702226 vsize=19108176 memory=13359300 CPUtime=3395.04 cores=5,7
/proc/702229/stat : 702229 (java) S 702226 702229 697515 0 -1 1077936128 240080 0 0 0 339001 503 0 0 20 0 20 0 140205687 19566772224 3339825 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
/proc/702229/statm: 4777044 3339825 5934 1 0 3653387 0
[pid=702229/tid=702231] ppid=702226 vsize=19108176 memory=13359300 CPUtime=3283.18 cores=5,7
/proc/702229/task/702231/stat : 702231 (java) R 702226 702229 697515 0 -1 4194368 59169 0 0 0 328239 79 0 0 20 0 20 0 140205687 19566772224 3339825 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702240] ppid=702226 vsize=19108176 memory=13359300 CPUtime=0 cores=5,7
/proc/702229/task/702240/stat : 702240 (Finalizer) S 702226 702229 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140205692 19566772224 3339825 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702247] ppid=702226 vsize=19108176 memory=13359300 CPUtime=0 cores=5,7
/proc/702229/task/702247/stat : 702247 (Common-Cleaner) S 702226 702229 697515 0 -1 1077936192 1489 0 0 0 0 0 0 0 20 0 20 0 140205693 19566772224 3339825 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702248] ppid=702226 vsize=19108176 memory=11408 CPUtime=0 cores=5,7
/proc/702229/task/702248/stat : 702248 (Timer-0) S 702226 702229 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140205726 19566772224 3339825 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
Current children cumulated CPU time: 3395.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13359300 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.20 4.25 5/318 705121
/proc/meminfo: memFree=106616164/131655788 swapFree=131071996/131071996
[pid=702229] ppid=702226 vsize=19108176 memory=13359420 CPUtime=3455.62 cores=5,7
/proc/702229/stat : 702229 (java) S 702226 702229 697515 0 -1 1077936128 244845 0 0 0 345055 507 0 0 20 0 20 0 140205687 19566772224 3339855 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
/proc/702229/statm: 4777044 3339855 5934 1 0 3653387 0
[pid=702229/tid=702231] ppid=702226 vsize=19108176 memory=13359300 CPUtime=3342.27 cores=5,7
/proc/702229/task/702231/stat : 702231 (java) R 702226 702229 697515 0 -1 4194368 59825 0 0 0 334148 79 0 0 20 0 20 0 140205687 19566772224 3339855 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702240] ppid=702226 vsize=19108176 memory=13359416 CPUtime=0 cores=5,7
/proc/702229/task/702240/stat : 702240 (Finalizer) S 702226 702229 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140205692 19566772224 3339855 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702247] ppid=702226 vsize=19108176 memory=13359420 CPUtime=0 cores=5,7
/proc/702229/task/702247/stat : 702247 (Common-Cleaner) S 702226 702229 697515 0 -1 1077936192 1584 0 0 0 0 0 0 0 20 0 20 0 140205693 19566772224 3339855 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702248] ppid=702226 vsize=19108176 memory=13359420 CPUtime=0 cores=5,7
/proc/702229/task/702248/stat : 702248 (Timer-0) S 702226 702229 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140205726 19566772224 3339855 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
Current children cumulated CPU time: 3455.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13359420 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.19 4.24 5/318 705132
/proc/meminfo: memFree=106615876/131655788 swapFree=131071996/131071996
[pid=702229] ppid=702226 vsize=19108176 memory=13359420 CPUtime=3516.23 cores=5,7
/proc/702229/stat : 702229 (java) S 702226 702229 697515 0 -1 1077936128 247084 0 0 0 351112 511 0 0 20 0 20 0 140205687 19566772224 3339855 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
/proc/702229/statm: 4777044 3339855 5934 1 0 3653387 0
[pid=702229/tid=702231] ppid=702226 vsize=19108176 memory=13359300 CPUtime=3401.44 cores=5,7
/proc/702229/task/702231/stat : 702231 (java) R 702226 702229 697515 0 -1 4194368 60929 0 0 0 340065 79 0 0 20 0 20 0 140205687 19566772224 3339855 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702240] ppid=702226 vsize=19108176 memory=13359420 CPUtime=0 cores=5,7
/proc/702229/task/702240/stat : 702240 (Finalizer) S 702226 702229 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140205692 19566772224 3339855 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702247] ppid=702226 vsize=19108176 memory=13359420 CPUtime=0 cores=5,7
/proc/702229/task/702247/stat : 702247 (Common-Cleaner) S 702226 702229 697515 0 -1 1077936192 1584 0 0 0 0 0 0 0 20 0 20 0 140205693 19566772224 3339855 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702248] ppid=702226 vsize=19108176 memory=5620 CPUtime=0 cores=5,7
/proc/702229/task/702248/stat : 702248 (Timer-0) S 702226 702229 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140205726 19566772224 3339855 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
Current children cumulated CPU time: 3516.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13359420 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.20 4.24 5/319 705145
/proc/meminfo: memFree=106615380/131655788 swapFree=131071996/131071996
[pid=702229] ppid=702226 vsize=19108176 memory=13359420 CPUtime=3576.15 cores=5,7
/proc/702229/stat : 702229 (java) S 702226 702229 697515 0 -1 1077936128 247292 0 0 0 357100 515 0 0 20 0 20 0 140205687 19566772224 3339855 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
/proc/702229/statm: 4777044 3339855 5934 1 0 3653387 0
[pid=702229/tid=702231] ppid=702226 vsize=19108176 memory=13359420 CPUtime=3461.31 cores=5,7
/proc/702229/task/702231/stat : 702231 (java) R 702226 702229 697515 0 -1 4194368 61132 0 0 0 346051 80 0 0 20 0 20 0 140205687 19566772224 3339855 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702240] ppid=702226 vsize=19108176 memory=11408 CPUtime=0 cores=5,7
/proc/702229/task/702240/stat : 702240 (Finalizer) S 702226 702229 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140205692 19566772224 3339855 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702247] ppid=702226 vsize=19108176 memory=13359420 CPUtime=0 cores=5,7
/proc/702229/task/702247/stat : 702247 (Common-Cleaner) S 702226 702229 697515 0 -1 1077936192 1584 0 0 0 0 0 0 0 20 0 20 0 140205693 19566772224 3339855 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702248] ppid=702226 vsize=19108176 memory=-8744697907796943548 CPUtime=0 cores=5,7
/proc/702229/task/702248/stat : 702248 (Timer-0) S 702226 702229 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140205726 19566772224 3339855 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
Current children cumulated CPU time: 3576.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13359420 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3546.2 s]
/proc/loadavg: 4.12 4.18 4.24 5/319 705151
/proc/meminfo: memFree=106615252/131655788 swapFree=131071996/131071996
[pid=702229] ppid=702226 vsize=19108176 memory=13359420 CPUtime=3600.02 cores=5,7
/proc/702229/stat : 702229 (java) S 702226 702229 697515 0 -1 1077936128 247306 0 0 0 359486 516 0 0 20 0 20 0 140205687 19566772224 3339855 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
/proc/702229/statm: 4777044 3339855 5934 1 0 3653387 0
[pid=702229/tid=702231] ppid=702226 vsize=19108176 memory=2792 CPUtime=3485.16 cores=5,7
/proc/702229/task/702231/stat : 702231 (java) R 702226 702229 697515 0 -1 4194368 61143 0 0 0 348436 80 0 0 20 0 20 0 140205687 19566772224 3339855 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702240] ppid=702226 vsize=19108176 memory=5192 CPUtime=0 cores=5,7
/proc/702229/task/702240/stat : 702240 (Finalizer) S 702226 702229 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140205692 19566772224 3339855 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702247] ppid=702226 vsize=19108176 memory=13359420 CPUtime=0 cores=5,7
/proc/702229/task/702247/stat : 702247 (Common-Cleaner) S 702226 702229 697515 0 -1 1077936192 1584 0 0 0 0 0 0 0 20 0 20 0 140205693 19566772224 3339855 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702248] ppid=702226 vsize=19108176 memory=2712 CPUtime=0 cores=5,7
/proc/702229/task/702248/stat : 702248 (Timer-0) S 702226 702229 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140205726 19566772224 3339855 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13359420 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.42 s, system=5.21049 s

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

[startup+3546.4 s]
/proc/loadavg: 4.12 4.18 4.24 5/319 705151
/proc/meminfo: memFree=106615252/131655788 swapFree=131071996/131071996
[pid=702229] ppid=702226 vsize=19307868 memory=13360100 CPUtime=3600.43 cores=5,7
/proc/702229/stat : 702229 (java) S 702226 702229 697515 0 -1 1077936128 251038 0 0 0 359526 517 0 0 20 0 21 0 140205687 19771256832 3340025 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
/proc/702229/statm: 4826967 3340025 5933 1 0 3654306 0
[pid=702229/tid=702231] ppid=702226 vsize=19307868 memory=164 CPUtime=3485.34 cores=5,7
/proc/702229/task/702231/stat : 702231 (java) R 702226 702229 697515 0 -1 4194368 62163 0 0 0 348454 80 0 0 20 0 21 0 140205687 19771256832 3340025 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702240] ppid=702226 vsize=19307868 memory=3155856071159349 CPUtime=0 cores=5,7
/proc/702229/task/702240/stat : 702240 (Finalizer) S 702226 702229 697515 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 140205692 19771256832 3340025 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
[pid=702229/tid=702247] ppid=702226 vsize=19307868 memory=13359420 CPUtime=0 cores=5,7
/proc/702229/task/702247/stat : 702247 (Common-Cleaner) S 702226 702229 697515 0 -1 1077936192 1584 0 0 0 0 0 0 0 20 0 21 0 140205693 19771256832 3340025 134679101440 93938431848448 93938431852144 140736144570016 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93938431859960 93938431860752 93938462076928 140736144577517 140736144577607 140736144577607 140736144584648 0
Current children cumulated CPU time: 3600.43 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 13360100 KiB

[startup+3546.5 s]*
/proc/loadavg: 4.12 4.18 4.24 5/301 705154
/proc/meminfo: memFree=107782716/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3546.53
CPU time (s): 3600.63
CPU user time (s): 3595.42
CPU system time (s): 5.21049
CPU usage (%): 101.525
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 13360100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.42
system time used= 5.21049
maximum resident set size= 13361084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251485
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111214
involuntary context switches= 5759


# summary of solver processes directly reported to runsolver:
#   pid: 702229
#   total CPU time (s): 3600.63
#   total CPU user time (s): 3595.42
#   total CPU system time (s): 5.21049

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.7738 second user time and 35.2724 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-13 16:21:43
IDJOB=4424826
IDBENCH=143469
IDSOLVER=3037
FILE ID=nodeC007/4424826-1720880490
RUNJOBID= nodeC007-1720877762-699782
SLURM_JOB_ID= 7483755
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424826-1720880490/watcher-4424826-1720880490 -o /tmp/evaluation-result-4424826-1720880490/solver-4424826-1720880490 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1720877762-699782 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4424826-1720880490.wbo

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

MD5SUM BENCH= 71978cc300e1cee51e577cd2bf81c379
RANDOM SEED=1420513630

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3497.272
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.25
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	: 0xb00001f
cpu MHz		: 3622.250
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
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	: 0xb00001f
cpu MHz		: 1197.338
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.25
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	: 0xb00001f
cpu MHz		: 1197.231
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
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	: 0xb00001f
cpu MHz		: 3525.636
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.25
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	: 0xb00001f
cpu MHz		: 3491.654
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
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	: 0xb00001f
cpu MHz		: 1197.237
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.25
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	: 0xb00001f
cpu MHz		: 1197.142
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        111250936 kB
MemAvailable:   111147376 kB
Buffers:          321752 kB
Cached:           424008 kB
SwapCached:            0 kB
Active:           475440 kB
Inactive:       19393964 kB
Active(anon):       1460 kB
Inactive(anon): 19159916 kB
Active(file):     473980 kB
Inactive(file):   234048 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               808 kB
Writeback:             0 kB
AnonPages:      19123684 kB
Mapped:           121796 kB
Shmem:             37704 kB
KReclaimable:      56888 kB
Slab:             146588 kB
SReclaimable:      56888 kB
SUnreclaim:        89700 kB
KernelStack:        4864 kB
PageTables:        47164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   24346844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            45664 kB
HardwareCorrupted:     0 kB
AnonHugePages:  18681856 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203592 kB
DirectMap2M:    11235328 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 723768 MiB
End job on nodeC007 at 2024-07-13 17:20:50