Trace number 4432533

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)16 3600.84 3556.22

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
MD5SUMa64beba99ddb27280a5fb75072b9e119
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark3419.49
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5568
Total number of constraints412
Number of constraints which are clauses173
Number of constraints which are cardinality constraints (but not clauses)173
Number of constraints which are nor clauses,nor cardinality constraints66
Minimum length of a constraint32
Maximum length of a constraint174
Number of terms in the objective function 32
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 32
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 56906
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 206719
Number of bits of the biggest sum of numbers18
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.13/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.16	c See www.sat4j.org for details.
0.13/0.17	c version CUSTOM.v20240707
0.13/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.20	c java.vm.version	22.0.1+8-16
0.13/0.20	c java.vm.vendor	Oracle Corporation
0.13/0.20	c sun.arch.data.model	64
0.13/0.20	c java.version		22.0.1
0.13/0.20	c os.name		Linux
0.13/0.20	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.20	c os.arch		amd64
0.13/0.21	c Free memory 		2113181440
0.13/0.21	c Max memory 		16282288128
0.13/0.21	c Total memory 		2122317824
0.13/0.22	c Number of processors 	2
0.31/0.30	--- Begin Solver configuration ---
0.31/0.30	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.31/0.30	Learn all clauses as in MiniSAT
0.31/0.30	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.30	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.30	No reason simplification
0.31/0.30	Glucose 2.1 dynamic restart strategy
0.31/0.30	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.31/0.30	timeout=2147483s
0.31/0.30	DB Simplification allowed=false
0.31/0.30	Listener: none
0.31/0.30	--- End Solver configuration ---
0.31/0.30	c Pseudo Boolean Optimization by upper bound
0.31/0.30	c --- Begin Solver configuration ---
0.31/0.30	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.31/0.30	c Learn all clauses as in MiniSAT
0.31/0.30	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.30	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.30	c No reason simplification
0.31/0.30	c Glucose 2.1 dynamic restart strategy
0.31/0.30	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.31/0.30	c timeout=2147483s
0.31/0.30	c DB Simplification allowed=false
0.31/0.30	c Listener: none
0.31/0.30	c --- End Solver configuration ---
0.31/0.30	c solving HOME/instance-4432533-1721175300.opb
0.31/0.30	c reading problem ... 
0.31/0.31	c  objective function found
0.83/0.53	c ... done. Wall clock time 0.214s.
0.83/0.53	c declared #vars     5568
0.83/0.53	c #constraints  412
0.83/0.53	c constraints type 
0.83/0.53	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 173
0.83/0.53	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 66
0.83/0.53	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 173
0.83/0.53	c 412 constraints processed.
0.83/0.56	c objective function length is 32 literals
1.17/0.76	c SATISFIABLE
1.17/0.76	c OPTIMIZING...
1.17/0.76	c Got one! Elapsed wall clock time (in seconds):0.462
1.17/0.78	o 23
1.98/1.14	c Got one! Elapsed wall clock time (in seconds):0.839
1.98/1.14	o 22
1.98/1.19	c Got one! Elapsed wall clock time (in seconds):0.889
1.98/1.19	o 21
2.15/1.25	c Got one! Elapsed wall clock time (in seconds):0.94
2.15/1.25	o 20
2.36/1.31	c Got one! Elapsed wall clock time (in seconds):1.001
2.36/1.31	o 19
3.54/1.96	c cleaning 3383 clauses out of 6775 with flag 13107/6775
3.54/1.98	c Got one! Elapsed wall clock time (in seconds):1.674
3.54/1.98	o 18
3.76/2.02	c Got one! Elapsed wall clock time (in seconds):1.715
3.76/2.02	o 17
4.12/2.29	c cleaning 4525 clauses out of 9066 with flag 13422/12449
4.68/2.66	c cleaning 5263 clauses out of 10541 with flag 33877/18449
5.28/3.15	c cleaning 6129 clauses out of 12279 with flag 62956/25450
5.86/3.67	c cleaning 7065 clauses out of 14150 with flag 97433/33450
6.68/4.43	c cleaning 8030 clauses out of 16084 with flag 135713/42449
7.38/5.18	c cleaning 9017 clauses out of 18056 with flag 179725/52451
8.51/6.22	c cleaning 10007 clauses out of 20037 with flag 226354/63449
9.90/7.61	c cleaning 10993 clauses out of 22031 with flag 279823/75450
11.68/9.38	c cleaning 12007 clauses out of 24037 with flag 341567/88449
13.00/10.69	c cleaning 13000 clauses out of 26032 with flag 403453/102451
14.33/11.99	c cleaning 14002 clauses out of 28033 with flag 462927/117452
16.10/13.50	c cleaning 15004 clauses out of 30031 with flag 526506/133452
17.66/15.06	c cleaning 16000 clauses out of 32024 with flag 600119/150449
18.94/16.37	c cleaning 17000 clauses out of 34026 with flag 672109/168451
20.76/18.10	c cleaning 18000 clauses out of 36024 with flag 772925/187449
22.45/19.73	c cleaning 18995 clauses out of 38025 with flag 875409/207450
24.15/21.34	c cleaning 20005 clauses out of 40029 with flag 981773/228449
25.96/23.14	c cleaning 20997 clauses out of 42024 with flag 1097293/250449
27.59/24.65	c Got one! Elapsed wall clock time (in seconds):24.338
27.59/24.65	o 16
27.85/24.86	c cleaning 23857 clauses out of 47746 with flag 11271/277168
28.07/25.10	c cleaning 14927 clauses out of 29889 with flag 24366/283168
28.36/25.33	c cleaning 10961 clauses out of 21962 with flag 39727/290168
28.55/25.58	c cleaning 9482 clauses out of 19001 with flag 57165/298168
28.85/25.89	c cleaning 9244 clauses out of 18519 with flag 76414/307168
29.25/26.29	c cleaning 9616 clauses out of 19275 with flag 97595/317168
29.80/26.77	c cleaning 10310 clauses out of 20660 with flag 121258/328169
30.30/27.23	c cleaning 11155 clauses out of 22349 with flag 147214/340168
30.80/27.79	c cleaning 12077 clauses out of 24194 with flag 175312/353168
31.50/28.40	c cleaning 13040 clauses out of 26119 with flag 205556/367170
32.11/29.02	c cleaning 14028 clauses out of 28078 with flag 239172/382169
33.01/29.99	c cleaning 15012 clauses out of 30049 with flag 276713/398168
34.12/31.01	c cleaning 16011 clauses out of 32038 with flag 345209/415169
35.23/32.16	c cleaning 17002 clauses out of 34026 with flag 430019/433168
36.86/33.70	c cleaning 18000 clauses out of 36024 with flag 516528/452168
38.45/35.32	c cleaning 19004 clauses out of 38024 with flag 601473/472168
40.12/36.98	c cleaning 20000 clauses out of 40020 with flag 700148/493168
41.51/38.33	c cleaning 21005 clauses out of 42021 with flag 796284/515169
43.11/39.87	c cleaning 21994 clauses out of 44015 with flag 902673/538168
45.00/41.76	c cleaning 23003 clauses out of 46023 with flag 1012734/562170
47.23/43.87	c cleaning 24002 clauses out of 48018 with flag 1125865/587168
48.93/45.54	c cleaning 24999 clauses out of 50017 with flag 1235461/613169
51.31/47.75	c cleaning 25995 clauses out of 52017 with flag 1364010/640168
53.71/50.19	c cleaning 26999 clauses out of 54024 with flag 1510434/668170
56.54/52.88	c cleaning 27998 clauses out of 56024 with flag 1669701/697169
59.77/55.92	c cleaning 28999 clauses out of 58027 with flag 1822395/727170
62.56/58.77	c cleaning 29998 clauses out of 60026 with flag 1992726/758168
65.68/61.74	c cleaning 30995 clauses out of 62028 with flag 2160124/790168
69.42/65.33	c cleaning 32006 clauses out of 64034 with flag 2328028/823169
72.86/68.67	c cleaning 32998 clauses out of 66027 with flag 2496877/857168
76.66/72.41	c cleaning 34005 clauses out of 68029 with flag 2666988/892168
80.77/76.46	c cleaning 34997 clauses out of 70024 with flag 2855090/928168
85.02/80.53	c cleaning 35995 clauses out of 72027 with flag 3030600/965168
89.64/84.43	c cleaning 37001 clauses out of 74032 with flag 3212036/1003168
94.55/89.23	c cleaning 37999 clauses out of 76032 with flag 3427860/1042169
99.27/93.87	c cleaning 39005 clauses out of 78034 with flag 3619839/1082170
103.90/98.38	c cleaning 40001 clauses out of 80028 with flag 3815674/1123169
110.32/104.69	c cleaning 40996 clauses out of 82028 with flag 4028955/1165170
114.46/108.64	c cleaning 42002 clauses out of 84030 with flag 4234670/1208168
119.11/113.18	c cleaning 43003 clauses out of 86029 with flag 4445240/1252169
124.01/118.09	c cleaning 43984 clauses out of 88026 with flag 4669742/1297169
129.57/123.55	c cleaning 45003 clauses out of 90041 with flag 4930618/1343168
135.37/129.20	c cleaning 46002 clauses out of 92038 with flag 5167765/1390168
140.69/134.49	c cleaning 46999 clauses out of 94036 with flag 5388306/1438168
147.63/141.27	c cleaning 47998 clauses out of 96037 with flag 5619773/1487168
155.35/148.84	c cleaning 49002 clauses out of 98040 with flag 5864444/1537169
162.71/156.02	c cleaning 50009 clauses out of 100038 with flag 6137911/1588169
169.69/162.52	c cleaning 51003 clauses out of 102028 with flag 6402265/1640168
173.12/165.82	c cleaning 52000 clauses out of 104025 with flag 6571339/1693168
177.16/169.73	c cleaning 53001 clauses out of 106029 with flag 6700963/1747172
180.75/173.35	c cleaning 54002 clauses out of 108024 with flag 6820275/1802168
184.12/176.53	c cleaning 54998 clauses out of 110024 with flag 6950880/1858170
187.44/179.77	c cleaning 55999 clauses out of 112024 with flag 7073571/1915168
190.45/182.73	c cleaning 57003 clauses out of 114025 with flag 7200242/1973168
194.44/186.64	c cleaning 57995 clauses out of 116022 with flag 7328322/2032168
199.01/191.11	c cleaning 58994 clauses out of 118027 with flag 7459461/2092168
203.20/195.28	c cleaning 60005 clauses out of 120034 with flag 7593449/2153169
207.58/199.55	c cleaning 60993 clauses out of 122028 with flag 7731538/2215168
212.06/203.93	c cleaning 62012 clauses out of 124035 with flag 7873948/2278168
216.05/207.94	c cleaning 63004 clauses out of 126025 with flag 8011941/2342170
220.42/212.27	c cleaning 64003 clauses out of 128022 with flag 8150830/2407171
226.56/218.24	c cleaning 64993 clauses out of 130017 with flag 8294325/2473169
232.70/224.29	c cleaning 65997 clauses out of 132023 with flag 8440676/2540168
239.97/230.55	c cleaning 67002 clauses out of 134027 with flag 8589711/2608169
247.30/237.78	c cleaning 68001 clauses out of 136024 with flag 8738897/2677168
254.29/244.79	c cleaning 68994 clauses out of 138023 with flag 8890231/2747168
261.90/252.26	c cleaning 69996 clauses out of 140029 with flag 9043974/2818168
271.36/261.53	c cleaning 70999 clauses out of 142036 with flag 9201143/2890171
278.81/268.85	c cleaning 72001 clauses out of 144036 with flag 9359561/2963170
286.37/276.23	c cleaning 73001 clauses out of 146033 with flag 9519161/3037168
293.81/283.58	c cleaning 73998 clauses out of 148033 with flag 9681503/3112169
302.01/291.60	c cleaning 75001 clauses out of 150036 with flag 9844412/3188170
310.34/299.87	c cleaning 76006 clauses out of 152034 with flag 10011910/3265169
314.26/303.60	c cleaning 77007 clauses out of 154029 with flag 10195859/3343170
317.46/306.86	c cleaning 78002 clauses out of 156020 with flag 10356270/3422168
321.87/311.12	c cleaning 78999 clauses out of 158021 with flag 10531747/3502171
329.29/318.47	c cleaning 80002 clauses out of 160020 with flag 10704505/3583169
336.09/325.28	c cleaning 80998 clauses out of 162017 with flag 10879293/3665168
342.45/331.46	c cleaning 82002 clauses out of 164019 with flag 11056406/3748168
349.43/338.41	c cleaning 83000 clauses out of 166017 with flag 11235629/3832168
357.30/346.26	c cleaning 84000 clauses out of 168017 with flag 11418876/3917168
364.34/353.10	c cleaning 84999 clauses out of 170017 with flag 11601357/4003168
371.92/360.63	c cleaning 85997 clauses out of 172020 with flag 11786566/4090170
379.78/368.33	c cleaning 86998 clauses out of 174022 with flag 11973002/4178169
387.30/375.72	c cleaning 87997 clauses out of 176023 with flag 12163532/4267168
392.90/381.13	c cleaning 89002 clauses out of 178028 with flag 12382195/4357170
399.38/387.41	c cleaning 89998 clauses out of 180024 with flag 12620047/4448168
407.53/395.42	c cleaning 91000 clauses out of 182026 with flag 12815026/4540168
412.82/400.50	c cleaning 92006 clauses out of 184029 with flag 13023587/4633171
421.35/408.34	c cleaning 92998 clauses out of 186020 with flag 13222096/4727168
431.10/417.97	c cleaning 93999 clauses out of 188024 with flag 13425942/4822170
440.57/427.23	c cleaning 94997 clauses out of 190023 with flag 13633928/4918168
449.94/436.63	c cleaning 95993 clauses out of 192026 with flag 13843268/5015168
458.95/445.59	c cleaning 97001 clauses out of 194034 with flag 14054041/5113169
469.29/455.76	c cleaning 97999 clauses out of 196032 with flag 14267146/5212168
480.05/466.37	c cleaning 98998 clauses out of 198033 with flag 14482028/5312168
488.05/474.12	c cleaning 100003 clauses out of 200035 with flag 14697343/5413168
496.25/482.28	c cleaning 101001 clauses out of 202032 with flag 14915966/5515168
505.03/490.90	c cleaning 101997 clauses out of 204031 with flag 15138424/5618168
515.63/501.30	c cleaning 102995 clauses out of 206034 with flag 15361113/5722168
524.88/510.24	c cleaning 104003 clauses out of 208040 with flag 15587120/5827169
535.24/520.41	c cleaning 105002 clauses out of 210036 with flag 15812513/5933168
545.08/530.16	c cleaning 105994 clauses out of 212034 with flag 16044219/6040168
555.36/540.30	c cleaning 106992 clauses out of 214040 with flag 16275884/6148168
565.22/550.04	c cleaning 108003 clauses out of 216048 with flag 16512331/6257168
577.13/561.65	c cleaning 109009 clauses out of 218048 with flag 16752583/6367171
588.70/573.01	c cleaning 110000 clauses out of 220037 with flag 16993599/6478169
599.63/583.87	c cleaning 110996 clauses out of 222036 with flag 17235580/6590168
611.23/595.37	c cleaning 112000 clauses out of 224040 with flag 17479461/6703168
621.18/605.10	c cleaning 113005 clauses out of 226041 with flag 17729486/6817169
631.46/615.23	c cleaning 114005 clauses out of 228036 with flag 18000127/6932169
642.10/625.39	c cleaning 115000 clauses out of 230030 with flag 18302129/7048168
651.49/634.55	c cleaning 115997 clauses out of 232031 with flag 18551895/7165169
661.35/644.24	c cleaning 117002 clauses out of 234033 with flag 18802735/7283168
675.98/658.55	c cleaning 118004 clauses out of 236031 with flag 19184570/7402168
698.44/680.84	c cleaning 119002 clauses out of 238028 with flag 19601893/7522169
715.38/697.49	c cleaning 120003 clauses out of 240025 with flag 19974909/7643168
736.53/718.26	c cleaning 121001 clauses out of 242022 with flag 20386565/7765168
757.16/738.38	c cleaning 121998 clauses out of 244022 with flag 20779460/7888169
777.03/757.86	c cleaning 122995 clauses out of 246023 with flag 21240588/8012168
791.79/772.05	c cleaning 124006 clauses out of 248029 with flag 21714948/8137169
808.65/788.50	c cleaning 124992 clauses out of 250022 with flag 22266639/8263168
828.65/807.37	c cleaning 126002 clauses out of 252030 with flag 22861308/8390168
839.48/817.69	c cleaning 126996 clauses out of 254028 with flag 23295788/8518168
850.00/827.96	c cleaning 128004 clauses out of 256035 with flag 23637271/8647171
861.43/839.11	c cleaning 128997 clauses out of 258028 with flag 23981357/8777168
871.30/848.88	c cleaning 130008 clauses out of 260031 with flag 24291337/8908168
883.89/861.38	c cleaning 131004 clauses out of 262025 with flag 24575996/9040170
890.98/868.21	c cleaning 132000 clauses out of 264020 with flag 24850823/9173169
899.66/876.74	c cleaning 132999 clauses out of 266019 with flag 25136383/9307168
908.01/884.70	c cleaning 133999 clauses out of 268020 with flag 25434358/9442168
923.01/899.56	c cleaning 134993 clauses out of 270022 with flag 25725343/9578169
931.59/907.98	c cleaning 136008 clauses out of 272029 with flag 26027180/9715169
943.36/919.51	c cleaning 136997 clauses out of 274020 with flag 26334556/9853168
951.32/927.37	c cleaning 138002 clauses out of 276025 with flag 26647912/9992170
961.92/937.54	c cleaning 138998 clauses out of 278022 with flag 26991426/10132169
975.25/950.63	c cleaning 139996 clauses out of 280024 with flag 27295796/10273169
990.23/965.46	c cleaning 141003 clauses out of 282028 with flag 27596748/10415169
1005.91/980.96	c cleaning 141995 clauses out of 284025 with flag 27901028/10558169
1022.37/996.96	c cleaning 143001 clauses out of 286029 with flag 28209014/10702168
1038.99/1013.32	c cleaning 144000 clauses out of 288028 with flag 28518237/10847168
1056.71/1030.28	c cleaning 144998 clauses out of 290029 with flag 28830437/10993169
1072.33/1045.68	c cleaning 145999 clauses out of 292031 with flag 29145242/11140169
1091.60/1064.67	c cleaning 146998 clauses out of 294032 with flag 29466357/11288169
1112.64/1085.40	c cleaning 148004 clauses out of 296034 with flag 29791288/11437169
1135.75/1108.39	c cleaning 149001 clauses out of 298031 with flag 30116232/11587170
1152.08/1124.46	c cleaning 149997 clauses out of 300028 with flag 30440607/11738168
1170.79/1143.07	c cleaning 151002 clauses out of 302032 with flag 30766854/11890169
1190.37/1162.44	c cleaning 151997 clauses out of 304029 with flag 31097158/12043168
1207.64/1179.51	c cleaning 153002 clauses out of 306032 with flag 31431415/12197168
1225.27/1196.70	c cleaning 154001 clauses out of 308030 with flag 31765609/12352168
1244.83/1216.03	c cleaning 155001 clauses out of 310029 with flag 32103730/12508168
1268.02/1239.03	c cleaning 155998 clauses out of 312029 with flag 32442546/12665169
1286.53/1257.30	c cleaning 156995 clauses out of 314030 with flag 32781217/12823168
1310.60/1281.37	c cleaning 157997 clauses out of 316036 with flag 33125528/12982169
1329.53/1300.06	c cleaning 159021 clauses out of 318041 with flag 33475344/13142171
1338.02/1308.47	c cleaning 159995 clauses out of 320018 with flag 33841997/13303169
1348.78/1319.03	c cleaning 161003 clauses out of 322022 with flag 34204123/13465168
1359.56/1329.37	c cleaning 162001 clauses out of 324019 with flag 34668137/13628168
1367.21/1336.71	c cleaning 162996 clauses out of 326020 with flag 35026566/13792170
1378.86/1348.12	c cleaning 163996 clauses out of 328024 with flag 35356566/13957170
1390.03/1359.06	c cleaning 164994 clauses out of 330026 with flag 35688562/14123168
1400.78/1369.54	c cleaning 165998 clauses out of 332032 with flag 36022562/14290168
1411.95/1380.49	c cleaning 167002 clauses out of 334034 with flag 36358562/14458168
1423.59/1391.82	c cleaning 167997 clauses out of 336034 with flag 36696566/14627170
1435.25/1403.25	c cleaning 169005 clauses out of 338038 with flag 37036568/14797171
1446.87/1414.60	c cleaning 169997 clauses out of 340030 with flag 37378562/14968168
1461.36/1427.61	c cleaning 171000 clauses out of 342033 with flag 37722562/15140168
1473.59/1439.68	c cleaning 172006 clauses out of 344036 with flag 38068568/15313171
1484.81/1450.71	c cleaning 172997 clauses out of 346028 with flag 38416564/15487169
1498.36/1464.04	c cleaning 174004 clauses out of 348031 with flag 38766564/15662169
1510.23/1475.83	c cleaning 174998 clauses out of 350027 with flag 39118564/15838169
1522.47/1487.93	c cleaning 175996 clauses out of 352028 with flag 39472562/16015168
1534.59/1499.92	c cleaning 176996 clauses out of 354032 with flag 39828562/16193168
1547.27/1512.44	c cleaning 178001 clauses out of 356036 with flag 40186562/16372168
1558.93/1523.96	c cleaning 179003 clauses out of 358036 with flag 40546564/16552169
1571.66/1536.42	c cleaning 179999 clauses out of 360033 with flag 40908564/16733169
1583.67/1548.22	c cleaning 181002 clauses out of 362034 with flag 41272564/16915169
1597.49/1561.86	c cleaning 182002 clauses out of 364033 with flag 41638566/17098170
1610.71/1574.85	c cleaning 182995 clauses out of 366030 with flag 42006564/17282169
1622.27/1586.25	c cleaning 183999 clauses out of 368035 with flag 42376564/17467169
1636.36/1600.18	c cleaning 184999 clauses out of 370035 with flag 42748562/17653168
1648.26/1611.82	c cleaning 186000 clauses out of 372036 with flag 43122563/17840168
1663.13/1626.50	c cleaning 187001 clauses out of 374036 with flag 43498563/18028168
1676.68/1639.82	c cleaning 188002 clauses out of 376036 with flag 43876565/18217169
1690.08/1653.04	c cleaning 189001 clauses out of 378034 with flag 44256565/18407169
1703.63/1666.48	c cleaning 189999 clauses out of 380035 with flag 44638569/18598171
1721.42/1684.02	c cleaning 190998 clauses out of 382033 with flag 45022563/18790168
1736.97/1699.44	c cleaning 192006 clauses out of 384039 with flag 45408571/18983172
1750.80/1713.04	c cleaning 192994 clauses out of 386030 with flag 45796566/19177169
1764.85/1726.96	c cleaning 193997 clauses out of 388035 with flag 46186564/19372168
1778.97/1740.98	c cleaning 195000 clauses out of 390038 with flag 46578564/19568168
1790.89/1752.66	c cleaning 196003 clauses out of 392038 with flag 46981636/19765168
1803.57/1765.16	c cleaning 197010 clauses out of 394036 with flag 47414162/19963169
1826.94/1788.21	c cleaning 198002 clauses out of 396025 with flag 47848674/20162168
1861.99/1822.78	c cleaning 199001 clauses out of 398024 with flag 48289276/20362169
1889.31/1849.76	c cleaning 199996 clauses out of 400023 with flag 48723613/20563169
1921.21/1879.84	c cleaning 201003 clauses out of 402026 with flag 49158300/20765168
1956.73/1915.18	c cleaning 202005 clauses out of 404025 with flag 49599418/20968170
1986.34/1944.57	c cleaning 202992 clauses out of 406018 with flag 50041265/21172168
2002.60/1960.51	c cleaning 203997 clauses out of 408026 with flag 50475265/21377168
2013.76/1971.44	c cleaning 205007 clauses out of 410031 with flag 50931161/21583170
2026.33/1983.43	c cleaning 206001 clauses out of 412022 with flag 51387581/21790168
2045.22/2002.08	c cleaning 207001 clauses out of 414021 with flag 51803581/21998168
2058.30/2014.90	c cleaning 207999 clauses out of 416020 with flag 52225945/22207168
2074.02/2030.30	c cleaning 208999 clauses out of 418021 with flag 52646137/22417168
2090.12/2045.91	c cleaning 209997 clauses out of 420024 with flag 53068656/22628170
2103.09/2058.69	c cleaning 210996 clauses out of 422026 with flag 53516723/22840169
2114.05/2069.35	c cleaning 212005 clauses out of 424031 with flag 53981320/23053170
2123.61/2078.78	c cleaning 213007 clauses out of 426025 with flag 54432278/23267169
2134.80/2089.72	c cleaning 214010 clauses out of 428020 with flag 54875719/23482171
2150.88/2105.86	c cleaning 215006 clauses out of 430012 with flag 55312311/23698173
2174.24/2129.22	c cleaning 216001 clauses out of 432001 with flag 55750387/23915168
2196.60/2151.68	c cleaning 216999 clauses out of 434000 with flag 56190289/24133168
2220.22/2175.14	c cleaning 218001 clauses out of 436001 with flag 56631590/24352168
2247.46/2202.41	c cleaning 219002 clauses out of 438004 with flag 57074170/24572172
2273.91/2228.97	c cleaning 219998 clauses out of 439999 with flag 57519299/24793169
2294.58/2249.65	c cleaning 220999 clauses out of 442003 with flag 57966718/25015171
2318.84/2274.01	c cleaning 222000 clauses out of 444001 with flag 58416491/25238168
2339.93/2295.06	c cleaning 223001 clauses out of 446001 with flag 58868361/25462168
2364.16/2319.13	c cleaning 224000 clauses out of 448001 with flag 59321676/25687169
2389.62/2344.65	c cleaning 224999 clauses out of 450000 with flag 59778197/25913168
2413.59/2368.63	c cleaning 226001 clauses out of 452003 with flag 60236667/26140170
2435.34/2390.47	c cleaning 227000 clauses out of 454001 with flag 60696222/26368169
2461.21/2416.32	c cleaning 228000 clauses out of 456001 with flag 61157671/26597169
2481.90/2437.06	c cleaning 229000 clauses out of 458002 with flag 61621106/26827170
2502.74/2457.71	c cleaning 229998 clauses out of 460001 with flag 62087166/27058169
2525.70/2480.74	c cleaning 230997 clauses out of 462005 with flag 62555157/27290171
2548.88/2503.92	c cleaning 231999 clauses out of 464005 with flag 63025340/27523168
2569.95/2525.05	c cleaning 233003 clauses out of 466008 with flag 63497460/27757170
2591.81/2546.97	c cleaning 234002 clauses out of 468007 with flag 63971955/27992172
2616.20/2571.23	c cleaning 234999 clauses out of 470001 with flag 64448010/28228168
2639.46/2594.57	c cleaning 235997 clauses out of 472003 with flag 64925589/28465169
2665.82/2620.95	c cleaning 237001 clauses out of 474006 with flag 65404694/28703169
2688.28/2643.41	c cleaning 237997 clauses out of 476004 with flag 65885914/28942168
2710.46/2665.61	c cleaning 239000 clauses out of 478008 with flag 66369418/29182169
2735.21/2690.28	c cleaning 240005 clauses out of 480010 with flag 66855198/29423171
2756.48/2711.59	c cleaning 241001 clauses out of 482004 with flag 67342742/29665170
2780.24/2735.31	c cleaning 241997 clauses out of 484001 with flag 67832972/29908168
2801.71/2756.83	c cleaning 243002 clauses out of 486005 with flag 68325087/30152169
2826.37/2781.51	c cleaning 243999 clauses out of 488002 with flag 68818756/30397168
2849.53/2804.74	c cleaning 244999 clauses out of 490005 with flag 69314377/30643170
2872.48/2827.68	c cleaning 245998 clauses out of 492004 with flag 69812515/30890168
2894.14/2849.30	c cleaning 247002 clauses out of 494007 with flag 70312701/31138169
2915.41/2870.67	c cleaning 248000 clauses out of 496004 with flag 70814908/31387168
2937.48/2892.77	c cleaning 249000 clauses out of 498006 with flag 71319307/31637170
2959.74/2915.03	c cleaning 250000 clauses out of 500004 with flag 71825793/31888168
2981.42/2936.67	c cleaning 251001 clauses out of 502004 with flag 72334239/32140168
3003.89/2959.19	c cleaning 252000 clauses out of 504006 with flag 72844629/32393171
3026.95/2982.25	c cleaning 253001 clauses out of 506003 with flag 73356972/32647168
3049.72/3005.01	c cleaning 253995 clauses out of 508002 with flag 73871500/32902168
3075.47/3030.88	c cleaning 255004 clauses out of 510008 with flag 74387766/33158169
3101.46/3056.74	c cleaning 256002 clauses out of 512005 with flag 74906215/33415170
3124.43/3079.79	c cleaning 257002 clauses out of 514003 with flag 75426803/33673170
3148.70/3104.03	c cleaning 258001 clauses out of 516001 with flag 75949270/33932170
3172.66/3128.03	c cleaning 258999 clauses out of 517998 with flag 76473815/34192168
3199.20/3154.69	c cleaning 259994 clauses out of 519999 with flag 77000059/34453168
3223.60/3179.00	c cleaning 260998 clauses out of 522005 with flag 77528444/34715168
3248.45/3203.88	c cleaning 261999 clauses out of 524007 with flag 78058693/34978168
3271.73/3227.15	c cleaning 263004 clauses out of 526010 with flag 78591422/35242170
3295.59/3251.09	c cleaning 264000 clauses out of 528006 with flag 79126031/35507170
3320.24/3275.73	c cleaning 265003 clauses out of 530009 with flag 79662688/35773173
3345.27/3300.79	c cleaning 265999 clauses out of 532003 with flag 80201392/36040170
3370.02/3325.52	c cleaning 267000 clauses out of 534004 with flag 80742017/36308170
3393.99/3349.55	c cleaning 268001 clauses out of 536002 with flag 81284597/36577168
3423.34/3378.96	c cleaning 268998 clauses out of 538001 with flag 81828672/36847168
3449.20/3404.84	c cleaning 270001 clauses out of 540003 with flag 82375352/37118168
3476.98/3432.51	c cleaning 270998 clauses out of 542002 with flag 82924101/37390168
3503.93/3459.51	c cleaning 271998 clauses out of 544004 with flag 83474558/37663168
3532.98/3488.61	c cleaning 272999 clauses out of 546006 with flag 84026529/37937168
3563.03/3518.72	c cleaning 273996 clauses out of 548007 with flag 84580674/38212168
3587.58/3543.39	c cleaning 275003 clauses out of 550014 with flag 85137368/38488171
3600.06/3555.82	c starts		: 2555
3600.06/3555.84	c conflicts		: 38765171
3600.06/3555.86	c decisions		: 41974805
3600.06/3555.86	c propagations		: 2074531820
3600.06/3555.86	c inspects		: 18789359593
3600.06/3555.86	c shortcuts		: 0
3600.06/3555.86	c learnt literals	: 0
3600.06/3555.86	c learnt binary clauses	: 0
3600.06/3555.86	c learnt ternary clauses	: 0
3600.06/3555.86	c learnt constraints	: 38765171
3600.06/3555.86	c ignored constraints	: 0
3600.06/3555.86	c root simplifications	: 0
3600.06/3555.86	c removed literals (reason simplification)	: 0
3600.06/3555.86	c reason swapping (by a shorter reason)	: 0
3600.06/3555.86	c Calls to reduceDB	: 292
3600.06/3555.86	c Number of update (reduction) of LBD	: 1546523
3600.06/3555.86	c Imported unit clauses	: 0
3600.06/3555.87	c No decision after first conflict	: false
3600.06/3555.87	c number of reductions to clauses (during analyze)	: 0
3600.06/3555.87	c number of learned constraints concerned by reduction	: 0
3600.06/3555.87	c number of learning phase by resolution	: 0
3600.06/3555.87	c number of learning phase by cutting planes	: 0
3600.06/3555.87	c number of rounding to 1 operations	: 0
3600.06/3555.87	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3555.87	c number of reductions of the coefficients by power 2 	: 0
3600.06/3555.87	c number of right shift for reduction by power 2 	: 0
3600.06/3555.87	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3555.87	c number of ending skipping 	: 0
3600.06/3555.87	c number of internal skipping 	: 0
3600.06/3555.87	c number of derivation steps 	: 0
3600.06/3555.87	c number of skipped derivation steps 	: 0
3600.06/3555.88	c number of remaining unassigned 	: 0
3600.06/3555.88	c number of remaining assigned 	: 0
3600.06/3555.88	c number of falsified literals weakened from reason	: 0
3600.06/3555.89	c number of falsified literals weakened from conflict	: 0
3600.06/3555.89	c time for arithmetic operations	: 0
3600.06/3555.89	c minimum degree of deleted constraints	: null
3600.06/3555.90	c maximum degree of deleted constraints	: null
3600.06/3555.90	c number of deleted constraints	: 0
3600.06/3555.90	c speed (assignments/second)	: 583500.2389375031
3600.27/3555.90	c non guided choices	: 199875
3600.47/3556.10	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 552011
3600.47/3556.10	s SATISFIABLE
3600.47/3556.10	c Found 8 solution(s)
3600.47/3556.12	v x1 -x2 -x3 -x4 -x5 x6 x7 x8 x9 -x10 -x11 x12 x13 x14 x15 x16 x17 -x18 -x19 x20 x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 x1072 -x1073 -x1074 x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 x1227 -x1228 -x1229 x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 x1332 x1333 x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 x1368 -x1369 -x1370 -x1371 -x1372 x1373 -x1374 -x1375 -x1376 -x1377 x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 x1417 -x1418 x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 x1428 -x1429 -x1430 -x1431 x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 x1583 -x1584 -x1585 -x1586 x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 x1977 -x1978 -x1979 -x1980 x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 x2266 -x2267 -x2268 -x2269 -x2270 -x2271 x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 x2331 -x2332 -x2333 -x2334 x2335 -x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 x2540 -x2541 x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 x2559 x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 x2569 -x2570 x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 x2592 -x2593 -x2594 -x2595 x2596 -x2597 -x2598 x2599 -x2600 -x2601 -x2602 -x2603 -x2604 x2605 -x2606 -x2607 -x2608 x2609 -x2610 -x2611 -x2612 -x2613 -x2614 x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 x2675 -x2676 -x2677 -x2678 -x2679 x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 x2690 -x2691 -x2692 -x2693 -x2694 -x2695 x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 x2749 -x2750 -x2751 -x2752 -x2753 x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 x2792 -x2793 -x2794 x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 x2861 -x2862 -x2863 -x2864 -x2865 x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 x2923 -x2924 -x2925 -x2926 -x2927 -x2928 x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 x3511 -x3512 -x3513 -x3514 -x3515 x3516 -x3517 -x3518 x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 x3530 x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 x3554 -x3555 -x3556 -x3557 -x3558 x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 x3603 -x3604 x3605 x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 x3676 -x3677 -x3678 x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 x3691 -x3692 -x3693 x3694 -x3695 -x3696 x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 x3735 -x3736 x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 x3752 -x3753 -x3754 -x3755 -x3756 x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 x3798 x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 x3828 -x3829 -x3830 -x3831 -x3832 -x3833 x3834 x3835 -x3836 -x3837 x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 x5071 -x5072 -x5073 -x5074 -x5075 -x5076 x5077 -x5078 x5079 -x5080 -x5081 -x5082 -x5083 -x5084 x5085 -x5086 -x5087 -x5088 x5089 -x5090 -x5091 -x5092 x5093 x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 x5413 -x5414 x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 x5463 -x5464 -x5465 -x5466 -x5467 x5468 x5469 x5470 -x5471 -x5472 -x5473 -x5474 -x5475 x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 
3600.69/3556.17	c objective function=16
3600.69/3556.17	c Total wall clock time (in seconds): 3555.863

