Trace number 4509524

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)16 3600.4 3563.69

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 benchmark3499.78
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.10	c Free memory 		2104792832
0.11/0.10	c Max memory 		16282288128
0.11/0.10	c Total memory 		2113929216
0.11/0.11	c Number of processors 	2
0.11/0.14	c Pseudo Boolean Optimization by upper bound
0.11/0.14	c --- Begin Solver configuration ---
0.11/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.11/0.14	c Learn all clauses as in MiniSAT
0.11/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.14	c Expensive reason simplification
0.11/0.14	c Glucose 2.1 dynamic restart strategy
0.11/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.14	c timeout=2147483s
0.11/0.14	c DB Simplification allowed=false
0.11/0.14	c Listener: none
0.11/0.14	c --- End Solver configuration ---
0.11/0.14	c solving HOME/instance-4509524-1751521141.opb
0.11/0.14	c reading problem ... 
0.11/0.15	c  objective function found
0.29/0.28	c ... done. Wall clock time 0.125s.
0.29/0.28	c declared #vars     5568
0.29/0.28	c #constraints  412
0.29/0.28	c constraints type 
0.29/0.28	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 173
0.29/0.28	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 66
0.29/0.28	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 173
0.29/0.28	c 412 constraints processed.
0.29/0.29	c objective function length is 32 literals
0.68/0.44	c SATISFIABLE
0.68/0.44	c OPTIMIZING...
0.68/0.44	c Got one! Elapsed wall clock time (in seconds):0.296
0.68/0.44	o 20
1.06/0.67	c Got one! Elapsed wall clock time (in seconds):0.523
1.06/0.67	o 19
1.25/0.72	c Got one! Elapsed wall clock time (in seconds):0.579
1.25/0.72	o 18
1.85/1.04	c Got one! Elapsed wall clock time (in seconds):0.9
1.85/1.05	o 17
2.05/1.13	c cleaning 3855 clauses out of 7716 with flag 3295/7716
2.48/1.44	c cleaning 4928 clauses out of 9864 with flag 25807/13719
3.09/2.06	c cleaning 5955 clauses out of 11932 with flag 52841/20715
3.99/2.98	c cleaning 6977 clauses out of 13977 with flag 90446/28715
5.44/4.24	c cleaning 7987 clauses out of 16001 with flag 130565/37716
6.96/5.72	c cleaning 8993 clauses out of 18013 with flag 177270/47715
8.61/7.32	c cleaning 9998 clauses out of 20020 with flag 237327/58715
10.21/8.98	c cleaning 10999 clauses out of 22022 with flag 303656/70715
12.15/10.81	c cleaning 11992 clauses out of 24023 with flag 380857/83715
14.30/12.95	c cleaning 13001 clauses out of 26031 with flag 467072/97715
16.39/15.01	c cleaning 13993 clauses out of 28031 with flag 553813/112716
18.81/17.43	c cleaning 15002 clauses out of 30038 with flag 657816/128716
21.29/19.83	c cleaning 15997 clauses out of 32035 with flag 766545/145715
23.81/22.30	c cleaning 16999 clauses out of 34038 with flag 884741/163715
26.86/25.31	c cleaning 17999 clauses out of 36039 with flag 1007784/182715
30.22/28.69	c cleaning 19001 clauses out of 38040 with flag 1147758/202715
33.88/32.24	c cleaning 20004 clauses out of 40042 with flag 1292570/223718
37.65/35.93	c cleaning 20991 clauses out of 42035 with flag 1436173/245715
41.91/40.14	c cleaning 22010 clauses out of 44047 with flag 1582464/268718
46.45/44.61	c cleaning 23001 clauses out of 46035 with flag 1732912/292716
50.52/48.63	c cleaning 23994 clauses out of 48036 with flag 1893993/317718
55.48/53.58	c cleaning 24996 clauses out of 50039 with flag 2064190/343715
60.35/58.32	c cleaning 25999 clauses out of 52043 with flag 2255596/370715
65.69/63.45	c cleaning 27000 clauses out of 54045 with flag 2423336/398716
71.24/68.94	c cleaning 28003 clauses out of 56045 with flag 2595011/427716
77.12/74.89	c cleaning 29000 clauses out of 58041 with flag 2775275/457715
81.81/79.55	c cleaning 29997 clauses out of 60041 with flag 2958909/488715
86.86/84.51	c cleaning 31003 clauses out of 62044 with flag 3167146/520715
93.75/91.46	c cleaning 32004 clauses out of 64043 with flag 3363550/553717
100.42/97.94	c cleaning 32999 clauses out of 66038 with flag 3587632/587716
102.21/99.75	c Got one! Elapsed wall clock time (in seconds):99.6
102.21/99.75	o 16
102.53/100.01	c cleaning 25514 clauses out of 51043 with flag 11412/605720
102.83/100.30	c cleaning 15751 clauses out of 31527 with flag 24124/611718
103.12/100.60	c cleaning 11379 clauses out of 22777 with flag 38973/618719
103.42/100.95	c cleaning 9684 clauses out of 19399 with flag 55845/626720
104.02/101.52	c cleaning 9345 clauses out of 18713 with flag 75757/635718
104.53/102.03	c cleaning 9670 clauses out of 19368 with flag 96970/645718
105.12/102.63	c cleaning 10337 clauses out of 20698 with flag 120247/656718
105.82/103.30	c cleaning 11163 clauses out of 22362 with flag 145459/668719
106.52/104.02	c cleaning 12088 clauses out of 24198 with flag 173152/681718
107.34/104.88	c cleaning 13039 clauses out of 26110 with flag 202553/695718
108.24/105.75	c cleaning 14022 clauses out of 28072 with flag 234576/710719
109.14/106.61	c cleaning 15018 clauses out of 30049 with flag 275458/726718
110.34/107.81	c cleaning 16007 clauses out of 32031 with flag 322440/743718
111.83/109.35	c cleaning 17004 clauses out of 34024 with flag 381727/761718
113.53/111.01	c cleaning 17993 clauses out of 36021 with flag 440002/780719
115.22/112.78	c cleaning 19006 clauses out of 38027 with flag 498788/800718
117.13/114.68	c cleaning 20004 clauses out of 40021 with flag 561723/821718
118.77/116.27	c cleaning 21000 clauses out of 42019 with flag 609832/843720
120.57/118.05	c cleaning 21994 clauses out of 44017 with flag 679672/866718
122.85/120.38	c cleaning 23002 clauses out of 46023 with flag 755472/890718
125.25/122.78	c cleaning 24000 clauses out of 48023 with flag 834444/915720
127.65/125.11	c cleaning 24997 clauses out of 50023 with flag 931164/941720
129.94/127.45	c cleaning 25997 clauses out of 52024 with flag 1020422/968718
132.34/129.89	c cleaning 26991 clauses out of 54028 with flag 1109288/996719
135.13/132.61	c cleaning 28009 clauses out of 56037 with flag 1201310/1025719
137.82/135.37	c cleaning 29003 clauses out of 58030 with flag 1302129/1055721
140.82/138.39	c cleaning 29997 clauses out of 60025 with flag 1396217/1086719
144.02/141.58	c cleaning 30999 clauses out of 62027 with flag 1498134/1118718
147.90/145.40	c cleaning 32000 clauses out of 64028 with flag 1605321/1151718
151.29/148.83	c cleaning 33000 clauses out of 66029 with flag 1718335/1185719
154.99/152.56	c cleaning 33998 clauses out of 68028 with flag 1830715/1220718
158.98/156.52	c cleaning 34996 clauses out of 70030 with flag 1945652/1256718
163.08/160.63	c cleaning 36005 clauses out of 72035 with flag 2062494/1293719
167.53/165.08	c cleaning 36996 clauses out of 74029 with flag 2185289/1331718
171.81/169.34	c cleaning 38000 clauses out of 76034 with flag 2313413/1370719
176.20/173.79	c cleaning 39000 clauses out of 78033 with flag 2438919/1410718
181.58/179.04	c cleaning 40005 clauses out of 80034 with flag 2573693/1451719
187.26/184.74	c cleaning 40998 clauses out of 82028 with flag 2726739/1493718
192.46/189.96	c cleaning 42001 clauses out of 84034 with flag 2879791/1536722
197.55/195.07	c cleaning 43002 clauses out of 86029 with flag 3021571/1580718
203.54/201.00	c cleaning 43993 clauses out of 88027 with flag 3165868/1625718
209.53/207.08	c cleaning 44991 clauses out of 90034 with flag 3308548/1671718
215.72/213.03	c cleaning 46003 clauses out of 92043 with flag 3449866/1718718
221.74/218.93	c cleaning 47000 clauses out of 94041 with flag 3596510/1766719
227.72/224.92	c cleaning 48005 clauses out of 96040 with flag 3748038/1815718
234.77/231.52	c cleaning 49007 clauses out of 98035 with flag 3900707/1865718
240.86/237.66	c cleaning 50004 clauses out of 100029 with flag 4057672/1916719
246.70/243.37	c cleaning 51003 clauses out of 102027 with flag 4225000/1968721
254.58/251.22	c cleaning 51994 clauses out of 104022 with flag 4424668/2021719
261.47/258.18	c cleaning 52991 clauses out of 106028 with flag 4593185/2075719
266.05/262.51	c cleaning 54005 clauses out of 108036 with flag 4730060/2130718
270.24/266.70	c cleaning 55004 clauses out of 110032 with flag 4854126/2186719
274.64/271.05	c cleaning 56005 clauses out of 112027 with flag 4975958/2243718
279.23/275.65	c cleaning 56998 clauses out of 114022 with flag 5100912/2301718
284.12/280.51	c cleaning 58002 clauses out of 116024 with flag 5226605/2360718
289.09/285.32	c cleaning 58995 clauses out of 118022 with flag 5353522/2420718
293.79/290.01	c cleaning 60000 clauses out of 120027 with flag 5482856/2481718
299.37/295.60	c cleaning 60999 clauses out of 122028 with flag 5618046/2543719
304.38/300.56	c cleaning 62003 clauses out of 124028 with flag 5756036/2606718
308.17/304.36	c cleaning 63003 clauses out of 126026 with flag 5941246/2670719
313.19/309.22	c cleaning 64005 clauses out of 128022 with flag 6084323/2735718
317.88/313.99	c cleaning 64988 clauses out of 130018 with flag 6303758/2801719
323.68/319.78	c cleaning 65997 clauses out of 132029 with flag 6503643/2868718
330.44/326.41	c cleaning 67000 clauses out of 134034 with flag 6705803/2936720
337.03/333.10	c cleaning 67999 clauses out of 136033 with flag 6911538/3005719
344.88/340.51	c cleaning 68995 clauses out of 138034 with flag 7113808/3075719
350.71/346.23	c cleaning 70008 clauses out of 140040 with flag 7311644/3146720
359.99/355.56	c cleaning 70994 clauses out of 142031 with flag 7512411/3218719
369.57/365.11	c cleaning 72003 clauses out of 144036 with flag 7721690/3291718
379.67/375.12	c cleaning 73002 clauses out of 146034 with flag 7931959/3365719
385.25/380.76	c cleaning 74007 clauses out of 148031 with flag 8125488/3440718
389.84/385.23	c cleaning 75003 clauses out of 150025 with flag 8295122/3516719
397.82/393.22	c cleaning 75999 clauses out of 152021 with flag 8459942/3593718
404.61/400.07	c cleaning 77003 clauses out of 154024 with flag 8628516/3671720
411.84/407.11	c cleaning 77998 clauses out of 156019 with flag 8798977/3750718
418.63/414.00	c cleaning 78996 clauses out of 158021 with flag 8970575/3830718
428.10/423.40	c cleaning 80003 clauses out of 160026 with flag 9149080/3911719
435.22/430.39	c cleaning 80999 clauses out of 162022 with flag 9329492/3993718
440.81/435.99	c cleaning 81999 clauses out of 164026 with flag 9560923/4076721
449.85/444.87	c cleaning 82998 clauses out of 166025 with flag 9744441/4160719
459.24/454.21	c cleaning 83996 clauses out of 168027 with flag 9925843/4245719
469.22/464.07	c cleaning 85002 clauses out of 170030 with flag 10111627/4331718
477.93/472.11	c cleaning 86000 clauses out of 172028 with flag 10344592/4418718
486.60/480.71	c cleaning 87002 clauses out of 174029 with flag 10661453/4506719
492.04/486.08	c cleaning 88004 clauses out of 176026 with flag 10851421/4595718
500.81/494.80	c cleaning 89002 clauses out of 178022 with flag 11044591/4685718
511.57/505.54	c cleaning 89997 clauses out of 180020 with flag 11239305/4776718
521.45/515.41	c cleaning 90997 clauses out of 182023 with flag 11439664/4868718
531.48/525.32	c cleaning 92000 clauses out of 184026 with flag 11639995/4961718
541.23/534.92	c cleaning 92996 clauses out of 186028 with flag 11842072/5055720
552.82/546.52	c cleaning 94004 clauses out of 188030 with flag 12054286/5150718
563.67/557.22	c cleaning 94995 clauses out of 190026 with flag 12273658/5246718
571.46/564.58	c cleaning 96005 clauses out of 192031 with flag 12484473/5343718
582.43/575.43	c cleaning 97003 clauses out of 194026 with flag 12694012/5441718
590.02/583.03	c cleaning 98001 clauses out of 196023 with flag 12913077/5540718
600.22/593.17	c cleaning 98998 clauses out of 198023 with flag 13128290/5640719
610.93/603.61	c cleaning 99995 clauses out of 200024 with flag 13343253/5741718
620.32/613.00	c cleaning 101000 clauses out of 202029 with flag 13559745/5843718
632.34/624.90	c cleaning 101998 clauses out of 204030 with flag 13779410/5946719
644.22/636.81	c cleaning 103007 clauses out of 206033 with flag 14001007/6050720
653.86/646.45	c cleaning 104005 clauses out of 208024 with flag 14230154/6155718
664.28/656.70	c cleaning 105001 clauses out of 210019 with flag 14473308/6261718
673.86/666.16	c cleaning 105992 clauses out of 212018 with flag 14831791/6368718
684.34/676.03	c cleaning 106997 clauses out of 214030 with flag 15048995/6476722
695.57/687.26	c cleaning 108000 clauses out of 216030 with flag 15266989/6585719
706.11/697.64	c cleaning 108998 clauses out of 218031 with flag 15486991/6695720
717.50/709.03	c cleaning 110005 clauses out of 220031 with flag 15708987/6806718
729.94/721.35	c cleaning 110995 clauses out of 222026 with flag 15932987/6918718
743.08/734.33	c cleaning 111996 clauses out of 224031 with flag 16158987/7031718
751.34/742.44	c cleaning 113011 clauses out of 226036 with flag 16402377/7145719
761.49/752.47	c cleaning 113993 clauses out of 228025 with flag 16662370/7260719
773.15/763.93	c cleaning 114993 clauses out of 230033 with flag 16909468/7376720
786.78/776.91	c cleaning 116001 clauses out of 232038 with flag 17160208/7493718
795.70/785.82	c cleaning 117006 clauses out of 234038 with flag 17420927/7611719
805.41/795.40	c cleaning 118007 clauses out of 236034 with flag 17684114/7730721
814.06/803.97	c cleaning 119001 clauses out of 238026 with flag 17946622/7850720
830.83/820.71	c cleaning 119997 clauses out of 240023 with flag 18211423/7971718
846.79/836.64	c cleaning 121007 clauses out of 242029 with flag 18476449/8093721
864.13/853.86	c cleaning 122000 clauses out of 244021 with flag 18743227/8216720
882.48/872.05	c cleaning 122996 clauses out of 246020 with flag 19011037/8340719
898.65/888.20	c cleaning 123991 clauses out of 248024 with flag 19283232/8465719
916.07/905.59	c cleaning 125000 clauses out of 250033 with flag 19554786/8591719
931.24/920.67	c cleaning 126010 clauses out of 252033 with flag 19854441/8718719
945.24/934.18	c cleaning 126999 clauses out of 254023 with flag 20131870/8846719
962.21/951.01	c cleaning 128001 clauses out of 256023 with flag 20415280/8975718
975.50/964.18	c cleaning 128996 clauses out of 258022 with flag 20694742/9105718
991.87/980.52	c cleaning 130002 clauses out of 260028 with flag 20976191/9236720
1007.48/996.03	c cleaning 131002 clauses out of 262024 with flag 21258456/9368718
1024.64/1013.09	c cleaning 132000 clauses out of 264024 with flag 21543051/9501720
1042.78/1031.09	c cleaning 132995 clauses out of 266022 with flag 21830788/9635718
1063.60/1051.77	c cleaning 134004 clauses out of 268027 with flag 22121203/9770718
1085.70/1073.78	c cleaning 135002 clauses out of 270023 with flag 22412687/9906718
1106.85/1094.10	c cleaning 135994 clauses out of 272022 with flag 22704913/10043719
1125.99/1113.28	c cleaning 136998 clauses out of 274029 with flag 23000389/10181720
1148.66/1135.86	c cleaning 137996 clauses out of 276031 with flag 23297377/10320720
1167.73/1154.78	c cleaning 139002 clauses out of 278033 with flag 23597500/10460718
1185.58/1172.49	c cleaning 140007 clauses out of 280033 with flag 23898786/10601720
1205.68/1192.49	c cleaning 141002 clauses out of 282024 with flag 24202409/10743718
1230.32/1216.91	c cleaning 141996 clauses out of 284022 with flag 24508422/10886718
1248.98/1235.68	c cleaning 142997 clauses out of 286028 with flag 24816300/11030720
1271.50/1258.16	c cleaning 143997 clauses out of 288030 with flag 25126806/11175719
1295.41/1281.03	c cleaning 144997 clauses out of 290032 with flag 25438166/11321718
1318.15/1303.71	c cleaning 145998 clauses out of 292036 with flag 25752517/11468719
1343.28/1328.73	c cleaning 147002 clauses out of 294038 with flag 26071726/11616719
1364.52/1349.86	c cleaning 148008 clauses out of 296037 with flag 26389303/11765720
1385.27/1370.43	c cleaning 149001 clauses out of 298027 with flag 26708506/11915718
1407.92/1392.98	c cleaning 150001 clauses out of 300027 with flag 27031783/12066719
1429.63/1414.53	c cleaning 151000 clauses out of 302028 with flag 27356376/12218721
1451.75/1436.54	c cleaning 152002 clauses out of 304026 with flag 27682776/12371719
1476.65/1461.36	c cleaning 152993 clauses out of 306024 with flag 28011106/12525719
1499.51/1483.45	c cleaning 153999 clauses out of 308030 with flag 28342312/12680718
1521.24/1505.15	c cleaning 155001 clauses out of 310032 with flag 28676746/12836719
1540.97/1524.76	c cleaning 156001 clauses out of 312030 with flag 29013368/12993718
1563.81/1547.44	c cleaning 157008 clauses out of 314031 with flag 29362626/13151720
1576.88/1560.30	c cleaning 157998 clauses out of 316023 with flag 29727163/13310720
1591.62/1574.96	c cleaning 159001 clauses out of 318026 with flag 30049833/13470721
1611.15/1594.34	c cleaning 160004 clauses out of 320024 with flag 30379230/13631720
1623.52/1606.58	c cleaning 161001 clauses out of 322018 with flag 30770737/13793718
1639.63/1622.51	c cleaning 161991 clauses out of 324017 with flag 31144389/13956718
1653.83/1636.69	c cleaning 163002 clauses out of 326026 with flag 31507623/14120718
1676.33/1659.04	c cleaning 163993 clauses out of 328024 with flag 31872714/14285718
1705.63/1688.04	c cleaning 164996 clauses out of 330033 with flag 32253003/14451720
1735.37/1716.78	c cleaning 165996 clauses out of 332035 with flag 32646498/14618718
1762.73/1743.97	c cleaning 166998 clauses out of 334039 with flag 33015277/14786718
1785.72/1766.69	c cleaning 168002 clauses out of 336042 with flag 33395919/14955719
1808.54/1789.31	c cleaning 169005 clauses out of 338039 with flag 33764050/15125718
1832.55/1813.22	c cleaning 170004 clauses out of 340034 with flag 34131182/15296718
1858.12/1838.72	c cleaning 170996 clauses out of 342031 with flag 34495894/15468719
1880.22/1860.78	c cleaning 172003 clauses out of 344036 with flag 34861977/15641720
1898.69/1879.13	c cleaning 172999 clauses out of 346031 with flag 35232383/15815718
1917.68/1898.01	c cleaning 174008 clauses out of 348034 with flag 35670199/15990720
1936.08/1916.32	c cleaning 174998 clauses out of 350025 with flag 36022197/16166719
1953.82/1933.99	c cleaning 175999 clauses out of 352026 with flag 36376195/16343718
1968.48/1948.46	c cleaning 177004 clauses out of 354028 with flag 36734825/16521719
1979.72/1959.32	c cleaning 178005 clauses out of 356026 with flag 37136025/16700721
1997.97/1977.43	c cleaning 178992 clauses out of 358019 with flag 37592997/16880719
2020.78/1999.36	c cleaning 180006 clauses out of 360028 with flag 37963587/17061720
2037.52/2015.93	c cleaning 181004 clauses out of 362022 with flag 38331870/17243720
2054.31/2032.43	c cleaning 181997 clauses out of 364016 with flag 38721929/17426718
2077.56/2055.52	c cleaning 182997 clauses out of 366021 with flag 39117977/17610720
2102.19/2080.06	c cleaning 183990 clauses out of 368022 with flag 39515230/17795718
2128.98/2106.78	c cleaning 184998 clauses out of 370032 with flag 39912675/17981718
2157.98/2135.40	c cleaning 186000 clauses out of 372034 with flag 40315752/18168718
2184.88/2162.22	c cleaning 187009 clauses out of 374034 with flag 40721632/18356718
2214.65/2191.96	c cleaning 187996 clauses out of 376025 with flag 41124759/18545718
2229.08/2206.08	c cleaning 189006 clauses out of 378029 with flag 41533367/18735718
2256.58/2233.46	c cleaning 190002 clauses out of 380024 with flag 41941152/18926719
2282.02/2258.75	c cleaning 190996 clauses out of 382021 with flag 42356147/19118718
2299.33/2275.97	c cleaning 192004 clauses out of 384025 with flag 42866708/19311718
2323.03/2299.36	c cleaning 193007 clauses out of 386022 with flag 43295313/19505719
2344.85/2320.15	c cleaning 193994 clauses out of 388014 with flag 43716021/19700718
2363.07/2338.09	c cleaning 195000 clauses out of 390022 with flag 44154347/19896720
2397.30/2372.19	c cleaning 196001 clauses out of 392021 with flag 44615250/20093719
2426.31/2400.82	c cleaning 197002 clauses out of 394020 with flag 45078521/20291719
2446.76/2420.92	c cleaning 197997 clauses out of 396017 with flag 45517558/20490718
2460.80/2434.71	c cleaning 198997 clauses out of 398021 with flag 45960490/20690719
2488.98/2462.61	c cleaning 199997 clauses out of 400024 with flag 46376987/20891719
2518.09/2491.40	c cleaning 201003 clauses out of 402026 with flag 46810318/21093718
2537.90/2510.92	c cleaning 202000 clauses out of 404024 with flag 47251570/21296719
2567.10/2540.05	c cleaning 203001 clauses out of 406024 with flag 47690680/21500719
2585.02/2557.60	c cleaning 203992 clauses out of 408022 with flag 48201898/21705718
2616.04/2588.34	c cleaning 205008 clauses out of 410030 with flag 48983455/21911718
2641.55/2613.73	c cleaning 205999 clauses out of 412023 with flag 49425153/22118719
2661.85/2633.01	c cleaning 206999 clauses out of 414023 with flag 49874193/22326718
2684.59/2655.46	c cleaning 208002 clauses out of 416025 with flag 50317234/22535719
2698.19/2668.87	c cleaning 209002 clauses out of 418022 with flag 50786014/22745718
2711.79/2682.25	c cleaning 209997 clauses out of 420020 with flag 51249978/22956718
2732.04/2702.34	c cleaning 211003 clauses out of 422024 with flag 51735596/23168719
2761.92/2731.85	c cleaning 211999 clauses out of 424020 with flag 52451324/23381718
2781.94/2751.62	c cleaning 213002 clauses out of 426021 with flag 52915082/23595718
2800.82/2770.37	c cleaning 214001 clauses out of 428019 with flag 53395925/23810718
2823.36/2792.71	c cleaning 214996 clauses out of 430020 with flag 53827929/24026720
2844.23/2813.47	c cleaning 216006 clauses out of 432025 with flag 54309295/24243721
2866.58/2835.49	c cleaning 216997 clauses out of 434018 with flag 54893099/24461720
2886.39/2855.09	c cleaning 218001 clauses out of 436019 with flag 55359388/24680718
2906.84/2875.30	c cleaning 218996 clauses out of 438018 with flag 55811311/24900718
2928.81/2897.16	c cleaning 219999 clauses out of 440022 with flag 56262451/25121718
2962.65/2930.81	c cleaning 220997 clauses out of 442024 with flag 56728082/25343719
2998.79/2966.81	c cleaning 221998 clauses out of 444026 with flag 57197410/25566718
3031.37/2999.20	c cleaning 223002 clauses out of 446029 with flag 57667132/25790719
3066.57/3034.39	c cleaning 224004 clauses out of 448029 with flag 58136351/26015721
3098.28/3066.08	c cleaning 224995 clauses out of 450022 with flag 58611377/26241718
3134.53/3102.31	c cleaning 226000 clauses out of 452028 with flag 59087267/26468719
3172.81/3140.55	c cleaning 227003 clauses out of 454028 with flag 59574485/26696719
3214.01/3181.77	c cleaning 228000 clauses out of 456027 with flag 60074305/26925721
3251.37/3218.65	c cleaning 229002 clauses out of 458027 with flag 60572662/27155721
3271.73/3238.80	c cleaning 230000 clauses out of 460022 with flag 61061261/27386718
3289.59/3255.34	c cleaning 231008 clauses out of 462024 with flag 61560800/27618720
3330.02/3295.60	c cleaning 231996 clauses out of 464015 with flag 62077471/27851719
3371.94/3337.17	c cleaning 232991 clauses out of 466018 with flag 62624638/28085718
3421.87/3386.99	c cleaning 233997 clauses out of 468027 with flag 63164381/28320718
3449.02/3413.62	c cleaning 235006 clauses out of 470030 with flag 63708870/28556718
3465.12/3429.57	c cleaning 236001 clauses out of 472024 with flag 64218672/28793718
3485.19/3449.41	c cleaning 237002 clauses out of 474024 with flag 64742033/29031719
3503.85/3467.64	c cleaning 238005 clauses out of 476024 with flag 65297343/29270721
3552.21/3515.82	c cleaning 238994 clauses out of 478016 with flag 65828078/29510718
3600.08/3563.51	c starts		: 6859
3600.08/3563.53	c conflicts		: 29751718
3600.08/3563.53	c decisions		: 36434861
3600.08/3563.53	c propagations		: 931334980
3600.08/3563.53	c inspects		: 19106346396
3600.08/3563.53	c shortcuts		: 0
3600.08/3563.53	c learnt literals	: 0
3600.08/3563.53	c learnt binary clauses	: 0
3600.08/3563.53	c learnt ternary clauses	: 0
3600.08/3563.53	c learnt constraints	: 29751718
3600.08/3563.53	c ignored constraints	: 0
3600.08/3563.53	c root simplifications	: 0
3600.08/3563.53	c removed literals (reason simplification)	: 3033997
3600.08/3563.53	c reason swapping (by a shorter reason)	: 0
3600.08/3563.53	c Calls to reduceDB	: 267
3600.08/3563.53	c Number of update (reduction) of LBD	: 2024401
3600.08/3563.53	c Imported unit clauses	: 0
3600.08/3563.53	c No decision after first conflict	: false
3600.08/3563.53	c number of reductions to clauses (during analyze)	: 0
3600.08/3563.53	c number of learned constraints concerned by reduction	: 0
3600.08/3563.53	c number of learning phase by resolution	: 0
3600.08/3563.53	c number of learning phase by cutting planes	: 0
3600.08/3563.53	c number of rounding to 1 operations	: 0
3600.08/3563.53	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3563.53	c number of reductions of the coefficients by power 2 	: 0
3600.08/3563.53	c number of right shift for reduction by power 2 	: 0
3600.08/3563.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3563.53	c number of ending skipping 	: 0
3600.08/3563.53	c number of internal skipping 	: 0
3600.08/3563.53	c number of derivation steps 	: 0
3600.08/3563.53	c number of skipped derivation steps 	: 0
3600.08/3563.53	c number of remaining unassigned 	: 0
3600.08/3563.53	c number of remaining assigned 	: 0
3600.08/3563.53	c number of falsified literals weakened from reason	: 0
3600.08/3563.53	c number of falsified literals weakened from conflict	: 0
3600.08/3563.53	c time for arithmetic operations	: 0
3600.08/3563.54	c minimum degree of deleted constraints	: null
3600.08/3563.54	c maximum degree of deleted constraints	: null
3600.08/3563.54	c number of deleted constraints	: 0
3600.08/3563.54	c speed (assignments/second)	: 261373.21728158492
3600.08/3563.54	c non guided choices	: 367555
3600.29/3563.61	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 480022
3600.29/3563.61	s SATISFIABLE
3600.29/3563.61	c Found 5 solution(s)
3600.29/3563.63	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.29/3563.64	c objective function=16
3600.29/3563.64	c Total wall clock time (in seconds): 3563.491

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=72984, runsolver pid=72972

