Trace number 4509525

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06SAT (TO)16 3600.61 3566.8

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.11/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.13	c See www.sat4j.org for details.
0.11/0.15	c version PB25.v20250606
0.11/0.17	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.17	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.17	c java.vm.version	22.0.1+8-16
0.11/0.17	c java.vm.vendor	Oracle Corporation
0.11/0.17	c sun.arch.data.model	64
0.11/0.17	c java.version		22.0.1
0.11/0.17	c os.name		Linux
0.11/0.17	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.17	c os.arch		amd64
0.11/0.18	c Free memory 		2104792832
0.11/0.18	c Max memory 		16282288128
0.11/0.18	c Total memory 		2113929216
0.11/0.19	c Number of processors 	2
0.24/0.30	c Pseudo Boolean Optimization by upper bound
0.24/0.30	c --- Begin Solver configuration ---
0.24/0.30	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.24/0.30	c Learn all clauses as in MiniSAT
0.24/0.30	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.24/0.30	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.24/0.30	c Expensive reason simplification
0.24/0.30	c Glucose 2.1 dynamic restart strategy
0.24/0.30	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.24/0.30	c timeout=2147483s
0.24/0.30	c DB Simplification allowed=false
0.24/0.30	c Listener: none
0.24/0.30	c --- End Solver configuration ---
0.24/0.30	c solving HOME/instance-4509525-1751521834.opb
0.24/0.30	c reading problem ... 
0.24/0.32	c using VERIPB proof format
0.24/0.33	c  objective function found
0.55/0.48	c ... done. Wall clock time 0.18s.
0.55/0.48	c declared #vars     5568
0.55/0.48	c #constraints  412
0.55/0.48	c constraints type 
0.55/0.48	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 173
0.55/0.48	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 66
0.55/0.48	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 173
0.55/0.48	c 412 constraints processed.
0.73/0.53	c objective function length is 32 literals
1.27/0.89	c SATISFIABLE
1.27/0.89	c OPTIMIZING...
1.27/0.89	c Got one! Elapsed wall clock time (in seconds):0.595
1.27/0.89	o 20
2.25/1.31	c Got one! Elapsed wall clock time (in seconds):1.011
2.25/1.31	o 19
2.44/1.40	c Got one! Elapsed wall clock time (in seconds):1.105
2.44/1.40	o 18
3.44/1.90	c Got one! Elapsed wall clock time (in seconds):1.609
3.44/1.90	o 17
3.64/2.08	c cleaning 3855 clauses out of 7716 with flag 3295/7716
4.86/2.78	c cleaning 4928 clauses out of 9864 with flag 25807/13719
6.50/4.21	c cleaning 5955 clauses out of 11932 with flag 52841/20715
9.22/6.73	c cleaning 6977 clauses out of 13977 with flag 90446/28715
12.15/9.11	c cleaning 7987 clauses out of 16001 with flag 130565/37716
14.79/11.72	c cleaning 8993 clauses out of 18013 with flag 177270/47715
17.83/14.76	c cleaning 9998 clauses out of 20020 with flag 237327/58715
21.35/18.17	c cleaning 10999 clauses out of 22022 with flag 303656/70715
25.00/21.77	c cleaning 11992 clauses out of 24023 with flag 380857/83715
29.05/25.79	c cleaning 13001 clauses out of 26031 with flag 467072/97715
33.73/30.28	c cleaning 13993 clauses out of 28031 with flag 553813/112716
38.59/35.10	c cleaning 15002 clauses out of 30038 with flag 657816/128716
43.67/40.03	c cleaning 15997 clauses out of 32035 with flag 766545/145715
48.85/45.13	c cleaning 16999 clauses out of 34038 with flag 884741/163715
54.18/50.71	c cleaning 17999 clauses out of 36039 with flag 1007784/182715
60.02/56.44	c cleaning 19001 clauses out of 38040 with flag 1147758/202715
66.95/63.22	c cleaning 20004 clauses out of 40042 with flag 1292570/223718
72.56/69.07	c cleaning 20991 clauses out of 42035 with flag 1436173/245715
79.74/76.12	c cleaning 22010 clauses out of 44047 with flag 1582464/268718
87.55/83.83	c cleaning 23001 clauses out of 46035 with flag 1732912/292716
94.82/90.79	c cleaning 23994 clauses out of 48036 with flag 1893993/317718
101.59/97.50	c cleaning 24996 clauses out of 50039 with flag 2064190/343715
109.83/105.88	c cleaning 25999 clauses out of 52043 with flag 2255596/370715
118.34/114.17	c cleaning 27000 clauses out of 54045 with flag 2423336/398716
125.91/121.79	c cleaning 28003 clauses out of 56045 with flag 2595011/427716
137.67/133.32	c cleaning 29000 clauses out of 58041 with flag 2775275/457715
145.33/140.92	c cleaning 29997 clauses out of 60041 with flag 2958909/488715
154.66/150.21	c cleaning 31003 clauses out of 62044 with flag 3167146/520715
164.35/159.91	c cleaning 32004 clauses out of 64043 with flag 3363550/553717
173.61/169.03	c cleaning 32999 clauses out of 66038 with flag 3587632/587716
177.06/172.41	c Got one! Elapsed wall clock time (in seconds):172.118
177.06/172.41	o 16
178.35/173.55	c cleaning 25514 clauses out of 51043 with flag 11412/605720
179.04/174.24	c cleaning 15751 clauses out of 31527 with flag 24124/611718
179.64/174.83	c cleaning 11379 clauses out of 22777 with flag 38973/618719
180.84/175.94	c cleaning 9684 clauses out of 19399 with flag 55845/626720
182.30/177.42	c cleaning 9345 clauses out of 18713 with flag 75757/635718
183.19/178.39	c cleaning 9670 clauses out of 19368 with flag 96970/645718
184.28/179.41	c cleaning 10337 clauses out of 20698 with flag 120247/656718
185.86/181.07	c cleaning 11163 clauses out of 22362 with flag 145459/668719
187.72/182.80	c cleaning 12088 clauses out of 24198 with flag 173152/681718
190.38/185.42	c cleaning 13039 clauses out of 26110 with flag 202553/695718
192.09/187.15	c cleaning 14022 clauses out of 28072 with flag 234576/710719
193.58/188.64	c cleaning 15018 clauses out of 30049 with flag 275458/726718
195.65/190.65	c cleaning 16007 clauses out of 32031 with flag 322440/743718
197.95/193.01	c cleaning 17004 clauses out of 34024 with flag 381727/761718
201.90/196.86	c cleaning 17993 clauses out of 36021 with flag 440002/780719
204.88/199.88	c cleaning 19006 clauses out of 38027 with flag 498788/800718
207.68/202.64	c cleaning 20004 clauses out of 40021 with flag 561723/821718
211.33/206.23	c cleaning 21000 clauses out of 42019 with flag 609832/843720
214.29/209.28	c cleaning 21994 clauses out of 44017 with flag 679672/866718
217.69/212.66	c cleaning 23002 clauses out of 46023 with flag 755472/890718
221.81/216.61	c cleaning 24000 clauses out of 48023 with flag 834444/915720
226.59/221.33	c cleaning 24997 clauses out of 50023 with flag 931164/941720
230.29/225.04	c cleaning 25997 clauses out of 52024 with flag 1020422/968718
233.97/228.71	c cleaning 26991 clauses out of 54028 with flag 1109288/996719
238.13/232.83	c cleaning 28009 clauses out of 56037 with flag 1201310/1025719
242.21/236.90	c cleaning 29003 clauses out of 58030 with flag 1302129/1055721
246.51/241.24	c cleaning 29997 clauses out of 60025 with flag 1396217/1086719
252.07/246.86	c cleaning 30999 clauses out of 62027 with flag 1498134/1118718
258.25/253.01	c cleaning 32000 clauses out of 64028 with flag 1605321/1151718
264.50/259.20	c cleaning 33000 clauses out of 66029 with flag 1718335/1185719
269.79/264.52	c cleaning 33998 clauses out of 68028 with flag 1830715/1220718
276.04/270.75	c cleaning 34996 clauses out of 70030 with flag 1945652/1256718
282.17/276.91	c cleaning 36005 clauses out of 72035 with flag 2062494/1293719
289.03/283.87	c cleaning 36996 clauses out of 74029 with flag 2185289/1331718
296.81/291.64	c cleaning 38000 clauses out of 76034 with flag 2313413/1370719
303.21/298.03	c cleaning 39000 clauses out of 78033 with flag 2438919/1410718
311.81/306.48	c cleaning 40005 clauses out of 80034 with flag 2573693/1451719
320.85/315.42	c cleaning 40998 clauses out of 82028 with flag 2726739/1493718
329.48/324.01	c cleaning 42001 clauses out of 84034 with flag 2879791/1536722
337.54/332.02	c cleaning 43002 clauses out of 86029 with flag 3021571/1580718
348.23/342.31	c cleaning 43993 clauses out of 88027 with flag 3165868/1625718
357.85/352.05	c cleaning 44991 clauses out of 90034 with flag 3308548/1671718
368.00/361.97	c cleaning 46003 clauses out of 92043 with flag 3449866/1718718
376.39/370.26	c cleaning 47000 clauses out of 94041 with flag 3596510/1766719
386.64/380.46	c cleaning 48005 clauses out of 96040 with flag 3748038/1815718
398.10/391.35	c cleaning 49007 clauses out of 98035 with flag 3900707/1865718
406.89/400.12	c cleaning 50004 clauses out of 100029 with flag 4057672/1916719
417.29/410.32	c cleaning 51003 clauses out of 102027 with flag 4225000/1968721
429.66/422.61	c cleaning 51994 clauses out of 104022 with flag 4424668/2021719
441.99/434.81	c cleaning 52991 clauses out of 106028 with flag 4593185/2075719
448.96/441.60	c cleaning 54005 clauses out of 108036 with flag 4730060/2130718
455.68/448.39	c cleaning 55004 clauses out of 110032 with flag 4854126/2186719
462.63/455.25	c cleaning 56005 clauses out of 112027 with flag 4975958/2243718
469.89/462.46	c cleaning 56998 clauses out of 114022 with flag 5100912/2301718
478.68/471.05	c cleaning 58002 clauses out of 116024 with flag 5226605/2360718
487.81/480.11	c cleaning 58995 clauses out of 118022 with flag 5353522/2420718
497.90/489.95	c cleaning 60000 clauses out of 120027 with flag 5482856/2481718
507.92/499.81	c cleaning 60999 clauses out of 122028 with flag 5618046/2543719
518.28/509.84	c cleaning 62003 clauses out of 124028 with flag 5756036/2606718
526.29/517.73	c cleaning 63003 clauses out of 126026 with flag 5941246/2670719
533.60/525.09	c cleaning 64005 clauses out of 128022 with flag 6084323/2735718
543.31/534.67	c cleaning 64988 clauses out of 130018 with flag 6303758/2801719
552.77/543.97	c cleaning 65997 clauses out of 132029 with flag 6503643/2868718
565.51/556.09	c cleaning 67000 clauses out of 134034 with flag 6705803/2936720
578.02/568.49	c cleaning 67999 clauses out of 136033 with flag 6911538/3005719
591.87/582.02	c cleaning 68995 clauses out of 138034 with flag 7113808/3075719
603.47/593.44	c cleaning 70008 clauses out of 140040 with flag 7311644/3146720
620.96/610.65	c cleaning 70994 clauses out of 142031 with flag 7512411/3218719
636.70/626.27	c cleaning 72003 clauses out of 144036 with flag 7721690/3291718
653.74/642.81	c cleaning 73002 clauses out of 146034 with flag 7931959/3365719
663.62/652.64	c cleaning 74007 clauses out of 148031 with flag 8125488/3440718
672.60/661.40	c cleaning 75003 clauses out of 150025 with flag 8295122/3516719
685.23/674.03	c cleaning 75999 clauses out of 152021 with flag 8459942/3593718
698.14/686.72	c cleaning 77003 clauses out of 154024 with flag 8628516/3671720
709.91/698.54	c cleaning 77998 clauses out of 156019 with flag 8798977/3750718
721.80/710.17	c cleaning 78996 clauses out of 158021 with flag 8970575/3830718
734.79/723.09	c cleaning 80003 clauses out of 160026 with flag 9149080/3911719
746.23/734.39	c cleaning 80999 clauses out of 162022 with flag 9329492/3993718
756.95/745.05	c cleaning 81999 clauses out of 164026 with flag 9560923/4076721
770.07/757.90	c cleaning 82998 clauses out of 166025 with flag 9744441/4160719
783.97/771.75	c cleaning 83996 clauses out of 168027 with flag 9925843/4245719
800.86/788.40	c cleaning 85002 clauses out of 170030 with flag 10111627/4331718
814.54/801.95	c cleaning 86000 clauses out of 172028 with flag 10344592/4418718
831.23/818.04	c cleaning 87002 clauses out of 174029 with flag 10661453/4506719
841.77/828.49	c cleaning 88004 clauses out of 176026 with flag 10851421/4595718
855.83/842.28	c cleaning 89002 clauses out of 178022 with flag 11044591/4685718
871.61/857.96	c cleaning 89997 clauses out of 180020 with flag 11239305/4776718
887.25/873.34	c cleaning 90997 clauses out of 182023 with flag 11439664/4868718
902.10/887.35	c cleaning 92000 clauses out of 184026 with flag 11639995/4961718
916.08/901.35	c cleaning 92996 clauses out of 186028 with flag 11842072/5055720
935.34/920.01	c cleaning 94004 clauses out of 188030 with flag 12054286/5150718
953.14/937.55	c cleaning 94995 clauses out of 190026 with flag 12273658/5246718
965.94/950.07	c cleaning 96005 clauses out of 192031 with flag 12484473/5343718
981.63/965.53	c cleaning 97003 clauses out of 194026 with flag 12694012/5441718
994.86/978.53	c cleaning 98001 clauses out of 196023 with flag 12913077/5540718
1012.68/996.09	c cleaning 98998 clauses out of 198023 with flag 13128290/5640719
1028.49/1011.90	c cleaning 99995 clauses out of 200024 with flag 13343253/5741718
1046.62/1031.69	c cleaning 101000 clauses out of 202029 with flag 13559745/5843718
1065.22/1050.23	c cleaning 101998 clauses out of 204030 with flag 13779410/5946719
1083.69/1068.50	c cleaning 103007 clauses out of 206033 with flag 14001007/6050720
1098.30/1083.29	c cleaning 104005 clauses out of 208024 with flag 14230154/6155718
1115.58/1100.23	c cleaning 105001 clauses out of 210019 with flag 14473308/6261718
1133.19/1117.68	c cleaning 105992 clauses out of 212018 with flag 14831791/6368718
1149.47/1133.50	c cleaning 106997 clauses out of 214030 with flag 15048995/6476722
1167.72/1151.57	c cleaning 108000 clauses out of 216030 with flag 15266989/6585719
1184.68/1168.35	c cleaning 108998 clauses out of 218031 with flag 15486991/6695720
1202.23/1185.92	c cleaning 110005 clauses out of 220031 with flag 15708987/6806718
1220.53/1204.02	c cleaning 110995 clauses out of 222026 with flag 15932987/6918718
1240.46/1223.76	c cleaning 111996 clauses out of 224031 with flag 16158987/7031718
1255.83/1238.81	c cleaning 113011 clauses out of 226036 with flag 16402377/7145719
1273.06/1255.05	c cleaning 113993 clauses out of 228025 with flag 16662370/7260719
1291.19/1273.07	c cleaning 114993 clauses out of 230033 with flag 16909468/7376720
1312.82/1294.48	c cleaning 116001 clauses out of 232038 with flag 17160208/7493718
1329.92/1311.04	c cleaning 117006 clauses out of 234038 with flag 17420927/7611719
1346.70/1327.41	c cleaning 118007 clauses out of 236034 with flag 17684114/7730721
1360.35/1340.73	c cleaning 119001 clauses out of 238026 with flag 17946622/7850720
1382.58/1362.79	c cleaning 119997 clauses out of 240023 with flag 18211423/7971718
1405.55/1385.12	c cleaning 121007 clauses out of 242029 with flag 18476449/8093721
1427.74/1407.43	c cleaning 122000 clauses out of 244021 with flag 18743227/8216720
1453.72/1433.26	c cleaning 122996 clauses out of 246020 with flag 19011037/8340719
1477.34/1456.62	c cleaning 123991 clauses out of 248024 with flag 19283232/8465719
1500.94/1479.89	c cleaning 125000 clauses out of 250033 with flag 19554786/8591719
1521.18/1499.69	c cleaning 126010 clauses out of 252033 with flag 19854441/8718719
1541.24/1518.41	c cleaning 126999 clauses out of 254023 with flag 20131870/8846719
1563.06/1540.09	c cleaning 128001 clauses out of 256023 with flag 20415280/8975718
1584.01/1560.48	c cleaning 128996 clauses out of 258022 with flag 20694742/9105718
1609.25/1585.46	c cleaning 130002 clauses out of 260028 with flag 20976191/9236720
1633.54/1609.63	c cleaning 131002 clauses out of 262024 with flag 21258456/9368718
1658.89/1634.71	c cleaning 132000 clauses out of 264024 with flag 21543051/9501720
1683.91/1659.44	c cleaning 132995 clauses out of 266022 with flag 21830788/9635718
1711.84/1687.24	c cleaning 134004 clauses out of 268027 with flag 22121203/9770718
1744.29/1719.38	c cleaning 135002 clauses out of 270023 with flag 22412687/9906718
1773.90/1750.63	c cleaning 135994 clauses out of 272022 with flag 22704913/10043719
1800.81/1777.97	c cleaning 136998 clauses out of 274029 with flag 23000389/10181720
1832.50/1809.47	c cleaning 137996 clauses out of 276031 with flag 23297377/10320720
1857.71/1834.58	c cleaning 139002 clauses out of 278033 with flag 23597500/10460718
1883.99/1860.66	c cleaning 140007 clauses out of 280033 with flag 23898786/10601720
1912.44/1887.77	c cleaning 141002 clauses out of 282024 with flag 24202409/10743718
1944.60/1920.22	c cleaning 141996 clauses out of 284022 with flag 24508422/10886718
1970.85/1946.22	c cleaning 142997 clauses out of 286028 with flag 24816300/11030720
2000.78/1976.30	c cleaning 143997 clauses out of 288030 with flag 25126806/11175719
2031.36/2006.57	c cleaning 144997 clauses out of 290032 with flag 25438166/11321718
2060.99/2036.25	c cleaning 145998 clauses out of 292036 with flag 25752517/11468719
2093.41/2068.40	c cleaning 147002 clauses out of 294038 with flag 26071726/11616719
2121.20/2095.80	c cleaning 148008 clauses out of 296037 with flag 26389303/11765720
2148.95/2123.42	c cleaning 149001 clauses out of 298027 with flag 26708506/11915718
2179.46/2153.79	c cleaning 150001 clauses out of 300027 with flag 27031783/12066719
2212.21/2186.24	c cleaning 151000 clauses out of 302028 with flag 27356376/12218721
2241.73/2215.54	c cleaning 152002 clauses out of 304026 with flag 27682776/12371719
2276.76/2252.53	c cleaning 152993 clauses out of 306024 with flag 28011106/12525719
2306.20/2282.03	c cleaning 153999 clauses out of 308030 with flag 28342312/12680718
2336.96/2311.37	c cleaning 155001 clauses out of 310032 with flag 28676746/12836719
2366.84/2340.90	c cleaning 156001 clauses out of 312030 with flag 29013368/12993718
2397.26/2371.37	c cleaning 157008 clauses out of 314031 with flag 29362626/13151720
2419.19/2393.03	c cleaning 157998 clauses out of 316023 with flag 29727163/13310720
2441.66/2415.31	c cleaning 159001 clauses out of 318026 with flag 30049833/13470721
2470.82/2444.46	c cleaning 160004 clauses out of 320024 with flag 30379230/13631720
2491.32/2464.47	c cleaning 161001 clauses out of 322018 with flag 30770737/13793718
2517.18/2489.99	c cleaning 161991 clauses out of 324017 with flag 31144389/13956718
2538.05/2510.55	c cleaning 163002 clauses out of 326026 with flag 31507623/14120718
2575.39/2547.02	c cleaning 163993 clauses out of 328024 with flag 31872714/14285718
2618.43/2589.89	c cleaning 164996 clauses out of 330033 with flag 32253003/14451720
2660.18/2631.13	c cleaning 165996 clauses out of 332035 with flag 32646498/14618718
2702.15/2677.15	c cleaning 166998 clauses out of 334039 with flag 33015277/14786718
2735.31/2710.07	c cleaning 168002 clauses out of 336042 with flag 33395919/14955719
2769.05/2743.42	c cleaning 169005 clauses out of 338039 with flag 33764050/15125718
2804.46/2778.00	c cleaning 170004 clauses out of 340034 with flag 34131182/15296718
2841.23/2814.47	c cleaning 170996 clauses out of 342031 with flag 34495894/15468719
2873.86/2846.93	c cleaning 172003 clauses out of 344036 with flag 34861977/15641720
2901.92/2875.08	c cleaning 172999 clauses out of 346031 with flag 35232383/15815718
2933.84/2906.40	c cleaning 174008 clauses out of 348034 with flag 35670199/15990720
2959.46/2932.24	c cleaning 174998 clauses out of 350025 with flag 36022197/16166719
2990.76/2963.16	c cleaning 175999 clauses out of 352026 with flag 36376195/16343718
3014.84/2986.91	c cleaning 177004 clauses out of 354028 with flag 36734825/16521719
3035.91/3007.54	c cleaning 178005 clauses out of 356026 with flag 37136025/16700721
3065.64/3036.85	c cleaning 178992 clauses out of 358019 with flag 37592997/16880719
3100.06/3070.98	c cleaning 180006 clauses out of 360028 with flag 37963587/17061720
3125.52/3095.79	c cleaning 181004 clauses out of 362022 with flag 38331870/17243720
3153.14/3122.87	c cleaning 181997 clauses out of 364016 with flag 38721929/17426718
3186.96/3156.13	c cleaning 182997 clauses out of 366021 with flag 39117977/17610720
3224.08/3193.58	c cleaning 183990 clauses out of 368022 with flag 39515230/17795718
3263.98/3233.38	c cleaning 184998 clauses out of 370032 with flag 39912675/17981718
3304.57/3272.88	c cleaning 186000 clauses out of 372034 with flag 40315752/18168718
3343.39/3311.52	c cleaning 187009 clauses out of 374034 with flag 40721632/18356718
3387.63/3355.50	c cleaning 187996 clauses out of 376025 with flag 41124759/18545718
3413.93/3381.68	c cleaning 189006 clauses out of 378029 with flag 41533367/18735718
3451.38/3419.11	c cleaning 190002 clauses out of 380024 with flag 41941152/18926719
3487.85/3455.46	c cleaning 190996 clauses out of 382021 with flag 42356147/19118718
3519.04/3486.16	c cleaning 192004 clauses out of 384025 with flag 42866708/19311718
3556.54/3523.42	c cleaning 193007 clauses out of 386022 with flag 43295313/19505719
3589.01/3555.68	c cleaning 193994 clauses out of 388014 with flag 43716021/19700718
3600.05/3566.42	c starts		: 2436
3600.05/3566.43	c conflicts		: 19771858
3600.05/3566.43	c decisions		: 22874892
3600.05/3566.43	c propagations		: 618412874
3600.05/3566.43	c inspects		: 13005331491
3600.05/3566.43	c shortcuts		: 0
3600.05/3566.43	c learnt literals	: 0
3600.05/3566.43	c learnt binary clauses	: 0
3600.05/3566.43	c learnt ternary clauses	: 0
3600.05/3566.43	c learnt constraints	: 19771858
3600.05/3566.43	c ignored constraints	: 0
3600.05/3566.43	c root simplifications	: 0
3600.05/3566.43	c removed literals (reason simplification)	: 2064644
3600.05/3566.43	c reason swapping (by a shorter reason)	: 0
3600.05/3566.43	c Calls to reduceDB	: 221
3600.05/3566.43	c Number of update (reduction) of LBD	: 1426352
3600.05/3566.43	c Imported unit clauses	: 0
3600.05/3566.43	c No decision after first conflict	: false
3600.05/3566.43	c number of reductions to clauses (during analyze)	: 0
3600.05/3566.43	c number of learned constraints concerned by reduction	: 0
3600.05/3566.43	c number of learning phase by resolution	: 0
3600.05/3566.44	c number of learning phase by cutting planes	: 0
3600.05/3566.44	c number of rounding to 1 operations	: 0
3600.05/3566.45	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3566.45	c number of reductions of the coefficients by power 2 	: 0
3600.05/3566.45	c number of right shift for reduction by power 2 	: 0
3600.05/3566.45	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3566.45	c number of ending skipping 	: 0
3600.05/3566.45	c number of internal skipping 	: 0
3600.05/3566.45	c number of derivation steps 	: 0
3600.05/3566.45	c number of skipped derivation steps 	: 0
3600.05/3566.45	c number of remaining unassigned 	: 0
3600.05/3566.45	c number of remaining assigned 	: 0
3600.05/3566.46	c number of falsified literals weakened from reason	: 0
3600.05/3566.46	c number of falsified literals weakened from conflict	: 0
3600.05/3566.46	c time for arithmetic operations	: 0
3600.05/3566.46	c minimum degree of deleted constraints	: null
3600.05/3566.46	c maximum degree of deleted constraints	: null
3600.05/3566.46	c number of deleted constraints	: 0
3600.05/3566.46	c speed (assignments/second)	: 173423.33566560055
3600.05/3566.46	c non guided choices	: 185510
3600.43/3566.62	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 265160
3600.43/3566.62	s SATISFIABLE
3600.43/3566.62	c Found 5 solution(s)
3600.43/3566.65	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.43/3566.66	c objective function=16
3600.43/3566.66	c Total wall clock time (in seconds): 3566.362

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: 63794 MiB (503 MiB free)
  memory of node 1: 64507 MiB (48878 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=75330, runsolver pid=75327

[startup+0.100072 s]*
/proc/loadavg: 4.45 4.39 4.44 5/330 75348
/proc/meminfo: memFree=50530604/131382112 swapFree=33009904/33010684
[pid=75330] ppid=75327 vsize=18930384 memory=49180 CPUtime=0.11 cores=5,7
/proc/75330/stat : 75330 (java) S 75327 75330 73970 0 -1 4194304 5940 0 0 0 9 2 0 0 20 0 18 0 67862283 19384713216 12295 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
/proc/75330/statm: 4732596 12295 5336 1 0 547106 0
[pid=75330/tid=75332] ppid=75327 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/75330/task/75332/stat : 75332 (java) R 75327 75330 73970 0 -1 4194368 4813 0 0 0 6 1 0 0 20 0 18 0 67862285 19384713216 12295 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75341] ppid=75327 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/75330/task/75341/stat : 75341 (Finalizer) S 75327 75330 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67862288 19384713216 12295 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75348] ppid=75327 vsize=18930384 memory=61792617516369 CPUtime=0 cores=5,7
/proc/75330/task/75348/stat : 75348 (Common-Cleaner) S 75327 75330 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 67862288 19384713216 12295 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49180 KiB