Verifier Data 

OK	16

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432533-1721175300/watcher-4432533-1721175300 -o /tmp/evaluation-result-4432533-1721175300/solver-4432533-1721175300 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721175312-874324 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432533-1721175300.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=874372, runsolver pid=874363

[startup+0.101833 s]*
/proc/loadavg: 1.09 2.26 3.30 12/312 874452
/proc/meminfo: memFree=124849036/131655788 swapFree=131071996/131071996
[pid=874372] ppid=874363 vsize=18975048 memory=55976 CPUtime=0.13 cores=5,7
/proc/874372/stat : 874372 (java) S 874363 874372 871785 0 -1 1077936128 6495 0 0 0 9 4 0 0 20 0 18 0 169686133 19430449152 13994 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
/proc/874372/statm: 4743762 13994 5640 1 0 550848 0
[pid=874372/tid=874377] ppid=874363 vsize=18975048 memory=4026531971 CPUtime=0.09 cores=5,7
/proc/874372/task/874377/stat : 874377 (java) R 874363 874372 871785 0 -1 4194368 5400 0 0 0 6 3 0 0 20 0 18 0 169686134 19430449152 13994 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874419] ppid=874363 vsize=18975048 memory=3711 CPUtime=0 cores=5,7
/proc/874372/task/874419/stat : 874419 (Finalizer) S 874363 874372 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169686140 19430449152 13994 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874448] ppid=874363 vsize=18975048 memory=13572595761026746 CPUtime=0 cores=5,7
/proc/874372/task/874448/stat : 874448 (Common-Cleaner) S 874363 874372 871785 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 169686141 19430449152 13994 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55976 KiB

