Trace number 4440593

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 2024 2024-07-07SAT (TO)16 3600.64 3508.91

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
MD5SUMa64beba99ddb27280a5fb75072b9e119
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark3419.49
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5568
Total number of constraints412
Number of constraints which are clauses173
Number of constraints which are cardinality constraints (but not clauses)173
Number of constraints which are nor clauses,nor cardinality constraints66
Minimum length of a constraint32
Maximum length of a constraint174
Number of terms in the objective function 32
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 32
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 56906
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 206719
Number of bits of the biggest sum of numbers18
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.14/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.14/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.14/0.10	c See www.sat4j.org for details.
0.14/0.11	c version CUSTOM.v20240707
0.14/0.13	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.13	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.13	c java.vm.version	22.0.1+8-16
0.14/0.13	c java.vm.vendor	Oracle Corporation
0.14/0.13	c sun.arch.data.model	64
0.14/0.13	c java.version		22.0.1
0.14/0.13	c os.name		Linux
0.14/0.13	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.13	c os.arch		amd64
0.14/0.14	c Free memory 		2113181440
0.14/0.14	c Max memory 		16282288128
0.14/0.14	c Total memory 		2122317824
0.14/0.14	c Number of processors 	2
0.14/0.18	--- Begin Solver configuration ---
0.14/0.18	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.18	Learn all clauses as in MiniSAT
0.14/0.18	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.18	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.18	Expensive reason simplification
0.14/0.18	Glucose 2.1 dynamic restart strategy
0.14/0.18	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.14/0.18	timeout=2147483s
0.14/0.18	DB Simplification allowed=false
0.14/0.18	Listener: none
0.14/0.18	--- End Solver configuration ---
0.14/0.18	c Pseudo Boolean Optimization by upper bound
0.14/0.18	c --- Begin Solver configuration ---
0.14/0.18	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.18	c Learn all clauses as in MiniSAT
0.14/0.18	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.18	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.18	c Expensive reason simplification
0.14/0.18	c Glucose 2.1 dynamic restart strategy
0.14/0.18	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.18	c timeout=2147483s
0.14/0.18	c DB Simplification allowed=false
0.14/0.18	c Listener: none
0.14/0.18	c --- End Solver configuration ---
0.14/0.18	c solving HOME/instance-4440593-1721827420.opb
0.14/0.18	c reading problem ... 
0.14/0.19	c using VERIPB proof format
0.14/0.19	c  objective function found
0.71/0.41	c ... done. Wall clock time 0.219s.
0.71/0.41	c declared #vars     5568
0.71/0.41	c #constraints  412
0.71/0.41	c constraints type 
0.71/0.41	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 173
0.71/0.41	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 66
0.71/0.41	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 173
0.71/0.41	c 412 constraints processed.
0.71/0.44	c objective function length is 32 literals
1.26/0.74	c SATISFIABLE
1.26/0.74	c OPTIMIZING...
1.26/0.74	c Got one! Elapsed wall clock time (in seconds):0.556
1.26/0.74	o 20
2.25/1.22	c Got one! Elapsed wall clock time (in seconds):1.027
2.25/1.22	o 19
2.45/1.35	c Got one! Elapsed wall clock time (in seconds):1.164
2.45/1.35	o 18
4.03/2.19	c Got one! Elapsed wall clock time (in seconds):2.006
4.03/2.19	o 17
4.41/2.39	c cleaning 3855 clauses out of 7716 with flag 3295/7716
6.59/3.50	c cleaning 4928 clauses out of 9864 with flag 25807/13719
8.22/4.75	c cleaning 5955 clauses out of 11932 with flag 52841/20715
10.36/6.34	c cleaning 6977 clauses out of 13977 with flag 90446/28715
12.90/8.34	c cleaning 7987 clauses out of 16001 with flag 130565/37716
15.39/10.68	c cleaning 8993 clauses out of 18013 with flag 177270/47715
17.83/13.09	c cleaning 9998 clauses out of 20020 with flag 237327/58715
21.60/16.63	c cleaning 10999 clauses out of 22022 with flag 303656/70715
24.48/19.47	c cleaning 11992 clauses out of 24023 with flag 380857/83715
27.77/22.60	c cleaning 13001 clauses out of 26031 with flag 467072/97715
30.87/25.66	c cleaning 13993 clauses out of 28031 with flag 553813/112716
34.56/29.21	c cleaning 15002 clauses out of 30038 with flag 657816/128716
38.50/33.29	c cleaning 15997 clauses out of 32035 with flag 766545/145715
43.16/37.61	c cleaning 16999 clauses out of 34038 with flag 884741/163715
47.71/42.07	c cleaning 17999 clauses out of 36039 with flag 1007784/182715
52.75/46.99	c cleaning 19001 clauses out of 38040 with flag 1147758/202715
58.37/52.29	c cleaning 20004 clauses out of 40042 with flag 1292570/223718
63.36/57.28	c cleaning 20991 clauses out of 42035 with flag 1436173/245715
69.36/63.14	c cleaning 22010 clauses out of 44047 with flag 1582464/268718
75.88/69.79	c cleaning 23001 clauses out of 46035 with flag 1732912/292716
83.04/76.55	c cleaning 23994 clauses out of 48036 with flag 1893993/317718
89.78/83.34	c cleaning 24996 clauses out of 50039 with flag 2064190/343715
97.70/90.92	c cleaning 25999 clauses out of 52043 with flag 2255596/370715
104.87/98.52	c cleaning 27000 clauses out of 54045 with flag 2423336/398716
112.58/106.16	c cleaning 28003 clauses out of 56045 with flag 2595011/427716
121.45/114.75	c cleaning 29000 clauses out of 58041 with flag 2775275/457715
128.03/121.27	c cleaning 29997 clauses out of 60041 with flag 2958909/488715
135.06/128.35	c cleaning 31003 clauses out of 62044 with flag 3167146/520715
144.38/137.55	c cleaning 32004 clauses out of 64043 with flag 3363550/553717
153.24/146.27	c cleaning 32999 clauses out of 66038 with flag 3587632/587716
155.84/148.85	c Got one! Elapsed wall clock time (in seconds):148.67
155.84/148.85	o 16
156.93/149.40	c cleaning 25514 clauses out of 51043 with flag 11412/605720
157.33/149.90	c cleaning 15751 clauses out of 31527 with flag 24124/611718
157.92/150.43	c cleaning 11379 clauses out of 22777 with flag 38973/618719
158.71/151.14	c cleaning 9684 clauses out of 19399 with flag 55845/626720
159.61/152.03	c cleaning 9345 clauses out of 18713 with flag 75757/635718
160.49/152.92	c cleaning 9670 clauses out of 19368 with flag 96970/645718
161.49/153.94	c cleaning 10337 clauses out of 20698 with flag 120247/656718
162.60/155.07	c cleaning 11163 clauses out of 22362 with flag 145459/668719
164.57/158.44	c cleaning 12088 clauses out of 24198 with flag 173152/681718
166.26/160.05	c cleaning 13039 clauses out of 26110 with flag 202553/695718
167.74/161.50	c cleaning 14022 clauses out of 28072 with flag 234576/710719
169.13/162.98	c cleaning 15018 clauses out of 30049 with flag 275458/726718
171.14/164.92	c cleaning 16007 clauses out of 32031 with flag 322440/743718
173.71/167.43	c cleaning 17004 clauses out of 34024 with flag 381727/761718
176.20/169.96	c cleaning 17993 clauses out of 36021 with flag 440002/780719
178.89/172.64	c cleaning 19006 clauses out of 38027 with flag 498788/800718
181.99/175.62	c cleaning 20004 clauses out of 40021 with flag 561723/821718
184.40/178.05	c cleaning 21000 clauses out of 42019 with flag 609832/843720
187.18/180.82	c cleaning 21994 clauses out of 44017 with flag 679672/866718
190.78/184.37	c cleaning 23002 clauses out of 46023 with flag 755472/890718
195.19/190.03	c cleaning 24000 clauses out of 48023 with flag 834444/915720
199.20/193.98	c cleaning 24997 clauses out of 50023 with flag 931164/941720
202.78/197.55	c cleaning 25997 clauses out of 52024 with flag 1020422/968718
206.80/201.41	c cleaning 26991 clauses out of 54028 with flag 1109288/996719
210.79/205.49	c cleaning 28009 clauses out of 56037 with flag 1201310/1025719
215.22/209.78	c cleaning 29003 clauses out of 58030 with flag 1302129/1055721
219.97/214.34	c cleaning 29997 clauses out of 60025 with flag 1396217/1086719
225.19/221.23	c cleaning 30999 clauses out of 62027 with flag 1498134/1118718
230.98/226.97	c cleaning 32000 clauses out of 64028 with flag 1605321/1151718
235.97/231.95	c cleaning 33000 clauses out of 66029 with flag 1718335/1185719
241.53/237.44	c cleaning 33998 clauses out of 68028 with flag 1830715/1220718
247.23/243.11	c cleaning 34996 clauses out of 70030 with flag 1945652/1256718
253.36/249.23	c cleaning 36005 clauses out of 72035 with flag 2062494/1293719
260.66/257.57	c cleaning 36996 clauses out of 74029 with flag 2185289/1331718
266.84/263.72	c cleaning 38000 clauses out of 76034 with flag 2313413/1370719
274.27/271.13	c cleaning 39000 clauses out of 78033 with flag 2438919/1410718
282.68/279.42	c cleaning 40005 clauses out of 80034 with flag 2573693/1451719
291.17/288.43	c cleaning 40998 clauses out of 82028 with flag 2726739/1493718
299.16/296.23	c cleaning 42001 clauses out of 84034 with flag 2879791/1536722
306.84/303.79	c cleaning 43002 clauses out of 86029 with flag 3021571/1580718
315.38/312.14	c cleaning 43993 clauses out of 88027 with flag 3165868/1625718
325.07/324.80	c cleaning 44991 clauses out of 90034 with flag 3308548/1671718
333.56/333.20	c cleaning 46003 clauses out of 92043 with flag 3449866/1718718
343.19/342.28	c cleaning 47000 clauses out of 94041 with flag 3596510/1766719
352.86/354.81	c cleaning 48005 clauses out of 96040 with flag 3748038/1815718
362.14/364.04	c cleaning 49007 clauses out of 98035 with flag 3900707/1865718
371.24/373.05	c cleaning 50004 clauses out of 100029 with flag 4057672/1916719
381.24/383.43	c cleaning 51003 clauses out of 102027 with flag 4225000/1968721
392.63/394.72	c cleaning 51994 clauses out of 104022 with flag 4424668/2021719
403.37/405.12	c cleaning 52991 clauses out of 106028 with flag 4593185/2075719
410.53/412.64	c cleaning 54005 clauses out of 108036 with flag 4730060/2130718
417.48/419.55	c cleaning 55004 clauses out of 110032 with flag 4854126/2186719
424.45/426.48	c cleaning 56005 clauses out of 112027 with flag 4975958/2243718
432.80/434.41	c cleaning 56998 clauses out of 114022 with flag 5100912/2301718
440.63/442.15	c cleaning 58002 clauses out of 116024 with flag 5226605/2360718
449.26/452.39	c cleaning 58995 clauses out of 118022 with flag 5353522/2420718
457.73/460.38	c cleaning 60000 clauses out of 120027 with flag 5482856/2481718
467.37/469.19	c cleaning 60999 clauses out of 122028 with flag 5618046/2543719
477.68/480.44	c cleaning 62003 clauses out of 124028 with flag 5756036/2606718
484.83/487.32	c cleaning 63003 clauses out of 126026 with flag 5941246/2670719
492.55/494.88	c cleaning 64005 clauses out of 128022 with flag 6084323/2735718
500.37/502.62	c cleaning 64988 clauses out of 130018 with flag 6303758/2801719
510.12/513.49	c cleaning 65997 clauses out of 132029 with flag 6503643/2868718
519.64/522.98	c cleaning 67000 clauses out of 134034 with flag 6705803/2936720
529.94/533.03	c cleaning 67999 clauses out of 136033 with flag 6911538/3005719
540.53/544.04	c cleaning 68995 clauses out of 138034 with flag 7113808/3075719
550.45/553.40	c cleaning 70008 clauses out of 140040 with flag 7311644/3146720
563.88/566.71	c cleaning 70994 clauses out of 142031 with flag 7512411/3218719
579.65/583.07	c cleaning 72003 clauses out of 144036 with flag 7721690/3291718
594.41/597.58	c cleaning 73002 clauses out of 146034 with flag 7931959/3365719
604.45/607.50	c cleaning 74007 clauses out of 148031 with flag 8125488/3440718
611.77/614.70	c cleaning 75003 clauses out of 150025 with flag 8295122/3516719
622.73/625.63	c cleaning 75999 clauses out of 152021 with flag 8459942/3593718
632.97/636.18	c cleaning 77003 clauses out of 154024 with flag 8628516/3671720
643.14/646.28	c cleaning 77998 clauses out of 156019 with flag 8798977/3750718
653.22/656.26	c cleaning 78996 clauses out of 158021 with flag 8970575/3830718
667.12/670.04	c cleaning 80003 clauses out of 160026 with flag 9149080/3911719
677.11/679.90	c cleaning 80999 clauses out of 162022 with flag 9329492/3993718
686.29/689.05	c cleaning 81999 clauses out of 164026 with flag 9560923/4076721
699.52/702.23	c cleaning 82998 clauses out of 166025 with flag 9744441/4160719
712.71/715.34	c cleaning 83996 clauses out of 168027 with flag 9925843/4245719
727.77/732.76	c cleaning 85002 clauses out of 170030 with flag 10111627/4331718
740.60/745.08	c cleaning 86000 clauses out of 172028 with flag 10344592/4418718
755.94/759.10	c cleaning 87002 clauses out of 174029 with flag 10661453/4506719
765.35/768.96	c cleaning 88004 clauses out of 176026 with flag 10851421/4595718
778.14/781.51	c cleaning 89002 clauses out of 178022 with flag 11044591/4685718
793.26/796.84	c cleaning 89997 clauses out of 180020 with flag 11239305/4776718
807.41/810.73	c cleaning 90997 clauses out of 182023 with flag 11439664/4868718
822.34/825.92	c cleaning 92000 clauses out of 184026 with flag 11639995/4961718
836.51/839.60	c cleaning 92996 clauses out of 186028 with flag 11842072/5055720
852.61/855.94	c cleaning 94004 clauses out of 188030 with flag 12054286/5150718
868.87/871.60	c cleaning 94995 clauses out of 190026 with flag 12273658/5246718
880.88/883.24	c cleaning 96005 clauses out of 192031 with flag 12484473/5343718
896.36/899.08	c cleaning 97003 clauses out of 194026 with flag 12694012/5441718
908.54/910.99	c cleaning 98001 clauses out of 196023 with flag 12913077/5540718
922.77/925.46	c cleaning 98998 clauses out of 198023 with flag 13128290/5640719
937.89/940.08	c cleaning 99995 clauses out of 200024 with flag 13343253/5741718
952.26/955.48	c cleaning 101000 clauses out of 202029 with flag 13559745/5843718
968.65/971.60	c cleaning 101998 clauses out of 204030 with flag 13779410/5946719
987.62/990.93	c cleaning 103007 clauses out of 206033 with flag 14001007/6050720
1001.67/1004.74	c cleaning 104005 clauses out of 208024 with flag 14230154/6155718
1018.30/1020.82	c cleaning 105001 clauses out of 210019 with flag 14473308/6261718
1033.25/1035.39	c cleaning 105992 clauses out of 212018 with flag 14831791/6368718
1048.41/1050.07	c cleaning 106997 clauses out of 214030 with flag 15048995/6476722
1065.82/1067.26	c cleaning 108000 clauses out of 216030 with flag 15266989/6585719
1082.14/1082.58	c cleaning 108998 clauses out of 218031 with flag 15486991/6695720
1098.54/1098.52	c cleaning 110005 clauses out of 220031 with flag 15708987/6806718
1116.99/1116.11	c cleaning 110995 clauses out of 222026 with flag 15932987/6918718
1136.77/1134.99	c cleaning 111996 clauses out of 224031 with flag 16158987/7031718
1153.81/1149.89	c cleaning 113011 clauses out of 226036 with flag 16402377/7145719
1173.87/1170.37	c cleaning 113993 clauses out of 228025 with flag 16662370/7260719
1192.41/1187.65	c cleaning 114993 clauses out of 230033 with flag 16909468/7376720
1213.98/1207.05	c cleaning 116001 clauses out of 232038 with flag 17160208/7493718
1233.05/1224.45	c cleaning 117006 clauses out of 234038 with flag 17420927/7611719
1250.98/1242.49	c cleaning 118007 clauses out of 236034 with flag 17684114/7730721
1267.00/1257.77	c cleaning 119001 clauses out of 238026 with flag 17946622/7850720
1291.81/1284.51	c cleaning 119997 clauses out of 240023 with flag 18211423/7971718
1314.77/1307.57	c cleaning 121007 clauses out of 242029 with flag 18476449/8093721
1340.95/1333.07	c cleaning 122000 clauses out of 244021 with flag 18743227/8216720
1368.07/1362.18	c cleaning 122996 clauses out of 246020 with flag 19011037/8340719
1393.06/1386.06	c cleaning 123991 clauses out of 248024 with flag 19283232/8465719
1420.09/1411.78	c cleaning 125000 clauses out of 250033 with flag 19554786/8591719
1448.62/1436.90	c cleaning 126010 clauses out of 252033 with flag 19854441/8718719
1470.05/1457.42	c cleaning 126999 clauses out of 254023 with flag 20131870/8846719
1496.48/1484.09	c cleaning 128001 clauses out of 256023 with flag 20415280/8975718
1518.80/1505.12	c cleaning 128996 clauses out of 258022 with flag 20694742/9105718
1545.64/1529.40	c cleaning 130002 clauses out of 260028 with flag 20976191/9236720
1570.10/1551.92	c cleaning 131002 clauses out of 262024 with flag 21258456/9368718
1597.11/1577.68	c cleaning 132000 clauses out of 264024 with flag 21543051/9501720
1624.98/1604.49	c cleaning 132995 clauses out of 266022 with flag 21830788/9635718
1654.03/1632.75	c cleaning 134004 clauses out of 268027 with flag 22121203/9770718
1685.66/1662.41	c cleaning 135002 clauses out of 270023 with flag 22412687/9906718
1715.03/1689.94	c cleaning 135994 clauses out of 272022 with flag 22704913/10043719
1745.70/1719.01	c cleaning 136998 clauses out of 274029 with flag 23000389/10181720
1776.12/1748.95	c cleaning 137996 clauses out of 276031 with flag 23297377/10320720
1805.57/1776.60	c cleaning 139002 clauses out of 278033 with flag 23597500/10460718
1832.75/1802.32	c cleaning 140007 clauses out of 280033 with flag 23898786/10601720
1864.32/1832.31	c cleaning 141002 clauses out of 282024 with flag 24202409/10743718
1899.95/1866.80	c cleaning 141996 clauses out of 284022 with flag 24508422/10886718
1929.76/1896.34	c cleaning 142997 clauses out of 286028 with flag 24816300/11030720
1965.80/1933.80	c cleaning 143997 clauses out of 288030 with flag 25126806/11175719
1999.89/1968.49	c cleaning 144997 clauses out of 290032 with flag 25438166/11321718
2034.72/2002.17	c cleaning 145998 clauses out of 292036 with flag 25752517/11468719
2069.82/2036.31	c cleaning 147002 clauses out of 294038 with flag 26071726/11616719
2101.43/2065.13	c cleaning 148008 clauses out of 296037 with flag 26389303/11765720
2133.02/2097.13	c cleaning 149001 clauses out of 298027 with flag 26708506/11915718
2167.73/2131.58	c cleaning 150001 clauses out of 300027 with flag 27031783/12066719
2201.00/2163.36	c cleaning 151000 clauses out of 302028 with flag 27356376/12218721
2236.63/2197.78	c cleaning 152002 clauses out of 304026 with flag 27682776/12371719
2272.51/2232.85	c cleaning 152993 clauses out of 306024 with flag 28011106/12525719
2309.69/2268.84	c cleaning 153999 clauses out of 308030 with flag 28342312/12680718
2342.87/2301.35	c cleaning 155001 clauses out of 310032 with flag 28676746/12836719
2377.11/2333.71	c cleaning 156001 clauses out of 312030 with flag 29013368/12993718
2412.59/2368.07	c cleaning 157008 clauses out of 314031 with flag 29362626/13151720
2437.42/2391.20	c cleaning 157998 clauses out of 316023 with flag 29727163/13310720
2460.81/2413.74	c cleaning 159001 clauses out of 318026 with flag 30049833/13470721
2494.82/2446.64	c cleaning 160004 clauses out of 320024 with flag 30379230/13631720
2521.54/2473.58	c cleaning 161001 clauses out of 322018 with flag 30770737/13793718
2549.13/2499.39	c cleaning 161991 clauses out of 324017 with flag 31144389/13956718
2576.21/2525.23	c cleaning 163002 clauses out of 326026 with flag 31507623/14120718
2615.25/2562.71	c cleaning 163993 clauses out of 328024 with flag 31872714/14285718
2659.30/2605.54	c cleaning 164996 clauses out of 330033 with flag 32253003/14451720
2700.30/2644.96	c cleaning 165996 clauses out of 332035 with flag 32646498/14618718
2740.58/2683.16	c cleaning 166998 clauses out of 334039 with flag 33015277/14786718
2774.85/2715.86	c cleaning 168002 clauses out of 336042 with flag 33395919/14955719
2808.70/2747.35	c cleaning 169005 clauses out of 338039 with flag 33764050/15125718
2844.16/2781.40	c cleaning 170004 clauses out of 340034 with flag 34131182/15296718
2881.69/2816.86	c cleaning 170996 clauses out of 342031 with flag 34495894/15468719
2913.74/2848.04	c cleaning 172003 clauses out of 344036 with flag 34861977/15641720
2943.00/2875.69	c cleaning 172999 clauses out of 346031 with flag 35232383/15815718
2973.05/2904.06	c cleaning 174008 clauses out of 348034 with flag 35670199/15990720
3002.55/2931.67	c cleaning 174998 clauses out of 350025 with flag 36022197/16166719
3033.57/2961.21	c cleaning 175999 clauses out of 352026 with flag 36376195/16343718
3059.15/2986.51	c cleaning 177004 clauses out of 354028 with flag 36734825/16521719
3084.01/3007.56	c cleaning 178005 clauses out of 356026 with flag 37136025/16700721
3117.22/3038.04	c cleaning 178992 clauses out of 358019 with flag 37592997/16880719
3148.85/3067.92	c cleaning 180006 clauses out of 360028 with flag 37963587/17061720
3177.52/3095.96	c cleaning 181004 clauses out of 362022 with flag 38331870/17243720
3205.40/3120.43	c cleaning 181997 clauses out of 364016 with flag 38721929/17426718
3239.57/3155.10	c cleaning 182997 clauses out of 366021 with flag 39117977/17610720
3276.90/3189.90	c cleaning 183990 clauses out of 368022 with flag 39515230/17795718
3315.62/3225.81	c cleaning 184998 clauses out of 370032 with flag 39912675/17981718
3355.94/3275.77	c cleaning 186000 clauses out of 372034 with flag 40315752/18168718
3398.38/3316.65	c cleaning 187009 clauses out of 374034 with flag 40721632/18356718
3441.39/3357.35	c cleaning 187996 clauses out of 376025 with flag 41124759/18545718
3469.24/3383.78	c cleaning 189006 clauses out of 378029 with flag 41533367/18735718
3511.31/3424.84	c cleaning 190002 clauses out of 380024 with flag 41941152/18926719
3548.35/3459.88	c cleaning 190996 clauses out of 382021 with flag 42356147/19118718
3577.92/3487.01	c cleaning 192004 clauses out of 384025 with flag 42866708/19311718
3600.07/3508.54	c starts		: 2306
3600.07/3508.55	c conflicts		: 19451624
3600.07/3508.55	c decisions		: 22446463
3600.07/3508.55	c propagations		: 605044462
3600.07/3508.55	c inspects		: 12775228659
3600.07/3508.55	c shortcuts		: 0
3600.07/3508.55	c learnt literals	: 0
3600.07/3508.56	c learnt binary clauses	: 0
3600.07/3508.56	c learnt ternary clauses	: 0
3600.07/3508.56	c learnt constraints	: 19451624
3600.07/3508.56	c ignored constraints	: 0
3600.07/3508.56	c root simplifications	: 0
3600.07/3508.56	c removed literals (reason simplification)	: 2046579
3600.07/3508.57	c reason swapping (by a shorter reason)	: 0
3600.07/3508.57	c Calls to reduceDB	: 219
3600.07/3508.57	c Number of update (reduction) of LBD	: 1407029
3600.07/3508.57	c Imported unit clauses	: 0
3600.07/3508.57	c No decision after first conflict	: false
3600.07/3508.57	c number of reductions to clauses (during analyze)	: 0
3600.07/3508.57	c number of learned constraints concerned by reduction	: 0
3600.07/3508.57	c number of learning phase by resolution	: 0
3600.07/3508.57	c number of learning phase by cutting planes	: 0
3600.07/3508.57	c number of rounding to 1 operations	: 0
3600.07/3508.57	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3508.57	c number of reductions of the coefficients by power 2 	: 0
3600.07/3508.57	c number of right shift for reduction by power 2 	: 0
3600.07/3508.57	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3508.57	c number of ending skipping 	: 0
3600.07/3508.57	c number of internal skipping 	: 0
3600.07/3508.57	c number of derivation steps 	: 0
3600.07/3508.57	c number of skipped derivation steps 	: 0
3600.07/3508.57	c number of remaining unassigned 	: 0
3600.07/3508.57	c number of remaining assigned 	: 0
3600.07/3508.57	c number of falsified literals weakened from reason	: 0
3600.07/3508.57	c number of falsified literals weakened from conflict	: 0
3600.07/3508.57	c time for arithmetic operations	: 0
3600.07/3508.57	c minimum degree of deleted constraints	: null
3600.07/3508.57	c maximum degree of deleted constraints	: null
3600.07/3508.57	c number of deleted constraints	: 0
3600.07/3508.57	c speed (assignments/second)	: 172470.1590115022
3600.07/3508.57	c non guided choices	: 182231
3600.47/3508.71	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 331927
3600.47/3508.71	s SATISFIABLE
3600.47/3508.71	c Found 5 solution(s)
3600.47/3508.72	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.47/3508.75	c objective function=16
3600.47/3508.75	c Total wall clock time (in seconds): 3508.567

