Trace number 4440523

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)6012437 3600.34 3668.58

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_5.opb
MD5SUM4bce0178dd52d2d263abed98aae07653
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 benchmark5114519
Best CPU time to get the best result obtained on this benchmark353.176
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 145531576
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 56160700102
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 145531576
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 56160700102
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version CUSTOM.v20240707
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.14/0.13	--- Begin Solver configuration ---
0.14/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	Learn all clauses as in MiniSAT
0.14/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	Expensive reason simplification
0.14/0.13	Glucose 2.1 dynamic restart strategy
0.14/0.13	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.13	timeout=2147483s
0.14/0.13	DB Simplification allowed=false
0.14/0.13	Listener: none
0.14/0.13	--- End Solver configuration ---
0.14/0.13	c Pseudo Boolean Optimization by upper bound
0.14/0.13	c --- Begin Solver configuration ---
0.14/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.13	c Learn all clauses as in MiniSAT
0.14/0.13	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.13	c Expensive reason simplification
0.14/0.13	c Glucose 2.1 dynamic restart strategy
0.14/0.13	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.13	c timeout=2147483s
0.14/0.13	c DB Simplification allowed=false
0.14/0.13	c Listener: none
0.14/0.13	c --- End Solver configuration ---
0.14/0.14	c solving HOME/instance-4440523-1721820901.opb
0.14/0.14	c reading problem ... 
0.14/0.17	c using VERIPB proof format
0.14/0.18	c  objective function found
0.43/0.35	c ... done. Wall clock time 0.207s.
0.43/0.35	c declared #vars     5100
0.43/0.35	c #constraints  12512
0.43/0.35	c constraints type 
0.43/0.35	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9850
0.43/0.35	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
0.43/0.35	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1375
0.43/0.35	c org.sat4j.specs.Constr$1 => 2
0.43/0.35	c org.sat4j.pb.constraints.pb.UnitClausesPB => 2
0.43/0.35	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1276
0.43/0.35	c 12512 constraints processed.
0.43/0.36	c objective function length is 4950 literals
0.81/0.51	c SATISFIABLE
0.81/0.51	c OPTIMIZING...
0.81/0.51	c Got one! Elapsed wall clock time (in seconds):0.363
0.81/0.51	o 6036309
0.81/0.57	c Got one! Elapsed wall clock time (in seconds):0.432
0.81/0.57	o 6033413
0.81/0.60	c Got one! Elapsed wall clock time (in seconds):0.461
0.81/0.60	o 6019205
0.98/0.64	c Got one! Elapsed wall clock time (in seconds):0.505
0.98/0.64	o 6018779
0.98/0.66	c Got one! Elapsed wall clock time (in seconds):0.527
0.98/0.66	o 6017235
0.98/0.68	c Got one! Elapsed wall clock time (in seconds):0.55
0.98/0.68	o 6016157
1.37/0.81	c Got one! Elapsed wall clock time (in seconds):0.679
1.37/0.81	o 6013941
1.37/0.84	c Got one! Elapsed wall clock time (in seconds):0.703
1.37/0.84	o 6013515
1.37/0.86	c Got one! Elapsed wall clock time (in seconds):0.729
1.37/0.86	o 6012863
1.37/0.89	c Got one! Elapsed wall clock time (in seconds):0.753
1.37/0.89	o 6012437
4.90/2.70	c cleaning 2615 clauses out of 5244 with flag 13611/5244
6.80/4.45	c cleaning 4314 clauses out of 8628 with flag 29849/11243
8.73/6.35	c cleaning 5648 clauses out of 11314 with flag 48293/18243
10.95/8.50	c cleaning 6825 clauses out of 13667 with flag 64792/26244
13.57/11.11	c cleaning 7913 clauses out of 15841 with flag 84093/35243
16.76/14.24	c cleaning 8959 clauses out of 17929 with flag 106130/45244
19.67/17.13	c cleaning 9976 clauses out of 19970 with flag 129891/56244
22.72/20.12	c cleaning 10996 clauses out of 21993 with flag 155904/68243
26.29/23.64	c cleaning 12000 clauses out of 23999 with flag 184169/81245
29.52/26.77	c cleaning 12992 clauses out of 25998 with flag 216994/95244
33.24/30.45	c cleaning 13996 clauses out of 28007 with flag 264070/110245
36.78/33.97	c cleaning 15003 clauses out of 30010 with flag 297544/126244
40.12/37.57	c cleaning 15998 clauses out of 32006 with flag 332567/143243
44.13/41.42	c cleaning 17001 clauses out of 34011 with flag 369758/161246
47.99/45.20	c cleaning 17998 clauses out of 36007 with flag 408806/180243
52.18/49.47	c cleaning 18995 clauses out of 38010 with flag 450859/200244
56.96/54.11	c cleaning 19996 clauses out of 40015 with flag 494316/221244
61.14/58.33	c cleaning 21004 clauses out of 42018 with flag 539283/243243
65.40/62.59	c cleaning 21999 clauses out of 44014 with flag 585949/266243
69.62/67.14	c cleaning 23000 clauses out of 46015 with flag 634443/290243
74.87/72.31	c cleaning 23997 clauses out of 48016 with flag 686473/315244
80.17/77.52	c cleaning 25001 clauses out of 50019 with flag 739659/341244
85.74/83.01	c cleaning 25996 clauses out of 52018 with flag 795423/368244
90.98/88.35	c cleaning 27004 clauses out of 54021 with flag 852756/396243
96.61/93.92	c cleaning 28001 clauses out of 56018 with flag 911948/425244
103.09/100.94	c cleaning 28997 clauses out of 58016 with flag 976460/455243
109.89/107.78	c cleaning 30003 clauses out of 60020 with flag 1044577/486244
117.48/115.33	c cleaning 31002 clauses out of 62018 with flag 1114835/518245
124.48/122.30	c cleaning 32001 clauses out of 64015 with flag 1183862/551244
132.03/130.49	c cleaning 33002 clauses out of 66014 with flag 1256628/585244
140.13/138.58	c cleaning 33999 clauses out of 68012 with flag 1331917/620244
148.82/147.20	c cleaning 34997 clauses out of 70013 with flag 1407107/656244
157.39/155.81	c cleaning 36003 clauses out of 72016 with flag 1484254/693244
166.41/165.32	c cleaning 37001 clauses out of 74014 with flag 1565527/731245
176.46/175.39	c cleaning 37998 clauses out of 76011 with flag 1651099/770243
185.78/184.69	c cleaning 39001 clauses out of 78013 with flag 1733523/810243
197.50/197.13	c cleaning 40002 clauses out of 80013 with flag 1822765/851244
208.67/208.27	c cleaning 40998 clauses out of 82010 with flag 1915638/893243
218.68/218.27	c cleaning 41989 clauses out of 84012 with flag 2011710/936243
230.24/230.01	c cleaning 43001 clauses out of 86023 with flag 2107250/980243
242.36/242.12	c cleaning 43999 clauses out of 88022 with flag 2207120/1025243
253.19/253.17	c cleaning 44999 clauses out of 90023 with flag 2303639/1071243
263.45/263.31	c cleaning 46004 clauses out of 92024 with flag 2404904/1118243
272.29/272.17	c cleaning 46999 clauses out of 94020 with flag 2506864/1166243
282.94/283.09	c cleaning 48002 clauses out of 96021 with flag 2606692/1215243
293.67/293.78	c cleaning 48997 clauses out of 98019 with flag 2709721/1265243
303.90/303.90	c cleaning 50000 clauses out of 100023 with flag 2813042/1316244
315.11/315.27	c cleaning 50997 clauses out of 102023 with flag 2918496/1368244
327.00/327.18	c cleaning 52005 clauses out of 104025 with flag 3026253/1421243
338.70/338.89	c cleaning 53000 clauses out of 106021 with flag 3136227/1475244
351.91/352.40	c cleaning 53998 clauses out of 108020 with flag 3248555/1530243
365.43/365.83	c cleaning 55003 clauses out of 110022 with flag 3362720/1586243
380.68/381.47	c cleaning 55996 clauses out of 112019 with flag 3484119/1643243
395.85/396.59	c cleaning 57002 clauses out of 114023 with flag 3603485/1701243
410.94/412.04	c cleaning 58004 clauses out of 116021 with flag 3725555/1760243
425.74/426.77	c cleaning 58998 clauses out of 118018 with flag 3849400/1820244
439.99/441.22	c cleaning 59991 clauses out of 120019 with flag 3973877/1881243
454.95/456.12	c cleaning 61002 clauses out of 122030 with flag 4101067/1943245
468.99/470.62	c cleaning 62005 clauses out of 124026 with flag 4229168/2006243
484.62/486.27	c cleaning 62998 clauses out of 126022 with flag 4360203/2070244
499.25/501.22	c cleaning 64002 clauses out of 128024 with flag 4491845/2135244
513.55/515.41	c cleaning 65000 clauses out of 130021 with flag 4625318/2201243
527.81/530.15	c cleaning 65995 clauses out of 132022 with flag 4761085/2268244
544.21/546.57	c cleaning 66997 clauses out of 134027 with flag 4899207/2336244
558.81/561.61	c cleaning 68008 clauses out of 136030 with flag 5038974/2405244
572.73/575.69	c cleaning 69002 clauses out of 138022 with flag 5180699/2475244
586.70/595.38	c cleaning 70002 clauses out of 140019 with flag 5324079/2546243
602.14/610.84	c cleaning 70996 clauses out of 142017 with flag 5469451/2618243
620.14/630.35	c cleaning 72003 clauses out of 144022 with flag 5617350/2691244
636.73/646.81	c cleaning 72996 clauses out of 146018 with flag 5766303/2765243
656.89/667.04	c cleaning 74012 clauses out of 148023 with flag 5920003/2840244
679.80/690.01	c cleaning 75003 clauses out of 150011 with flag 6075864/2916244
706.38/716.75	c cleaning 75998 clauses out of 152007 with flag 6237991/2993243
728.88/741.57	c cleaning 76995 clauses out of 154009 with flag 6402336/3071243
749.43/761.99	c cleaning 78003 clauses out of 156016 with flag 6569529/3150245
772.86/785.13	c cleaning 79000 clauses out of 158011 with flag 6751779/3230243
793.40/805.68	c cleaning 80002 clauses out of 160011 with flag 6932327/3311243
815.82/828.15	c cleaning 80999 clauses out of 162011 with flag 7113446/3393245
837.99/850.33	c cleaning 82001 clauses out of 164010 with flag 7289307/3476243
856.90/869.05	c cleaning 83004 clauses out of 166009 with flag 7463145/3560243
874.34/887.10	c cleaning 83992 clauses out of 168005 with flag 7636135/3645243
892.24/905.01	c cleaning 84998 clauses out of 170013 with flag 7815867/3731243
913.16/925.91	c cleaning 86002 clauses out of 172015 with flag 7993635/3818243
933.68/946.59	c cleaning 87000 clauses out of 174014 with flag 8173291/3906244
955.77/968.58	c cleaning 87996 clauses out of 176015 with flag 8355021/3995245
976.49/989.61	c cleaning 89005 clauses out of 178017 with flag 8540151/4085243
996.90/1010.26	c cleaning 90001 clauses out of 180013 with flag 8726648/4176244
1015.61/1029.07	c cleaning 91000 clauses out of 182011 with flag 8914810/4268243
1034.04/1047.67	c cleaning 91995 clauses out of 184011 with flag 9103831/4361243
1053.32/1067.15	c cleaning 93008 clauses out of 186016 with flag 9295061/4455243
1073.04/1086.92	c cleaning 94002 clauses out of 188009 with flag 9493148/4550244
1091.67/1105.76	c cleaning 95001 clauses out of 190006 with flag 9688482/4646243
1111.94/1126.16	c cleaning 96004 clauses out of 192007 with flag 9887263/4743245
1133.18/1147.37	c cleaning 96999 clauses out of 194002 with flag 10092448/4841244
1154.00/1168.25	c cleaning 97996 clauses out of 196002 with flag 10296120/4940243
1175.88/1190.28	c cleaning 99003 clauses out of 198007 with flag 10499886/5040244
1196.97/1211.25	c cleaning 100000 clauses out of 200004 with flag 10709844/5141244
1217.50/1231.94	c cleaning 101002 clauses out of 202003 with flag 10929360/5243243
1235.80/1250.42	c cleaning 102001 clauses out of 204001 with flag 11175339/5346243
1258.02/1272.60	c cleaning 103000 clauses out of 206001 with flag 11405994/5450244
1277.22/1291.77	c cleaning 103990 clauses out of 208001 with flag 11633364/5555244
1294.91/1309.16	c cleaning 104996 clauses out of 210011 with flag 11847138/5661244
1312.59/1326.95	c cleaning 106003 clauses out of 212014 with flag 12070535/5768243
1330.18/1344.64	c cleaning 106996 clauses out of 214012 with flag 12295070/5876244
1349.79/1364.37	c cleaning 108004 clauses out of 216015 with flag 12515860/5985243
1367.22/1381.91	c cleaning 108999 clauses out of 218011 with flag 12739618/6095243
1386.12/1400.96	c cleaning 109999 clauses out of 220013 with flag 12966971/6206244
1405.03/1420.05	c cleaning 111000 clauses out of 222013 with flag 13202175/6318243
1424.55/1439.76	c cleaning 111998 clauses out of 224013 with flag 13435954/6431243
1446.05/1461.26	c cleaning 113004 clauses out of 226015 with flag 13669648/6545243
1466.85/1482.25	c cleaning 114001 clauses out of 228011 with flag 13905278/6660243
1490.09/1507.34	c cleaning 114999 clauses out of 230011 with flag 14142014/6776244
1511.83/1529.06	c cleaning 115998 clauses out of 232012 with flag 14384194/6893244
1534.63/1551.99	c cleaning 117000 clauses out of 234013 with flag 14626817/7011243
1556.04/1573.50	c cleaning 118004 clauses out of 236013 with flag 14872441/7130243
1579.07/1596.93	c cleaning 119001 clauses out of 238009 with flag 15120547/7250243
1600.47/1618.30	c cleaning 119990 clauses out of 240008 with flag 15368940/7371243
1624.15/1642.01	c cleaning 121001 clauses out of 242019 with flag 15620118/7493244
1647.19/1666.77	c cleaning 122002 clauses out of 244018 with flag 15869931/7616244
1669.15/1689.12	c cleaning 123003 clauses out of 246016 with flag 16125329/7740244
1692.88/1712.80	c cleaning 124006 clauses out of 248012 with flag 16382058/7865243
1714.88/1734.94	c cleaning 124996 clauses out of 250007 with flag 16649128/7991244
1738.53/1758.62	c cleaning 126003 clauses out of 252010 with flag 16918405/8118243
1762.64/1782.41	c cleaning 126996 clauses out of 254007 with flag 17178116/8246243
1786.26/1806.05	c cleaning 128001 clauses out of 256011 with flag 17439900/8375243
1810.19/1830.08	c cleaning 128999 clauses out of 258010 with flag 17709863/8505243
1835.09/1855.05	c cleaning 129995 clauses out of 260012 with flag 17981600/8636244
1860.13/1880.19	c cleaning 131003 clauses out of 262017 with flag 18250064/8768244
1885.13/1905.23	c cleaning 132000 clauses out of 264014 with flag 18522487/8901244
1910.74/1930.92	c cleaning 132998 clauses out of 266013 with flag 18801653/9035243
1935.17/1955.39	c cleaning 134003 clauses out of 268015 with flag 19078665/9170243
1959.17/1979.44	c cleaning 135001 clauses out of 270012 with flag 19361042/9306243
1986.37/2006.72	c cleaning 136004 clauses out of 272012 with flag 19643673/9443244
2011.74/2032.42	c cleaning 137003 clauses out of 274008 with flag 19926479/9581244
2035.31/2056.38	c cleaning 137993 clauses out of 276005 with flag 20216203/9720244
2060.14/2081.30	c cleaning 139004 clauses out of 278012 with flag 20508734/9860244
2084.88/2106.48	c cleaning 139995 clauses out of 280007 with flag 20795655/10001243
2111.03/2132.92	c cleaning 140998 clauses out of 282013 with flag 21082002/10143244
2137.66/2159.73	c cleaning 141998 clauses out of 284014 with flag 21370068/10286243
2163.39/2185.54	c cleaning 142998 clauses out of 286016 with flag 21670485/10430243
2189.90/2212.22	c cleaning 144001 clauses out of 288019 with flag 21974743/10575244
2216.54/2239.07	c cleaning 145001 clauses out of 290017 with flag 22275940/10721243
2245.31/2269.92	c cleaning 146002 clauses out of 292017 with flag 22572585/10868244
2274.63/2299.49	c cleaning 147000 clauses out of 294014 with flag 22872158/11016243
2304.57/2329.69	c cleaning 148000 clauses out of 296015 with flag 23173122/11165244
2335.73/2361.12	c cleaning 149001 clauses out of 298014 with flag 23476326/11315243
2363.75/2389.40	c cleaning 149996 clauses out of 300013 with flag 23790423/11466243
2392.72/2418.72	c cleaning 151000 clauses out of 302018 with flag 24103648/11618244
2423.15/2449.41	c cleaning 151998 clauses out of 304018 with flag 24416166/11771244
2452.61/2479.05	c cleaning 153005 clauses out of 306019 with flag 24732910/11925243
2480.93/2507.43	c cleaning 153996 clauses out of 308014 with flag 25047904/12080243
2511.47/2538.15	c cleaning 154997 clauses out of 310019 with flag 25363564/12236244
2541.40/2568.36	c cleaning 155996 clauses out of 312021 with flag 25680519/12393243
2570.63/2597.76	c cleaning 157002 clauses out of 314025 with flag 26002680/12551243
2599.94/2627.00	c cleaning 157998 clauses out of 316023 with flag 26334561/12710243
2631.94/2659.12	c cleaning 159001 clauses out of 318026 with flag 26668728/12870244
2662.08/2689.47	c cleaning 160000 clauses out of 320024 with flag 27004232/13031243
2693.28/2720.79	c cleaning 161001 clauses out of 322024 with flag 27342525/13193243
2723.10/2752.55	c cleaning 162000 clauses out of 324024 with flag 27678488/13356244
2755.38/2784.93	c cleaning 163005 clauses out of 326023 with flag 28018844/13520243
2786.51/2816.18	c cleaning 164007 clauses out of 328018 with flag 28365428/13685243
2819.12/2848.81	c cleaning 165001 clauses out of 330012 with flag 28705784/13851244
2854.17/2883.88	c cleaning 166001 clauses out of 332011 with flag 29046883/14018244
2890.06/2919.85	c cleaning 166999 clauses out of 334009 with flag 29388815/14186243
2921.48/2951.33	c cleaning 167991 clauses out of 336010 with flag 29742608/14355243
2954.09/2983.97	c cleaning 169003 clauses out of 338020 with flag 30087849/14525244
2988.47/3018.36	c cleaning 170002 clauses out of 340016 with flag 30437609/14696243
3022.30/3052.21	c cleaning 171001 clauses out of 342015 with flag 30784837/14868244
3058.14/3104.97	c cleaning 171997 clauses out of 344013 with flag 31142437/15041243
3094.99/3142.33	c cleaning 173006 clauses out of 346016 with flag 31505437/15215243
3132.44/3180.79	c cleaning 173994 clauses out of 348010 with flag 31867211/15390243
3165.98/3214.47	c cleaning 175003 clauses out of 350017 with flag 32230365/15566244
3197.07/3245.67	c cleaning 176000 clauses out of 352014 with flag 32598875/15743244
3230.75/3279.54	c cleaning 177000 clauses out of 354013 with flag 32965294/15921243
3267.51/3316.41	c cleaning 177999 clauses out of 356013 with flag 33326447/16100243
3303.68/3355.26	c cleaning 178995 clauses out of 358015 with flag 33690847/16280244
3337.51/3389.96	c cleaning 180001 clauses out of 360019 with flag 34063156/16461243
3374.23/3427.61	c cleaning 181005 clauses out of 362018 with flag 34439246/16643243
3412.78/3467.51	c cleaning 181998 clauses out of 364013 with flag 34816861/16826243
3450.39/3505.74	c cleaning 183003 clauses out of 366015 with flag 35199999/17010243
3485.06/3550.37	c cleaning 184002 clauses out of 368013 with flag 35583015/17195244
3520.97/3589.09	c cleaning 184999 clauses out of 370010 with flag 35967666/17381243
3556.59/3624.46	c cleaning 185997 clauses out of 372011 with flag 36346310/17568243
3592.15/3660.57	c cleaning 187001 clauses out of 374015 with flag 36727045/17756244
3600.05/3668.41	c starts		: 24
3600.05/3668.41	c conflicts		: 17805992
3600.05/3668.41	c decisions		: 19428795
3600.05/3668.41	c propagations		: 272397320
3600.05/3668.41	c inspects		: 5605789320
3600.05/3668.41	c shortcuts		: 0
3600.05/3668.41	c learnt literals	: 0
3600.05/3668.41	c learnt binary clauses	: 0
3600.05/3668.41	c learnt ternary clauses	: 18
3600.05/3668.41	c learnt constraints	: 17805992
3600.05/3668.41	c ignored constraints	: 0
3600.05/3668.41	c root simplifications	: 0
3600.05/3668.41	c removed literals (reason simplification)	: 1614951355
3600.05/3668.41	c reason swapping (by a shorter reason)	: 0
3600.05/3668.41	c Calls to reduceDB	: 184
3600.05/3668.41	c Number of update (reduction) of LBD	: 249008
3600.05/3668.41	c Imported unit clauses	: 0
3600.05/3668.41	c No decision after first conflict	: false
3600.05/3668.41	c number of reductions to clauses (during analyze)	: 0
3600.05/3668.41	c number of learned constraints concerned by reduction	: 0
3600.05/3668.41	c number of learning phase by resolution	: 0
3600.05/3668.41	c number of learning phase by cutting planes	: 0
3600.05/3668.41	c number of rounding to 1 operations	: 0
3600.05/3668.41	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3668.42	c number of reductions of the coefficients by power 2 	: 0
3600.05/3668.42	c number of right shift for reduction by power 2 	: 0
3600.05/3668.42	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3668.42	c number of ending skipping 	: 0
3600.05/3668.42	c number of internal skipping 	: 0
3600.05/3668.42	c number of derivation steps 	: 0
3600.05/3668.42	c number of skipped derivation steps 	: 0
3600.05/3668.42	c number of remaining unassigned 	: 0
3600.05/3668.42	c number of remaining assigned 	: 0
3600.05/3668.42	c number of falsified literals weakened from reason	: 0
3600.05/3668.42	c number of falsified literals weakened from conflict	: 0
3600.05/3668.42	c time for arithmetic operations	: 0
3600.05/3668.42	c minimum degree of deleted constraints	: null
3600.05/3668.42	c maximum degree of deleted constraints	: null
3600.05/3668.42	c number of deleted constraints	: 0
3600.05/3668.42	c speed (assignments/second)	: 74262.32305955057
3600.05/3668.42	c non guided choices	: 118
3600.25/3668.53	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 236762
3600.25/3668.53	s SATISFIABLE
3600.25/3668.53	c Found 10 solution(s)
3600.25/3668.53	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.25/3668.53	c objective function=6012437
3600.25/3668.53	c Total wall clock time (in seconds): 3668.398