[startup+0.100058 s]*
/proc/loadavg: 2.83 3.80 3.99 9/333 73058
/proc/meminfo: memFree=113204128/131249996 swapFree=33010160/33010684
[pid=72984] ppid=72972 vsize=18930384 memory=53164 CPUtime=0.11 cores=1,3
/proc/72984/stat : 72984 (java) S 72972 72984 72920 0 -1 4194304 6455 0 0 0 9 2 0 0 20 0 18 0 67792749 19384713216 13291 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
/proc/72984/statm: 4732596 13291 5334 1 0 547534 0
[pid=72984/tid=72998] ppid=72972 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=1,3
/proc/72984/task/72998/stat : 72998 (java) R 72972 72984 72920 0 -1 4194368 4983 0 0 0 5 1 0 0 20 0 18 0 67792751 19384713216 13291 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73040] ppid=72972 vsize=18930384 memory=13937 CPUtime=0 cores=1,3
/proc/72984/task/73040/stat : 73040 (Finalizer) S 72972 72984 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67792753 19384713216 13291 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73049] ppid=72972 vsize=18930384 memory=60684515935208 CPUtime=0 cores=1,3
/proc/72984/task/73049/stat : 73049 (Common-Cleaner) S 72972 72984 72920 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 67792754 19384713216 13291 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53164 KiB