Verifier Data 

OK	16

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (50001 MiB free)
  memory of node 1: 64510 MiB (32836 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440593-1721827420/watcher-4440593-1721827420 -o /tmp/evaluation-result-4440593-1721827420/solver-4440593-1721827420 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721820326-179524 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440593-1721827420 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440593-1721827420.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=184090, runsolver pid=184087

[startup+0.100611 s]*
/proc/loadavg: 4.29 4.24 4.20 9/329 184108
/proc/meminfo: memFree=84788264/131655788 swapFree=131070448/131071996
[pid=184090] ppid=184087 vsize=18975048 memory=58592 CPUtime=0.14 cores=5,7
/proc/184090/stat : 184090 (java) S 184087 184090 179511 0 -1 1077936128 6629 0 0 0 11 3 0 0 20 0 18 0 18731692 19430449152 14648 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
/proc/184090/statm: 4743762 14648 5665 1 0 550926 0
[pid=184090/tid=184092] ppid=184087 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/184090/task/184092/stat : 184092 (java) R 184087 184090 179511 0 -1 1077936192 5553 0 0 0 6 2 0 0 20 0 18 0 18731692 19430449152 14648 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184101] ppid=184087 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/184090/task/184101/stat : 184101 (Finalizer) S 184087 184090 179511 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18731696 19430449152 14648 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184108] ppid=184087 vsize=18975048 memory=4050484525539786784 CPUtime=0 cores=5,7
/proc/184090/task/184108/stat : 184108 (Common-Cleaner) S 184087 184090 179511 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18731697 19430449152 14648 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58592 KiB