Verifier Data 

OK	6012437

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=185049, runsolver pid=185046

[startup+0.100084 s]*
/proc/loadavg: 4.11 4.17 4.10 7/335 185067
/proc/meminfo: memFree=118861368/131524600 swapFree=131061136/131071996
[pid=185049] ppid=185046 vsize=18993908 memory=64288 CPUtime=0.14 cores=0,2
/proc/185049/stat : 185049 (java) S 185046 185049 182698 0 -1 1077936128 7248 0 0 0 12 2 0 0 20 0 18 0 18618016 19449761792 16072 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
/proc/185049/statm: 4748477 16072 5942 1 0 549334 0
[pid=185049/tid=185051] ppid=185046 vsize=18993908 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/185049/task/185051/stat : 185051 (java) R 185046 185049 182698 0 -1 4194368 5808 0 0 0 7 1 0 0 20 0 18 0 18618017 19449761792 16072 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185060] ppid=185046 vsize=18993908 memory=232851243367 CPUtime=0 cores=0,2
/proc/185049/task/185060/stat : 185060 (Finalizer) S 185046 185049 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18618020 19449761792 16072 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185067] ppid=185046 vsize=18993908 memory=13855170183833064 CPUtime=0 cores=0,2
/proc/185049/task/185067/stat : 185067 (Common-Cleaner) S 185046 185049 182698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18618020 19449761792 16072 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 64288 KiB