[startup+0.215827 s]*
/proc/loadavg: 1.09 2.26 3.30 14/312 874452
/proc/meminfo: memFree=124827456/131655788 swapFree=131071996/131071996
[pid=874372] ppid=874363 vsize=18975048 memory=62724 CPUtime=0.31 cores=5,7
/proc/874372/stat : 874372 (java) S 874363 874372 871785 0 -1 1077936128 7159 0 0 0 27 4 0 0 20 0 18 0 169686133 19430449152 15681 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
/proc/874372/statm: 4743762 15681 5649 1 0 551363 0
[pid=874372/tid=874377] ppid=874363 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=5,7
/proc/874372/task/874377/stat : 874377 (java) R 874363 874372 871785 0 -1 4194368 5721 0 0 0 17 3 0 0 20 0 18 0 169686134 19430449152 15681 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874419] ppid=874363 vsize=18975048 memory=3711 CPUtime=0 cores=5,7
/proc/874372/task/874419/stat : 874419 (Finalizer) S 874363 874372 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169686140 19430449152 15681 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874448] ppid=874363 vsize=18975048 memory=13572595761026746 CPUtime=0 cores=5,7
/proc/874372/task/874448/stat : 874448 (Common-Cleaner) S 874363 874372 871785 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 169686141 19430449152 15681 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62724 KiB