[startup+0.205855 s]*
/proc/loadavg: 2.83 3.80 3.99 12/333 73058
/proc/meminfo: memFree=113168160/131249996 swapFree=33010160/33010684
[pid=72984] ppid=72972 vsize=18930384 memory=65800 CPUtime=0.29 cores=1,3
/proc/72984/stat : 72984 (java) S 72972 72984 72920 0 -1 4194304 6970 0 0 0 27 2 0 0 20 0 18 0 67792749 19384713216 16450 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
/proc/72984/statm: 4732596 16450 5430 1 0 547887 0
[pid=72984/tid=72998] ppid=72972 vsize=18930384 memory=4026728732 CPUtime=0.15 cores=1,3
/proc/72984/task/72998/stat : 72998 (java) R 72972 72984 72920 0 -1 4194368 5252 0 0 0 14 1 0 0 20 0 18 0 67792751 19384713216 16450 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73040] ppid=72972 vsize=18930384 memory=13937 CPUtime=0 cores=1,3
/proc/72984/task/73040/stat : 73040 (Finalizer) S 72972 72984 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67792753 19384713216 16450 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73049] ppid=72972 vsize=18930384 memory=60684515935208 CPUtime=0 cores=1,3
/proc/72984/task/73049/stat : 73049 (Common-Cleaner) S 72972 72984 72920 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 67792754 19384713216 16450 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65800 KiB

