Trace number 4432435

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 Default 2024-07-07SAT (TO)44 3600.51 3600.24

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_3_shg.opb
MD5SUM9f3f50f555350d326304759fc873d478
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 benchmark36
Best CPU time to get the best result obtained on this benchmark74.5212
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5048
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint18
Maximum length of a constraint45
Number of terms in the objective function 5048
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5048
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5048
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.14/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.14/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.14/0.14	c See www.sat4j.org for details.
0.14/0.15	c version CUSTOM.v20240707
0.14/0.17	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.17	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.17	c java.vm.version	22.0.1+8-16
0.14/0.17	c java.vm.vendor	Oracle Corporation
0.14/0.17	c sun.arch.data.model	64
0.14/0.17	c java.version		22.0.1
0.14/0.17	c os.name		Linux
0.14/0.17	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.17	c os.arch		amd64
0.14/0.18	c Free memory 		2113181440
0.14/0.19	c Max memory 		16282288128
0.14/0.19	c Total memory 		2122317824
0.14/0.20	c Number of processors 	2
0.30/0.29	--- Begin Solver configuration ---
0.30/0.29	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.30/0.29	Learn all clauses as in MiniSAT
0.30/0.29	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.29	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.29	No reason simplification
0.30/0.29	Glucose 2.1 dynamic restart strategy
0.30/0.29	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.30/0.29	timeout=2147483s
0.30/0.29	DB Simplification allowed=false
0.30/0.29	Listener: none
0.30/0.29	--- End Solver configuration ---
0.30/0.29	c Pseudo Boolean Optimization by upper bound
0.30/0.29	c --- Begin Solver configuration ---
0.30/0.29	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.30/0.29	c Learn all clauses as in MiniSAT
0.30/0.29	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.29	c No reason simplification
0.30/0.29	c Glucose 2.1 dynamic restart strategy
0.30/0.29	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.30/0.29	c timeout=2147483s
0.30/0.29	c DB Simplification allowed=false
0.30/0.29	c Listener: none
0.30/0.29	c --- End Solver configuration ---
0.30/0.29	c solving HOME/instance-4432435-1721138214.opb
0.30/0.29	c reading problem ... 
0.30/0.29	c  objective function found
3.60/2.20	c ... done. Wall clock time 1.9s.
3.60/2.20	c declared #vars     5048
3.60/2.20	c #constraints  65280
3.60/2.20	c constraints type 
3.60/2.20	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 65280
3.60/2.20	c 65280 constraints processed.
3.60/2.20	c objective function length is 5048 literals
3.77/2.35	c SATISFIABLE
3.77/2.35	c OPTIMIZING...
3.77/2.35	c Got one! Elapsed wall clock time (in seconds):2.058
3.77/2.35	o 45
3.77/2.38	c Got one! Elapsed wall clock time (in seconds):2.09
3.77/2.38	o 44
6.23/3.79	c cleaning 2492 clauses out of 5005 with flag 22155/5005
7.89/4.91	c cleaning 4255 clauses out of 8512 with flag 51072/11004
9.66/6.23	c cleaning 5627 clauses out of 11259 with flag 84945/18006
11.18/7.76	c cleaning 6790 clauses out of 13633 with flag 122912/26007
12.87/9.47	c cleaning 7922 clauses out of 15843 with flag 169358/35007
14.88/11.47	c cleaning 8945 clauses out of 17918 with flag 212507/45004
17.09/13.66	c cleaning 9984 clauses out of 19975 with flag 259448/56006
19.61/16.11	c cleaning 10995 clauses out of 21989 with flag 306983/68004
22.18/18.78	c cleaning 11967 clauses out of 23995 with flag 357595/81005
25.09/21.60	c cleaning 13005 clauses out of 26029 with flag 412095/95006
28.19/24.76	c cleaning 13999 clauses out of 28025 with flag 470569/110007
31.39/27.92	c cleaning 14988 clauses out of 30023 with flag 545403/126004
34.85/31.37	c cleaning 16008 clauses out of 32035 with flag 617530/143004
38.62/35.04	c cleaning 16978 clauses out of 34028 with flag 682936/161005
42.50/38.94	c cleaning 18012 clauses out of 36049 with flag 754765/180004
46.60/43.07	c cleaning 19002 clauses out of 38043 with flag 835081/200010
50.99/47.48	c cleaning 20004 clauses out of 40035 with flag 913883/221004
55.59/52.05	c cleaning 21011 clauses out of 42031 with flag 996302/243004
60.37/56.87	c cleaning 22005 clauses out of 44020 with flag 1081013/266004
65.26/61.75	c cleaning 22997 clauses out of 46015 with flag 1181536/290004
70.45/66.93	c cleaning 24000 clauses out of 48018 with flag 1275777/315004
75.84/72.33	c cleaning 24992 clauses out of 50018 with flag 1380722/341004
81.42/77.98	c cleaning 26000 clauses out of 52026 with flag 1487900/368004
87.47/83.98	c cleaning 26978 clauses out of 54026 with flag 1592308/396004
93.57/90.06	c cleaning 27990 clauses out of 56048 with flag 1703882/425004
99.75/96.25	c cleaning 29017 clauses out of 58058 with flag 1824741/455004
106.23/102.77	c cleaning 30000 clauses out of 60042 with flag 1941033/486005
112.92/109.48	c cleaning 31000 clauses out of 62043 with flag 2078686/518006
119.91/116.43	c cleaning 31990 clauses out of 64041 with flag 2219045/551004
127.10/123.61	c cleaning 32984 clauses out of 66051 with flag 2359296/585004
134.38/130.94	c cleaning 34002 clauses out of 68067 with flag 2509120/620004
142.07/138.63	c cleaning 35018 clauses out of 70066 with flag 2678257/656005
150.11/146.63	c cleaning 36010 clauses out of 72047 with flag 2832082/693004
158.30/154.80	c cleaning 36963 clauses out of 74037 with flag 3004412/731004
166.78/163.30	c cleaning 38022 clauses out of 76074 with flag 3168006/770004
175.36/172.01	c cleaning 39021 clauses out of 78053 with flag 3349417/810005
184.35/180.93	c cleaning 39992 clauses out of 80031 with flag 3527663/851004
193.44/190.11	c cleaning 40996 clauses out of 82039 with flag 3700483/893004
202.81/199.42	c cleaning 41988 clauses out of 84043 with flag 3861578/936004
212.58/209.19	c cleaning 42993 clauses out of 86055 with flag 4022431/980004
222.46/219.06	c cleaning 44028 clauses out of 88062 with flag 4214823/1025004
232.53/229.16	c cleaning 45001 clauses out of 90035 with flag 4422611/1071005
242.80/239.44	c cleaning 46004 clauses out of 92033 with flag 4633954/1118004
253.39/250.09	c cleaning 46986 clauses out of 94029 with flag 4850275/1166004
264.26/260.99	c cleaning 48009 clauses out of 96047 with flag 5059358/1215008
275.62/272.26	c cleaning 48995 clauses out of 98034 with flag 5259807/1265004
287.30/283.91	c cleaning 50009 clauses out of 100040 with flag 5467601/1316005
298.77/295.47	c cleaning 50951 clauses out of 102030 with flag 5694440/1368004
310.46/307.14	c cleaning 52025 clauses out of 104079 with flag 5955136/1421004
322.34/319.07	c cleaning 53004 clauses out of 106054 with flag 6207685/1475004
334.61/331.26	c cleaning 54015 clauses out of 108050 with flag 6470536/1530004
347.18/343.87	c cleaning 55017 clauses out of 110035 with flag 6726534/1586004
360.05/356.71	c cleaning 55989 clauses out of 112018 with flag 7010329/1643004
373.03/369.71	c cleaning 56981 clauses out of 114029 with flag 7270242/1701004
386.32/383.05	c cleaning 58006 clauses out of 116048 with flag 7551143/1760004
400.47/397.16	c cleaning 59015 clauses out of 118042 with flag 7825506/1820004
414.33/411.07	c cleaning 59991 clauses out of 120027 with flag 8096018/1881004
428.49/425.23	c cleaning 61019 clauses out of 122038 with flag 8376426/1943006
442.96/439.70	c cleaning 61998 clauses out of 124017 with flag 8623323/2006004
457.83/454.59	c cleaning 62979 clauses out of 126019 with flag 8878478/2070004
472.50/469.23	c cleaning 64018 clauses out of 128040 with flag 9184059/2135004
487.47/484.23	c cleaning 64993 clauses out of 130025 with flag 9496015/2201007
502.74/499.52	c cleaning 65973 clauses out of 132031 with flag 9799723/2268006
518.59/515.35	c cleaning 67013 clauses out of 134059 with flag 10107587/2336007
534.27/531.04	c cleaning 67981 clauses out of 136043 with flag 10433032/2405004
550.34/547.19	c cleaning 69019 clauses out of 138062 with flag 10765290/2475004
566.50/563.35	c cleaning 70006 clauses out of 140044 with flag 11096984/2546005
582.94/579.76	c cleaning 70985 clauses out of 142037 with flag 11429769/2618004
599.80/596.66	c cleaning 71993 clauses out of 144052 with flag 11744595/2691004
616.67/613.57	c cleaning 73022 clauses out of 146061 with flag 12086153/2765006
633.94/630.87	c cleaning 74009 clauses out of 148037 with flag 12425484/2840004
651.68/648.52	c cleaning 75012 clauses out of 150029 with flag 12775591/2916005
669.34/666.26	c cleaning 75987 clauses out of 152016 with flag 13128112/2993004
687.49/684.48	c cleaning 76988 clauses out of 154029 with flag 13475504/3071004
705.55/702.56	c cleaning 77988 clauses out of 156041 with flag 13843685/3150004
724.03/721.08	c cleaning 79021 clauses out of 158053 with flag 14224556/3230004
742.79/739.83	c cleaning 80010 clauses out of 160032 with flag 14595484/3311004
761.64/758.78	c cleaning 80995 clauses out of 162022 with flag 14943806/3393004
781.25/778.36	c cleaning 81984 clauses out of 164027 with flag 15299336/3476004
800.41/797.59	c cleaning 82980 clauses out of 166043 with flag 15709512/3560004
820.67/817.81	c cleaning 83987 clauses out of 168063 with flag 16104907/3645004
841.03/838.18	c cleaning 85026 clauses out of 170076 with flag 16495733/3731004
861.27/858.41	c cleaning 85997 clauses out of 172050 with flag 16904957/3818004
881.63/878.88	c cleaning 87019 clauses out of 174059 with flag 17305711/3906010
901.90/899.16	c cleaning 88003 clauses out of 176035 with flag 17723487/3995005
923.01/920.28	c cleaning 89008 clauses out of 178031 with flag 18121328/4085004
944.07/941.35	c cleaning 90008 clauses out of 180026 with flag 18544997/4176007
965.40/962.71	c cleaning 90978 clauses out of 182015 with flag 18961569/4268004
987.27/984.50	c cleaning 91997 clauses out of 184038 with flag 19387544/4361005
1009.12/1006.50	c cleaning 92986 clauses out of 186040 with flag 19833197/4455004
1031.06/1028.41	c cleaning 94009 clauses out of 188059 with flag 20275998/4550009
1053.10/1050.59	c cleaning 95021 clauses out of 190045 with flag 20715490/4646004
1076.13/1073.56	c cleaning 95989 clauses out of 192024 with flag 21113521/4743004
1098.86/1096.30	c cleaning 96991 clauses out of 194036 with flag 21569049/4841005
1121.90/1119.44	c cleaning 97975 clauses out of 196045 with flag 22035980/4940005
1144.64/1142.22	c cleaning 99001 clauses out of 198069 with flag 22510228/5040004
1167.82/1165.34	c cleaning 100006 clauses out of 200069 with flag 23007773/5141005
1191.36/1189.01	c cleaning 101015 clauses out of 202062 with flag 23478664/5243004
1215.20/1212.84	c cleaning 101987 clauses out of 204047 with flag 23959708/5346004
1239.06/1236.67	c cleaning 102996 clauses out of 206060 with flag 24438067/5450004
1263.99/1261.66	c cleaning 104009 clauses out of 208065 with flag 24932412/5555005
1288.82/1286.56	c cleaning 105016 clauses out of 210055 with flag 25422158/5661004
1314.06/1311.83	c cleaning 106006 clauses out of 212039 with flag 25894115/5768004
1339.47/1337.28	c cleaning 107007 clauses out of 214034 with flag 26373519/5876005
1365.33/1363.18	c cleaning 108009 clauses out of 216026 with flag 26853856/5985004
1390.85/1388.75	c cleaning 109009 clauses out of 218019 with flag 27392676/6095006
1417.21/1415.05	c cleaning 109974 clauses out of 220008 with flag 27878050/6206004
1443.72/1441.69	c cleaning 111003 clauses out of 222034 with flag 28369663/6318004
1471.44/1469.40	c cleaning 111977 clauses out of 224040 with flag 28850933/6431013
1498.68/1496.76	c cleaning 113007 clauses out of 226054 with flag 29334808/6545004
1526.32/1524.38	c cleaning 114000 clauses out of 228047 with flag 29829843/6660004
1553.46/1551.50	c cleaning 114995 clauses out of 230047 with flag 30347686/6776004
1581.57/1579.77	c cleaning 116007 clauses out of 232052 with flag 30861890/6893004
1610.21/1607.29	c cleaning 117010 clauses out of 234050 with flag 31397564/7011009
1638.44/1635.56	c cleaning 117991 clauses out of 236035 with flag 31922994/7130004
1667.06/1664.28	c cleaning 119003 clauses out of 238044 with flag 32434145/7250004
1695.44/1692.68	c cleaning 119992 clauses out of 240041 with flag 32956288/7371004
1723.96/1721.24	c cleaning 120991 clauses out of 242049 with flag 33505174/7493004
1753.58/1750.96	c cleaning 122022 clauses out of 244058 with flag 34046453/7616004
1783.83/1781.11	c cleaning 123005 clauses out of 246037 with flag 34582642/7740005
1813.04/1810.40	c cleaning 124000 clauses out of 248031 with flag 35146327/7865004
1842.86/1840.39	c cleaning 125001 clauses out of 250035 with flag 35716511/7991008
1872.98/1870.44	c cleaning 126014 clauses out of 252030 with flag 36310750/8118004
1903.41/1900.98	c cleaning 126998 clauses out of 254016 with flag 36880049/8246004
1934.24/1931.80	c cleaning 128000 clauses out of 256018 with flag 37449685/8375004
1966.20/1963.78	c cleaning 128997 clauses out of 258019 with flag 38001341/8505005
1997.12/1994.70	c cleaning 129972 clauses out of 260021 with flag 38581643/8636004
2028.84/2026.57	c cleaning 131004 clauses out of 262049 with flag 39171001/8768004
2060.52/2058.26	c cleaning 132015 clauses out of 264045 with flag 39724767/8901004
2092.64/2090.45	c cleaning 132995 clauses out of 266030 with flag 40288977/9035004
2124.66/2122.46	c cleaning 134006 clauses out of 268035 with flag 40900177/9170004
2156.49/2154.34	c cleaning 135007 clauses out of 270031 with flag 41510145/9306006
2188.22/2186.18	c cleaning 136004 clauses out of 272022 with flag 42064803/9443004
2220.57/2218.42	c cleaning 137001 clauses out of 274018 with flag 42711112/9581004
2253.10/2251.05	c cleaning 137994 clauses out of 276017 with flag 43369346/9720004
2286.31/2284.33	c cleaning 138983 clauses out of 278023 with flag 44013649/9860004
2319.73/2317.87	c cleaning 140008 clauses out of 280042 with flag 44680472/10001006
2353.27/2351.35	c cleaning 141009 clauses out of 282033 with flag 45346597/10143005
2386.58/2384.71	c cleaning 142001 clauses out of 284023 with flag 45991487/10286004
2420.18/2418.42	c cleaning 142979 clauses out of 286022 with flag 46627446/10430004
2455.14/2453.30	c cleaning 143983 clauses out of 288044 with flag 47281757/10575005
2489.56/2487.81	c cleaning 145000 clauses out of 290060 with flag 47970678/10721004
2523.96/2522.35	c cleaning 146018 clauses out of 292061 with flag 48661731/10868005
2560.34/2558.76	c cleaning 146985 clauses out of 294042 with flag 49360477/11016004
2596.05/2594.55	c cleaning 147966 clauses out of 296058 with flag 50031511/11165005
2631.48/2630.02	c cleaning 149035 clauses out of 298093 with flag 50747870/11315006
2667.23/2665.80	c cleaning 150000 clauses out of 300056 with flag 51464299/11466004
2703.23/2701.91	c cleaning 151009 clauses out of 302056 with flag 52187593/11618004
2739.23/2737.98	c cleaning 152000 clauses out of 304049 with flag 52891793/11771006
2775.24/2774.06	c cleaning 152989 clauses out of 306047 with flag 53613650/11925004
2814.04/2812.05	c cleaning 153991 clauses out of 308058 with flag 54346678/12080004
2851.41/2849.75	c cleaning 155000 clauses out of 310067 with flag 55095282/12236004
2888.89/2887.58	c cleaning 156006 clauses out of 312067 with flag 55817728/12393004
2926.98/2925.86	c cleaning 157021 clauses out of 314061 with flag 56531419/12551004
2965.14/2964.38	c cleaning 158006 clauses out of 316042 with flag 57244682/12710006
3003.73/3003.10	c cleaning 158992 clauses out of 318034 with flag 57975259/12870004
3042.56/3041.82	c cleaning 159986 clauses out of 320042 with flag 58634946/13031004
3081.46/3080.81	c cleaning 161009 clauses out of 322056 with flag 59339954/13193004
3120.95/3120.21	c cleaning 161998 clauses out of 324047 with flag 60109159/13356004
3160.77/3160.17	c cleaning 163012 clauses out of 326049 with flag 60867231/13520004
3199.58/3199.05	c cleaning 163993 clauses out of 328037 with flag 61638412/13685004
3240.62/3240.08	c cleaning 165018 clauses out of 330044 with flag 62374964/13851004
3280.30/3279.84	c cleaning 165987 clauses out of 332026 with flag 63161307/14018004
3319.69/3319.33	c cleaning 167001 clauses out of 334039 with flag 63975842/14186004
3361.59/3361.29	c cleaning 168014 clauses out of 336039 with flag 64734320/14355005
3402.70/3402.40	c cleaning 168991 clauses out of 338024 with flag 65512162/14525004
3443.21/3443.07	c cleaning 169979 clauses out of 340035 with flag 66312088/14696006
3483.51/3483.37	c cleaning 170996 clauses out of 342054 with flag 67099337/14868004
3523.49/3523.44	c cleaning 171999 clauses out of 344058 with flag 67878144/15041004
3565.15/3565.01	c cleaning 173000 clauses out of 346059 with flag 68622439/15215004
3600.06/3600.04	c starts		: 13216
3600.06/3600.05	c conflicts		: 15370039
3600.06/3600.05	c decisions		: 109458804
3600.06/3600.05	c propagations		: 11647885770
3600.06/3600.05	c inspects		: 2020840986
3600.06/3600.05	c shortcuts		: 0
3600.06/3600.05	c learnt literals	: 0
3600.06/3600.05	c learnt binary clauses	: 0
3600.06/3600.05	c learnt ternary clauses	: 0
3600.06/3600.05	c learnt constraints	: 15370039
3600.06/3600.05	c ignored constraints	: 0
3600.06/3600.05	c root simplifications	: 0
3600.06/3600.05	c removed literals (reason simplification)	: 0
3600.06/3600.05	c reason swapping (by a shorter reason)	: 0
3600.06/3600.05	c Calls to reduceDB	: 170
3600.06/3600.05	c Number of update (reduction) of LBD	: 9203670
3600.06/3600.05	c Imported unit clauses	: 0
3600.06/3600.05	c No decision after first conflict	: false
3600.06/3600.05	c number of reductions to clauses (during analyze)	: 0
3600.06/3600.05	c number of learned constraints concerned by reduction	: 0
3600.06/3600.05	c number of learning phase by resolution	: 0
3600.06/3600.05	c number of learning phase by cutting planes	: 0
3600.06/3600.05	c number of rounding to 1 operations	: 0
3600.06/3600.05	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3600.05	c number of reductions of the coefficients by power 2 	: 0
3600.06/3600.05	c number of right shift for reduction by power 2 	: 0
3600.06/3600.05	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3600.05	c number of ending skipping 	: 0
3600.06/3600.05	c number of internal skipping 	: 0
3600.06/3600.05	c number of derivation steps 	: 0
3600.06/3600.05	c number of skipped derivation steps 	: 0
3600.06/3600.05	c number of remaining unassigned 	: 0
3600.06/3600.05	c number of remaining assigned 	: 0
3600.06/3600.05	c number of falsified literals weakened from reason	: 0
3600.06/3600.05	c number of falsified literals weakened from conflict	: 0
3600.06/3600.05	c time for arithmetic operations	: 0
3600.06/3600.06	c minimum degree of deleted constraints	: null
3600.06/3600.06	c maximum degree of deleted constraints	: null
3600.06/3600.06	c number of deleted constraints	: 0
3600.06/3600.06	c speed (assignments/second)	: 3237467.204619217
3600.06/3600.06	c non guided choices	: 0
3600.28/3600.19	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 328094
3600.28/3600.19	s SATISFIABLE
3600.28/3600.19	c Found 2 solution(s)
3600.28/3600.20	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 
3600.45/3600.22	c objective function=44
3600.45/3600.22	c Total wall clock time (in seconds): 3599.926