[startup+0.207611 s]*
/proc/loadavg: 4.29 4.24 4.20 9/329 184108
/proc/meminfo: memFree=84780864/131655788 swapFree=131070448/131071996
[pid=184090] ppid=184087 vsize=18975048 memory=66020 CPUtime=0.32 cores=5,7
/proc/184090/stat : 184090 (java) S 184087 184090 179511 0 -1 1077936128 7439 0 0 0 29 3 0 0 20 0 18 0 18731692 19430449152 16505 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
/proc/184090/statm: 4743762 16505 5678 1 0 551596 0
[pid=184090/tid=184092] ppid=184087 vsize=18975048 memory=4782652875487838339 CPUtime=0.16 cores=5,7
/proc/184090/task/184092/stat : 184092 (java) R 184087 184090 179511 0 -1 4194368 5965 0 0 0 14 2 0 0 20 0 18 0 18731692 19430449152 16505 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184101] ppid=184087 vsize=18975048 memory=804964 CPUtime=0 cores=5,7
/proc/184090/task/184101/stat : 184101 (Finalizer) S 184087 184090 179511 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18731696 19430449152 16505 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184108] ppid=184087 vsize=18975048 memory=13852958324442654 CPUtime=0 cores=5,7
/proc/184090/task/184108/stat : 184108 (Common-Cleaner) S 184087 184090 179511 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18731697 19430449152 16505 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66020 KiB