[startup+0.206047 s]*
/proc/loadavg: 4.11 4.17 4.10 6/335 185067
/proc/meminfo: memFree=118854252/131524600 swapFree=131061136/131071996
[pid=185049] ppid=185046 vsize=18993908 memory=72252 CPUtime=0.25 cores=0,2
/proc/185049/stat : 185049 (java) S 185046 185049 182698 0 -1 1077936128 7596 0 0 0 23 2 0 0 20 0 18 0 18618016 19449761792 18063 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
/proc/185049/statm: 4748477 18063 6089 1 0 549569 0
[pid=185049/tid=185051] ppid=185046 vsize=18993908 memory=4782652875487838339 CPUtime=0.14 cores=0,2
/proc/185049/task/185051/stat : 185051 (java) R 185046 185049 182698 0 -1 4194368 6016 0 0 0 13 1 0 0 20 0 18 0 18618017 19449761792 18063 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185060] ppid=185046 vsize=18993908 memory=1583096 CPUtime=0 cores=0,2
/proc/185049/task/185060/stat : 185060 (Finalizer) S 185046 185049 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18618020 19449761792 18063 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185067] ppid=185046 vsize=18993908 memory=13573695205541613 CPUtime=0 cores=0,2
/proc/185049/task/185067/stat : 185067 (Common-Cleaner) S 185046 185049 182698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18618020 19449761792 18063 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 72252 KiB