Verifier Data 

OK	44

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432435-1721138214/watcher-4432435-1721138214 -o /tmp/evaluation-result-4432435-1721138214/solver-4432435-1721138214 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721131365-854696 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432435-1721138214.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=858609, runsolver pid=858606

[startup+0.107617 s]*
/proc/loadavg: 4.24 4.33 4.30 7/317 858627
/proc/meminfo: memFree=112063412/131655788 swapFree=131071996/131071996
[pid=858609] ppid=858606 vsize=18975048 memory=55980 CPUtime=0.14 cores=0,2
/proc/858609/stat : 858609 (java) S 858606 858609 854686 0 -1 1077936128 6600 0 0 0 11 3 0 0 20 0 18 0 165979459 19430449152 13995 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
/proc/858609/statm: 4743762 13995 5584 1 0 550933 0
[pid=858609/tid=858611] ppid=858606 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/858609/task/858611/stat : 858611 (java) R 858606 858609 854686 0 -1 4194368 5499 0 0 0 7 2 0 0 20 0 18 0 165979459 19430449152 13995 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858620] ppid=858606 vsize=18975048 memory=228556276070 CPUtime=0 cores=0,2
/proc/858609/task/858620/stat : 858620 (Finalizer) S 858606 858609 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 165979464 19430449152 13995 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858627] ppid=858606 vsize=18975048 memory=3978424728183636000 CPUtime=0 cores=0,2
/proc/858609/task/858627/stat : 858627 (Common-Cleaner) S 858606 858609 854686 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 165979465 19430449152 13995 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55980 KiB