[startup+0.307619 s]*
/proc/loadavg: 4.29 4.24 4.20 8/329 184108
/proc/meminfo: memFree=84767932/131655788 swapFree=131070448/131071996
[pid=184090] ppid=184087 vsize=18975048 memory=79160 CPUtime=0.52 cores=5,7
/proc/184090/stat : 184090 (java) S 184087 184090 179511 0 -1 1077936128 7531 0 0 0 48 4 0 0 20 0 18 0 18731692 19430449152 19790 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
/proc/184090/statm: 4743762 19790 5805 1 0 551665 0
[pid=184090/tid=184092] ppid=184087 vsize=18975048 memory=-8670953654198248124 CPUtime=0.26 cores=5,7
/proc/184090/task/184092/stat : 184092 (java) R 184087 184090 179511 0 -1 4194368 5977 0 0 0 23 3 0 0 20 0 18 0 18731692 19430449152 19790 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184101] ppid=184087 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/184090/task/184101/stat : 184101 (Finalizer) S 184087 184090 179511 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18731696 19430449152 19790 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184108] ppid=184087 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/184090/task/184108/stat : 184108 (Common-Cleaner) S 184087 184090 179511 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18731697 19430449152 19790 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 79160 KiB

[startup+0.700267 s]
/proc/loadavg: 4.29 4.24 4.20 7/330 184109
/proc/meminfo: memFree=84747240/131655788 swapFree=131070448/131071996
[pid=184090] ppid=184087 vsize=19041612 memory=128324 CPUtime=1.26 cores=5,7
/proc/184090/stat : 184090 (java) S 184087 184090 179511 0 -1 1077936128 10607 0 0 0 120 6 0 0 20 0 19 0 18731692 19498610688 32081 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
/proc/184090/statm: 4760403 32081 5843 1 0 553394 0
[pid=184090/tid=184092] ppid=184087 vsize=19041612 memory=5572 CPUtime=0.6 cores=5,7
/proc/184090/task/184092/stat : 184092 (java) R 184087 184090 179511 0 -1 4194368 6163 0 0 0 56 4 0 0 20 0 19 0 18731692 19498610688 32081 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184101] ppid=184087 vsize=19041612 memory=12412 CPUtime=0 cores=5,7
/proc/184090/task/184101/stat : 184101 (Finalizer) S 184087 184090 179511 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18731696 19498610688 32081 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184108] ppid=184087 vsize=19041612 memory=279468421997224 CPUtime=0 cores=5,7
/proc/184090/task/184108/stat : 184108 (Common-Cleaner) S 184087 184090 179511 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18731697 19498610688 32081 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184109] ppid=184087 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/184090/task/184109/stat : 184109 (Timer-0) S 184087 184090 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18731737 19498610688 32081 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 128324 KiB