[startup+0.213932 s]*
/proc/loadavg: 4.45 4.39 4.44 5/330 75348
/proc/meminfo: memFree=50512900/131382112 swapFree=33009904/33010684
[pid=75330] ppid=75327 vsize=18930384 memory=57752 CPUtime=0.24 cores=5,7
/proc/75330/stat : 75330 (java) S 75327 75330 73970 0 -1 4194304 6583 0 0 0 22 2 0 0 20 0 18 0 67862283 19384713216 14438 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
/proc/75330/statm: 4732596 14438 5336 1 0 547620 0
[pid=75330/tid=75332] ppid=75327 vsize=18930384 memory=4026728732 CPUtime=0.16 cores=5,7
/proc/75330/task/75332/stat : 75332 (java) R 75327 75330 73970 0 -1 4194368 5064 0 0 0 15 1 0 0 20 0 18 0 67862285 19384713216 14438 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75341] ppid=75327 vsize=18930384 memory=1593 CPUtime=0 cores=5,7
/proc/75330/task/75341/stat : 75341 (Finalizer) S 75327 75330 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67862288 19384713216 14438 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75348] ppid=75327 vsize=18930384 memory=60693105869820 CPUtime=0 cores=5,7
/proc/75330/task/75348/stat : 75348 (Common-Cleaner) S 75327 75330 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 67862288 19384713216 14438 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57752 KiB