[startup+0.214411 s]*
/proc/loadavg: 4.24 4.33 4.30 5/317 858627
/proc/meminfo: memFree=112056320/131655788 swapFree=131071996/131071996
[pid=858609] ppid=858606 vsize=18975048 memory=63376 CPUtime=0.3 cores=0,2
/proc/858609/stat : 858609 (java) S 858606 858609 854686 0 -1 1077936128 7186 0 0 0 26 4 0 0 20 0 18 0 165979459 19430449152 15844 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
/proc/858609/statm: 4743762 15844 5748 1 0 551386 0
[pid=858609/tid=858611] ppid=858606 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/858609/task/858611/stat : 858611 (java) R 858606 858609 854686 0 -1 4194368 5714 0 0 0 16 3 0 0 20 0 18 0 165979459 19430449152 15844 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858620] ppid=858606 vsize=18975048 memory=694 CPUtime=0 cores=0,2
/proc/858609/task/858620/stat : 858620 (Finalizer) S 858606 858609 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 165979464 19430449152 15844 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858627] ppid=858606 vsize=18975048 memory=14135562894328173 CPUtime=0 cores=0,2
/proc/858609/task/858627/stat : 858627 (Common-Cleaner) S 858606 858609 854686 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 165979465 19430449152 15844 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63376 KiB