[startup+1.50161 s]
/proc/loadavg: 4.43 4.27 4.21 6/331 184110
/proc/meminfo: memFree=84659064/131655788 swapFree=131070448/131071996
[pid=184090] ppid=184087 vsize=19108176 memory=187820 CPUtime=2.84 cores=5,7
/proc/184090/stat : 184090 (java) S 184087 184090 179511 0 -1 1077936128 22167 0 0 0 275 9 0 0 20 0 20 0 18731692 19566772224 46955 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
/proc/184090/statm: 4777044 46955 5911 1 0 557577 0
[pid=184090/tid=184092] ppid=184087 vsize=19108176 memory=12412 CPUtime=1.35 cores=5,7
/proc/184090/task/184092/stat : 184092 (java) R 184087 184090 179511 0 -1 4194368 6796 0 0 0 130 5 0 0 20 0 20 0 18731692 19566772224 46955 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184101] ppid=184087 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/184090/task/184101/stat : 184101 (Finalizer) S 184087 184090 179511 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18731696 19566772224 46955 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184108] ppid=184087 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/184090/task/184108/stat : 184108 (Common-Cleaner) S 184087 184090 179511 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18731697 19566772224 46955 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184109] ppid=184087 vsize=19108176 memory=279468421850384 CPUtime=0 cores=5,7
/proc/184090/task/184109/stat : 184109 (Timer-0) S 184087 184090 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18731737 19566772224 46955 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 187820 KiB

[startup+3.10662 s]
/proc/loadavg: 4.43 4.27 4.21 6/331 184110
/proc/meminfo: memFree=84535472/131655788 swapFree=131070448/131071996
[pid=184090] ppid=184087 vsize=19108176 memory=301412 CPUtime=6.01 cores=5,7
/proc/184090/stat : 184090 (java) S 184087 184090 179511 0 -1 1077936128 24397 0 0 0 588 13 0 0 20 0 20 0 18731692 19566772224 75353 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
/proc/184090/statm: 4777044 75353 5927 1 0 557610 0
[pid=184090/tid=184092] ppid=184087 vsize=19108176 memory=0 CPUtime=2.9 cores=5,7
/proc/184090/task/184092/stat : 184092 (java) R 184087 184090 179511 0 -1 4194368 7842 0 0 0 282 8 0 0 20 0 20 0 18731692 19566772224 75353 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184101] ppid=184087 vsize=19108176 memory=12412 CPUtime=0 cores=5,7
/proc/184090/task/184101/stat : 184101 (Finalizer) S 184087 184090 179511 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18731696 19566772224 75353 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184108] ppid=184087 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/184090/task/184108/stat : 184108 (Common-Cleaner) S 184087 184090 179511 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 18731697 19566772224 75353 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184109] ppid=184087 vsize=19108176 memory=11932 CPUtime=0 cores=5,7
/proc/184090/task/184109/stat : 184109 (Timer-0) S 184087 184090 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18731737 19566772224 75353 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 301412 KiB