[startup+0.30585 s]*
/proc/loadavg: 2.83 3.80 3.99 13/334 73059
/proc/meminfo: memFree=113030980/131249996 swapFree=33010160/33010684
[pid=72984] ppid=72972 vsize=18996948 memory=89604 CPUtime=0.48 cores=1,3
/proc/72984/stat : 72984 (java) S 72972 72984 72920 0 -1 4194304 8895 0 0 0 45 3 0 0 20 0 19 0 67792749 19452874752 22401 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
/proc/72984/statm: 4749237 22401 5462 1 0 549453 0
[pid=72984/tid=72998] ppid=72972 vsize=18996948 memory=-6000919494147533416 CPUtime=0.22 cores=1,3
/proc/72984/task/72998/stat : 72998 (java) R 72972 72984 72920 0 -1 4194368 5374 0 0 0 20 2 0 0 20 0 19 0 67792751 19452874752 22401 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73040] ppid=72972 vsize=18996948 memory=7152406248990280302 CPUtime=0 cores=1,3
/proc/72984/task/73040/stat : 73040 (Finalizer) S 72972 72984 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67792753 19452874752 22401 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73049] ppid=72972 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/72984/task/73049/stat : 73049 (Common-Cleaner) S 72972 72984 72920 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 67792754 19452874752 22401 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73060] ppid=72972 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/72984/task/73060/stat : 73060 (java) R 72972 72984 72920 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 19 0 67792780 19452874752 22401 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 89604 KiB

