Trace number 4440522

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)8810517 3600.38 3627.65

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_4.opb
MD5SUM7079e2ef0385c9f74a24551721d50a52
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3971977
Best CPU time to get the best result obtained on this benchmark338.862
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 119095488
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 53595180278
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 119095488
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 53595180278
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	Expensive reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	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.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c Expensive reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	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.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4440522-1721820851.opb
0.14/0.12	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.13	c  objective function found
0.34/0.27	c ... done. Wall clock time 0.142s.
0.34/0.27	c declared #vars     5100
0.34/0.27	c #constraints  12512
0.34/0.27	c constraints type 
0.34/0.27	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850
0.34/0.27	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
0.34/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375
0.34/0.27	c org.sat4j.specs.Constr$1 => 2
0.34/0.27	c org.sat4j.pb.constraints.pb.UnitClausesPB => 2
0.34/0.27	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276
0.34/0.27	c 12512 constraints processed.
0.34/0.28	c objective function length is 4950 literals
1.11/0.68	c SATISFIABLE
1.11/0.68	c OPTIMIZING...
1.11/0.68	c Got one! Elapsed wall clock time (in seconds):0.553
1.11/0.68	o 8881539
5.25/3.27	c cleaning 2639 clauses out of 5299 with flag 11182/5299
7.84/5.63	c cleaning 4319 clauses out of 8660 with flag 23182/11299
10.58/8.36	c cleaning 5657 clauses out of 11340 with flag 37180/18298
13.78/11.46	c cleaning 6828 clauses out of 13684 with flag 53184/26299
17.51/15.01	c cleaning 7913 clauses out of 15856 with flag 71184/35299
21.07/18.59	c cleaning 8960 clauses out of 17943 with flag 91184/45299
25.17/22.53	c cleaning 9979 clauses out of 19982 with flag 113182/56298
29.73/26.99	c cleaning 10986 clauses out of 22003 with flag 137182/68298
34.46/31.65	c cleaning 11994 clauses out of 24017 with flag 163182/81298
39.68/37.11	c cleaning 12996 clauses out of 26023 with flag 191182/95298
45.41/42.65	c cleaning 13999 clauses out of 28027 with flag 221182/110298
51.33/48.41	c cleaning 14999 clauses out of 30030 with flag 253186/126300
57.50/54.44	c cleaning 15998 clauses out of 32031 with flag 287186/143300
64.07/60.87	c cleaning 16997 clauses out of 34032 with flag 323184/161299
68.67/65.23	c cleaning 17990 clauses out of 35999 with flag 363414/180299
71.42/67.88	c cleaning 19004 clauses out of 38008 with flag 405335/200298
73.66/69.92	c Got one! Elapsed wall clock time (in seconds):69.799
73.66/69.92	o 8880091
74.74/70.80	c cleaning 18965 clauses out of 37940 with flag 10254/219247
75.54/71.63	c cleaning 12478 clauses out of 24974 with flag 22390/225246
76.43/72.54	c cleaning 9744 clauses out of 19497 with flag 36537/232247
77.53/73.62	c cleaning 8865 clauses out of 17752 with flag 52882/240246
78.72/74.85	c cleaning 8934 clauses out of 17887 with flag 71269/249246
80.03/76.19	c cleaning 9469 clauses out of 18953 with flag 91470/259246
81.52/77.66	c cleaning 10234 clauses out of 20484 with flag 113882/270246
83.11/79.25	c cleaning 11120 clauses out of 22252 with flag 138529/282248
84.92/81.06	c cleaning 12055 clauses out of 24130 with flag 164963/295246
86.91/83.01	c cleaning 13028 clauses out of 26078 with flag 193475/309249
89.06/85.13	c cleaning 14016 clauses out of 28047 with flag 223940/324246
91.25/87.32	c cleaning 15009 clauses out of 30033 with flag 256883/340248
93.55/89.68	c cleaning 16005 clauses out of 32023 with flag 291546/357247
96.05/92.12	c cleaning 17001 clauses out of 34017 with flag 328160/375246
98.60/95.17	c cleaning 17999 clauses out of 36016 with flag 366933/394246
101.55/98.06	c cleaning 18997 clauses out of 38017 with flag 407671/414246
104.54/101.00	c cleaning 20001 clauses out of 40021 with flag 450916/435247
107.53/104.09	c cleaning 21000 clauses out of 42019 with flag 495894/457246
110.92/107.40	c cleaning 21997 clauses out of 44019 with flag 542826/480246
114.31/110.87	c cleaning 22999 clauses out of 46022 with flag 591759/504246
117.95/114.48	c cleaning 24006 clauses out of 48023 with flag 642618/529246
121.65/118.11	c cleaning 25000 clauses out of 50017 with flag 695712/555246
125.43/121.90	c cleaning 25998 clauses out of 52017 with flag 750774/582246
129.36/126.08	c cleaning 27002 clauses out of 54020 with flag 808156/610247
133.61/130.37	c cleaning 27998 clauses out of 56017 with flag 867434/639246
137.98/134.75	c cleaning 29000 clauses out of 58019 with flag 928907/669246
142.43/139.23	c cleaning 30000 clauses out of 60019 with flag 992085/700246
147.15/143.98	c cleaning 30999 clauses out of 62019 with flag 1057584/732246
152.10/148.92	c cleaning 31996 clauses out of 64021 with flag 1124863/765247
157.05/153.93	c cleaning 33006 clauses out of 66024 with flag 1194194/799246
162.10/159.20	c cleaning 33998 clauses out of 68018 with flag 1266024/834246
167.15/164.26	c cleaning 35003 clauses out of 70020 with flag 1339836/870246
172.58/169.63	c cleaning 35998 clauses out of 72018 with flag 1415539/907247
177.83/174.97	c cleaning 36998 clauses out of 74021 with flag 1493010/945248
183.67/180.80	c cleaning 38001 clauses out of 76021 with flag 1572763/984246
189.42/186.78	c cleaning 39003 clauses out of 78021 with flag 1654482/1024247
195.08/192.46	c cleaning 39999 clauses out of 80018 with flag 1738197/1065247
201.64/198.94	c cleaning 40999 clauses out of 82018 with flag 1824128/1107246
208.13/205.46	c cleaning 41994 clauses out of 84019 with flag 1911820/1150246
215.01/212.31	c cleaning 43003 clauses out of 86026 with flag 2001683/1194247
221.95/219.33	c cleaning 44001 clauses out of 88024 with flag 2093543/1239248
228.54/226.00	c cleaning 45001 clauses out of 90021 with flag 2187641/1285246
235.67/233.04	c cleaning 46000 clauses out of 92021 with flag 2283741/1332247
243.04/240.40	c cleaning 47003 clauses out of 94021 with flag 2381985/1380247
250.60/248.07	c cleaning 48003 clauses out of 96017 with flag 2482509/1429246
258.18/255.67	c cleaning 48993 clauses out of 98014 with flag 2584634/1479246
266.22/263.68	c cleaning 49998 clauses out of 100022 with flag 2688773/1530247
274.61/272.08	c cleaning 51001 clauses out of 102024 with flag 2794806/1582247
282.68/284.32	c cleaning 52002 clauses out of 104022 with flag 2902880/1635246
290.66/292.30	c cleaning 52995 clauses out of 106020 with flag 3013162/1689246
298.88/300.58	c cleaning 53999 clauses out of 108026 with flag 3125135/1744247
307.26/308.94	c cleaning 55005 clauses out of 110027 with flag 3239680/1800247
309.98/311.66	c Got one! Elapsed wall clock time (in seconds):311.537
309.98/311.66	o 8810517
310.91/312.55	c cleaning 40277 clauses out of 80572 with flag 10656/1825803
311.92/313.55	c cleaning 23145 clauses out of 46295 with flag 24318/1831803
312.81/314.55	c cleaning 15067 clauses out of 30150 with flag 39365/1838803
314.37/316.04	c cleaning 11533 clauses out of 23080 with flag 58997/1846803
315.65/317.32	c cleaning 10267 clauses out of 20547 with flag 77889/1855803
317.06/318.71	c cleaning 10134 clauses out of 20280 with flag 98152/1865803
318.55/320.25	c cleaning 10569 clauses out of 21146 with flag 120332/1876803
320.25/321.92	c cleaning 11284 clauses out of 22577 with flag 144599/1888803
322.05/323.79	c cleaning 12142 clauses out of 24294 with flag 171073/1901804
324.27/325.90	c cleaning 13071 clauses out of 26151 with flag 199389/1915803
326.47/328.12	c cleaning 14037 clauses out of 28080 with flag 229707/1930803
328.86/330.52	c cleaning 15020 clauses out of 30043 with flag 262019/1946803
331.46/333.11	c cleaning 16012 clauses out of 32023 with flag 296437/1963803
334.14/335.89	c cleaning 17005 clauses out of 34011 with flag 332906/1981803
337.14/338.82	c cleaning 18004 clauses out of 36007 with flag 371564/2000804
340.24/341.94	c cleaning 18997 clauses out of 38003 with flag 412013/2020804
343.63/345.58	c cleaning 20003 clauses out of 40006 with flag 454498/2041804
347.02/348.95	c cleaning 20999 clauses out of 42003 with flag 499209/2063804
350.61/352.55	c cleaning 22002 clauses out of 44003 with flag 545794/2086803
354.31/356.25	c cleaning 22998 clauses out of 46001 with flag 594577/2110803
358.23/360.14	c cleaning 23999 clauses out of 48004 with flag 645254/2135804
362.22/364.19	c cleaning 24997 clauses out of 50004 with flag 697952/2161803
366.50/368.41	c cleaning 25998 clauses out of 52007 with flag 752641/2188803
370.70/372.69	c cleaning 27004 clauses out of 54009 with flag 809323/2216803
375.36/377.51	c cleaning 28000 clauses out of 56005 with flag 867954/2245803
380.25/382.47	c cleaning 29001 clauses out of 58005 with flag 928819/2275803
385.43/387.64	c cleaning 30002 clauses out of 60004 with flag 991728/2306803
390.72/392.90	c cleaning 31000 clauses out of 62003 with flag 1056777/2338804
396.06/398.39	c cleaning 31999 clauses out of 64003 with flag 1123872/2371804
401.91/404.22	c cleaning 32999 clauses out of 66003 with flag 1193365/2405803
407.67/410.26	c cleaning 33999 clauses out of 68006 with flag 1264396/2440805
413.52/416.17	c cleaning 35001 clauses out of 70005 with flag 1337458/2476803
419.66/422.36	c cleaning 35997 clauses out of 72005 with flag 1412605/2513804
425.71/428.47	c cleaning 37000 clauses out of 74007 with flag 1489623/2551803
431.96/434.71	c cleaning 37997 clauses out of 76008 with flag 1568617/2590804
438.50/441.43	c cleaning 39002 clauses out of 78010 with flag 1649718/2630803
445.14/448.19	c cleaning 39998 clauses out of 80009 with flag 1732674/2671804
452.36/455.41	c cleaning 41001 clauses out of 82011 with flag 1817775/2713804
459.43/462.57	c cleaning 41999 clauses out of 84010 with flag 1905057/2756804
466.81/470.14	c cleaning 43005 clauses out of 86011 with flag 1994283/2800804
474.78/478.16	c cleaning 44002 clauses out of 88006 with flag 2085940/2845804
482.79/486.20	c cleaning 44998 clauses out of 90005 with flag 2179440/2891805
490.93/494.45	c cleaning 46000 clauses out of 92006 with flag 2274762/2938804
498.71/502.48	c cleaning 46997 clauses out of 94005 with flag 2372103/2986803
506.69/510.43	c cleaning 47998 clauses out of 96008 with flag 2471539/3035803
515.01/518.85	c cleaning 49000 clauses out of 98010 with flag 2573168/3085803
523.67/527.51	c cleaning 50002 clauses out of 100010 with flag 2676644/3136803
532.34/536.45	c cleaning 51005 clauses out of 102009 with flag 2781996/3188804
541.31/545.42	c cleaning 52001 clauses out of 104004 with flag 2889497/3241804
550.22/554.44	c cleaning 52997 clauses out of 106002 with flag 2998904/3295803
559.66/564.04	c cleaning 54001 clauses out of 108005 with flag 3110394/3350803
568.86/573.34	c cleaning 55000 clauses out of 110005 with flag 3223833/3406804
578.72/583.22	c cleaning 55999 clauses out of 112005 with flag 3339232/3463804
588.70/593.52	c cleaning 56999 clauses out of 114006 with flag 3456954/3521804
598.73/603.68	c cleaning 57996 clauses out of 116006 with flag 3576587/3580803
609.01/613.95	c cleaning 59004 clauses out of 118011 with flag 3698306/3640804
619.57/624.74	c cleaning 60000 clauses out of 120006 with flag 3822353/3701803
630.76/635.97	c cleaning 61004 clauses out of 122007 with flag 3948378/3763804
641.61/646.85	c cleaning 61990 clauses out of 124003 with flag 4076501/3826804
652.31/657.86	c cleaning 62998 clauses out of 126012 with flag 4206441/3890803
663.44/668.97	c cleaning 64003 clauses out of 128015 with flag 4338352/3955804
674.91/680.41	c cleaning 65004 clauses out of 130012 with flag 4472243/4021804
686.54/692.20	c cleaning 65998 clauses out of 132007 with flag 4608232/4088803
697.97/703.67	c cleaning 66997 clauses out of 134009 with flag 4745972/4156803
710.30/716.31	c cleaning 68001 clauses out of 136012 with flag 4885744/4225803
722.33/728.39	c cleaning 69002 clauses out of 138012 with flag 5027582/4295804
734.47/740.44	c cleaning 69999 clauses out of 140009 with flag 5171195/4366803
746.46/752.77	c cleaning 71000 clauses out of 142010 with flag 5317069/4438803
758.89/765.17	c cleaning 72002 clauses out of 144011 with flag 5464910/4511804
771.50/777.97	c cleaning 73001 clauses out of 146009 with flag 5614695/4585804
784.76/791.16	c cleaning 74002 clauses out of 148009 with flag 5766585/4660805
798.21/804.63	c cleaning 74998 clauses out of 150006 with flag 5920516/4736804
811.76/818.34	c cleaning 75997 clauses out of 152007 with flag 6076302/4813803
825.89/832.48	c cleaning 77002 clauses out of 154010 with flag 6234326/4891803
840.68/847.33	c cleaning 78002 clauses out of 156009 with flag 6394219/4970804
855.15/861.74	c cleaning 78997 clauses out of 158007 with flag 6556326/5050804
869.52/876.39	c cleaning 80002 clauses out of 160010 with flag 6720422/5131804
885.36/892.17	c cleaning 80998 clauses out of 162007 with flag 6886320/5213803
900.40/907.39	c cleaning 81998 clauses out of 164010 with flag 7054220/5296804
915.65/922.57	c cleaning 83001 clauses out of 166011 with flag 7224445/5380803
932.29/940.64	c cleaning 83997 clauses out of 168010 with flag 7396511/5465803
948.54/956.83	c cleaning 85007 clauses out of 170013 with flag 7570463/5551803
965.80/974.21	c cleaning 86000 clauses out of 172006 with flag 7746593/5638803
981.74/990.15	c cleaning 87000 clauses out of 174006 with flag 7924761/5726803
997.28/1005.79	c cleaning 87998 clauses out of 176008 with flag 8104872/5815805
1013.24/1021.69	c cleaning 88994 clauses out of 178008 with flag 8286953/5905803
1029.10/1037.52	c cleaning 90003 clauses out of 180015 with flag 8471322/5996804
1045.64/1054.05	c cleaning 91002 clauses out of 182011 with flag 8657595/6088803
1062.28/1070.75	c cleaning 92000 clauses out of 184010 with flag 8846088/6181804
1079.10/1087.69	c cleaning 93000 clauses out of 186009 with flag 9036227/6275803
1096.33/1104.85	c cleaning 93999 clauses out of 188009 with flag 9228780/6370803
1113.98/1122.51	c cleaning 94999 clauses out of 190011 with flag 9423160/6466804
1131.30/1139.81	c cleaning 96005 clauses out of 192012 with flag 9619761/6563804
1149.33/1157.96	c cleaning 96999 clauses out of 194007 with flag 9818533/6661804
1167.19/1175.72	c cleaning 98001 clauses out of 196007 with flag 10019542/6760803
1185.11/1193.72	c cleaning 98996 clauses out of 198007 with flag 10222117/6860804
1203.94/1212.68	c cleaning 100001 clauses out of 200011 with flag 10427113/6961804
1223.88/1232.58	c cleaning 101000 clauses out of 202010 with flag 10633999/7063804
1242.42/1251.19	c cleaning 102003 clauses out of 204010 with flag 10842819/7166804
1261.61/1270.28	c cleaning 103003 clauses out of 206007 with flag 11053430/7270804
1281.55/1290.25	c cleaning 103999 clauses out of 208004 with flag 11266765/7375804
1301.55/1310.37	c cleaning 104998 clauses out of 210004 with flag 11481812/7481803
1323.35/1332.14	c cleaning 105999 clauses out of 212006 with flag 11698652/7588803
1344.85/1353.60	c cleaning 106998 clauses out of 214008 with flag 11917729/7696804
1365.11/1373.91	c cleaning 107993 clauses out of 216009 with flag 12139129/7805803
1384.93/1393.72	c cleaning 109000 clauses out of 218017 with flag 12362438/7915804
1406.12/1414.92	c cleaning 110000 clauses out of 220017 with flag 12587677/8026804
1427.05/1435.97	c cleaning 111002 clauses out of 222016 with flag 12815360/8138803
1448.35/1457.39	c cleaning 111999 clauses out of 224014 with flag 13044881/8251803
1470.10/1479.09	c cleaning 113006 clauses out of 226015 with flag 13276804/8365803
1491.61/1500.61	c cleaning 114002 clauses out of 228009 with flag 13510078/8480803
1514.98/1524.09	c cleaning 115001 clauses out of 230008 with flag 13745250/8596804
1536.70/1545.77	c cleaning 116002 clauses out of 232007 with flag 13982678/8713804
1559.87/1568.83	c cleaning 116992 clauses out of 234004 with flag 14222243/8831803
1581.72/1590.89	c cleaning 118002 clauses out of 236013 with flag 14463404/8950804
1604.50/1613.76	c cleaning 118999 clauses out of 238011 with flag 14706718/9070804
1627.83/1637.06	c cleaning 120002 clauses out of 240011 with flag 14952097/9191803
1650.32/1659.69	c cleaning 120993 clauses out of 242010 with flag 15199161/9313804
1673.05/1682.85	c cleaning 122007 clauses out of 244017 with flag 15448330/9436804
1695.89/1705.86	c cleaning 123001 clauses out of 246009 with flag 15699693/9560803
1720.22/1730.11	c cleaning 124003 clauses out of 248009 with flag 15953204/9685804
1744.52/1754.62	c cleaning 124996 clauses out of 250005 with flag 16209155/9811803
1769.38/1779.58	c cleaning 125999 clauses out of 252010 with flag 16467310/9938804
1793.46/1803.79	c cleaning 126999 clauses out of 254011 with flag 16726870/10066804
1818.77/1829.10	c cleaning 128001 clauses out of 256011 with flag 16988467/10195803
1844.03/1854.48	c cleaning 129004 clauses out of 258011 with flag 17251936/10325804
1870.41/1881.09	c cleaning 129997 clauses out of 260006 with flag 17517643/10456803
1896.32/1907.23	c cleaning 131003 clauses out of 262010 with flag 17785680/10588804
1923.41/1934.60	c cleaning 131998 clauses out of 264006 with flag 18055586/10721803
1950.75/1962.22	c cleaning 132998 clauses out of 266008 with flag 18327315/10855803
1978.68/1990.47	c cleaning 134000 clauses out of 268010 with flag 18600877/10990803
2005.14/2017.17	c cleaning 134998 clauses out of 270010 with flag 18876662/11126803
2032.40/2044.43	c cleaning 136001 clauses out of 272012 with flag 19154390/11263803
2059.19/2071.48	c cleaning 137003 clauses out of 274012 with flag 19434109/11401804
2086.52/2098.96	c cleaning 137999 clauses out of 276008 with flag 19716091/11540803
2111.78/2124.44	c cleaning 138994 clauses out of 278011 with flag 19999963/11680805
2139.01/2151.99	c cleaning 140004 clauses out of 280016 with flag 20286146/11821804
2168.93/2182.17	c cleaning 141001 clauses out of 282012 with flag 20574753/11963804
2196.98/2210.42	c cleaning 142001 clauses out of 284011 with flag 20865948/12106804
2225.93/2239.42	c cleaning 142996 clauses out of 286009 with flag 21159017/12250803
2253.81/2267.40	c cleaning 144003 clauses out of 288014 with flag 21453271/12395804
2280.99/2294.73	c cleaning 144996 clauses out of 290011 with flag 21749088/12541804
2309.76/2323.65	c cleaning 145998 clauses out of 292014 with flag 22046925/12688803
2337.83/2351.87	c cleaning 147005 clauses out of 294017 with flag 22347050/12836804
2365.85/2379.91	c cleaning 148002 clauses out of 296012 with flag 22648836/12985804
2396.77/2410.90	c cleaning 149004 clauses out of 298009 with flag 22952799/13135803
2425.46/2439.63	c cleaning 149999 clauses out of 300006 with flag 23258343/13286804
2454.56/2468.72	c cleaning 150997 clauses out of 302007 with flag 23566369/13438804
2483.61/2498.34	c cleaning 151997 clauses out of 304009 with flag 23876293/13591803
2514.39/2529.21	c cleaning 152997 clauses out of 306012 with flag 24188478/13745803
2545.62/2560.52	c cleaning 154001 clauses out of 308015 with flag 24502777/13900803
2576.65/2591.71	c cleaning 154998 clauses out of 310015 with flag 24819142/14056804
2606.99/2622.33	c cleaning 156003 clauses out of 312017 with flag 25137389/14213804
2637.77/2653.42	c cleaning 157002 clauses out of 314014 with flag 25457881/14371804
2669.95/2686.09	c cleaning 158001 clauses out of 316011 with flag 25780431/14530803
2703.56/2719.98	c cleaning 159003 clauses out of 318011 with flag 26104865/14690804
2735.92/2752.88	c cleaning 159993 clauses out of 320007 with flag 26431004/14851803
2770.56/2787.74	c cleaning 161005 clauses out of 322014 with flag 26760321/15013803
2802.17/2819.47	c cleaning 162003 clauses out of 324009 with flag 27091007/15176803
2835.04/2852.40	c cleaning 163004 clauses out of 326007 with flag 27423539/15340804
2868.64/2886.63	c cleaning 164000 clauses out of 328003 with flag 27758185/15505804
2904.12/2922.37	c cleaning 164998 clauses out of 330003 with flag 28094685/15671804
2939.31/2957.55	c cleaning 165990 clauses out of 332004 with flag 28433747/15838803
2975.82/2994.28	c cleaning 167006 clauses out of 334014 with flag 28774468/16006803
3009.49/3027.97	c cleaning 167993 clauses out of 336009 with flag 29116967/16175804
3042.54/3061.00	c cleaning 169004 clauses out of 338015 with flag 29460891/16345803
3076.46/3095.12	c cleaning 170003 clauses out of 340012 with flag 29807365/16516804
3109.89/3128.67	c cleaning 170998 clauses out of 342008 with flag 30155938/16688803
3146.30/3165.49	c cleaning 172001 clauses out of 344010 with flag 30506256/16861803
3183.58/3202.71	c cleaning 172998 clauses out of 346009 with flag 30859179/17035803
3221.62/3241.62	c cleaning 174000 clauses out of 348012 with flag 31213519/17210804
3256.74/3276.88	c cleaning 174995 clauses out of 350012 with flag 31570031/17386804
3292.47/3312.63	c cleaning 176005 clauses out of 352016 with flag 31928098/17563803
3328.55/3353.79	c cleaning 176997 clauses out of 354011 with flag 32288433/17741803
3364.63/3389.99	c cleaning 178003 clauses out of 356014 with flag 32650817/17920803
3400.67/3426.05	c cleaning 179002 clauses out of 358011 with flag 33015062/18100803
3435.20/3461.04	c cleaning 179996 clauses out of 360009 with flag 33381341/18281803
3473.78/3499.79	c cleaning 181001 clauses out of 362014 with flag 33749987/18463804
3513.00/3539.13	c cleaning 182005 clauses out of 364013 with flag 34120355/18646804
3550.56/3576.64	c cleaning 183004 clauses out of 366007 with flag 34492290/18830803
3588.18/3615.54	c cleaning 183996 clauses out of 368004 with flag 34865564/19015804
3600.08/3627.43	c starts		: 15
3600.08/3627.43	c conflicts		: 19088580
3600.08/3627.43	c decisions		: 21711463
3600.08/3627.43	c propagations		: 227563142
3600.08/3627.43	c inspects		: 4098101870
3600.08/3627.43	c shortcuts		: 0
3600.08/3627.43	c learnt literals	: 58
3600.08/3627.43	c learnt binary clauses	: 20
3600.08/3627.43	c learnt ternary clauses	: 84
3600.08/3627.43	c learnt constraints	: 19088522
3600.08/3627.43	c ignored constraints	: 0
3600.08/3627.43	c root simplifications	: 0
3600.08/3627.43	c removed literals (reason simplification)	: 1550607534
3600.08/3627.43	c reason swapping (by a shorter reason)	: 0
3600.08/3627.43	c Calls to reduceDB	: 249
3600.08/3627.43	c Number of update (reduction) of LBD	: 263751
3600.08/3627.43	c Imported unit clauses	: 0
3600.08/3627.43	c No decision after first conflict	: false
3600.08/3627.43	c number of reductions to clauses (during analyze)	: 0
3600.08/3627.43	c number of learned constraints concerned by reduction	: 0
3600.08/3627.43	c number of learning phase by resolution	: 0
3600.08/3627.43	c number of learning phase by cutting planes	: 0
3600.08/3627.43	c number of rounding to 1 operations	: 0
3600.08/3627.43	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3627.43	c number of reductions of the coefficients by power 2 	: 0
3600.08/3627.43	c number of right shift for reduction by power 2 	: 0
3600.08/3627.43	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3627.43	c number of ending skipping 	: 0
3600.08/3627.43	c number of internal skipping 	: 0
3600.08/3627.43	c number of derivation steps 	: 0
3600.08/3627.43	c number of skipped derivation steps 	: 0
3600.08/3627.43	c number of remaining unassigned 	: 0
3600.08/3627.43	c number of remaining assigned 	: 0
3600.08/3627.43	c number of falsified literals weakened from reason	: 0
3600.08/3627.43	c number of falsified literals weakened from conflict	: 0
3600.08/3627.43	c time for arithmetic operations	: 0
3600.08/3627.43	c minimum degree of deleted constraints	: null
3600.08/3627.43	c maximum degree of deleted constraints	: null
3600.08/3627.44	c number of deleted constraints	: 0
3600.08/3627.44	c speed (assignments/second)	: 62739.018824478466
3600.08/3627.44	c non guided choices	: 200
3600.28/3627.52	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 256764
3600.28/3627.52	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 20
3600.28/3627.52	s SATISFIABLE
3600.28/3627.52	c Found 3 solution(s)
3600.28/3627.52	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 
3600.28/3627.54	c objective function=8810517
3600.28/3627.54	c Total wall clock time (in seconds): 3627.412