[startup+6.30061 s]
/proc/loadavg: 4.39 4.27 4.21 6/331 184110
/proc/meminfo: memFree=84054864/131655788 swapFree=131070448/131071996
[pid=184090] ppid=184087 vsize=19108176 memory=778576 CPUtime=10.36 cores=5,7
/proc/184090/stat : 184090 (java) S 184087 184090 179511 0 -1 1077936128 25327 0 0 0 1011 25 0 0 20 0 20 0 18731692 19566772224 194644 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
/proc/184090/statm: 4777044 194644 5927 1 0 664156 0
[pid=184090/tid=184092] ppid=184087 vsize=19108176 memory=12412 CPUtime=5.74 cores=5,7
/proc/184090/task/184092/stat : 184092 (java) R 184087 184090 179511 0 -1 4194368 8095 0 0 0 557 17 0 0 20 0 20 0 18731692 19566772224 194644 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184101] ppid=184087 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/184090/task/184101/stat : 184101 (Finalizer) S 184087 184090 179511 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18731696 19566772224 194644 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184108] ppid=184087 vsize=19108176 memory=-7163974055829550171 CPUtime=0 cores=5,7
/proc/184090/task/184108/stat : 184108 (Common-Cleaner) S 184087 184090 179511 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 18731697 19566772224 194644 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184109] ppid=184087 vsize=19108176 memory=187820 CPUtime=0 cores=5,7
/proc/184090/task/184109/stat : 184109 (Timer-0) S 184087 184090 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18731737 19566772224 194644 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
Current children cumulated CPU time: 10.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 778576 KiB

[startup+12.7006 s]
/proc/loadavg: 4.44 4.28 4.21 5/331 184112
/proc/meminfo: memFree=83242900/131655788 swapFree=131070448/131071996
[pid=184090] ppid=184087 vsize=19108176 memory=1511312 CPUtime=17.54 cores=5,7
/proc/184090/stat : 184090 (java) S 184087 184090 179511 0 -1 1077936128 26785 0 0 0 1707 47 0 0 20 0 20 0 18731692 19566772224 377828 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
/proc/184090/statm: 4777044 377828 5927 1 0 1299185 0
[pid=184090/tid=184092] ppid=184087 vsize=19108176 memory=0 CPUtime=11.84 cores=5,7
/proc/184090/task/184092/stat : 184092 (java) R 184087 184090 179511 0 -1 4194368 8395 0 0 0 1150 34 0 0 20 0 20 0 18731692 19566772224 377828 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184101] ppid=184087 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/184090/task/184101/stat : 184101 (Finalizer) S 184087 184090 179511 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18731696 19566772224 377828 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184108] ppid=184087 vsize=19108176 memory=1376144 CPUtime=0 cores=5,7
/proc/184090/task/184108/stat : 184108 (Common-Cleaner) S 184087 184090 179511 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 18731697 19566772224 377828 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184109] ppid=184087 vsize=19108176 memory=12412 CPUtime=0 cores=5,7
/proc/184090/task/184109/stat : 184109 (Timer-0) S 184087 184090 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18731737 19566772224 377828 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
Current children cumulated CPU time: 17.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1511312 KiB

[startup+25.5005 s]
/proc/loadavg: 4.37 4.27 4.21 5/330 184113
/proc/meminfo: memFree=82240180/131655788 swapFree=131070448/131071996
[pid=184090] ppid=184087 vsize=19108176 memory=2101552 CPUtime=30.77 cores=5,7
/proc/184090/stat : 184090 (java) S 184087 184090 179511 0 -1 1077936128 30118 0 0 0 3007 70 0 0 20 0 20 0 18731692 19566772224 525388 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
/proc/184090/statm: 4777044 525388 5927 1 0 1299187 0
[pid=184090/tid=184092] ppid=184087 vsize=19108176 memory=1376144 CPUtime=24.08 cores=5,7
/proc/184090/task/184092/stat : 184092 (java) R 184087 184090 179511 0 -1 4194368 9577 0 0 0 2357 51 0 0 20 0 20 0 18731692 19566772224 525388 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184101] ppid=184087 vsize=19108176 memory=-8670953654198248124 CPUtime=0 cores=5,7
/proc/184090/task/184101/stat : 184101 (Finalizer) S 184087 184090 179511 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18731696 19566772224 525388 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184108] ppid=184087 vsize=19108176 memory=67988 CPUtime=0 cores=5,7
/proc/184090/task/184108/stat : 184108 (Common-Cleaner) S 184087 184090 179511 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 18731697 19566772224 525388 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184109] ppid=184087 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/184090/task/184109/stat : 184109 (Timer-0) S 184087 184090 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18731737 19566772224 525388 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
Current children cumulated CPU time: 30.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2101552 KiB

[startup+51.114 s]
/proc/loadavg: 4.34 4.27 4.21 6/331 184120
/proc/meminfo: memFree=80387076/131655788 swapFree=131070448/131071996
[pid=184090] ppid=184087 vsize=19108176 memory=3430240 CPUtime=57.28 cores=5,7
/proc/184090/stat : 184090 (java) S 184087 184090 179511 0 -1 1077936128 37168 0 0 0 5606 122 0 0 20 0 20 0 18731692 19566772224 857560 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
/proc/184090/statm: 4777044 857560 5943 1 0 1411993 0
[pid=184090/tid=184092] ppid=184087 vsize=19108176 memory=2813740 CPUtime=48.21 cores=5,7
/proc/184090/task/184092/stat : 184092 (java) R 184087 184090 179511 0 -1 4194368 11614 0 0 0 4734 87 0 0 20 0 20 0 18731692 19566772224 857560 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184101] ppid=184087 vsize=19108176 memory=67988 CPUtime=0 cores=5,7
/proc/184090/task/184101/stat : 184101 (Finalizer) S 184087 184090 179511 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18731696 19566772224 857560 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0

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

/proc/184090/task/184101/stat : 184101 (Finalizer) S 184087 184090 179511 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18731696 19633881088 790188 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184108] ppid=184087 vsize=19173712 memory=139734211208017 CPUtime=0 cores=5,7
/proc/184090/task/184108/stat : 184108 (Common-Cleaner) S 184087 184090 179511 0 -1 1077936192 1589 0 0 0 0 0 0 0 20 0 20 0 18731697 19633881088 790188 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184109] ppid=184087 vsize=19173712 memory=3160752 CPUtime=0 cores=5,7
/proc/184090/task/184109/stat : 184109 (Timer-0) S 184087 184090 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18731737 19633881088 790188 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
Current children cumulated CPU time: 3184.01 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 3160752 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.26 4.34 5/326 186711
/proc/meminfo: memFree=67031528/131655788 swapFree=131070448/131071996
[pid=184090] ppid=184087 vsize=19173712 memory=3135900 CPUtime=3248.01 cores=5,7
/proc/184090/stat : 184090 (java) S 184087 184090 179511 0 -1 1077936128 3860113 0 0 0 321065 3736 0 0 20 0 20 0 18731692 19633881088 783975 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
/proc/184090/statm: 4793428 783975 5959 1 0 796469 0
[pid=184090/tid=184092] ppid=184087 vsize=19173712 memory=1904 CPUtime=2983.56 cores=5,7
/proc/184090/task/184092/stat : 184092 (java) R 184087 184090 179511 0 -1 4194368 3405009 0 0 0 295097 3259 0 0 20 0 20 0 18731692 19633881088 783975 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 7659 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184101] ppid=184087 vsize=19173712 memory=139734211208017 CPUtime=0 cores=5,7
/proc/184090/task/184101/stat : 184101 (Finalizer) S 184087 184090 179511 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18731696 19633881088 783975 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184108] ppid=184087 vsize=19173712 memory=3135900 CPUtime=0 cores=5,7
/proc/184090/task/184108/stat : 184108 (Common-Cleaner) S 184087 184090 179511 0 -1 1077936192 1596 0 0 0 0 0 0 0 20 0 20 0 18731697 19633881088 783975 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184109] ppid=184087 vsize=19173712 memory=3135900 CPUtime=0 cores=5,7
/proc/184090/task/184109/stat : 184109 (Timer-0) S 184087 184090 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18731737 19633881088 783975 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
Current children cumulated CPU time: 3248.01 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 3135900 KiB