[startup+0.700239 s]
/proc/loadavg: 2.83 3.80 3.99 10/337 73062
/proc/meminfo: memFree=112981280/131249996 swapFree=33010160/33010684
[pid=72984] ppid=72972 vsize=18996948 memory=105376 CPUtime=1.25 cores=1,3
/proc/72984/stat : 72984 (java) S 72972 72984 72920 0 -1 4194304 12882 0 0 0 120 5 0 0 20 0 19 0 67792749 19452874752 26344 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
/proc/72984/statm: 4749237 26344 5462 1 0 551609 0
[pid=72984/tid=72998] ppid=72972 vsize=18996948 memory=18432 CPUtime=0.56 cores=1,3
/proc/72984/task/72998/stat : 72998 (java) R 72972 72984 72920 0 -1 4194368 5404 0 0 0 54 2 0 0 20 0 19 0 67792751 19452874752 26344 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73040] ppid=72972 vsize=18996948 memory=11136 CPUtime=0 cores=1,3
/proc/72984/task/73040/stat : 73040 (Finalizer) S 72972 72984 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67792753 19452874752 26344 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73049] ppid=72972 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/72984/task/73049/stat : 73049 (Common-Cleaner) S 72972 72984 72920 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 67792754 19452874752 26344 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73060] ppid=72972 vsize=18996948 memory=4496 CPUtime=0 cores=1,3
/proc/72984/task/73060/stat : 73060 (Timer-0) S 72972 72984 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 67792780 19452874752 26344 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 105376 KiB

[startup+1.50022 s]
/proc/loadavg: 2.83 3.80 3.99 9/337 73062
/proc/meminfo: memFree=112910768/131249996 swapFree=33010160/33010684
[pid=72984] ppid=72972 vsize=18996948 memory=143812 CPUtime=2.59 cores=1,3
/proc/72984/stat : 72984 (java) S 72972 72984 72920 0 -1 4194304 16680 0 0 0 253 6 0 0 20 0 19 0 67792749 19452874752 35953 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
/proc/72984/statm: 4749237 35953 5462 1 0 551861 0
[pid=72984/tid=72998] ppid=72972 vsize=18996948 memory=11136 CPUtime=1.34 cores=1,3
/proc/72984/task/72998/stat : 72998 (java) R 72972 72984 72920 0 -1 4194368 5811 0 0 0 131 3 0 0 20 0 19 0 67792751 19452874752 35953 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73040] ppid=72972 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/72984/task/73040/stat : 73040 (Finalizer) S 72972 72984 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67792753 19452874752 35953 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73049] ppid=72972 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/72984/task/73049/stat : 73049 (Common-Cleaner) S 72972 72984 72920 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 67792754 19452874752 35953 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73060] ppid=72972 vsize=18996948 memory=4496 CPUtime=0 cores=1,3
/proc/72984/task/73060/stat : 73060 (Timer-0) S 72972 72984 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 67792780 19452874752 35953 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
Current children cumulated CPU time: 2.59 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 143812 KiB