Verifier Data 

OK	8810517

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: 63968 MiB (50753 MiB free)
  memory of node 1: 64473 MiB (61240 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=187095, runsolver pid=187092
Current StackSize limit: 8192 KiB


[startup+0.102013 s]*
/proc/loadavg: 4.24 4.19 4.10 9/335 187113
/proc/meminfo: memFree=114636872/131524600 swapFree=131055480/131071996
[pid=187095] ppid=187092 vsize=18975048 memory=65384 CPUtime=0.14 cores=1,3
/proc/187095/stat : 187095 (java) S 187092 187095 183872 0 -1 1077936128 7252 0 0 0 12 2 0 0 20 0 18 0 18608489 19430449152 16346 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
/proc/187095/statm: 4743762 16346 5696 1 0 549383 0
[pid=187095/tid=187097] ppid=187092 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/187095/task/187097/stat : 187097 (java) R 187092 187095 183872 0 -1 4194368 5773 0 0 0 8 1 0 0 20 0 18 0 18608489 19430449152 16346 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187106] ppid=187092 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/187095/task/187106/stat : 187106 (Finalizer) S 187092 187095 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18608492 19430449152 16346 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187113] ppid=187092 vsize=18975048 memory=15262540772067107 CPUtime=0 cores=1,3
/proc/187095/task/187113/stat : 187113 (Common-Cleaner) S 187092 187095 183872 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18608492 19430449152 16346 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65384 KiB