[startup+0.313734 s]*
/proc/loadavg: 4.45 4.39 4.44 5/330 75348
/proc/meminfo: memFree=50502820/131382112 swapFree=33009904/33010684
[pid=75330] ppid=75327 vsize=18930384 memory=59288 CPUtime=0.37 cores=5,7
/proc/75330/stat : 75330 (java) S 75327 75330 73970 0 -1 4194304 6859 0 0 0 34 3 0 0 20 0 18 0 67862283 19384713216 14822 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
/proc/75330/statm: 4732596 14822 5432 1 0 547810 0
[pid=75330/tid=75332] ppid=75327 vsize=18930384 memory=-6000919477051942760 CPUtime=0.25 cores=5,7
/proc/75330/task/75332/stat : 75332 (java) R 75327 75330 73970 0 -1 4194368 5219 0 0 0 23 2 0 0 20 0 18 0 67862285 19384713216 14822 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75341] ppid=75327 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/75330/task/75341/stat : 75341 (Finalizer) S 75327 75330 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 67862288 19384713216 14822 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75348] ppid=75327 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/75330/task/75348/stat : 75348 (Common-Cleaner) S 75327 75330 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 67862288 19384713216 14822 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59288 KiB

[startup+0.700298 s]
/proc/loadavg: 4.45 4.39 4.44 6/330 75348
/proc/meminfo: memFree=50476484/131382112 swapFree=33009904/33010684
[pid=75330] ppid=75327 vsize=18996948 memory=103144 CPUtime=1.07 cores=5,7
/proc/75330/stat : 75330 (java) S 75327 75330 73970 0 -1 4194304 10010 0 0 0 102 5 0 0 20 0 19 0 67862283 19452874752 25786 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
/proc/75330/statm: 4749237 25786 5464 1 0 549520 0
[pid=75330/tid=75332] ppid=75327 vsize=18996948 memory=18560 CPUtime=0.58 cores=5,7
/proc/75330/task/75332/stat : 75332 (java) R 75327 75330 73970 0 -1 4194368 5416 0 0 0 55 3 0 0 20 0 19 0 67862285 19452874752 25786 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75341] ppid=75327 vsize=18996948 memory=11264 CPUtime=0 cores=5,7
/proc/75330/task/75341/stat : 75341 (Finalizer) S 75327 75330 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 67862288 19452874752 25786 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75348] ppid=75327 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/75330/task/75348/stat : 75348 (Common-Cleaner) S 75327 75330 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 67862288 19452874752 25786 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 103144 KiB