[startup+0.30585 s]*
/proc/loadavg: 4.11 4.17 4.10 7/335 185067
/proc/meminfo: memFree=118832728/131524600 swapFree=131061136/131071996
[pid=185049] ppid=185046 vsize=18993908 memory=94732 CPUtime=0.43 cores=0,2
/proc/185049/stat : 185049 (java) S 185046 185049 182698 0 -1 1077936128 9131 0 0 0 40 3 0 0 20 0 18 0 18618016 19449761792 23683 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
/proc/185049/statm: 4748477 23683 6089 1 0 550559 0
[pid=185049/tid=185051] ppid=185046 vsize=18993908 memory=-8744137143848051388 CPUtime=0.24 cores=0,2
/proc/185049/task/185051/stat : 185051 (java) R 185046 185049 182698 0 -1 4194368 6054 0 0 0 22 2 0 0 20 0 18 0 18618017 19449761792 23683 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185060] ppid=185046 vsize=18993908 memory=0 CPUtime=0 cores=0,2
/proc/185049/task/185060/stat : 185060 (Finalizer) S 185046 185049 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18618020 19449761792 23683 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185067] ppid=185046 vsize=18993908 memory=0 CPUtime=0 cores=0,2
/proc/185049/task/185067/stat : 185067 (Common-Cleaner) S 185046 185049 182698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18618020 19449761792 23683 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 94732 KiB