[startup+0.212121 s]*
/proc/loadavg: 4.24 4.19 4.10 8/335 187113
/proc/meminfo: memFree=114621280/131524600 swapFree=131055480/131071996
[pid=187095] ppid=187092 vsize=18975048 memory=81904 CPUtime=0.34 cores=1,3
/proc/187095/stat : 187095 (java) S 187092 187095 183872 0 -1 1077936128 7763 0 0 0 32 2 0 0 20 0 18 0 18608489 19430449152 20476 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
/proc/187095/statm: 4743762 20476 5792 1 0 549713 0
[pid=187095/tid=187097] ppid=187092 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=1,3
/proc/187095/task/187097/stat : 187097 (java) R 187092 187095 183872 0 -1 4194368 5968 0 0 0 18 2 0 0 20 0 18 0 18608489 19430449152 20476 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187106] ppid=187092 vsize=18975048 memory=1230895 CPUtime=0 cores=1,3
/proc/187095/task/187106/stat : 187106 (Finalizer) S 187092 187095 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18608492 19430449152 20476 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187113] ppid=187092 vsize=18975048 memory=13855165887284878 CPUtime=0 cores=1,3
/proc/187095/task/187113/stat : 187113 (Common-Cleaner) S 187092 187095 183872 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18608492 19430449152 20476 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 81904 KiB