[startup+1.50026 s]
/proc/loadavg: 4.45 4.39 4.44 6/331 75349
/proc/meminfo: memFree=50399548/131382112 swapFree=33009904/33010684
[pid=75330] ppid=75327 vsize=19063512 memory=174628 CPUtime=2.64 cores=5,7
/proc/75330/stat : 75330 (java) S 75327 75330 73970 0 -1 4194304 19031 0 0 0 256 8 0 0 20 0 20 0 67862283 19521036288 43657 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
/proc/75330/statm: 4765878 43657 5496 1 0 552541 0
[pid=75330/tid=75332] ppid=75327 vsize=19063512 memory=3200 CPUtime=1.33 cores=5,7
/proc/75330/task/75332/stat : 75332 (java) R 75327 75330 73970 0 -1 4194368 5944 0 0 0 129 4 0 0 20 0 20 0 67862285 19521036288 43657 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75341] ppid=75327 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/75330/task/75341/stat : 75341 (Finalizer) S 75327 75330 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67862288 19521036288 43657 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75348] ppid=75327 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/75330/task/75348/stat : 75348 (Common-Cleaner) S 75327 75330 73970 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 67862288 19521036288 43657 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75349] ppid=75327 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/75330/task/75349/stat : 75349 (Timer-0) S 75327 75330 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67862338 19521036288 43657 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
Current children cumulated CPU time: 2.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174628 KiB