[startup+3.10575 s]
/proc/loadavg: 2.83 3.80 3.99 8/341 73066
/proc/meminfo: memFree=112576144/131249996 swapFree=33010160/33010684
[pid=72984] ppid=72972 vsize=19063512 memory=203976 CPUtime=4.2 cores=1,3
/proc/72984/stat : 72984 (java) S 72972 72984 72920 0 -1 4194304 17879 0 0 0 413 7 0 0 20 0 20 0 67792749 19521036288 50994 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
/proc/72984/statm: 4765878 50994 5526 1 0 552153 0
[pid=72984/tid=72998] ppid=72972 vsize=19063512 memory=11136 CPUtime=2.89 cores=1,3
/proc/72984/task/72998/stat : 72998 (java) R 72972 72984 72920 0 -1 4194368 6134 0 0 0 286 3 0 0 20 0 20 0 67792751 19521036288 50994 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73040] ppid=72972 vsize=19063512 memory=-6000919498442500712 CPUtime=0 cores=1,3
/proc/72984/task/73040/stat : 73040 (Finalizer) S 72972 72984 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 50994 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73049] ppid=72972 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/72984/task/73049/stat : 73049 (Common-Cleaner) S 72972 72984 72920 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 50994 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73060] ppid=72972 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/72984/task/73060/stat : 73060 (Timer-0) S 72972 72984 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792780 19521036288 50994 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
Current children cumulated CPU time: 4.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 203976 KiB

[startup+6.30021 s]
/proc/loadavg: 3.00 3.82 4.00 6/341 73066
/proc/meminfo: memFree=112404344/131249996 swapFree=33010160/33010684
[pid=72984] ppid=72972 vsize=19063512 memory=261856 CPUtime=7.56 cores=1,3
/proc/72984/stat : 72984 (java) S 72972 72984 72920 0 -1 4194304 19183 0 0 0 747 9 0 0 20 0 20 0 67792749 19521036288 65464 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
/proc/72984/statm: 4765878 65464 5558 1 0 552153 0
[pid=72984/tid=72998] ppid=72972 vsize=19063512 memory=0 CPUtime=6.02 cores=1,3
/proc/72984/task/72998/stat : 72998 (java) R 72972 72984 72920 0 -1 4194368 6157 0 0 0 599 3 0 0 20 0 20 0 67792751 19521036288 65464 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73040] ppid=72972 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/72984/task/73040/stat : 73040 (Finalizer) S 72972 72984 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 65464 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73049] ppid=72972 vsize=19063512 memory=11136 CPUtime=0 cores=1,3
/proc/72984/task/73049/stat : 73049 (Common-Cleaner) S 72972 72984 72920 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 65464 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73060] ppid=72972 vsize=19063512 memory=16580 CPUtime=0 cores=1,3
/proc/72984/task/73060/stat : 73060 (Timer-0) S 72972 72984 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792780 19521036288 65464 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
Current children cumulated CPU time: 7.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 261856 KiB

[startup+12.7002 s]
/proc/loadavg: 3.16 3.84 4.00 7/341 73066
/proc/meminfo: memFree=112002456/131249996 swapFree=33010160/33010684
[pid=72984] ppid=72972 vsize=19063512 memory=434352 CPUtime=14.1 cores=1,3
/proc/72984/stat : 72984 (java) S 72972 72984 72920 0 -1 4194304 21493 0 0 0 1398 12 0 0 20 0 20 0 67792749 19521036288 108588 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
/proc/72984/statm: 4765878 108588 5558 1 0 552153 0
[pid=72984/tid=72998] ppid=72972 vsize=19063512 memory=11136 CPUtime=12.25 cores=1,3
/proc/72984/task/72998/stat : 72998 (java) R 72972 72984 72920 0 -1 4194368 6960 0 0 0 1222 3 0 0 20 0 20 0 67792751 19521036288 108588 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73040] ppid=72972 vsize=19063512 memory=372700 CPUtime=0 cores=1,3
/proc/72984/task/73040/stat : 73040 (Finalizer) S 72972 72984 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 108588 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73049] ppid=72972 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/72984/task/73049/stat : 73049 (Common-Cleaner) S 72972 72984 72920 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 108588 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73060] ppid=72972 vsize=19063512 memory=-6000919498442500712 CPUtime=0 cores=1,3
/proc/72984/task/73060/stat : 73060 (Timer-0) S 72972 72984 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792780 19521036288 108588 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
Current children cumulated CPU time: 14.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 434352 KiB

[startup+25.5002 s]
/proc/loadavg: 3.35 3.85 4.00 6/340 73066
/proc/meminfo: memFree=110953824/131249996 swapFree=33010160/33010684
[pid=72984] ppid=72972 vsize=19063512 memory=744976 CPUtime=27.06 cores=1,3
/proc/72984/stat : 72984 (java) S 72972 72984 72920 0 -1 4194304 25295 0 0 0 2686 20 0 0 20 0 20 0 67792749 19521036288 186244 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
/proc/72984/statm: 4765878 186244 5558 1 0 658672 0
[pid=72984/tid=72998] ppid=72972 vsize=19063512 memory=372700 CPUtime=24.85 cores=1,3
/proc/72984/task/72998/stat : 72998 (java) R 72972 72984 72920 0 -1 4194368 7749 0 0 0 2479 6 0 0 20 0 20 0 67792751 19521036288 186244 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73040] ppid=72972 vsize=19063512 memory=16580 CPUtime=0 cores=1,3
/proc/72984/task/73040/stat : 73040 (Finalizer) S 72972 72984 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 186244 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73049] ppid=72972 vsize=19063512 memory=-6000919498442500712 CPUtime=0 cores=1,3
/proc/72984/task/73049/stat : 73049 (Common-Cleaner) S 72972 72984 72920 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 186244 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73060] ppid=72972 vsize=19063512 memory=261856 CPUtime=0 cores=1,3
/proc/72984/task/73060/stat : 73060 (Timer-0) S 72972 72984 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792780 19521036288 186244 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
Current children cumulated CPU time: 27.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 744976 KiB

[startup+51.1057 s]
/proc/loadavg: 3.65 3.88 4.01 6/340 73134
/proc/meminfo: memFree=109463356/131249996 swapFree=33010160/33010684
[pid=72984] ppid=72972 vsize=19063512 memory=1262108 CPUtime=53.02 cores=1,3
/proc/72984/stat : 72984 (java) S 72972 72984 72920 0 -1 4194304 26977 0 0 0 5271 31 0 0 20 0 20 0 67792749 19521036288 315527 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
/proc/72984/statm: 4765878 315527 5558 1 0 658672 0
[pid=72984/tid=72998] ppid=72972 vsize=19063512 memory=1091868 CPUtime=49.94 cores=1,3
/proc/72984/task/72998/stat : 72998 (java) R 72972 72984 72920 0 -1 4194368 8148 0 0 0 4988 6 0 0 20 0 20 0 67792751 19521036288 315527 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73040] ppid=72972 vsize=19063512 memory=16580 CPUtime=0 cores=1,3

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