[startup+0.700363 s]
/proc/loadavg: 4.11 4.17 4.10 8/336 185068
/proc/meminfo: memFree=118819520/131524600 swapFree=131061136/131071996
[pid=185049] ppid=185046 vsize=19060472 memory=126268 CPUtime=1.16 cores=0,2
/proc/185049/stat : 185049 (java) S 185046 185049 182698 0 -1 1077936128 9845 0 0 0 112 4 0 0 20 0 19 0 18618016 19517923328 31567 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
/proc/185049/statm: 4765118 31567 6126 1 0 551297 0
[pid=185049/tid=185051] ppid=185046 vsize=19060472 memory=5612 CPUtime=0.57 cores=0,2
/proc/185049/task/185051/stat : 185051 (java) R 185046 185049 182698 0 -1 4194368 6196 0 0 0 54 3 0 0 20 0 19 0 18618017 19517923328 31567 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185060] ppid=185046 vsize=19060472 memory=12368 CPUtime=0 cores=0,2
/proc/185049/task/185060/stat : 185060 (Finalizer) S 185046 185049 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18618020 19517923328 31567 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185067] ppid=185046 vsize=19060472 memory=4957 CPUtime=0 cores=0,2
/proc/185049/task/185067/stat : 185067 (Common-Cleaner) S 185046 185049 182698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18618020 19517923328 31567 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185068] ppid=185046 vsize=19060472 memory=2244 CPUtime=0 cores=0,2
/proc/185049/task/185068/stat : 185068 (Timer-0) S 185046 185049 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18618054 19517923328 31567 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 126268 KiB

[startup+1.50346 s]
/proc/loadavg: 4.11 4.17 4.10 7/336 185068
/proc/meminfo: memFree=118750236/131524600 swapFree=131061136/131071996
[pid=185049] ppid=185046 vsize=19127036 memory=185964 CPUtime=2.74 cores=0,2
/proc/185049/stat : 185049 (java) S 185046 185049 182698 0 -1 1077936128 22539 0 0 0 267 7 0 0 20 0 20 0 18618016 19586084864 46491 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
/proc/185049/statm: 4781759 46491 6158 1 0 554965 0
[pid=185049/tid=185051] ppid=185046 vsize=19127036 memory=0 CPUtime=1.31 cores=0,2
/proc/185049/task/185051/stat : 185051 (java) R 185046 185049 182698 0 -1 4194368 6627 0 0 0 127 4 0 0 20 0 20 0 18618017 19586084864 46491 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185060] ppid=185046 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/185049/task/185060/stat : 185060 (Finalizer) S 185046 185049 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18618020 19586084864 46491 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185067] ppid=185046 vsize=19127036 memory=12368 CPUtime=0 cores=0,2
/proc/185049/task/185067/stat : 185067 (Common-Cleaner) S 185046 185049 182698 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18618020 19586084864 46491 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185068] ppid=185046 vsize=19127036 memory=1582855 CPUtime=0 cores=0,2
/proc/185049/task/185068/stat : 185068 (Timer-0) S 185046 185049 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18618054 19586084864 46491 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 185964 KiB

[startup+3.10606 s]
/proc/loadavg: 4.27 4.20 4.11 7/337 185069
/proc/meminfo: memFree=118669296/131524600 swapFree=131061136/131071996
[pid=185049] ppid=185046 vsize=19127036 memory=260940 CPUtime=5.44 cores=0,2
/proc/185049/stat : 185049 (java) S 185046 185049 182698 0 -1 1077936128 25701 0 0 0 534 10 0 0 20 0 20 0 18618016 19586084864 65235 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
/proc/185049/statm: 4781759 65235 6158 1 0 661531 0
[pid=185049/tid=185051] ppid=185046 vsize=19127036 memory=0 CPUtime=2.81 cores=0,2
/proc/185049/task/185051/stat : 185051 (java) R 185046 185049 182698 0 -1 4194368 7664 0 0 0 275 6 0 0 20 0 20 0 18618017 19586084864 65235 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185060] ppid=185046 vsize=19127036 memory=12368 CPUtime=0 cores=0,2
/proc/185049/task/185060/stat : 185060 (Finalizer) S 185046 185049 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18618020 19586084864 65235 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185067] ppid=185046 vsize=19127036 memory=33 CPUtime=0 cores=0,2
/proc/185049/task/185067/stat : 185067 (Common-Cleaner) S 185046 185049 182698 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 18618020 19586084864 65235 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185068] ppid=185046 vsize=19127036 memory=11624 CPUtime=0 cores=0,2
/proc/185049/task/185068/stat : 185068 (Timer-0) S 185046 185049 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18618054 19586084864 65235 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
Current children cumulated CPU time: 5.44 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 260940 KiB

[startup+6.30022 s]
/proc/loadavg: 4.27 4.20 4.11 4/337 185069
/proc/meminfo: memFree=118316052/131524600 swapFree=131061136/131071996
[pid=185049] ppid=185046 vsize=19127036 memory=533844 CPUtime=8.73 cores=0,2
/proc/185049/stat : 185049 (java) S 185046 185049 182698 0 -1 1077936128 25953 0 0 0 857 16 0 0 20 0 20 0 18618016 19586084864 133461 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
/proc/185049/statm: 4781759 133461 6158 1 0 661544 0
[pid=185049/tid=185051] ppid=185046 vsize=19127036 memory=0 CPUtime=5.93 cores=0,2
/proc/185049/task/185051/stat : 185051 (java) R 185046 185049 182698 0 -1 4194368 7789 0 0 0 582 11 0 0 20 0 20 0 18618017 19586084864 133461 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185060] ppid=185046 vsize=19127036 memory=7309745069317448809 CPUtime=0 cores=0,2
/proc/185049/task/185060/stat : 185060 (Finalizer) S 185046 185049 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18618020 19586084864 133461 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185067] ppid=185046 vsize=19127036 memory=533844 CPUtime=0 cores=0,2
/proc/185049/task/185067/stat : 185067 (Common-Cleaner) S 185046 185049 182698 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 18618020 19586084864 133461 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185068] ppid=185046 vsize=19127036 memory=188064 CPUtime=0 cores=0,2
/proc/185049/task/185068/stat : 185068 (Timer-0) S 185046 185049 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18618054 19586084864 133461 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
Current children cumulated CPU time: 8.73 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 533844 KiB