[startup+0.321401 s]*
/proc/loadavg: 4.24 4.33 4.30 8/317 858627
/proc/meminfo: memFree=112053208/131655788 swapFree=131071996/131071996
[pid=858609] ppid=858606 vsize=18975048 memory=66312 CPUtime=0.47 cores=0,2
/proc/858609/stat : 858609 (java) S 858606 858609 854686 0 -1 1077936128 7459 0 0 0 43 4 0 0 20 0 18 0 165979459 19430449152 16578 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
/proc/858609/statm: 4743762 16578 5764 1 0 551556 0
[pid=858609/tid=858611] ppid=858606 vsize=18975048 memory=-8745256433850098364 CPUtime=0.28 cores=0,2
/proc/858609/task/858611/stat : 858611 (java) R 858606 858609 854686 0 -1 4194368 5856 0 0 0 25 3 0 0 20 0 18 0 165979459 19430449152 16578 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858620] ppid=858606 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/858609/task/858620/stat : 858620 (Finalizer) S 858606 858609 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 165979464 19430449152 16578 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858627] ppid=858606 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/858609/task/858627/stat : 858627 (Common-Cleaner) S 858606 858609 854686 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 165979465 19430449152 16578 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66312 KiB

[startup+0.707649 s]
/proc/loadavg: 4.24 4.33 4.30 7/317 858627
/proc/meminfo: memFree=112034140/131655788 swapFree=131071996/131071996
[pid=858609] ppid=858606 vsize=18975048 memory=114436 CPUtime=1.18 cores=0,2
/proc/858609/stat : 858609 (java) S 858606 858609 854686 0 -1 1077936128 9158 0 0 0 112 6 0 0 20 0 18 0 165979459 19430449152 28609 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
/proc/858609/statm: 4743762 28609 5834 1 0 552634 0
[pid=858609/tid=858611] ppid=858606 vsize=18975048 memory=5576 CPUtime=0.57 cores=0,2
/proc/858609/task/858611/stat : 858611 (java) R 858606 858609 854686 0 -1 4194368 5910 0 0 0 53 4 0 0 20 0 18 0 165979459 19430449152 28609 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858620] ppid=858606 vsize=18975048 memory=12676 CPUtime=0 cores=0,2
/proc/858609/task/858620/stat : 858620 (Finalizer) S 858606 858609 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 165979464 19430449152 28609 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858627] ppid=858606 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/858609/task/858627/stat : 858627 (Common-Cleaner) S 858606 858609 854686 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 165979465 19430449152 28609 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 114436 KiB