[startup+3222.3 s]
/proc/loadavg: 4.79 4.49 4.46 6/341 73504
/proc/meminfo: memFree=67762616/131249996 swapFree=33010160/33010684
[pid=72984] ppid=72972 vsize=19063512 memory=8999856 CPUtime=3255.06 cores=1,3
/proc/72984/stat : 72984 (java) S 72972 72984 72920 0 -1 4194304 179354 0 0 0 325239 267 0 0 20 0 20 0 67792749 19521036288 2249964 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
/proc/72984/statm: 4765878 2249964 5558 1 0 2513727 0
[pid=72984/tid=72998] ppid=72972 vsize=19063512 memory=46464 CPUtime=3183.27 cores=1,3
/proc/72984/task/72998/stat : 72998 (java) R 72972 72984 72920 0 -1 4194368 71156 0 0 0 318244 83 0 0 20 0 20 0 67792751 19521036288 2249964 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73040] ppid=72972 vsize=19063512 memory=18432 CPUtime=0 cores=1,3
/proc/72984/task/73040/stat : 73040 (Finalizer) S 72972 72984 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 2249964 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73049] ppid=72972 vsize=19063512 memory=7936632 CPUtime=0 cores=1,3
/proc/72984/task/73049/stat : 73049 (Common-Cleaner) S 72972 72984 72920 0 -1 4194368 1165 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 2249964 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73060] ppid=72972 vsize=19063512 memory=8999856 CPUtime=0 cores=1,3
/proc/72984/task/73060/stat : 73060 (Timer-0) S 72972 72984 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792780 19521036288 2249964 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
Current children cumulated CPU time: 3255.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 8999856 KiB

[startup+3282.3 s]
/proc/loadavg: 4.92 4.57 4.49 6/341 73507
/proc/meminfo: memFree=66646352/131249996 swapFree=33010160/33010684
[pid=72984] ppid=72972 vsize=19063512 memory=10056688 CPUtime=3316.73 cores=1,3
/proc/72984/stat : 72984 (java) S 72972 72984 72920 0 -1 4194304 187494 0 0 0 331383 290 0 0 20 0 20 0 67792749 19521036288 2514172 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
/proc/72984/statm: 4765878 2514172 5558 1 0 2710210 0
[pid=72984/tid=72998] ppid=72972 vsize=19063512 memory=18432 CPUtime=3242.47 cores=1,3
/proc/72984/task/72998/stat : 72998 (java) R 72972 72984 72920 0 -1 4194368 74384 0 0 0 324156 91 0 0 20 0 20 0 67792751 19521036288 2514172 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73040] ppid=72972 vsize=19063512 memory=23156 CPUtime=0 cores=1,3
/proc/72984/task/73040/stat : 73040 (Finalizer) S 72972 72984 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 2514172 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73049] ppid=72972 vsize=19063512 memory=16580 CPUtime=0 cores=1,3
/proc/72984/task/73049/stat : 73049 (Common-Cleaner) S 72972 72984 72920 0 -1 4194368 1269 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 2514172 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73060] ppid=72972 vsize=19063512 memory=18432 CPUtime=0 cores=1,3
/proc/72984/task/73060/stat : 73060 (Timer-0) S 72972 72984 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792780 19521036288 2514172 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
Current children cumulated CPU time: 3316.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10056688 KiB

[startup+3342.3 s]
/proc/loadavg: 4.78 4.60 4.50 6/341 73510
/proc/meminfo: memFree=66281692/131249996 swapFree=33010160/33010684
[pid=72984] ppid=72972 vsize=19063512 memory=10146800 CPUtime=3377.12 cores=1,3
/proc/72984/stat : 72984 (java) S 72972 72984 72920 0 -1 4194304 191812 0 0 0 337418 294 0 0 20 0 20 0 67792749 19521036288 2536700 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
/proc/72984/statm: 4765878 2536700 5558 1 0 2710210 0
[pid=72984/tid=72998] ppid=72972 vsize=19063512 memory=10146800 CPUtime=3301.8 cores=1,3
/proc/72984/task/72998/stat : 72998 (java) R 72972 72984 72920 0 -1 4194368 76374 0 0 0 330088 92 0 0 20 0 20 0 67792751 19521036288 2536700 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73040] ppid=72972 vsize=19063512 memory=10056688 CPUtime=0 cores=1,3
/proc/72984/task/73040/stat : 73040 (Finalizer) S 72972 72984 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 2536700 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73049] ppid=72972 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/72984/task/73049/stat : 73049 (Common-Cleaner) S 72972 72984 72920 0 -1 4194368 1270 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 2536700 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73060] ppid=72972 vsize=19063512 memory=10146800 CPUtime=0 cores=1,3
/proc/72984/task/73060/stat : 73060 (Timer-0) S 72972 72984 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792780 19521036288 2536700 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
Current children cumulated CPU time: 3377.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10146800 KiB

[startup+3402.3 s]
/proc/loadavg: 4.64 4.60 4.51 6/341 73512
/proc/meminfo: memFree=66133964/131249996 swapFree=33010160/33010684
[pid=72984] ppid=72972 vsize=19063512 memory=10146800 CPUtime=3437.45 cores=1,3
/proc/72984/stat : 72984 (java) S 72972 72984 72920 0 -1 4194304 194163 0 0 0 343449 296 0 0 20 0 20 0 67792749 19521036288 2536700 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
/proc/72984/statm: 4765878 2536700 5558 1 0 2710210 0
[pid=72984/tid=72998] ppid=72972 vsize=19063512 memory=18432 CPUtime=3361.2 cores=1,3
/proc/72984/task/72998/stat : 72998 (java) R 72972 72984 72920 0 -1 4194368 77640 0 0 0 336028 92 0 0 20 0 20 0 67792751 19521036288 2536700 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73040] ppid=72972 vsize=19063512 memory=10146800 CPUtime=0 cores=1,3
/proc/72984/task/73040/stat : 73040 (Finalizer) S 72972 72984 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 2536700 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73049] ppid=72972 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/72984/task/73049/stat : 73049 (Common-Cleaner) S 72972 72984 72920 0 -1 4194368 1307 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 2536700 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73060] ppid=72972 vsize=19063512 memory=16580 CPUtime=0 cores=1,3
/proc/72984/task/73060/stat : 73060 (Timer-0) S 72972 72984 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792780 19521036288 2536700 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
Current children cumulated CPU time: 3437.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10146800 KiB

[startup+3462.3 s]
/proc/loadavg: 4.58 4.58 4.51 6/340 73514
/proc/meminfo: memFree=66129708/131249996 swapFree=33010160/33010684
[pid=72984] ppid=72972 vsize=19063512 memory=10146800 CPUtime=3498.28 cores=1,3
/proc/72984/stat : 72984 (java) S 72972 72984 72920 0 -1 4194304 199141 0 0 0 349530 298 0 0 20 0 20 0 67792749 19521036288 2536700 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
/proc/72984/statm: 4765878 2536700 5558 1 0 2710213 0
[pid=72984/tid=72998] ppid=72972 vsize=19063512 memory=18432 CPUtime=3420.09 cores=1,3
/proc/72984/task/72998/stat : 72998 (java) R 72972 72984 72920 0 -1 4194368 79835 0 0 0 341917 92 0 0 20 0 20 0 67792751 19521036288 2536700 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73040] ppid=72972 vsize=19063512 memory=16580 CPUtime=0 cores=1,3
/proc/72984/task/73040/stat : 73040 (Finalizer) S 72972 72984 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 2536700 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73049] ppid=72972 vsize=19063512 memory=10146800 CPUtime=0 cores=1,3
/proc/72984/task/73049/stat : 73049 (Common-Cleaner) S 72972 72984 72920 0 -1 4194368 1349 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 2536700 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73060] ppid=72972 vsize=19063512 memory=10146800 CPUtime=0 cores=1,3
/proc/72984/task/73060/stat : 73060 (Timer-0) S 72972 72984 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792780 19521036288 2536700 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
Current children cumulated CPU time: 3498.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10146800 KiB