[startup+0.30635 s]*
/proc/loadavg: 4.24 4.19 4.10 10/336 187114
/proc/meminfo: memFree=114599828/131524600 swapFree=131055480/131071996
[pid=187095] ppid=187092 vsize=19041612 memory=101496 CPUtime=0.53 cores=1,3
/proc/187095/stat : 187095 (java) S 187092 187095 183872 0 -1 1077936128 9524 0 0 0 50 3 0 0 20 0 19 0 18608489 19498610688 25374 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
/proc/187095/statm: 4760403 25374 5827 1 0 551164 0
[pid=187095/tid=187097] ppid=187092 vsize=19041612 memory=-9030960136526275260 CPUtime=0.28 cores=1,3
/proc/187095/task/187097/stat : 187097 (java) R 187092 187095 183872 0 -1 4194368 6070 0 0 0 26 2 0 0 20 0 19 0 18608489 19498610688 25374 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187106] ppid=187092 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/187095/task/187106/stat : 187106 (Finalizer) S 187092 187095 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18608492 19498610688 25374 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187113] ppid=187092 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/187095/task/187113/stat : 187113 (Common-Cleaner) S 187092 187095 183872 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18608492 19498610688 25374 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187114] ppid=187092 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/187095/task/187114/stat : 187114 (java) R 187092 187095 183872 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 19 0 18608519 19498610688 25374 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 101496 KiB