[startup+3222.3 s]
/proc/loadavg: 4.35 4.30 4.35 5/325 186721
/proc/meminfo: memFree=66244044/131655788 swapFree=131070448/131071996
[pid=184090] ppid=184087 vsize=19173712 memory=2935696 CPUtime=3312.13 cores=5,7
/proc/184090/stat : 184090 (java) S 184087 184090 179511 0 -1 1077936128 3932995 0 0 0 327416 3797 0 0 20 0 20 0 18731692 19633881088 733924 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
/proc/184090/statm: 4793428 733924 5959 1 0 746357 0
[pid=184090/tid=184092] ppid=184087 vsize=19173712 memory=3135900 CPUtime=3040.98 cores=5,7
/proc/184090/task/184092/stat : 184092 (java) R 184087 184090 179511 0 -1 4194368 3475822 0 0 0 300787 3311 0 0 20 0 20 0 18731692 19633881088 733924 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 7745 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184101] ppid=184087 vsize=19173712 memory=2885820 CPUtime=0 cores=5,7
/proc/184090/task/184101/stat : 184101 (Finalizer) S 184087 184090 179511 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18731696 19633881088 733924 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184108] ppid=184087 vsize=19173712 memory=3077156 CPUtime=0 cores=5,7
/proc/184090/task/184108/stat : 184108 (Common-Cleaner) S 184087 184090 179511 0 -1 1077936192 1596 0 0 0 0 0 0 0 20 0 20 0 18731697 19633881088 733924 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184109] ppid=184087 vsize=19173712 memory=11932 CPUtime=0 cores=5,7
/proc/184090/task/184109/stat : 184109 (Timer-0) S 184087 184090 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18731737 19633881088 733924 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
Current children cumulated CPU time: 3312.13 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 2935696 KiB

[startup+3282.3 s]
/proc/loadavg: 4.41 4.32 4.36 5/326 186734
/proc/meminfo: memFree=65771152/131655788 swapFree=131070448/131071996
[pid=184090] ppid=184087 vsize=19173712 memory=2935900 CPUtime=3362.47 cores=5,7
/proc/184090/stat : 184090 (java) S 184087 184090 179511 0 -1 1077936128 3950643 0 0 0 332416 3831 0 0 20 0 20 0 18731692 19633881088 733975 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
/proc/184090/statm: 4793428 733975 5959 1 0 746357 0
[pid=184090/tid=184092] ppid=184087 vsize=19173712 memory=2935900 CPUtime=3087.28 cores=5,7
/proc/184090/task/184092/stat : 184092 (java) R 184087 184090 179511 0 -1 4194368 3479030 0 0 0 305390 3338 0 0 20 0 20 0 18731692 19633881088 733975 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8998 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184101] ppid=184087 vsize=19173712 memory=11932 CPUtime=0 cores=5,7
/proc/184090/task/184101/stat : 184101 (Finalizer) S 184087 184090 179511 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18731696 19633881088 733975 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184108] ppid=184087 vsize=19173712 memory=68104 CPUtime=0 cores=5,7
/proc/184090/task/184108/stat : 184108 (Common-Cleaner) S 184087 184090 179511 0 -1 1077936192 1624 0 0 0 0 0 0 0 20 0 20 0 18731697 19633881088 733975 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184109] ppid=184087 vsize=19173712 memory=5572 CPUtime=0 cores=5,7
/proc/184090/task/184109/stat : 184109 (Timer-0) S 184087 184090 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18731737 19633881088 733975 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
Current children cumulated CPU time: 3362.47 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 2935900 KiB

[startup+3342.3 s]
/proc/loadavg: 4.69 4.40 4.39 4/326 186745
/proc/meminfo: memFree=64636732/131655788 swapFree=131070448/131071996
[pid=184090] ppid=184087 vsize=19173712 memory=2935904 CPUtime=3424.73 cores=5,7
/proc/184090/stat : 184090 (java) S 184087 184090 179511 0 -1 1077936128 3955164 0 0 0 338604 3869 0 0 20 0 20 0 18731692 19633881088 733976 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
/proc/184090/statm: 4793428 733976 5959 1 0 746357 0
[pid=184090/tid=184092] ppid=184087 vsize=19173712 memory=2935904 CPUtime=3143.75 cores=5,7
/proc/184090/task/184092/stat : 184092 (java) R 184087 184090 179511 0 -1 4194368 3483016 0 0 0 311005 3370 0 0 20 0 20 0 18731692 19633881088 733976 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 9163 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184101] ppid=184087 vsize=19173712 memory=2935904 CPUtime=0 cores=5,7
/proc/184090/task/184101/stat : 184101 (Finalizer) S 184087 184090 179511 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18731696 19633881088 733976 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184108] ppid=184087 vsize=19173712 memory=11932 CPUtime=0 cores=5,7
/proc/184090/task/184108/stat : 184108 (Common-Cleaner) S 184087 184090 179511 0 -1 1077936192 1631 0 0 0 0 0 0 0 20 0 20 0 18731697 19633881088 733976 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184109] ppid=184087 vsize=19173712 memory=11932 CPUtime=0 cores=5,7
/proc/184090/task/184109/stat : 184109 (Timer-0) S 184087 184090 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18731737 19633881088 733976 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
Current children cumulated CPU time: 3424.73 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 2935904 KiB