[startup+3.10575 s]
/proc/loadavg: 4.42 4.39 4.44 5/332 75350
/proc/meminfo: memFree=49826988/131382112 swapFree=33009904/33010684
[pid=75330] ppid=75327 vsize=19063512 memory=473396 CPUtime=5.38 cores=5,7
/proc/75330/stat : 75330 (java) S 75327 75330 73970 0 -1 4194304 23911 0 0 0 521 17 0 0 20 0 20 0 67862283 19521036288 118349 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
/proc/75330/statm: 4765878 118349 5496 1 0 734555 0
[pid=75330/tid=75332] ppid=75327 vsize=19063512 memory=14720 CPUtime=2.82 cores=5,7
/proc/75330/task/75332/stat : 75332 (java) R 75327 75330 73970 0 -1 4194368 7144 0 0 0 271 11 0 0 20 0 20 0 67862285 19521036288 118349 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75341] ppid=75327 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/75330/task/75341/stat : 75341 (Finalizer) S 75327 75330 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67862288 19521036288 118349 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75348] ppid=75327 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/75330/task/75348/stat : 75348 (Common-Cleaner) S 75327 75330 73970 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 67862288 19521036288 118349 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75349] ppid=75327 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/75330/task/75349/stat : 75349 (Timer-0) S 75327 75330 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67862338 19521036288 118349 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
Current children cumulated CPU time: 5.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 473396 KiB