[startup+0.700355 s]
/proc/loadavg: 4.24 4.19 4.10 8/336 187114
/proc/meminfo: memFree=114580832/131524600 swapFree=131055480/131071996
[pid=187095] ppid=187092 vsize=19041612 memory=153016 CPUtime=1.29 cores=1,3
/proc/187095/stat : 187095 (java) S 187092 187095 183872 0 -1 1077936128 10125 0 0 0 124 5 0 0 20 0 19 0 18608489 19498610688 38254 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
/proc/187095/statm: 4760403 38254 5869 1 0 551466 0
[pid=187095/tid=187097] ppid=187092 vsize=19041612 memory=12304 CPUtime=0.58 cores=1,3
/proc/187095/task/187097/stat : 187097 (java) R 187092 187095 183872 0 -1 4194368 6133 0 0 0 55 3 0 0 20 0 19 0 18608489 19498610688 38254 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187106] ppid=187092 vsize=19041612 memory=12304 CPUtime=0 cores=1,3
/proc/187095/task/187106/stat : 187106 (Finalizer) S 187092 187095 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18608492 19498610688 38254 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187113] ppid=187092 vsize=19041612 memory=117636 CPUtime=0 cores=1,3
/proc/187095/task/187113/stat : 187113 (Common-Cleaner) S 187092 187095 183872 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18608492 19498610688 38254 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187114] ppid=187092 vsize=19041612 memory=25596 CPUtime=0 cores=1,3
/proc/187095/task/187114/stat : 187114 (Timer-0) S 187092 187095 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18608519 19498610688 38254 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 153016 KiB

[startup+1.50365 s]
/proc/loadavg: 4.24 4.19 4.10 9/337 187115
/proc/meminfo: memFree=114513116/131524600 swapFree=131055480/131071996
[pid=187095] ppid=187092 vsize=19108176 memory=182864 CPUtime=2.86 cores=1,3
/proc/187095/stat : 187095 (java) S 187092 187095 183872 0 -1 1077936128 13310 0 0 0 280 6 0 0 20 0 20 0 18608489 19566772224 45716 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
/proc/187095/statm: 4777044 45716 5869 1 0 551873 0
[pid=187095/tid=187097] ppid=187092 vsize=19108176 memory=12304 CPUtime=1.33 cores=1,3
/proc/187095/task/187097/stat : 187097 (java) S 187092 187095 183872 0 -1 1077936192 6471 0 0 0 129 4 0 0 20 0 20 0 18608489 19566772224 45716 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187106] ppid=187092 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/187095/task/187106/stat : 187106 (Finalizer) S 187092 187095 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18608492 19566772224 45716 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187113] ppid=187092 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/187095/task/187113/stat : 187113 (Common-Cleaner) S 187092 187095 183872 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18608492 19566772224 45716 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187114] ppid=187092 vsize=19108176 memory=65 CPUtime=0 cores=1,3
/proc/187095/task/187114/stat : 187114 (Timer-0) S 187092 187095 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18608519 19566772224 45716 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 182864 KiB