[startup+0.31647 s]*
/proc/loadavg: 1.09 2.26 3.30 13/312 874452
/proc/meminfo: memFree=124796540/131655788 swapFree=131071996/131071996
[pid=874372] ppid=874363 vsize=18975048 memory=66364 CPUtime=0.47 cores=5,7
/proc/874372/stat : 874372 (java) S 874363 874372 871785 0 -1 1077936128 7445 0 0 0 42 5 0 0 20 0 18 0 169686133 19430449152 16591 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
/proc/874372/statm: 4743762 16591 5761 1 0 551565 0
[pid=874372/tid=874377] ppid=874363 vsize=18975048 memory=-9103295919907250876 CPUtime=0.28 cores=5,7
/proc/874372/task/874377/stat : 874377 (java) R 874363 874372 871785 0 -1 4194368 5905 0 0 0 25 3 0 0 20 0 18 0 169686134 19430449152 16591 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874419] ppid=874363 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/874372/task/874419/stat : 874419 (Finalizer) S 874363 874372 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169686140 19430449152 16591 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874448] ppid=874363 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/874372/task/874448/stat : 874448 (Common-Cleaner) S 874363 874372 871785 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 169686141 19430449152 16591 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66364 KiB

[startup+0.704346 s]
/proc/loadavg: 1.09 2.26 3.30 13/312 874452
/proc/meminfo: memFree=124677520/131655788 swapFree=131071996/131071996
[pid=874372] ppid=874363 vsize=19041612 memory=98652 CPUtime=1.17 cores=5,7
/proc/874372/stat : 874372 (java) S 874363 874372 871785 0 -1 1077936128 10009 0 0 0 111 6 0 0 20 0 19 0 169686133 19498610688 24663 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
/proc/874372/statm: 4760403 24663 5885 1 0 553543 0
[pid=874372/tid=874377] ppid=874363 vsize=19041612 memory=5616 CPUtime=0.59 cores=5,7
/proc/874372/task/874377/stat : 874377 (java) R 874363 874372 871785 0 -1 4194368 6065 0 0 0 55 4 0 0 20 0 19 0 169686134 19498610688 24663 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874419] ppid=874363 vsize=19041612 memory=11884 CPUtime=0 cores=5,7
/proc/874372/task/874419/stat : 874419 (Finalizer) S 874363 874372 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169686140 19498610688 24663 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874448] ppid=874363 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/874372/task/874448/stat : 874448 (Common-Cleaner) S 874363 874372 871785 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 169686141 19498610688 24663 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 98652 KiB