[startup+12.7003 s]
/proc/loadavg: 4.24 4.20 4.11 5/337 185071
/proc/meminfo: memFree=118037596/131524600 swapFree=131061136/131071996
[pid=185049] ppid=185046 vsize=19127036 memory=694140 CPUtime=15.2 cores=0,2
/proc/185049/stat : 185049 (java) S 185046 185049 182698 0 -1 1077936128 28015 0 0 0 1497 23 0 0 20 0 20 0 18618016 19586084864 173535 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
/proc/185049/statm: 4781759 173535 6158 1 0 661544 0
[pid=185049/tid=185051] ppid=185046 vsize=19127036 memory=646700 CPUtime=12.19 cores=0,2
/proc/185049/task/185051/stat : 185051 (java) R 185046 185049 182698 0 -1 4194368 8634 0 0 0 1202 17 0 0 20 0 20 0 18618017 19586084864 173535 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185060] ppid=185046 vsize=19127036 memory=694140 CPUtime=0 cores=0,2
/proc/185049/task/185060/stat : 185060 (Finalizer) S 185046 185049 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18618020 19586084864 173535 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185067] ppid=185046 vsize=19127036 memory=-8744137143848051388 CPUtime=0 cores=0,2
/proc/185049/task/185067/stat : 185067 (Common-Cleaner) S 185046 185049 182698 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 18618020 19586084864 173535 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185068] ppid=185046 vsize=19127036 memory=658988 CPUtime=0 cores=0,2
/proc/185049/task/185068/stat : 185068 (Timer-0) S 185046 185049 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18618054 19586084864 173535 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
Current children cumulated CPU time: 15.2 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 694140 KiB

[startup+25.5003 s]
/proc/loadavg: 4.26 4.20 4.12 5/334 185072
/proc/meminfo: memFree=116749488/131524600 swapFree=131061136/131071996
[pid=185049] ppid=185046 vsize=19127036 memory=1801760 CPUtime=28.32 cores=0,2
/proc/185049/stat : 185049 (java) S 185046 185049 182698 0 -1 1077936128 37203 0 0 0 2781 51 0 0 20 0 20 0 18618016 19586084864 450440 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
/proc/185049/statm: 4781759 450440 6189 1 0 661550 0
[pid=185049/tid=185051] ppid=185046 vsize=19127036 memory=694140 CPUtime=24.81 cores=0,2
/proc/185049/task/185051/stat : 185051 (java) R 185046 185049 182698 0 -1 4194368 10255 0 0 0 2441 40 0 0 20 0 20 0 18618017 19586084864 450440 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185060] ppid=185046 vsize=19127036 memory=11624 CPUtime=0 cores=0,2
/proc/185049/task/185060/stat : 185060 (Finalizer) S 185046 185049 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18618020 19586084864 450440 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185067] ppid=185046 vsize=19127036 memory=12368 CPUtime=0 cores=0,2
/proc/185049/task/185067/stat : 185067 (Common-Cleaner) S 185046 185049 182698 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 18618020 19586084864 450440 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185068] ppid=185046 vsize=19127036 memory=1710644 CPUtime=0 cores=0,2
/proc/185049/task/185068/stat : 185068 (Timer-0) S 185046 185049 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18618054 19586084864 450440 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
Current children cumulated CPU time: 28.32 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1801760 KiB

[startup+51.1057 s]
/proc/loadavg: 4.17 4.19 4.11 5/334 185077
/proc/meminfo: memFree=116297912/131524600 swapFree=131061136/131071996
[pid=185049] ppid=185046 vsize=19127036 memory=1857244 CPUtime=53.88 cores=0,2
/proc/185049/stat : 185049 (java) S 185046 185049 182698 0 -1 1077936128 43606 0 0 0 5320 68 0 0 20 0 20 0 18618016 19586084864 464311 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
/proc/185049/statm: 4781759 464311 6189 1 0 661550 0
[pid=185049/tid=185051] ppid=185046 vsize=19127036 memory=1857192 CPUtime=49.76 cores=0,2
/proc/185049/task/185051/stat : 185051 (java) R 185046 185049 182698 0 -1 4194368 11843 0 0 0 4922 54 0 0 20 0 20 0 18618017 19586084864 464311 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 32 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185060] ppid=185046 vsize=19127036 memory=1801804 CPUtime=0 cores=0,2
/proc/185049/task/185060/stat : 185060 (Finalizer) S 185046 185049 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18618020 19586084864 464311 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0

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