[startup+3.10635 s]
/proc/loadavg: 4.38 4.22 4.11 5/337 187115
/proc/meminfo: memFree=114270624/131524600 swapFree=131055480/131071996
[pid=187095] ppid=187092 vsize=19108176 memory=387256 CPUtime=5.11 cores=1,3
/proc/187095/stat : 187095 (java) S 187092 187095 183872 0 -1 1077936128 16596 0 0 0 499 12 0 0 20 0 20 0 18608489 19566772224 96814 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
/proc/187095/statm: 4777044 96814 5869 1 0 692396 0
[pid=187095/tid=187097] ppid=187092 vsize=19108176 memory=0 CPUtime=2.82 cores=1,3
/proc/187095/task/187097/stat : 187097 (java) R 187092 187095 183872 0 -1 4194368 6898 0 0 0 274 8 0 0 20 0 20 0 18608489 19566772224 96814 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187106] ppid=187092 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/187095/task/187106/stat : 187106 (Finalizer) S 187092 187095 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18608492 19566772224 96814 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187113] ppid=187092 vsize=19108176 memory=191316 CPUtime=0 cores=1,3
/proc/187095/task/187113/stat : 187113 (Common-Cleaner) S 187092 187095 183872 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18608492 19566772224 96814 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187114] ppid=187092 vsize=19108176 memory=12304 CPUtime=0 cores=1,3
/proc/187095/task/187114/stat : 187114 (Timer-0) S 187092 187095 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18608519 19566772224 96814 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
Current children cumulated CPU time: 5.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 387256 KiB

[startup+6.30035 s]
/proc/loadavg: 4.38 4.22 4.11 6/337 187118
/proc/meminfo: memFree=113648540/131524600 swapFree=131055480/131071996
[pid=187095] ppid=187092 vsize=19108176 memory=983812 CPUtime=8.55 cores=1,3
/proc/187095/stat : 187095 (java) S 187092 187095 183872 0 -1 1077936128 18874 0 0 0 829 26 0 0 20 0 20 0 18608489 19566772224 245953 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
/proc/187095/statm: 4777044 245953 5869 1 0 826343 0
[pid=187095/tid=187097] ppid=187092 vsize=19108176 memory=12304 CPUtime=5.9 cores=1,3
/proc/187095/task/187097/stat : 187097 (java) R 187092 187095 183872 0 -1 4194368 7921 0 0 0 571 19 0 0 20 0 20 0 18608489 19566772224 245953 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187106] ppid=187092 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/187095/task/187106/stat : 187106 (Finalizer) S 187092 187095 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18608492 19566772224 245953 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187113] ppid=187092 vsize=19108176 memory=6155127043973009746 CPUtime=0 cores=1,3
/proc/187095/task/187113/stat : 187113 (Common-Cleaner) S 187092 187095 183872 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 18608492 19566772224 245953 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187114] ppid=187092 vsize=19108176 memory=5432 CPUtime=0 cores=1,3
/proc/187095/task/187114/stat : 187114 (Timer-0) S 187092 187095 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18608519 19566772224 245953 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
Current children cumulated CPU time: 8.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 983812 KiB

[startup+12.7003 s]
/proc/loadavg: 4.35 4.21 4.11 5/337 187118
/proc/meminfo: memFree=113000860/131524600 swapFree=131055480/131071996
[pid=187095] ppid=187092 vsize=19108176 memory=1280264 CPUtime=15.15 cores=1,3
/proc/187095/stat : 187095 (java) S 187092 187095 183872 0 -1 1077936128 19513 0 0 0 1479 36 0 0 20 0 20 0 18608489 19566772224 320066 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
/proc/187095/statm: 4777044 320066 5869 1 0 957946 0
[pid=187095/tid=187097] ppid=187092 vsize=19108176 memory=0 CPUtime=12 cores=1,3
/proc/187095/task/187097/stat : 187097 (java) R 187092 187095 183872 0 -1 4194368 8065 0 0 0 1173 27 0 0 20 0 20 0 18608489 19566772224 320066 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187106] ppid=187092 vsize=19108176 memory=1229660 CPUtime=0 cores=1,3
/proc/187095/task/187106/stat : 187106 (Finalizer) S 187092 187095 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18608492 19566772224 320066 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187113] ppid=187092 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/187095/task/187113/stat : 187113 (Common-Cleaner) S 187092 187095 183872 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 18608492 19566772224 320066 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187114] ppid=187092 vsize=19108176 memory=15884 CPUtime=0 cores=1,3
/proc/187095/task/187114/stat : 187114 (Timer-0) S 187092 187095 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18608519 19566772224 320066 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
Current children cumulated CPU time: 15.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1280264 KiB

[startup+25.5003 s]
/proc/loadavg: 4.35 4.22 4.11 5/337 187189
/proc/meminfo: memFree=112724464/131524600 swapFree=131055480/131071996
[pid=187095] ppid=187092 vsize=19108176 memory=1912860 CPUtime=28.25 cores=1,3
/proc/187095/stat : 187095 (java) S 187092 187095 183872 0 -1 1077936128 25259 0 0 0 2767 58 0 0 20 0 20 0 18608489 19566772224 478215 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
/proc/187095/statm: 4777044 478215 5884 1 0 958367 0
[pid=187095/tid=187097] ppid=187092 vsize=19108176 memory=1229660 CPUtime=24.39 cores=1,3
/proc/187095/task/187097/stat : 187097 (java) R 187092 187095 183872 0 -1 4194368 9690 0 0 0 2393 46 0 0 20 0 20 0 18608489 19566772224 478215 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187106] ppid=187092 vsize=19108176 memory=15884 CPUtime=0 cores=1,3
/proc/187095/task/187106/stat : 187106 (Finalizer) S 187092 187095 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18608492 19566772224 478215 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187113] ppid=187092 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/187095/task/187113/stat : 187113 (Common-Cleaner) S 187092 187095 183872 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 18608492 19566772224 478215 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187114] ppid=187092 vsize=19108176 memory=1016580 CPUtime=0 cores=1,3
/proc/187095/task/187114/stat : 187114 (Timer-0) S 187092 187095 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18608519 19566772224 478215 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
Current children cumulated CPU time: 28.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1912860 KiB

[startup+51.106 s]
/proc/loadavg: 4.49 4.27 4.13 4/338 187193
/proc/meminfo: memFree=107203456/131524600 swapFree=131055480/131071996
[pid=187095] ppid=187092 vsize=19108176 memory=2826276 CPUtime=54.04 cores=1,3
/proc/187095/stat : 187095 (java) S 187092 187095 183872 0 -1 1077936128 32761 0 0 0 5313 91 0 0 20 0 20 0 18608489 19566772224 706569 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
/proc/187095/statm: 4777044 706569 5884 1 0 1083694 0
[pid=187095/tid=187097] ppid=187092 vsize=19108176 memory=2296 CPUtime=48.84 cores=1,3
/proc/187095/task/187097/stat : 187097 (java) R 187092 187095 183872 0 -1 4194368 12175 0 0 0 4815 69 0 0 20 0 20 0 18608489 19566772224 706569 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 38 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0

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