[startup+1.51363 s]
/proc/loadavg: 4.24 4.33 4.30 6/318 858628
/proc/meminfo: memFree=111948224/131655788 swapFree=131071996/131071996
[pid=858609] ppid=858606 vsize=19041612 memory=266852 CPUtime=2.74 cores=0,2
/proc/858609/stat : 858609 (java) S 858606 858609 854686 0 -1 1077936128 24265 0 0 0 262 12 0 0 20 0 19 0 165979459 19498610688 66713 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
/proc/858609/statm: 4760403 66713 5865 1 0 559420 0
[pid=858609/tid=858611] ppid=858606 vsize=19041612 memory=12676 CPUtime=1.29 cores=0,2
/proc/858609/task/858611/stat : 858611 (java) R 858606 858609 854686 0 -1 4194368 6003 0 0 0 122 7 0 0 20 0 19 0 165979459 19498610688 66713 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858620] ppid=858606 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/858609/task/858620/stat : 858620 (Finalizer) S 858606 858609 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 165979464 19498610688 66713 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858627] ppid=858606 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/858609/task/858627/stat : 858627 (Common-Cleaner) S 858606 858609 854686 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 165979465 19498610688 66713 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 266852 KiB

[startup+3.1104 s]
/proc/loadavg: 4.30 4.34 4.31 8/319 858629
/proc/meminfo: memFree=111592148/131655788 swapFree=131071996/131071996
[pid=858609] ppid=858606 vsize=19108176 memory=526840 CPUtime=5.34 cores=0,2
/proc/858609/stat : 858609 (java) S 858606 858609 854686 0 -1 1077936128 29285 0 0 0 517 17 0 0 20 0 20 0 165979459 19566772224 131710 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
/proc/858609/statm: 4777044 131710 5903 1 0 1088303 0
[pid=858609/tid=858611] ppid=858606 vsize=19108176 memory=0 CPUtime=2.81 cores=0,2
/proc/858609/task/858611/stat : 858611 (java) R 858606 858609 854686 0 -1 4194368 8243 0 0 0 270 11 0 0 20 0 20 0 165979459 19566772224 131710 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858620] ppid=858606 vsize=19108176 memory=12676 CPUtime=0 cores=0,2
/proc/858609/task/858620/stat : 858620 (Finalizer) S 858606 858609 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165979464 19566772224 131710 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858627] ppid=858606 vsize=19108176 memory=338740 CPUtime=0 cores=0,2
/proc/858609/task/858627/stat : 858627 (Common-Cleaner) S 858606 858609 854686 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 165979465 19566772224 131710 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858629] ppid=858606 vsize=19108176 memory=33 CPUtime=0 cores=0,2
/proc/858609/task/858629/stat : 858629 (Timer-0) S 858606 858609 854686 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 165979680 19566772224 131710 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
Current children cumulated CPU time: 5.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 526840 KiB

[startup+6.30043 s]
/proc/loadavg: 4.30 4.34 4.31 5/319 858629
/proc/meminfo: memFree=111591332/131655788 swapFree=131071996/131071996
[pid=858609] ppid=858606 vsize=19108176 memory=527572 CPUtime=9.78 cores=0,2
/proc/858609/stat : 858609 (java) S 858606 858609 854686 0 -1 1077936128 30145 0 0 0 960 18 0 0 20 0 20 0 165979459 19566772224 131893 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
/proc/858609/statm: 4777044 131893 5903 1 0 1088372 0
[pid=858609/tid=858611] ppid=858606 vsize=19108176 memory=0 CPUtime=5.99 cores=0,2
/proc/858609/task/858611/stat : 858611 (java) R 858606 858609 854686 0 -1 4194368 8515 0 0 0 588 11 0 0 20 0 20 0 165979459 19566772224 131893 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858620] ppid=858606 vsize=19108176 memory=12676 CPUtime=0 cores=0,2
/proc/858609/task/858620/stat : 858620 (Finalizer) S 858606 858609 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165979464 19566772224 131893 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858627] ppid=858606 vsize=19108176 memory=527396 CPUtime=0 cores=0,2
/proc/858609/task/858627/stat : 858627 (Common-Cleaner) S 858606 858609 854686 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 165979465 19566772224 131893 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858629] ppid=858606 vsize=19108176 memory=12440 CPUtime=0 cores=0,2
/proc/858609/task/858629/stat : 858629 (Timer-0) S 858606 858609 854686 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 165979680 19566772224 131893 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
Current children cumulated CPU time: 9.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 527572 KiB