[startup+3402.3 s]
/proc/loadavg: 4.54 4.41 4.39 5/326 186759
/proc/meminfo: memFree=63249644/131655788 swapFree=131070448/131071996
[pid=184090] ppid=184087 vsize=19173712 memory=3302608 CPUtime=3488.74 cores=5,7
/proc/184090/stat : 184090 (java) S 184087 184090 179511 0 -1 1077936128 3956614 0 0 0 344948 3926 0 0 20 0 20 0 18731692 19633881088 825652 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
/proc/184090/statm: 4793428 825652 5959 1 0 838229 0
[pid=184090/tid=184092] ppid=184087 vsize=19173712 memory=2935904 CPUtime=3200.85 cores=5,7
/proc/184090/task/184092/stat : 184092 (java) R 184087 184090 179511 0 -1 4194368 3483433 0 0 0 316664 3421 0 0 20 0 20 0 18731692 19633881088 825652 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 9252 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184101] ppid=184087 vsize=19173712 memory=2935952 CPUtime=0 cores=5,7
/proc/184090/task/184101/stat : 184101 (Finalizer) S 184087 184090 179511 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18731696 19633881088 825652 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184108] ppid=184087 vsize=19173712 memory=5572 CPUtime=0 cores=5,7
/proc/184090/task/184108/stat : 184108 (Common-Cleaner) S 184087 184090 179511 0 -1 1077936192 1631 0 0 0 0 0 0 0 20 0 20 0 18731697 19633881088 825652 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184109] ppid=184087 vsize=19173712 memory=11932 CPUtime=0 cores=5,7
/proc/184090/task/184109/stat : 184109 (Timer-0) S 184087 184090 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18731737 19633881088 825652 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
Current children cumulated CPU time: 3488.74 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 3302608 KiB

[startup+3462.31 s]
/proc/loadavg: 4.48 4.41 4.38 5/326 186770
/proc/meminfo: memFree=62933132/131655788 swapFree=131070448/131071996
[pid=184090] ppid=184087 vsize=19173712 memory=3077536 CPUtime=3550.87 cores=5,7
/proc/184090/stat : 184090 (java) S 184087 184090 179511 0 -1 1077936128 4028197 0 0 0 351117 3970 0 0 20 0 20 0 18731692 19633881088 769384 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
/proc/184090/statm: 4793428 769384 5959 1 0 781853 0
[pid=184090/tid=184092] ppid=184087 vsize=19173712 memory=2935904 CPUtime=3257.72 cores=5,7
/proc/184090/task/184092/stat : 184092 (java) R 184087 184090 179511 0 -1 4194368 3550881 0 0 0 322314 3458 0 0 20 0 20 0 18731692 19633881088 769384 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 9397 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184101] ppid=184087 vsize=19173712 memory=11932 CPUtime=0 cores=5,7
/proc/184090/task/184101/stat : 184101 (Finalizer) S 184087 184090 179511 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18731696 19633881088 769384 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184108] ppid=184087 vsize=19173712 memory=-8670953654198248124 CPUtime=0 cores=5,7
/proc/184090/task/184108/stat : 184108 (Common-Cleaner) S 184087 184090 179511 0 -1 1077936192 1631 0 0 0 0 0 0 0 20 0 20 0 18731697 19633881088 769384 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184109] ppid=184087 vsize=19173712 memory=3077536 CPUtime=0 cores=5,7
/proc/184090/task/184109/stat : 184109 (Timer-0) S 184087 184090 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18731737 19633881088 769384 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
Current children cumulated CPU time: 3550.87 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 3077536 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3508.5 s]
/proc/loadavg: 4.38 4.40 4.38 5/326 186779
/proc/meminfo: memFree=61801420/131655788 swapFree=131070448/131071996
[pid=184090] ppid=184087 vsize=19173712 memory=3352756 CPUtime=3600.07 cores=5,7
/proc/184090/stat : 184090 (java) S 184087 184090 179511 0 -1 1077936128 4046303 0 0 0 355986 4021 0 0 20 0 20 0 18731692 19633881088 838189 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
/proc/184090/statm: 4793428 838189 5959 1 0 850757 0
[pid=184090/tid=184092] ppid=184087 vsize=19173712 memory=-8670953654198248124 CPUtime=3301.02 cores=5,7
/proc/184090/task/184092/stat : 184092 (java) R 184087 184090 179511 0 -1 4194368 3551651 0 0 0 326600 3502 0 0 20 0 20 0 18731692 19633881088 838189 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 9502 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184101] ppid=184087 vsize=19173712 memory=3077536 CPUtime=0 cores=5,7
/proc/184090/task/184101/stat : 184101 (Finalizer) S 184087 184090 179511 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18731696 19633881088 838189 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184108] ppid=184087 vsize=19173712 memory=3352756 CPUtime=0 cores=5,7
/proc/184090/task/184108/stat : 184108 (Common-Cleaner) S 184087 184090 179511 0 -1 1077936192 1631 0 0 0 0 0 0 0 20 0 20 0 18731697 19633881088 838189 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
[pid=184090/tid=184109] ppid=184087 vsize=19173712 memory=11932 CPUtime=0 cores=5,7
/proc/184090/task/184109/stat : 184109 (Timer-0) S 184087 184090 179511 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18731737 19633881088 838189 134679101440 94009121943552 94009121947248 140729621687728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94009121955064 94009121955856 94009146191872 140729621689259 140729621689441 140729621689441 140729621696456 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 3352756 KiB

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

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

# cumulated CPU time of all completed processes:  user=3560.37 s, system=40.2727 s

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

[startup+3508.8 s]*
/proc/loadavg: 4.38 4.40 4.38 9/308 186782
/proc/meminfo: memFree=65131832/131655788 swapFree=131070448/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3508.91
CPU time (s): 3600.64
CPU user time (s): 3560.37
CPU system time (s): 40.2727
CPU usage (%): 102.614
Max. virtual memory (cumulated for all children) (KiB): 19373404
Max. memory (cumulated for all children) (KiB): 6467036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.37
system time used= 40.2727
maximum resident set size= 6467040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4048673
page faults= 0
swaps= 0
block input operations= 0
block output operations= 51297200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 144640
involuntary context switches= 19186


# summary of solver processes directly reported to runsolver:
#   pid: 184090
#   total CPU time (s): 3600.64
#   total CPU user time (s): 3560.37
#   total CPU system time (s): 40.2727

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.8502 second user time and 33.5141 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-24 15:23:40
IDJOB=4440593
IDBENCH=158621
IDSOLVER=3079
FILE ID=nodeC012/4440593-1721827420
RUNJOBID= nodeC012-1721820326-179524
SLURM_JOB_ID= 7891468
Free space on /tmp= 723704 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
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 --file-size-limit 102400 -w /tmp/evaluation-result-4440593-1721827420/watcher-4440593-1721827420 -o /tmp/evaluation-result-4440593-1721827420/solver-4440593-1721827420 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721820326-179524 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440593-1721827420 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440593-1721827420.opb

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

MD5SUM BENCH= a64beba99ddb27280a5fb75072b9e119
RANDOM SEED=892591156

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        84826272 kB
MemAvailable:   102877352 kB
Buffers:          268360 kB
Cached:         18561372 kB
SwapCached:           72 kB
Active:          2615016 kB
Inactive:       43504164 kB
Active(anon):       1452 kB
Inactive(anon): 27341136 kB
Active(file):    2613564 kB
Inactive(file): 16163028 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070448 kB
Dirty:             34576 kB
Writeback:             0 kB
AnonPages:      27285828 kB
Mapped:           135736 kB
Shmem:             53368 kB
KReclaimable:     229040 kB
Slab:             343240 kB
SReclaimable:     229040 kB
SUnreclaim:       114200 kB
KernelStack:        5008 kB
PageTables:        63708 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   34890392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            15136 kB
HardwareCorrupted:     0 kB
AnonHugePages:  26839040 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      402248 kB
DirectMap2M:    55076864 kB
DirectMap1G:    80740352 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC012 at 2024-07-24 16:22:09