[startup+1.50181 s]
/proc/loadavg: 1.09 2.26 3.30 14/317 874457
/proc/meminfo: memFree=124496656/131655788 swapFree=131071996/131071996
[pid=874372] ppid=874363 vsize=19041612 memory=123712 CPUtime=2.75 cores=5,7
/proc/874372/stat : 874372 (java) S 874363 874372 871785 0 -1 1077936128 19357 0 0 0 267 8 0 0 20 0 19 0 169686133 19498610688 30928 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
/proc/874372/statm: 4760403 30928 5885 1 0 557048 0
[pid=874372/tid=874377] ppid=874363 vsize=19041612 memory=11884 CPUtime=1.35 cores=5,7
/proc/874372/task/874377/stat : 874377 (java) R 874363 874372 871785 0 -1 4194368 6692 0 0 0 131 4 0 0 20 0 19 0 169686134 19498610688 30928 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874419] ppid=874363 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/874372/task/874419/stat : 874419 (Finalizer) S 874363 874372 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169686140 19498610688 30928 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874448] ppid=874363 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/874372/task/874448/stat : 874448 (Common-Cleaner) S 874363 874372 871785 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 169686141 19498610688 30928 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874454] ppid=874363 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/874372/task/874454/stat : 874454 (Timer-0) S 874363 874372 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169686191 19498610688 30928 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 123712 KiB