[startup+12.7004 s]
/proc/loadavg: 4.28 4.34 4.30 5/319 858631
/proc/meminfo: memFree=111587076/131655788 swapFree=131071996/131071996
[pid=858609] ppid=858606 vsize=19108176 memory=533956 CPUtime=16.19 cores=0,2
/proc/858609/stat : 858609 (java) S 858606 858609 854686 0 -1 1077936128 31353 0 0 0 1600 19 0 0 20 0 20 0 165979459 19566772224 133489 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
/proc/858609/statm: 4777044 133489 5919 1 0 1088372 0
[pid=858609/tid=858611] ppid=858606 vsize=19108176 memory=-8745256433850098364 CPUtime=12.37 cores=0,2
/proc/858609/task/858611/stat : 858611 (java) R 858606 858609 854686 0 -1 4194368 9118 0 0 0 1225 12 0 0 20 0 20 0 165979459 19566772224 133489 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858620] ppid=858606 vsize=19108176 memory=531908 CPUtime=0 cores=0,2
/proc/858609/task/858620/stat : 858620 (Finalizer) S 858606 858609 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165979464 19566772224 133489 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858627] ppid=858606 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/858609/task/858627/stat : 858627 (Common-Cleaner) S 858606 858609 854686 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 165979465 19566772224 133489 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858629] ppid=858606 vsize=19108176 memory=12676 CPUtime=0 cores=0,2
/proc/858609/task/858629/stat : 858629 (Timer-0) S 858606 858609 854686 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 165979680 19566772224 133489 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
Current children cumulated CPU time: 16.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 533956 KiB

[startup+25.5004 s]
/proc/loadavg: 4.28 4.34 4.30 5/319 858632
/proc/meminfo: memFree=111500712/131655788 swapFree=131071996/131071996
[pid=858609] ppid=858606 vsize=19108176 memory=618320 CPUtime=28.99 cores=0,2
/proc/858609/stat : 858609 (java) S 858606 858609 854686 0 -1 1077936128 34048 0 0 0 2877 22 0 0 20 0 20 0 165979459 19566772224 154580 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
/proc/858609/statm: 4777044 154580 5929 1 0 1088374 0
[pid=858609/tid=858611] ppid=858606 vsize=19108176 memory=12440 CPUtime=25.01 cores=0,2
/proc/858609/task/858611/stat : 858611 (java) R 858606 858609 854686 0 -1 4194368 9723 0 0 0 2488 13 0 0 20 0 20 0 165979459 19566772224 154580 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858620] ppid=858606 vsize=19108176 memory=568864 CPUtime=0 cores=0,2
/proc/858609/task/858620/stat : 858620 (Finalizer) S 858606 858609 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165979464 19566772224 154580 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858627] ppid=858606 vsize=19108176 memory=558624 CPUtime=0 cores=0,2
/proc/858609/task/858627/stat : 858627 (Common-Cleaner) S 858606 858609 854686 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 165979465 19566772224 154580 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858629] ppid=858606 vsize=19108176 memory=3953 CPUtime=0 cores=0,2
/proc/858609/task/858629/stat : 858629 (Timer-0) S 858606 858609 854686 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 165979680 19566772224 154580 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
Current children cumulated CPU time: 28.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 618320 KiB

[startup+51.114 s]
/proc/loadavg: 4.19 4.31 4.29 5/319 858637
/proc/meminfo: memFree=111409768/131655788 swapFree=131071996/131071996
[pid=858609] ppid=858606 vsize=19108176 memory=618380 CPUtime=54.69 cores=0,2
/proc/858609/stat : 858609 (java) S 858606 858609 854686 0 -1 1077936128 38039 0 0 0 5445 24 0 0 20 0 20 0 165979459 19566772224 154595 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
/proc/858609/statm: 4777044 154595 5929 1 0 1088374 0
[pid=858609/tid=858611] ppid=858606 vsize=19108176 memory=43248 CPUtime=50.54 cores=0,2
/proc/858609/task/858611/stat : 858611 (java) R 858606 858609 854686 0 -1 4194368 10789 0 0 0 5041 13 0 0 20 0 20 0 165979459 19566772224 154595 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858620] ppid=858606 vsize=19108176 memory=618380 CPUtime=0 cores=0,2
/proc/858609/task/858620/stat : 858620 (Finalizer) S 858606 858609 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165979464 19566772224 154595 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858627] ppid=858606 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/858609/task/858627/stat : 858627 (Common-Cleaner) S 858606 858609 854686 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 165979465 19566772224 154595 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858629] ppid=858606 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/858609/task/858629/stat : 858629 (Timer-0) S 858606 858609 854686 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 165979680 19566772224 154595 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0

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