/proc/187095/task/187106/stat : 187106 (Finalizer) S 187092 187095 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18608492 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187113] ppid=187092 vsize=19108176 memory=3244456 CPUtime=0 cores=1,3
/proc/187095/task/187113/stat : 187113 (Common-Cleaner) S 187092 187095 183872 0 -1 1077936192 3708 0 0 0 0 0 0 0 20 0 20 0 18608492 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187114] ppid=187092 vsize=19108176 memory=3244456 CPUtime=0 cores=1,3
/proc/187095/task/187114/stat : 187114 (Timer-0) S 187092 187095 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18608519 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
Current children cumulated CPU time: 3203.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3244456 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.15 4.16 5/338 189066
/proc/meminfo: memFree=46431628/131524600 swapFree=131055480/131071996
[pid=187095] ppid=187092 vsize=19108176 memory=3244456 CPUtime=3262.23 cores=1,3
/proc/187095/stat : 187095 (java) S 187092 187095 183872 0 -1 1077936128 251967 0 0 0 324891 1332 0 0 20 0 20 0 18608489 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
/proc/187095/statm: 4777044 811114 5884 1 0 823463 0
[pid=187095/tid=187097] ppid=187092 vsize=19108176 memory=11944 CPUtime=3230.34 cores=1,3
/proc/187095/task/187097/stat : 187097 (java) R 187092 187095 183872 0 -1 4194368 119400 0 0 0 321847 1187 0 0 20 0 20 0 18608489 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2222 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187106] ppid=187092 vsize=19108176 memory=3244456 CPUtime=0 cores=1,3
/proc/187095/task/187106/stat : 187106 (Finalizer) S 187092 187095 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18608492 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187113] ppid=187092 vsize=19108176 memory=68028 CPUtime=0 cores=1,3
/proc/187095/task/187113/stat : 187113 (Common-Cleaner) S 187092 187095 183872 0 -1 1077936192 3766 0 0 0 0 0 0 0 20 0 20 0 18608492 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187114] ppid=187092 vsize=19108176 memory=3244456 CPUtime=0 cores=1,3
/proc/187095/task/187114/stat : 187114 (Timer-0) S 187092 187095 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18608519 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
Current children cumulated CPU time: 3262.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3244456 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/339 189078
/proc/meminfo: memFree=45575652/131524600 swapFree=131055480/131071996
[pid=187095] ppid=187092 vsize=19108176 memory=3244456 CPUtime=3317.11 cores=1,3
/proc/187095/stat : 187095 (java) S 187092 187095 183872 0 -1 1077936128 254417 0 0 0 330361 1350 0 0 20 0 20 0 18608489 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
/proc/187095/statm: 4777044 811114 5884 1 0 823463 0
[pid=187095/tid=187097] ppid=187092 vsize=19108176 memory=3244456 CPUtime=3284.85 cores=1,3
/proc/187095/task/187097/stat : 187097 (java) R 187092 187095 183872 0 -1 4194368 120723 0 0 0 327281 1204 0 0 20 0 20 0 18608489 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2739 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187106] ppid=187092 vsize=19108176 memory=3244456 CPUtime=0 cores=1,3
/proc/187095/task/187106/stat : 187106 (Finalizer) S 187092 187095 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18608492 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187113] ppid=187092 vsize=19108176 memory=3244456 CPUtime=0 cores=1,3
/proc/187095/task/187113/stat : 187113 (Common-Cleaner) S 187092 187095 183872 0 -1 1077936192 3843 0 0 0 0 0 0 0 20 0 20 0 18608492 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187114] ppid=187092 vsize=19108176 memory=11944 CPUtime=0 cores=1,3
/proc/187095/task/187114/stat : 187114 (Timer-0) S 187092 187095 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18608519 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
Current children cumulated CPU time: 3317.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3244456 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.12 4.15 5/340 189148
/proc/meminfo: memFree=44640332/131524600 swapFree=131055480/131071996
[pid=187095] ppid=187092 vsize=19108176 memory=3244456 CPUtime=3376.9 cores=1,3
/proc/187095/stat : 187095 (java) S 187092 187095 183872 0 -1 1077936128 256885 0 0 0 336320 1370 0 0 20 0 20 0 18608489 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
/proc/187095/statm: 4777044 811114 5884 1 0 823463 0
[pid=187095/tid=187097] ppid=187092 vsize=19108176 memory=3244456 CPUtime=3343.95 cores=1,3
/proc/187095/task/187097/stat : 187097 (java) R 187092 187095 183872 0 -1 4194368 121936 0 0 0 333173 1222 0 0 20 0 20 0 18608489 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2776 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187106] ppid=187092 vsize=19108176 memory=3244456 CPUtime=0 cores=1,3
/proc/187095/task/187106/stat : 187106 (Finalizer) S 187092 187095 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18608492 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187113] ppid=187092 vsize=19108176 memory=11944 CPUtime=0 cores=1,3
/proc/187095/task/187113/stat : 187113 (Common-Cleaner) S 187092 187095 183872 0 -1 1077936192 3926 0 0 0 0 0 0 0 20 0 20 0 18608492 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187114] ppid=187092 vsize=19108176 memory=-9030960136526275260 CPUtime=0 cores=1,3
/proc/187095/task/187114/stat : 187114 (Timer-0) S 187092 187095 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18608519 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
Current children cumulated CPU time: 3376.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3244456 KiB

[startup+3462.3 s]
/proc/loadavg: 4.55 4.23 4.19 5/340 189158
/proc/meminfo: memFree=43734932/131524600 swapFree=131055480/131071996
[pid=187095] ppid=187092 vsize=19108176 memory=3244456 CPUtime=3436.49 cores=1,3
/proc/187095/stat : 187095 (java) S 187092 187095 183872 0 -1 1077936128 259347 0 0 0 342260 1389 0 0 20 0 20 0 18608489 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
/proc/187095/statm: 4777044 811114 5884 1 0 823463 0
[pid=187095/tid=187097] ppid=187092 vsize=19108176 memory=3244456 CPUtime=3402.88 cores=1,3
/proc/187095/task/187097/stat : 187097 (java) R 187092 187095 183872 0 -1 4194368 123145 0 0 0 339049 1239 0 0 20 0 20 0 18608489 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2832 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187106] ppid=187092 vsize=19108176 memory=3244456 CPUtime=0 cores=1,3
/proc/187095/task/187106/stat : 187106 (Finalizer) S 187092 187095 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18608492 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187113] ppid=187092 vsize=19108176 memory=11944 CPUtime=0 cores=1,3
/proc/187095/task/187113/stat : 187113 (Common-Cleaner) S 187092 187095 183872 0 -1 1077936192 3984 0 0 0 0 0 0 0 20 0 20 0 18608492 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187114] ppid=187092 vsize=19108176 memory=3244456 CPUtime=0 cores=1,3
/proc/187095/task/187114/stat : 187114 (Timer-0) S 187092 187095 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18608519 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
Current children cumulated CPU time: 3436.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3244456 KiB