[startup+3342.3 s]
/proc/loadavg: 4.21 4.18 4.18 5/337 186863
/proc/meminfo: memFree=82054760/131524600 swapFree=131061136/131071996
[pid=185049] ppid=185046 vsize=19127036 memory=2218404 CPUtime=3290.83 cores=0,2
/proc/185049/stat : 185049 (java) S 185046 185049 182698 0 -1 1077936128 244983 0 0 0 327659 1424 0 0 20 0 20 0 18618016 19586084864 554601 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
/proc/185049/statm: 4781759 554601 6189 1 0 566831 0
[pid=185049/tid=185051] ppid=185046 vsize=19127036 memory=0 CPUtime=3245.62 cores=0,2
/proc/185049/task/185051/stat : 185051 (java) R 185046 185049 182698 0 -1 4194368 81641 0 0 0 323290 1272 0 0 20 0 20 0 18618017 19586084864 554601 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 5755 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185060] ppid=185046 vsize=19127036 memory=2218404 CPUtime=0 cores=0,2
/proc/185049/task/185060/stat : 185060 (Finalizer) S 185046 185049 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18618020 19586084864 554601 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185067] ppid=185046 vsize=19127036 memory=67648 CPUtime=0 cores=0,2
/proc/185049/task/185067/stat : 185067 (Common-Cleaner) S 185046 185049 182698 0 -1 1077936192 3331 0 0 0 0 0 0 0 20 0 20 0 18618020 19586084864 554601 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185068] ppid=185046 vsize=19127036 memory=2218404 CPUtime=0 cores=0,2
/proc/185049/task/185068/stat : 185068 (Timer-0) S 185046 185049 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18618054 19586084864 554601 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
Current children cumulated CPU time: 3290.83 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2218404 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/337 186874
/proc/meminfo: memFree=81522564/131524600 swapFree=131061136/131071996
[pid=185049] ppid=185046 vsize=19127036 memory=2218404 CPUtime=3349.07 cores=0,2
/proc/185049/stat : 185049 (java) S 185046 185049 182698 0 -1 1077936128 247332 0 0 0 333462 1445 0 0 20 0 20 0 18618016 19586084864 554601 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
/proc/185049/statm: 4781759 554601 6189 1 0 566831 0
[pid=185049/tid=185051] ppid=185046 vsize=19127036 memory=2218404 CPUtime=3303.45 cores=0,2
/proc/185049/task/185051/stat : 185051 (java) R 185046 185049 182698 0 -1 4194368 82786 0 0 0 329054 1291 0 0 20 0 20 0 18618017 19586084864 554601 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 5890 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185060] ppid=185046 vsize=19127036 memory=2218404 CPUtime=0 cores=0,2
/proc/185049/task/185060/stat : 185060 (Finalizer) S 185046 185049 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18618020 19586084864 554601 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185067] ppid=185046 vsize=19127036 memory=2218404 CPUtime=0 cores=0,2
/proc/185049/task/185067/stat : 185067 (Common-Cleaner) S 185046 185049 182698 0 -1 1077936192 3390 0 0 0 0 0 0 0 20 0 20 0 18618020 19586084864 554601 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185068] ppid=185046 vsize=19127036 memory=2218404 CPUtime=0 cores=0,2
/proc/185049/task/185068/stat : 185068 (Timer-0) S 185046 185049 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18618054 19586084864 554601 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
Current children cumulated CPU time: 3349.07 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2218404 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.16 4.17 5/337 186884
/proc/meminfo: memFree=81000900/131524600 swapFree=131061136/131071996
[pid=185049] ppid=185046 vsize=19127036 memory=2218404 CPUtime=3407.6 cores=0,2
/proc/185049/stat : 185049 (java) S 185046 185049 182698 0 -1 1077936128 250135 0 0 0 339295 1465 0 0 20 0 20 0 18618016 19586084864 554601 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
/proc/185049/statm: 4781759 554601 6189 1 0 566831 0
[pid=185049/tid=185051] ppid=185046 vsize=19127036 memory=2218404 CPUtime=3361.29 cores=0,2
/proc/185049/task/185051/stat : 185051 (java) R 185046 185049 182698 0 -1 4194368 83964 0 0 0 334820 1309 0 0 20 0 20 0 18618017 19586084864 554601 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6016 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185060] ppid=185046 vsize=19127036 memory=2218404 CPUtime=0 cores=0,2
/proc/185049/task/185060/stat : 185060 (Finalizer) S 185046 185049 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18618020 19586084864 554601 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185067] ppid=185046 vsize=19127036 memory=11624 CPUtime=0 cores=0,2
/proc/185049/task/185067/stat : 185067 (Common-Cleaner) S 185046 185049 182698 0 -1 1077936192 3451 0 0 0 0 0 0 0 20 0 20 0 18618020 19586084864 554601 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185068] ppid=185046 vsize=19127036 memory=11624 CPUtime=0 cores=0,2
/proc/185049/task/185068/stat : 185068 (Timer-0) S 185046 185049 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18618054 19586084864 554601 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
Current children cumulated CPU time: 3407.6 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2218404 KiB

[startup+3522.3 s]
/proc/loadavg: 4.29 4.20 4.18 3/319 186968
/proc/meminfo: memFree=88316032/131524600 swapFree=131061136/131071996
[pid=185049] ppid=185046 vsize=19127036 memory=2218404 CPUtime=3465.6 cores=0,2
/proc/185049/stat : 185049 (java) S 185046 185049 182698 0 -1 1077936128 252782 0 0 0 345076 1484 0 0 20 0 20 0 18618016 19586084864 554601 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
/proc/185049/statm: 4781759 554601 6189 1 0 566831 0
[pid=185049/tid=185051] ppid=185046 vsize=19127036 memory=2218404 CPUtime=3418.79 cores=0,2
/proc/185049/task/185051/stat : 185051 (java) D 185046 185049 182698 0 -1 4194368 85403 0 0 0 340553 1326 0 0 20 0 20 0 18618017 19586084864 554601 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6080 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185060] ppid=185046 vsize=19127036 memory=2218404 CPUtime=0 cores=0,2
/proc/185049/task/185060/stat : 185060 (Finalizer) S 185046 185049 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18618020 19586084864 554601 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185067] ppid=185046 vsize=19127036 memory=2218404 CPUtime=0 cores=0,2
/proc/185049/task/185067/stat : 185067 (Common-Cleaner) S 185046 185049 182698 0 -1 1077936192 3511 0 0 0 0 0 0 0 20 0 20 0 18618020 19586084864 554601 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185068] ppid=185046 vsize=19127036 memory=11624 CPUtime=0 cores=0,2
/proc/185049/task/185068/stat : 185068 (Timer-0) S 185046 185049 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18618054 19586084864 554601 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
Current children cumulated CPU time: 3465.6 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2218404 KiB

[startup+3582.3 s]
/proc/loadavg: 4.25 4.21 4.19 5/337 187110
/proc/meminfo: memFree=109139304/131524600 swapFree=131061136/131071996
[pid=185049] ppid=185046 vsize=19127036 memory=2218404 CPUtime=3514.26 cores=0,2
/proc/185049/stat : 185049 (java) S 185046 185049 182698 0 -1 1077936128 254935 0 0 0 349923 1503 0 0 20 0 20 0 18618016 19586084864 554601 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
/proc/185049/statm: 4781759 554601 6189 1 0 566831 0
[pid=185049/tid=185051] ppid=185046 vsize=19127036 memory=2218404 CPUtime=3466.98 cores=0,2
/proc/185049/task/185051/stat : 185051 (java) R 185046 185049 182698 0 -1 4194368 86393 0 0 0 345354 1344 0 0 20 0 20 0 18618017 19586084864 554601 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 7344 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185060] ppid=185046 vsize=19127036 memory=11624 CPUtime=0 cores=0,2
/proc/185049/task/185060/stat : 185060 (Finalizer) S 185046 185049 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18618020 19586084864 554601 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185067] ppid=185046 vsize=19127036 memory=18176 CPUtime=0 cores=0,2
/proc/185049/task/185067/stat : 185067 (Common-Cleaner) S 185046 185049 182698 0 -1 1077936192 3572 0 0 0 0 0 0 0 20 0 20 0 18618020 19586084864 554601 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185068] ppid=185046 vsize=19127036 memory=11624 CPUtime=0 cores=0,2
/proc/185049/task/185068/stat : 185068 (Timer-0) S 185046 185049 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18618054 19586084864 554601 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
Current children cumulated CPU time: 3514.26 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2218404 KiB