[startup+3522.3 s]
/proc/loadavg: 4.56 4.58 4.51 6/339 73516
/proc/meminfo: memFree=66129496/131249996 swapFree=33010160/33010684
[pid=72984] ppid=72972 vsize=19063512 memory=10146800 CPUtime=3558.7 cores=1,3
/proc/72984/stat : 72984 (java) S 72972 72984 72920 0 -1 4194304 201927 0 0 0 355571 299 0 0 20 0 20 0 67792749 19521036288 2536700 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
/proc/72984/statm: 4765878 2536700 5558 1 0 2710213 0
[pid=72984/tid=72998] ppid=72972 vsize=19063512 memory=18432 CPUtime=3479.39 cores=1,3
/proc/72984/task/72998/stat : 72998 (java) R 72972 72984 72920 0 -1 4194368 81523 0 0 0 347847 92 0 0 20 0 20 0 67792751 19521036288 2536700 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73040] ppid=72972 vsize=19063512 memory=16580 CPUtime=0 cores=1,3
/proc/72984/task/73040/stat : 73040 (Finalizer) S 72972 72984 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 2536700 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73049] ppid=72972 vsize=19063512 memory=10146800 CPUtime=0 cores=1,3
/proc/72984/task/73049/stat : 73049 (Common-Cleaner) S 72972 72984 72920 0 -1 4194368 1431 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 2536700 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73060] ppid=72972 vsize=19063512 memory=5987132 CPUtime=0 cores=1,3
/proc/72984/task/73060/stat : 73060 (Timer-0) S 72972 72984 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792780 19521036288 2536700 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
Current children cumulated CPU time: 3558.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10146800 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3563.5 s]
/proc/loadavg: 5.02 4.71 4.56 6/339 73517
/proc/meminfo: memFree=66129624/131249996 swapFree=33010160/33010684
[pid=72984] ppid=72972 vsize=19063512 memory=10146800 CPUtime=3600.08 cores=1,3
/proc/72984/stat : 72984 (java) S 72972 72984 72920 0 -1 4194304 203612 0 0 0 359708 300 0 0 20 0 20 0 67792749 19521036288 2536700 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
/proc/72984/statm: 4765878 2536700 5558 1 0 2710213 0
[pid=72984/tid=72998] ppid=72972 vsize=19063512 memory=10146800 CPUtime=3520.22 cores=1,3
/proc/72984/task/72998/stat : 72998 (java) R 72972 72984 72920 0 -1 4194368 82934 0 0 0 351930 92 0 0 20 0 20 0 67792751 19521036288 2536700 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73040] ppid=72972 vsize=19063512 memory=10146800 CPUtime=0 cores=1,3
/proc/72984/task/73040/stat : 73040 (Finalizer) S 72972 72984 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67792753 19521036288 2536700 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73049] ppid=72972 vsize=19063512 memory=10146800 CPUtime=0 cores=1,3
/proc/72984/task/73049/stat : 73049 (Common-Cleaner) S 72972 72984 72920 0 -1 4194368 1431 0 0 0 0 0 0 0 20 0 20 0 67792754 19521036288 2536700 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73060] ppid=72972 vsize=19063512 memory=16580 CPUtime=0 cores=1,3
/proc/72984/task/73060/stat : 73060 (Timer-0) S 72972 72984 72920 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67792780 19521036288 2536700 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 10146800 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.36 s, system=3.04038 s

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

[startup+3563.61 s]
/proc/loadavg: 5.02 4.71 4.56 6/339 73517
/proc/meminfo: memFree=66129624/131249996 swapFree=33010160/33010684
[pid=72984] ppid=72972 vsize=19263204 memory=10147440 CPUtime=3600.29 cores=1,3
/proc/72984/stat : 72984 (java) S 72972 72984 72920 0 -1 4194304 205991 0 0 0 359728 301 0 0 20 0 21 0 67792749 19725520896 2536860 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
/proc/72984/statm: 4815801 2536860 5558 1 0 2711132 0
[pid=72984/tid=72998] ppid=72972 vsize=19263204 memory=4496 CPUtime=3520.32 cores=1,3
/proc/72984/task/72998/stat : 72998 (java) R 72972 72984 72920 0 -1 4194368 82934 0 0 0 351940 92 0 0 20 0 21 0 67792751 19725520896 2536860 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73040] ppid=72972 vsize=19263204 memory=-6000919498442500712 CPUtime=0 cores=1,3
/proc/72984/task/73040/stat : 73040 (Finalizer) S 72972 72984 72920 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67792753 19725520896 2536860 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
[pid=72984/tid=73049] ppid=72972 vsize=19263204 memory=21692 CPUtime=0 cores=1,3
/proc/72984/task/73049/stat : 73049 (Common-Cleaner) S 72972 72984 72920 0 -1 4194368 1431 0 0 0 0 0 0 0 20 0 21 0 67792754 19725520896 2536860 18446744073709551615 94222067023872 94222067027568 140726667374496 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94222067035384 94222067036176 94222067953664 140726667377025 140726667377126 140726667377126 140726667382728 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 10147440 KiB

Child status: 143

Real time (s): 3563.69
CPU time (s): 3600.4
CPU user time (s): 3597.36
CPU system time (s): 3.04038
CPU usage (%): 101.03
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 10147440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.36
system time used= 3.04038
maximum resident set size= 10147696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206389
page faults= 0
swaps= 0
block input operations= 0
block output operations= 19272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117752
involuntary context switches= 6947


# summary of solver processes directly reported to runsolver:
#   pid: 72984
#   total CPU time (s): 3600.4
#   total CPU user time (s): 3597.36
#   total CPU system time (s): 3.04038

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.44877 second user time and 17.1556 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-07-03 07:39:01
IDJOB=4509524
IDBENCH=158621
IDSOLVER=3363
FILE ID=nodeC032/4509524-1751521141
RUNJOBID= nodeC032-1751521141-72932
SLURM_JOB_ID= 9598644
Free space on /tmp= 430568 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509524-1751521141/watcher-4509524-1751521141 -o /tmp/evaluation-result-4509524-1751521141/solver-4509524-1751521141 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751521141-72932 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4509524-1751521141.opb

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

MD5SUM BENCH= a64beba99ddb27280a5fb75072b9e119
RANDOM SEED=1690052100

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        113280924 kB
MemAvailable:   129616564 kB
Buffers:            2728 kB
Cached:         17014944 kB
SwapCached:           20 kB
Active:           437740 kB
Inactive:       16645484 kB
Active(anon):      80476 kB
Inactive(anon):     3124 kB
Active(file):     357264 kB
Inactive(file): 16642360 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2592 kB
Writeback:             0 kB
AnonPages:         68572 kB
Mapped:           103760 kB
Shmem:             18048 kB
KReclaimable:     350508 kB
Slab:             444060 kB
SReclaimable:     350508 kB
SUnreclaim:        93552 kB
KernelStack:        4072 kB
PageTables:         2764 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     338908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430564 MiB
End job on nodeC032 at 2025-07-03 08:38:25