[startup+3522.3 s]
/proc/loadavg: 4.24 4.20 4.18 5/340 189171
/proc/meminfo: memFree=42946776/131524600 swapFree=131055480/131071996
[pid=187095] ppid=187092 vsize=19108176 memory=3244456 CPUtime=3496.16 cores=1,3
/proc/187095/stat : 187095 (java) S 187092 187095 183872 0 -1 1077936128 261831 0 0 0 348208 1408 0 0 20 0 20 0 18608489 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
/proc/187095/statm: 4777044 811114 5884 1 0 823463 0
[pid=187095/tid=187097] ppid=187092 vsize=19108176 memory=3244456 CPUtime=3462.12 cores=1,3
/proc/187095/task/187097/stat : 187097 (java) R 187092 187095 183872 0 -1 4194368 124760 0 0 0 344956 1256 0 0 20 0 20 0 18608489 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2869 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187106] ppid=187092 vsize=19108176 memory=3244456 CPUtime=0 cores=1,3
/proc/187095/task/187106/stat : 187106 (Finalizer) S 187092 187095 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18608492 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187113] ppid=187092 vsize=19108176 memory=39732 CPUtime=0 cores=1,3
/proc/187095/task/187113/stat : 187113 (Common-Cleaner) S 187092 187095 183872 0 -1 1077936192 4077 0 0 0 0 0 0 0 20 0 20 0 18608492 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187114] ppid=187092 vsize=19108176 memory=39732 CPUtime=0 cores=1,3
/proc/187095/task/187114/stat : 187114 (Timer-0) S 187092 187095 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18608519 19566772224 811114 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
Current children cumulated CPU time: 3496.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3244456 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.20 4.18 4/338 189181
/proc/meminfo: memFree=42264840/131524600 swapFree=131055480/131071996
[pid=187095] ppid=187092 vsize=19108176 memory=3245956 CPUtime=3555.23 cores=1,3
/proc/187095/stat : 187095 (java) S 187092 187095 183872 0 -1 1077936128 267409 0 0 0 354099 1424 0 0 20 0 20 0 18608489 19566772224 811489 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
/proc/187095/statm: 4777044 811489 5884 1 0 823856 0
[pid=187095/tid=187097] ppid=187092 vsize=19108176 memory=3244456 CPUtime=3520.36 cores=1,3
/proc/187095/task/187097/stat : 187097 (java) R 187092 187095 183872 0 -1 4194368 126725 0 0 0 350766 1270 0 0 20 0 20 0 18608489 19566772224 811489 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2999 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187106] ppid=187092 vsize=19108176 memory=-9030960136526275260 CPUtime=0 cores=1,3
/proc/187095/task/187106/stat : 187106 (Finalizer) S 187092 187095 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18608492 19566772224 811489 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187113] ppid=187092 vsize=19108176 memory=12304 CPUtime=0 cores=1,3
/proc/187095/task/187113/stat : 187113 (Common-Cleaner) S 187092 187095 183872 0 -1 1077936192 4160 0 0 0 0 0 0 0 20 0 20 0 18608492 19566772224 811489 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187114] ppid=187092 vsize=19108176 memory=68028 CPUtime=0 cores=1,3
/proc/187095/task/187114/stat : 187114 (Timer-0) S 187092 187095 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18608519 19566772224 811489 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
Current children cumulated CPU time: 3555.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3245956 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3627.4 s]
/proc/loadavg: 4.16 4.19 4.18 5/338 189190
/proc/meminfo: memFree=41966428/131524600 swapFree=131055224/131071996
[pid=187095] ppid=187092 vsize=19108176 memory=3245980 CPUtime=3600.08 cores=1,3
/proc/187095/stat : 187095 (java) S 187092 187095 183872 0 -1 1077936128 269874 0 0 0 358569 1439 0 0 20 0 20 0 18608489 19566772224 811495 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
/proc/187095/statm: 4777044 811495 5884 1 0 823861 0
[pid=187095/tid=187097] ppid=187092 vsize=19108176 memory=-9030960136526275260 CPUtime=3564.94 cores=1,3
/proc/187095/task/187097/stat : 187097 (java) R 187092 187095 183872 0 -1 4194368 128102 0 0 0 355210 1284 0 0 20 0 20 0 18608489 19566772224 811495 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3028 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187106] ppid=187092 vsize=19108176 memory=12304 CPUtime=0 cores=1,3
/proc/187095/task/187106/stat : 187106 (Finalizer) S 187092 187095 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18608492 19566772224 811495 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187113] ppid=187092 vsize=19108176 memory=5432 CPUtime=0 cores=1,3
/proc/187095/task/187113/stat : 187113 (Common-Cleaner) S 187092 187095 183872 0 -1 1077936192 4252 0 0 0 0 0 0 0 20 0 20 0 18608492 19566772224 811495 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
[pid=187095/tid=187114] ppid=187092 vsize=19108176 memory=15884 CPUtime=0 cores=1,3
/proc/187095/task/187114/stat : 187114 (Timer-0) S 187092 187095 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18608519 19566772224 811495 134679101440 94461313396736 94461313400432 140732186724368 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94461313408248 94461313409040 94461346025472 140732186727339 140732186727521 140732186727521 140732186734536 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3245980 KiB

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

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

# cumulated CPU time of all completed processes:  user=3585.97 s, system=14.4127 s

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

[startup+3627.6 s]*
/proc/loadavg: 4.16 4.19 4.18 5/320 189193
/proc/meminfo: memFree=45181360/131524600 swapFree=131055224/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): 3627.65
CPU time (s): 3600.38
CPU user time (s): 3585.97
CPU system time (s): 14.4127
CPU usage (%): 99.2481
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4210020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.97
system time used= 14.4127
maximum resident set size= 4210036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272529
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25207888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120130
involuntary context switches= 15675


# summary of solver processes directly reported to runsolver:
#   pid: 187095
#   total CPU time (s): 3600.38
#   total CPU user time (s): 3585.97
#   total CPU system time (s): 14.4127

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.07939 second user time and 17.108 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2024-07-24 13:34:11
IDJOB=4440522
IDBENCH=155602
IDSOLVER=3079
FILE ID=nodeC028/4440522-1721820851
RUNJOBID= nodeC028-1721817188-183884
SLURM_JOB_ID= 7816888
Free space on /tmp= 890056 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_4.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-4440522-1721820851/watcher-4440522-1721820851 -o /tmp/evaluation-result-4440522-1721820851/solver-4440522-1721820851 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721817188-183884 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440522-1721820851 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440522-1721820851.opb

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

MD5SUM BENCH= 7079e2ef0385c9f74a24551721d50a52
RANDOM SEED=1663244205

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        114681136 kB
MemAvailable:   126036644 kB
Buffers:          243144 kB
Cached:         11890944 kB
SwapCached:          768 kB
Active:          2371452 kB
Inactive:       13763964 kB
Active(anon):       4004 kB
Inactive(anon):  4049768 kB
Active(file):    2367448 kB
Inactive(file):  9714196 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131055480 kB
Dirty:             37880 kB
Writeback:             0 kB
AnonPages:       3999808 kB
Mapped:           134508 kB
Shmem:             52380 kB
KReclaimable:     227372 kB
Slab:             352604 kB
SReclaimable:     227372 kB
SUnreclaim:       125232 kB
KernelStack:        5120 kB
PageTables:        17864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7346788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13440 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3719168 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:      424660 kB
DirectMap2M:    46534656 kB
DirectMap1G:    89128960 kB

Free space on /tmp at the end= 890036 MiB
End job on nodeC028 at 2024-07-24 14:34:39