[startup+3.10581 s]
/proc/loadavg: 1.56 2.34 3.32 7/320 874460
/proc/meminfo: memFree=124167700/131655788 swapFree=131071996/131071996
[pid=874372] ppid=874363 vsize=19108176 memory=202740 CPUtime=5.28 cores=5,7
/proc/874372/stat : 874372 (java) S 874363 874372 871785 0 -1 1077936128 21910 0 0 0 518 10 0 0 20 0 20 0 169686133 19566772224 50685 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
/proc/874372/statm: 4777044 50685 5903 1 0 557403 0
[pid=874372/tid=874377] ppid=874363 vsize=19108176 memory=0 CPUtime=2.89 cores=5,7
/proc/874372/task/874377/stat : 874377 (java) R 874363 874372 871785 0 -1 4194368 7607 0 0 0 283 6 0 0 20 0 20 0 169686134 19566772224 50685 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874419] ppid=874363 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/874372/task/874419/stat : 874419 (Finalizer) S 874363 874372 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686140 19566772224 50685 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874448] ppid=874363 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/874372/task/874448/stat : 874448 (Common-Cleaner) S 874363 874372 871785 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 50685 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874454] ppid=874363 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/874372/task/874454/stat : 874454 (Timer-0) S 874363 874372 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686191 19566772224 50685 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
Current children cumulated CPU time: 5.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 202740 KiB

[startup+6.30081 s]
/proc/loadavg: 1.56 2.34 3.32 6/320 874462
/proc/meminfo: memFree=123615096/131655788 swapFree=131071996/131071996
[pid=874372] ppid=874363 vsize=19108176 memory=281396 CPUtime=8.61 cores=5,7
/proc/874372/stat : 874372 (java) S 874363 874372 871785 0 -1 1077936128 22065 0 0 0 848 13 0 0 20 0 20 0 169686133 19566772224 70349 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
/proc/874372/statm: 4777044 70349 5903 1 0 557403 0
[pid=874372/tid=874377] ppid=874363 vsize=19108176 memory=0 CPUtime=5.73 cores=5,7
/proc/874372/task/874377/stat : 874377 (java) R 874363 874372 871785 0 -1 4194368 7610 0 0 0 567 6 0 0 20 0 20 0 169686134 19566772224 70349 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874419] ppid=874363 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/874372/task/874419/stat : 874419 (Finalizer) S 874363 874372 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686140 19566772224 70349 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874448] ppid=874363 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/874372/task/874448/stat : 874448 (Common-Cleaner) S 874363 874372 871785 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 70349 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874454] ppid=874363 vsize=19108176 memory=42360 CPUtime=0 cores=5,7
/proc/874372/task/874454/stat : 874454 (Timer-0) S 874363 874372 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686191 19566772224 70349 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
Current children cumulated CPU time: 8.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 281396 KiB

[startup+12.7004 s]
/proc/loadavg: 1.76 2.37 3.32 7/320 874462
/proc/meminfo: memFree=122659564/131655788 swapFree=131071996/131071996
[pid=874372] ppid=874363 vsize=19108176 memory=407052 CPUtime=15.21 cores=5,7
/proc/874372/stat : 874372 (java) S 874363 874372 871785 0 -1 1077936128 25617 0 0 0 1504 17 0 0 20 0 20 0 169686133 19566772224 101763 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
/proc/874372/statm: 4777044 101763 5946 1 0 557403 0
[pid=874372/tid=874377] ppid=874363 vsize=19108176 memory=407044 CPUtime=11.82 cores=5,7
/proc/874372/task/874377/stat : 874377 (java) R 874363 874372 871785 0 -1 4194368 8471 0 0 0 1176 6 0 0 20 0 20 0 169686134 19566772224 101763 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874419] ppid=874363 vsize=19108176 memory=339032 CPUtime=0 cores=5,7
/proc/874372/task/874419/stat : 874419 (Finalizer) S 874363 874372 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686140 19566772224 101763 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874448] ppid=874363 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/874372/task/874448/stat : 874448 (Common-Cleaner) S 874363 874372 871785 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 101763 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874454] ppid=874363 vsize=19108176 memory=202740 CPUtime=0 cores=5,7
/proc/874372/task/874454/stat : 874454 (Timer-0) S 874363 874372 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686191 19566772224 101763 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
Current children cumulated CPU time: 15.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 407052 KiB