[startup+6.30033 s]
/proc/loadavg: 4.42 4.39 4.44 5/332 75350
/proc/meminfo: memFree=49252000/131382112 swapFree=33009904/33010684
[pid=75330] ppid=75327 vsize=19063512 memory=844024 CPUtime=8.82 cores=5,7
/proc/75330/stat : 75330 (java) S 75327 75330 73970 0 -1 4194304 24595 0 0 0 854 28 0 0 20 0 20 0 67862283 19521036288 211006 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
/proc/75330/statm: 4765878 211006 5496 1 0 734567 0
[pid=75330/tid=75332] ppid=75327 vsize=19063512 memory=0 CPUtime=5.78 cores=5,7
/proc/75330/task/75332/stat : 75332 (java) R 75327 75330 73970 0 -1 4194368 7317 0 0 0 557 21 0 0 20 0 20 0 67862285 19521036288 211006 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75341] ppid=75327 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/75330/task/75341/stat : 75341 (Finalizer) S 75327 75330 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67862288 19521036288 211006 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75348] ppid=75327 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/75330/task/75348/stat : 75348 (Common-Cleaner) S 75327 75330 73970 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 67862288 19521036288 211006 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75349] ppid=75327 vsize=19063512 memory=174628 CPUtime=0 cores=5,7
/proc/75330/task/75349/stat : 75349 (Timer-0) S 75327 75330 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67862338 19521036288 211006 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
Current children cumulated CPU time: 8.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 844024 KiB

[startup+12.7002 s]
/proc/loadavg: 4.38 4.38 4.43 5/333 75352
/proc/meminfo: memFree=48383340/131382112 swapFree=33009904/33010684
[pid=75330] ppid=75327 vsize=19063512 memory=1548092 CPUtime=15.8 cores=5,7
/proc/75330/stat : 75330 (java) S 75327 75330 73970 0 -1 4194304 26140 0 0 0 1532 48 0 0 20 0 20 0 67862283 19521036288 387023 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
/proc/75330/statm: 4765878 387023 5528 1 0 1135638 0
[pid=75330/tid=75332] ppid=75327 vsize=19063512 memory=174628 CPUtime=11.69 cores=5,7
/proc/75330/task/75332/stat : 75332 (java) R 75327 75330 73970 0 -1 4194368 7604 0 0 0 1132 37 0 0 20 0 20 0 67862285 19521036288 387023 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75341] ppid=75327 vsize=19063512 memory=1548092 CPUtime=0 cores=5,7
/proc/75330/task/75341/stat : 75341 (Finalizer) S 75327 75330 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67862288 19521036288 387023 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75348] ppid=75327 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/75330/task/75348/stat : 75348 (Common-Cleaner) S 75327 75330 73970 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 67862288 19521036288 387023 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75349] ppid=75327 vsize=19063512 memory=11264 CPUtime=0 cores=5,7
/proc/75330/task/75349/stat : 75349 (Timer-0) S 75327 75330 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67862338 19521036288 387023 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
Current children cumulated CPU time: 15.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1548092 KiB

[startup+25.5003 s]
/proc/loadavg: 4.37 4.38 4.43 6/333 75352
/proc/meminfo: memFree=46892652/131382112 swapFree=33009904/33010684
[pid=75330] ppid=75327 vsize=19063512 memory=2676020 CPUtime=28.85 cores=5,7
/proc/75330/stat : 75330 (java) S 75327 75330 73970 0 -1 4194304 30321 0 0 0 2803 82 0 0 20 0 20 0 67862283 19521036288 669005 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
/proc/75330/statm: 4765878 669005 5528 1 0 1697552 0
[pid=75330/tid=75332] ppid=75327 vsize=19063512 memory=0 CPUtime=23.89 cores=5,7
/proc/75330/task/75332/stat : 75332 (java) R 75327 75330 73970 0 -1 4194368 9006 0 0 0 2327 62 0 0 20 0 20 0 67862285 19521036288 669005 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75341] ppid=75327 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/75330/task/75341/stat : 75341 (Finalizer) S 75327 75330 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67862288 19521036288 669005 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75348] ppid=75327 vsize=19063512 memory=2676020 CPUtime=0 cores=5,7
/proc/75330/task/75348/stat : 75348 (Common-Cleaner) S 75327 75330 73970 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 67862288 19521036288 669005 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75349] ppid=75327 vsize=19063512 memory=1987788 CPUtime=0 cores=5,7
/proc/75330/task/75349/stat : 75349 (Timer-0) S 75327 75330 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67862338 19521036288 669005 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
Current children cumulated CPU time: 28.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2676020 KiB

[startup+51.1057 s]
/proc/loadavg: 4.37 4.38 4.43 5/333 75352
/proc/meminfo: memFree=44727224/131382112 swapFree=33009904/33010684
[pid=75330] ppid=75327 vsize=19063512 memory=4167348 CPUtime=54.58 cores=5,7
/proc/75330/stat : 75330 (java) S 75327 75330 73970 0 -1 4194304 35793 0 0 0 5319 139 0 0 20 0 20 0 67862283 19521036288 1041837 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
/proc/75330/statm: 4765878 1041837 5528 1 0 1697559 0
[pid=75330/tid=75332] ppid=75327 vsize=19063512 memory=3032396 CPUtime=48.41 cores=5,7
/proc/75330/task/75332/stat : 75332 (java) R 75327 75330 73970 0 -1 4194368 10916 0 0 0 4731 110 0 0 20 0 20 0 67862285 19521036288 1041837 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75341] ppid=75327 vsize=19063512 memory=12416 CPUtime=0 cores=5,7
/proc/75330/task/75341/stat : 75341 (Finalizer) S 75327 75330 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67862288 19521036288 1041837 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75348] ppid=75327 vsize=19063512 memory=2308 CPUtime=0 cores=5,7
/proc/75330/task/75348/stat : 75348 (Common-Cleaner) S 75327 75330 73970 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 67862288 19521036288 1041837 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0

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

/proc/75330/task/75332/stat : 75332 (java) R 75327 75330 73970 0 -1 4194368 194000 0 0 0 308399 2595 0 0 20 0 20 0 67862285 19521036288 3036414 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75341] ppid=75327 vsize=19063512 memory=18560 CPUtime=0 cores=5,7
/proc/75330/task/75341/stat : 75341 (Finalizer) S 75327 75330 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67862288 19521036288 3036414 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75348] ppid=75327 vsize=19063512 memory=12145656 CPUtime=0 cores=5,7
/proc/75330/task/75348/stat : 75348 (Common-Cleaner) S 75327 75330 73970 0 -1 4194368 2855 0 0 0 0 0 0 0 20 0 20 0 67862288 19521036288 3036414 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75349] ppid=75327 vsize=19063512 memory=12145656 CPUtime=0 cores=5,7
/proc/75330/task/75349/stat : 75349 (Timer-0) S 75327 75330 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67862338 19521036288 3036414 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
Current children cumulated CPU time: 3252.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12145656 KiB