[startup+3642.3 s]
/proc/loadavg: 4.21 4.20 4.18 5/335 187126
/proc/meminfo: memFree=106395972/131524600 swapFree=131061136/131071996
[pid=185049] ppid=185046 vsize=19127036 memory=2218488 CPUtime=3574.19 cores=0,2
/proc/185049/stat : 185049 (java) S 185046 185049 182698 0 -1 1077936128 265074 0 0 0 355898 1521 0 0 20 0 20 0 18618016 19586084864 554622 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
/proc/185049/statm: 4781759 554622 6189 1 0 566846 0
[pid=185049/tid=185051] ppid=185046 vsize=19127036 memory=2218404 CPUtime=3525.92 cores=0,2
/proc/185049/task/185051/stat : 185051 (java) R 185046 185049 182698 0 -1 4194368 87894 0 0 0 351231 1361 0 0 20 0 20 0 18618017 19586084864 554622 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7388 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185060] ppid=185046 vsize=19127036 memory=2218488 CPUtime=0 cores=0,2
/proc/185049/task/185060/stat : 185060 (Finalizer) S 185046 185049 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18618020 19586084864 554622 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185067] ppid=185046 vsize=19127036 memory=2218488 CPUtime=0 cores=0,2
/proc/185049/task/185067/stat : 185067 (Common-Cleaner) S 185046 185049 182698 0 -1 1077936192 3633 0 0 0 0 0 0 0 20 0 20 0 18618020 19586084864 554622 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185068] ppid=185046 vsize=19127036 memory=2218488 CPUtime=0 cores=0,2
/proc/185049/task/185068/stat : 185068 (Timer-0) S 185046 185049 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18618054 19586084864 554622 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
Current children cumulated CPU time: 3574.19 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2218488 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3668.4 s]
/proc/loadavg: 4.13 4.18 4.18 5/335 187131
/proc/meminfo: memFree=105833776/131524600 swapFree=131061136/131071996
[pid=185049] ppid=185046 vsize=19127036 memory=2218488 CPUtime=3600.05 cores=0,2
/proc/185049/stat : 185049 (java) S 185046 185049 182698 0 -1 1077936128 265590 0 0 0 358476 1529 0 0 20 0 20 0 18618016 19586084864 554622 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
/proc/185049/statm: 4781759 554622 6189 1 0 566846 0
[pid=185049/tid=185051] ppid=185046 vsize=19127036 memory=18176 CPUtime=3551.48 cores=0,2
/proc/185049/task/185051/stat : 185051 (java) R 185046 185049 182698 0 -1 4194368 88220 0 0 0 353780 1368 0 0 20 0 20 0 18618017 19586084864 554622 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7415 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185060] ppid=185046 vsize=19127036 memory=2268 CPUtime=0 cores=0,2
/proc/185049/task/185060/stat : 185060 (Finalizer) S 185046 185049 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18618020 19586084864 554622 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185067] ppid=185046 vsize=19127036 memory=5552 CPUtime=0 cores=0,2
/proc/185049/task/185067/stat : 185067 (Common-Cleaner) S 185046 185049 182698 0 -1 1077936192 3695 0 0 0 0 0 0 0 20 0 20 0 18618020 19586084864 554622 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185068] ppid=185046 vsize=19127036 memory=2152 CPUtime=0 cores=0,2
/proc/185049/task/185068/stat : 185068 (Timer-0) S 185046 185049 182698 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18618054 19586084864 554622 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2218488 KiB

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

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

# cumulated CPU time of all completed processes:  user=3585.03 s, system=15.309 s

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

[startup+3668.51 s]
/proc/loadavg: 4.13 4.18 4.18 5/335 187131
/proc/meminfo: memFree=105833776/131524600 swapFree=131061136/131071996
[pid=185049] ppid=185046 vsize=19326728 memory=2219360 CPUtime=3600.25 cores=0,2
/proc/185049/stat : 185049 (java) S 185046 185049 182698 0 -1 1077936128 268517 0 0 0 358496 1529 0 0 20 0 21 0 18618016 19790569472 554840 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
/proc/185049/statm: 4831682 554840 6188 1 0 567833 0
[pid=185049/tid=185051] ppid=185046 vsize=19326728 memory=2218488 CPUtime=3551.58 cores=0,2
/proc/185049/task/185051/stat : 185051 (java) R 185046 185049 182698 0 -1 4194368 88312 0 0 0 353790 1368 0 0 20 0 21 0 18618017 19790569472 554840 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 7415 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185060] ppid=185046 vsize=19326728 memory=2218404 CPUtime=0 cores=0,2
/proc/185049/task/185060/stat : 185060 (Finalizer) S 185046 185049 182698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18618020 19790569472 554840 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
[pid=185049/tid=185067] ppid=185046 vsize=19326728 memory=12368 CPUtime=0 cores=0,2
/proc/185049/task/185067/stat : 185067 (Common-Cleaner) S 185046 185049 182698 0 -1 1077936192 3695 0 0 0 0 0 0 0 20 0 21 0 18618020 19790569472 554840 134679101440 94681544658944 94681544662640 140731448903872 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94681544670456 94681544671248 94681556590592 140731448906671 140731448906853 140731448906853 140731448913864 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 2219360 KiB

Child status: 143

Real time (s): 3668.58
CPU time (s): 3600.34
CPU user time (s): 3585.03
CPU system time (s): 15.309
CPU usage (%): 98.1397
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 2601188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.03
system time used= 15.309
maximum resident set size= 2601196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269138
page faults= 0
swaps= 0
block input operations= 0
block output operations= 26111880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128477
involuntary context switches= 33413


# summary of solver processes directly reported to runsolver:
#   pid: 185049
#   total CPU time (s): 3600.34
#   total CPU user time (s): 3585.03
#   total CPU system time (s): 15.309

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.77715 second user time and 18.1643 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-24 13:35:01
IDJOB=4440523
IDBENCH=155620
IDSOLVER=3079
FILE ID=nodeC014/4440523-1721820901
RUNJOBID= nodeC014-1721817186-182708
SLURM_JOB_ID= 7816864
Free space on /tmp= 890000 MiB

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

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

MD5SUM BENCH= 4bce0178dd52d2d263abed98aae07653
RANDOM SEED=363426714

nodeC014.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		: 3602.350
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.45
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		: 3696.347
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.48
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		: 3601.351
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.45
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		: 3693.951
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.48
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		: 3611.671
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.45
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		: 3660.754
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.48
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		: 3603.696
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.45
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		: 3647.308
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        118903404 kB
MemAvailable:   121798764 kB
Buffers:          241388 kB
Cached:          3480824 kB
SwapCached:          236 kB
Active:          2132744 kB
Inactive:        9854868 kB
Active(anon):       2124 kB
Inactive(anon):  8316620 kB
Active(file):    2130620 kB
Inactive(file):  1538248 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061136 kB
Dirty:             15384 kB
Writeback:        164008 kB
AnonPages:       8264124 kB
Mapped:           116844 kB
Shmem:             53232 kB
KReclaimable:     132628 kB
Slab:             256848 kB
SReclaimable:     132628 kB
SUnreclaim:       124220 kB
KernelStack:        5136 kB
PageTables:        26300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   13066632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16896 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7983104 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:      359124 kB
DirectMap2M:    35065856 kB
DirectMap1G:    100663296 kB

Free space on /tmp at the end= 890028 MiB
End job on nodeC014 at 2024-07-24 14:36:10