[startup+25.5004 s]
/proc/loadavg: 2.33 2.47 3.34 6/320 874465
/proc/meminfo: memFree=120434760/131655788 swapFree=131071996/131071996
[pid=874372] ppid=874363 vsize=19108176 memory=888360 CPUtime=28.55 cores=5,7
/proc/874372/stat : 874372 (java) S 874363 874372 871785 0 -1 1077936128 34649 0 0 0 2825 30 0 0 20 0 20 0 169686133 19566772224 222090 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
/proc/874372/statm: 4777044 222090 5946 1 0 916680 0
[pid=874372/tid=874377] ppid=874363 vsize=19108176 memory=490160 CPUtime=24.16 cores=5,7
/proc/874372/task/874377/stat : 874377 (java) R 874363 874372 871785 0 -1 4194368 10108 0 0 0 2406 10 0 0 20 0 20 0 169686134 19566772224 222090 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874419] ppid=874363 vsize=19108176 memory=832720 CPUtime=0 cores=5,7
/proc/874372/task/874419/stat : 874419 (Finalizer) S 874363 874372 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686140 19566772224 222090 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874448] ppid=874363 vsize=19108176 memory=281396 CPUtime=0 cores=5,7
/proc/874372/task/874448/stat : 874448 (Common-Cleaner) S 874363 874372 871785 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 222090 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874454] ppid=874363 vsize=19108176 memory=832720 CPUtime=0 cores=5,7
/proc/874372/task/874454/stat : 874454 (Timer-0) S 874363 874372 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686191 19566772224 222090 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
Current children cumulated CPU time: 28.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 888360 KiB

[startup+51.1131 s]
/proc/loadavg: 2.98 2.61 3.37 6/317 874470
/proc/meminfo: memFree=116823756/131655788 swapFree=131071996/131071996
[pid=874372] ppid=874363 vsize=19108176 memory=1772856 CPUtime=54.86 cores=5,7
/proc/874372/stat : 874372 (java) S 874363 874372 871785 0 -1 1077936128 37960 0 0 0 5434 52 0 0 20 0 20 0 169686133 19566772224 443214 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
/proc/874372/statm: 4777044 443214 5946 1 0 1044102 0
[pid=874372/tid=874377] ppid=874363 vsize=19108176 memory=16216 CPUtime=48.57 cores=5,7
/proc/874372/task/874377/stat : 874377 (java) R 874363 874372 871785 0 -1 4194368 11142 0 0 0 4843 14 0 0 20 0 20 0 169686134 19566772224 443214 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874419] ppid=874363 vsize=19108176 memory=1354788 CPUtime=0 cores=5,7
/proc/874372/task/874419/stat : 874419 (Finalizer) S 874363 874372 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686140 19566772224 443214 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874448] ppid=874363 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/874372/task/874448/stat : 874448 (Common-Cleaner) S 874363 874372 871785 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 443214 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0

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

/proc/874372/task/874419/stat : 874419 (Finalizer) S 874363 874372 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686140 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874448] ppid=874363 vsize=19108176 memory=9046988 CPUtime=0 cores=5,7
/proc/874372/task/874448/stat : 874448 (Common-Cleaner) S 874363 874372 871785 0 -1 1077936192 1042 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874454] ppid=874363 vsize=19108176 memory=16216 CPUtime=0 cores=5,7
/proc/874372/task/874454/stat : 874454 (Timer-0) S 874363 874372 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686191 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
Current children cumulated CPU time: 3266.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9046988 KiB

[startup+3282.3 s]
/proc/loadavg: 3.11 3.22 3.55 5/292 876272
/proc/meminfo: memFree=94389220/131655788 swapFree=131071996/131071996
[pid=874372] ppid=874363 vsize=19108176 memory=9046988 CPUtime=3326.9 cores=5,7
/proc/874372/stat : 874372 (java) S 874363 874372 871785 0 -1 1077936128 233867 0 0 0 332294 396 0 0 20 0 20 0 169686133 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
/proc/874372/statm: 4777044 2261747 5946 1 0 2313166 0
[pid=874372/tid=874377] ppid=874363 vsize=19108176 memory=9046988 CPUtime=3228.21 cores=5,7
/proc/874372/task/874377/stat : 874377 (java) R 874363 874372 871785 0 -1 4194368 44854 0 0 0 322766 55 0 0 20 0 20 0 169686134 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874419] ppid=874363 vsize=19108176 memory=9046988 CPUtime=0 cores=5,7
/proc/874372/task/874419/stat : 874419 (Finalizer) S 874363 874372 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686140 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874448] ppid=874363 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/874372/task/874448/stat : 874448 (Common-Cleaner) S 874363 874372 871785 0 -1 1077936192 1042 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874454] ppid=874363 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/874372/task/874454/stat : 874454 (Timer-0) S 874363 874372 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686191 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
Current children cumulated CPU time: 3326.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9046988 KiB

[startup+3342.3 s]
/proc/loadavg: 3.22 3.23 3.53 5/294 876286
/proc/meminfo: memFree=94384372/131655788 swapFree=131071996/131071996
[pid=874372] ppid=874363 vsize=19108176 memory=9046988 CPUtime=3386.8 cores=5,7
/proc/874372/stat : 874372 (java) S 874363 874372 871785 0 -1 1077936128 234080 0 0 0 338282 398 0 0 20 0 20 0 169686133 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
/proc/874372/statm: 4777044 2261747 5946 1 0 2313166 0
[pid=874372/tid=874377] ppid=874363 vsize=19108176 memory=2220 CPUtime=3288.07 cores=5,7
/proc/874372/task/874377/stat : 874377 (java) R 874363 874372 871785 0 -1 4194368 45061 0 0 0 328751 56 0 0 20 0 20 0 169686134 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874419] ppid=874363 vsize=19108176 memory=9046988 CPUtime=0 cores=5,7
/proc/874372/task/874419/stat : 874419 (Finalizer) S 874363 874372 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686140 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874448] ppid=874363 vsize=19108176 memory=-8959743681784816316 CPUtime=0 cores=5,7
/proc/874372/task/874448/stat : 874448 (Common-Cleaner) S 874363 874372 871785 0 -1 1077936192 1043 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874454] ppid=874363 vsize=19108176 memory=9046988 CPUtime=0 cores=5,7
/proc/874372/task/874454/stat : 874454 (Timer-0) S 874363 874372 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686191 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
Current children cumulated CPU time: 3386.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9046988 KiB

[startup+3402.3 s]
/proc/loadavg: 3.19 3.21 3.51 5/294 876296
/proc/meminfo: memFree=94382052/131655788 swapFree=131071996/131071996
[pid=874372] ppid=874363 vsize=19108176 memory=9046988 CPUtime=3446.7 cores=5,7
/proc/874372/stat : 874372 (java) S 874363 874372 871785 0 -1 1077936128 234196 0 0 0 344270 400 0 0 20 0 20 0 169686133 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
/proc/874372/statm: 4777044 2261747 5946 1 0 2313166 0
[pid=874372/tid=874377] ppid=874363 vsize=19108176 memory=9046988 CPUtime=3347.93 cores=5,7
/proc/874372/task/874377/stat : 874377 (java) R 874363 874372 871785 0 -1 4194368 45173 0 0 0 334737 56 0 0 20 0 20 0 169686134 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874419] ppid=874363 vsize=19108176 memory=9046988 CPUtime=0 cores=5,7
/proc/874372/task/874419/stat : 874419 (Finalizer) S 874363 874372 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686140 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874448] ppid=874363 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/874372/task/874448/stat : 874448 (Common-Cleaner) S 874363 874372 871785 0 -1 1077936192 1043 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874454] ppid=874363 vsize=19108176 memory=9046988 CPUtime=0 cores=5,7
/proc/874372/task/874454/stat : 874454 (Timer-0) S 874363 874372 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686191 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
Current children cumulated CPU time: 3446.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9046988 KiB

[startup+3462.3 s]
/proc/loadavg: 2.96 3.16 3.47 3/268 876341
/proc/meminfo: memFree=108610624/131655788 swapFree=131071996/131071996
[pid=874372] ppid=874363 vsize=19108176 memory=9046988 CPUtime=3506.72 cores=5,7
/proc/874372/stat : 874372 (java) S 874363 874372 871785 0 -1 1077936128 236803 0 0 0 350270 402 0 0 20 0 20 0 169686133 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
/proc/874372/statm: 4777044 2261747 5946 1 0 2313166 0
[pid=874372/tid=874377] ppid=874363 vsize=19108176 memory=9046988 CPUtime=3407.65 cores=5,7
/proc/874372/task/874377/stat : 874377 (java) R 874363 874372 871785 0 -1 4194368 45815 0 0 0 340709 56 0 0 20 0 20 0 169686134 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874419] ppid=874363 vsize=19108176 memory=9046988 CPUtime=0 cores=5,7
/proc/874372/task/874419/stat : 874419 (Finalizer) S 874363 874372 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686140 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874448] ppid=874363 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/874372/task/874448/stat : 874448 (Common-Cleaner) S 874363 874372 871785 0 -1 1077936192 1164 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874454] ppid=874363 vsize=19108176 memory=9046988 CPUtime=0 cores=5,7
/proc/874372/task/874454/stat : 874454 (Timer-0) S 874363 874372 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686191 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
Current children cumulated CPU time: 3506.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9046988 KiB