[startup+3282.3 s]
/proc/loadavg: 4.16 4.24 4.22 5/319 860241
/proc/meminfo: memFree=100022772/131655788 swapFree=131071996/131071996
[pid=858609] ppid=858606 vsize=19108176 memory=2641020 CPUtime=3282.79 cores=0,2
/proc/858609/stat : 858609 (java) S 858606 858609 854686 0 -1 1077936128 182086 0 0 0 328075 204 0 0 20 0 20 0 165979459 19566772224 660255 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
/proc/858609/statm: 4777044 660255 5929 1 0 1092125 0
[pid=858609/tid=858611] ppid=858606 vsize=19108176 memory=2641020 CPUtime=3265.58 cores=0,2
/proc/858609/task/858611/stat : 858611 (java) R 858606 858609 854686 0 -1 4194368 73742 0 0 0 326537 21 0 0 20 0 20 0 165979459 19566772224 660255 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858620] ppid=858606 vsize=19108176 memory=12440 CPUtime=0 cores=0,2
/proc/858609/task/858620/stat : 858620 (Finalizer) S 858606 858609 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165979464 19566772224 660255 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858627] ppid=858606 vsize=19108176 memory=2641020 CPUtime=0 cores=0,2
/proc/858609/task/858627/stat : 858627 (Common-Cleaner) S 858606 858609 854686 0 -1 1077936192 3825 0 0 0 0 0 0 0 20 0 20 0 165979465 19566772224 660255 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858629] ppid=858606 vsize=19108176 memory=2641020 CPUtime=0 cores=0,2
/proc/858609/task/858629/stat : 858629 (Timer-0) S 858606 858609 854686 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 165979680 19566772224 660255 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
Current children cumulated CPU time: 3282.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2641020 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.24 4.22 5/319 860254
/proc/meminfo: memFree=99441416/131655788 swapFree=131071996/131071996
[pid=858609] ppid=858606 vsize=19108176 memory=2641044 CPUtime=3342.74 cores=0,2
/proc/858609/stat : 858609 (java) S 858606 858609 854686 0 -1 1077936128 184156 0 0 0 334068 206 0 0 20 0 20 0 165979459 19566772224 660261 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
/proc/858609/statm: 4777044 660261 5929 1 0 1092125 0
[pid=858609/tid=858611] ppid=858606 vsize=19108176 memory=2641020 CPUtime=3325.29 cores=0,2
/proc/858609/task/858611/stat : 858611 (java) R 858606 858609 854686 0 -1 4194368 74600 0 0 0 332508 21 0 0 20 0 20 0 165979459 19566772224 660261 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858620] ppid=858606 vsize=19108176 memory=2641020 CPUtime=0 cores=0,2
/proc/858609/task/858620/stat : 858620 (Finalizer) S 858606 858609 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165979464 19566772224 660261 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858627] ppid=858606 vsize=19108176 memory=2641044 CPUtime=0 cores=0,2
/proc/858609/task/858627/stat : 858627 (Common-Cleaner) S 858606 858609 854686 0 -1 1077936192 3896 0 0 0 0 0 0 0 20 0 20 0 165979465 19566772224 660261 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858629] ppid=858606 vsize=19108176 memory=2641020 CPUtime=0 cores=0,2
/proc/858609/task/858629/stat : 858629 (Timer-0) S 858606 858609 854686 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 165979680 19566772224 660261 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
Current children cumulated CPU time: 3342.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2641044 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.19 4.20 6/319 860264
/proc/meminfo: memFree=99438576/131655788 swapFree=131071996/131071996
[pid=858609] ppid=858606 vsize=19108176 memory=2641044 CPUtime=3402.6 cores=0,2
/proc/858609/stat : 858609 (java) S 858606 858609 854686 0 -1 1077936128 184722 0 0 0 340052 208 0 0 20 0 20 0 165979459 19566772224 660261 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
/proc/858609/statm: 4777044 660261 5929 1 0 1092125 0
[pid=858609/tid=858611] ppid=858606 vsize=19108176 memory=2641020 CPUtime=3385.13 cores=0,2
/proc/858609/task/858611/stat : 858611 (java) R 858606 858609 854686 0 -1 4194368 75153 0 0 0 338491 22 0 0 20 0 20 0 165979459 19566772224 660261 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858620] ppid=858606 vsize=19108176 memory=2641044 CPUtime=0 cores=0,2
/proc/858609/task/858620/stat : 858620 (Finalizer) S 858606 858609 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165979464 19566772224 660261 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858627] ppid=858606 vsize=19108176 memory=2641020 CPUtime=0 cores=0,2
/proc/858609/task/858627/stat : 858627 (Common-Cleaner) S 858606 858609 854686 0 -1 1077936192 3903 0 0 0 0 0 0 0 20 0 20 0 165979465 19566772224 660261 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858629] ppid=858606 vsize=19108176 memory=12440 CPUtime=0 cores=0,2
/proc/858609/task/858629/stat : 858629 (Timer-0) S 858606 858609 854686 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 165979680 19566772224 660261 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
Current children cumulated CPU time: 3402.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2641044 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.19 4.20 5/319 860274
/proc/meminfo: memFree=99283804/131655788 swapFree=131071996/131071996
[pid=858609] ppid=858606 vsize=19108176 memory=2657484 CPUtime=3462.57 cores=0,2
/proc/858609/stat : 858609 (java) S 858606 858609 854686 0 -1 1077936128 186834 0 0 0 346047 210 0 0 20 0 20 0 165979459 19566772224 664371 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
/proc/858609/statm: 4777044 664371 5929 1 0 1092125 0
[pid=858609/tid=858611] ppid=858606 vsize=19108176 memory=2641020 CPUtime=3444.7 cores=0,2
/proc/858609/task/858611/stat : 858611 (java) R 858606 858609 854686 0 -1 4194368 76138 0 0 0 344448 22 0 0 20 0 20 0 165979459 19566772224 664371 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858620] ppid=858606 vsize=19108176 memory=2641044 CPUtime=0 cores=0,2
/proc/858609/task/858620/stat : 858620 (Finalizer) S 858606 858609 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165979464 19566772224 664371 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858627] ppid=858606 vsize=19108176 memory=2641020 CPUtime=0 cores=0,2
/proc/858609/task/858627/stat : 858627 (Common-Cleaner) S 858606 858609 854686 0 -1 1077936192 3983 0 0 0 0 0 0 0 20 0 20 0 165979465 19566772224 664371 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858629] ppid=858606 vsize=19108176 memory=-8745256433850098364 CPUtime=0 cores=0,2
/proc/858609/task/858629/stat : 858629 (Timer-0) S 858606 858609 854686 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 165979680 19566772224 664371 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
Current children cumulated CPU time: 3462.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2657484 KiB

[startup+3522.3 s]
/proc/loadavg: 4.39 4.23 4.21 5/321 860672
/proc/meminfo: memFree=98964000/131655788 swapFree=131071996/131071996
[pid=858609] ppid=858606 vsize=19108176 memory=2657484 CPUtime=3522.4 cores=0,2
/proc/858609/stat : 858609 (java) S 858606 858609 854686 0 -1 1077936128 187095 0 0 0 352028 212 0 0 20 0 20 0 165979459 19566772224 664371 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
/proc/858609/statm: 4777044 664371 5929 1 0 1092125 0
[pid=858609/tid=858611] ppid=858606 vsize=19108176 memory=-8745256433850098364 CPUtime=3504.5 cores=0,2
/proc/858609/task/858611/stat : 858611 (java) R 858606 858609 854686 0 -1 4194368 76394 0 0 0 350428 22 0 0 20 0 20 0 165979459 19566772224 664371 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858620] ppid=858606 vsize=19108176 memory=12440 CPUtime=0 cores=0,2
/proc/858609/task/858620/stat : 858620 (Finalizer) S 858606 858609 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165979464 19566772224 664371 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858627] ppid=858606 vsize=19108176 memory=2657484 CPUtime=0 cores=0,2
/proc/858609/task/858627/stat : 858627 (Common-Cleaner) S 858606 858609 854686 0 -1 1077936192 3983 0 0 0 0 0 0 0 20 0 20 0 165979465 19566772224 664371 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858629] ppid=858606 vsize=19108176 memory=12676 CPUtime=0 cores=0,2
/proc/858609/task/858629/stat : 858629 (Timer-0) S 858606 858609 854686 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 165979680 19566772224 664371 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
Current children cumulated CPU time: 3522.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2657484 KiB