[startup+3282.3 s]
/proc/loadavg: 4.36 4.33 4.27 5/336 75947
/proc/meminfo: memFree=78253588/131382112 swapFree=33009904/33010684
[pid=75330] ppid=75327 vsize=19063512 memory=12159916 CPUtime=3313.86 cores=5,7
/proc/75330/stat : 75330 (java) S 75327 75330 73970 0 -1 4194304 369817 0 0 0 328453 2933 0 0 20 0 20 0 67862283 19521036288 3039979 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
/proc/75330/statm: 4765878 3039979 5528 1 0 3056181 0
[pid=75330/tid=75332] ppid=75327 vsize=19063512 memory=12159916 CPUtime=3168.32 cores=5,7
/proc/75330/task/75332/stat : 75332 (java) R 75327 75330 73970 0 -1 4194368 200307 0 0 0 314203 2629 0 0 20 0 20 0 67862285 19521036288 3039979 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75341] ppid=75327 vsize=19063512 memory=12159916 CPUtime=0 cores=5,7
/proc/75330/task/75341/stat : 75341 (Finalizer) S 75327 75330 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67862288 19521036288 3039979 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75348] ppid=75327 vsize=19063512 memory=2764 CPUtime=0 cores=5,7
/proc/75330/task/75348/stat : 75348 (Common-Cleaner) S 75327 75330 73970 0 -1 4194368 2991 0 0 0 0 0 0 0 20 0 20 0 67862288 19521036288 3039979 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75349] ppid=75327 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/75330/task/75349/stat : 75349 (Timer-0) S 75327 75330 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67862338 19521036288 3039979 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
Current children cumulated CPU time: 3313.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12159916 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.28 4.26 5/336 75952
/proc/meminfo: memFree=77665352/131382112 swapFree=33009904/33010684
[pid=75330] ppid=75327 vsize=19063512 memory=12159916 CPUtime=3374.6 cores=5,7
/proc/75330/stat : 75330 (java) S 75327 75330 73970 0 -1 4194304 377369 0 0 0 334489 2971 0 0 20 0 20 0 67862283 19521036288 3039979 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
/proc/75330/statm: 4765878 3039979 5528 1 0 3056181 0
[pid=75330/tid=75332] ppid=75327 vsize=19063512 memory=12159916 CPUtime=3226.62 cores=5,7
/proc/75330/task/75332/stat : 75332 (java) R 75327 75330 73970 0 -1 4194368 204088 0 0 0 319999 2663 0 0 20 0 20 0 67862285 19521036288 3039979 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75341] ppid=75327 vsize=19063512 memory=12159916 CPUtime=0 cores=5,7
/proc/75330/task/75341/stat : 75341 (Finalizer) S 75327 75330 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67862288 19521036288 3039979 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75348] ppid=75327 vsize=19063512 memory=9216 CPUtime=0 cores=5,7
/proc/75330/task/75348/stat : 75348 (Common-Cleaner) S 75327 75330 73970 0 -1 4194368 2991 0 0 0 0 0 0 0 20 0 20 0 67862288 19521036288 3039979 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75349] ppid=75327 vsize=19063512 memory=12159916 CPUtime=0 cores=5,7
/proc/75330/task/75349/stat : 75349 (Timer-0) S 75327 75330 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67862338 19521036288 3039979 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
Current children cumulated CPU time: 3374.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12159916 KiB

[startup+3402.3 s]
/proc/loadavg: 4.48 4.34 4.28 5/335 75954
/proc/meminfo: memFree=76798688/131382112 swapFree=33009904/33010684
[pid=75330] ppid=75327 vsize=19063512 memory=12348792 CPUtime=3434.79 cores=5,7
/proc/75330/stat : 75330 (java) S 75327 75330 73970 0 -1 4194304 383993 0 0 0 340461 3018 0 0 20 0 20 0 67862283 19521036288 3087198 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
/proc/75330/statm: 4765878 3087198 5528 1 0 3104205 0
[pid=75330/tid=75332] ppid=75327 vsize=19063512 memory=12159916 CPUtime=3284.66 cores=5,7
/proc/75330/task/75332/stat : 75332 (java) R 75327 75330 73970 0 -1 4194368 206880 0 0 0 325760 2706 0 0 20 0 20 0 67862285 19521036288 3087198 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75341] ppid=75327 vsize=19063512 memory=12159916 CPUtime=0 cores=5,7
/proc/75330/task/75341/stat : 75341 (Finalizer) S 75327 75330 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67862288 19521036288 3087198 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75348] ppid=75327 vsize=19063512 memory=12159916 CPUtime=0 cores=5,7
/proc/75330/task/75348/stat : 75348 (Common-Cleaner) S 75327 75330 73970 0 -1 4194368 3044 0 0 0 0 0 0 0 20 0 20 0 67862288 19521036288 3087198 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75349] ppid=75327 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/75330/task/75349/stat : 75349 (Timer-0) S 75327 75330 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67862338 19521036288 3087198 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
Current children cumulated CPU time: 3434.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12348792 KiB

[startup+3462.3 s]
/proc/loadavg: 4.78 4.46 4.33 5/336 75957
/proc/meminfo: memFree=76266820/131382112 swapFree=33009904/33010684
[pid=75330] ppid=75327 vsize=19063512 memory=12348792 CPUtime=3494.73 cores=5,7
/proc/75330/stat : 75330 (java) S 75327 75330 73970 0 -1 4194304 390342 0 0 0 346416 3057 0 0 20 0 20 0 67862283 19521036288 3087198 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
/proc/75330/statm: 4765878 3087198 5528 1 0 3104206 0
[pid=75330/tid=75332] ppid=75327 vsize=19063512 memory=12159916 CPUtime=3343.16 cores=5,7
/proc/75330/task/75332/stat : 75332 (java) R 75327 75330 73970 0 -1 4194368 212701 0 0 0 331574 2742 0 0 20 0 20 0 67862285 19521036288 3087198 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75341] ppid=75327 vsize=19063512 memory=12159916 CPUtime=0 cores=5,7
/proc/75330/task/75341/stat : 75341 (Finalizer) S 75327 75330 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67862288 19521036288 3087198 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75348] ppid=75327 vsize=19063512 memory=12348792 CPUtime=0 cores=5,7
/proc/75330/task/75348/stat : 75348 (Common-Cleaner) S 75327 75330 73970 0 -1 4194368 3103 0 0 0 0 0 0 0 20 0 20 0 67862288 19521036288 3087198 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75349] ppid=75327 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/75330/task/75349/stat : 75349 (Timer-0) S 75327 75330 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67862338 19521036288 3087198 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
Current children cumulated CPU time: 3494.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12348792 KiB