[startup+3522.3 s]
/proc/loadavg: 2.42 2.96 3.38 3/268 876351
/proc/meminfo: memFree=108610552/131655788 swapFree=131071996/131071996
[pid=874372] ppid=874363 vsize=19108176 memory=9046988 CPUtime=3566.62 cores=5,7
/proc/874372/stat : 874372 (java) S 874363 874372 871785 0 -1 1077936128 236967 0 0 0 356258 404 0 0 20 0 20 0 169686133 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
/proc/874372/statm: 4777044 2261747 5946 1 0 2313166 0
[pid=874372/tid=874377] ppid=874363 vsize=19108176 memory=9046988 CPUtime=3467.52 cores=5,7
/proc/874372/task/874377/stat : 874377 (java) R 874363 874372 871785 0 -1 4194368 45973 0 0 0 346696 56 0 0 20 0 20 0 169686134 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874419] ppid=874363 vsize=19108176 memory=9046988 CPUtime=0 cores=5,7
/proc/874372/task/874419/stat : 874419 (Finalizer) S 874363 874372 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686140 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874448] ppid=874363 vsize=19108176 memory=42360 CPUtime=0 cores=5,7
/proc/874372/task/874448/stat : 874448 (Common-Cleaner) S 874363 874372 871785 0 -1 1077936192 1164 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874454] ppid=874363 vsize=19108176 memory=-8959743681784816316 CPUtime=0 cores=5,7
/proc/874372/task/874454/stat : 874454 (Timer-0) S 874363 874372 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686191 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
Current children cumulated CPU time: 3566.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9046988 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3555.8 s]
/proc/loadavg: 2.31 2.87 3.33 3/268 876357
/proc/meminfo: memFree=108476928/131655788 swapFree=131071996/131071996
[pid=874372] ppid=874363 vsize=19108176 memory=9046988 CPUtime=3600.06 cores=5,7
/proc/874372/stat : 874372 (java) S 874363 874372 871785 0 -1 1077936128 237048 0 0 0 359600 406 0 0 20 0 20 0 169686133 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
/proc/874372/statm: 4777044 2261747 5946 1 0 2313166 0
[pid=874372/tid=874377] ppid=874363 vsize=19108176 memory=-8959743681784816316 CPUtime=3500.94 cores=5,7
/proc/874372/task/874377/stat : 874377 (java) R 874363 874372 871785 0 -1 4194368 46051 0 0 0 350038 56 0 0 20 0 20 0 169686134 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874419] ppid=874363 vsize=19108176 memory=1992 CPUtime=0 cores=5,7
/proc/874372/task/874419/stat : 874419 (Finalizer) S 874363 874372 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169686140 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874448] ppid=874363 vsize=19108176 memory=5616 CPUtime=0 cores=5,7
/proc/874372/task/874448/stat : 874448 (Common-Cleaner) S 874363 874372 871785 0 -1 1077936192 1164 0 0 0 0 0 0 0 20 0 20 0 169686141 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874454] ppid=874363 vsize=19108176 memory=16216 CPUtime=0 cores=5,7
/proc/874372/task/874454/stat : 874454 (Timer-0) S 874363 874372 871785 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169686191 19566772224 2261747 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9046988 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.73 s, system=4.10227 s

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

[startup+3556 s]*
/proc/loadavg: 2.31 2.87 3.33 4/269 876360
/proc/meminfo: memFree=108476612/131655788 swapFree=131071996/131071996
[pid=874372] ppid=874363 vsize=19307868 memory=9047648 CPUtime=3600.47 cores=5,7
/proc/874372/stat : 874372 (java) S 874363 874372 871785 0 -1 1077936128 239806 0 0 0 359640 407 0 0 20 0 21 0 169686133 19771256832 2261912 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
/proc/874372/statm: 4826967 2261912 5945 1 0 2314069 0
[pid=874372/tid=874377] ppid=874363 vsize=19307868 memory=-5155634780447454526 CPUtime=3501.15 cores=5,7
/proc/874372/task/874377/stat : 874377 (java) R 874363 874372 871785 0 -1 4194368 46052 0 0 0 350059 56 0 0 20 0 21 0 169686134 19771256832 2261912 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874419] ppid=874363 vsize=19307868 memory=-8621784606468587417 CPUtime=0 cores=5,7
/proc/874372/task/874419/stat : 874419 (Finalizer) S 874363 874372 871785 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 169686140 19771256832 2261912 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=874448] ppid=874363 vsize=19307868 memory=5368 CPUtime=0 cores=5,7
/proc/874372/task/874448/stat : 874448 (Common-Cleaner) S 874363 874372 871785 0 -1 1077936192 1164 0 0 0 0 0 0 0 20 0 21 0 169686141 19771256832 2261912 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
[pid=874372/tid=876359] ppid=874363 vsize=19307868 memory=2680 CPUtime=0.09 cores=5,7
/proc/874372/task/876359/stat : 876359 (Thread-0) R 874363 874372 871785 0 -1 4194368 497 0 0 0 9 0 0 0 20 0 21 0 170041715 19771256832 2261912 134679101440 94558500761600 94558500765296 140721614327232 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94558500773112 94558500773904 94558517538816 140721614332935 140721614333025 140721614333025 140721614340040 0
Current children cumulated CPU time: 3600.47 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 9047648 KiB

[startup+3556.2 s]*
/proc/loadavg: 2.31 2.87 3.33 3/250 876360
/proc/meminfo: memFree=112349972/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): 3556.22
CPU time (s): 3600.84
CPU user time (s): 3596.73
CPU system time (s): 4.10227
CPU usage (%): 101.255
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 9047664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.73
system time used= 4.10227
maximum resident set size= 9048548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240467
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116853
involuntary context switches= 4835


# summary of solver processes directly reported to runsolver:
#   pid: 874372
#   total CPU time (s): 3600.84
#   total CPU user time (s): 3596.73
#   total CPU system time (s): 4.10227

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.34 second user time and 34.7531 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-17 02:15:12
IDJOB=4432533
IDBENCH=158621
IDSOLVER=3058
FILE ID=nodeC003/4432533-1721175300
RUNJOBID= nodeC003-1721175312-874324
SLURM_JOB_ID= 7505806
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432533-1721175300/watcher-4432533-1721175300 -o /tmp/evaluation-result-4432533-1721175300/solver-4432533-1721175300 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721175312-874324 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432533-1721175300.opb

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

MD5SUM BENCH= a64beba99ddb27280a5fb75072b9e119
RANDOM SEED=1164166739

nodeC003.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		: 1197.227
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.76
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		: 3474.029
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.222
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.76
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.225
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		: 1197.223
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.76
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		: 1197.221
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.224
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.76
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.228
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:        124991424 kB
MemAvailable:   129862524 kB
Buffers:          444624 kB
Cached:          5207516 kB
SwapCached:            0 kB
Active:           772032 kB
Inactive:        5230488 kB
Active(anon):       1364 kB
Inactive(anon):   386388 kB
Active(file):     770668 kB
Inactive(file):  4844100 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4160 kB
Writeback:             0 kB
AnonPages:        350384 kB
Mapped:           104624 kB
Shmem:             37704 kB
KReclaimable:     192728 kB
Slab:             303368 kB
SReclaimable:     192728 kB
SUnreclaim:       110640 kB
KernelStack:        3664 kB
PageTables:         9720 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     812108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54048 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 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:      275272 kB
DirectMap2M:    31086592 kB
DirectMap1G:    104857600 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC003 at 2024-07-17 03:14:29