[startup+3582.3 s]
/proc/loadavg: 4.76 4.39 4.27 5/319 860682
/proc/meminfo: memFree=98930508/131655788 swapFree=131071996/131071996
[pid=858609] ppid=858606 vsize=19108176 memory=2657500 CPUtime=3582.4 cores=0,2
/proc/858609/stat : 858609 (java) S 858606 858609 854686 0 -1 1077936128 189092 0 0 0 358026 214 0 0 20 0 20 0 165979459 19566772224 664375 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
/proc/858609/statm: 4777044 664375 5929 1 0 1092125 0
[pid=858609/tid=858611] ppid=858606 vsize=19108176 memory=12440 CPUtime=3564.14 cores=0,2
/proc/858609/task/858611/stat : 858611 (java) R 858606 858609 854686 0 -1 4194368 77355 0 0 0 356392 22 0 0 20 0 20 0 165979459 19566772224 664375 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858620] ppid=858606 vsize=19108176 memory=2657500 CPUtime=0 cores=0,2
/proc/858609/task/858620/stat : 858620 (Finalizer) S 858606 858609 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165979464 19566772224 664375 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858627] ppid=858606 vsize=19108176 memory=12440 CPUtime=0 cores=0,2
/proc/858609/task/858627/stat : 858627 (Common-Cleaner) S 858606 858609 854686 0 -1 1077936192 4059 0 0 0 0 0 0 0 20 0 20 0 165979465 19566772224 664375 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858629] ppid=858606 vsize=19108176 memory=12440 CPUtime=0 cores=0,2
/proc/858609/task/858629/stat : 858629 (Timer-0) S 858606 858609 854686 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 165979680 19566772224 664375 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
Current children cumulated CPU time: 3582.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2657500 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3600 s]*
/proc/loadavg: 4.55 4.36 4.26 5/319 860685
/proc/meminfo: memFree=98681620/131655788 swapFree=131071996/131071996
[pid=858609] ppid=858606 vsize=19108176 memory=2657500 CPUtime=3600.06 cores=0,2
/proc/858609/stat : 858609 (java) S 858606 858609 854686 0 -1 1077936128 189156 0 0 0 359792 214 0 0 20 0 20 0 165979459 19566772224 664375 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
/proc/858609/statm: 4777044 664375 5929 1 0 1092125 0
[pid=858609/tid=858611] ppid=858606 vsize=19108176 memory=-9032086027893056188 CPUtime=3581.8 cores=0,2
/proc/858609/task/858611/stat : 858611 (java) R 858606 858609 854686 0 -1 4194368 77417 0 0 0 358158 22 0 0 20 0 20 0 165979459 19566772224 664375 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858620] ppid=858606 vsize=19108176 memory=-7737315717814640762 CPUtime=0 cores=0,2
/proc/858609/task/858620/stat : 858620 (Finalizer) S 858606 858609 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165979464 19566772224 664375 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858627] ppid=858606 vsize=19108176 memory=7936 CPUtime=0 cores=0,2
/proc/858609/task/858627/stat : 858627 (Common-Cleaner) S 858606 858609 854686 0 -1 1077936192 4059 0 0 0 0 0 0 0 20 0 20 0 165979465 19566772224 664375 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858629] ppid=858606 vsize=19108176 memory=20532 CPUtime=0 cores=0,2
/proc/858609/task/858629/stat : 858629 (Timer-0) S 858606 858609 854686 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 165979680 19566772224 664375 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2657500 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.34 s, system=2.16511 s

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

[startup+3600.21 s]
/proc/loadavg: 4.55 4.36 4.26 5/319 860685
/proc/meminfo: memFree=98681620/131655788 swapFree=131071996/131071996
[pid=858609] ppid=858606 vsize=19307868 memory=2658144 CPUtime=3600.45 cores=0,2
/proc/858609/stat : 858609 (java) S 858606 858609 854686 0 -1 1077936128 191279 0 0 0 359830 215 0 0 20 0 21 0 165979459 19771256832 664536 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
/proc/858609/statm: 4826967 664536 5928 1 0 1093031 0
[pid=858609/tid=858611] ppid=858606 vsize=19307868 memory=7196 CPUtime=3581.96 cores=0,2
/proc/858609/task/858611/stat : 858611 (java) R 858606 858609 854686 0 -1 4194368 77610 0 0 0 358174 22 0 0 20 0 21 0 165979459 19771256832 664536 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858620] ppid=858606 vsize=19307868 memory=28204 CPUtime=0 cores=0,2
/proc/858609/task/858620/stat : 858620 (Finalizer) S 858606 858609 854686 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 165979464 19771256832 664536 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
[pid=858609/tid=858627] ppid=858606 vsize=19307868 memory=32460 CPUtime=0 cores=0,2
/proc/858609/task/858627/stat : 858627 (Common-Cleaner) S 858606 858609 854686 0 -1 1077936192 4059 0 0 0 0 0 0 0 20 0 21 0 165979465 19771256832 664536 134679101440 93919626215424 93919626219120 140733577256992 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93919626226936 93919626227728 93919655792640 140733577266183 140733577266273 140733577266273 140733577273288 0
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2658144 KiB

Child status: 143

Real time (s): 3600.24
CPU time (s): 3600.51
CPU user time (s): 3598.34
CPU system time (s): 2.16511
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2658144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.34
system time used= 2.16511
maximum resident set size= 2658204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191542
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116794
involuntary context switches= 26171


# summary of solver processes directly reported to runsolver:
#   pid: 858609
#   total CPU time (s): 3600.51
#   total CPU user time (s): 3598.34
#   total CPU system time (s): 2.16511

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.1795 second user time and 35.5968 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-16 15:57:07
IDJOB=4432435
IDBENCH=155403
IDSOLVER=3058
FILE ID=nodeC002/4432435-1721138214
RUNJOBID= nodeC002-1721131365-854696
SLURM_JOB_ID= 7505700
Free space on /tmp= 723756 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432435-1721138214/watcher-4432435-1721138214 -o /tmp/evaluation-result-4432435-1721138214/solver-4432435-1721138214 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721131365-854696 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432435-1721138214.opb

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

MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=1579650205

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        112098392 kB
MemAvailable:   113524172 kB
Buffers:          438316 kB
Cached:          1813792 kB
SwapCached:            0 kB
Active:           737420 kB
Inactive:       18222656 kB
Active(anon):       2692 kB
Inactive(anon): 16742976 kB
Active(file):     734728 kB
Inactive(file):  1479680 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             21536 kB
Writeback:            84 kB
AnonPages:      16707484 kB
Mapped:           124572 kB
Shmem:             37704 kB
KReclaimable:     102808 kB
Slab:             202804 kB
SReclaimable:     102808 kB
SUnreclaim:        99996 kB
KernelStack:        4832 kB
PageTables:        42772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   20310128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            54528 kB
HardwareCorrupted:     0 kB
AnonHugePages:  16199680 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:      201544 kB
DirectMap2M:    20674560 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 723708 MiB
End job on nodeC002 at 2024-07-16 16:57:07