[startup+3522.3 s]
/proc/loadavg: 4.40 4.40 4.32 4/336 75959
/proc/meminfo: memFree=75620556/131382112 swapFree=33009904/33010684
[pid=75330] ppid=75327 vsize=19063512 memory=12348792 CPUtime=3555.43 cores=5,7
/proc/75330/stat : 75330 (java) S 75327 75330 73970 0 -1 4194304 394238 0 0 0 352437 3106 0 0 20 0 20 0 67862283 19521036288 3087198 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
/proc/75330/statm: 4765878 3087198 5528 1 0 3104206 0
[pid=75330/tid=75332] ppid=75327 vsize=19063512 memory=1792 CPUtime=3400.7 cores=5,7
/proc/75330/task/75332/stat : 75332 (java) R 75327 75330 73970 0 -1 4194368 214629 0 0 0 337283 2787 0 0 20 0 20 0 67862285 19521036288 3087198 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75341] ppid=75327 vsize=19063512 memory=14720 CPUtime=0 cores=5,7
/proc/75330/task/75341/stat : 75341 (Finalizer) S 75327 75330 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67862288 19521036288 3087198 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75348] ppid=75327 vsize=19063512 memory=18560 CPUtime=0 cores=5,7
/proc/75330/task/75348/stat : 75348 (Common-Cleaner) S 75327 75330 73970 0 -1 4194368 3163 0 0 0 0 0 0 0 20 0 20 0 67862288 19521036288 3087198 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75349] ppid=75327 vsize=19063512 memory=12348792 CPUtime=0 cores=5,7
/proc/75330/task/75349/stat : 75349 (Timer-0) S 75327 75330 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67862338 19521036288 3087198 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
Current children cumulated CPU time: 3555.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12348792 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3566.4 s]
/proc/loadavg: 4.27 4.36 4.30 6/336 75964
/proc/meminfo: memFree=75170472/131382112 swapFree=33009904/33010684
[pid=75330] ppid=75327 vsize=19063512 memory=12348792 CPUtime=3600.05 cores=5,7
/proc/75330/stat : 75330 (java) S 75327 75330 73970 0 -1 4194304 400514 0 0 0 356861 3144 0 0 20 0 20 0 67862283 19521036288 3087198 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
/proc/75330/statm: 4765878 3087198 5528 1 0 3104206 0
[pid=75330/tid=75332] ppid=75327 vsize=19063512 memory=12348792 CPUtime=3443.36 cores=5,7
/proc/75330/task/75332/stat : 75332 (java) R 75327 75330 73970 0 -1 4194368 218812 0 0 0 341514 2822 0 0 20 0 20 0 67862285 19521036288 3087198 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75341] ppid=75327 vsize=19063512 memory=18560 CPUtime=0 cores=5,7
/proc/75330/task/75341/stat : 75341 (Finalizer) S 75327 75330 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 67862288 19521036288 3087198 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75348] ppid=75327 vsize=19063512 memory=4352 CPUtime=0 cores=5,7
/proc/75330/task/75348/stat : 75348 (Common-Cleaner) S 75327 75330 73970 0 -1 4194368 3253 0 0 0 0 0 0 0 20 0 20 0 67862288 19521036288 3087198 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75349] ppid=75327 vsize=19063512 memory=1792 CPUtime=0 cores=5,7
/proc/75330/task/75349/stat : 75349 (Timer-0) S 75327 75330 73970 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 67862338 19521036288 3087198 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12348792 KiB

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

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

# cumulated CPU time of all completed processes:  user=3569.12 s, system=31.4886 s

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

[startup+3566.6 s]
/proc/loadavg: 4.27 4.36 4.30 6/336 75964
/proc/meminfo: memFree=75170472/131382112 swapFree=33009904/33010684
[pid=75330] ppid=75327 vsize=19263204 memory=12349432 CPUtime=3600.43 cores=5,7
/proc/75330/stat : 75330 (java) S 75327 75330 73970 0 -1 4194304 402829 0 0 0 356899 3144 0 0 20 0 21 0 67862283 19725520896 3087358 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
/proc/75330/statm: 4815801 3087358 5560 1 0 3105141 0
[pid=75330/tid=75332] ppid=75327 vsize=19263204 memory=-6000919477051942760 CPUtime=3443.54 cores=5,7
/proc/75330/task/75332/stat : 75332 (java) R 75327 75330 73970 0 -1 4194368 218963 0 0 0 341532 2822 0 0 20 0 21 0 67862285 19725520896 3087358 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75341] ppid=75327 vsize=19263204 memory=4892 CPUtime=0 cores=5,7
/proc/75330/task/75341/stat : 75341 (Finalizer) S 75327 75330 73970 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 67862288 19725520896 3087358 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
[pid=75330/tid=75348] ppid=75327 vsize=19263204 memory=2764 CPUtime=0 cores=5,7
/proc/75330/task/75348/stat : 75348 (Common-Cleaner) S 75327 75330 73970 0 -1 4194368 3253 0 0 0 0 0 0 0 20 0 21 0 67862288 19725520896 3087358 18446744073709551615 94845437652992 94845437656688 140736274814208 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94845437664504 94845437665296 94845465370624 140736274819376 140736274819558 140736274819558 140736274825160 0
Current children cumulated CPU time: 3600.43 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 12349432 KiB

[startup+3566.7 s]*
/proc/loadavg: 4.27 4.36 4.30 5/318 75967
/proc/meminfo: memFree=87026628/131382112 swapFree=33009904/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3566.8
CPU time (s): 3600.61
CPU user time (s): 3569.12
CPU system time (s): 31.4886
CPU usage (%): 100.948
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 12349432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3569.12
system time used= 31.4886
maximum resident set size= 12349816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 403174
page faults= 0
swaps= 0
block input operations= 0
block output operations= 52124640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128216
involuntary context switches= 28615


# summary of solver processes directly reported to runsolver:
#   pid: 75330
#   total CPU time (s): 3600.61
#   total CPU user time (s): 3569.12
#   total CPU system time (s): 31.4886

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8337 second user time and 35.5829 second system time

The end

Launcher Data 

Begin job on nodeC001 at 2025-07-03 07:50:34
IDJOB=4509525
IDBENCH=158621
IDSOLVER=3364
FILE ID=nodeC001/4509525-1751521834
RUNJOBID= nodeC001-1751516281-73983
SLURM_JOB_ID= 9598627
Free space on /tmp= 432496 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509525-1751521834/watcher-4509525-1751521834 -o /tmp/evaluation-result-4509525-1751521834/solver-4509525-1751521834 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751516281-73983 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4509525-1751521834 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4509525-1751521834.opb

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

MD5SUM BENCH= a64beba99ddb27280a5fb75072b9e119
RANDOM SEED=1446218708

nodeC001 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	: 0xb00001f
cpu MHz		: 3662.277
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.617
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.365
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.461
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.512
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 2993.180
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.168
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        50568276 kB
MemAvailable:   92849580 kB
Buffers:            1668 kB
Cached:         43033528 kB
SwapCached:          128 kB
Active:         36998480 kB
Inactive:       42803628 kB
Active(anon):   36756436 kB
Inactive(anon):    28380 kB
Active(file):     242044 kB
Inactive(file): 42775248 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           8865564 kB
Writeback:             0 kB
AnonPages:      36769988 kB
Mapped:           123600 kB
Shmem:             17776 kB
KReclaimable:     206896 kB
Slab:             570112 kB
SReclaimable:     206896 kB
SUnreclaim:       363216 kB
KernelStack:        5056 kB
PageTables:        75632 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   37427592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150456 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  36270080 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432496 MiB
End job on nodeC001 at 2025-07-03 08:50:01